基于Petri网模型的规则库表示

Ｐｅｔｒｉ网是建立系统模型和分析系统的强有力工具。文中首先讨论了各种类型规则的Ｐｅｔｒｉ网表示，然后给出了一个规则库的Ｐｅｔｒｉ网模型表示，克服了产生式规则表示知识难以反映规则之间相互依赖关系的缺点，对于知识库的维护具有重要意义。     

Petri网在FMS故障诊断中的应用

用时间着色Ｐｅｔｒｉ网分析了ＦＭＳ的静态结构、动态行为和行为规则，探讨了以时间着色Ｐｅｔｒｉ网为工具，使用面向对象技术建立ＦＭＳ实时监视和故障诊断模型的方法，并提出了利用Ｐｅｔｒｉ网可分层的特点进行故障诊断的观点。     

多架无人机协同航路规划方法研究

根据敌方防御区域内雷达，导弹等威胁阵地的具体分布情况，采用划分Voronoi多边形的方法制订初始航路，然后对初始航路进行了合理的离散处理，最后采用动态链类比法调整航路，航程并对航路进行光顺处理，提出了一种协调多架无人机（UAVs）于同一时间到达目标点的航路规划方法，用数字仿真技术对该方法进行了验证，结果表明该方法是可行的。     

基于飞行需求的航路动态管理

针对空域与飞行需求日益突出的矛盾,以及目前空域管理运行模式难以满足持续增长的飞行需求,提出了一个航路动态调整模型.模型在考虑空管的实施情况、空中交通流量情况和天气情况相关的条件下,对航路进行动态调整,动态的开放和使用临时航路,优化航路区域容量从而减轻航班延误.然后利用动态规划及整数规划方法相结合,求解模型得出航路动态调整的最优方案.最后利用典型空域进行了验证,结果表明所建立的模型能够大大减少航班延迟成本与航路管理成本,优化空中交通的顺畅运行.     

一种无人机局部路径重规划算法研究

提出了一种突发威胁体下无人机局部路径重规划的算法。首先根据不同威胁体的分布情况构造无人机的可飞航路集,用“改进型V orono i图”表示出来,采用D ijkstra算法求解初始粗略最短路径。在无人机飞行过程中,通过基于混合动态贝叶斯网络的切换线性动态系统模型感知环境,应用V iterb i解码算法确定突发威胁体的实时位置及威胁等级,再依据局部路径重规划原则进行寻优,最后应用三次平滑及序列二次规划方法获得实际可飞路径,并用M atlab仿真验证了算法的有效性。     

FMS故障诊断的模糊行为Petri网研究

根据ＦＭＳ故障诊断推理中知识的模糊性，提出模糊行为Ｐｅｔｒｉ网（ＦＢＰＮ）的定义，研究用模糊行为Ｐｅｔｒｉ网表示模糊产生式规则的方法，提出一种模糊反向推理机制，并给出算法的实现。最后以某ＦＭＳ故障诊断专家系统为例，证明了该方法的可行性和有效性。     

XWindow System的配置和使用

XWindowSystem是基于网络环境和CLIENT／SERWR模式的图形窗口系统．文章论述了一个实际的网络运行环镜上的XWindowSystem具体的系统配置、安全管理以及使用，并列出了常见错误及处理方法．     

一种提高捷联惯导系统动基座初始对准精度的方法

捷联惯导系统初始对准精度直接影响系统导航精度,以适用于动基座的惯性凝固系粗对准方法为基础,针对船载设备动基座机动条件,通过实际数据分析,提出了一种粗对准方案,在相同的载体运行条件下,对减小粗对准误差,进而提高导航精度有一定帮助。相对于原粗对准方法,通过试验仿真验证,粗对准精度均有所提高,在此基础上初始对准后,1h导航定位误差从2nmil提高到约0.45nmil。     

风储孤网系统小干扰稳定性分析研究

从电力系统运行的一般原理出发,开展风储孤网系统小信号稳定和动态稳定的研究,保障局部地区供电可靠性。基于特征值分析法和李亚普诺夫线性系统稳定性判据,对风储孤网系统小干扰稳定性问题进行了研究。提出风储孤网系统储能单元基于下垂控制模式的储能逆变器控制策略,并根据风储孤网系统各模块的控制策略建立相应的数学模型;基于特征值分析法进行风储孤网系统各模块数学模型的小干扰稳定性分析,并根据李亚普诺夫线性系统稳定性判据进行风储孤网系统的稳定性判断;基于MATLAB/Simulink仿真平台搭建风储孤网系统仿真模型,通过仿真验证了风储孤网系统能够实现稳定运行,与小干扰稳定性分析得出的结论一致。研究成果可为风储孤网系统的运行稳定性研究提供理论参考。     

基于OPN和UML的导航装备维修建模方法研究

探讨了一种基于面向对象Petri网与UML模型的系统层次建模方法,结合UML和Petri网分析方法的各自优势,首先利用面向对象Petri网模型描述和分析地面导航装备维修保障系统的动态特性,然后按照一定的映射算法将Petri网模型转化成UML模型的状态图和顺序图,描述地面导航装备维修系统组织结构和系统的静态特征。最后验证了这种方法在地面导航装备维修保障系统建模应用中的实效性、科学性。     

基于三维模型的机加工艺设计模式探讨

