基于着色Petri网理论的通信装备维修系统建模

讨论了一种基于着色Petri网理论建立通信装备第二级维修子系统模型的方法。该方法通过运用着色Petri网理论的优势对原有的通信装备第二级维修子系统模型进行改造,克服了以往用普通Petri网建模的不足,细化了其系统模型的中间操作过程,有利于模型分析和仿真实现。     

Petri网图形建模仿真系统的研究与开发

将面向对象思想引入Petri网建模、仿真系统的研究和开发,设计了基于图形界面的普通Petri网建模仿真工具软件,构造了相关的普通Petri网核心类,给出了普通Petri网点火机制的计算机实现方法,通过可视化开发工具Delphi实现了该建模仿真工具,通过该工具,可以以人机交互的方式建立、编辑、分析、仿真普通Petri网模型     

基于HTPN战时通信装备维修保障系统建模

为了调整和优化通信装备维修保障系统中各类资源配置,采用DEVS(Discrete EVent System Specifications)与时间Petri网建模理论相结合的方法,对战时通信装备维修保障系统进行分层次建模,构建了战时通信装备维修保障系统层次时间Petri网(HTPN:Hierarchy Time Petri Net)模型,并讨论了模型的具体应用。该模型克服了普通Petri网建模的不足之处,使模型变得直观、简单,并有利于模型分析和仿真实现。通过此模型还可分析得出通信装备最短的维修时间,为装备维修的决策阶层提供决策支持,进一步提高了军队装备维修保障的能力。     

基于Petri网和UML的流水作业调度模型设计及实现

为了对流水作业调度的行为提供支持,需要对其进行有效的建模和模型分析。Petri网具有坚实的理论基础和易于使用的图形表示,是一种理想的建模和分析工具。UML是一种易于编程实现的面向对象建模工具。针对UML和Petri网建模的特点,本文采用Petri网与UML相结合的建模分析方法,融合了Petri网精确、严格的形式化描述和UML友善的用户界面的优点。并提出了将Petri网转化为一种可以表示对象间的同步、并发的扩展状态图的方法。利用Petri网描述系统的动态特性,经过分析、验证或仿真后,通过提供的转化规则将Petri网模型转化成相应的UML动态图、扩展的状态图,对流水作业调度问题建模。利用动态规划算法解决满足Johnson法则的最优作业调度问题,并用Java实现。     

无序档案资料整理的工作流网模型

工作流是实际业务工作流程的形式化表示,其关键在于建模。由于Petri网构建的工作流模型具有简单明了的特点,因而成为的重要建模工具。本文在Petri网和工作流理论的基础上,把一个实际的任务分解为工作流,并对该工作流构建工作流网模型。最后,对所建模型的正确性进行了定性的分析,并对模型的特性和所反映的问题进行了讨论,说明了利用Petri网技术来为实际业务流程建模的合理性和优越性。     

基于Petri网的生产系统建模与分析研究

针对生产管理模式的选择及Petri网建模规模较小等问题,根据生产物流控制的原理,在对基本制造单元进行模块化建模的基础上,应用模块化、层次化的技术构建了推式、拉式等生产管理模式的Petri网模型,然后应用参数化的技术对模型进行了改进,应用IDEF1X方法(icam definition methods,IDEF系列分析方法中的数据建模方法)对着色Petri网的颜色集进行了设计,弥补了Petri网建模的不足,并通过对这些方法的集成应用,建立了具有较强通用性的大规模复杂生产系统的Petri模型.最后,通过直接对所建Petri网模型的仿真和对仿真过程中所采集数据的统计计算,对生产系统的性能进行了分析,验证了上述建模方法的正确性和通用性.该方法为制造企业进行生产模式选择提供了有效的工具.     

无序档案资料整理的工作流网模型

工作流是实际业务工作流程的形式化表示,其关键在于建模.由于Petri网构建的工作流模型具有简单明了的特点,因而成为的重要建模工具.在Petri网和工作流理论的基础上,把一个实际的任务分解为工作流,并对该工作流构建工作流网模型.最后,对所建模型的正确性进行了定性的分析,并对模型的特性和所反映的问题进行了讨论,说明了利用Petri网技术来为实际业务流程建模的合理性和优越性.     

基于Petri网的工作流仿真建模研究

工作流仿真模拟工作流执行的环境,高效、低成本、快速地执行工作流过程,通过分析仿真结果,来发现模型中存在的问题,达到工作流优化和重组的目的.仿真模型是仿真的前提和基础,该文介绍基于Petri网的工作流模型,讨论了在此模型基础上如何添加仿真信息,映射基于Petri网的仿真模型,并以工作流仿真的部署,说明了仿真建模的研究.     

