并行逻辑语言PARLOG顺序编译系统的设计

ＰＡＲＬＯＧ语言是一种适合于并行逻辑程序设计的语言，广泛应用于人工智能及并行处理等领域。从 ＰＡＲＬＯＧ的语义描述出发．结合与／或树计算模型及进程调度算法．介绍了 ＳＵＮ工作站上设计实现的一个实用的并行逻辑设计环境——ＰＡＲＬＯＧ顺序编译系统（ＰＳＣＳ）。该系统采用中间抽象机结构．以Ｃ语言为目标语言，不仅具有高效率的执行代码．而且易于移植。     

饱和脂肪烃一元取代物（C_nH_（2n＋1）Y）异构体总数的计算机求解方法

本文介绍了在微机上用ＰＡＳＣＡＬ语言计算饱和脂肪烃一元取代物的伯、仲、叔异构体数目及总数目的方法。为实现递归计算，突破无动态数组的编程障碍，程序使用查询计算方法，并采用ＰＡＳＣＡＬ语言文件系统存放中间数据和最后结果。计算数据准确可靠。     

采用程序跟踪方案解密PLD／PAL（GAL）

介绍一种通过对输出状态的跟踪实现对ＰＬＤ／ＰＡＬ（ＧＡＬ）解密的方案，给出采用ＰＡＳＣＡＬ语言和８０８８汇编语言混合编程的测试软件功能结构及编程方法。     

PASCAL语言程序设计风格

指出了ＰＡＳＣＡＬ语言程序设计中的若干程序设计风格,使用这些风格可以提高程序的可读性,提高编程的效率和程序的运行效率。     

谈谈PASCAL中的FOR语句

ＰＡＳＣＡＬ是一种结构化程序设计语言,具有数据类型丰富、功能强、简洁易读等特点,尤其是它的严密性,使它常被用于系统程序设计。ＦＯＲ语句主要参与设计程序的循环结构,而循环结构是程序设计的三个主要结构之一,因此ＦＯＲ语句在程序设计中有着非常重要的作用。由于ＰＡＳＣＡＬ语言的规范性和严密性,使ＰＡＳＣＡＬ中的ＦＯＲ语句在使用过程中也具有了与在其它语言使用中所不同的独特性,正确把握不同点对学习程序设计很有帮助,现归纳总结如下。 １．每个被使用的变量都要事先说明类型。 ＰＡＳＣＡＬ规定,每一个程序中用到的变量都必须首先在变量说明部分进行说明,然后才能使用。由于每个变量都事先有了相应的类型,该变量的取值范围和所能执行的运算操作便同时界定下来,这种约束大大增加了ＰＡＳＣＡＬ语言的严密性,是ＢＡＳＩＣ和ＦＯＸＢＡＳＥ等语言所无法比拟的。 ２．循环控制变量必须是有序数据,且初值与终值要类型相同。 在ＰＡＳＣＡＬ中,循环控制变量必须是有序数据。这就是说,循环控制变量的初值、终值和步长可以是整型、字符型、枚举型和子界型,但不能是实型。在这一点上,相对于ＢＡＳＩＣ等语言的自由性与随意性,ＰＡＳＣＡＬ显得有些刻板和严格,也正因如此,Ｐ...     

一种数控加工图形自动编程系统

本文介绍了一种用于加工中心的图形自动编程系统（ＬＧＡＰＳ）。该系统具有图形输入、自动工序设计、自动编制ＮＣ加工程序单、加工过程模拟等功能。该系统用特征法来建立零件信息描述体系，是一种ＣＡＰＰ／ＮＣ自动编程集成化的图形编程系统。     

在C＋＋语言中构造布尔类数据

本文介绍了在Ｃ＋＋语言中构造布尔类数据的方法和有关的函数，使布尔类数据同ｃｈａｒ等类型数据分离开来，赋予布尔类数据更明确的表达形式，该类数据与ｃｈａｒ、ｉｎｔ类型数据相容，可用于程序控制语句和布尔表达式，便于ＦＯＲＴＲＡＨ和ＰＡＳＣＡＬ语言的程序移植到Ｃ＋＋语言。     

C语言与BASIC的比较

