基于逻辑模型的过程仿真系统研究

企业的业务流程是非常复杂的,在为企业设计与流程相关的软件的失败率很高,原因在于所设计的软件处理的流程与企业实际运行的流程不相符合。针对该问题,本文采用一阶逻辑形式化的描述了一个过程仿真系统模型,并基于此模型设计过程仿真系统,以用于检验所仿真的流程是否与实际流程相符合。     

面向生产制造过程的虚拟仿真系统建模研究

传统的仿真建模技术不能满足对复杂生产制造过程进行仿真的要求。通过对生产制造系统结构特点及其运行方式的研究并结合面向对象的设计方法和虚拟仿真技术，给出了面向生产制造过程的三维可视化图形仿零点建模机制及实现方法，该机制将应用在作者自主开发的面向制造过程仿真系统InteVss中。     

化工过程仿真培训系统中的换热器模型

本文讨论了化工过程仿真培训系统中的换热器的动态模型，着重比较了两种稳态模拟与动态补偿相结合的仿真算法－基于平均传热温差和基于传热单元数的仿真算法。分析了基于平均传热温差的仿真算法存在的问题，讨论了基于传热单元数的仿真算法中有关参数的确定方法，最后给出仿真实例。     

虚拟操作训练系统中的过程仿真模型研究

该文深入研究了虚拟操作训练系统的仿真对象,在此基础上得到了过程仿真模型的框架结构。开放式操作响应模型是虚拟操作训练系统过程仿真模型的重要组成部分,该文在分析开放式操作行为特点的基础上,建立了基于产生式规则的操作响应模型,并给出了具体的操作响应模型数据流程。     

面向钢铁集团测量过程的工作流设计

为实现钢铁集团测量过程的流程化管理,提出一种基于扩展有限状态机的工作流元模型,给出元模型的元素定义与迁移原理。根据ISO10012测量过程的受控条件,利用该模型对测量过程进行工作流与角色权限设计,实现基于浏览器/服务器的3层工作流系统。结果表明,该系统能满足测量过程的7个受控条件。     

面向制造系统的有向图仿真建模方法研究

通过对制造系统虚拟仿真的需求进行分析，提出将“面向对象的分析方法、三维几何模型和仿真机制”统一起来的有向图仿真建模机制，详细讨论了虚拟仿真建模中涉及到的面向对象建模、图形化建模、运动建模和层次化建模等技术。     

虚拟训练系统中过程仿真实现方法研究

以装备操作过程为研究对象,通过基于知识的方法建立操作作业模型,采用数据库技术建立规则库,使用临时规则库存储操作作业,实现了虚拟训练系统中过程仿真,解决了过程仿真中并行操作问题,节约了系统开销时间,使过程控制同应用程序分离,提高了应用程序的通用性.     

基于有限状态机的可校核仿真模型研究

基于有限状态机仿真模型因其外部环境的复杂交互关系,而难以完整复现其状态变迁过程,更难对模型进行校核与检验;而模型校核对于确保仿真的可信度十分重要。本文从分析基于有限状态机的仿真对象模型状态变迁及公共调用接口出发,将有限状态机模型的公共接口区分为参数注入方法集、参数提取方法集和无参数方法集。并在此基础上,提出并实现了对有限状态机模型接口输入集进行窥视和顶替的校核策略。实验表明,在满足若干禁入规则的条件下,该方法能够完整复现有限状态机模型的状态变迁过程,从而可为实现可校核与可检验有限状态机模型提供建模框架。     

面向TSP的软件过程仿真模型

描述了一种面向小组软件过程TSP(Team Software process)的仿真模型,根据TSP的特点,采用将离散和连续建模思想结合的一种混合模型。这种模型分为两层建立,外层体现软件开发过程的阶段性,内层体现软件开发过程的连续性,从两个层次上详细说明模型的结构和原理;给出了模型的形式化描述;并用一个例子来说明模型的执行过程及结果。此模型能够从不同角度模拟软件的开发过程,并能够对软件开发过程进行监督和预测。     

面向全流程优化的选矿过程仿真系统研发

选矿过程的物流是各环节有机联系的纽带,进行选矿物流仿真实验研究对实现优化操作与优化控制生产具有重要的意义。面向选矿过程生产全流程的优化,为了对选矿全流程的物流与生产过程进行仿真,研究选矿过程各个单元的操作与控制对生产全流程指标的影响,建立了基于物料平衡和金属守恒原理的选矿过程物流模拟数学模型总体框架;设计开发了选矿过程物流仿真系统,包括实验软硬件平台结构、功能及其对控制与优化系统的通讯接口。该系统主要侧重其物流的仿真,及其操作与控制对选矿全流程指标(即金属回收率、精矿品位和产量等)的影响,从而为全流程优化的研究提供依据。在所开发的平台上开展了仿真实验研究,实验结果验证了所研发实验平台的有效性。     

