广义归结(摘要)

根据中国电子学会计算机学会1979年学术活动计划的安排,“计算机科学暑期讨论会”于1979年7月23—30日在吉林省长春市召开。讨论会上宣读的论文共45篇,在此只刊登其中一部分。这些论文生动地反映了我国近几年来计算机科学的研究成果。虽然这还不能全面反映我国计算机科学的研究成果,但从这些论文可以明显地看出,在我国一支小小的计算机科学研究队伍正在形成。这是一棵新生的幼苗,让我们爱护它,培育它。因为在新长征中,它将成长壮大,起到自己应有的作用。     

线性自动机的奇偶性(摘要)

根据中国电子学会计算机学会1979年学术活动计划的安排,"计算机科学暑期讨论会"于1979年7月23-30日在吉林省长春市召开。讨论会上宣读的论文共45篇,在此只刊登其中一部分。这些论文生动地反映了我国近几年来计算机科学的研究成果。虽然这还不能全面反映我国计算机科学的研究成果,但从这些论文可以明显地看出,在我国一支小小的计算机科学研究队伍正在形成。这是一棵新生的幼苗,让我们爱护它,培育它。因为在新长征中,它将成长壮大,起到自己应有的作用。     

一阶方向导数极值法--一种检测边缘的新方法

文中通过傅里叶变换（Ｆｏｕｒｉｅｒ ｔｒａｎｓｆｏｒｍ）,在频率域,通过求垂直于边缘的阶方向导数,并检测其极值（极大或极小）点来确定边缘,同时,参考一阶方向导数的数值来排除一些非边缘点（一阶方向的数值为数者,零也为常数）,实验证明该方法检测边缘有准确度高,而且不选取门限值（阈值）。     

基于人工免疫算法的增量式用户兴趣挖掘

了解用户兴趣是为用户提供个性化服务的关键.用户兴趣有短期兴趣和长期兴趣之分,且具有不稳定性.受人工免疫系统的启发,巧妙地将免疫应答过程应用于用户兴趣挖掘.首先将概率与时间相结合,提出“概念时序动态”的概念,以更好地刻画用户在一段时间内对同一兴趣的关注程度;然后基于人工免疫原理,建立抽取兴趣标签的分类器来提取用户兴趣标签;最后针对增量式学习,建立兴趣标签的“概念时序动态”,刻画出用户兴趣自首次出现以来受关注的程度,以此为依据来判断兴趣是否存在迁移及遗忘现象,并为每个兴趣标签附上权重.其主要贡献是创造性地将人工免疫原理应用于用户短期兴趣和长期兴趣的挖掘,并具有增量特性,可以很好地体现用户兴趣迁移特征,是一种自然完整的用户兴趣模型.实验结果表明,该学习模型能够很好地发现用户关注的领域,其平均精度和召回率分别达到79.5％和74.4％,是目前最贴近用户的兴趣挖掘模型.     

有向图中初级有向回路的求解算法及实例

提出了Ｌ集合、Ｌ矩阵,连接积和通路矩阵的概念,给出通过构造通路矩阵序列Ｍｋ＝Ｍｋ－１＊Ｍ（ｋ＝２,．．．,ｎ）直接求出简单有向图中全部初级有向回路的求解算法及实例。     

符号模式匹配技术在建筑预算系统中的应用

一、前言建筑工程预算是建筑工程中一项困难而又重要的任务,工作量大,要求高。过去用手工编制,要花费很多时间。一份三千平方米的民用建筑,一个技术人员手编需十五天至二十天,加上工料分析,取费计算等等,需要约一个月,而且容易出错,影响预算的质量,造成人员     

使用L集合的询问求值

本文提出了Ｌ集合的概念以及一种新的使用Ｌ集合的一阶数据库询问求值方法。因为这种方法对原数据库只增加一个新字句，所以询问求值的效率大为提高，而且因为可以直接使用Ｌ集合回答对数据库的询问，求值过程比较简单。     

TP_SDDT的设计与实现

ＴＰ＿ＳＤＤＴ是Ｔｕｒｂｏ ＰＡＳＣＡＬ环境中一个有效的软件工具，凡是与语法有关的软件开发工作，如语法分析，元级操作和部分求值等，均可利用ＴＰ＿ＳＤＤＴ来完成，本文介绍了ＴＰ＿ＳＤＤＴ的设计思想及实现技术。ＴＰ＿ＳＤＤＴ已在微机上实现。     

具有最大并行度的合流性主动规则执行模型

合流性反映了主动规则集确定性行为特性。目前保证合流性的主动规则执行算法基本是串行的,而已有的并行规则执行算法并不保证合流性结果。本文扩展了已有的主动规则执行模型,给出具有最大并行度的合流性主动规则处理算法,并证明了该算的正确性。