基于最大不动点模型的描述逻辑系统FLε的有穷基

研究了描述逻辑的有穷基问题,分析了有穷基在描述逻辑中的重要意义及其研究现状,并研究了形式概念分析中的属性蕴舍和Duguenne-Guigues基问题.利用形式概念分析中Duguenne-Guigues基存在的证明结果,在F.Baader工作基础上设置了描述逻辑的描述背景,重新定义了描述背景下的属性蕴含,证明了带循环术语的描述逻辑系统FLε存在最大不动点语义(greatest fixed-points,gfp)模型,给出了带循环术语的描述逻辑系统FLε在最大不动点模型下的有穷基的存在性定理,并证明有穷基的可靠性和完备性.描述逻辑有穷基可以帮助知识工程师构建一个更适用于推理的描述逻辑知识库.     

TempDB:时态数据管理系统

为了适应时态数据库发展需求,针对目前时态数据库技术实现则相对滞后现状,设计和实现了时态数据处理原型系统TempDB. TempDB采用中间件的架构实现,使用具有代表性的时态查询语言--ATSQL2,将时态操作语言转换成与之语义等价的、标准的SQL语言,然后在后台DBMS上执行,实现了基本的时态数据管理功能. TempDB总结应用了相关理论知识,同时也为时态数据库系统的产品化积累了经验.     

基于带Mobile Agent的无线传感器网络的分簇算法

相对于传统方式的无线传感器网络结构,带Mobile Agent(MA)的无线传感器网络(sensor network with mobile agent,SENMA)具有更高的能量效率和更长的网络生存时间.设计了一种针对SENMA的分簇算法:依据节点之间的位置关系将节点分为多个簇并选举出簇头节点,每个簇中,簇成员不与簇头进行通信,由簇头将监测数据回传至MA.实验证明这种算法能较好地平衡节点负载,缓解因节点失效导致的网络性能衰减.     

一种新的基于地理信息的多媒体传感器网络路由协议

无线多媒体传感器网络作为一种全新的信息获取和处理技术,更多地关注于音频、视频、图像等大数据量、大信息量的多媒体数据的采集与处理,在军事、民用及商业领域中具有广阔的应用前景.传统的基于地理信息的路由协议并不适用于多媒体传感器网络.提出一种基于纯地理信息的路由协议,该协议调整网络节点的通信覆盖半径,然后利用改进的贪婪算法建立路由.仿真实验表明,该算法能够显著延长网络节点生存时间和延长网络整体生存时间.     

星上一体化电子系统的FDIR框架设计与研究

传统的卫星往往要在硬件设计开发后,才能针对具体硬件平台进行星载故障检测隔离恢复(FDIR)设计,这就使得整个卫星系统开发周期增长,FDIR软件也无法重用.首先分析了星上故障检测隔离和恢复的特殊性和必要性,在概述FDIR的基本概念、相关技术方法以及卫星数据模型(SDM)平台的基础上,提出了一个基于SDM平台的星上一体化综合电子系统FDIR框架,既克服传统卫星针对"一星一平台"的FDIR设计,又能方便整星的信息融合,提高FDIR能力.     

并行MLFMA分布层的构造及其负载均衡

研究了并行多层快速多极子算法（MLFMA）的分布层,提出了一种衡量其负载不均衡程度的方法,并在此基础上提出了分布树的一种新的构造算法。通过预先估算按分布层的不同层均分所得分布层的负载不均衡度,选取了一种负载不均衡度较小的方法来构造分布树。实验结果表明,该算法相比传统的按分布层的最细层均分所得分布树的算法,能更为有效地提高整个多层快速多极子算法的并行效率。     

AVL树在FAT文件系统中的应用与研究

FAT文件系统是一种适用于各种应用的优秀文件系统管理模式.通过深入分析FAT文件系统簇的组织管理模式,剖析其在实时性能上的不足之处,提出了利用AVL树来组织管理FAT文件系统内连续空闲块信息的新方法,并在此基础实现了文件读写等一系列优化算法.通过仿真测试,优化后的FAT文件系统在保持其兼容性的前提下,能有效地提高文件操作响应的实时性.     

基于流密码的可重构处理结构及其专用指令集研究

在对多种流密码算法生成结构进行分析的基础上,提出一种基于流密码的可重构处理结构,并在总结重构流密码算法使用频率较高的基本操作类型的基础上,为该流密码可重构处理结构设计了一种专用指令集。描述了指令的具体格式,并对指令性能进行了评估。结果表明,该指令集作用在该流密码可重构结构上可灵活高效地实现多种流密码算法。     

磷化工工艺决策支持系统的构建

将决策支持系统(DSS)理论与磷化工工艺技术结合,建立磷化工工艺决策支持系统.介绍了该系统的基本理论、建立步骤、组成和数据处理框架的构成和功能,并利用层次分析法(AHP)、线性加权法和基于估计相对位置的方案排队法3种多属性决策方法实现辅助决策过程.磷化工工艺决策支持系统能够对磷矿资源合理利用、工艺优化选择提供决策辅助评判.     

苯与羰基钼相互作用的密度泛函研究

用密度泛函理论在B3LYP/LANL2DZ基组水平上自由优化(η~x-C_6H_6)Mo(CO)_n(x=1-6;n=1-5)复合物体系的可能构型及计算相互作用能,探索不同羰基数对复合物稳定性、苯和羰基钼相互作用的影响,并分析苯和羰基钼相互作用的NBO。结论(1)苯以η~6与Mo(CO)_n(n=1-3)配位形成的复合物比较稳定,但η~6配位复合物CO的个数越多,则越不稳定;(2)复合物1、2、3和10中,Mo(CO)_n与苯的相互作用拉动电荷由苯的π键电子向Mo(CO)_n的σ_(Mo-CO)~*键转移,而在复合物7中,苯的π键电子向Mo(CO)_n中Mo的孤对电子轨道d转移。