平面几何智能辅导系统的设计与实现

平面几何智能辅导系统是一个适用面较广的家教辅导专家系统,由于几何问题的复杂性,使得系统的实现变得繁杂。本文首先简单介绍了系统的整体流程,具体讨论了系统的核心模块(规则库)的实现及其知识表示方法。分类是系统实现的关键技术。本系统已能成功地解决一般几何证明问题,满足不同层次学生的平面几何辅导需要。     

数据挖掘中的关联规则在入侵检测系统中的应用

由于知识发现的快速发展,对海量数据分析和处理的技术、能力也日渐成熟。从1999年起,就开始了将数据挖掘技术和入侵检测系统结合的尝试。将数据挖掘引入入侵检测系统的原因是它能够从大量的数据中自动提取出特征和模型,自动维护模式或特征库。系统利用这些大量的特征和数据进行有效的分类,加快处理速度,提高准确度。文章针对网络安全当中的大量的入侵事件,结合数据挖掘中的关联规则的概念,建立特征库及其特征关联,通过审计处理来加强网络入侵检测系统的功能。     

人工智能在航天飞行任务规划中的应用研究

 在航天飞行任务中,如何设计航天器的飞行过程,如何确定地面对航天器的控制操作,如何制定飞行控制计划等,是地面飞行控制中心面临的重大问题,也是航天飞行任务规划所要解决的基本问题。在充分认识和把握人工智能基本原理、方法和技术的基础上,提出了一个基于规则演绎和状态演化的生长式推理模型,并对模型的特性进行了详细讨论,然后导出了该模型在航天飞行任务规划问题中的具体形式,从而成功地解决了航天任务自动规划的难题。通过在实际航天任务中的应用和验证,不仅证明该模型和方法是正确的、可行的和高效的,而且证明人工智能在航天飞行任务规划中有着广阔的应用前景。     

作战仿真中作战Agent规则动态变更机制

针对传统Agent对知识无法动态维护的问题,利用可废止逻辑对作战Agent进行描述,着重研究作战Agent的命令规则的动态变更机制。结合可废止逻辑中优越关系的良构性和完备性,定义了系统"无冲突性"的概念,给出了规则动态变更后维护系统无冲突性的具体方法,并证明了维护方法的有效性。通过直升机反潜作战仿真实例,说明了基于可废止逻辑的作战Agent规则动态变更机制的可行性。     

航空电子系统通用测试平台的设计

本文采用新一代测控技术,构建了基于PXI总线标准,由信号适配器、矩阵开关、可视化虚拟数据采集系统和通用总线监控系统组成的标准化通用测试平台。同时介绍了ARINC429总线数据按照规则进行解析的方法。其技术思想和方案对于复杂电子设备的通用测试设备的研制具有广泛指导意义。     

国际航空运输规则和责任制度的现代化

2005年2月28日十届全国人大常委会第十四次会议审议并批准通过了航空领域重要的基础性国际法律文件——《统一国际航空运输某些规则的公约》。该公约以统一国际航空运输规则和国际航空运输承运人责任制度为主要内容,是在对华沙体制下的各项公约和议定书所规定的国际航空运输规则和承运人责任制度进行重大修改和统一的基础上完成的。该公约很好地实现了承运人和航空消费者之间的利益平衡,从而更好地保护了消费者的合法权益。《统一国际航空运输某些规则的公约》简称为《1999年蒙特利尔公约》,是国际民航组织在加拿大蒙特利尔于1999年5月28日…     

考虑扰动的无人机集群协同态势感知一致性评估

无人机（UAV）集群协同态势感知（SA）一致性是无人机集群协同作战的关键,对一致性进行评估至关重要。针对态势感知过程中面临的强不确定性等问题,在一致性评估指标体系的基础上,提出了基于证据推理规则的态势感知一致性评估方法,将各类指标信息统一至置信结构,并充分考虑指标的权重与可靠度。采用扰动分析法对复杂战场环境进行模拟,提出考虑扰动的态势感知一致性评估方法,并对算法进行了总结。最后,通过仿真算例和对比研究验证了所提方法在不确定性表达、一致性评估和无人机集群的环境适应性研究等方面的有效性。     

基于系列化发展的金属材料标准命名研究

随着先进武器装备和高端制造技术的发展,材料科学与工程技术呈现加速发展态势,由此使得我国现行材料标准体系建设相对滞后、标准规范不通用等问题凸显。在材料标准体系完善的过程中,统一材料标准命名是重要环节。以金属材料为例,深入分析金属材料国内外标准命名现状并进行对比分析,提出国内标准命名存在的问题。结合材料系列化发展需求构建金属材料标准命名规则,提出金属材料标准命名原则并给出标准命名建议。     

航天国防科技报告的编写与检索利用

阐述了航天国防科技报告的基本概念和撰写航天国防科技报告的意义,介绍了航天国防科技报告的编写规则与撰写中常遇到的问题,最后论述了航天国防科技报告交流使用的意义。     

基于BABFA的XNOR/OR电路面积优化

基于XNOR/OR的固定极性Reed-Muller(FPRM)电路面积优化是当前集成电路设计领域的研究热点之一。由于基于XNOR/OR的FPRM电路面积优化属于组合优化问题,提出了一种二进制自适应细菌觅食算法(BFA)。该算法在复制操作中加入概率模式,提高种群多样性,采用模糊规则对复制概率和迁移概率进行修正,提高算法的收敛速度。使细菌在邻域内进行搜索,替代细菌群体感应机制中的斥力操作,细菌无需感应其他个体位置对其的影响。提出一种基于XNOR/OR的FPRM电路面积优化方法,利用提出的二进制自适应细菌觅食算法搜索电路面积最小的FPRM电路。基于MCNC Benchmark电路的实验结果表明：面积最大优化率为18%,时间最大节省率为46%。