基于扩展的UML活动图的质量工作流建模

本文使用了UML类图表达了工作流参考模型,统一了UML活动图与工作流过程模型的概念,并根据工作流的概念扩展了UML活动图,弥补了活动图的不足,并以实例说明。     

基于UML的CITIS建模分析

该文对‘恃续采办与寿命周期保障”(Continuous Acquisition and Life-cycle Support,CAL5) 战略的核心组成部分——承包商综合信息服务(Contractor Integrated Technology Information Service,CITIS)进行了建模分析。根据承包商综合信息服务在实现‘特续采办与寿命周期保障”中的作用提出了CITIS的参考结构,并采用面向对象的分析方法,从分析CITIS系统需求、静态结构模型和动态模型三个方面提出了一种基于标准化建模语言(UML)的CITIS建模方案, 对于采用C++、Java等面向对象语言编程构建系统有重要的参考价值。     

基于Modelica和Dymola的压气机系统的建模与仿真方法

基于压气机性能方程推导出一种新的压气机级的数学模型，并在这一模型基础上用Modelica语言和Dymola编译器建立了计算机仿真模型，编成了压气机系统仿真程序。还描述了压气机仿真程序建模系统和面向对象的体系结构，介绍了压气机系统特性分析的应用例子，并进行了仿真验证。结果表明，采用建立的仿真模型能够用来模拟压气机性能。     

基于Patran二次开发的机身结构参数化建模

为缩短建立结构模型的周期,针对某大型运输机机身结构,应用PCL语言开发了-个参数化快速建模软件.其中,采用了一种二次曲线描述飞机机身理论外形的方法,该方法可以用极少的参数来描述飞机各种部件的理论外形.实例表明,运用该软件能快速自动地生成飞机机身结构模型,提高了建模效率.     

基于知识图谱的装配语义信息建模

针对总成产品的装配数据通常分散于CAD模型与装配工艺文档中,因而不同类型的装配语义信息由于异构性无法相互关联的问题,基于知识图谱提出一种面向装配语义信息的建模方法,结合传统的数据映射与人工智能中的自然语言处理技术,实现了CAD模型的几何信息与装配工艺文档中工艺过程信息的智能集成。首先阐述了不同层次的语义特征在基于知识图谱的装配语义模型(KG–ASM)中所代表的概念、实体类及关系类;其次根据CAD模型文件与装配工艺文档,基于数据抽取、语义映射及自然语言处理技术自动构建KG–ASM中的实例节点;最后以航空航天产品中速度调节机构的试装过程为例验证KG–ASM及其构建方法的可行性。     

面向航电系统容错特征的任务可靠性建模方法研究

基于AADL语言和GSPN模型面向DIMA系统开展任务可靠性建模研究,考虑系统的容错特征及其模式转移逻辑,建立AADL系统建模语言与GSPN模型的转化规则,进行系统可靠性定量分析,并以典型航电产品为例进行了方法应用和仿真。本文提出的方法和规则可实施性强,为存在重构或备份等容错技术的航电产品进行多模式转移 的系统任务可靠性建模提供参考。     

基于AADL的机载设备系统可靠性建模

AADL可以描述机栽设备系统的时序需求、任务状态等关键性能特性,已应用于航空、电子自动化、机器人控制等实时系统。提出基于AADL的机载设备系统可靠性建模方法,为该系统模型结构的设计和验证提供了理论依据。采用EMA子语言对AADL描述的机载设备系统进行可靠性建模,给出可靠性模型中的错误模型、错误传播和状态映射规则等子句属性的用法。最后通过一个基于AADL的机载设备可靠性建模实例,验证了所提建模方法的有效性。     

Petri网在制造系统建模与仿真中的应用

依据面向对象的Petri网的理论,给出了制造系统的建模过程,最后将统一建模语言(UML)融入到制造系统的建模与仿真中,通过实例进一步阐明了Petri网在制造系统建模与仿真中是如何应用的。     

