【摘 要】
：
Petri网模型建立后,其结构相对固定,不易描述实际系统结构的动态变化。借鉴软件组件的设计思想,提出了组件化的变结构Petri网的描述规范、组合机制和仿真方法,实现了仿真运行中Petri网结构的动态变化。该方法增强了Petri网模型的重用性,支持层次化建模,便于实现与其他模型的集成,提高了Petri网的建模仿真能力。
论文部分内容阅读
Petri网模型建立后,其结构相对固定,不易描述实际系统结构的动态变化。借鉴软件组件的设计思想,提出了组件化的变结构Petri网的描述规范、组合机制和仿真方法,实现了仿真运行中Petri网结构的动态变化。该方法增强了Petri网模型的重用性,支持层次化建模,便于实现与其他模型的集成,提高了Petri网的建模仿真能力。
其他文献
对于系统进行仿真可信度研究具有非常重要的意义。分析了系统的不确定因素;针对系统的不确定性对仿真可信度评估的影响,提出了的仿真可信度评估鲁棒一致性的概念;最后提出了可以采用模糊神经网络的解决实现仿真评估的鲁棒一致性。
浮标布阵系统是航空电子系统中典型的实时嵌入式系统,系统性能评价是其发展的重要理论基础和支撑技术。以浮标布阵系统为应用背景,研究了航空电子系统原理和特点,并对航空电子系统周期性消息进行了研究。给出了一套完整的基于确定与随机Petri网的性能评价模型。通过对模型的仿真,得到了系统的性能指标总线利用率随系统运行时间变化的规律,通过对性能曲线分析,可对航空电子系统的设计和完善提供重要的理论依据。
概念建模是建立仿真系统的第一步。首先介绍了着色Petri网(Colored Petri Net,CPN)的建模基础,其次分析了在轨服务概念及其流程,然后运用CPN-Tools建立了在轨服务的CPN模型,并生成了模型的状态空间报告,分析了模型的回归性、有界性、活性以及公平性。在轨服务概念模型,可以为在轨服务系统及其仿真系统的建立提供参考。
为了保证飞行的安全,必须使飞机在危险高度以上飞行。危险高度拉起是飞机自动驾驶仪的一项功能,当飞机接近或者达到危险高度时,自动驾驶仪控制飞机进行拉起运动,从而使飞机脱离危险高度。根据飞机改出俯冲过程高度损失公式,针对滚转角等于零和不等于零两种情况,分别提出了危险高度拉起的触发条件。仿真结果表明,该触发条件能有效地使飞机脱离危险高度。
液态锂铅包层是聚变反应堆的关键部件,目前处于研究阶段。由我国自主建设的锂铅回路Dragon IV是开展液态锂铅包层研究的重要实验平台。锂铅回路Dragon IV的仿真系统用于提高实验平台的效率,推进我国液态锂铅包层研发工作。首先分析了锂铅回路Dragon IV的结构特点和工作模式;然后在此基础上给出锂铅回路Dragon IV仿真系统的设计目标;最后给出了仿真系统的总体设计和实施步骤;并对仿真系统第
利用有向签名的方法,结合零知识证明的思想,在ELGamal签名机制的基础上提出了一种新型的基于身份的双向认证方案。只有特定的双方用户,不必暴露自己的秘密信息就可以实现双向身份认证。该方案具有良好的安全性和较低的计算复杂度。
根据现实社会电力网络拓扑结构及生长机制特点,针对战争模拟中的社会仿真研究需要,提出以人口密度、经济水平、行政区域和电网连接方式等影响因素的电力网络生成模型算法设计和实现方案。对实验结果进行统计分析表明,该算法生成的电力网络拓扑数据,与基于复杂网络理论的电力网络拓扑分析结论相一致,较好地满足了社会仿真中电力基础设施网络建模仿真研究的需要。
在LabVIEW平台上建立了两相同步旋转坐标系下的双馈风力发电机数学模型,构建了定子磁链定向矢量控制系统,实现了定子电压的频率控制和定子有功功率与无功功率的解耦控制。通过仿真对不同转差率下的转子电压和定子电流进行了对比分析,然后对转子转速或功率参考值发生阶跃时定子功率的变化进行了分析,结果证明了所建立模型和矢量控制系统的正确性。
逻辑Petri网(LPNs)能够描述和分析实时协同工作系统中批处理功能和传值不确定性。为了直接分析LPNs的性质,针对LPNs变迁的不确定性,定义了逻辑变迁向量集和变迁使能向量集,给出了一种向量匹配方法判断使能变迁。为应用LPNs建模分析实际问题奠定了理论基础。最后,通过一个例子,验证了论文分析方法的可行性。
协同设计技术广泛应用于航天、船舶等重要军工领域,协同设计过程具有数据驱动,多层次,多状态等特点,目前仍缺少协同设计形式化过程模型,给不同学科、行业、部门之间的协同交互带来了很大的困难,因此有必要建立一个协同设计过程的形式化模型。给出了一个层次化的有色Petri网来描述协同设计过程,并根据协同设计过程特点,给出了不同的触发规则,刻画了任务的不同状态,并在此模型的形式理论基础上,开发了一个数据驱动工作