一种改进的数据求精证明规则

提出一种改进的数据求精规则,并用关系模式进行描述。引入全局状态来描述程序所有可能的输入和输出,允许非平凡的初始化,允许前向模拟和后向模拟,能应用于消除具体模型的不确定性晚于消除抽象模型的不确定性的情况。并用实例说明了在Isabelle定理证明器中规则的应用方法。     

形态结构特征约束下的树木参数化建模研究

树木建模是构建虚拟森林景观的主要环节,也是三维林业地理信息系统的基础。该文提出一种形态结构特征约束下的树木参数化建模方法,通过引进Bezier曲线控制树干以及树枝形状,并以荔枝树和马尾松为例对该方法进行设计与实现。实验结果表明,该方法能有效提高树木建模过程中的交互能力,较好地突出了树木的形态结构特征。     

针对基于多父角色RBAC模型的研究与应用

针对基于角色的访问控制(RBAC)模型中由于继承关系产生的子角色不能拥有私有权限问题进行了研究。当前的解决方案在表示同一机构或相同业务性质的角色共有特定权限方面存在不足,也不能满足多父角色权限继承的要求。对RBAC模型进行了扩展,给出一种基于域和域权限的解决方案,并结合实际项目具体分析系统实现权限管理的方法,提出多父角色权限继承的算法,解决了多父角色权限继承问题,在系统的安全管理中实现了基于角色和域的访问控制。     

基于频繁闭项集挖掘的增量式维护算法

为了能够随着数据库的增加、删除和修改而快速有效地挖掘出频繁闭项集,根据CHARM算法提出了一种基于频繁闭项集挖掘的增量式维护算法。该算法采取分类处理的策略对变化数据进行挖掘,运用IT对的特性从已挖掘出的结果中快速过滤出仍然有效的信息,实现频繁闭项集的更新。实验结果表明该算法是快速有效的。     

混合流水车间调度的变邻域禁忌搜索算法

针对混合流水车间系统的最小化Makespan调度问题,提出一种基于关键路径理论的变邻域禁忌搜索算法,讨论其关键技术。在该算法中,提出基于关键路径的毗邻域概念,防止搜索算法陷入局部最优解,采用变邻域搜索策略,在无法改进解时,实现对移动毗邻域的搜索。仿真结果表明,该算法获得的调度结果优于简化禁忌搜索和启发式算法。     

基于最小生成树聚类的中文版面分割法

针对中文版面多横竖混排的特点,提出一种基于最小生成树聚类的版面分割方法。对原图像进行水平和垂直游程平滑,并对平滑后所得的连通域进行预分类处理,将文本进行横排、竖排分类。对预分类后的各类文本采用最小生成树聚类算法进行聚类处理。经实验,准确率达97%。实验表明,该方法对中文文档有良好的分割效果。     

网络随机延时的双端协同拥塞控制策略

针对ABR业务流在传输过程中存在随机延时导致网络节点不能得到平稳控制的问题,提出一种网络源端和节点端同时参与控制的双端协同拥塞控制策略。OPNET网络仿真环境下的试验结果表明,该控制策略能够有效地克服随机延时对信息传输的影响,实现节点队列长度的有效平稳控制,降低节点端信元的丢弃概率,改善网络服务质量和传输效率。     

非结构化P2P网络搜索算法的研究与改进

针对P2P软件搜索效率不高、网络带宽消耗大的问题,结合子网掩码技术,提出基于物理位置的网络拓扑结构,并介绍一种基于学习的定向查询资源搜索算法(D-Searching)。该算法通过在终端节点上引入路由索引表来存储最新的资源信息与热点信息。仿真结果表明,D-Searching搜索算法在消息数、平均跳数、查询效率等方面都有较大提高。     

基于顶层本体的电子对抗领域本体构建方法

针对大型领域本体的可扩展问题,提出一种基于顶层本体的领域本体构建方法MBECO。通过最大范围地继承顶层本体框架,构建规范化的传感器领域、信息对抗领域、指挥控制领域等子领域本体模型,并将其嫁接入顶层本体,在顶层本体框架下进行子领域本体的集成,构建语义本体ECSON。实例表明,该方法将为系统级的分布式电子对抗仿真提供完善的战场空间本体。     

面向航空电子的分区操作系统

伴随新一代航空电子的综合化趋势,机载软件对机载操作系统提出新的要求.通过管理系统的软硬件资源,包括内存、CPU、通信等,机载操作系统将各类机载软件融合在同一个CPU上,实现综合化.该文给出一种面向航空电子的分区操作系统的实现框架,支持二级调度,对于各类机载软件实施分区调度,并且分区的运行互不干扰,保证了分区的安全性.