一类状态空间图表示的产生式系统的prolog求解

本文介绍了产生式系统和状态空间图,结合Prolog提出了一种生成产生式系统的一个通用模型,最后通过对几个实例进行了计算机模拟,结果表明,该模型具有良好的适用性.     

小项的性质与小项的编码

通过真值表技术把一个命题演算的合式公式化成主析取(主合取)范式在数理逻辑教学中是比较抽象的内容,如果把握住小项的编码的性质,这个问题就比较容易理解.本文论述了小项的几个重要性质和编码,在教学实践中收到了较好的教学效果.     

关于计算机专业本科生培养的几点看法

本文针对计算机专业本科生培养中存在的问题,从数学逻辑思维训练、实验教学、专业特征和科研意识等几个方面进行了分析,对计算机专业本科生的培养模式进行了探讨,并提出了有关的培养建议.     

Fibonacci数的行列式表示

利用行列式的降阶定理,构造出n阶自相似方阵序列f_n(n=1,2,…),使得其行列式的值|f_1|,|f_2|,|f_3|,|f_4|…,|f_n|,…对应着Fibonacci数1,2,3,5,…,F_n,…     

考试质量量化分析理论及软件实现

在总结借鉴现有的质量分析研究成果的基础上,选择教育统计与测量学有代表性、先进科学的理论与分析方法,结合自身研究成果,研制开发出一套简明易懂、易学易用易推广的应用软件分析系统.     

陷阱技术在蠕虫病毒分析中的应用

随着互联网应用的深入,网络蠕虫对计算机系统及网络的安全威胁日益增加.首先给出了蠕虫病毒的定义,讨论了计算机蠕虫病毒和传统病毒的联系和区别,利用网络陷阱技术对蠕虫病毒进行了剖析,为反蠕虫策略提供了依据.     

基于B/S模式的网上学习系统的设计与实现

结合网上学习系统,探讨了B/S软件结构开发技术,并给出了利用SQLSERVER2000作为后台数据库,通过Web远程进行查询、更新,对数据库系统实施管理的具体方法.     

人工神经网络与DNA序列分类问题

介绍了神经网络的两种简单模型:感知器和线性分类器,并应用感知器模型对DNA序列分类问题进行求解和结果分析,并提出了对感知器模型求解分类问题的一种改进方法。