本文就Ｃ语言与ＢＡＳＩＣ语言在数据类型，运算符，表达式，程序结构，语句五个方面进行一些主要的比较，指出Ｃ具有更丰富的数据类型、运算符、表达式、具有更强的功能；Ｃ语言更灵活，简炼，利用Ｃ语言更易实现程序的模块化，在这基础上，本文对Ｃ语言及ＢＡＳＩＣ语言教学提出若干有益之建议，有助于学习Ｃ语言及进行Ｃ语言的教学。     

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

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

大学英语试题库的设计与实现

介绍了用ＰＡＳＣＡＬ语言实现大学英语试题库ＣＥＴＢ（ＣｏｌｌｅｇｅＥｎｇｌｉｓｈＴｅｓｔＢａｎｋ）的设计和实现．     

基于随机图的面向对象软件可测试性计算模型的研究

结合随机图理论以及扩展PIE模型,提出了一种新的面向对象软件可测试性计算模型．分析了对象粒度的PIE扩展模型,并将传播感染免疫理论应用于表征软件系统的随机图,最终给出了面向对象软件可测试性的计算方法．     

解决图着色问题的膜进化算法

图着色问题是图论中比较热门的NP难问题之一。针对该问题,有许多启发式求解算法,但都存在求解的质量不高,计算时间较长等问题。近些年提出的膜进化算法,在处理NP难问题中展现出了独特的优势。基于膜进化算法框架,提出了解决图着色问题的膜进化算法,把图着色问题和膜结合,设计了复制、融合、分裂、溶解、融合分裂、禁忌搜索6种膜进化算子。这些算子在演变的过程中使膜和膜结构发生进化,从而找到更优解,最后求得解决方案。在DIMACS的40个挑战数据集上面进行了实验,与3个最新的图着色算法比较的结果表明：在保证解的质量的情况下,文中提出的膜进化算法能有效降低求解的时间,其中有58%的实例占优。     

寻边问题

本文的目的是求有限、简单、非定向图的复杂性,即寻找图中一条未知边所必须的检查次数。文章给出了求复杂性的一般公式,从而大大简化了求复杂性的计算。     

对象持久性语义

本文对Ｋｈｏｓｈａｆｉａｎ－Ｃｏｐｅｒｌａｎｄ对象模型进行了改进和扩充,并在此基础上提出了引用可达图,为分析对象持久性语义提供了必要的工具。利用这一工具对两种对象持久性语义进行了分析。     

图型序列母函数的递归性质

以有向图Ｇ的顶点为元素,Ｇ的有向途径所对应的序列称为图形序列。本文讨论图型序列母函数的一些递归性质,主要包括割点定理,割边定理和删点公式,利用这些性质可以简化图型序列母函数的计算。     

面向模式识别和图象处理的软件开发环境

本文介绍的软件环境是面向模式识别和图象处理(PRIP)语言——EPPPI的集成化软件开发环境。该语言有机地综合了PASCAL和PROLOG的功能,形成一种兼有过程式和陈述式特点的新风格语言。该环境在EPPPI语言的上面设置了三个层次的工具:语法制导编辑器,PDL/EPPPI详细设计和模块设计。文中介绍了各部分的原理和特点。     

并发计算的元模型Ⅰ.图模型

借鉴证明论中的一些思想 ,提出了并发计算的一个图模型 .在此模型中 ,计算对象表示为图 ,计算过程表示为图重写 ,重写规则将通信过程视为证明的等价变换过程 .为便于形式化研究图模型 ,提出了模型的形式对应物——图演算 ,该演算类似于进程代数演算 ,与其他进程代数演算的不同之处在于本演算是对称的 .文中用证明论方法研究并行理论 ,为进程代数演算开辟了一条新的研究途径     

模式识别中的图结构描述方法综述

从概率图、组合图、代数图和几何图等模型角度综述模式识别中图结构的描述.分别讲述每一类图模型的图结构构建形式和计算方式,回顾其起源,归纳其历史发展过程,分析其研究现状.其中,着重论述各类图模型描述的不同特点和潜在关系,剖析未来发展方向.引用基于图模型的模式识别发展史上具有代表性的论著,介绍引领方向的研究学者,旨在帮助读者理清图模型的发展脉络,把握其前沿动态.     

关于赋权欧拉图的均匀初级圈覆盖

本文给出赋权欧拉图无公共边均匀初级圈覆盖,M—均匀初级圈覆盖,最小均匀覆盖的概念,并给出求它们的相应算法.此文所给出的算法同样适用于有向欧拉图.     

MBIUS梯图和梯图的升分解

本文证明了Mobius梯图和梯图是可以升分解的。