面向复杂仿真因果追溯的行为建模方法

基于行为建模的因果追溯方法是解决复杂仿真分析中因果关系追溯问题的一种思想。该思想依据仿真系统运行结果数据,重新构建描述因果关系的行为模型,并基于这些行为模型进行因果追溯。为了建立良好有效的行为模型支持追溯,首先介绍了因果关系的概念及其结构描述;然后将追溯划分为三个层次:系统表层、系统深层以及组合层,最后选取事件图行为模型为基本模型,按照这些层次分别对其进行扩展,从而获得不同层次的行为建模方法支持因果关系的描述和建模。     

集装箱码头物流运营系统通用性仿真建模共性抽象研究

共性抽象是通用性仿真建模的必经过程和基础。提出一种创新的共性抽象方法为基于离散事件动态系统的集装箱码头物流运营系统通用性仿真建模提供一个较为清晰的全貌、框架和体系。首先以辩识该系统仿真建模的关键性问题为突破,构建共性抽象的对象和核心元素;继而通过高度提炼和概括,抽象通用性的基本属性和特征,并建立相应的基于离散事件动态系统的人为规则;然后按照人为规则将共性抽象的基本元素抽象为逻辑元素和实体元素,并设计为相应的标准化图例集以系统地描述共性抽象,既可提供给程序设计人员对程序逻辑进行建模,也可提供给非程序设计人员对业务过程进行建模;最后通过对洋山深水港一期集装箱码头仿真实验,验证所提出的共性抽象方法的有效性。     

第三方智能决策代理决策行为模型研究与实现

采用ABM（Agent-based modeling）建模方法，通过构建Agent个体和群体行为模型，构建危机事件中模拟第三方国家的MAS系统。它立足于对第三方国家战略决策历史行为数据进行分析，试图得到一些关于国家决策行为的规律性结论。该模型的原型系统已经应用于某大型战略综合模拟系统中。     

模型驱动的危机事件快速建模与分析方法

以2015年底俄土战机冲突事件为例,建立了基于模型驱动方法的快速建模与仿真分析框架,为类似军事冲突及争端事件应急判断提供快速建模与决策分析支持。通过场景建模、可执行逻辑分析和可视化仿真技术分别对危机事件进行静态结构建模、动态行为分析以及场景仿真验证。同时,利用具有自主知识产权的支持快速元模型定制的多视图建模工具ModelLink,与第三方分析与仿真工具集成,形成了以ModelLink为输入的跨平台模型自动生成、分析与互操作的分析链路,支持快速参数变更、直观可视化行为调整的敏捷响应。面向俄土战机事件,利用俄土双方及第三方关于事件细节的开源信息,构建了两种基本场景模型,通过对比不同方案的可执行逻辑分析以及仿真过程参数分析结果,校验了双方在事件声明中细节的合理性与真实性,同时支持后续不断补充开源信息后的模型调整与快速结论生成,具有很好的实用性。     

LU分解在众核结构仿真器上的指令级调度研究

随着集成电路工艺的发展,众核处理器体系结构逐渐成为计算机体系结构设计者的研究热点。众核体系结构通过任务级的并行来提升整个处理器的性能。然而,指令级的并行性仍然是众核设计者需要认真考虑的问题。对浮点运算效率和加速比进行了形式化描述,验证了进行指令级调度的必要性。对处理器核内流水线进行详细分析,指出了指令级调度的一般性问题。提出了在众核结构上使用指令级调度和软件流水的方法。针对Splash2程序集里的LU分解算法,使用众核结构的硬件支持,在Scratched Pad Memory（SPM）上给出了调度指令的方案。在众核仿真器Godson-T上仿真了经过指令级调度后的算法,当使用64个线程处理512×512的矩阵时,程序性能达到调度前性能的4倍。     

一种多分辨率仿真模型构建方法

针对人在回路仿真推演中高层级指挥员下达作战任务与仿真系统模型指令之间的分辨率鸿沟，提出了一种基于行为树的多分辨率模型构建方法。通过改进行为树语法，实现了低分辨率作战任务解聚为高分辨率仿真系统指令；通过设计嵌入行为树的决策模型，解决了模型指令执行过程中面临的资源不确定性、执行效果不确定性问题。设计了夺取制空权作战场景，验证该方法的有效性。     

