球磨机制粉系统动态数学模型及其MMS仿真

介绍了钢球磨煤机中间储仓式制粉系统的数学模型，仿真程序与仿真结果。仿真程序ＡＣＳＬ语言编写，求解微分方程采用ＭＭＳ（１）推荐的Ｇｅａｒ（５）方法。模型按照ＭＭＳ的要求实现了ＭＭＳ的模块化，该模块称为ＤＴＭ模块，可作为ＭＭＳ模块库的一个组成部分。     

SMA大肠内窥镜的导向机理与控制计算

介绍了采用形状记忆合金（ＳＭＡ）研制的大肠内窥镜的结构原理，分析了该机构的导向机理，通过推导，给出了ＳＭＡ各关节变位量ΔＬｎ（ｉ，ｊ，ｋ）与弯转方向α，弯转角度θ之间的定量关系式，即ΔＬ＝ｆ（α，θ），采用实验测试的方法得到了（Ｌ与ＳＭＡ元件内阻Ｒ之间的定量关系，即ΔＬ＝φ（Ｒ），为实现整体系统的闭环自动控制提供了依据，并用计算机动态图形仿真验证了计算的结果及整体方案可行性．     

MRPII系统开发的一种形式化方法

研究了ＭＲＰＩＩ系统开发的形式化方法。使用形式化语言ＲＳＬ定义ＭＲＰＩＩ系统的规范和精化关系。以库存管理子模块为例，详细介绍了将形式化方法ＲＡＩＳＥ应用于ＭＲＰＩＩ系统的规范、精化、验证和实现。     

自适应噪声对消中的ELMS算法及其变步长算法

基于对ＬＭＳ算法的研究,提出一种适用于自适应噪声对消（ＡＮＣ）系统的ＥＬＭＳ算法结构,分析比较了ＥＬＭＳ算法与ＬＭＳ算法的统计性能,还提出了一种较为实用的变步长归一化ＭＶＳ－ＡＮＥＬＭＳ算法．大量的计算机模拟仿真论证了新算法的优越性．     

双顾客源可重排队M／M／1系统的模拟和优化

对于双顾客源可重排队Ｍ／Ｍ／１系统，本文利用ＳＩＭＡＮ模拟语言在ＡＴ＆Ｔ６３００微机上实现了仿真试验，分析了系统主要参数既顾客到达间隔时间，服务时间，队列容量，顾客在逼留区的逗留时间对服务性能的影响，并利用优选法给出了系统的优化结构。     

图论语言GTL的设计与实现

本文设计了一种描述图论的专用程序设计语言──ＧＴＬ并用ＰＡＳＣＡＬ语言在 ＩＢＭ－ＰＣ计算机上加以实现。ＧＴＬ 语言是嵌入在宿主语言ＰＡＳＣＡＬ中的。ＧＴＬ的 语句和ＰＡＳＣＡＬ语句可以混合使用，极易将图的计算转换成数值计算；当使用递 归手段来描述图论算法时，可减化算法设计；提供了描述图的相邻矩阵、邻接表、邻 接多重表的表示法及其相互转换，实现了若干图论标准算法，功能较强。使用该语言 进行编程，可不考虑图在计算机内部的具体表示；提高了编程效率。该语言便于编 程，利于模块化和结构化，容易进行程序验证，且可移植到任何有ＰＡＳＣＡＬ 语言 的计算机上去。     

ASVG的系统仿真

本文从电力系统研究的角度建立了ＡＳＧＶ的数学模型，并提出了相应的仿真控制模型，在此基础上编制了ＡＳＶＧ的系统仿真控制软件ＭＴＳＰ－ＡＳＶＧ，仿真结果表明，本文建立的数学模型是合理，可行的，在系统中装设ＡＳＶＧ能够有效地提高系统的暂态稳定性，所编制的仿真软件具有一定的通用性和实用性。     

VLSI－CAM系统的设计与实现

