一种函数式语言到PROLOG的转换技术

定义了函数式语言ＳＦＬ，给出了由ＳＦＬ到ＰＲＯＬＯＧ的一般性转换方法，设计并实现了自动转换系统。     

按定义判断无复铰运动链同构的通用程序

本文直接应用两图同构的定义．讨论了在微机上判断无复铰运动链同构的算法和步骤，并用ＰＲＯＬＯＧ程序设计语言实现了这种算法．     

用PDC—PROLOG表示基本控制结构

良好的程序结构是模块化程序设计的基础，为构造结构良好的ＰＲＯＬＯＧ应用软件，本文讨论了三种控制结构在ＰＤＣ－ＰＲＯＬＯＧ中的实现。     

C程序直接访问FOXPRO数据库的方法

用Ｃ语言编制应用程序时，经常需要读取ＦＯＸＰＲＯ数据库中的数据，本文在分析ＦＯＸＰＲＯ数据库文件结构的基础上，给出了Ｃ语言直接访问该数据库文件的一种方法，并附相应的Ｃ语言源程序，运行结果显示，方法是正确的，有效的。     

热壁外延生长ZnSe薄膜的质量研究

研究了热壁外延法（ＨＷＥ）在经两种不同处理方法的ＧａＡｓ衬底上生长的ＺｎＳｅ薄膜质量，俄歇电子能谱图（ＡＥＳ）分析表明，经Ｓ纯化的ＧａＡｓ表面大约由一层单原子层所覆盖，从而减少了ＺｎＡｓ／ＧａＡｓ界面态密度，用喇曼光谱的空间相干模型，对不同处理方法的ＧａＡｓ上生长的ＺｎＳｅ处延膜的一级ＬＯ声子喇谱形变化进行分析，定量判断出ＺｎＳｅ外延膜质量的优劣，分析认为，经Ｓ纯化ＺｎＳｅ／ＧａＡｓ具有较好的质量     

XENIX环境下COBOL数据文件在软盘上的随机建立

本指出了在ＸＥＮＩＸ系统和ＤＯＳ系统下，ＣＯＢＯＬ程序在环境部中的描述不同，并着重给出了在ＸＥＮＩＸ系统环境下，将ＣＯＢＯＬ数据件建立在软盘上的方法。     

谈PASCAL语言与C语言进行同步教学

本文比较了ＰＡＳＣＡＬ语言和Ｃ语言的异同点，提出了将两种语言进行同步教学的教学方法，使学生在较短时间内掌握两种语言，加深对两种语言的理解和掌握。     

过程式语言的动态部分求值技术

提出了一种应用于过程式语言的动态部分求值技术，并实现了一个类如ＰＡＳＣＡＬ语言的部分求值器。     

OWL-S到Z规格说明的转换

OWL-S是重要的Semantic Web Service描述框架,但缺乏有效的形式化验证工具. Z语言是基于集合论和一阶谓词逻辑的形式化规格说明语言,比OWL-S具有更强的表达力. 该文研究基于Z的OWL-S形式化方法,提出从OWL-S到Z规格说明的模型转换规则. 基于这些规则,用Z定义OWL-S中概念的形式化语义,并开发了从OWL-S描述到Z规格说明的自动转换工具OWLS2Z.     

三维化学结构在Internet上的表达

在开发基于Ｉｎｔｅｒｎｅｔ的中药信息检索系统时,为了解决三维（３Ｄ）化学结构在Ｉｎｔｅｒｎｅｔ上的传输和显示问题,利用分子模型的描述３Ｄ世界的虚拟实现语言等技术开发了一个可以把ＭＯＬ２或ＭＬ２格式文件转换为球棍型,空间充满型,线型,棍型等４种虚拟现实模型语言格式文件的软件,介绍了制作此软件的方法,并给出了一个具体的应用实例,结果表明,用此软件产生的分子模型适合３Ｄ化学结构在Ｉｎｔｅｒｎｅｔ上的表达     

二叉树同构的判定及其PDC—PROLOG实现

