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

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

生产物流系统交互性层次仿真方法研究

在交互式仿真对生产物流系统的分析过程中往往需要借助于虚拟现实技术和仿真与可视化的同步计算能力。虽然高分辨率模型能够更加精确的描述实际系统的行为，但是随着仿真模型复杂度的增加，整个仿真系统需要运行在高分辨率的条件下，导致计算机计算负荷增大，计算能力成为瓶颈。在虚拟环境下对生产物流系统进行交互式仿真分析要求仿真和可视化的实时性。基于层次建模和多分辨率仿真技术，提出了一种新的生产物流系统交互式仿真方法，并以汽车生产物流系统为例，开发了原型系统，验证了新方法的有效性。     

基于UML-ARENA的建模与仿真方法研究

为开发出便于复用、扩展的离散事件仿真系统,提出了一种新的建模与仿真方法——UML-ARE-NA。该方法利用统一建模语言UML对系统建模,利用仿真软件ARENA对所建模型进行仿真。该方法不仅规定了仿真系统的开发步骤,还设计了对象模型转换规则以及ARENA映射规则。整个开发过程分为建模与仿真两个阶段。在建模阶段,首先通过对系统进行概念分析,设计出系统的功能模型和动态模型。然后利用对象模型转换规则将功能模型和动态模型转化为对象模型。在仿真阶段,利用ARENA映射规则将对象模型转化为ARE-NA仿真程序。通过飞行保障过程的一个仿真实例对该方法的有效性进行了检验。     

基于SMP2的网络化反导防御仿真系统设计与实现

网络化反导防御系统的作战特点,对其仿真系统的模型框架及建模规范提出了新的需求.引入联合作战指挥中心JOCC与公共作战图像COP模型,设计了其体系结构和模型概念框架.基于仿真模型可移植性标准(SMP2)对仿真系统进行设计与实现,讨论了模型设计、开发、装配集成与想定编辑以及仿真实验与数据记录等关键功能的实现.最后通过实例证明了模型框架的有效性及基于SMP2开发网络化作战系统的可行性和优越性.     

CTCS-3级列控系统临时限速服务器建模与形式化验证

临时限速服务器是CTCS-3级列控系统的重要组成部分,其系统安全性直接影响到高速铁路的运营安全.在TSRS系统研发过程中需对系统进行仿真建模和验证,发现系统设计错误,以保证系统的安全性.分析CTCS-3级列控系统临时限速服务器的组成结构,提取系统功能和性能规范约束,利用消息顺序图对TSRS与外部系统之间的信息交互行为建模,并将系统MSC模型转化为UPPAAL中的时间自动机仿真模型,对系统的功能和性能要求进行形式化验证.验证结果确认了系统的安全性和受限活性,为进一步完善TSRS设计和系统开发提供参考.     

基于UML的仿真系统验证方法研究

仿真系统的VV&A一直是仿真领域研究的热点,其目的在于提高仿真系统的可信度.目前,关于仿真系统的验证方法研究都是偏向于某个侧面,缺少对仿真系统的开发全过程进行验证的方法,导致系统的验证与开发衔接不紧密,影响验证方法的实际使用.现代仿真系统主要采用面向对象思想设计开发,UML是面向对象仿真中不可或缺的一个建模仿真工具.根据仿真系统开发过程,将仿真系统开发过程中形成的UML图用于对仿真系统的验证中,使验证覆盖仿真系统开发的全过程,增强了系统开发和验证的连贯性,并通过对实际系统的验证,检验了所提出方法的可行性.     

复杂物流系统仿真及其研究现状

复杂物流系统是一个由若干个制造商、若干个批发商和若干个零售商组成的网状物流链。本文给出了复杂物流系统的结构，分析了复杂物流系统仿真的研究现状，并提出了CLSim的总体结构，同时指出了复杂物流系统仿真研究的三个问题：（1）复杂物流系统中的不确定性建模，（2）复杂物流系统仿真模型设计与实现，包括仿真策略选择、仿真模型构造及仿真程序设计与实现三个方面，（3）复杂物流系统控制。     

基于HLA的仿真系统模型研究

在基于HLA的仿真系统开发中,设计和建立HLA仿真系统的各种模型是促进仿真互操作和仿真组件重用的关键过程,模型问题是整个HLA联邦开发的核心问题。在提炼了HLA仿真系统建模过程的基础上,提出了改进的基于HLA的仿真系统开发模型体系,并总结了概念模型、对象模型和仿真模型的开发方法和过程,为各模型的快速、规范化开发打下了基础,并能够缩短基于HLA的仿真系统的开发周期,提高建模与仿真的效率。     

基于键图的电机伺服系统的建模与仿真

研究电机伺服系统的键图建模方法。使用20-sim软件建立了系统动力部分的键图模型，并使用SIDOPS 语言建立了控制器的模型，对电机伺服系统的阶跃响应和启动过程进行仿真。仿真结果表明，键图建模方法适用于多能量范畴的复杂机电系统的设计与分析。     

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

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

基于UML的飞机维修保障仿真研究

统一建模语言(UML)是一种基于面向对象技术的标准建模语言,其不仅可以在软件开发过程中使用,也可在复杂系统仿真中应用。参照面向对象Petri网的建模过程,提出了一种基于UML的仿真建模方法,通过UML状态视图描述各个仿真实体的状态变化,使用顺序图描述消息交互的时间性,并通过协作图连接各个仿真实体。文中将该方法应用于飞机的维修保障仿真过程,并根据所建立的仿真模型,对仿真系统进行了实现,得到了较好的效果。     

基于RUP的城轨列车运行控制仿真系统设计和实现

