共查询到19条相似文献,搜索用时 171 毫秒
1.
2.
发布订阅服务是未来航行情报管理所面临的主要问题之一。利用UML建立了飞行程序发布订阅概念模型,刻画了系统需求和发布订阅的具体过程。建立了相应的Petri网模型,通过可达树分析和P不变量分析得出所建Petri网模型的有界性、守衡性和活性,从而证明了概念模型的正确性和有效性。 相似文献
3.
4.
5.
多通道火控系统是一个实时多任务系统,具有实时、并发、异步、分布、不确定性等特点。Petri网是描述异步并发现象的一种有效工具。文章以Petri网为工具建立某多通道火控系统的模型,对其结构性能、功能、任务忙闲程度、死锁进行了定性分析,并给出从模型到程序自动转换方法,可有效分析与评价多通道火控系统。 相似文献
6.
基于赋时可重构Petri网的可重构制造系统建模 总被引:2,自引:0,他引:2
系统建模是可重构制造系统生产管理控制技术的基础。分析了可重构制造系统的建模需求,提出基于赋时可重构Petri网的可重构制造系统建模的方法。该建模方法是先建立可重构制造系统当前系统的赋时可重构Petri网模型,再通过修改其建模元素得到可重构制造系统重构后系统的赋时可重构Petri网模型。实例研究表明基于赋时可重构Petri网的可重构制造系统建模方法能够满足可重构制造系统的建模需求,因此它是可重构制造系统的正确的形式化表示。 相似文献
7.
8.
Petri网可用于分解装配序列规划中的关系表达与推理,对于零部件数量大的航空发动机,通过求解Petri网可达集搜索目标分解装配序列的方法是NP难度的。基于装配Petri网与分解Pe试网互逆的观点,分剐采用启发式搜索算法和优先级调度算法求解搜索最小可分解和最大可装配变迁集,然后构造最简Petri子网达到降低搜索难度的目的。并将分解装配序列规划算法用于发动机零部件跟踪控制过程中,达到降低和防止维修差错的目的。 相似文献
9.
刘安枕 《西安航空技术高等专科学校学报》2004,22(5):29-31,34
基于Petri网模型的智能仪器监控软件设计方法是一种新型的软件设计方法。运用该方法 ,在对智能型电话管理系统中的内部因素和外部因素综合分析的基础上 ,结合Petri网模型理论 (Petri -net-modeltheo ry) ,找到了智能仪器监控软件的形式化描述技术和数学化设计方法 ,给出了其工程化的解决方案。工程应用实践表明 ,Petri网模型及其在智能仪器监控软件设计中的应用是可行而成功的。 相似文献
10.
针对飞机装配产品结构、生产工艺复杂,装配过程离散,数据量庞大多变,难以建立产品化的信息化解决方案的问题,探索出一种基于Petri网模型建立的模拟装配生产线的模型.通过对离散数据的分析与处理,建立装配过程中相关联变量之间的关系网络,运用时延Petri网TdPN模型具有的成熟的数学分析方法,对装配过程进行模拟分析,从而找到最优的人员、工艺、质量、设备和管理资源的配置,达到装配生产过程的优化.最后,通过对某型号飞机外翼的装配过程进行仿真优化,验证了建模仿真和优化算法的可行性. 相似文献
11.
12.
A hazard analysis via an improved timed colored petri net with time–space coupling safety constraint
Petri nets are graphical and mathematical tools that are applicable to many systems for modeling, simulation, and analysis. With the emergence of the concept of partitioning in time and space domains proposed in avionics application standard software interface(ARINC 653), it has become difficult to analyze time–space coupling hazards resulting from resource partitioning using classical or advanced Petri nets. In this paper, we propose a time–space coupling safety constraint and an improved timed colored Petri net with imposed time–space coupling safety constraints(TCCP-NET) to fill this requirement gap. Time–space coupling hazard analysis is conducted in three steps: specification modeling, simulation execution, and results analysis. A TCCP-NET is employed to model and analyze integrated modular avionics(IMA), a real-time, safety-critical system. The analysis results are used to verify whether there exist time–space coupling hazards at runtime. The method we propose demonstrates superior modeling of safety-critical real-time systems as it can specify resource allocations in both time and space domains. TCCP-NETs can effectively detect underlying time–space coupling hazards. 相似文献
13.
故障树、故障Petri网和贝叶斯网络是评估系统可靠性、安全性的三种重要模型。其中,故障树在工程中应用最广,而后两种模型其各自具有不可替代的优点,可以弥补故障树在实际应用中的不足。在介绍三种模型的基础上,通过对故障树向故障Petri网转化方法、故障树向贝叶斯网络转化方法的研究,给出描述三种模型的典型逻辑关系等价结构图的表格,揭示三种模型的内在联系。结合该表,提出故障Petri网向贝叶斯网络的转化方法。同时,利用上述三种模型对导弹发动机故障进行对比分析,结果表明故障Petri网使故障传播过程一目了然,而通过故障Petri网络或故障树转化而来的等价贝叶斯网络可计算出更多定量结果。 相似文献
14.
在装备研制早期,难以有效地利用试验的方法进行维修性估计,此时适合采用仿真手段。对于机械系统拆卸路径的分析与优化,先基于赋时变迁Petri网建立拆卸Petri网模型,再利用A*算法搜索最优拆卸路径,并确定拆卸时间。为了建立系统整个维修事件的过程模型,对广义随机Petri网进行了扩展,将其延时变迁与实际分布关联,对基于变迁的维修作业之间的逻辑关系进行了描述,并给出了基于蒙特卡罗法的维修时间仿真算法。最后,以对某火炮装备发射系统不击发故障的分析与排除为例,仿真计算了维修时间均值与方差,并对结果进行了分析。 相似文献
15.
依据面向对象的Petri网的理论,给出了制造系统的建模过程,最后将统一建模语言(UML)融入到制造系统的建模与仿真中,通过实例进一步阐明了Petri网在制造系统建模与仿真中是如何应用的。 相似文献
16.
17.
随着综合航电系统的发展,1553B总线已经不能满足发展的需要,光纤通道交换式网络作为新一代高性能网络通信协议被引入到航电系统中,其性能指标与整个航电系统的总体指标有着密切的关系.为了解决系统消息实时发送的问题,研究了光纤通道交换网络实时条件下加权轮询调度算法的通信性能,利用随机Petri网对光纤通道交换网络的调度过程进行了建模,通过对模型的仿真和分析,得到了数据传输量及传输时限变化时系统网络负载、延迟时间、超时消息所占比例等重要性能指标,并分析了调度算法的性能.仿真结果证明光纤通道交换式网络具有高速稳定性,加权轮询调度算法能够满足消息传输的实时性、公平性要求. 相似文献
18.
蔡艳丽 《海军航空工程学院学报》2014,29(3):221-224
针对网络实验室中难以实现与真实网络环境一致、需要进行网络流量模拟的问题,提出了一种基于FTP协议的网络流量模拟方案。基于FTP协议特点和网络流量模拟需求,详细分析了网络流量模拟系统的架构、运行拓扑结构,设计了FTP流量的生成算法。通过实验证明,实现的模拟系统可以对模拟流量的发送速度和时长进行设定,而且可以随时进行更改,满足了虚拟网络流量的要求,为网络安全试验提供了模拟的网络测试环境。 相似文献