基于作战单元的装备综合保障仿真评估研究

针对装备综合保障仿真评估中的三个方面的问题,提出了基于装备作战单元的建模方法,说明了针对装备作战单元建立综合保障仿真评估Petri网模型的方法,并给出了两个具体的仿真流程,说明了具体系统实现的方法。最后,以某装备作战单元为例,将获取的该装备的实际保障工作相关数据,按照所建立的仿真模型的输入要求输入仿真模型,根据模型输出数据,对仿真结果进行分析评估。

Abstract：

According to the three problems in simulation of ILS evaluation, the means of modeling, the method of building Petri net model of ILS simulation to the equipment basic combat unit, and the method of building the system were put forward. Taking an equipment as an example, input the actual support data to the simulation model constructed, and then the simulation result was analyzed. It proves that the model is correct and feasible.     

基于Petri网及矩母函数的计划评审技术

针对经典的计划评审技术不允许网络图中存在回路,而且假定所有活动时间服从β分布,使计划评审技术的使用受到限制的问题,通过将双代号网络映射为基于Petri网的模型,建立了既不改变双代号网络原有特性,又允许回路存在的基于Petri网的计划模型.结合Petri网可达图分析方法,在消减可达图的突发状态的基础上,引入矩母函数计算了PERT模型的性能参数.通过计算实例和仿真实验对比验证了该方法可以用于增强计划评审技术.     

面向对象Petri网技术在系统建模中的应用

面向对象Petri网将面向对象技术与Petri网相结合,利用对象的封装及继承等特性,降低了所建立系统模型的结构复杂性,增强了其可重用性和可剪裁性.系统的面向对象Petri网模型(OOPN)由对象模型(OPN)及对象联系模型(OCN)组成,前者描述对象内部的状态变化细节及与外部联系的接口,后者描述系统中各对象间的联系.分析了面向对象Petri网技术在各种复杂系统建模问题中的应用,并以电梯群控系统的建模为例,从电梯群控调度的角度,详细给出了OOPN模型的构建.     

有界Petri网进程表达式与活性的关系

Petri网进程是对Petri网并发语义的一个刻画,是Petri网分析和验证的有效手段.该文针对有界Petri网研究进程表达式和活性性质之间的关系,给出了基于进程表达式的有界Petri网及其同步合成网的活性判定定理.同时研究了进程表达式与虹吸、陷阱间的关系,是Petri网活性研究的一个新的尝试.     

基于双边随机边界模型的新股询价效率实证度量

利用询价制下新股发行价格由发行人、承销商和询价对象等多方力量的博弈共同决定这一特点,本文将折价效应和溢价效应同时纳入到前沿双边随机边界模型框架下对我国IPO的询价效率进行了有效度量。结果表明:2006～2010年,我国IPO公司整体上表现为发行折价,平均折价幅度约为6.4%;进一步的分析发现29.9%的样本公司为溢价发行,实际价格超出其最优水平的5.5%;而70.1%的IPO公司为折价发行,实际价格较其最适水平低了11.5%.本文的研究证实了股票定价的市场化必须以供给市场化为前提,在此基础上供需双方才能通过直接交易和博弈机制形成真正的市场化定价。     

基于Petri网的指挥控制流程仿真方法

作战指挥控制流程是影响军队作战效能的重要因素。从作战指挥控制流程的特点出发,分析了作战指挥控制流程的基本要素,提出了基于Petri网的作战指挥控制流程建模和仿真方法,建立了相应的点火规则和冲突分析算法,设计和开发了作战指挥控制流程仿真环境。通过对作战指挥控制流程的仿真,实现了对流程的定量化分析,为流程的优化和改进提供了决策支持。     

运动想象脑机接口系统的Petri网建模方法

针对脑机接口(BCI)中的共享控制问题,提出一种BCI系统的Petri网建模方法.首先,将共享控制策略与BCI系统的内外部信息相结合,构建运动想象BCI系统的Petri网模型,描述系统的运行状态,分析和改进共享控制策略.然后,加入控制库所描述系统的外部输入,并通过合成Petri网的方法简化Petri网的建模过程.结果表明:所提方法能够正确地演化BCI系统的运行过程,提高BCI系统的适用性,可用于设计、验证和执行共享控制策略.     

着色Petri网的结构展开方法

为提升着色Petri网的设计分析与模型检验能力,讨论了着色Petri网的结构化展开技术.以着色Petri网的令牌单元和绑定单元为基元,通过对着色Petri网展开为普通Petri网的等价性证明,提出了基于着色Petri网关联矩阵和标准元语言的展开规则和规范化步骤.研究结果为着色Petri网到普通Petri网的自动转换过程和着色Petri网验证提供了有力支持.     

一种高可用异构容错系统的混合可用性模型

为解决高可用异构容错系统的可用性评价问题,提出了一种针对高可用异构容错系统的混合可用性评价模型。设计实现异构容错原型系统,包括硬件体系结构框架及软件系统。采用Markov过程与随机Petri网相结合的方式,从可用性量化和系统状态转换两方面构建系统的可用性模型。根据该可用性模型估算系统的高可用指标,并与同构及非容错单机系统进行比较分析。结果表明,该可用性模型能够对异构容错系统进行准确的可用性评价,验证了系统5个9的高可用指标要求。最后总结了影响系统高可用性的主要因素及提升系统可用性的有效方法。     

一种验证软件演化过程行为的代数推导方法

针对现有软件过程验证主要以结构验证和性质验证为主,缺乏行为验证的不足,提出了一种验证软件演化过程行为的代数方法.该方法使用通信进程代数ACP对软件演化过程元模型EPMM进行扩展,提出软件演化过程元模型代数EPMM-A.针对EPMM建模产生的软件演化过程模型,一方面使用EPMM-A形式定义软件演化过程模型的行为规约,另一方面在其公理系统的支持下,基于等式推导验证软件演化过程模型的行为与行为规约是否一致,使行为验证方式从模型推导(非形式化)变为代数推导(形式化).为了说明代数推导的正确性,证明了软件演化过程元模型代数的公理系统具有可靠性.