划分有限状态机的低功耗实现模型

通过引入映射状态,使得单状态机的状态分配算法可直接应用于被划分的有限状态机,提出了实现划分有限状态机的通用物理模型.对13个MCNC基准电路,采用文中模型进行测试,实验结果与已发表的结果相比,文中模型在功耗和面积的改进方面有一定的优势.     

过程控制训练仿真评估方法研究

评估系统是过程控制型仿真系统的重要组成部分,随着过程控制型仿真系统复杂性增大,其评估系统构建也日趋复杂.该文从一般性的角度对过程控制型仿真系统评估方法进行了探讨,对训练仿真系统中的过程事件进行了分类.针对训练目的,提出了过程控制训练仿真系统的评估标准.结合训练仿真系统的特点,提出了评估的假设前提和事件类型判定方法.以此基础改进了分步评估法并构建了训练仿真系统的评估模型.最后,以海上补给训练仿真系统实际项目为背景,实现了海上补给训练仿真系统评估系统.     

TDI工艺动态仿真培训系统的开发

该文针对TDI装置工艺复杂、有关数据资料少、涉及的组分复杂,无法采用经验模型对单元设备进行仿真的实际情况,采用了更为准确的机理模型,并用Euler法求解数学模型,采用了Joback基团贡献法等多种估算算法解决了基本物性和热力学性质计算的问题,开发了多个化工单元仿真公用模块,并按功能把整个仿真系统分解成若干个子系统,优化了系统结构,提高了计算的精确性且很好地满足了实时动态的要求,采用C＋＋语言,成功地开发了TDI生产工艺仿真培洲系统。对生产工艺的仿真表明,该仿真培训系统能较真实地反映装置开停车、生产及事故状态的动态效果,可用于操作人员的培训,也可用于专家对生产工艺优化、诊断和控制方案的研究,在实际应用中取得了良好的效果。     

关于利用逆系统方法进行非线性系统仿真模型校验的初步研究

该文首次提出利用逆系统的方法进行非线性系统仿真模型的校验。对于非线性系统难以得到任何形式精确理论解的情况下，所提出的方法在一定程度上能够判断仿真模型是否能够正确反映数学模型。     

基于有限状态机与Petri网的系统分析与设计

从系统组成、功能需求和体系结构方面介绍了航天器空间对接仿真系统的实时多任务控制系统，基于有限状态机和Petri网方法对其进行了单任务级和多任务级的分析建模，并以此为基础完成系统的详细设计，其中应用分叉和资源共享模型实现了系统的同步和互斥问题。实际应用中应用工程化和模块化的方法完成系统设计，系统运行性能良好。试验证明这种分析设计方法合理可行。     

随机测试程序生成器研究

随机测试是微处理器设计过程的重要环节,按照一定原则生成的随机指令序列,能够构造出指令组合的各种情况,达到比较好的测试强度和较高的覆盖率。介绍了一种基于模拟器的动态随机测试程序生成器的实现机制,此生成器用多个状态机来抽象整个被测处理器的可能行为,具有简单和高效的特点。给出了测试的统计数据。随机测试生成器对清华大学具有自主知识产权的微处理器的测试过程中取得了良好的测试效果。     

面向AVE的企业过程再设计仿真优化系统的研究与设计

文章建立了敏捷虚拟企业产品过程再设计的基本框架，提出了基于活动链的过程缺陷分析方法，总结了进行过程结构优化设计的ＥＳＩＡ原则，并基于工程网络图的原理开发了一套过程仿真系统对企业过程原型进行模拟分析评价。     

过程仿真培训支持系统中基于知识的操作评价

本文以“过程仿真培训支持系统（ＰＳＴＳＳ）”为背景，分析了现有的计算机仿真培训器操作评价方面的不足，着重论述了ＰＳＴＳＳ评价支持子系统的设计思想与实现技术。首先，本文提出了用知识工程技术对学员操作水平进行评价的思路，然后通过对过程工业的分析，确立了评价支持子系统所采用的评价准则，建立了较全面、科学的评价指标体系，本文还介绍了知识表示。知识库组织与管理、推理机结构框架等具体实现技术。