主客观不确定性重要性分析的态相关参数法

针对同时存在主观变量和客观变量的结构系统,提出了一种主客观不确定性因素共同作用下主观变量重要性指标求解的态相关参数（SDP）法.所提方法首先通过主观变量的边缘概率密度函数以及给定主观变量条件下客观变量的条件概率密度函数将两种不确定性传递到结构响应,建立主客观变量共同作用下主观变量重要性指标求解的计算模型,然后利用模型估计高效的SDP方法求得所建模型的一阶高维模型表示（HDMR）,进而得到各主观变量相应的重要性测度指标.与主客观变量重要性分析的直接MonteCarlo法相比,所提方法可以在保证计算精度的同时大幅度提高计算效率.与现有的主客观变量重要性分析的近似法相比,所提方法不仅适用于线性响应函数,而且适用于各种形式的非线性响应函数,因而具有更广泛的适用范围.所提方法的效率和精度将由文中算例验证.     

模型管理的知识及其表示方法

运用辩证系统的思维方法论,从客观事物到主观认知的全过程和不同科学域的共性整体特征出发,较系统地探讨了模型及其管理的知识系统.首先梳理给出基本概念属性模型、数据和信息模型、结构和知识(狭义)模型、问题模型、数学模型和决策或优化模型六个层次的模型集合,明晰模型概念体系与层次关系.然后,基于知识工程的理论方法,抽象给出了模型...     

基于DEVS扩展SRML大纲:仿真模型表示和重用的基础

总结了SRML用于仿真模型表示和重用的意义与存在的不足，提出结合DEVS理论，对SRML大纲进行扩展的途径。重点阐述了DEVS到SRML的映射关系，确定SRML的基本语法和语义，来描述原子模型和组合模型的结构及行为。模型的结构，如属性、输入接口、输出接口、子模型组成等由一组XML标签元素进行描述；模型的行为，如外部转移函数、内部转移函数、输出函数、时间推进函数等由Script标签中的脚本语言以及仿真器提供的一组标准接口进行描述。归纳了扩展的SRML元素体系，并给出一个利用SRML求解微分方程的仿真实例。     

支持协同仿真的模型库管理技术研究

根据协同仿真中对于模型管理的需求，研究了基于CORBA的模型库管理系统的三层体系结构，提出了基于模型字典和模型结构相结合的改进面向对象的模型表示方法，研究和实现了模型的版本．配置、操作等管理技术，最后以汽车姿态控制系统为例，对以上设计思想的可行性加以验证。     

一种语义扩展的DEVS模型表示方法

离散事件系统规范（DEVS）是建立在一般系统理论的基础上的有效的模块化系统建模规范。针对当前基于DEVS的仿真模型表示方法不能描述模型上下文,不能有效支持模型语义组合、重用的问题,提出了语义扩展的DEVS模型表示方法（SEM-DEVS）。SEM-DEVS在原有的DEVS模型规范基础上,增加了模型的实验框架和语义扩展接口,增加了对模型行为表示能力的要求。在SEM-DEVS形式化定义的基础上给出了实验框架以及语义扩展接口的逻辑关系及匹配方法。以逻辑公式方式表示实验框架和语义扩展接口,给出SEM-DEVS的一种实现方法。

Abstract：

Based on general theory, DEVS is an effective and module modeling specification. For the problem of lacking capability of current model representation approaches to describe context and support semantics reuse and composition of simulation model, a Semantic Extended DEVS （SEM-DEVS） model representation approach was proposed. On the base of DEVS, experiment frame and semantic extended port of model were extended to SEM-DEVS. Stricter request to describe the behavior of model was proposed in SEM-DEVS. Logic relationship and match method of experiment frame and semantic extended port of model was brought forward base on formal definition of SEM-DEVS. An implement of SEM-DEVS was proposed, in which experiment frame and semantic extended port were both represented by logic formulas.     

面向对象的DSS模型库管理系统设计

通过分析DSS模型库的特点，介绍了一种基于面向对象数据库的DSS模型库管理系统的设计，讨论了模型表示，模型库的结构、模型库的维护等技术。     

突发事件模型库中模型的层次网络表示方法

模型表示方法是突发事件模型库中模型管理和操纵的基础。该文综合分析突发事件模型的自身特征和辅助,将关系框架和模型网络的表示方法有机地结合起来,提出了一种适合突发事件模型知识表示和模型操纵需求的层次网络模型表示方法。该方法可以根据突发事件不同的辅助决策流程框架,动态地生成相应的模型网络,然后在模型网络中根据决策目标选择出一条或多条模型链。层次网络表示法具有很好的灵活性和智能性,很好地实现了突发事件模型根据不同决策环境和决策对象的模型求解。     

制冷空调仿真中的模型库研究

指出了制冷空调仿真软件研究开发中对模型表示与操作管理上存在的问题，在研究了模型表示方法与操作管理模式之后，结合制冷空调专业特点，提出了一种新的表示方法，并建立了一套模型操作管理的体系结构，解决了模型表示中模型与解程序不分的问题，为后续研究搭建了良好的体系框架．     

DSS模型库管理系统设计

在分析DSS模型库特点基础上，介绍了模型库管理系统的基本功能、结构、工作机制及维护技术等，通过比较多种模型表示方法，结合面向对象的分析方法，提出了一种用面向对象方法来描述模型表示方法，该方法可以解决对模型的共享、重用及合成的支持问题。     

一种基于一阶谓词逻辑的模型表示方法

给出了一种应用于决策支持系统,基于一阶谓词逻辑的模型表示方法,并分析了此种表示方法的实用性和推理机制。