<正>三维工艺设计的核心是给工艺规划人员提供一个三维的设计、分析与验证环境,可以在工艺规划过程中对加工方法、工艺路线、夹紧定位方案、可制造性、加工质量等进行综合的分析与验证,因此基于三维实体模型进行工艺规划与验证是下一代三维CAPP系统发展方向。     

智能制造系统中的合作与协调

通过对智能制造系统结构和运行方式的介绍，分析了智能制造系统中合作与协调的特点，描述了基于改进合同网的谈判方式的制造任务分配方法，并提出分布式智能制造系统中各自治单元之间利用ＣＯＲＢＡ和分布式对象技术建立合作与协调基本环境的方法。     

基于HLA的空间站应用任务分布式仿真验证系统

针对空间站应用任务影响因素众多、各因素间相互耦合的特点,分析了空间应用任务影响因素,设计了基于高层体系架构的空间站应用任务分布式仿真框架,开发了仿真验证系统。系统实现了对相应任务规划结果的验证。结果表明:分布式仿真验证系统能够支持任务规划结果验证,任务规划结果合理可行。     

基于MC/DC最小测试用例集设计方法研究

动态测试主要是通过设计测试用例、开发和运行测试程序来发现软件中存在的错误。如何判断设计的测试用例是充分的,针对不同级别的软件,DO-178B规定了不同的结构覆盖标准。本文针对A级软件,给出一种适合MC/DC准则的最小测试用例集快速设计方法。针对一个判定中同一条件出现多次的复杂情形引起的两种不同用例设计思路,结合LDRATestbed覆盖分析结果,总结出合理的设计方法。     

基于遗传算法的起降航班动态排序模型的研究

讨论了空中交通流量管理中终端区航班的排序规划问题。目的是在终端区空中交通繁忙的情况下有效地为到达航班安排合理的着陆次序，并在不违反飞机间隔要求的情况下给出各飞机经过优化的着陆时间，提高机场跑道的利用率。引入离场起飞的航班问题，建立了航班排序的动态模型和基于遗传算法的终端区动态排序算法。并对一个算例采用冬文方法进行验证计算，结果表明，所提出的方法计算效率高，实用可行。     

基于Transformer层次预测的多星应急观测任务规划方法

应急观测任务规划是一个强时效性的复杂组合优化问题,必须在规定的时限内完成相应的计算。采用机器学习的方法对规划问题进行初始规划方案预测,可以有效地简化计算复杂度。为此,提出一种基于Transformer层次预测的多星应急观测任务规划方法,将多星任务规划的求解过程分解为3个步骤：首先,利用基于Transformer的任务可调度性预测模型预测待规划任务是否执行,得到预执行任务集合;然后,基于Transformer的任务分配模型对预执行任务集合分配卫星,得到初始规划方案;最后,利用基于随机爬山的约束修正算法对初始规划方案进行优化调整,得到可行规划方案。为验证所提方法的有效性,通过大量仿真实验与CPLEX优化器、标准遗传算法、长短期记忆网络等方法模型进行比较,实验结果表明所提方法计算耗时短,规划收益高,适用于多星观测任务快速规划。     

基于Hybrid State A* 与增强安全管道的直升机低空航迹规划

直升机低空突防已逐渐成为现代空战察打任务的核心,而低空航迹规划算法是实现该技术的关键。 尽管现有的航迹规划算法已经被应用于实际低空突防任务,但基于“前端- 后端”式的传统航迹规划算法依然 存在规划航迹机动执行性差与复杂动态场景下易碰撞的缺陷。针对上述问题,本文提出一种基于Hybrid State A* 与增强安全管道的改进算法。首先,基于Hybrid State A* 算法的联合轨迹优化,可以在状态空间中完成兼 顾直升机机动特性的初始航迹高效搜索,有效保证直升机航迹的可达性。其次,基于初始航迹膨胀的增强安全 管道,将后端航迹优化参数限制在安全的可行域内,进而有效提升复杂动态场景下规划航迹的安全性。在实验 环节,本研究结合ROS 机器人仿真环境与Rviz 数据可视化工具完成仿真验证,通过算法间的综合对比实验, 论证了本研究所提算法对规划的航迹机动性与安全性有明显的提升。     

故障注入在航电系统测试过程中的应用

特殊的工作条件使得航空器必须具有很高的运行稳定性、健壮性和可维修性.故障注入通过模拟航电设备及其接口可能发生的异常(包括物理连接失败,性能参数下降、功能失效、时序错误等),可对航电系统进行更全面的测试和验证.     

基于动态人工势场法的多机改航路径规划研究

在危险天气条件下,需要研究航班改航路径规划的问题。对传统人工势场法中的斥力势函数进行修正,将目标点与障碍物的距离以及航空器与受限区的运动速度考虑在内,建立了动态人工势场法的多机改航路径规划模型。模型解决了障碍物附近目标不可达问题,并且适应动态运行环境。算例验证了模型的有效性和可行性。     

基于B样条曲线的无人机航路规划算法

提出了一种动态环境中无人机(UAV)航路规划与重规划算法。根据战场中各个已知威胁的位置建立可行点之间的有向图，用Dijkstra算法生成一条由若干直线段连接的参考航路，再利用B样条曲线具有C^2连续性、局部性、保凸性以及B样条曲线的曲率变化比较均匀的特点，对规划的参考航路进行修正和验证，使得规划航路对无人机安全可飞。当遇到突然出现的威胁时，可对航路进行局部重规划。