摘要：使用归纳过程说明算法的演化 ,建立了一阶语言语句集和算法的关系 ,并提出了启发式的归纳规则 .还提出了算法分析的概率式研究方法 .这种方法为有效算法的设计和自动算法设计提供了工具 .

摘要：提出一种新的随机 CSP( constraintsatisfaction problem)模型 ,并且通过研究搜索树的平均节点数 ,分析了回溯算法求解该模型的平均复杂性 .结果表明 ,这种模型能够生成难解的 CSP实例 ,找到所有的解或证明无解所需的平均节点数即随变量数的增加而指数增长 .因此 ,该模型可以用来研究难解实例的性质和 CSP算法的性能等问题 ,从而有助于设计出更为高效的算法 .

摘要：算法框架是实现算法重定位的一种可操作的方法．文章给出了算法重定位的定义，讨论了如何通过选择操作和组合操作来设计算法框架．然后给出了定义选择操作和组合操作的一种方法．由文章所定义的算法框架得到求解某一问题的算法模式，从该算法模式就可以生成求解该问题的算法．文章最后讨论了算法框架和算法模式以及模块化算法之间的关系．

摘要：应德国达格施图国际计算机科学会议和研究中心主任Wilhelm教授的邀请,我于今年7月1日至14日先后访问了德国帕德泊大学、萨尔布吕肯大学,并在达格施图城堡参加了“程序规约和语义”国际研讨会,在会上做了题为“有关程序规约的三个关键技术”的学术报告。在访德期间,特别是在国际研讨会议上与近50位从事程序设计方法研究的计算机科学家的接触和讨论,使我感到欧洲程序设计方法研究目前有三个动向值得注意。这就是:对软件正确性的需求重新升温,程序语言和程序设计方法的统一化趋势,以及程序设计研究的实用化。下面就这三点谈谈我的体会。一、对软件正确性的需求重新升温六十年代后期。

摘要：本文首先介绍了知识库维护过程中诸如知识库序列、新规则、用户反驳以及重构等概念；然后给出了一个扩充逻辑程序设计的框架，在这一框架下，每个逻辑程序等价于一个知识库；进一步定义了一个转换系统，称为扩充逻辑程序设计的Ｒ－演算，对一个给定的知识库和用户反驳，此演算可以导出知识库的最佳修正；同时证明了该演算的可靠性和完备性；另外，对本文的工作与其他相关工作进行了比较；最后，给出了本文的结论．

摘要：为了实现对光波有效的选择输出,并且使光波的带宽很小,设计了微腔耦合的三通道波分复用器。对该器件采用时域有限差分法和微腔与波导间耦合模进行研究。首先,根据微腔选择不同频率的光波,设计光子晶体滤波器模型。然后,基于光子晶体耦合模理论,由定向耦合波导和一个高品质因子微腔构成的波分复用器。最后,为了提高输出光的透射效率,在波分复用结构的主波导的输出端,增加五个介质柱,形成一个反射层。实验结果表明:此结构能够通过微腔选择不同频率的光波,经过优化设计后的波分复用模型,光波的透射率得到了提高,波长λ=1.763μm的光波达到透射率将近90%。在光子晶体中取多个微腔可以选择输出更多波长的光波,所以这种结构在光子晶体集成器件的制作上有很好的应用前景。

摘要：总线桥协议（ＢｕｓＢｒｉｄｇｅＰｒｏｔｏｃａｌ—ＢＢＰ）是用于构造并行计算机群的多计算机互连协议，它于１９９１年提出，其初衷是设计一种连接采用不同总线标准的计算设备和控制设备的中继协议．几年的研究和工程实践结果表明，基于ＢＢＰ构造可扩展并行计算机群系统能够获得较高的性能价格比．本文介绍了基于ＢＢＰ的总线桥多机互连网的工作方式，分析了总线桥互连网阻塞概率、建立时延及有效利用率等的关键特性参数及其相互关系，为可扩展并行机群系统ＢＢＰＳＰＣ的研制提供了理论依据．

摘要：1956年美籍华人学者王浩设计的程序在IBM计算机上证明了罗素和怀特海的名著"数学原理"中的300余条定理,同年塞缪尔的下棋程序开始与人对弈,自此便开创了人工智能时代。迄今30多年中人类就什么是智能和如何用机器实现智能这两大问题进行了广泛而深入的研究。

摘要：一、类型理论的起源与发展类型理论的基本思想和方法学基础来源于哲学中的归类(classification)方法,即把具有共同特点的类集合成超类的思维过程和方法。归类是形成概念的先决条件之一,分类方法在认识和实践活动中有广泛的应用。

摘要：一、什么是类型理论?类型理论是研究类型的定义、模型和推导规律的形式化理论,它和逻辑、代数、计算机程序设计语言、软件开发都有着密切的联系。类型理论起源于对数学悖论的研究,脱胎于带类型的λ-演算及其与逻辑的对应关系的探讨,在计算机科学中找到了其广阔应用领域。如果从研究对象和侧重点上来划分,类型理论可粗略地分为两类:代数类型理论和逻辑类型理论。代数类型理论主要研究类型的代数结构和模型,所使用的工具主要是多类代数、范畴论,Topoes 理论等。