共查询到20条相似文献,搜索用时 132 毫秒
1.
领域分析和建模广泛应用于大型软件系统的分析和设计。目前,由于缺乏有效的方法和实验途径,在C^3I系统的建模和设计过程中难以快速建立系统原型,给实际的开发造成了不便。该文将领域技术应用于C^3I仿真测试环境中,从四个紧密相关的不同视点(环境、交互、焦点分析和整体分析)来对系统进行领域分析和建模,介绍和说明了它们的界定范围、表示内容、使用方法以及在领域分析中的作用,并从这四个方面来分析和描述了C^3I仿真测试环境领域模型的分析和设计过程。该仿真测试环境的领域模型已经应用于实践中,指导了某C^3I系统的开发和研制。 相似文献
2.
该文采用Petri网这种系统描述和分析工具对基本图灵机进行了建模与分析。首先介绍了基本图灵机和Petri网的基本概念与定义,然后给出了一个利用Petri网对基本图灵机进行建模的有效算法,研究了用Petri网为基本图灵机建模的一般方法,说明了该方法的优越性,并最终以一个建模实例验证了该方法的有效性和可行性。 相似文献
3.
4.
5.
采用半实物仿真方法建立C3I系统仿真试验床 总被引:1,自引:1,他引:0
该文介绍了一种采用半实物仿真方法建立C^3I系统仿真试验床的思路,该方法可以将现实中复杂的C^3I系统在试验室里逼真地展出来,并且有时空一致的特点,为C^3I信息系统的研制,建设,管理和使用提供一个试验开始平台,使用该方法可以建立一个费用低,逼真度高的C^3I系统仿真试验床,该试验床能灵活组合模拟不同规模的C^3I系统综合仿真环境。 相似文献
6.
针对即时检验系统的设计与开发建模问题,提出一种基于时间Petri网的并发系统建模分析方法,为即时检验流程设计建立较为准确的信息化模型。通过将活动持续时间概念引入Petri网模型中,提出了适用于即时检验系统建模的时间Petri网建模方法,并设计了嵌入Petri网模型中的调度仿真器协助分析、优化即时检验控制过程。仿真实验结果表明所提出的时间Petri网建模方法在可达节点和运行时间等方面能够满足并行多类别即时检验调度与控制系统的流程建模实际需要,为流程仿真和分析提供有力工具,从而辅助系统设计者对即时检验系统进行优化。 相似文献
7.
GONG Jie 《数字社区&智能家居》2008,(30)
车站联锁软件一直有着严格的测试要求,仿真模块是测试的重要组成部分,Petri网作为形式化语言的一种,有着准确与完备的特点,对于安全苛求软件的测试尤为适合,该文提出了一种使用Petri网对联锁软件测试中仿真模块建模的方式,并分别给出了针对铁路道岔的基于基本Petri网和有色Petri网2个建模实例。该模型有助于提高测试系统的安全性与精确性。 相似文献
8.
基于对象Petri网的信息系统建模技术 总被引:1,自引:0,他引:1
针对复杂管理信息系统分析与建模的困难性,提出了一种基于Petri网和面向对象的建模技术,给出了对象Petri网系统OPN的形式化定义,具体介绍了用OPN进行信息系统建模分析的基本思路与方法,并通过一个典型的租赁管理系统建模对该方法进行了应用。 相似文献
9.
针对随机Petri网建模设计与分析的复杂性问题,通过面向对象方法在VisualC++环境下利用MFC开发了可视化的随机Petri网建模和分析工具SPNSim。利用广度优先思想,设计了可达图的生成算法,给出了随机Petri网模型的编辑器,用户可以直观方便地进行随机Petri网编辑,同时还能进行模型分析,得到可达图、稳态概率等随机Petri网特性和系统性能指标。通过对一个实例的建模与分析,结果验证了软件工具SPNSim的正确性和可用性。 相似文献
10.
11.
基于Petri网与SimEvents的半导体晶圆生产线建模与仿真 总被引:1,自引:0,他引:1
SimEvents与Petri网相结合是一种很好的复杂生产线建模仿真方法,应用这一方法建立了一条300mm晶圆生产线的仿真模型.描述了其Petri网模型建立的总体流程和各个详细步骤,以及在SimEvents环境下实现Petri网模型并进行仿真的关键技术.在此基础上,对晶圆生产的不同调度方案分别进行了仿真,并把仿真结果进行了比较,从而验证了仿真建模方法的正确性. 相似文献
12.
13.
14.
Juan Guillen-Scholten Farhad Arbab Frank de Boer Marcello Bonsangue 《Electronic Notes in Theoretical Computer Science》2006,154(1):121
In this paper, we discuss how to model systems that communicate through and are coordinated by mobile channels. Mainly, we focus on modeling the exogenous coordination behavior imposed by these channels. We use Petri Nets as our modeling language, for they provide a graphically and mathematically founded modeling formalism. We give Petri Nets for a set of mobile channel types. This allows us to construct models of applications, by taking the Petri Net of each component and each mobile channel, and composing them together. For this purpose, we define a special Petri Net composition function. We also discuss analysis and simulation of these models and their exogenous coordination behavior. 相似文献
15.
针对汽车检测线运行效率评估及确保给定数量车辆检测时间最短的问题,通过分析检测过程中的驱动事件和状态演变,给出了车辆调度的约束条件,在此基础上把模型中的时间约束与受控Petri网相结合,提出了受控时间Petri网(Controlled Time Petri Nets)模型,采用该模型对检测线调度过程中的节拍控制与车辆调度进行可视化的建模与分析。实践表明对于多批次车辆检测任务采用该过程模型可明显缩短检测时间。 相似文献
16.
Kwangyeol Ryu 《Advanced Engineering Informatics》2007,21(2):231-239
In a manufacturing system, we need to capture collaborative processes among its components in order to clearly define supporting functions of a system. However, pervasive process modeling techniques, including IDEF3, Petri Nets, and UML, are not sufficient for modeling collaborative processes. Therefore, we have developed a novel modeling method referred to as collaborative process modeling (CPM) to describe collaborative processes. CPM models can be transformed into marked graph models so that we can use the analysis power of Petri Nets. In this paper, we first briefly discuss these process modeling techniques. Then, we illustrate the CPM method and transformation rules with illustrative examples. CPM allows us to develop collaborative process models, understand and facilitate the realization of collaboration, and verify models before moving onto development. 相似文献
17.
Petri网是一种应用非常广泛的建模工具。首先给出了基本Petri网的概念,在此基础上对多种Petri网进行了广泛的研究,包括时间因素Petri网、有色Petri网、面向对象Petri网、模糊Petri网及受控Petri网,并针对每种Petri网的特点和应用范围进行了讨论,提出了Petri网当前发展的方向和急需解决的热点问题。 相似文献
18.
本文首先将模拟技术应用于Petri网中,得到模糊Petri网模型,然后基于Petri网中的库所湾量的概念,在普通Petri网的反馈控制基础上提出了一种模型Petri网的反馈控制方法。该方法使得对复杂系统的模糊Petri多控制器的系统设计成为可能。 相似文献
19.
基于XML的生物代谢Petri网模型的标准化 总被引:1,自引:0,他引:1
针对分析生物代谢网络的需要,构建了生物代谢Petri网模型建模环境,并采用基于XML的Petri网标记语言PNML为标准,利用DOM实现XML解析,完成Petri网模型的标准化,通过对代谢网络Petri网模型实例的仿真,验证了标准化模型的正确性。 相似文献
20.
本文对三峡工程水泥调运过程用PETRI网进行建模,指出了进行调运的关键库所和变迁。讨论了拌和浇筑环节 PETRI网模的可能存在的不良特性。为解决此类问题设计了仿真器,它很好地实现了调度模拟的功能。同时给出了仿真器的框架和DSP怕仿真 相似文献