用过程的观点看Prolog

介绍了过程性程序设计语言中过程,控制结构,程序流程等在陈性性语言Ｐｒｏｌｏｇ中的实现,说明了Ｐｒｏｌｏｇ是一种更有的效软件开发工具,它比Ｐａｓｃａｌ、Ｂａｓｉｃ等著名程序设计语言能力更强,效率更高。     

利用相关性理论改进Prolog的推理机制

为了减少求解过程中的无用回溯，提高了Ｐｒｏｌｏｇ系统的运行效率，必须对规则相关性进行分析。本文在单一的深度优行加回溯的推理机制的基础上，提出了一种改进的推理机制。把变量相关性分析引到内存数据库的子目标过程中，大大缩短了回溯链，提高了系统诉求解效率。，     

利用相关性理论改进Prolog的推理机制

为了减少求解过程中的无用回溯，提高Ｐｒｏｌｏｇ系统的运行效率，必须对规则相关性进行分析。本文在单一的深度优先加回溯的推理机制的基础上，提出了一种改进的推理机制。把变量相关性分析引入到内存数据库的子目标搜索过程中，大大缩短了回溯链，提高了系统的求解效率     

Prolog与数据库技术

本文讨论了Prolog不仅是很好的人工智能语言.而且也可以用于描述数据库中的关系、约束、空值、演绎等重要概念.     

Prolog语言的特点及其编程技术

本文论述了Ｐｒｏｌｏｇ语言的语句结构，特点和编程技术，并且给出了程序设计的实例。     

Prolog语言的特点及其编程技术

本文论述了Ｐｒｏｌｏｇ 语言的语句结构、特点和编程技术, 并且给出了程序设计的实例。     

一种并行Prolog通信模式

本文提出一种新的进程合作模式。利用数据库在Ｐｒｏｌｏｇ系统中起到的全程作用，基于操作系统的自动机模型思想，在数据库中加入共享资源的形式化说明，通过解释执行机制，实现了Ｐｒｏｌｏｇ的并行通信。     

基于WAM的Prolog编译优化

描述了一个基于WAM的高度优化的全Prolog编译系统的设计与实现,本系统是在并行、约束逻辑程序设计等方向上扩充WAM的出发点和基本平台,系统能高效地进行算术表达式计算,支持各种预定义谓词,系统的键壮性和灵活性也令人满意．经过测试系统,比BPU－Prolog快7—8倍,优于国际上某些Prolog编译系统．     

在微型机上用Turbo—Prolog实现“大型”关系数据库管理系统及知识库系统

本文介绍“分库和过滤相结合”的办法,使得“大型”关系数据库管理系统(RDBMS)和知识库系统(KBS)能在微型机上用Turbo-Prolog实现。     

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

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

FORTH系统中的结构化汇编

一般ＦＯＲＴＨ系统中附带的汇编大都提供了表达基本控制结构的手段．本文介绍了纳入ＦＯＲＴＨ系统的汇编的特点,并以笔者设计的几种ＦＯＲＴＨ系统中的Ｚ８０汇编、ＭＣＳ９６单片机交叉汇编以及ＭＣＳ－５１单片机交叉汇编为例介绍其中汇编控制结构的实现方式．控制结构的引入是对汇编语言本质上的提高．     

公司社会责任的法理学思考

公司社会责任是一个有争议性的问题，本文正是从法理学的角度论述公司社会责任，即公司社会责任所涉及的法律责任与道德责任的区别、公司社会责任是法对利益机制调整的结果及法学理念“个人本位”和“社会本位”的变化。最后，探讨了我国在《公司法》中应否确立公司社会责任。     

公共危机管理视野下的政府公信力研究

政府的公共危机管理与公信力之间有着特殊的互为因果关系,即政府危机管理的效能直接影响政府公信力的高低,而政府公信力高低又是政府危机管理效能的直接影响因素.应对危机时,政府在危机管理中的理念、行为和效率都会影响其公信力.因此,转变危机管理理念是提升政府公信力的前提,完善危机管理机制是提升政府公信力的途径,转变危机管理职能是提升政府公信力的动力,健全危机管理法制是提升政府公信力的保证.     

基于SPC的产品质量监测系统的研究与开发

统计过程控制是利用数理统计方法来分析生产过程因素,实现对生产过程的动态、连续监控。本文介绍统计过程控制的基础理论,以及SPC质量监测系统的开发。综合运用管理软件和单片机技术,生成控制图显示被控点的分布情况,区分影响生产过程的两类因素———普通因素和特殊因素,并以实例说明其应用。     

基于SPC的产品质量监测系统的研究与开发

统计过程控制是利用数理统计方法来分析生产过程因素．实现对生产过程的动态、连续监控。本文介绍统计过程控制的基础理论，以及SPC质量监测系统的开发。综合运用管理软件和单片机技术。生成控制图显示被控点的分布情况，区分影响生产过程的两类因素——普通因素和特殊因素，并以实例说明其应用。     

从系统的角度研究电火花介质

对电火花介质的发展现状进行了研究，研究了电火花加工系统中介质、控制系统、脉冲电源、电极之间的相互影响，指出了研究介质的新途径。     

经济哲学视域中的外部性问题

西方人类绝对中心论对西方经济社会发展，对经济学的形成和发展，产生了重大影响。随着环境和生态问题的愈益严重，西方新制度经济学试图通过制度建设来克服交易费用，用自由主义的方法来解决外部性问题。但是，外部性问题不是经济学能独立解决的。实践观的思维方式将会给经济学的创新和发展带来广阔的视野。     

人居环境研究的地域文化视野探析

文化是人居环境的基本要义.结合我国城市发展进程的具体阶段性特征,将城市文化研究落实到具体的时间、空间中,讨论地域文化的内涵构成和发展规律.通过比较研究重庆、香港城市发展的历程,以自下而上的地域文化视角深入讨论城市发展建设中的文化问题.     

以核心商业企业销售指数为例的经济指数监控区间研究

通过编制经济指数监测市场运行状况是商务部《商务天气预报》项目的重要内容.指数编制既要考虑充分发挥其监测、预警功能,还须明确指数不同数值水平所代表的经济意义,如何划分指数监测区间是《商务天气预报》项目亟需解决的一个子课题.本文利用质量控制图的思想,以经济指数的变化率为监控指标,建立经济指数监控图,通过观察监控图中指数点的排列情况,对经济运行起到预警的作用.