基于模型的系统工程在航空发动机控制设计中的应用

 基于模型的系统工程（MBSE）采用模型的表达方法描述系统的整个生命周期过程中需求、设计、分析、验证和确认等活动,以其无歧义、模块化、可重用、可追溯等优点迅速覆盖了航空航天、船舶等相关工程领域。总结了MBSE的方法论、建模语言和建模工具,并探索适合航空发动机功能建模的解决方案。     

从面向对象视角认识基于模型的系统工程

 软件工程经历了从面向过程到面向对象的转变，实践证明了这种转变的成功。相对软件工程更为一般化的系统工程，也遇到了系统日益复杂的问题。基于模型的系统工程（MBSE）是对建模（活动）的形式化应用，以便支持系统要求、设计、分析、验证和确认等活动，这些活动从概念设计阶段开始，持续贯穿到设计开发及其后来的所有寿命周期阶段。MBSE采用从统一建模语言（UML）发展而来的系统建模语言（SysML）构建系统模型，其本质是面向对象的系统工程（OOSE），也将获得类似面向对象的软件工程（OOSWE）的优势，而且MBSE的工作流程，应以面向对象为指导原则来探索和实践。     

多架构建模方法在飞机娱乐系统的实现及应用

 提出了一种实现基于模型的系统工程（MBSE）多架构建模方法。基于多架构建模方法的元元模型，构建了Capella中的特定域建模语言，采用Arcadia建模方法作为建模规范，同时基于架构驱动的方法建立了模型间的追溯关系，形成了一套完整的基于模型的系统工程驱动流程。通过飞机娱乐系统作为案例建立模型，比较Capella建模和多架构建模两种方法，给出了两种方法在效率及效能方面的比较，结果表明多架构建模方法具有建模的高效性和较强的扩展能力，为不同MBSE建模语言和建模方法的整合提供一种解决方案。     

多架构建模方法在飞机娱乐系统的实现及应用

 提出了一种实现基于模型的系统工程（MBSE）多架构建模方法。基于多架构建模方法的元元模型,构建了Capella中的特定域建模语言,采用Arcadia建模方法作为建模规范,同时基于架构驱动的方法建立了模型间的追溯关系,形成了一套完整的基于模型的系统工程驱动流程。通过飞机娱乐系统作为案例建立模型,比较Capella建模和多架构建模两种方法,给出了两种方法在效率及效能方面的比较,结果表明多架构建模方法具有建模的高效性和较强的扩展能力,为不同MBSE建模语言和建模方法的整合提供一种解决方案。     

基于模型的理念:认知提升与研发模式转型

 分析了"基于模型的系统工程"的关键概念，剖析了当前传统系统工程方法面临的主要问题。分析表明，推动基于模型的系统工程发展的根本动力是成本驱动和发展驱动，促进基于模型系统工程实现的两个重要的实践方向是基于系统模型的新研发模式、智能知识管理与应用技术。     

夯实系统工程基础,推进MBSE实践

 基于模型的系统工程（MBSE）已经在国内各行业得到重视并大力推进。通过分析MBSE的基础问题、探讨MBSE的实践范式，表明从MBSE的推进实践看，MBSE需要系统工程作为基础，而系统工程的基础是需求，系统工程应用依赖于流程，用好系统工程依托于SE能力体系，核心是系统思维。     

基于SysML的MES系统建模应用

制造执行系统（简称MES）由多个子系统组成,其建模方法比较混乱和复杂。介绍了系统工程建模语言SysML的特点;并结合实例给出了基于SysML的MES建模方法,重点描述了需求图、用例图和功能图。此建模方法既有利于前期与客户讨论需求,又可指导后期软件开发测试的建模,从而减小MES项目的开发实施风险。     

基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．     

新疆鄯善地区水资源调控

本文运用系统工程的原理和方法，研究鄯善地区水资源的输入和输出，进而分析地下水动态，最后应用灰色局势决策建立水资源调控的管理模型，收到了事半功倍的效果。研究表明，区内水资源系统的输出远大于输入，地下水系统的转化及调蓄功能起着重要作用，其行为效果有利于提高水资源的利用率。     

