基于模型转换的IMA系统可调度性验证方法

综合模块化航空电子系统（Integrated modular avionics ,IMA）中分区运行时间特征满足需求是IMA系统安全可靠性运行的一个重要问题。本文针对满足ARINC653规范的IMA系统的层级调度特性,结合IMA系统调度配置信息,提出了一种在模型驱动工程(Model driven engineering ,MDE)框架下,基于实时嵌入式系统建模与分析（Modeling and analysis of real time and embedded system,MARTE）模型的ARINC653分区调度系统建模转换与可调度性验证的方法。借助MAST工具及其自定义调度策略功能,分析分区系统调度特性并利用MARTE 对其进行建模,并利用该工具对MARTE模型进行仿真以验证其可调度性,最后给出了一个实例分析。     

一种面向对象的Petri网

柔性制造系统属于离散事件动态系统,具有实时、并发、异步等特性,由于Ｐｅｔｒｉ网模型的图形表述和数学描述,使它既可以采用数学分析,又可以通过图形形象地表述出离散动态系统,故广泛应用于制造过程动态行为建模与分析。而面向对象建模与设计是一种围绕真实世界的概念来组织模型的全新的思考问题方式,面向对象的模型能帮助对问题的理解,有助于同领域专家通讯交流。本文在Ｐｅｔｒｉ网基础上,引入面向对象技术,提出了一种面向对象Ｐｅｔｒｉ网（ＯＰＮ）模型,并以企业中的一项生产活动——二次电源生产过程为实例,建立了描述这一活动系统的完整的ＯＰＮ模型,真实地反映了系统的动态特性,从而为制造过程建模和分析提供了一个更为有效的工具     

基于多Agent的分布式制造执行系统模型

提出了一种开放式、模块化、分布式、可配置、可集成和可维护的基于多Agent的制造执行系统(MES)模型。首先分析了制造系统中的制造执行系统域，然后提出了基于多Agent的MES模型，采用UML图表详细分析了该模型的MES功能实现，最后给出了实施的MES系统框架。该MES系统易与企业资源计划(ERP)、车间控制系统(FCS)及其他制造系统相集成。     

基于数字孪生的航班链延误动态预测模型

针对复杂多变的航班运行环境，提出一种基于数字孪生的航班链延误动态预测模型，以改善传统预测方法的精度及自适应性。模型基于数字孪生航班链系统构建，采用滑动窗口下的多通道特征建模完成单元级航班延误预测，并提出一种混合优化策略进行模型参数的动态优化，最后通过孪生数据驱动的链式分析方法实现了全航班链的延误分析与修正。采用国内航班数据进行实验，得到在各个窗口下的航班延误平均绝对误差（Mean absolute error, MAE）为11.79 min，低于其他基线模型和静态模型；且引入孪生数据驱动分析和修正后，紧随其后的航班预测误差比此前进一步降低了6.44%。结果表明，模型有利于数字孪生航班链系统实现虚实交互，并具有优良的预测精度和自适应性。     

基于UML—OOPN的可重构制造单元建模

以可重构制造单元为研究对象，以实现其可重组性为研究目标。提出了一种集成标准建模语言UML和面向对象Petri网的建模方法－UML－OOPN，该方法同时具备了标准建模语言UML和Petri网的优点，不仅能够提供了支持需求分析，模型描述和设计，模型分析和仿真，直至模型实现的一块化框架，而且所建立的系统模型具有较好的可重用性和可扩展性。     

基于Agent的供应链工作流协调管理

通过agent技术和工作流技术的集成，本提出了一个实时响应顾客需求的供应链协调管理解决方案。在该方案中，工作流系统以中央协调方式支持企业业务过程；agent由过程事件激发，动态地执行具体的过程任务。由于agent的特性，它不局限于环境，可以在分布的、跨平台的异构环境中自动地完成任务。因此集成了工作流与agent技术的协调管理方法，具有良好的可重构性和柔性机制，能够充分满足供应链管理分布性和动态性特点，为供应链跨组织的企业业务过程管理提供了有力的技术支持。     

并发式软件系统横切关注点的建模方法

基于面向侧面技术及统一建模语言状态图提出了并发式软件系统开发过程中横切特性的建模方法.该方法将并发软件系统的业务逻辑和横切行为分别封装到复合状态的不同正交区域中,并通过事件广播机制反映二者的交互关系.同时,以模块化的状态迁移系统作为基本计算模型,对该建模方法进行形式化描述,给出了模型元素及建模过程的精确语义.实例研究表明,该方法在并发软件设计阶段实现了横切关注点的分离策略,并使得系统模型具有松耦合、适应性和可跟踪性的优点.     

一种面向对象的产品结构与配置管理

