基于AOS树表达的冲压工艺设计

提出了冲压元的概念,阐述了ＡＯＳ树表示方法,提出利用冲压元与ＡＯＳ树建立冲压工芤模型。首先描述冲压件各特征的冲压工艺ＡＯＳ树表达,然后以此为基础描述特征组合的冲压工艺ＡＯＳ树表达,该描述方式符合工艺设计分阶段、分层次、从局部到全局的规律。最后以一具体的冲压件实例说明ＡＯＳ树表示方法。     

基于聚类描述的培养算子与TSP求解

首先提出用聚类树描述ＴＳＰ对象的新方法;并在此基础上,提出了培养算子的基本概念和方法,以进一步改进解的质量。对多个ＴＳＰ实例求解的实验表明,基于聚类描述的培养算子对ＴＳＰ的求解具有良好的效果。     

CGS∶ 一种新的合成路径计算机表示方法

给出一种新的化学信息计算机表示方法：紧缩合成图（ＣＧＳ）。该方法可以以一种统一的方式来描述原子、反应和合成路径。ＣＧＳ的描述能力在理论上没有限制，加之采用面向对象的实现，从而确保了其扩展性和可移植性。通过例子介绍了ＣＧＳ的逻辑结构，并讨论了有关实现的细节     

MESIDSS的设计与实现方法研究

阐述了将专家系统的基本概念和实现方法同决策支持系统的开发技术相融合的一种新型的多专家系统集成式决策支持系统提出的必要性，给出了ＭＥＳＩＤＳＳ的基本概念的特征，描述了ＭＥＳＩＤＳＳ的基本结构框架，着重讨论了ＭＥＳＩＤＳＳ中各组部分所应具备的功能以及系统的实现方法。     

MESIDSS 的设计与实现方法研究

阐述了将专家系统的基本概念和实现方法同决策支持系统的开发技术相融合的一种新型的多专家系统集成式决策支持系统（ＭＥＳＩＤＳＳ）提出的必要性，给出了ＭＥＳＩＤＳＳ的基本概念和特征，描述了ＭＥＳＩＤＳＳ的基本结构框架，着重讨论了ＭＥＳＩＤＳＳ中各组成部分所应具备的功能以及系统的实现方法．     

CGS：一种新的合成路径计算机表示方法

给出了一种新的化学信息计算机表示方法：紧缩合成图（ＣＧＳ）。该方法可以以一种统一的方式来描述原子、反应和合成路径。ＣＧＳ的描述能力在理论上没有限制，加之采用面向对象的实现，从而确保了其扩展性和可移植性。通过例子介绍了ＣＧＳ的逻辑结构，并讨论了有关实现的细节。     

WWW服务器的动态主页设计与实现技术研究

本文介绍了一种基于Ｉｎｔｅｒｎｅｔ Ｉｎｆｏｒｍａｔｉｏｎ Ｓｅｒｖｅｒ机制,采用Ｎｏｔｅｓ Ｄｏｍｉｎｏ和Ｓｙｂａｓｅ ＳＱＬ Ｓｅｒｖｅｒ两种数据库引擎 动态网络主页系统设计和制作 方法,并描述了该方法在研制“辽宁省物价信息网络系统”中的实现技术。     

基于人工神经网络和专家系统Shell的城市发展水平综合评价专家系统的研究

基于人工神经网络（ＡＮＮ）和专家系统Ｓｈｅｌｌ（ＥＳＳ），提出了一种城市发展水平综合评价专家系统（ＣＣＥＥＳ）的基本结构模式，并对ＣＣＥＥＳ中评价指标规范化方法、基于ＡＮＮ的知识获取方法，基于决策表的知识库自动生成方法以及推进机的工作原理作了描述。     

基于OSI网络管理信息模型的建立

ＯＳＩ网络管理信息模型结构ＳＭＩ（ＳｔｒｕｃｔｕｒｅｏｆＭａｎａｇｅｍｅｎｔＩｎｆｏｒｍａｔｉｏｎ）在开放系统工连ＯＳＩ标准里已成为重要角色．这里论述了管理对象如何命名的描述方法，并给出ＯＳＩ管理对象标识参考．提出了一种基于ＬＡＮ互连网间网管理信息模型的建立方法．     

一种移植串行系统到并行环境的MSP方法

