摘要:Ｓｍａｌｌｔａｌｋ—８０是原型的面向对象程序设计语言和环境．本文简要地给出了Ｓｍａｌｌｔａｌｋ－８０的形式模型，并基于该模型描述了Ｓｍａｌｌｔａｌｋ—８０的静态和动态指称语义．

摘要:平行结构类问题是一类适于分布式求解的人工智能问题．已有的大多数求解方法均采用预期或目标来指导自底向上的问题求解．但这些预期或目标是以局部问题求解状态为基础的，指导性较弱．尽管有的方法（如改进的ＤＶＭＴ结构）允许高层了解，但未给出明确的求解算法．本文提出一种双向求解平行结构类问题的方法，首先根据全局问题求解状态生成预期，指导自底向上的求解，然后根据新产生的假设来验证和修改预期，并用新的预期重新指导求解．该方法不仅提高了预期的指导性，而且使问题求解更为灵活．

摘要:ＤＣ是一种支持分布式程序设计的编程语言，它是由Ｃ语言向上兼容扩充得到的．本文介绍ＤＣ及其在工作站网络环境下运行时支持系统的设计与实现，最后给出测试结果．

摘要:程序设计语言ＦＯＰＬ是一种同时支持函数式程序设计风洛和面向对象程序设计风格的合成语言．本义介绍了ＦＯＰＬ的类型思想，并讨论了表达式纯洁性判断规则、表达式附类型规则及表达式等价判断规则，这些规则描述了ＦＯＰＬ基于方程逻辑的语义．

摘要:通常的关于正则语言的泵引理实际上是刻划了某语言为正则语言的一个必要条件．本文通过修改这个必要条件，得到了关于正则语言的充分必要条件，又泵引理或广义泵引理所叙述的结果作为推论而得到．另外，我们叙述了几个强弱不同的充要条件，以便供不同的使用（作为必要条件来使用，应该是越强越好，但作为充分条件来使用，又应该是越弱越好）．

摘要:本文提出货郎担问题的一种新的求解方法，即几何解法．它的时间复杂性为：求距离运算次数为Ｏ（ｎｍ），比较次数为Ｏ（ｍａｘ（ｎｍ，ｎｌｏｇｎ）），求夹角次数为Ｏ（n²/m），其中ｎ为点集中点的数目，ｍ为点集的凸包顶点数．

摘要:本文使用Ｃ—ＰＲＯＬＯＧ语言在ＳＵＮ工作站上设计实现了基于广义归结和基于归结的两个定理机器证明系统ＧＲＭ，ＲＭ，证明了《数学原理》中Ｐａｒｔ１：ｍａｔｈｅｍａｔｉｃａｌｌｏｇｉｃ中ＳｅｃｔｉｏｎＡ与ＳｅｃｔｉｏｎＢ中全部定理（３５０个）．讨论ＧＲＭ和ＲＭ的时、空复杂性，并在实现设计中提出新的全局调度策略及归结式的化简、排序策略，以单子句恒真、恒假的判断代替了广义归结中的自归结，实现了带ＯＣＣＵＲ检查的模式匹配．

摘要:本文探讨了基于任务图的并行程序设计方法的后半部分─—按照任务图选择拓扑结构和将并行算法映射到并行结构上．

摘要:本文研究对彩色地图图象按颜色分层问题．按颜色对地图图象分层是计算机对地图图象进行自动化识别的重要步骤．本文讨论了按颜色分层的算法，探讨了一些影响分层效率和效果的问题，给出了解决这些问题的办法，这些算法已经编程实现，效果理想．

摘要:本文提出多层前馈网络的一种新的学习和综合算法──ＦＰ算法，并证明由此算法得到的网络作为通用联想记忆器时，具有如下优点：（１）每个样本都是吸引中心；（２）每个样本的吸引半径达到最大值；（３）网络没有假吸引中心；（４）网络具有最少的元件个数；（５）学习的复杂性达到最优（就其复杂性的阶而言）．故此网络在性能、结构、计算复杂性等方面均达到很好状态．