面向对象的建模方法是目前较为先进的建模方法之一，本文针对目前产品数据管理（Product data man-agement）系统中的产品结构与配置管理模块存在的一些不足，根据面向对象建模的思想提出了一种基于一类产品的结构模型，即产品类属模型，以此为基础，提取产品类属模型中的各实体并建立相应的类，从而实现一种面向对象的产品结构与配置管理。     

企业MIS数据集成

企业管理信息系统（MIS）大多数是按单项业务开发的,不同系统的开发方式以及对于开发规范的遵从程度都有所不同,这使得各系统之间存在很强的孤立性,使企业内部许多信息难以交换,各部门开发出的管理信息系统最终成为一个个“信息孤岛”。本文针对目前企业信息集成所存在的这一问题,结合目前企业信息化工作的热点－企业信息集成,根据本人在对某集团企业开发MIS的基础上,介绍了企业MIS数据集成的目标,基础工作,探讨了解决企业MIS数据集成的方案和策略,并介绍应用实例。     

机动武器系统变拓扑柔性多体系统动力学及仿真

基于柔性多体动力学理论，提出了变拓扑结构多体系统动力学建模方法，将系统约束分为基本约束和条件约束，研究运动相容性方程和铰接摩擦力的建模，对机动武器系统发射出筒过程进行动力学建模与仿真分析，此项研究可应用于机动武器系统的设计与分析。     

基于组件装配的分布式可重构企业信息系统

在深入分析企业中经常变化的内容和基本不变的内容的基础上,指出业务流程的变化是引起企业信息系统重构的原因,根据功能体的“自治”,“协作”性将BPR分为功能体内重构和功能体间重构两类,同时论证了子功能体的变动独立于功能体,功能体包的变动独立于整个信息系统两种独立性,在此基础上,提出了系统的重构策略,采用面向对象的方法建立企业独立于具体业务流程的功能模型,通过对功能模型中相应功能体的修改,实现信息系统的重构,并通过一个库存管理的实例,验证了文中提出的重构方法是切实可行的。     

企业信息系统建设方法论

根据笔者参加ＣＩＭＳ工程的实际经验,从方法论的角度总结了企业信息系统建设应注意的六个方面。内容涉及信息系统建设总的指导原则、系统分析的核心方法、系统集成成功的关键、系统开发的实用方法与方式等。     

信息系统群演化的综合环境SEE的研究

旨在通过对系统构架各视角的研究，开发一个信息系统综合演化环境，从而提供针对各类系统演化特征的通用的解决方案，并利用方法论的手段规范、指导和维护系统(群)的演化活动。本文首先论述了大型系统中各个系统和组件变化及改进活动中存在的问题，分析相关的研究及面临的挑战，从而提出系统群演化的概念。然后文章概括了系统群演化的特征，提出解决以上问题的思想方法，即开发“信息系统群演化的综合环境(Synthetic environment of evolution，SEE)”，将各种演化活动纳入规范，指导系统群的演化活动；在此基础上，进一步就实现SEE的关键技术给出了描述及运用的范例。     

基于特征的参数化造型系统的研究(英文)

特征造型是实现CAD/CAPP/CAM 以及并行工程中信息集成的核心技术。文中介绍了在I-DEAS5 系统上二次开发基于特征的参数化造型系统的方法,详细阐述了基于特征的造型技术,生成以特征为基础的产品信息模型,为后续应用过程提供了丰富的信息。在商用CAD软件上开发特征造型系统,可以充分利用现有软件的实体造型资源,节省资金投入,缩短新系统的开发周期     

基于IHE-RO框架的一体化放疗信息管理系统构建

如何构建基于IHE—RO技术框架方案的放射治疗信息管理系统,在中国是一项新的实践。本文介绍了在中国医学科学院肿瘤医院放疗科构建放射治疗信息管理系统的研究过程,以及基于IHE—RO技术框架方案和DICOMRT数据流标准的系统设计框图。并强调指出,DICOMRT标准对构建放射治疗信息管理系统极为重要,同时描述了DI—COMRT对象生成的过程。最后,建议在中国构建该系统时,应遵守中国当前已等同采用的与放疗设备质量管理有关的两个国际标准。     

根据协同效应确定制造业信息技术的实施顺序

企业应用的各种信息技术通过信息集成组成企业的信息技术组合系统，各子系统相互配合而产生协同效应，使得系统总体功能可以大于各子系统功能之和，本文提出一种方法，首先根据企业的竞争重点确定待实施的各项信息技术，然后根据数据流表通过对协同效应的估计确定各项信息技术的实施顺序，最后对决策支持系统的实现进行了讨论。     

CAN总线在焊接中的应用

简要介绍了CAN总线特点 ,阐述了CAN总线系统和企业信息系统的一般模型 ,提出一套以CAN总线为核心的电阻焊网络控制系统。该系统具有稳定性好、抗干扰能力强 ,传输速度快等特点 ,可用于焊接生产的智能集成