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

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

面向非计划维修停机时间分析的装备维修过程有色Petri网模型

在总结装备非计划维修过程特点的基础上,进行了非计划停机时间组成及影响因素分析。采用有色Petri网建立了多类任务并行维修的过程模型,实现了维修资源动态组合和服务台数量动态变化的形式化建模。结合维修任务生成模型,实现了装备非计划维修停机时间分析功能,最后进行了实例研究。

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

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

基于赋时有色petri网的维修过程模型

维修过程模型是研究维修保障系统结构与运行的基础。petri网模型具有直观、形象的优点,又是严格定义的数学对象,既可用于静态的结构分析,又可用于动态的行为分析,具有灵活的建模和强大的系统性能分析能力,是描述维修过程的有力工具。该文介绍了petri网方法的有关概念、特性。假定了典型的维修资源配置环境,对维修资源进行了分类。描述了典型的维修过程,应用赋时着色Petri网建立了维修过程的petri网模型。文章最后讨论了模型的应用。

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

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

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

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

基于Petri网的维修资源运用策略

维修资源运用策略研究对于提高维修性能具有重要意义。分析了装备维修过程中的资源冲突和任务优先顺序、资源分配策略、并行任务共享资源及交叉维修等资源运用策略。采用Petri网建立了系统模型,运用变迁使能优先级、抑制弧、可实施谓词等Petri网冲突解决方法实现不同资源运用策略建模。应用模型进行了典型案例的资源运用策略研究,实例体现了资源运用策略对装备停机时间等指标的影响。模型为提高维修资源运用效率提供了可行的技术途径。

基于ActiveX技术的RCM维修间隔期分析软件设计与实现

基于装备综合保障工作平台总体框架,分析了RCM分析工具的功能需求与约束。应用ActiveX技术开发了RCM维修间隔期分析软件,用于分析各种预防性维修工作类型的安全性、任务性和经济性效果,实现了与装备综合保障工作平台的无缝集成。

维修机构Petri网建模方法研究

在分析维修机构的任务、过程和资源等建模要素的基础上,提出了面向任务的维修机构性能建模框架。分析比较了离散事件系统建模方法,提出了Petri网在维修机构建模中的优势。研究了维修机构基本建模元素的Petri网实现方法和系统冲突的三种消解策略,包括变迁优先级、可实施谓词和随机开关。为提高建模效率和简化模型结构,提出了系统合成、逐步求精和逐步抽象相结合的Petri网系统建模方法,研究了模型的解析和仿真分析方法。该方法满足维修机构形式化描述和定量性能分析的需要,可进行维修保障效果分析与优化。

维修机构性能评价参数体系

研究了维修机构性能概念的内涵,从时间、装备层次和任务类型3个维度研究了维修机构性能的外延,构建了维修机构性能参数体系.

基于ExSpect的维修过程建模与仿真研究

应用ExSpect语言,采用自上而下的系统分析方法,建立了反映产品维修过程中的资源竞争、并发和同步关系的Petri网模型.最后进行了仿真实例研究和分析.

无优先权维修活动及其Petri网建模

为准确描述装备维修过程中的活动关系,提出了维修过程中无优先权活动关系的概念,并对比分析了其与传统维修活动关系的异同。应用Petri网建立了考虑资源约束的无优先权拆卸和无优先权维修过程模型,采用Petri网进程分析了模型的运行特点。应用模型对某装备维修过程进行了分析,验证了无优先权活动对维修过程的影响。

装备保障系统信息化评价指标体系研究

在分析装备保障系统信息化特点的基础上,确定了建立评价指标体系的原则,建立了从信息化组织建设、信息基础设施和系统应用信息化程度三个方面分析,包含30个评价指标的装备保障系统信息化评价指标体系.

装备基本任务单元可用度Petri网仿真模型及应用

提出了装备基本任务单元可用度建模方法,建立了基于使能延迟机制的Petri网理论模型。基于ExSpect(executable specification tool)仿真语言的托肯时间戳延迟机制,通过模型转换建立了基本任务单元可用度分析仿真模型。应用模型研究了作战任务要求和维修力量配置对基本任务单元可用度的影响,分析了基本任务单元与单装可用度分析的差异,揭示了导致不同层次可用度综合差异的内在机理。结果表明,模型形象、直观,物理意义明确,具有通用性和可拓展性,是装备基本任务单元可用度分析的有力工具。

基于仿真的装备维修保障力量配置优化

装备维修保障力量的优化配置对于充分发挥维修保障效益、提高装备完好率具有重要意义。在分析界定装备维修保障力量配置问题的基础上,采用通用仿真语言建立了支持分析决策的仿真模型。实例分析表明维修力量最优配置是各区域的故障装备产生速率、后送运输时间等方面因素综合作用的结果,仿真程序可反映各项因素的定量关系。

基于ExSpect的维修保障联邦成员开发

分析了ExSpect的建模方法和软件接口,建立了基于ExSpect的维修保障仿真模型。开发了仿真对象模型(SOM),并对其信息接口进行了改造,从而实现了Petri网仿真模型与RTI运行支撑环境的无缝连接,为后续开发高层体系结构(HLA)环境下的Petri网仿真模型集成环境进行了初步的探索工作。

考虑资源约束的复杂维修任务时间预计模型

在分析装备维修过程时间影响因素的基础上,研究了维修过程时间模型的建模要素关系。采用Petri网技术建立了反映子任务基本关系、资源约束和调度策略的典型维修过程模型,并对典型子任务执行过程进行了细化建模,研究了模型冲突和资源调度策略。针对典型实例进行了维修时间预计和资源利用率分析。

试验基地科研试验设备维修规范制订方法

提出了试验基地科研试验设备事后维修、定期维修和视情维修相结合的维修模式和等级维修的管理模式。研究了基于以可靠性为中心的维修(RCM)的维修规范制订过程与方法。

试验基地科研试验设备维修模式

在研究设备维修需求、维修方式和维修模式的基础上,提出了试验基地科研试验设备的维修模式,即将事后维修、定期维修和视情维修等多种维修方式相结合,并采取大、中、小修的等级维修管理模式。

嵌入式武控计算机软件测试关键技术

本文首先分析了嵌入式武控计算机软件测试的概念以及环境要求,以此为前提,建立了相应的软件测试仿真平台,并通过静态测试、内存泄漏测试和逻辑覆盖率测试,全面阐述了嵌入式武控计算机软件测试关键技术。