复杂电磁环境仿真试验体系的模型验证方法研究

依据无人飞行器复杂电磁环境适应性能力试验验证评估需求,提出了"一条主线、两级仿真、三个层次、分层仿真、综合评估"的复杂电磁环境抗干扰仿真试验体系。其中"一条主线"是指紧扣应用需求,坚持仿真全过程的模型校核、验证和确认(VV&A)开展仿真;"两级仿真"是从建模与仿真的角度出发,建立交战级(系统级)和工程级(部件级)两级仿真,向上可以支撑任务级(体系级)仿真系统仿真模型的建模与验模;"三个层次"是指探测设备的仿真模型粒度分为信号级仿真模型、介于信号模型与功能仿真模型之间的模型、功能仿真模型三个层级;"综合评估"是对"两级三层次"试验得到的关于对抗进程和结果的数据进行综合处理,对复杂环境下某型装备抗干扰能力进行综合性评估。在此基础上,详细阐述了复杂电磁环境仿真试验体系的模型验证方案,并且提出了信号级、功能级仿真系统的模型验证方法及其实施步骤,为复杂电磁环境下仿真试验体系的模型验证工作提供有效的技术支撑。     

基于参数估计的层次诊断模型研究及应用

针对大型系统多故障诊断的复杂性,提出利用抽象技术建立的简化层次模型进行诊断。把抽象技术分为结构抽象和行为抽象,结构抽象建立在系统的描述方法之上,采用的行为抽象技术为Box-Jenkins建模方法(B-J法)的参数模型。介绍了层次模型的一种形式化方式-抽象树的建立方法。利用不同层次的参数模型参数值序列之间的变化关系并采用由上至下的分层诊断策略进行故障诊断。仿真实例的结果表明减少了计算量,提高了诊断效率。     

周期级精确的微体系结构模拟器开发环境

为了提高开发高精度微体系结构模拟器的效率,设计了一种微体系结构模拟器开发环境uArch IDE。uArch IDE对处理器中的信号传递以及执行块进行抽象,通过调度算法模拟处理器硬件的并行行为。uArch IDE将模拟算法与用户自定义微体系结构相互独立使得开发环境与体系结构无关,并通过分析模拟器运行特征优化了在uArch IDE中开发的模拟器的执行效率。以MIPS 32处理器作为测试用例,uArch IDE生成的模拟器与Verilog建立的前仿模型进行比较,模拟器在模拟精度上达到周期级准确,模拟速度是后者的123倍。     

联邦对象模型与仿真对象模型开发过程建模

在基于高层体系结构(HLA)的分布仿真系统开发过程中,需要对仿真系统中的交互数据进行建模和抽象,以便生成FOM和SOM,保证联邦执行的正确运行。提出了综合开发联邦对象模型(FOM)和仿真对象模型(SOM)的七个步骤,并对各个步骤所完成的任务进行了详细的定义。这些步骤包括:对仿真任务中的实体和事件类型进行抽象和建模;分解仿真任务,确定联邦成员及其仿真的实体和事件类型;确定FOM中的对象类和交互类;生成SOM草案;综合SOM草案,生成FOM;确定FOM中的路由空间,生成正式的FOM;生成正式的SOM。     

Joint analysis of recurrent event data with a dependent terminal event

Recurrent event data frequently occur in many longitudinal studies, and the observation on recurrent events could be stopped by a terminal event such as death. This paper considers joint modeling and analysis of recurrent event and terminal event data through a common subject-specific frailty, in which the proportional intensity model is used for modeling the recurrent event process and the additive hazards model is used for modeling the terminal event time. Estimating equation approaches are developed for parameter estimation and asymptotic properties of the resulting estimators are established. In addition, some procedures are presented for model checking. The finite sample behavior of the proposed estimators is evaluated through simulation studies, and an application to a heart failure study is provided.     

制造系统的建模方法

本文阐述了基于ＣＩＭ－ＯＳＡ框架的集成化制造系统模。它的建模框架基于一个集成模型的四个建模视图：功能视图、信息视图、资源视图和组织视图。功能视图是以围绕中心的四个基本结构的建模方法来建立制造系统的功能与行为模型，四个基本结构分别是：事件、过程、作业和操作；信息视图是基于结构化的面向对象的模型以信息元素、对象视图和企业对象的形式表述事务数据与信息；资源视图描述制造系统的被动的和主动的资源；组织视图定义模型不同部分的责任和权力，以及以组织单元、组织细胞表示的结构。     

