循环流化床锅炉整体自动建模系统的数字模型

该文针对循环流化床锅炉建模问题，设计了新的整体搭建模型步骤，并在先进的建模工具－计算机代数系统的基础上开发了基于符号计算的循环流化床锅炉自动建模系统。与国外同类产品相比，本系统的推演更高效、更直观，灵活性更强。实践证明，带有自动建模系统的循环流化床锅炉整体模型能够节约一半左右的模型开发时间，使研究人员从繁琐的手工推导和编程工作中解脱出来，具有很强的实用性，该文建立整体模型的思路和自动建模系统还可以推广到鼓泡流化床，增压流化床、气化炉等一类热能动力系统的建模中，为其它对象的模型研究奠定了基础。     

基于排队论的自动化立体仓库AGV调度效率分析

为了提高自动化立体仓库系统AGV的输送效率，在对整体系统进行介绍后，运用排队论理论对自动化立体仓库AGV的调度系统进行建模，得到M／G／1模型，在对该模型理论分析后，就该模型的调度效率进行了分析。     

面向信息化整体解决方案的集成化企业建模框架

针对信息化整体解决方案的目标、内容，分析了整体解决方案对模型的需求，给出面向信忠化整体解决方案的集成化企业建模框架EMITS．提出模型内容和结构随生命周期阶段不同而不同的观点，分析了各阶段的模型组成、模型之间的关系和模型演化过程，并给出基于EMITS的建模系统功能框架．     

基于最小路集的系统可靠性综合方法

单元不同分布时的系统可靠性综合问题虽已解决并在工程中得到了应用，但传统模型并不能描述系统的整体特性。基于最小路集理论，综合由Monte-Carlo法产生的各单元寿命随机值，提出了一种模拟仿真模型，可以有效地求出系统的整体寿命分布特性。经过对比验证，仿真结果理想。统计推断过程可以在计算机上实现，方便工程应用。     

用于复杂数字系统测试的整体功能模型

运用《系统论》的思想，提出数字系统功能和复杂数字系统整体功能的概念，由此引伸出功能测试的新方法，这种方法可归结为通过复杂数字系统的分析，包括拓扑分析和逻辑分析，建立整体功能模型，据此找出验证测试所需的系统输入向量序列。这些工作可采用计算机辅助手段，特别是运用《算法图论》和逻辑综合工具而完成的。用所提出的方法可以在复杂数字系统各种不同抽象级的逻辑图中提取整体功能模型，因此具有广泛的适用性。     

基于智能代理的远程教学系统研究

文章将智能代理技术引入远程教学系统，设计了一个智能化的远程教学模型，给出了系统的整体设计，描述了利用多代理技术实现的教学代理的基本结构和相互间的通信机制。该模型建立了个性化和协作式学习环境，实现了远程教学系统的自适应性和智能性。     

热电偶测量锅炉烟气温度的动态补偿方法

针对电站锅炉烟气温度测量中存在的显示数据动态误差问题．通过分析测量系统的动态模型及其频率响应特性，提出了烟温测量数值补偿方案和计算模型。经测试，系统的整体响应特性得到加快，解决了该系统的动态测量问题。     

智能机器人系统的形式化建模

基于作者先前巳为智能机器人系统提出并建造成的一种新型结构模型──环递阶模型［１，２］，应用形式语言理论，首次将智能机器人系统整体形式化地建模成了一种上下文无关文法．     

智能机器人系统的形式建模

基于作者先前已为智能机器人系统提出并建造成的一种新型结构模型－－环递阶模型＾［１，２］，应用形式语言理论，首次将智能机器人系统整体形式化地建模成了一种上下文无关文法。     

军事作战中的整体作战模型

提出了一种新的军事作战模型，称之为整体作战模型．整体作战模型通过确立作战单位的整体作战指数来建立作战模型，反映了作战单位的整体作战能力．定义了整体作战指数，然后建立了整体作战模型，求出了模型的解并对其进行了分析，说明了整体作战的一些特点，并提出了一种判定胜负的新标准，最后给出了一些计算实例和仿真结果．本质上整体作战模型是一种非线性模型，反映了作战中的非线性规律．     

汽车主动悬架高精度数学模型的计算机仿真

由于车辆主动悬架在实际应用中存在一些问题，因此需要一个高精度的数学模型来真实地描述实际的系统。该文分别对两个1／4车辆主动悬架系统的数学模型进行描述，并分别对整个悬架系统采用最优控制策略进行仿真，通过比较可以得出建立高精度数学模型对主动悬架系统研究的重要性。     

