CPS中环境信息的建模方法

基于元建模设施和建模技术, 提出一种物理信息融合系统中环境信息的建模方法. 该方法利用层次化的建模思想和领域化的建模方法, 定义了环境信息的元元模型及不同领域中环境信息的元模型, 实现了环境信息的元信息统一和不同领域中展现形式的多样性. 该方法有利于解决物理信息融合系统中由于多维异构性导致的环境信
息描述不统一和环境信息融合交互困难的问题.     

基于UML的领域规则建模方法

为了实现领域约束规则的可视化表示,检验需求模型与领域知识之间的一致性,该文提出一种领域规则建模及需求模型验证方法.在借鉴本体定义元模型和语义网规则语言(SWRL)基础上,定义了一种领域规则定义元模型.用该元模型扩展统一建模语言,使其可用于领域规则建模.给出了领域规则模型到SWRL描述的转换方法,使需求模型验证可通过形式化推理引擎自动完成.通过模型验证案例分析,说明了该方法的可用性.     

基于元模型的企业模型表达

为了促进不同建模方法所建模型之间的信息集成和共享,并解决目前各种建模技术和建模语言之间的差异所造成的多模型驱动系统集成的障碍,该文以模型驱动体系结构(MDA)思想为基础,从元模型层面提出图形层和概念层分离的建模软件开发思路,构建了以可扩展标记语言(XML)作为数据交换格式的通用企业建模工具系统框架,利用元模型描述相关建模方法的语法和语义.以IDEF3建模方法为例,验证了系统框架中元模型XML模式(Schema)的构建方法,通过元模型实现了模型之间的信息交互和共享.     

一种基于MDA的领域对象建模工具

基于MVC架构,设计并实现了采用元对象设施(meta object facility,MOF)的四层模型分层管理架构对象建模工具,应用两阶段建模理论,将传统的建模工作分解为元建模和传统建模两个阶段.对特定领域进行分析后,使用改进自MOF元语言的XKL语言实现领域建模.结果表明,该建模工具提高了开发效率,减少了重复开发.     

Revit-Midas/Civil模型转换方法及应用

为解决桥梁结构分析过程中手动建模效率低且重复性强等问题,依托Revit和Midas/Civil软件平台,在Visual Studio开发环境下采用Revit API和C#语言,提出了一种BIM模型向结构有限元模型的自动转换方法,并设计了一种Revit向Midas/Civil的模型转换程序.以某连续梁桥工程为对象,通过访问BIM模型中结构构件对象存储的属性信息,获取桥梁结构分析所需的有限元建模参数,并转换成适用于Midas/Civil的语言格式,实现了有限元建模过程中结构参数信息的准确添加.在此基础上,根据桥梁有限元模型的应力分析结果,验证模型转换方法的可行性.结果 表明,所提出的Revit-Midas/Civil模型转换方法可实现BIM模型向结构分析模型的自动转换,有效提高了桥梁结构分析的建模效率,弥补了BIM技术在桥梁结构分析方面的不足.     

一种基于SysML/MARTE/pCCSL的信息物理融合系统协同建模方法

信息物理融合系统(Cyber-Physical Systems, CPS)是一个综合计算、网络和物理环境的多维复杂系统.针对这种异构系统的建模问题一直是人们研究的重点,但是,缺乏系统性的方法来建模CPS的特性,如异构性、不确定性、软硬协同和非功能属性(Non-Functional Properties, NFP)等.提出了一种基于SysML (System Modeling Language)/MARTE (Modeling and Analysis of Real-Time and Embedded Systems)/pCCSL (p Clock Constraint Specification Language)的协同建模方法,实现了从不同视角建模CPS的不同特征,包括系统的结构、行为、时钟约束和NFP.该方法的新颖性在于使用pCCSL规约各模型之间的交互和同步,显式地建模模型之间的逻辑一致性.同时,为了捕捉CPS的特性如随机行为和连续行为,扩展了一些SysML/MARTE的元模型.最后,给出了一个智能建筑的案例以展示所提出的协同建模方法的可用性.     

一种支持语义互操作的过程模型注册元模型

