对Boyer-Moore定理证明器的若干改进

本文对Boyer和Moore建立的定理证明程序中的归纳方案的产生办法做了若干改进。通过这些改进,减少了程序所产生的候选归纳方案的数目,从而减少了对候选归纳方案的分析、整理和选择的困难。     

基于聚类的博士生源选拔方法探析

针对博士招生现状进行研究,提出了基于聚类的博士招生计划配置办法。聚类分析技术可以分析历史招生数据特点,有助于发现优秀博士生的特点,有利于制定更加合理的招考条件,更科学地优化考生选拔机制,从而有效地提高博士生源质量。     

不确定因果理论的基于模型诊断

给出当待诊断系统的模型为不确定因果理论时 ,基于模型诊断和模型中心诊断等概念 ,论证基于模型中心诊断与 U -S本原蕴涵 /蕴涵式的直接关系 ,并且根据知识不确定程度对候选诊断进行排序 .指出对经典因果理论基于一致性中心诊断和中心溯因诊断的刻划仅仅是文中刻划的对应诊断的两个特殊情形     

不确定因果理论的基于模型诊断

给出当待诊断系统的模型为不确定因果理论时，基于模型诊断和模型中心诊断等概念，论证基于模型中心诊断与Ｕ－Ｓ本原蕴函／蕴涵式的直接关系，并且根据知识不确定程度对候选诊断进行排序。指出对经典因果理论基于一致性中心诊断和中心溯因诊断的刻划仅仅是文中刻划的对应诊断的两个特殊情形。     

产学研联盟开发“蓝色牧场”

“大连市农（水）产品深加工产学研联盟”2007年5月10日在大连工业大学揭牌。副市长戴玉林在揭牌仪式上希望高校、企业能够以联盟为基础，提高农（水）产品的科技含量。让大连“不仅有关味的海鲜，也有高科技的深加工海产品”。     

一种基于静态分析的宏动作提取方法

提出一种通过静态分析提取宏动作的方法, 不是直接 分析问题域的描述, 而是选择性的生成一些基动作, 静态分析的重点是基动作之间的关系. 通过静态分析对基动作之间的关系进行分类, 根据分类生成模式图, 并最终根据模式图提取具有应用价值的宏动作. 同时还编写了实验系统对所提出的方法进行检验.     

不确定因果理论诊断的测试

对不确定因果理论的诊断测试进行探索, 将初始测试条件从true推广到任意可满足的A, 提出对不确定前提条件测试的概念, 给出几个相关定理及其证明, 利用这些结果有助于判定诊断空间, 确定测试的优先序, 从而提高测试效率.     

用分层关联方法求简单图中所有Hamilton回路的算法

研究简单图中所有的Ham ilton回路,不但可以判断简单图是否Ham ilton图,并且还可以得到简单图的所有的Ham ilton回路。首先在简单图中建立了初级通路的关联关系,并对初级通路的关联关系进行了分层,在此基础上,设计了求简单图中所有Ham ilton回路的算法。该算法利用简单图中长度为x的初级通路及长度为x的初级通路的分层关联关系逐步求长度为x 1的初级通路及长度为x 1的初级通路的分层关联关系的方法,求得简单图的所有Ham ilton回路。通过理论证明,该算法与已有的求简单图的所有Ham ilton回路的算法相比,原有的求简单图的所有Ham ilton回路算法中大量的重复计算被避免,从而提高了算法的效率。     

《计算逻辑》中定义原理的修改与重证

一、定义原理及其修改 《计算逻辑》对定理机器证明的数学归纳法做了卓有成效的研究,提出了利用数学归纳法进行机器证明的理论基础。定义原理是该书中一条重要定理。其作用在于判定一个函数定义是否合理,即是否唯一确定了一个函数。 原书中的定义原理为:     

一个教授计算机语言的TEACHER系统

本文介绍了我们建立的TEACHER系统的理论基础和在机器上的实现过程。这是一个教授计算机语言的系统,本系统可以教授FORTRAN,LISP和BASIC,具有因材施教的特点。