CIMS并行智能实时动画仿真

本文介绍一个ＣＩＭＳ并行智能实时动画仿真软件的设计与实现，提出了建立并行智能仿真模型、进行并行智能任务规划、以三维实时图形再现ＣＩＭＳ各工作单元工作过程的算法和思想。完成的一个制造加工系统已在Ｓｕｎ工作站上用Ｃ语言实现，取得了个人满意的仿真结果。     

SIMSCRIPT仿真语言在混合仿真中的应用

分析了离散事件系统仿真的三种主要方法各自的特点，通过比较得出，进程交互法是适合混合仿真的离散事件系统仿真方法。接着介绍了仿真语言ＳＩＭＳＣＲＩＰＴⅡ．５的混合仿真功能，着重介绍了它对离散事件子系统的连续时间子系统仿真时间同步的支持。对多模型建模的有关参考文献中的一个实例，描述了其混合仿真模型，该混合仿真模型是多抽象层次的，与人们对建模对象的认识理接近。最后介绍了利用ＳＩＭＳＣＲＩＰＴⅡ．５对该实例     

冷连轧过程仿真软件包的研制

以四机架冷连轧机为背景，开发研制了一个结构简单、使用方便、具有一定开放性的冷连轧过程仿真软件包（ＴＣＲＳＩＭ），为新的建模与控制方法在冷连轧过程中的应用研究提供了良好的仿真环境。     

一体化制造系统仿真软件（IMSS）在FMS设计中的应用

本文重点介绍了一体化制造系统仿真软件（ＩＭＳＳ）在ＦＭＳ设计中的应用，包括ＩＭＳＳ的功能简介，仿真模型的建立、运行、监控和分析，并给出几个应用实例。     

利用CSIMAN系统仿真确定收费窗口的最佳个数

详细地叙述了用ＣＳＩＭＡＮ仿真技术,建立一个电话月租费收费窗口仿真系统的方法。并根据ＣＳＩＭＡＮ仿真系统中的资源利用率ＮＲ（Ｉ）和实体排队长度ＮＱ（Ｉ）确定收费窗口的最佳数目。     

基于完备系统概念的C IM S

总结了计算机集成制造（系统）（ＣＩＭ（Ｓ））概念的发展过程;给出了完备系统的定义;讨论了在完备系统概念下ＣＩＭＳ的有关思想,目标,结构等问题,并提出了ＣＩＭ（Ｓ）的新概念、轮图和分析模型。     

飞行控制系统的一体化仿真软件—SIMLAB

介绍用于现代飞行控制系统综合仿真的一体化仿真软件—ＳＩＭＬＡＢ。该软件具有丰富的模型库、算法库以及完善的系统管理功能，能方便的完成建模－实验－分析整个仿真过程。ＳＩＭＬＡＢ采用ＷＩＮＤＯＷＳ窗口技术，将仿真过程与计算机图形技术有机的结合起来，实现了非语言的仿真操作过程。ＳＩＭＬＡＢ具有良好的人机界面及开放性，不仅适用于现代飞控系统的综合仿真，也同样适用于一般控制系统的仿真。     

用CIMOSA和随机PETRI网对CIM系统进行行为建模

利用ＣＩＭＯＳＡ建模框架和建模语言，一个企业的集成模型能够被建立．用过程规则集能够对企业模型进行行为分析．为了进一步对ＣＩＭＯＳＡ企业模型的操作进行分析，本文提出了将ＣＩＭＯＳＡ企业模型转换为等价的随机Ｐｅｔｒｉ网模型的系统方法．这种方法是一种将“ｂｏｔ－ｔｏｍ－ｕｐ”和“ｔｏｐ－ｄｏｗｎ”建模方法混合使用Ｐｅｔｒｉ网综合技术．由这种方法得到的Ｐｅｔｒｉ网模型能够保持初始Ｐｅｔｒｉ网的某些定性结构性质     

在长途电话站的设计中利用CSIMAN系统仿真确定长途电话亭的最佳利用状态

详细地叙述了利用ＣＳＩＭＡＮ仿真技术建立一个长途电话站仿真系统的方法。根据ＣＳＩＭＡＮ仿真系统中的资源利用率ＮＲ（Ⅰ）和实体排队长度（ＮＱ）（Ⅰ）确定长途电话亭的最佳利用状态.     

基于HLA的计算机生成兵力研究

分布交互仿真系统的体系结构有较大的发展,由ＤＩＳ体系结构发展为ＨＡＬ体系结构。本文描述了基于ＨＬＡ的分布仿真系统中的计算机生成兵力系统的研究,在比较ＤＩＳ和ＨＬＡ应用系统的基础上,提出了基于ＨＡＬ体系结构的ＣＧＦ方案,确定了联工发过程,并描述了ＳＯＭ／ＦＯＭ的开发和仿真应用程序结构。     

实时监控与发射决策专家系统推理机设计

实时监控与发射决策专家系统要求应能根据监控信息，不断进行知识推理，多层次判断直到最终导弹发射决策。本文对推理流程设计原则、控制策略、推理机的运行过程等进行了介绍。本推理机将面向对象方法和问题求解的黑板模型思想有机地结合在一起，将知识库分层模块化，极大提高了推理效率。该推理机具有结构清晰、条理分明、维护方便等特点。     

基于知识的仿真模型的验证方法