现有过程规范面向特定的业务领域且缺乏必要的语义信息管理机制,导致跨企业的业务协作和过程集成难以有效实施.针对这一问题,提出了一种基于本体元建模理论的过程模型注册元模型.其中基本模型用于注册和管理不同组织构造的、基于不同描述语言的过程模型的公共结构信息,过程控制模型用于记录过程模型中的语义信息和附加语义标识.通过两个应用场景的案例说明使用该元模型能够有效注册和管理各类异构过程模型,为实现过程模型之间的语义互操作提供了保障.     

一种线性/非线性自回归模型及其在建模和预测中的应用

为提高模型准确性,在经典时序建模策略的基础上,提出了一种带有外部输入的线性/非线性自回归模型,并应用Weierstrass逼近定理推导出其一般表达式(GNARX),该模型允许带有多个外部输入以实现复杂系统的建模和辨识.针对该模型结构给出了其最小二乘参数估计方法,并采用结合建模误差、预测误差及模型复杂度的修正信息准则(AIC)确定最优模型结构.最后,将该模型应用于仿真数据和振动位移采样电流数据的建模与预测.结果表明,GNARX模型的建模和预测精度均高于AR,GNAR,ARX模型及BP神经网络模型,表现出良好的线性/非线性建模和预测能力,及较好的通用性和实用价值.     

面向特征的领域建模方法及其在VMI库存管理领域中的应用

特征模型是现阶段领域工程普遍采用的描述领域需求的方法。在已有研究的基础上,针对现有特征模型结构上的不足,对现有特征模型进行扩展,提出了一个特征模型元模型,并详细介绍了该模型的建模过程。最后,根据模型,按照详细建模过程对VMI库存管理领域进行了特征建模。     

一种基于GMF的测试系统可视化建模方法

测试系统建模是将模型驱动的思想引入测试领域,实现了测试资源的重利用,有效的缩短了测试周期,更好地适应需求或设计规格的变更.测试系统可视化建模研究在定义测试系统元模型的基础上,使用基于模型驱动开发方法的GMF图形建模框架技术建立测试系统模型及数据实例编辑器.通过定义领域模型、图形模型、工具模型以及将这三者结合起来的映射模型,解析测试模型转化成的符合相应Schema的XML文件,实现了可视化建模和部分代码的自动生成.     

CALPUFF在复杂地形条件下的近场大气扩散模拟研究

利用在湖南省丘陵河谷地区开展的高时空分辨率大气扩散综合实验资料, 研究美国国家环保局(USEPA)推荐的导则模式CALPUFF (California Puff Model)在复杂地形条件下近场应用的适用性。采用不同时间分辨率的诊断风场和不同扩散参数计算方案, 模拟不同气象条件下的近场地面浓度分布。通过与示踪实验实测采样浓度对比分析, 得到: 采用实测湍流廓线资料计算扩散参数能够较好地模拟近场浓度分布; 将实测湍流速度标准差与稳定度参数的拟合关系替代CALPUFF默认的湍流参数化方案, 能够改进默认相似性理论方案的模拟结果; 风速较大、风向稳定时, 模拟结果对风场的时间分辨率和扩散参数计算方案的敏感性较弱; 风速较小、风向多变时, 需采用逐10 min风场模拟地面浓度场分布, 且实测湍流方案模拟结果相较于相似性理论方案模拟值偏大, 并更接近实测值。总之, 采用逐时风场和实测湍流方案, 或逐10 min风场和修正后的相似性理论方案的CALPUFF模式能较好地模拟研究区域复杂地形的近场峰值浓度。     

企业参考资源模型的建立

提出参考资源模型结构,并给出其构造方法,研究其在建模导出过程中的支持作用.企业参考资源模型是一个资源的参考目录,在建立特定企业资源模型时,可以直接从参考资源模型中选取所需资源.参考资源模型的建立支持资源重组,缩短建模时间,从而加速建模的进程.     

潜语义分析语言模型及其在汉语大词汇连续语音识别中的应用

分析了潜语义分析语言模型在建模和解码过程中的主要问题, 实现了潜语义分析语言模型的建模, 并提出一种在连续语音识别系统一遍解码框架中融合的方法. 实验结果表明, 该方法可有效地提高大词汇汉语连续语音识别系统的性能.      

军事仿真概念模型的开发方法研究