基于RBF神经网络的开关磁阻电机在线建模 及其实验验证

 为了获取开关磁阻电机(SRM)的精确模型,提出了一种基于径向基函数(RBF)神经网络对SRM进行建模的方法,主要包括离线建模和在线建模两部分。离线建模通过实验测量得到SRM的磁链特性曲线,并利用该数据训练RBF神经网络,实现SRM磁链的离线建模;在线建模是指当SRM的运行状态发生变化时,离线模型的估计磁链与实际磁链会产生误差,通过对神经网络的输出权值进行在线调节,实现具有在线动态调节功能的SRM在线模型。为了验证该方法的可行性,针对一台12/8结构的SRM样机进行仿真和实验,结果表明SRM的离线模型和在线模型在仿真和实验条件下均能正确地估计SRM的磁链特性,而且在线模型的估计精度高于离线模型,验证了本文的研究方法合理有效。     

面向复杂航空电子系统的GSPN 任务可靠性建模研究

考虑资源备份与重构的动态特征,采用广义随机Petri 网对具有资源备份机制的典型航空电子系统架 构进行可靠性建模,通过在TimeNet 平台中开展模型仿真,基于功能模块的可用度指标对系统任务可靠性进行 了评估应用,得到的瞬态仿真结果有效预测了该系统可用度时域特性,稳态分析结果经数值验证具有较高的精 度,该建模方法为航空电子系统动态可靠性评估提供了参考。     

多余度飞控计算机系统分级组合可靠性建模方法

系统可靠性是决定飞机飞控计算机系统(FCCS)体系结构选型的重要依据,可靠性建模技术(SRMT)是定量评价系统可靠性的关键。目前有可靠性框图(RBD)、故障树分析(FTA)、Markov随机过程和Petri网等多种系统可靠性建模方法,由于求解的途径不同,各种方法都具有优缺点。文章综合静态和动态系统可靠性建模方法特点,提出一种分类划分和分级组合的系统可靠性建模(HCRM)方法,并用该方法对Boe-ing777飞机非相似余度FCCS进行了可靠性建模。与传统方法比较,该方法将基于状态的可靠性建模方法和非状态可靠性建模方法进行组合,并基于系统静态和动态特性分级建模和求解,在一定程度上化解了复杂系统可靠性建模的复杂度和求解难度,使系统可靠性模型更加精细和符合实际系统。     

基于过程规范语言的复杂工艺过程模型建立方法

 使用基于本体论的过程规范语言（PSL）对制造过程信息进行规范,已成为过程信息集成的重要发展趋势。针对零件复杂工艺过程信息中存在的资源多样性、工序次序无关性等特点,讨论了PSL理论在工艺过程领域的应用模式,提出了一种采用PSL建立复杂多工艺过程模型的模型构建方法和描述方法,并建立了基于PSL的工艺过程信息建模平台,同时实现了在计算机辅助工艺设计系统中的初步应用,为进一步探索PSL在制造信息系统集成中的应用提供了可参考的经验。     

Control-oriented Modeling for Air-breathing Hypersonic Vehicle Using Parameterized Configuration Approach

This article presents a parameterized configuration modeling approach to develop a 6 degrees of freedom (DOF) rigid-body model for air-breathing hypersonic vehicle (AHV). The modeling process involves the parameterized configuration design, inviscous hypersonic aerodynamic force calculation and scramjet engine modeling. The parameters are designed for airframe-propulsion integration configuration, the aerodynamic force calculation is based on engineering experimental methods, and the engine model is acquired from gas dynamics and quasi-one dimensional combustor calculations. Multivariate fitting is used to obtain analytical equations for aerodynamic force and thrust. Furthermore, the fitting accuracy is evaluated by relative error (RE). Trim results show that the model can be applied to the investigation of control method for AHV during the cruise phase. The modeling process integrates several disciplines such as configuration design, aerodynamic calculation, scramjet modeling and control method. Therefore the modeling method makes it possible to conduct AHV aerodynamics/propulsion/control integration design.     

