摘要:自动并行编译是并行程序的主要途径之一,本文概述了发展自动并行化编译的必要性及其主要进展,讨论了当前采用的主要技术和今后的发展动向。
摘要:本文给出惰性模式匹配基于扩展图重写模型的实现方法,包括模式匹配编译算法、参量一致化和模式平坦化算法,前一算法较好地实现了[6]中尚未解决的惰性模式匹配问题;而后一算法较[7]中提出的算法简单、高效。
摘要:本文提出一种基于线性逻辑的理论L1,它除了能较好地反映常识推理的非单调性外,还可以在矛盾存在的情况下继续组织有效的推理。
摘要:本文给出五子棋的形式描述,并探讨相应博弈问题的求解策略,提出一种面向目标的最佳α—β搜索策略,以达到速度和精度的较好统一。
摘要:本文介绍的数据库设计工具集DBTOOLS包括扩充的E—R模型设计工具EERD、从E—R模型到关系模型转换工具ERTR、从DFD、DD到关系模型转换工具DDTR,DBTOOLS以自动转换和人工干预相结合的方式工作,提供对关系数据库概念结构设计和逻辑结构设计的支持,DBTOOLS的设计中强调语义信息的描述和运用,以及对数据库应用系统增量开发的支持。
摘要:这篇论文探索了命题逻辑的Horn子句的Petri网模型,求解逻辑推论Petri网模型的T—不变量是求解逻辑推论的核心步骤,本文提供了计算T—不变量的算法,这些算法基于归约的思想,另外,在算法中利用单字母规则、纯字母规则和割裂规则可提高算法的速度和简化算法的复杂性。
摘要:按陶瓷品的外型和装饰要求,研制了一个计算机造型和花面设计系统,阐述了系统构成、工作方式、装饰图案的产生、旋转体和自由曲面造型、光照模型计算、色彩设计原则及压缩存储方法。
摘要:由于时序逻辑的特性所在,经典逻辑的某些规则不能直接用于时序自然推理,虽然N系统给出了一个解决办法——把所有规则或推理分为两类:垂直型和水平型,但这种二维模式又为推理带来了某些困难。本文提出了NL松弛时序逻辑自然推理系统,它为以上两类推理提供了统一视角,我们可以证明:NL与N等价;有N的证明则必有长度不超过它的NL证明。
摘要:本文利用信息论中信道容量、最大似然译码准则等概念,提出一个新的示例学习方法IBLE,此方法不依赖类别先验概率,特征间为强相关,具有直观的知识表示,将它用于质谱解析,结果很好,八类化合物平均正确预测率为93.96%,高于专家水平。
摘要:已知一个无向图G(V,E),|V|=n,|E|=m,本文基于SIMD共享存贮模型,运用数据在图中快速传播原理,建议了一个新的求图的连通分支算法,具体来讲,在SIMD—CREW共享存贮模型上,求图的连通分支需O(log2n)时间、O(n2/logn)处理器;而在SIMD—CRCW共享存贮模型上需O(logn)时间、O(n2)处理器,建议的算法同著名的Hirschberg算法相比,其主要差别表现在:1)采用的求解方法不同;2)建议的算法简单易懂