基于度量的嵌入式软件缺陷风险分析研究

通过对COSMIC-FFP模型的扩展优化提出了嵌入式软件系统度量的方法,从而解决了COSMIC-FFP模型不支持对含有复杂数学算法的嵌入式实时系统度量的问题,基于软件规模度量提出了软件缺陷度量的方法。通过对软件规模的准确度量和对软件缺陷风险的分析,发现软件项目过程风险管理的不足,达到降低软件项目过程风险的目的。     

基于多色图理论的PDM版本管理模拟的研究

多色图是离散系统仿真经常用到的一种数学工具,文中通过对现有PDM版本关系模型的分析,提出了一种基于多色图的版本管理模型,用以反映在整个设计过程中完整的产品设计信息,并将版本集看作多色图集合,给出了该模型具体的操作方法。     

飞机环境控制系统的仿真研究

以飞机环境控制系统(AECS)为研究对象,建立了系统各主要部件的数学模型,对系统进行丁仿真研究。采用模块化结构的方法,利用Matlab／Simulink建立各部件的仿真模块并构成系统进行仿真研究,对系统在扰动下的动态响应进行了仿真分析。仿真结果表明所建模型具有较高的精度,为研究飞机环境控制系统的动态性能提供了新的实现途径。     

GIS与二维泥石流数学模型集成系统研究

针对栅格式ＧＩＳ－ＥＲＤＡＳ和二维泥石流流团模型系统（ＤＥＢＲＩＳ），从模型参数自动获取、数据处理、ＧＩＳ与模型系统的集成策略与操作机制、模型产生的多时相泥石流数据的ＧＩＳ管理与可视化表达、泥石流模拟数据的深层次分析等多个方面探讨了两者之间的系统集成问题。依此为基础，设计并实现了系统间的有效连接。     

基于Web服务的数学模型库管理系统的设计

针对目前各种数学模型库管理系统存在的问题,结合Web服务可分布式部署、共享性强、可远程调用的特点,通过建立数学模型到Web服务的映射,在运用Web服务对数学模型打包的基础上,设计了一种新的数学模型库管理系统,并研究了系统的结构、使用步骤和具体的实现。该系统通过分布式网络环境对数学模型进行部署和访问,使得数学模型具有较强的可共享性和可控性,同时也大大降低了模型库管理系统与数学模型之间的耦合性,有效地解决数学模型库的管理问题,同现有的系统相比,具有明显的优越性。     

Fractional-Order Control for a Novel Chaotic System Without Equilibrium

The control problem is discussed for a chaotic system without equilibrium in this paper. On the basis of the linear mathematical model of the two-wheeled self-balancing robot, a novel chaotic system which has no equilibrium is proposed. The basic dynamical properties of this new system are studied via Lyapunov exponents and Poincaré map. To further demonstrate the physical realizability of the presented novel chaotic system, a chaotic circuit is designed. By using fractional-order operators, a controller is designed based on the state-feedback method. According to the Gronwall inequality, Laplace transform and Mittag-Leffler function, a new control scheme is explored for the whole closed-loop system. Under the developed control scheme, the state variables of the closed-loop system are controlled to stabilize them to zero. Finally, the numerical simulation results of the chaotic system with equilibrium and without equilibrium illustrate the effectiveness of the proposed control scheme.      

一种新的知觉分割模型*

根据知觉的最新理论研究和实验结果,提出一种新的知觉模型,并用于考查计算机视觉中的分割问题.分割问题实质上是知觉表达问题,现在分割的困难性可能是知觉上局部到整体的还原论假设造成的;分割可能不是一次完成的,而是经过整体到局部的过程才最终完成.新的知觉模型将对建立更好的分割模型提供理论基础.     

飞机环境控制系统分布式实时仿真

该文以整个环境控制系统为研究对象,根据其仿真的实际情况,根据传热学,热力学管理,建立了系统的数学模型,在此基础上,对系统进行分布式实时仿真。     

海量存储系统能耗评测模型的研究

针对海量存储系统能耗建模的问题, 在理论研究的基础上用数学语言描述系统能耗的各个组成部分, 并进行整合以得出系统整体的能耗模型。通过模型估算值与实际测试值的对比, 验证了该能耗模型的有效性和可用性, 为海量存储系统能耗预估以及制定相关能耗模型提供了思路。