1995, 6(7):385-390.
摘要:Smalltalk—80是原型的面向对象程序设计语言和环境.本文简要地给出了Smalltalk-80的形式模型,并基于该模型描述了Smalltalk—80的静态和动态指称语义.
1995, 6(7):391-398.
摘要:平行结构类问题是一类适于分布式求解的人工智能问题.已有的大多数求解方法均采用预期或目标来指导自底向上的问题求解.但这些预期或目标是以局部问题求解状态为基础的,指导性较弱.尽管有的方法(如改进的DVMT结构)允许高层了解,但未给出明确的求解算法.本文提出一种双向求解平行结构类问题的方法,首先根据全局问题求解状态生成预期,指导自底向上的求解,然后根据新产生的假设来验证和修改预期,并用新的预期重新指导求解.该方法不仅提高了预期的指导性,而且使问题求解更为灵活.
1995, 6(7):399-406.
摘要:DC是一种支持分布式程序设计的编程语言,它是由C语言向上兼容扩充得到的.本文介绍DC及其在工作站网络环境下运行时支持系统的设计与实现,最后给出测试结果.
1995, 6(7):407-415.
摘要:程序设计语言FOPL是一种同时支持函数式程序设计风洛和面向对象程序设计风格的合成语言.本义介绍了FOPL的类型思想,并讨论了表达式纯洁性判断规则、表达式附类型规则及表达式等价判断规则,这些规则描述了FOPL基于方程逻辑的语义.
1995, 6(7):420-424.
摘要:本文提出货郎担问题的一种新的求解方法,即几何解法.它的时间复杂性为:求距离运算次数为O(nm),比较次数为O(max(nm,nlogn)),求夹角次数为O(n2/m),其中n为点集中点的数目,m为点集的凸包顶点数.
1995, 6(7):425-428.
摘要:本文使用C—PROLOG语言在SUN工作站上设计实现了基于广义归结和基于归结的两个定理机器证明系统GRM,RM,证明了《数学原理》中Part1:mathematicallogic中SectionA与SectionB中全部定理(350个).讨论GRM和RM的时、空复杂性,并在实现设计中提出新的全局调度策略及归结式的化简、排序策略,以单子句恒真、恒假的判断代替了广义归结中的自归结,实现了带OCCUR检查的模式匹配.
1995, 6(7):429-434.
摘要:本文探讨了基于任务图的并行程序设计方法的后半部分─—按照任务图选择拓扑结构和将并行算法映射到并行结构上.
1995, 6(7):435-439.
摘要:本文研究对彩色地图图象按颜色分层问题.按颜色对地图图象分层是计算机对地图图象进行自动化识别的重要步骤.本文讨论了按颜色分层的算法,探讨了一些影响分层效率和效果的问题,给出了解决这些问题的办法,这些算法已经编程实现,效果理想.
1995, 6(7):440-448.
摘要:本文提出多层前馈网络的一种新的学习和综合算法──FP算法,并证明由此算法得到的网络作为通用联想记忆器时,具有如下优点:(1)每个样本都是吸引中心;(2)每个样本的吸引半径达到最大值;(3)网络没有假吸引中心;(4)网络具有最少的元件个数;(5)学习的复杂性达到最优(就其复杂性的阶而言).故此网络在性能、结构、计算复杂性等方面均达到很好状态.