基于Petri网的行为建模在舰艇CGF中的应用研究

给出行为建模的一种方法,即基于Petri网的行为建模。首先介绍了Petri网的建模原理,并给出了Petri网实现CGF行为建模的一般过程,对Petri网行为模型的框架、实现方法和具体算法进行阐述。结合水面舰艇的作战特点,通过Petri网实现水面舰艇CGF的行为建模,并以水面舰艇机动CGF为例,详细描述其应用过程,该方法在实际应用中表现出良好的作用。     

飞行作战任务过程的工作流网模型

建立飞行作战任务过程模型是综合运用态势评估、故障诊断等技术设计新一代智能座舱的基础,同时也可应用于飞行员的行为预测及评估。本文以战术轰炸任务为例,介绍了工作流网技术在飞行作战任务建模上的应用。针对传统Petri网不能体现态势变化对飞行员行为的影响,本文设计了带非齐次弧的分层Petri网应用于战术轰炸任务过程的工作流网建模中,使子网变迁的平均实施速率可以随着航线状态的变化而变化,同时给出了利用可达性定理证明工作流网合理性的方法。在子网中,设计了变λ随机Petri网应用于飞行员执行任务过程的建模中,并利用该模型分析了飞行员的稳定工作状态,为飞行员行为预测、评估建立基础。     

基于IDEF0模型的Petri网间接建模方法研究

通过对IDEF0和Petri网两种建模方法分析与对比,表明基于Petri网建模可以解决IDEF0方法在模型的动态性、完备性和方法连贯性方面存在的问题;提出IDEF0模型到Petri网模型的转换思路和基本转换方法,以一个信息管理模块为例实现模型转换,在此基础上提出了改进策略.研究结果有助于以Petri网为统一工具实现系统建模与开发,为解决当前系统开发遇到的问题提供一种新的途径.     

BitTorrent协议的Petri网建模方法研究

BitTorrent协议被大规模文件共享、视频点播等P2P应用所广泛采用,但其交互行为复杂且并发度高,难以构建规模适度的形式模型以支持高效可行的协议功能行为分析。基于着色Petri网提出一种BitTorrent协议分层建模方法,给出协议的着色Petn网层次模型,集戍模拟、状态空间分析与模型检验等方法对模型的不同抽象层进行分析。确认协议模型有效性,并验证协议行为满足协议需求。BitTorrent协议的着色Petri网层次模型不但为协议开发提供准确、直观的形式规范说明,而且便于协议行为模拟和协议属性分析,有效缓解大规模系统建模分析过程中存在的状态爆炸问题。     

基于多色Petri网的产品开发过程建模

为了更好地描述产品开发过程,支持产品开发过程管理和优化,提出了一种基于多色Petri网(PolyPN)的产品开发过程建模方法.将多色图理论的着色思想融入Petri网中,形成了多色Petri网;结合产品开发ProA递阶分解,给出了构建产品开发多色Petri网过程模型的层次化方法;在此基础上,以汽车油泵单项阀测试器的开发为例进行了建模和仿真分析.     

Petri网的分层递归模型

Petri网的分层模型是应用Petri网对复杂系统建模时的一种常用手段.在传统的Petri网分层模型中,是不考虑递归的.这样的分层模型虽然为系统的建模和分析带来方便,但并增强模拟能力.在分层模型中引入递归的概念,可以使系统的模拟能力增强.可以证明,任意一个上下文无关语言都可以被一个分层递归Petri网识别.     

基于工序排队的RCC坝施工Petri网耦合模型仿真

在分析了碾压混凝土施工系统的特点基础上,针对碾压混凝土施工系统的复杂和动态离散特性,建立碾压混凝土施工工序排队网络和Petri网模型,将排队模型嵌入Petri网,为Petri网模型提供有效Token和时间约束,耦合生成施工过程的Petri网模型.该建模方法有效地克服了单一排队模型表达能力不足和单一Petri网仿真建模复杂性.通过工程实例验证了该建模方法大大简化Petri网建模过程,提高Petri网针对性和分析效率.     

信息物理融合系统可信软件形式化建模与分析

从多Agent系统的角度,以Petri网和π演算为语义基础,建立了一种信息物理融合系统（cyber-physical systems,CPS）可信软件形式化模型（high-confidence software formal model,HCSFM）. HCSFM以Petri网形象地描述CPS可信软件静态结构模型及动态行为,用Petri网分析方法和支持工具对模型进行分析和验证; 利用π演算刻画CPS可信软件中Agent的加入、退出、更新和体系结构重配置等动态演化机制,并研究Agent的演化策略及演化后CPS的一致性,确保动态演化后CPS软件能正常交互,从而为CPS软件设计提供可信保障. 通过HCSFM在无人驾驶车辆编队CPS中的应用,表明HCSFM可以有效地对CPS可信软件进行建模和分析.     

基于IDEFO模型的Petri网间接建模方法研究

通过对IDEF0和Petri网两种建模方法分析与对比，表明基于Petri网建模可以解决IDEF0方法在模型的动态性、完备性和方法连贯性方面存在的问题；提出IDEF0模型到Petri网模型的转换思路和基本转换方法，以一个信息管理模块为例实现模型转换，在此基础上提出了改进策略。研究结果有助于以Petri网为统一工具实现系统建模与开发，为解决当前系统开发遇到的问题提供一种新的途径。     

制造过程不确定质量异常诊断的Stateflow方法

模糊推理Petri网可以对制造过程不确定质量异常诊断进行有效建模, 但其复杂的图形表示及模糊推理逻辑结构使模型难于进行仿真分析. 通过建立模糊推理规则与Stateflow元素之间的映射关系, 将模糊推理Petri网模型转换为便于仿真的Stateflow模型, 模型以质量控制图异常模式数据作为输入, 实现不确定质量异常诊断过程的动态展示. 某工件加工过程不确定质量异常诊断的仿真结果表明, 模型可以输出引发控制图实时异常的异常原因的贡献度, 为异常消除提供决策支持.     

THE 8~(th) INTERNATIONAL CONGRESS ON INDUSTRIAL AND APPLIED MATHEMATICS

正August 10-14,2015Beijing,ChinaThe International Congress on Industrial and Applied Mathematics(ICIAM)is the premier international congress in the field of applied mathematics held every four years under the auspices of the International Council for Industrial and Applied Mathematics.From August 10 to 14,2015,mathematicians,scientists     

2014 List of Referees

正~~     

《Journal of Systems Science and Systems Engineering》Contents of Volume 23,2014

正~~     

TSINGHUA UNIVERSITY,Beijing, China

正AF:Any Field The School of Economics and Management at Tsinghua University(Tsinghua SEM)invites applications for faculty positions at all levels(Assistant Professor,Associate Professor and Full Professor)in any fields of business administration and management.Tsinghua SEM is the only school     

Call for Papers The 12th International Conference on Service Systems and Service Management ICSSSM'15

正June 22-24,2015Guangzhou,China http://iec.cnsba.com/index.htmlCo-Sponsored by:ffiEE SMC(pending)South China University of Technology The Chinese University of Hong Kong Tsinghua UniversityHosted bv:School of Business Administration,South China University of Technology,China Conference Co-Chairs:     

The 12th International Conference on Service Systems and Service Management ICSSSM'15

正~~