二叉树是一种重要的数据结构，它在计算机科学中有广泛的应用。当二叉树的两个子树没有区别时，就产生了二叉树同构的概念。本文讨论了在ＰＣＤ－ＰＲＯＬＯＧ中，用递归技术判定，二叉树同构的方法。     

有序二叉树中的插入,删除及其PDC—PROLOG实现

二叉树是一种重要的数据结构，而有序二叉树是一种重要的二叉树，本文讨论了在ＰＤＣ－ＰＲＯＬＯＧ中，用递归技术对有序二叉树进行插入与删除结点。     

VAX机上PC—DOS子系统虚拟仿真

本介绍在太极ＶＡＸ计算机上，使用ＶＡＸ１１ ＢＡＳＩＣ语言实现ＰＣ－ＤＯＳ系统部分功能的方法。     

语法制导的Z规格说明检查器

Ｚ语言是牛津大学程序设计研究组设计的形式规格说明语言,作为Ｚ语言处理前端的Ｚ规格说明检查器用于Ｚ规格说明的语法检查和类型检查,它通过自顶向下和自底向上相结合的方法,实现了Ｚ语言的语法分析功能;此外,还还结合Ｚ语言的类型特征,实现了Ｚ语言的类型检查,介绍了Ｚ规格说明检查器的设计与实现。     

软件设计中的数据抽象化

文中讨论了在软件设计中实现数据抽象化的意义以及数据抽象化在规范说明和程序中的具体方式，以堆栈为例，分析比较了在ＦＯＲＴＲＡＮ必ＴＵＲＢＯ ＰＡＳＣＡＬ中分别实现数据抽象化的特点，并指出数据抽象化可以是多层次的，因而适用于复杂的数据类型。     

基型代数族的积代数

在本文中作者对有关一族ＳＩＧ一代数的积代数的几个问题作了一些讨论，得到了一些重要的结果：指出ＳＩＧ－Ａｌｇ是一个可积范畴，引入了积代数的合同关系和由同态映射及合同关系诱导的合同关系，相应地得到了一些结果，并指出了这些结果适用于ＳＰＥＣ－代数。     

U（2^n）群链对称性计算的S—函数方法

Ｃｌｉｆｆｏｒｄ代数与Ｌｉｔｔｌｅｗｏｏｄ的Ｓｃｈｕｒ函数（简称Ｓ－函数）之间有简单的基与表示的对应关系,在Ｃｌｉｆｆｏｒｄ代数酉群方法（ＣＡＵＧＡ）中应用连续群Ｓ－函数方法可以显著地简化Ｕ（２＾ｎ）群链的对称性分类。本文利用Ｓ－函数的相增（ｐｌｅｔｈｙｍ）代数讨论了Ｕ（２＾ｎ）群链向各限制子群及点群Ｇ约化的分支律和ｋｒｏｎｅｃｋｅｒ乘积等问题。     

并发面向对象语言运行支撑系统

探讨如何为并发面向对象语言提供松散耦合分式环境下的运行支撑环境，介绍我们为并发面向对象语言ＡＣ＋＋设计实现的分布式运行支撑系统ＤＲＴＳ。着讨论了ＤＲＴＳ的设计思想和一些重要的实现技术。     

基于语言真值直觉模糊真度矩阵的多属性决策方法

针对含有模糊语言信息的决策问题,基于语言真值直觉模糊格蕴涵代数理论,提出了语言真值直觉模糊真度矩阵,给出了将语言真值直觉模糊判断矩阵转换为语言真值直觉模糊真度矩阵的方法,利用语言OWA算子对语言真值直觉模糊真度矩阵进行聚合、排序进而得出最优方案.将该方法应用于选择最佳创业项目为例,说明该方法的合理性和有效性.     

用GAL器件实现四4：1分路转换器设计的步骤与方法

本文用述了ＧＡＬ器件的优点，给出了借助ＦＭ软件有ＧＡＬ２０Ｖ８实现４：１多路转换器设计的基本步骤与方法．