一种基于离散事件系统规范的复杂产品行为模型描述方法

基于离散事件系统规范(discrete event system specification,DEVS)的多分辨率形式化描述具有层次化、结构化的描述能力,但对模块内部智能行为描述相对匮乏,而基于Agent的建模可以刻画个体的感知行为、通信协作和学习进化.在多分辨率建模框架下,结合DEVS和Agent模型描述以提供对事件...     

一个水下多目标识别系统的主动式黑板模型

本文根据水下多目标系统的特殊要求，提出了一种主动式的黑板模型。讨论了增加事件处理器和事件规则实现主动性，还提出了可视性黑板和多层视图的概念，以满足监测的要求。     

基于面向对象Petri网的电梯群控系统建模

电梯群控系统是一种典型的离散事件动态系统,这体现在乘客到达的起始层、目的层和到达时间的随机性,所以,很难用一个传统的数学模型表达式来表示。提出了一种应用面向对象Petri网对该系统进行建模的方法,该方法在对电梯运行情况充分研究的基础上,分别建立电梯运行和电梯控制器Petri网模型,从而构造电梯群控系统模型。该建模方法不仅适用于电梯群控系统,而且适用于其它离散事件动态系统。     

YH-PBDE的SoC系统建模与仿真技术研究

提出了基于约束任务流图模型的SoC系统建模与仿真方法,并在自行开发的软硬件协同设计环境YH-PBDE中实现了SoC系统建模与仿真工具。该工具能够在算法级准确的对SoC系统行为进行描述,对SoC系统进行功能验证和初步性能分析,并很好的支持系统模型模版的复用。数字化士兵音视频解码与播放器SoC的设计实例表明:这种SoC系统建模仿真方法保证了开发正确性,缩短了开发周期,取得了良好效果。     

描述离散动态系统的集合标识Petri网:STPNs

基于经典Petri网,进行了标识和语义扩展,定义了集合标识Petri网(Set-TokenSPetriNets,STPNs).在定义STPNs时,构造了携带属性集合的抽象的信息标识,称为集合标识;将大规模个体按照属性层次分组,每组作为一个元素定义在属性集合中,解决了Petri网规模随着标识规模的增大而膨胀的矛盾.在语义上,进行了控制结点、路由结点、通讯弧和结点时间延迟以及针对集合标识的集合运算和结点函数等扩展.STPNs增强了Petri网描述离散事件动态系统(DEDS)的随机特性和控制特性的能力,能够作为用仿真技术研究大规模DEDS的有效建模工具.     

基于多核平台的乐观并行离散事件仿真

计算机处理器的发展已进入多核时代,为并行离散事件仿真的推广提供了良好的契机。分析了离散事件仿真多核并行化的并行编程模型及时间同步问题,采用乐观同步协议设计实现了一个基于多核平台的并行离散事件仿真引擎。在具有8个执行核的惠普多核服务器上,使用Phold模型系统地测试了并行仿真引擎的各项开销以及事件粒度、进程数目、前瞻量、事件的本地性对仿真性能的影响。实验结果表明,对于事件粒度较大的仿真应用,基于多核平台的乐观并行离散事件仿真能获得良好的加速比。     

基于Agent的体系对抗仿真建模方法研究

面向信息化战争的武器装备体系对抗仿真，从复杂系统建模的角度对传统系统仿真建模方法提出了严峻挑战。因此，需要以CAS理论为依据，研究新的武器装备体系对抗仿真建模方法，以适应信息化战争模拟的需要。为此，我们在分析体系对抗仿真需求的基础上，从基于Agent的体系对抗仿真建模概念、仿真建模概念框架、仿真建模策略，基于Agent的体系整体“涌现”行为建模等问题入手，探讨了基于Agent的体系对抗仿真建模方法问题，并结合体系对抗仿真实验，研究了基于Agent的实体行为建模、实体交互建模和实体模型结构，提出了基于Agent的体系整体“涌现”行为建模思想和建模规范。