线性规划模型建模和分析管理

本文采用标识集将线性规划模型的代数形式与其自然语言的模型文档统一在同一框架,建立标识线性规划模型,除去标识模型的代数成份,形成线性规划模型的模型文档.决策人员可以其熟悉的专业术语通过交互建模,根据模型构造规则对输入文档信息进行语法检查,完成模型文档相关信息的输入,并通过对模型文档的约束条件和目标进行特化(specialize)和例化(instantiated),将模型文档生成线性规划模型的标准形式或算法约定的格式.模型构造规则统一了标识数学规划模型与关系数据库框架,并集成了模型管理、模型结构分析、模型数据分析、数据库管理等功能.     

关于建模的几个问题

本文从等效模型的角度阐述了各种辨识方法,讨论了在建模中存在的问题.     

FMS可视化建模、仿真和验证的集成设计方法

本文提出了一种运用面向对象的建模语言“统一建模语言(UML)”和SPIN(PROMELA模型)来对柔性制造系统进行建模和验证的方法。运用UML中的类图来表示FMS中对象之间的静态关系,运用状态图来描述系统的动态行为。然后将UML的模型自动转化为PORMELA模型,运用模型检查工具SPIN来对此模型进行检查,以验证模型的正确性。此方法可以描述和检查系统的性质,从建模,仿真一直到模型检查,提供对FMS的全面系统的设计,并可被用来设计可靠的FMS控制软件。     

Vite:一个混合系统建模仿真框架

提出了一个使用通用平台实现的混合系统仿真框架:Vite.Vite基于方程建模,提取了构成仿真的模型、问题和数值求解器三个抽象,提高了模型的复用性,降低了Vite内部各组成部分的耦合性;使用关联和连接器以组合模型的方式搭建系统,构成系统的模型和方程可以被层次化的管理;用MathML表示方程,用XML表示模型,提高了模型的共享性;设计了模型与求解器的接口,增加了数值解法的选择性.     

基于MBSE的民机系统功能建模方法

针对传统系统工程存在的迭代周期长、开发效率低、模型二义性等问题, 结合基于模型的系统工程理念, 将敏捷系统工程概念引入到民机研制过程中, 并利用系统建模语言定义了基于场景的功能建模方法, 详细分析了民机自动飞行控制系统高度控制用例的顶层功能愿景, 建立了对应的功能模型和接口描述视图。该方法以迭代的形式展开系统功能建模, 能够充分保证需求和功能模型紧密结合, 正向构建满足民机系统以需求为导向的功能建模方法, 为民机系统的架构设计工作提供基础。     

面向服务的分布式建模仿真框架研究

HLA为分布式建模仿真提供了技术支持，但只限于局域网的仿真应用。面向服务架构SOA提供了一种新的分布式计算模式，支持跨平台、互操作性和重用性。设计了一个面向服务的分布式建模仿真框架（SoDMSF），提出资源层、建模层、服务发布层和仿真运行平台层的4层仿真体系结构，以支持面向服务的分布式仿真建模集成环境．研究了该框架的组成结构、关键技术，实现了原型系统。该框架使得分布式仿真系统具有更好的可扩展性，便于实现仿真模型／系统的重用。     

基于UML/OCL的C4ISR效能概念建模分析

为了统一描述军事电子信息系统(command control communication computers intelligence surveillance and reconnaissance, C4ISR)系统功能和效能两方面的需求,提出了一种基于统一建模语言/对象约束语言(unified modeling language/object constraint language, UML/OCL)的C4ISR效能概念建模和形式化验证方法。首先,利用效能相关概念扩展了DoDAF 2.0能力元模型,构建一个能够同时引导C4ISR能力的功能分析和效能分析的元模型;将该元模型描述为UML Profile,形成一种基于UML的C4ISR效能概念建模语言,并支持C4ISR效能概念模型检验;最后借助一个假想案例分析说明了该建模语言对C4ISR能力的功能和效能概念建模及模型验证的能力。该方法可弥补UML建模技术在特定领域效能分析方面的不足。     

Agent建模的情感集成研究

缺少个体特色的agent在行为模式上往往比较"呆板",而且其行为可以被预测,导致系统的真实性和有效性降低.情感是能够影响人类行为的重要因素,在人类决策中发挥着重要作用.为构建行为更为真实的agent,提出了一种将情感产生机制嵌入到一个成熟的agent体系结构中的方法,依照该方法构建的agent以Soar为基础实现推理和决策,以基于OCC模型的情感模块实现agent情感的生成与更新.同时,文章认为agent的情感状态受其个性、情感历史以及外部刺激决定,并给出了agent情感产生模型,同时分析了情感对agent决策过程的影响机理.最后通过一个具体的仿真实例,验证了基于该框架建立的agent情感和决策的相互影响作用.     

基于脸部结构知识的三维人脸建模

将Sibson坐标用于局部特征分析,提出了一个新的局部形变模型.该模型具有较强的局部性,可以精细地刻画人脸个性特征,且能够根据人脸形状的先验信息进行整体控制.然后,在局部形变的基础上采用双重形变,实现了两种互补的形变算法在特征级的融合,进一步提高了建模精度.实验结果表明,本算法具有较小的重建误差和较快的处理速度,能够生成光滑、逼真的三维人脸模型.     

用遗传程序设计实现复杂函数的自动建模

