二维图形的集合运算算法研究

二维图的并、交、差等集合运算是二维图形的设计、图形消隐处理，零件的三维造型及数控加工编程中刀具轨迹生成等的重要基础，文中借助于ACIS几何平台，提出了在线架、曲面和实体集成数据环境下，将二维线架图形转换为实体的数据结构，利用实体的布尔运算实现二维图形的集合运算的算法，避免了传统的集合运算中需的线段求交、裁剪、交点的有效性判断等，降低了算法的复杂度，从而提高了算法的可靠性。该算法已在南京航空航天大学CAD／CAM工种研究中心开发的CAD／CAM系统中实现。     

快速成形制造质量研究

针对快速成形设备成形质量不高的问题，利用STL快速成型设备进行试验。进行了相应的实验设计，运用粗糙集理论对实验数据进行处理，得到了对快速成型制造质量有影响的各因素的显著性，并得到了改进加工质量的参数组合，详细阐述了该方法的原理及运用该方法进行分析的步骤。     

电机系统模型预测控制研究综述

近年来,模型预测控制(MPC)的理论和技术得到了长足发展,应用前景广阔。介绍了MPC的基本原理;简要对比分析了国内外电机系统MPC技术的研究概况。研究了有限控制集模型预测控制(FCSMPC)应用于电机驱动系统的控制方案。总结了FCSMPC关于价值函数设计、计算量降低、矢量作用个数以及鲁棒性提高等方面的研究思路。展望了未来FCSMPC技术需要进一步深入和拓展的研究方向。     

嵌入式软件中断数据竞争安全性检测技术研究

嵌入式领域中由中断引发的软件故障时有发生,这些故障大多源于中断响应所带来的数据竞争,而目前缺乏针对嵌入式软件中断数据竞争的检测技术及工具。通过引入中断特征形式化描述语言和中断作用域集合概念,设计相关算法,完成对被测软件的数据竞争检测。经实验验证,该检测技术能有效帮助测试人员定位嵌入式软件中断数据竞争问题。     

基于模糊软集合和Bayes的后续备件组合预测方法

针对后续备件需求预测精度低的问题,提出一种基于模糊软集合和贝叶斯的后续备件组合预测方法。首先根据后续备件的消耗规律,分别提出后续备件因果预测模型和时序预测模型;然后选取残差平方和、信息熵和相关系数作为预测效果的评价准则,以两种单项预测方法的预测效果作为先验信息,采用德尔菲法对单项预测方法进行模糊评价,构建模糊软映射;最后综合先验信息与专家模糊评价值,利用贝叶斯方法确定组合权系数求得预测结果。结合算例,对比分析方法的优越性,表明该方法具有较好的合理性和有效性。     

网络最大流与最小割集的矩阵算法

本文给出了解决运输问题为中心的一类特殊的线性规划问题的新的、简便的算法.网络最大流与最小割集的矩阵算法,不仅能解决许多这类问题,而且能使最小费用流、分配问题和运输问题容易通过计算机来实现.     

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

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

基于Rough/SVM的飞机目标识别模型

研究了基于粗糙集（Rough）和支持向量机（SVM）的模式分类技术,结合遥感图像中军用飞机目标识别进行理论分析和试验研究。基于粗糙集和支持向量机算法的优势,设计了基于粗糙集和决策有向无环图的支持向量机模式识别分类器,并对分类的性能进行了分析研究。利用粗糙集理论中属性约简方法去除冗余属性,降低飞机特征维数,提出了使用决策...     

大型飞机供配电系统可靠性评估与分析

飞机供配电系统的可靠运行是关系飞机飞行安全的关键因素.以某供配电网络为例介绍了一种适合大型飞机复杂供配电网络的可靠性评估方法,并对该供配电网络的可靠性指标进行了评估和分析.该评估方法利用图论的知识,首先将飞机配电系统抽象为网络图;然后采用深度优先搜索法求出电源点到负荷点的最小路集,进而求出相应的最小割集,找出系统运行的...     

关于拓扑空间的SH-连通性

在文献[1-5]的基础上,利用半拓扑空间中的半开集性质,讨论了拓扑空间的SH-连通性。并且得到了一些关于SH-连通性的新结果,推广了文献[5]的结果。