共查询到20条相似文献,搜索用时 31 毫秒
1.
Petri网是建立系统模型和分析系统的强有力工具。文中首先讨论了各种类型规则的Petri网表示,然后给出了一个规则库的Petri网模型表示,克服了产生式规则表示知识难以反映规则之间相互依赖关系的缺点,对于知识库的维护具有重要意义。 相似文献
2.
用时间着色Petri网分析了FMS的静态结构、动态行为和行为规则,探讨了以时间着色Petri网为工具,使用面向对象技术建立FMS实时监视和故障诊断模型的方法,并提出了利用Petri网可分层的特点进行故障诊断的观点。 相似文献
3.
4.
5.
一种无人机局部路径重规划算法研究 总被引:1,自引:0,他引:1
提出了一种突发威胁体下无人机局部路径重规划的算法。首先根据不同威胁体的分布情况构造无人机的可飞航路集,用“改进型V orono i图”表示出来,采用D ijkstra算法求解初始粗略最短路径。在无人机飞行过程中,通过基于混合动态贝叶斯网络的切换线性动态系统模型感知环境,应用V iterb i解码算法确定突发威胁体的实时位置及威胁等级,再依据局部路径重规划原则进行寻优,最后应用三次平滑及序列二次规划方法获得实际可飞路径,并用M atlab仿真验证了算法的有效性。 相似文献
6.
FMS故障诊断的模糊行为Petri网研究 总被引:1,自引:0,他引:1
根据FMS故障诊断推理中知识的模糊性,提出模糊行为Petri网(FBPN)的定义,研究用模糊行为Petri网表示模糊产生式规则的方法,提出一种模糊反向推理机制,并给出算法的实现。最后以某FMS故障诊断专家系统为例,证明了该方法的可行性和有效性。 相似文献
7.
XWindowSystem是基于网络环境和CLIENT/SERWR模式的图形窗口系统.文章论述了一个实际的网络运行环镜上的XWindowSystem具体的系统配置、安全管理以及使用,并列出了常见错误及处理方法. 相似文献
8.
9.
从电力系统运行的一般原理出发,开展风储孤网系统小信号稳定和动态稳定的研究,保障局部地区供电可靠性。基于特征值分析法和李亚普诺夫线性系统稳定性判据,对风储孤网系统小干扰稳定性问题进行了研究。提出风储孤网系统储能单元基于下垂控制模式的储能逆变器控制策略,并根据风储孤网系统各模块的控制策略建立相应的数学模型;基于特征值分析法进行风储孤网系统各模块数学模型的小干扰稳定性分析,并根据李亚普诺夫线性系统稳定性判据进行风储孤网系统的稳定性判断;基于MATLAB/Simulink仿真平台搭建风储孤网系统仿真模型,通过仿真验证了风储孤网系统能够实现稳定运行,与小干扰稳定性分析得出的结论一致。研究成果可为风储孤网系统的运行稳定性研究提供理论参考。 相似文献
10.
11.
12.
智能制造系统中的合作与协调 总被引:1,自引:0,他引:1
通过对智能制造系统结构和运行方式的介绍,分析了智能制造系统中合作与协调的特点,描述了基于改进合同网的谈判方式的制造任务分配方法,并提出分布式智能制造系统中各自治单元之间利用CORBA和分布式对象技术建立合作与协调基本环境的方法。 相似文献
13.
14.
基于MC/DC最小测试用例集设计方法研究 总被引:1,自引:0,他引:1
动态测试主要是通过设计测试用例、开发和运行测试程序来发现软件中存在的错误。如何判断设计的测试用例是充分的,针对不同级别的软件,DO-178B规定了不同的结构覆盖标准。本文针对A级软件,给出一种适合MC/DC准则的最小测试用例集快速设计方法。针对一个判定中同一条件出现多次的复杂情形引起的两种不同用例设计思路,结合LDRATestbed覆盖分析结果,总结出合理的设计方法。 相似文献
15.
讨论了空中交通流量管理中终端区航班的排序规划问题。目的是在终端区空中交通繁忙的情况下有效地为到达航班安排合理的着陆次序,并在不违反飞机间隔要求的情况下给出各飞机经过优化的着陆时间,提高机场跑道的利用率。引入离场起飞的航班问题,建立了航班排序的动态模型和基于遗传算法的终端区动态排序算法。并对一个算例采用冬文方法进行验证计算,结果表明,所提出的方法计算效率高,实用可行。 相似文献
16.
应急观测任务规划是一个强时效性的复杂组合优化问题,必须在规定的时限内完成相应的计算。采用机器学习的方法对规划问题进行初始规划方案预测,可以有效地简化计算复杂度。为此,提出一种基于Transformer层次预测的多星应急观测任务规划方法,将多星任务规划的求解过程分解为3个步骤:首先,利用基于Transformer的任务可调度性预测模型预测待规划任务是否执行,得到预执行任务集合;然后,基于Transformer的任务分配模型对预执行任务集合分配卫星,得到初始规划方案;最后,利用基于随机爬山的约束修正算法对初始规划方案进行优化调整,得到可行规划方案。为验证所提方法的有效性,通过大量仿真实验与CPLEX优化器、标准遗传算法、长短期记忆网络等方法模型进行比较,实验结果表明所提方法计算耗时短,规划收益高,适用于多星观测任务快速规划。 相似文献
17.
直升机低空突防已逐渐成为现代空战察打任务的核心,而低空航迹规划算法是实现该技术的关键。
尽管现有的航迹规划算法已经被应用于实际低空突防任务,但基于“前端- 后端”式的传统航迹规划算法依然
存在规划航迹机动执行性差与复杂动态场景下易碰撞的缺陷。针对上述问题,本文提出一种基于Hybrid State
A* 与增强安全管道的改进算法。首先,基于Hybrid State A* 算法的联合轨迹优化,可以在状态空间中完成兼
顾直升机机动特性的初始航迹高效搜索,有效保证直升机航迹的可达性。其次,基于初始航迹膨胀的增强安全
管道,将后端航迹优化参数限制在安全的可行域内,进而有效提升复杂动态场景下规划航迹的安全性。在实验
环节,本研究结合ROS 机器人仿真环境与Rviz 数据可视化工具完成仿真验证,通过算法间的综合对比实验,
论证了本研究所提算法对规划的航迹机动性与安全性有明显的提升。 相似文献
18.
故障注入在航电系统测试过程中的应用 总被引:1,自引:0,他引:1
特殊的工作条件使得航空器必须具有很高的运行稳定性、健壮性和可维修性.故障注入通过模拟航电设备及其接口可能发生的异常(包括物理连接失败,性能参数下降、功能失效、时序错误等),可对航电系统进行更全面的测试和验证. 相似文献
19.
基于B样条曲线的无人机航路规划算法 总被引:16,自引:0,他引:16
提出了一种动态环境中无人机(UAV)航路规划与重规划算法。根据战场中各个已知威胁的位置建立可行点之间的有向图,用Dijkstra算法生成一条由若干直线段连接的参考航路,再利用B样条曲线具有C^2连续性、局部性、保凸性以及B样条曲线的曲率变化比较均匀的特点,对规划的参考航路进行修正和验证,使得规划航路对无人机安全可飞。当遇到突然出现的威胁时,可对航路进行局部重规划。 相似文献
20.
在危险天气条件下,需要研究航班改航路径规划的问题。对传统人工势场法中的斥力势函数进行修正,将目标点与障碍物的距离以及航空器与受限区的运动速度考虑在内,建立了动态人工势场法的多机改航路径规划模型。模型解决了障碍物附近目标不可达问题,并且适应动态运行环境。算例验证了模型的有效性和可行性。 相似文献