介绍国内首次设计和开发的超大规模集成电路生产计算机辅助制造（ＶＬＳＩ－ＣＡＭ）系统。描述了集成电路（ＩＣ）芯片生产计算机管理系统的软件结构，工艺管理模式，生产调度原则，ＩＣ生产质量管理等。该系统可以小型机或４８６微机为主机，配置多台中西文图形终端及３８６／４８６微机，形成多用户系统与局域网并存的硬件环境。采用ＯＲＡＣＬＥ和ＳＹＢＡＳＥ数据库系统设计开发了两套系统。并已在国内外几家集成电路生产工厂安装使用，取得了很大的经济效益。     

MATLAB5.2版的Simulink在仿真中的应用

介绍了ＭＡＴＬＡＢ５．２版仿真软件的主要功能及Ｓｉｍｕｔｌｉｎｋ的主要特点；用Ｍａｔｌａｂ／Ｓｉｍｕｌｉｎｋ建立闭环直流调速系统的Ｓｉｍｕｌｉｎｋ模型对系统进行仿真指出了Ｍａｔｌａｂ／Ｓｉｍｕｋｉｎｋ内部还有很多值得探索和研究的地方有待进一步去开发和完善。     

Fieldbus网络通信模型中的MAC层

针对现场总线网络模型的实时特征，讨论了其ＭＡＣ层中的通信协议问题，包括有ＦＢＣＯＳ／ＭＡＣ协议族的优先决策、实时虚电路和预约协议；ＦＢＣＬＳ／ＭＡＣ协议族的ＭＬＦ窗口协议和虚时间ＣＳＭＡ协议．在此基础上，概括和推广了基于ＭＬＦ窗口协议既支持ＦＢＣＯＳ又支持ＦＢＣＬＳ的统一窗口协议．不但完成了对ＦＢＣＯＳ／ＭＡＣ，而且也完成了对ＦＢＣＬＳ／ＭＡＣ通信协议的实时性、时间确定性和网络开销等通信模型进行了仿真分析，并且给出了数值结果．     

纯滞后MIMO离散系统建模及数字仿真

针对纯滞后ＭＩＭＯ连续系统模型按常规方法离散化,所得的离散模型不适用于数字控制系统,提出基于ＭＡＴＬＡＢ语言的ＣＡＣＳＤ,求出相关的增广矩阵,重构标准的离散数学模型。仿真研究证实此方法的正确性。     

MATLAB5.2版的Simulink在仿真中的应用

介绍了ＭＡＴＬＡＢ５ ．２ 版仿真软件的主要功能及Ｓｉｍｕｌｉｎｋ 的主要特点;用Ｍａｔｌａｂ／Ｓｉｍｕｌｉｎｋ 建立双闭环直流调速系统的Ｓｉｍｕｌｉｎｋ 模型对系统进行仿真,指出了Ｍａｔｌａｂ／Ｓｉｍｕｋｉｎｋ 内部还有很多值得探索和研究的地方有待进一步去开发和完善     

工业企业管理人员训练系统的研究与开发

在分析国外相关研究成果的基础之上，结合中国企业的实际情况，首先分析了ＭＡＴＳＩＭ的组成和所要达到的基本目标，对ＭＡＴＳＩＭ的总体功能目标进行了设计，对ＭＡＴＳＩＭ的训练机制和应用领域进行了描述；其次，重点设计，实现一个由２５个决策变量，７个子模型，１５０多个方程组成，以产品开发，生产，销售为中心的，为创造模拟环境的企业仿真模型，在模型中，对有关定性因素和因素的定量化进行了尝试；最后，本文提出了一种     

Omninet微机局部网络性能的仿真分析

在着重介绍了Ｏｍｎｉｎｅｔ 网络通信协议ＣＳＭＡ／ＣＡ 的仿真分析与结果的基础 上，建立了信息包为定长、变长以及考虑应答包情况下的仿真模型。讨论了用户工作 站数目、信息包长度以及应答包对系统性能的影响。通过对ＣＳＭＡ／ＣＡ协议与非持 续ＣＳＭＡ协议进行比较分析发现，ＣＳＭＡ／ＣＡ协议的性能优于非持续ＣＳＭＡ协议。     

SQLWindows——一种面向对象编程的数据库开发工具

