PROLOG语言的特点及其用LISP语言的实现

本文介绍了新颖的逻辑编程语言即 PROLOG 语言的特点,以及在PDP11机上使用 LISP 语言实现简易的 PROLOG 语言的方法。该 PROLOG 系统,已在84年研究生教学中使用,对 PROLOG 教学有很大实用价值。是在 PROLOG尚未普及之前,对 PROLOG 功能的一种有益的尝试。     

子句级别语境感知的开放信息抽取方法

针对开放信息抽取文本中与事实相关的语境信息,本文首先从原有语境标识中提取特征进行训练分类,扩展了可识别的语境标识;其次,利用文本中依存关系,自顶向下逐层将识别出的语境信息与被限定子句构造成层次结构图,并最终根据层次图为被限定子句中抽取出的关系元组自底向上地分配对应语境域,从而一方面避免了语境信息被错误的抽取为关系元组,另一方面在保证关系元组正确的基础上,正确地将语境域分配给被限定的关系元组。实验结果验证了子句级别语境感知的抽取方法 ClauseContextIE,在随机数据与含语境信息的文本中,实现了较高的召回率和精确度。     

PROLOG的推理机制

本文运用数理逻辑的基本理论,对PROLOG的推理机制进行了深入、详细的分析。对实用的PROLOG系统为了提高运行效率,而采用的措施所引起的副作用也进行了讨论。     

网络新词汇的构成方法及语义特征

网络技术的发展变化正影响并改变着人们的生存方式和生活方式，记录或描写这些新变化的网络词汇频频出现于各种读物，本文试图以近年来出现在国内外报刊杂志和电子读物中的常见网络词汇为例，总结归纳这类词汇的构词特点，并试从认识的角度分析探讨这类词汇的语义特征。     

专家系统的软件工程与PROLOG语言

本文简述了用Prolog语言实现专家系统的利弊,提出了用Prolog语言实现专家系统的三种可能方法:①直接在一般Prolog语言上实现专家系统;②把Prolog作为更高一级的解释程序的实现语言;③扩充Prolog语言,使其具有一些合适的特性,然后再直接使用它。     

PROLOG逻辑程序设计的结构优化

以减少存储空间消耗为主要目标,讨论逻辑程序设计的结构优化,分析了程序基本结构及其优化方法,提出了一种强制失败－数据旁路结构,作为已有优化方法的补充。由此综合出一种全局结构优化模式,用于机器翻译试验工作,效果显著。     

子句集Σ的极大Horn下界

自动推理是人工智能领域的重要研究课题。基于Horn子句的快速推理是一种重要的自动推理方法。研究了子句集的极小模型与子句集的极大Horn下界的关系,给出了一种获取极大Horn下界的方法,所得结论可用于基于Horn子句的快速推理。     

遗传多样性及其研究方法

在阐述遗传多样性的意义的基础上，对遗传多样性的研究方法从形态学、细胞、生化和DNA等水平分别进行了详细概述。     

猪肉丸构成组分及肉处理对其品质影响的研究

本文阐述了在传统工艺的基础上利用正交实验对猪肉丸基本配方进行优化,通过单因素实验比较瘦肉绞碎、斩拌和刀背打击的不同处理方法对猪肉丸品质的影响。结果表明,加入大豆分离蛋白在不改变肉丸品质的同时能够提高猪肉丸出品率,正交实验结果得出最佳配方为瘦肉80g、肥肉30g、淀粉15%(相当于16.5g)、水30%(相当于33g)、分离蛋白0.5%(相当于0.55g),斩拌方法更适合工业化生产。     

管理信息系统规划的主要方法及其评价

在分析管理信息系统规划重要性的基础上，分别介绍了管理信息系统规划的七种主要方法，将这些方法进行比较并作出了评价。     

聚苯胺的制备方法及其吸附性能

以苯胺盐酸盐为单体、过硫酸铵为氧化剂、磺基水杨酸为添加剂, 采用软模板沉淀聚合的方法合成了不同微观形貌的聚苯胺, 并着重研究了添加剂用量、乙醇/水溶剂比例等对聚苯胺产物形貌的影响.通过光学显微镜、红外光谱对合成的聚苯胺进行了表征.采用静态吸附法研究了合成的微米管状聚苯胺对重铬酸钾的吸附性能.     

管理信息系统规划的主要方法及其评价

在分析管理信息系统规划重要性的基础上，分别介绍了管理信息系统规划的七种主要方法，将这些方法进行比较并作出了评价     

PROLOG程序部分演绎的一种新方法

提出一个新的基于程序变换的Prolog程序部分演绎的方法.该方法以程序-目标对(P₀,Q₀)为输入,经过一系列程序变换后终止,输出结果程序-目标对(P_n,Q_n),该方法保证结果程序一目标对(P_n,Q_n)和输入程序-目标对(P₀,Q₀)计算等价,并且程序P_n解目标Q_n比程序P₀.解目标Q₀效率更高.本文提出的方法已经实现.文中给出了3个部分演绎实例,并且与Benkreimi中提出的Prolog程序部分演绎的方法的结果进行了比较,说明我们的部分演绎方法更优.     

程序正确性验证的代数方法及其研究进展

程序的完全正确性包括程序的部分正确性和终止性,为了提高程序验证的正确性,介绍了程序正确性的验证方法,包括基于公理化验证程序的完全正确性,基于不动点定理、特征值理论、秩函数、有限差分等验证程序的终止性.最后,总结了各种验证方法的研究现状以及未来发展.     

水准测量的误差来源及其控制方法

研究了勘察设计过程中水准测量的问题,结合水准测量的现状对水准测量的误差进行了分析,并提出了误差的控制方法,以提高水准仪测量的精度,可供相关技术人员参考.     

多孔膜的污染及其控制方法

针对膜污染这一制约膜工业化应用的重要因素，从膜材料特性和分离液构成对膜污染的影响、膜污染机理及模型、膜污染的防治策略等几个方面，介绍了近几年来国内外学者对超滤、微滤膜污染问题的一些研究结果；并对减少或防止膜污染的方法进行归纳，具体评价了原料液预处理、膜表面改性、操作条件优化及化学清洗对减轻多孔膜污染的效果．     

膜污染及其控制方法研究

膜污染是膜—生物反应器技术在污水处理应用中所面临的主要问题之一。本文从膜的性质、料液性质、膜分离操作条件等三个方面分析了膜污染的成因和膜污染过程 ,论述了膜污染在国内外的研究进展 ,介绍了膜污染的防治措施。