基于组件网络方法的微加速度计建模与仿真

 提出多端口组件网络方法对MEMS 进行建模与仿真, 建立了惯导MEMS 典型功能结构部件的参数化多端口组件模型, 联结组件模型形成网络构建了蟹腿式微加速度计的系统模型。用硬件描述语言作为编码工具, Saber 作为平台对该微加速度计模型进行了仿真分析。研究表明, 采用多端口组件网络可以实现M EMS 整体行为的快速仿真, 并能分析局部尺寸参数对系统性能的影响。与有限元分析相比较, 微加速度计系统模型仿真得到的检测方向的固有频率误差小于1.0%; 仿真结果表明梁的宽度变化对系统灵敏度有较大影响, 故需要尽量减小梁宽的加工误差。借助该模型还研究了系统对正弦及脉冲输入信号的响应特性。     

跑道侵入严重度本体建模及等级划分研究

为研究致险因素对跑道侵入严重度的影响,从知识建模角度出发,构建了跑道侵入严重度划分的领域本体模型.采用石川图针对跑道侵入严重度划分问题进行因果分析;进而以跑道场景要素为导向构建本体模型;应用FaCT++推理机对实际案例分析推理,结合DL query 模块辅助验证推理结果.结果表明,本体推理可以支持跑道侵入严重度划分,验证了模型的有效性.     

事故推演建模技术研究

 在总结现有事故模型、复杂系统特性分析的基础上,提出基于系统学的事故模型——事故推演模型,该模型强调从分析系统各组成部分的耦合关系及系统涌现特性的角度揭示事故是如何发生的。针对目前尚缺乏成熟的方法来支持基于系统学的事故分析的现状,建立了与事故模型匹配的事故推演建模方法,层次化面向对象的Petri网（HOOPN）,给出HOOPN的形式化描述,分析了HOOPN对事故推演建模的支持能力,介绍了基于HOOPN的事故推演建模程序。最后利用HOOPN建立民用航空器盘旋进近过程的事故推演模型,并对模型进行定性分析,验证该方法的适用性。     

一个改进的软件过程工程元模型ISPEM

对象管理组织(OMG)提出的软件过程工程元模型(SPEM)在软件工程过程领域具有较强的通用性和较好的建模能力。但是，软件过程工程元模型在一致性和表达力上存在不足。本文基于UML2．0活动元模型改进SPEM中活动的语义，采用泛化机制扩大实参的表达范围，细化形参和限制的表达粒度，使得改进的软件过程工程元模型(ISPEM)在语义上与软件工程过程领域的语义更为一致，表达力更强，更加符合软件工程过程领域建模的需要。     

域间路由协议IDRP的仿真建模

OPNET是目前业界公认的最优秀的通信网络、设施、协议的建模及仿真工具,在通信协议的设计优化和评估中得到广泛的应用。本文以航空电信网(ATN)中的域间路由协议IDRP为例,介绍了路由协议的建模方法,详细地描述了OPNET中进程模型建模的过程,以及IDRP模块中BIS-BIS连接子进程IDRP_CON的有限状态机实现。本文介绍的OPNET进程模型的一般开发方法对于其他路由协议进程模型的开发也有借鉴意义。     

基于面向对象PETRI网的移动式Agent系统

 为了简化移动式Agent 的设计和实现,描述了以OOPN 为建模语言,建立移动式Agent 系统的基本原理。该系统提供了可视化系统建模、死锁检测和实际的系统运作功能。首先介绍OOPN 的基本概念和Agent 编程工具Aglets,在此基础上介绍如何通过OOPN 建模来生成移动式Agent 系统的具体实现机制,包括Agent 的远程创建和动态部署。最后通过生产者—消费者实例来说明整个系统的执行过程。     

基于粒子群优化的WNN飞行数据气动力建模

为了使所建立的气动力模型能准确地描述飞行器的动态特性,提出一种基于改进粒子群优化(IPSO)算法的小波神经网络(WNN)飞行数据气动力建模方法。该方法引入邻近粒子信息和变异操作,对标准PSO(SPSO)算法的不足进行改进,以提高WNN参数的全局搜索能力,克服早熟收敛,再按照所设计的飞行数据的气动力建模流程,构建了IPSO算法训练的WNN模型。试验结果表明:提出的气动力建模方法预测精度高,收敛速度快,能较好控制早熟收敛问题,用于飞行数据的气动力建模是有效的,也是可行的。