Petri网及ExSpect在任务可靠性仿真中的应用

任务可靠性的仿真方法有多种,这些方法由于系统的复杂性均存在某些方面的局限。本文首先介绍了任务可靠性的基本概念和一种新的用于任务可靠性仿真的方法-基本Petri网理论。并详细分析和比较了Petri网理论与其他仿真方法的优点和不足之处。随后介绍以Petri网理论为基础的仿真软件-ExSpect的发展、组成及其语言特点。最后,列举当前已成功应用的五个仿真实例来验证ExSpect仿真软件在任务可靠性仿真方面的适用性。     

机动防空任务聚合级装备作战单元维修性仿真

装备作战单元在执行任务过程中常处于聚合状态,影响其作战效能的重要因素之一就是任务维修性。任务维修性的度量参数有多种,文中采用恢复功能的任务时间（MTTRF）,在分析聚合级装备作战单元层次和特性的基础上,剖析了聚合级装备作战单元MTTRF的具体含义;给出了在机动防空任务下聚合级装备作战单元MTTRF的仿真方法和流程,应用Petri网技术在ExSpect仿真环境下建立了聚合级装备作战单元机动防空任务下维修性的仿真模型,实现了对聚合级装备作战单元各层MTTRF的仿真。最后,通过一个实例对模型进行验证。     

基于Petri网的容错计算机可靠性

应用双模型混合Petri网描述与分析容错计算机系统。在分析容错系统的可靠性时，把复杂的混合Petri网模型简化为GSPN模型，并利用GSPN与马尔可夫链同构的性质，来计算系统的可靠性。     

基于Petri网的软件体系结构可靠性分析

近年来,软件体系结构已成为软件工程领域的研究热点以及大型软件系统与软件产品线开发中的关键技术之一。对软件体系结构的可靠性分析是进行软件开发的一个重要依据,为了提高软件系统的性能,一个可靠的体系结构是整个软件系统的基础。文章通过分析体系结构的特征和可靠性因素,提出了一种基于Petri网的体系结构可靠性分析方法,对软件体系结构的各因素的可靠性进行分析评估,从而推导出整个软件体系结构的可靠性,并对软件体系结构可靠性进行实例研究。     

一种基于Petri网的可靠性分析方法

冲突和并发是Petri网的两种典型的行为,本文基于系统可靠性Petri网模型的逆模型和基于ECS的解冲突算法,得到一种新的求解单调关联系统最小割集的算法,另外,根据这一算法,能够获得与系统当前状态有关的所有可能的演化。     

基于Petri网的采购业务流程建模及仿真优化

以国内某大型制造企业的采购业务流程为研究对象,用Petri网技术构建了现有环境下和优化后的采购流程模型,分别对这两种情况下的业务流程模型进行了时间定量分析,并利用ExSpect仿真软件模拟分析了原有采购流程及优化后流程的优劣。结果表明,通过应用信息技术和合理地选择供应商选择模式,提高了业务信息传递和处理的效率,缩短了采购周期。     

基于Petri网的作战计划制定协作模型研究

协作模型是设计多平台作战计划制定系统的关键技术之一,文章提出了协作过程冲突的几种典型模式,利用Petri网的过程仿真方法,设计并验证了解决冲突的协作模型,认为协作模型不能解决所有冲突问题,在协作模型与业务模型中分别处理协作制定的冲突问题是系统设计的有效方法。     

基于Petri网的构件软件系统可靠性研究

近年来,构件软件系统已成为软件工程领域的研究热点以及大型软件系统与软件产品线进行开发的关键技术之一。对构件软件系统的可靠性分析是进行软件开发的一个重要依据,为了提高软件系统的性能,一个可靠的系统架构是整个软件系统的基础。文章通过分析构件软件系统的特征和可靠性因素,提出了一种基于Petri网的构件软件系统可靠性分析方法,对构件软件系统的各因素的可靠性进行分析评估,从而推导出整个构件软件系统的可靠性,并在开发后期对构件软件系统可靠性进行改进。     

基于Petri网的非相似余度飞控计算机可靠性分析

应用混合Petri网建立故障诊断模型,应用广义随机Petri网建立Boe ing 777非相似余度飞控计算机故障行为模型.描述了非相似余度系统的结构以及故障的产生和传播的动态过程,分析了该系统的可靠度和容错度,并有效地消除了瞬态故障对分析系统可靠性的影响.     

基于Petri网仿真的随机制造单元性能分析研究

分析了传统随机制造单元Petri网模型能的不足, 对传统随机制造单元的Petri网模型进行了改进。通过对Petri模型的直接仿真, 对不同的Petri网模型的随机制造单元的性能指标进行了分析比较, 并通过和同构的马尔可夫链的计算结果进行验证, 证明了改进后的Petri网模型准确地描述随机制造单元, 对基于仿真的性能分析方法具有普遍意义。     

Automatic evaluation of air mission routes with respect to combat survival

