搜索结果: 91-105 共查到“知识库 自动机理论”相关记录107条 . 查询时间(7.001 秒)
一种基于HVS的彩色图像水印算法
彩色数字水印 人眼视觉系统 DWT域
2008/12/24
讨论了一种将彩色水印图像嵌入到原始彩色图像中的数字水印算法。它利用人眼视觉系统特性，采用了在DWT域下按照频带重要性来嵌入水印的规则，即：水印应当首先嵌入图像小波低频系数，若有剩余，再按图像小波频带重要性的排序嵌入高频带。实验结果表明，提取的水印表现出较好的鲁棒性，且主观视觉失真较小。
基于自动机网络的蛋白质折叠协同模型的应用研究
蛋白质折叠 自动机网络 协同模型
2008/9/24
该项目以“蛋白质折叠”具有重大意义的复杂生物系统为应用背景，以超级计算为手段，采用从定性到定量综合集成方法，综合运用整体辨证的演化思想，深入探索自动机网络方法在蛋白质折叠建模计算和定性定量信息综合集成中的应用，仿真蛋白质折叠过程，探讨蛋白质折叠规律；利用协同学思想，探索蛋白质折叠的协同模型；研究蛋白质折叠的自动机网络并行计算方法，开发相应的超级计算算法和环境。这些工作不仅具有重大的社会经济效益，而...
在有限自动机可逆性理论的基础上，提出了拟线性有限自动机的概念，并用RaRb变换解决了拟线性自动机的可逆性判别、求逆和结构等基本问题。 有限自动机的理论研究成果丰硕，基于有限自动机可逆性理论的密码体制理论基础坚实，所设计的FAPKC3体制构思巧妙、抗攻击能力强、密钥参量适中、易于软硬件实现、速度快、使用方便。在有限自动机可逆性理论及其在密码应用上处于国际领先水平，FAPKC3具有广泛应用前景。
以注水泵站系统效率最大为目标函数,以注水流量、注水泵泵压、注水泵排量等为参数建立约束条件,建立了注水泵站的最优控制系统数学模型,并以现场实时采集数据及生产数据作为边界条件,进行了计算机仿真实验,优化计算出注水泵站各注水泵实时运行参数.最后,通过柴达木盆地西部花土沟和狮子沟注水站的实际生产数据验证了该数学模型的正确性和Matlab仿真模型的实用性.
弱可逆拟（r，r）阶存贮线性有限自动机的分解
拟存贮有限自动机 分解 弱可逆 输出权
2008/5/14
通过对延迟r步弱可逆拟（r，r）阶存贮线性有限自动机输出权的研究，得出对延迟r步弱可逆拟（r，r）阶存贮线性有限自动机的任意一个状态，它的长r的输出权都是1;任何一个n元拟（r，r）阶存贮线性有限自动机M延迟r步弱可逆的充分必要条件是M都可以分解为一个延迟0步弱可逆有限自动机M0和一个延迟r步弱可逆拟（0，r）阶存贮线性有限自动机M1。
给出了格值自动机的同余和同态，从代数角度出发详细研究了同余和同态关系的代数性质，揭示了格值自动机的代数性质和取值格半群的紧密联系，利用同余和同态关系最终研究了格值自动机的极小化问题，在正则同余下给出了可在有限步实现具有模糊初始状态和特殊模糊终状态的自动机极小化的算法。
在有限自动机矩阵模型表示方法基础上,采用矩阵理论和布尔代数为工具,给出了有限自动机r阶输入存贮性质判定的新方法。该方法不仅有利于算法设计和计算机自动处理,也促进了有限自动机的研究和发展。
MIMO水声信道分数间隔自适应均衡的研究
恒模算法 分数间隔判决反馈均衡器 MIMO系统通道 水声通道
2012/11/8
针对水声通信MIMO系统频率选择性衰落信道提出了一种分数间隔的判决反馈均衡器.结合采用二阶销相环路补偿载波相位偏移的方法,该均衡器消除了码间干扰,同时还降低了噪声增益.最后,通过仿真实验比较了单输入单输出(SISO)系统分数间隔判决反馈均衡和多输入多输出(MIMO)系统恒模算法的分数间隔判决反馈均衡器的特性.
论科学创新必须增进科研工作者的内在动机
科学研究 内在动机 外在动机科学精神
2013/7/4
中国科研现状并不尽如人意，其原因虽是多方面的，但科研工作者的行为动机偏差是最主要因素之一。为增强科研工作者的内在动机，应该培育一种文化，涵养一种精神，建立一种制度。
鉴于当前国内外在自动提取城区区域变化信息的研究状况,以昆明为例,构造了基于PCA变换的L-比值法,并结合阈值、掩膜等数字图像处方理法,以及数学形态学中的滤波运算等方法构造了一种适合我国西南地区地理特征和经济状况的,从TM影像中提取城市区域变化信息的RS处理模型,并取得了较好的实验效果.
城市公共汽车考勤自动化的无线实现
无线传输 单片机 公共汽车 考勤自动化
2012/11/13
提出了一种基于无线数据通信技术、单片机技术和计算机技术的城市公共汽车考勤自动化的无线实现方法,并设计和开发了主站设备、副站设备、车载设备和人事、车辆管理数据库,实现了对公交车考勤、调度及人事、车辆的自动化管理.
Tree Automata for Schema-level Filtering of XML Associations
Access control association object flexible security granularity XML security tree automata
2014/3/12
In this paper we present query-filtering techniques based on bottom-up tree automata for XML access control. In our authorization model (RXACL), RDF statements are used to represent security objects a...