作为城市轨道交通列车运行控制系统研究的重要辅助工具,列车运行控制系统仿真系统的开发将对研究工作给予最大程度上的促进.文章从仿真软件的功能需求出发,着重阐述了基于Rational统一过程RUP对仿真系统进行开发的详细过程.使用这种方法将仿真软件的开发分成了四个阶段,在每个阶段中有效地使用UML建模语言和Rose可视化建模工具辅助开发过程.在仿真系统之上,运用列车、线路等模型对列车的运行仿真,对控车策略进行测试,并完成了运行数据的分析评估.     

基于UML的管道虚拟仿真系统设计

基于面向对象开发过程，构造了管道虚拟仿真系统总体框架，建立了管道虚拟仿真应用子系统的需求分析与系统设计UML模型。从管道虚拟仿真系统OOA到OOD阶段，分别体现了软件复用的特点，能够实现在可复用的UML模型基础上进行过程工业的管道虚拟仿真系统开发。模型可重用性好，已得到实际应用验证。     

基于Agent的分布仿真环境原型设计与实现

基于Agent的分布仿真是基于Agent的建模与仿真(ABMS)研究的重要内容。在提出的基于Agent的分布仿真软件框架和通信系统的基础上,利用Java语言和面向对象的方法实现了一个基于Agent的分布仿真环境原型系统ADSimE。对该分布式仿真环境的主要实现细节进行了阐述,给出了全系统的主要Agent类的UML设计图,重点阐述了保守策略仿真Agent类和乐观策略仿真Agent类的设计及处理流程。最后以闭合排队网络为例,说明了怎样在该环境下进行基于Agent的分布仿真应用的开发。     

机载预警雷达探测过程UML建模与系统实现

利用统一建模语言UML建立了机载预警雷达系统目标探测跟踪过程模型, 包括预警探测系统的用例图、静态实体图、协作图以及配置图. 仿真系统采用基于消息驱动的离散事件仿真方法, 以消息中心作为分布式环境中的消息中间件(message queue, MQ), 并详细设计了预警雷达目标探测与跟踪过程的消息流程. 系统开发实践表明: 系统结构设计合理, 软件可扩展性强, 可移置性强, 具有高内聚性、低耦合性、稳定性好、系统对硬件平台要求相对较低的特点.     

钢包调度仿真软件包的设计与实现

钢包的优化配备对于钢铁生产过程中的节能，降耗起着重要的作用。针对钢包调度过程的复杂性，难于建立精确数学模型的特点，从钢包调度专家经验中提取钢包选配规则，建立钢包优化配备的优先级，基于规则和优先级混合编制策略开发了钢包调度仿真软件包，讨论了其结构和功能。为方便现场调度专家随时监控钢包的行为，开发了可视化钢包动态模拟画面，利用在线数据，进行离线仿真。经某钢厂在线测试结果表明：该软件可以提高钢包计划编制的精度，减少钢包在线调整的次数，充分利用红包以达到了节能、降耗的作用，为进一步在工程上应用奠定一定的基础。     

基于ARENA的UML建模及其在飞行保障中的应用

航空兵场站飞行保障是一个复杂的动态过程.结合Arena与UML两种工具的优点,利用UML建立了航空兵场站飞行保障过程模型,包括飞行保障过程的类图、状态图和活动图.并构建了CMV (模型-视图-控制)仿真软件架构.并对CMV进行了详细阐述.利用Arena对CMV架构进行了程序实现.按照主动保障和被动保障两种策略分别对UML模型进行了仿真.仿真结果表明,在现有保障装备的基础上,通过优化保障流程可以较大的提高场站的飞行保障效能.     

基于MDA的空军作战仿真系统开发模式研究

空军作战仿真系统是在模型驱动架构(ModelDrivenArchitecture,MDA)之上构建的一个复杂仿真系统。在系统的设计实现过程中综合运用了MDA和软件工程的思想。结合实现过程,提出了基于MDA的空军作战仿真系统的开发模式,重点讨论了空军作战仿真系统的分析和设计过程,详述了用UML图表示的空军作战仿真系统的平台无关模型(PlatformIndependentModel,PIM)。利用MDA开发模式,提高了空军作战仿真系统的开发效率,保证了整个仿真系统的一致性。     

铁水调度仿真系统的设计与实现

现代钢铁企业中,铁水物流过程工艺复杂、设备众多,对铁水调度进行研究具有重要的理论意义及实际应用价值。在对铁水物流过程及铁水调度问题进行描述的基础上,提出了铁水调度的仿真策略,开发了基于可视化的图形化编辑器平台的铁水调度仿真系统,介绍了仿真系统的总体框架,应用离散事件仿真方法对铁水物流过程进行了仿真,并对扰动事件的模拟与识别模型、扰动的动态调整方法进行了研究。描述了仿真系统的软件结构及功能。应用国内某大型钢铁企业生产现场的实际数据进行了仿真实验。仿真结果表明了所开发的铁水调度仿真系统的有效性,为深入研究铁水调度的智能优化算法提供了可视化的仿真实验平台,并为进一步在实际生产中应用奠定了基础。     

城轨列控系统仿真平台中联锁站的设计和实现

分析了联锁站仿真系统在城市轨道交通列车运行控制系统仿真平台中的作用。以面向对象的软件工程为基础,运用UML语言阐述联锁站仿真系统的功能需求、总体设计、详细设计、编程和实现的过程并利用CASE工具建立系统设计不同阶段的可视化模型。通过编程实现,验证了模型的正确性和分析方法的有效性。采用这种方法对仿真系统进行设计,优化了开发过程,提高了软件设计的质量和效率。