论文部分内容阅读
基于格值一阶逻辑系统的α-广义归结原理
【机 构】
：
河南工业大学信息科学与工程学院,郑州 450001 西南交通大学数学学院,成都 610031
【出 处】
：
中国计算机学会多值逻辑与模糊逻辑专业委员会第十三届学术年会
【发表日期】
：
2012年5期
其他文献
为了解决热区问题和单点失效问题，提出一种新的无线传感器网络分簇算法。算法将网络划分为非均匀的栅格，每个栅格的节点分别构成一个簇，根据节点失效概率确定栅格簇首的数目，并由栅格的多个簇首协作完成该栅格节点的数据收集。算法通过调整各个栅格可参与簇首轮换的节点的数目，从长远均衡节点之间的能耗。通过建立包含多个簇首的簇，算法降低了簇成员对单个簇首的依赖性。此外，算法还采取了一些降低能耗的措施。实验结果表明，
为了更加准确地描述卫星移动通信信道的衰落特性，提出了一种新的Ka波段卫星移动通信信道综合模型。首先在分析移动卫星信道传播特性的基础上，考虑多径衰落、阴影遮蔽及天气影响等因素，建立了服从Gaussian分布的大气空间模型，推导出服从Rice、Rayleigh和Lognormal联合分布的地面信道模型。然后利用卫星信道环境中大气空间部分与地面部分对信道特性的影响是彼此相互独立的性质，提出了一种在大气空
云数据中心的海量虚拟机映像文件中存在大量重复数据，删除其中的重复数据不仅能大大节省存储空间，也能够提高虚拟机映像文件的分发速度。重复数据删除系统通常面临着由索引数量剧增而导致的磁盘访问瓶颈问题。针对这一问题，本文利用虚拟机映像文件的目录结构特点和用文件重复的局部性建立稀疏索引，通过对目录中文件索引的缓存，在保证可观重复数据删除比例的前提下减少了90％的磁盘访问量，解决了基于文件的重复数据剔除系统中
工矿企业中存在工业过程控制系统与电力监控系统多系统并存的情况，将OPC 技术引入其中，可以实现工业过程控制系统与电气控制系统的无缝连接。鉴于当前的OPC 应用大部分基于Windows 操作系统，本文介绍了一种基于VxWorks 系统的OPC 协议转换器，并重点阐述了OPC 客户端设计的关键技术。实际应用表明，基于VxWorks 系统的OPC 协议转换器具有通信速度高、易扩展、性能稳定的优点。
对于没有设置或者为了减少跨层数据传输延迟不使用内部临时数据阵列、重构单元自有存储单元的可重构单元阵列，关键循环任务图的划分和流水化映射会因为跨层数据传输而使可重构单元阵列的数据通信成本增大.本文针对跨层输入树、跨层输出树两种类型的数据流图，提出了一种新的旁节点添加算法，该算法保持了原有运算节点之间的逻辑关系，无须添加冗余节点.文中给出了动态可重构系统划分映射流水化模型和量化评估指标，给出了添加旁节