提出一种把串行系统移植到并行处理环境的工程化方法ＭＳＰ（Ｍｉｇｒａｔｉｎｇ Ｓｅｑｕｅｎｔｉａｌ ｓｙｓｔｅｍ ｔｏ Ｐａｒａｌｌｅｌ ｅｎｖｉｒｏｎｍｅｎｔｓ）。它分为３个阶段；分析阶段获取串行系统的设计描述，综合阶段根据分析阶段获得的设计描述生成程序相关图，转移阶段根据分析阶段与综合阶段的结果得出原系统的并行设计描述。该方法弥补了传统转换方法片面集中于代码到代码的转换，对原程序总体设计理解不够     

PostScript语言中图象输出及其变换

ＰｏｓｔＳｃｒｉｐｔ 语言作为一种页面描述语言， 它提供了极强的图形能力， 其主要应用是在打印页和显示页上描述文本、图形及样本图象－ 使用该语言编写的程序可将文档的描述从印刷系统到打印系统之间进行通讯－ＰｏｓｔＳｃｒｉｐｔ 语言能够根据多种彩色模型以任意分辨率对图象进行描述－ 同时， 它也提供了多种方法在输出设备上重现图象－ 本文讨论了ＰｏｓｔＳｃｒｉｐｔ 语言中图象的输出及其变换， 以供在制作应用软件提供图象ＰＳ文件输出时参考     

面向对象系统分析方法在开发MIS系统中的应用研究

本文研究了面向对象系统分析（ＯＳＡ）的三种模型：对象关系模型、对象行为模型和对象接口模型，并结合实例讨论ＯＳＡ模型对ＭＩＳ系统的描述和分析过程，提供了一种新的ＭＩＳ系统分析方法。     

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

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

软件安装描述语言SLDL及安装软件SETUP

从软件安装的工作原理出发，为说明安装信息，定义了安装描述语言ＳＩＤＬ，并描述了通用安装软件ＳＥＴＵＰ在ＭＳ－Ｗｉｎｄｏｗｓ环境下的实现，基于ＳＩＤＬ描述的软件的安装文本，ＳＥＴＵＰ能自动完成相应软件的安装。     

用特征形状因子描述目标形状

针对具封闭的几何形状的目标图象，提出了一种用几何意义明确的四特征形状因子ＲＲＲＳ描述目标形状的方法，用此方法描述了一类刀具图象，效果良好，证明用四特征形状因子描述具有封闭几形状的图象是可行的。     

离散事件模型的代数方法及其监控理论

有限状态机（ＦＳＭ）、Ｐｅｔｒｉ网、通信顺序进程（ＣＳＰ）和有限递归进程（ＦＲＰ）都是用来描述离散事件动态系统逻辑行为的，都可以化为一种代数形式。本文首先描述了构造离散事件模型的一般方法，然后讨论了在其上发展的监控理论。     

用Spi演算描述密码学安全协议

Ｓｐｉ演算通过在Ｐｉ演算中增加描述密码学协议的原语支持对基于共享密钥的安全协议的描述,通过测试等价Ｓｐｉ演算简化了所描述的安全协议的验证,它为密码学安全协议系统的描述和验证提供了坚实而有效的支持。     

软件安装描述语言SIDL及安装软件SETUP

从软件安装的工作原理出发，为说明安装信息，定义了安装描述语言ＳＩＤＬ，并描述了通用安装软件ＳＥＴＵＰ在ＭＳ－Ｗｉｎｄｏｗｓ环境下的实现．基于ＳＩＤＬ描述的软件的安装文本，ＳＥＴＵＰ能自动完成相应软件的安装     

低码率语音编码的线谱对实现

线谱对参数在描述声道方面是与线性预测ＬＰ系数安全等价的另一种表示方法。叙述了ＬＳＰ的定义及其性质,ＬＳＰ算法及其转化,并给出ＬＳＰ参数的一种实用算法。     

关于路由协议的一致性测试的一种形式方法

为了一致性测试Ｉｎｔｅｒｎｅｔ网上的一个标准路信息协议（ＲＩＰ协议），利用形式描述技术语言Ｅ－ＬＯＴＯＳ对其进行了描述，然后把广西描述的Ｅ－ＬＯＴＯＳ转换为ＧＥ－ＬＯＴＯＳ，并在此产生了ＴＴＣＮ测试套。