采用遗传程序设计的方法实现复杂函数的自动建模，程序中用树的分层结构表示复杂函数，并设计了相应的遗传算子(包括杂交算子和变异算子)以及停机条件。实例测试的结果表明采用遗传程序设计的方法得到的模型比传统的方法得到的模型要好，甚至优于专家设计的一些模型。     

STABILITY ROBUSTNESS MEASURES OF LINEAR STATE- SMCE MODELS WITH STRUCTURED PERTURBATIONSCAO Dengqing

1.IntroductionTherobuststabilityanalysisoflinearuncertainsystemshasbeenanactiveresearchtopicincolltroltheoryforsometime.Forexmple,seeDoratoandYedavallil1]andSiljak[']forasummaryofreceatdevelopmelltsinthisarea.Inparticular,thereisconsiderableliteratureavailableonthestabilityrobustnessmeasuresoflinearstate-spacesystemswithparameterperturbationswheretheuncertailltycanbeeithernormbounded(unstructured)orintermsofboundsontheintervals0ftheindividualelemelltsoftheperturbationmatris(structured).Sever…     

THE EQUILIBRIA OF THE SIZE STRUCTURED POPULATION MODEL

In this paper the existence and stability of the positive equilibrium of the size-structured population model are proved by Rabinowitz‘s theorem and the local linearization method.The result here shows that near the bifurcation point where a branch of positive equilibria appears,the stability of the positive equilibrium on the branch is dcpendent on the direction of the bifurcation.The argument for the model of age-structured population is generalized in this paper.     

一类动态消费系统建模复杂性的先验分析方法

本文基于线性系统的度量复杂性理论，通过描述消费过程的一个机理模型，研究了一类消费系统的建模复杂性问题．利用系统量度复杂性理论中的Ｋｏｌｍｏｇｏｒｏｖｎ－宽度和辨识ｎ－宽度等概念，给出一类经济计量模型的建模误差及辨识误差与观测信息多少之间的关系，并证明了此类经济计量模型关于模型阶数和观测信息多少具有一定的鲁棒性．     

最优化与随机模拟联合运用的双层多级水资源系统模型

本文提出将多级最优化与随机模拟技术结合组成推广的谱系决策模型ＧＤＭＤＭ，用于解决复杂的大规模水资源－水质系统的规划调度和校核问题。ＧＤＭＤＭ由多级最优化模块和随机模拟块组成，它们通过交换决策为量和效用函数实现耦合，并在系统决策层管理下完成检验和协调。     

基于结构模型的模型管理

为了使模型管理系统能支持三类不同层次的模型用户,探讨了分别面向信息用户、模型建立者和ＤＳＳ工具建造者的结构模型、模型网络图和模型描述语言的管理方法,讨论了模型描述语句的校验方法和模型描述语句与模型网络图的转换方法,提出了结构模型执行前提判断算法和执行后模型状态设置算法,并给出了在基础教育规划决策支持系统的应用实例．     

计量经济中一类单指标模型的建模

本文基于对统计学中广义线性模型的分析、详细研究了计量经济中一类单指标模型的建模问题，提出了相应的参数估计与推断算法，并加以实施。实例分析说明该模型及其方法在实际应用中具有优越性。     

Petri网：一种可视化建模支持工具

Ｐｅｔｒｉ网作为建模工具已有广泛的应用，本文把Ｐｅｔｒｉ网引入到决策支持系统之中，把它作为ＤＳＳ的可视化模型管理和建模支持的工具．文中讨论了基于Ｐｅｔｒｉ网的模型表示方法，研究了Ｐｅｔｒｉ网表示的模型的循环和连通问题，并给出了模型求解过程和模型生成的算法     

MODELING AND ANALYSIS OF ENERGY SYSTEM BASED ON COMPLEX ADAPTIVE SYSTEM

Complex adaptive system (CAS) is a kind of complex system in natural and artificial systems. In this paper, the theory of complex adaptive system is introduced at first. Considering the characteristic of energy system, it can be regarded as a complex adaptive system. After the evolutionary law is analysed, the energy complex system model is established based on CAS and application tool SWARM, which is a simulation software platform. The model differs from the models as well as methods developed before. As an application, China's energy system is simulated with the model established above. China's future total energy demand in the future, energy structure and related in fluence on environment are presented.     

管理浮动汇率制度下人民币汇率决定模型研究

根据现阶段我国的实际经济背景和管理浮动汇率制度的特点，应用经济理论和系统分析方法，通过对人民币汇率决定机制的分析，建立人民币汇率决定模型，根据所建立的模型，得出如下结论；人民币对美元汇率的变化率是由西方主要货币对美元汇率的变化率，商品的相对价格的变化率，国内外利率差，外债余额对收入比率的变化率及国内货币供应量的变化率共同决定的。     

QUEUEING NETWORK MODELING AND ANALYSIS IN THE DESIGN AND EVALUATION OF SEAPORT SYSTEMS

1.IntroductionDlletothecapacityconstraintsacttiledeepwaterPiel.s,1llztllyI)ortsarefacinglongdelaysoftilea,rrivingstealllsllil)sarrivingfyolntilePad(~ifi(.oceitll.Ashot,e(lillYlle,etal.[1].ifports}'stellllllllst,l)eplannedtosatisfybotllill(>steamshipcolnpa…