军事仿真概念模型是一切军事建模仿真系统开发的共同起点，是对现实军事世界中的事物或现象的一种独立于具体仿真实现的表示，是促进军事领域专家与仿真技术人员沟通与协作，提高仿真模型正确性、互操作与重用性的基础。该文概述了军事仿真概念建模研究的主要内容，包括军事概念模型相关的概念、定义、建模语言、建模过程、关键技术和工具，简单介绍了其用途。     

动力系统流场计算动态网格生成模型研究

运用网格分块生成与整体集成方法,提出了复杂动力机械系统内流场三维流动计算网格自动生成模型,并以K100摩托车发动机扫描气系统为对象,实现了换气过程瞬态数值模拟动态网格的自动生成,数值计算结果,该方法可用于复杂机械系统内流场三维瞬态流动的数值计算。     

GC感受野的双高斯差和外周相互抑制网络模型的空间响应特性

模拟和模型是视觉研究的重要手段．本文应用计算机的模拟手段．分别对GC感受野的双高斯差模型和外周相互抑制网络模型的空间响应分布特性进行了研究，并观察了它们的边缘检测性能．本文的结果将为GC感受野视觉计算原理的进一步探索，以及以视觉原理为依据的图象技术的改进提供帮助．     

LAMOST有限元模型的径向基网络修正法

天文学的发展要求望远镜的口径越来越大,对其建立有限元模型进行动力学分析已成为必要步骤.为了保证理论分析结果符合实际,必须对有限元模型进行修正.针对大望远镜模型修正的难点,提出一种基于径向基神经网络的含有隐藏变量的改进迭代法.首先建立了LAMOST空间桁架和平衡系统的有限元模型.其次从实际出发,讨论了神经网络输入输出的选择方法.用有限的数据信息修正误差大的参数,而小误差参数作为神经网络的隐藏变量,可看作噪声而不予修正.采用均匀设计法获得神经网络的训练样本集,减小了计算量.然后在网络迭代求解过程中,每次在输出参数的附近增加均匀分布的若干个样本,而不是输出参数的单独一个样本,可防止网络性能突然变差,改善泛化特性.最后,悬臂梁和望远镜桁架仿真结果表明,含有隐藏变量的神经网络仍然能够收敛.用实测数据修正了LAMOST的平衡系统,表明了该方法的可行性和有效性.     

Development of a Chinese land data assimilation system:its progress and prospects

The objective of land data assimilation is to merge multi-source observations into the dynamics of land surface model for improving the estimation of land surface states.We have developed a land data assimilation system for China's land territory.In this sys- tem,the Common Land Model and Simple Biosphere Model 2 are used to simulate land surface processes.The radiative transfer models of thawed and frozen soil,snow,lake,and vegetation are used as observation operators to transfer model predictions into estimated bright- ness temperatures.A Monte-Carlo based sequential filter,the ensemble Kalman filter,is implemented as data assimilation method to inte- grate modeling and observation.The system is capable of assimilating passive microwave remotely sensed data such as special sensor mi- crowave/imager (SSM/I),TRMM microwave imager (TMI),and advanced microwave scanning radiometer enhanced for EOS (AMSR- E) and the conventional in situ measurements of soil and snow.A spatiotemporally consistent assimilated dataset for soil moisture,soil temperature,snow and frozen soil,with a spatial resolution of 0.25 degree and temporal resolution of one hour,has been produced.This paper introduces the development of Chinese land data assimilation system and the progress made on data assimilation algorithms,land sur- face modeling,microwave remote sensing of land surface hydrological variables,and the preparation of atmospheric forcing data.The dis- tinct characteristics and challenges of developing land data assimilation system and the perspectives for future development are also dis- cussed.     

数据处理的序列弱化逐步优化直接模型

分析数据处理的现状后, 运用灰色系统理论, 建立了数据处理的序列弱化逐步优化直接GM( 1, 1) 模型, 给出了精度检验方法; 编制Matlab 程序, 给出了线图处理实例, 并与各种灰色模型进行比较. 该模型不需要累加生成和累减生成,不仅适合于等间距建模, 也适合于非等间距建模, 具有精度高、使用简便等特点.     

一种基于EAI模型的软件安全测试方法

研究了一种用于测试软件安全的基于EAI(Environment Application Interaction Model)模型的软件错误注入测试方法,提出了用包裹函数实现软件错误注入的安全测试方法及实现方法.对四个应用软件进行了实际测试,实验结果表明,该方法是有效的.