基于着色Petri网实现A星算法的生产调度优化研究

基于着色Petri网对A星算法进行建模,研究生产调度优化问题.利用着色Petri网的理论优势,简化了大规模复杂工艺生产过程的调度模型过于复杂的问题.直接建立A星算法的着色Petri网模型,对于生产调度研究中的跨平台问题给出了一种解决方法.通过着色Petri网仿真模拟软件CPN Tools构建了基于着色Petri网的A星算法实例和生产调度实例.     

分布式仿真中可视化对象的描述及应用

本文介绍了一种采用Petri网改进后的面向对象模型，并将它运用到化工集团公司监控指挥调度仿真系统的可视化对象的建模和分析中，这样不仅可以解决系统结构的复杂性和抽象性问题，又使得所设计系统具有更好的可扩充性和易维护性。     

信息化部队指挥控制系统结构分析与研究

信息化部队指挥控制系统是陆军战场信息化的关键组成部分,主要用在乘车（下车）移动武器单元上,例如：战车、坦克、机械化士兵以及空中运动单元等。这些武器平台和部队通过该指挥控制系统和战术互联网实现横向和纵向连通．形成一个无缝隙的信息化战场。它将在整个上一级军范围内起到战斗支援和战斗勤务支援的作用,并将对旅和营级部队起到重要的作用。     

基于OPN模型的装备维修保障系统动态性能仿真

为克服用数学方法分析装备维修保障系统的OPN(Object-oriented Petri Net) 模型数量庞大和结构复杂的问题,提出了用CPN(Colored Petri Net) tools 仿真软件分析装备维修保障系统的OPN模型,成功地构建了对装备维修保障系统OPN模型的CPN仿真模型,并用CPN tools对装备维修保障系统的OPN模型进行动态性能仿真。结果表明,用该方法分析装备维修保障系统的OPN模型动态特性是合理可行的,无任何冲突和死锁现象。     

机器人装配过程任务级控制的同步Petri网方法

采用同步Petri网对机器人销孔装配过程进行建模,研究了任务级上装配状态变迁路径的评价方法及优化算法。由于装配作业存在零件定位、工件运动和传感信息等诸多不确定性和突发事件,使得预先编制的装配作业程序容易发生故障,通过对装配状态变迁过程中的力／位姿信息进行分析,可以建立销孔装配过程的同步Petri网模型,并实时产生优化的装配状态变迁变列。所提出的任务级控制方法可用于指导产生具体的装配状态变迁的速度指令,并可在错误的装配状态发生时收敛到最终装配状态,销孔装配试验证明了该方法的正确性。     

加强军队装备合同审计工作的几点思考

市场经济环境下,对装备合同开展审计至关重要。依据我军现行合同审计的现状,参考外军合同审计的主要做法,提出应加强我军装备合同审计的对策措施,完善装备合同规范化管理,提高装备建设的质量和效益。     

大革命时期周恩来开展的军队政治工作

大革命时期,周恩来在黄埔军校首创了军队思想政治工作制度,又将政治工作在两次东征、平息杨、刘叛乱等实际战斗中推行,他筹备建立了我党实际掌握的第一支军队,并在队伍中充分落实了政治工作制度,他对如何在革命军队中开展政治工作进行了积极探索和实践,为后来人民军队政治工作的建立奠定了基础,为我党政治工作的建立和发展做出了重要贡献。     

试论CALS与我国装备采办信息化

简要介绍了CALS的产生,内涵及本质,着重分析了我军警备采办信息化建设中存在的问题以及推进CALS的必要性．探讨了我军推进CALS的客观条件,论述了实施CALS的方法和步骤,最后指出了推进CALS必须采取稳步推进的策略．     

规范装备采购价格管理工作措施探析

在社会主义市场经济体制下,我军武器装备采购价格管理仍然沿袭＂计划管理＂模式,实际工作中产生了诸多矛盾,严重制约了武器装备采购价格管理工作的发展,降低了装备购置费的使用效益。通过对几型武器装备价格管理全过程的调研,分析了武器装备采购价格管理工作中存在的报价不规范、利润基础不合理、小时费用率标准偏低、人才队伍建设跟不上等四个方面的突出问题,提出了相应的解决措施,为武器装备采购价格管理工作提供参考。     

基于业务流程的装备保障信息流模型研究

通过对装备保障信息流与业务流程关系的分析,以现行装备保障体制为背景,提出了装备保障信息流模型的概念,分析了装备保障信息流模型相对于实体业务流程的特点,然后围绕装备保障关键业务流程从流程的观点建立了装备保障信息流基础模型,最后围绕装备保障决策指挥过程从决策支持的角度对模型进行了优化重构。