系统工程和MBSE在正向设计增材制造整体解决方案中的应用

 阐述了基于正向设计和增材制造的高端研发与先进制造整体解决方案的架构，分析了系统工程在这一整体解决方案中的框架骨干作用，从系统工程技术过程的逻辑维、组织能力建设的认知维和人工物理系统全生存期周期的系统维3个维度出发，阐述了实施基于模型的系统工程（MBSE）对提升正向研制能力的作用。     

工程设计专家系统开发工具ECES

工程设计专家系统具有较强的非结构性(ill-structured),是专家系统开发的薄弱环节。针对工程设计的技术特点,本文提出一个用于工程设计问题的开发工具ECES,(Engineering Consult ExpertSystems),包括:工程类型知识表示,动态推理模式和模糊评判等;并且在IBM-PC/XT机上初步实现。通过坝型选择和拌和楼选址两个应用开发实例,表明了该系统的可行性。     

面向工程设计的知识处理关键技术

通过对工程设计过程的分析,提出了面向工程设计系统中产品层次建模的基本方法,研究了面向工程设计的知识处理技术:采用基于对象-规则的方法进行工程设计产品的知识表示;综合运用前向和后向推理,进行目标搜索和求解;建立了基于逻辑式的规则表示和推理,提高了规则知识的表示能力;建立了基于广义表的函数运算语言,提高了工程设计理论和经验公式的集成能力.开发了相应的软件系统,可集成于工程设计系统中,提高其知识处理能力.     

数学语言障碍及其关系问题探析

数学语言是一种特殊的科学语言,它是指一切用以反映表达数量关系和空间形式的语言.全日制义务教育《数学课程标准》（实验稿）第一次从课程标准的高度对数学语言的地位、功能和掌握标准提出了明确要求,这是由于数学语言和数学知识、数学思维有着密切的联系,以及数学语言本身具有的特点所决定的.     

一种对象式软件开发方法及其支持工具

提出了一种改进的对象式软件开发方法,该方法支持从概念建模、逻辑建模到实现的软件开发全过程;介绍了支持这种方法的图形化需求描述语言、形式化需求规格说明语言、由图形化向形式化的转换及由形式化向实现转换的方法和机制;简要地介绍了支持这种方法的一个软件工具的设计与实现。     

Windows下的二元气液平衡的处理数据系统

采用Modified UNIQUAC Model作为活度系数模型，开发了基于Windows操作系统的计算二组分气液平衡的MCECS系统(Multi Component Equilibria Calculation System)．MCECS系统采用美国Compaq公司开发的Visual Fortran6．6作为开发环境，用Fortran语言作为开发语言．由于Fortran资源相对还比较少，MCECS系统使用C 开发用户界面．     

面向智能化信息系统的信息模型

本文研究将人工智能引入计算机信息系统的问题,提出一种能综合运用知识推理、模型演算和数据管理技术的信息处理模型.文中讨论了信息表达模型、信息处理模型以及信息处理模型的动态建模、运行与控制问题.     

山区公路建造环境级别的模糊粗糙评价方法

分析了影响山区公路工程建造环境的地质和地理条件,提出了环境级别问题,选出了岩溶发育率?钻孔岩(土)体芯采取率?软化特性?地形和坡度等5个关键因素作为建造环境分类的指标.基于隶属函数分段构造方法和等效性原理,确定了各因素的隶属函数形式.引入粗糙集理论中的知识依赖度和重要度原理,提出并建立了分类指标对于环境级别模糊权重的客观性确定方法.将分类指标?隶属函数及模糊权重计算三者结合,构建了山区公路工程建造环境级别的模糊评价方法.采用该方法分析了某工程场地,所得结论成为该工程建设决策的重要依据,展示了该研究方法的有效性和实用性.     

基于知识工程的智能优化软件系统IOPS

根据知识工程理论研究了一种智能型的优化设计软件系统IOPS，该系统集成了连续，离散，随机变量的14种优化算法程序，并通过模型诊断，算法选择，多目标决策，参数设计等专家系统的并行操作，实现了优化设计过程自动化。     

Groundwork for True XML-based Security Pattern Languages

A pattern is used to describe best practices and principles. Patterns have been used successfully in architecture and in software design. We propose to apply the pattern method to XML-based security engineering. Organized collections of interrelated patterns (called pattern languages) can embody whole bodies of knowledge on specific topics. We will discuss patterns and security pattern, pattern languages and the requirements of the pattern languages proposing its essential requirement (the template), and lays the groundwork for our future development of a true XML-based security pattern language.