ＳＱＬＷｉｎｄｏｗｓ是一种为数据库开发应用软件的开发工具，其开发出的应用软件可直接运行于Ｍｉｃｒｏｓｏｆｔ Ｗｉｎｄｏｗｓ之下。ＳＱＬＷｉｎｄｏｗｓ拥有一个被称做ＳＡＬ的编程语言。ＳＡＬ语言支持面向对象的编程。本文介绍了ＳＱＬＷｉｎｄｏｗｓ的功能，主要说明了ＳＡＬ语言所具有的面向对象编程特点。     

基于MATLAB的感应电动机仿真研究

在分析感应电动机数学模型的基础之上,利用ＭＡＴＬＡＢ软件提供的ＳＩＭＵＬＩＮＫ仿真工具,构造了感应电动机的通用仿真模型。并设计一简单的人机交互式界面,使得利用ＭＡＴＡＢ进行交流调速系统的仿真过程大大简化。本模型结构简单,可测量多。研究结果表明其结果能满足一般系统的要求,因而有一定的实用性。     

代数规格说明语言ASL及到PROLOG的转换

本文讨论了代数规范说明技术及其到逻辑程序设计语言ＰＲＯＬＯＧ的转换。首先给出了一种基于抽象数据类型的代数规格说明语言ＡＳＬ：然后介绍了由ＡＳＬ描述的规格说明到ＰＲＯＬＯＧ转换　的形式化方法；在这种方法的基础上设计了一个自动转换系统，该系统接受ＡＳＬ语言描述的规格说明，通过转换规则，逐步将此规格说明转换成可执行的ＰＲＯＬＯＧ语言程序。     

百合基因转化受体系统的建立

以百合叶片为外植体不经愈伤组织直接诱导并且发育成带球径的大苗进行了研究，结果表明：叶片分芽培养基为ＭＳ＋ＢＡ０．５ｍｇ／Ｌ＋ＺＴ０．１ｍｇ／Ｌ＋ＮＡＡ１．０ｍｇ／Ｌ，生根培养基为１／２ＭＳ＋ＮＡＡ０．２～１．０ｍｇ／Ｌ，成球并且生长培养基为ＭＳ＋ＩＡＡ１．０ｍｇ／Ｌ，移栽成活率为１００％．从而建立了百合基因转化的受体系统     

虚拟制造环境下的CAM集成技术研究

ＣＡＤ／ＣＡＰＰ／ＣＡＭ／ＭＰＳ（加工过程仿真）是虚拟制造的关键技术。本系统针对非回转体零件,基于ＳＴＥＰ标准,利用商品化ＣＡＤ／ＣＡＭ软件——Ｐｒｏ／Ｅ为平台,在完成ＣＡＭ与ＣＡＤ、ＣＡＰＰ、ＭＰＳ信息集成的基础上,利用Ｐｒｏ／Ｅ的加工功能实现加工过程的自动化,并为加工过程仿真与ＮＣ代码仿真提供信息需求。本ＣＡＭ系统通过获取ＣＡＤ的零件建模信息,ＣＡＰＰ的工艺规划信息,对Ｐｒｏ／Ｅ的ＣＡＭ信息获取进行重新设计,对Ｐｒｏ／Ｅ的加工功能进行二次开发,实现ＣＡＭ与ＣＡＤ、ＣＡＰＰ、ＭＰＳ的无缝集成,完成零件的自动加工过程仿真,大大减少了工程技术人员的工作量。实际应用表明：此方法集成度高、柔性大。     

KBMDS：基于知识的地图数据库系统

ＫＢＭＤＳ是在ＭＤＳ地图数据库的基础上，结合ＡＩ技术，面向地图的基于知识的地图数据库系统，它具有四种功能：编辑功能、查询功能、学习功能和人机交互功能。系统采用了框架语义网络知识表达方法及其揄机制实现对图象物体的描述和检索，基于查询实例的学习功能提高了系统的查询效率，基于规则的图象物体描述的自动知识获取的途径。ＫＢＭＤＳ提供了两种查询语言，一种是具有二维文法的ＱＰＥ；一种是具有线性文法的ＬＩＰＬ语言