仿真模型的验证研究的是模型的可信度问题。由于模型验证需要关于真实系统,建模理论以及数据分析等多方面的知识,基于知识的智能化方法适合于仿真模型的自动验证。这类方法是建立在三个知识库的基础上的:存储验证相关知识的验证知识库(VKB),用于智能推理和决策的决策知识库(DKB),以及由各类验证算法所构成的验证技术库(VTB)。通过分析验证知识库的验证域,系统选择合理的验证技术和相关的验证过程。在此基础上,系统自动设计仿真实验,获得运行结果,并自动分析数据,执行验证过程,生成验证报告。此外,我们也讨论了验证相关知识的获取过程和细节。     

导弹发射决策专家系统推理机研究与实现

介绍了一种基于灵活、通用的知识表达方法的推理机。它将面向对象方法和问题求解的黑板模型有机结合 ,自带各种控制信息和适宜的不确定性推理算法 ,将知识库分层和模块化 ,极大地提高了推理效率。推理机根据监控信息 ,推理计算出导弹允许发射的合格置信度 ,已应用于导弹发射决策专家系统设计中。     

基于符号定向图(SDG)深层知识模型的定性仿真

定性仿真是系统仿真技术中的重要研究和应用方向，同时也是人工智能技术的一个重要方面。近年来，随着现代计算机技术的日新月异，使得基于符号定向图(SDG)深层知识模型的定性仿真研究和应用取得了显著进展。SDG模型能够表达复杂的因果关系，具有包容大规模潜在信息的能力，因此特别适合于过程系统危险评价(PHA)、危险识别与故障诊断。SDG模型结构简单，易于建立和修改。然而高质量的SDG模型必须采用经验数据和定量动态仿真检验和校正。采用SDG模型进行定性仿真的关键技术是高效双向推理“引擎”，由计算机软件自动完成。目前，在计算机辅助过程系统危险评价方面，SDG是最有效的方法；在过程系统故障诊断方面，其完备性较好，但诊断分辨率尚待提高。今后的研究应解决：定性仿真和定量仿真相结合；SDG自动建模；通用推理软件平台；大系统高分辨率故障诊断等问题。     

SMP2.0仿真引擎的设计与实现

SMP2.0(Simulation Model Portability)是欧洲航天局提出并广泛应用的仿真模型开发与集成规范。SMP2.0规范提供了定义SMP2模型的元模型规范、包含标准仿真服务的组件模型规范和模型的C 映射规范,但需要实现与之兼容的仿真引擎才能支持模型的开发和集成。根据SMP2.0规范标准,介绍了一个与SMP2.0兼容的仿真引擎的设计与实现,给出了仿真引擎的运行过程、运行状态和组件构成,最后通过仿真应用环境检验了该仿真引擎的有效性。     

引控系统发射决策专家系统设计与实现

研究开发了一个引控系统发射决策专家系统。推理机基于一种灵活、通用的知识表达形式,将面向对象方法和问题求解的黑板模型思想有机地结合在一起。在知识表达中提出级别的概念,极大地提高了推理效率,缩小了规则搜索范围。通过对推理机的设计,表明该系统具有良好的通用性、开放性和很强的推理能力。     

稻麦联合收获机清选智能调控模型仿真与试验

如何根据清选损失率和含杂率的变化进行清选智能调控建模与仿真是智能化稻麦联合收获机智能调控的研究重点和热点问题。基于清选调控流程图构建了清选智能调控专家经验知识获取方法,基于产生式规则表示法构建了面向田间作业环境的清选智能调控知识库;基于仿人智能控制原理,构建了自适应选择清选调控策略的知识推理算法,完成了清选智能调控模型的构建。基于Matlab的Simulink模块库构建了清选智能调控模型仿真与测试环境,通过模拟清选含杂率和清选损失率的输入,对该智能控制算法进行了仿真试验与分析。     

基于模型和知识库的交互式自学习仿真培训系统

提出将热力系统仿真技术、知识库技术、网络技术、多媒体技术与现代教育理论结合在一起,应用于仿真培训装置使受训者自学习的思想。重点介绍了自学习系统的组成及功能,以及知识的表达方式和知识库、仿真实验平台和学员模型的构成方法。它的实现将促进仿真培训功能的进一步发展,为实现远程仿真培训奠定基础。     

涡轮增压柴油机准动态模型及其数字和混合实时仿真

本文介绍了使用常规的柴油机特性资料建立涡轮增压柴油机隹动态模型的方法;用建立的准动态模型进行了增压柴油机及其动力装置典型的动态过程的数字及混合计算机实时仿真研究。本文的研究结果显示,用准动态模型进行仿真,可以兼顾仿真的精度与速度;而用通常较易得到的常规的柴油机特性资料,即可较精确地建立涡轮增压柴油机的准动态模型。     

基于证据推理和置信规则库的涡扇发动机故障预测

针对某型涡扇发动机故障预测的问题,提出一种基于证据推理和置信规则库的涡扇发动机故障预测模型。为描述涡扇发动机的健康状态,利用证据推理算法融合发动机系统状态信息;结合先验知识建立混合驱动的置信规则库仿真预测模型;采用投影协方差自适应进化策略用于优化模型参数;通过实验验证了模型的有效性。研究结果表明：该方法不仅准确预测涡扇发动机故障风险概率,而且为故障诊断和维修保障提供了有力的支撑。