The modern war features a highly distributed coordination. In the face of great time constrains, it is important to change command organizations to adapt to the real environment. Therefore it's a key step to set u...The modern war features a highly distributed coordination. In the face of great time constrains, it is important to change command organizations to adapt to the real environment. Therefore it's a key step to set up adaptive C2 teams. In this paper, the relational problems about distributed C2 organizational structure adaptation are discussed, and the methodology for team decision making design based on the object oriented technique is studied.展开更多
在对面向对象Petri网(Object-Oriented Petri Nets,OOPN)技术中系统与系统对象的形式化理论研究以及现有成品油配送系统业务流程分析基础之上,建立了面向对象Petri网的成品油配送模型;通过对模型进行死锁、有界性与安全性分析对系统的...在对面向对象Petri网(Object-Oriented Petri Nets,OOPN)技术中系统与系统对象的形式化理论研究以及现有成品油配送系统业务流程分析基础之上,建立了面向对象Petri网的成品油配送模型;通过对模型进行死锁、有界性与安全性分析对系统的性能与可靠性进行了验证,验证结果表明所建立的模型不存在死锁,有界但不安全。针对模型验证结果,将成品油配送中的并发事件统一抽象为订单到达与处理事件,并应用排队论对事件的处理进行了优化,以提高系统的安全性。以配送中心订单服务台配备个数为例对方案的应用进行了说明,并用Mat Lab对案例进行仿真验证了方案的正确性。最后,对模型的优点进行了总结。展开更多
采用了面向对象的Petri网(object-oriented Petri net,OPN)的方法来分析网络化制造环境下的供应链运作,这种方法采用计算机集成制造开放系统(CIMOS)的规则来模拟制造供应链的业务流程.通过这种模式下的供应链运作描述,以网络化制造技术...采用了面向对象的Petri网(object-oriented Petri net,OPN)的方法来分析网络化制造环境下的供应链运作,这种方法采用计算机集成制造开放系统(CIMOS)的规则来模拟制造供应链的业务流程.通过这种模式下的供应链运作描述,以网络化制造技术中心为支持,提出供应链运作模式;构建各参与对象OPN模型,获得系统P不变量,在此基础上分析系统的性能如死锁、溢出以及冲突等.以制造商为例的OCN的关联矩阵和P不变量分析,证明构建的模型具有良好的性能.展开更多
针对空间有效载荷系统工作模式的复杂性问题,在研究其动态行为和运行特征的基础上给出了一种基于改进的面向对象Petri网(IOOPN,Improved Object Oriented Petri Net)的系统工作模式分析方法。该方法集合了Petri网和面向对象的优点;在面...针对空间有效载荷系统工作模式的复杂性问题,在研究其动态行为和运行特征的基础上给出了一种基于改进的面向对象Petri网(IOOPN,Improved Object Oriented Petri Net)的系统工作模式分析方法。该方法集合了Petri网和面向对象的优点;在面向对象Petri网模型中引入了对象间的行为约束关系;并根据约束关系实现了基于最小序列组的系统工作模式分析算法。最后,将该方法应用于某资源卫星有效载荷系统中,实践结果表明该方法满足对有效载荷系统工作模式的分析、仿真和验证的要求,为有效载荷系统的总体设计和集成测试提供了重要的参考。展开更多
针对空间有效载荷系统集成测试用例生成问题,在分析任务特点和测试技术发展趋势的基础上,采用改进面向对象Petri网(improved object oriented Petri net,IOOPN)的建模技术,提出了一种基于IOOPN模型自动生成测试用例的推理方法。该方法...针对空间有效载荷系统集成测试用例生成问题,在分析任务特点和测试技术发展趋势的基础上,采用改进面向对象Petri网(improved object oriented Petri net,IOOPN)的建模技术,提出了一种基于IOOPN模型自动生成测试用例的推理方法。该方法建立了对象工作模式的识别规则,采用启发式搜索生成单对象测试序列集,引用时间标尺实现系统级测试序列规划算法,满足了有效载荷系统级的测试要求,提高了测试的效率和水平,成功应用于某卫星科研实践。展开更多
文摘The modern war features a highly distributed coordination. In the face of great time constrains, it is important to change command organizations to adapt to the real environment. Therefore it's a key step to set up adaptive C2 teams. In this paper, the relational problems about distributed C2 organizational structure adaptation are discussed, and the methodology for team decision making design based on the object oriented technique is studied.
文摘在对面向对象Petri网(Object-Oriented Petri Nets,OOPN)技术中系统与系统对象的形式化理论研究以及现有成品油配送系统业务流程分析基础之上,建立了面向对象Petri网的成品油配送模型;通过对模型进行死锁、有界性与安全性分析对系统的性能与可靠性进行了验证,验证结果表明所建立的模型不存在死锁,有界但不安全。针对模型验证结果,将成品油配送中的并发事件统一抽象为订单到达与处理事件,并应用排队论对事件的处理进行了优化,以提高系统的安全性。以配送中心订单服务台配备个数为例对方案的应用进行了说明,并用Mat Lab对案例进行仿真验证了方案的正确性。最后,对模型的优点进行了总结。
文摘采用了面向对象的Petri网(object-oriented Petri net,OPN)的方法来分析网络化制造环境下的供应链运作,这种方法采用计算机集成制造开放系统(CIMOS)的规则来模拟制造供应链的业务流程.通过这种模式下的供应链运作描述,以网络化制造技术中心为支持,提出供应链运作模式;构建各参与对象OPN模型,获得系统P不变量,在此基础上分析系统的性能如死锁、溢出以及冲突等.以制造商为例的OCN的关联矩阵和P不变量分析,证明构建的模型具有良好的性能.
文摘针对空间有效载荷系统工作模式的复杂性问题,在研究其动态行为和运行特征的基础上给出了一种基于改进的面向对象Petri网(IOOPN,Improved Object Oriented Petri Net)的系统工作模式分析方法。该方法集合了Petri网和面向对象的优点;在面向对象Petri网模型中引入了对象间的行为约束关系;并根据约束关系实现了基于最小序列组的系统工作模式分析算法。最后,将该方法应用于某资源卫星有效载荷系统中,实践结果表明该方法满足对有效载荷系统工作模式的分析、仿真和验证的要求,为有效载荷系统的总体设计和集成测试提供了重要的参考。
文摘针对空间有效载荷系统集成测试用例生成问题,在分析任务特点和测试技术发展趋势的基础上,采用改进面向对象Petri网(improved object oriented Petri net,IOOPN)的建模技术,提出了一种基于IOOPN模型自动生成测试用例的推理方法。该方法建立了对象工作模式的识别规则,采用启发式搜索生成单对象测试序列集,引用时间标尺实现系统级测试序列规划算法,满足了有效载荷系统级的测试要求,提高了测试的效率和水平,成功应用于某卫星科研实践。
