基于ExSpect的复杂离散事件动态系统建模

随着petri理论与应用研究的不断发展，petri网已经成为离散事件动态系统建模和分析的有力工具。采用petri网对复杂离散事件动态系统进行建模和分析，没有一套科学的建模方法指导和有力的软件支持是不可能实现的。介绍了基于Petri网的可执行的规格说明语言Exspect及其软件，提出了基于Exspect的复杂离散事件动态系统建模的方法，并进行了实例研究。     

航空地面装备维修管理信息系统设计与实现

通过对航空地面装备维修管理系统的建模和对系统的功能分析,提出了采用面向对象的语言Delphi和SQL Server2000开发信息系统的设计方案。     

装备训练网络化实现构想

从装备训练向网络化发展着眼,对装备训练网络化的指导思想、基本原则和特点进行了分析,给出了装备训练网络的总体结构,并就其功能进行了设计。对于我军装备训练网络化的实现具有一定的指导意义。     

基于"综合集成"的装备保障信息化建设构想

本文从综合集成的角度,对装备保障建设进行了分析,提出了装备保障综合集成化的设计思想和建设框架,给出了基于综合集成的顶层设计构想。     

基于ExSpect领域模型库的装备维修机构仿真环境构建

应用可执行规格说明语言及工具Exspect,建立了支持维修机构建模仿真分析的领域模型库.该环境支持下,通过可重用组件的安装和实例化,可显著提高维修机构的建模效率.在模型仿真环境中,可自动运行模型,直观分析系统运行特性,并可进行定量分析,为维修保障建模、仿真提供了实用、高效的技术手段.     

基于可执行规格说明的维修机构建模与仿真

为分析维修机构的性能,采用基于赋时有色Petri网的可执行规格说明语言建立了维修机构模型。模型采用自顶而下逐层分解细化、组件重用和基于状态的Petri网建模方法,对维修机构进行维修资源分析,并对动态组成维修小组和维修过程的系统状态变化过程进行了详细描述,准确反映了维修机构的维修等待和资源竞争现象,同时将定量关系嵌入到描述模型中。通过模型执行,以动画显示系统状态的变化,分析系统性能。最后给出了一个建模与仿真实例。实例表明,基于可执行规格说明建模和仿真方法是研究维修机构运行的有效工具。     

太阳热水器与建筑一体化的新技术——水管集中保温引管系统与可调节热水器就位桥架

技术概论：太阳热水器水管集中保温引管系统和热水器就位桥架是为解决目前太阳热水器应用过程中存在的问题而开发的两项新技术。 可调节热水器就位桥架主要由立柱、横梁、滑杆构成。三者通过不同功能的金属构件装配而成，并且固定在楼房顶部。它能实现上下、左右、前后六个方向连续调节移位，     

阶段任务系统可靠性建模及仿真研究

阶段任务系统(PMS)是一种典型的复杂系统,包含了一系列具有时间连续且不相互覆盖的基本任务阶段,对其系统可靠性的评估是一项复杂的工作,国外已经开展了20多年。在对PMS的几种可靠性模型进行了讨论和分析的基础上,从系统效能的角度出发,从理论上给出了一种新的评估各阶段转换时间随机的PMS系统可靠性的模型,并通过计算机仿真进行了大量次的计算,最后对仿真结果进行了分析。     

基于Petri网的作战单元状态模型及可用性分析

以作战单元为整体研究其可用性具有重要意义.提出了作战单元可用性分析的Petri网建模方法,建立了不同基本任务可靠性关系下的系统状态Petri网模型和以此为基础的复杂任务关系模型.研究了复杂维修保障过程模型的简化分析方法,推导了简单GSPN模型的可用度解析算法.最后,应用实例对模型的解析方法进行了验证.     

复杂系统使用任务完成概率模型

研究了任务期间允许换件修理时复杂系统的使用任务完成能力。对武器系统的使用任务进行分类。利用马尔可夫过程分析部件系统在特定维修保障策略下的状态转移过程,以部件系统固定任务时间内在正常状态停留时间的分布函数作为其任务完成概率模型,并通过全概率分解对任务完成概率进行求解。通过分析任务期间部件系统、装备、武器系统三者之间的任务可靠性关系进而得到复杂系统的任务完成概率。最后,运用数值计算的方法绘制了复杂系统任务完成概率随任务时间和工作量的变化曲线,讨论并分析了任务时间对任务完成概率的影响。