Aircraft flying in hostile environments are exposed to ground-based air defense systems. It is not always possible to both accomplish the mission and fly outside the range of the enemy’s weapon systems, especially if the positions of the enemy’s systems are not perfectly known. Automatic evaluation of mission routes from a combat survival perspective could therefore aid the pilots to plan their missions. When updated information regarding the positions and capabilities of the enemy’s systems is received during flight, the route could be re-evaluated and the mission could be re-planed or aborted if it is assessed to be too dangerous.The survivability model presented here describes the relation between the aircraft and the enemy’s defense systems. It calculates the probabilities that the aircraft is in certain modes along the route, e.g., undetected, tracked or hit. Contrary to previous work, the model is able to capture that the enemy’s systems can communicate and that the enemy must track the aircraft before firing a weapon. The survivability model is used to calculate an expected cost for the mission route. The expected cost has the attractive properties of summarizing the route into a single value and is able to take the pilot’s risk attitude for the mission into account. The evaluation of the route is influenced by uncertainty regarding the locations of the enemy’s sensors and weapons. Monte Carlo simulations are used to capture this uncertainty by calculating the mean and standard deviation for the expected cost. These two parameters give the pilots an assessment of the danger associated with the route as well as the reliability of this assessment. The paper concludes that evaluating routes with the survivability model and the expected cost could aid the pilots to plan and execute their missions.     

基于Petri网的工作流模型研究与设计

Petri网是一种适合于描述异步并发现象的系统模型,它既有严格的数学定义,又有直观的图形表示。工作流技术作为实现企业过程集成的有效手段,广泛应用于各种场合。本文在简要介绍了Petri网、工作流与工作流模型的理论后．对公文流转中的发文工作流进行了基于脯网的模型设计。     

基于Petri网的RBAC策略验证的研究

本文为RBAC模型提出了一个基于着色Petri网的策略规格说明和分析的架构．Petri网能够捕获基数、责任分离等约束，而且能对优先和依赖约束进行说明、使用Petri网的可达到性分析技术对RBAC策略进行正确性验证．     

基于Petri网的证书生命周期管理流程分析

CA证书管理是PKI网络安全体系实施的关键，它涉及到密钥和证书从创建到撤销的整个过程。文中使用Petri网理论中的库所／变迁系统模型对一个CA证书管理流程进行建模，并用状态可达图理论对其系统的完备性进行了分析与证明。通过该形式化的方法对该系统进行分析，其完备性证明更加直观。     

基于抽样的复杂网络可靠性度量算法

提出了一种基于抽样技术的算法ABS,通过分析从大型复杂网络中抽样所得到的样本网络,推导出大型复杂网络的可靠性度量参数,同时还给出这些参数的 Bootstrap 置信区间.大量的实验表明,ABS 算法在估算大型复杂网络的可靠性度量参数方面是有效的、可行的.     

基于单星可靠度的星座可用性建模仿真

星座是由多颗卫星组成的复杂大系统,各组成单元相互影响、相互制约,共同决定了星座系统的成本和性能。而当前航空航天领域的设计原则已从性能绝对主导的模式逐步转向追求性能、运行费用、可靠性、可维护性等多方面综合平衡。在当前情况下,如何在满足性能要求的前提下最小化系统成本已经成为亟待解决的问题。针对地面备份卫星的补网模式,在分析星座可用性的基础上,通过对单星可靠度和补网卫星发射周期对星座系统可用性的关系进行建模,最后仿真分析得出单星可靠度的变化对星座可用性的影响。     

以四个“抓手”为突破口夯实计算机基础教学向实战化靠拢基础

针对当前院校计算机基础教学存在军事特色不鲜明、教学内容滞后、教学方法单一等问题,围绕军队院校教育要培养能打仗打胜仗合格人才和院校教育要向实战聚焦、向部队靠拢的总要求,提出了计算机基础教学向实战化靠拢教学内容"教什么、练什么"、教学方法"怎么教、如何训"、教学保障"保什么、怎么保"、教员队伍"建什么、怎么建"等基本观点。     

Modeling and characterizing GPGPU reliability in the presence of soft errors

The general-purpose computing on graphic processing units (GPGPUs) becomes increasingly popular due to its high computational throughput for data parallel applications. Modern GPU architectures have limited capability for error detection and fault tolerance since they are originally designed for graphics processing. However, the rigorous execution correctness is required for general-purpose applications, which makes reliability a growing concern in the GPGPU architecture design. With CMOS processing technologies continuously scaling down to the nano-scale, on-chip soft error rate (SER) has been predicted to increase exponentially. GPGPUs with hundreds of cores integrated into a single chip are prone to manifest high SER. This paper explores a first step to model and characterize GPGPU reliability in light of soft errors. We develop GPGPU-SODA (GPGPU SOftware Dependability Analysis), a framework to estimate the soft-error vulnerability of GPGPU microarchitecture. By using GPGPU-SODA, we observe that several microarchitecture structures in GPGPUs exhibit high soft-error susceptibility, and the structure vulnerability is sensitive to the workload characteristics (e.g. branch divergences, memory access pattern). We further investigate the impact of several architectural optimizations on GPU soft-error robustness. For example, we find that increasing the number of threads supported by GPU significantly affects the GPGPU soft-error robustness. However, changing the warp scheduling policy has little impact on the structure vulnerability. The observations made in this study provide designers the useful guidance to build resilient GPGPUs: a comprehensive resiliency solution for GPGPUs should consider the entire GPGPU design instead of solely focusing on a particular structure.     

基于模糊神经Petri网的软件系统可靠性评估方法

针对软件系统可靠性建模难问题,提出了一种新的适用于软件系统可靠性估计的模糊神经Petri网(简称为FNPN).文章首先给出了模糊神经Petri网的定义及其引发规则,然后给出了一种学习算法.该FNPN结合了模糊Petri网和神经网络各自的优点,既可以表示和处理模糊产生式规则的知识库系统又具有学习能力,可通过对样本数据学习调整模型中的参数以获得系统内部的等效结构,从而计算出非样本数据的系统的可靠度.最后用实例分析验证了该方法的可行性.