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

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

一个智能系统MFSDS——多功能符号微分系统

介绍一个用逻辑程序语言Turbo-Prolog编制，在IBM－PC及其容机上运行的智能程序系统－－多功能符号微分系统MFSDS，它提供了一个记忆和信息处理模型，该系统具有良好的人－－机对话界面，能根据要求自动进行符号演绎求导数、偏导数、全微分和高阶导数。     

一种演绎数据库系统的设计与实现

为了构造高效的演绎数据库系统,提出了在关系数据库系统之上增加规则处理层,构造一种基于关系数据库SOL Server的演绎数据库系统的设计方案.系统主要由语言分析器、规则管理及一致性维护器、递归查询推理机等部分组成.讨论了规则维护器的设计思想,完整性维护的算法及关键问题的解决方案,实现递归查询的推理机的设计原理,递归查询算法及实现中的优化技术.规则推理从已知事实推导出未知信息;完整性维护用来表示规则之间的各种制约关系,避免不协调和不相容的信息内容.推理机模块能正确地完成演绎推理功能,尤其对线性递归查询的实现是有效的.     

初等不等式的可读证明的自动生成

结合不等式的证明及可渎证明的自功生成这两个问题，以初等不等式及部分三角形不等式为研究对象，运用人工智能的技术，对目标不等式、条件及证明方法分类模型化的方法，实现了一个基于规则的逆向演绎系统，它能证明大部分初等不等式及部分三角形不等式的真伪并可自动产生符合人类思维习惯的可读的证明过程，该系统可以移植到智能教育软件中。     

MSVL语言的公理系统的程序验证

MSVL语言是一种用于模拟、建模和验证程序的区间时序逻辑程序设计语言．为了证明区间时序逻辑程序的正确性,提出了MSVL语言的一个公理系统:包括正则形转换的状态公理和状态推演规则,以及将程序从一个状态转换到另一个状态的区间公理和区间推演规则．最后给出验证实例说明基于该公理系统的程序验证方法．     

生命周期法在通用后置处理系统开发中的应用

针对数控加工自动编程技术中后置处理程序存在的一些不足，运用生命周期法的思想，探讨了开发通用后置处理系统程序的可行性，并进行了整体设计，给出了部分模块的详细设计内容，为通用后置处理软件程序的实现做了前期准备。     

基于3D平台龙门式电火花线切割编译仿真系统的研究

设计了龙门式电火花线切割译码仿真程序．建立了系统框架．对编译模块进行了细分，对轨迹链表的获取及二维工件，三维工件刀补的过程，仿真模块的层次结构及核心技术的实现做了详细的介绍．本系统在OpenGL环境下实现了仿真模块，能显示出更为直观的3D零件图形．编译模块使用了LEX＆YACC工具软件从而大大地提高了程序的开发效率，程序质量也得到保障．介绍了OpenGL环境及LEX＆YACC的特点．     

XQuery语言部分求值技术与实现

介绍了XQuery语言的一种部分求值技术及其实现方法,为XQuery语言的实现与应用提供了一种新的程序优化技术.这种离线式部分求值可以大致分为2个阶段:预处理阶段和例化处理阶段.其中,预处理阶段通过引用敏感性分析和绑定时间分析来分析参变量在程序中的传播和运算过程,为处理阶段例化处理设定作用范围;例化处理阶段完成程序的自动例化,生成滞留程序且提供了编译时和运行时2种例化方式的支持.基于以上技术研制的一个XQuery部分求值原型系统已经实现,通过对若干XQuery查询案例进行测试,结果表明,经过XQuery部分求值技术处理后能够有效地提高其查询的执行效率.     

基于演绎对象/关系属性的演绎面向对象数据库查询语言

为了定义出演绎对象／关系属性的SQL,从原语的角度出发,引入一个演绎对象／关系属性类型的ER图实例．在ER图实例的基础上,用事件监视器应用规则库中的规则对对象／关系类进行演绎,产生演绎对象／关系属性类型．在已有的SQL的基础上,用演绎对象／关系属性的SQL实现了演绎对象属性类型的形式化查询实例,并分析了面向对象子语言对演绎对象属性的DOOD支持．     

基于ARM7的电参数采集系统设计与应用

设计了一种实用的电参数采集系统。采用两片AILM7处理器LPC2134,下位机用LPC2134和高精度16住同步采样芯片AD7657来实现电参数采集计算和状态判断,上位机用LPC2134实现状态显示和数据存储。给出了采样模块的接口电路．同时介绍了系统硬件部分的存储扩展模块、显示模块的结构。最后给出了程序流程图。该平台具有良好的实用性．已作为采集监测模块安装在小电流接地选线装置中。     

低温水源热泵运行[火用]分析

利用[火用]的分析方法评价低温水源热泵运行过程,得出机组在10℃和15℃水源下的[火用]损分别为1．22kW和1．04kW及[火用]效率分别为21％和33％的结论．通过对系统各组成设备[火用]损、[火用]效率计算,明确其对系统效率的影响,以压缩机对系统效率影响最大．通过改变基准状态点,开展在不同环境温度下的系统[火用]损和[火用]效率的比较研究,分别绘制出不同环境温度情况下系统v损和[火用]效率的折线图,以分析其影响．     

两步教学法在“计算机通信”课程中的应用

文章在分析“计算机通信”课程教学现状的基础上,提出了一种新的两步教学法,该方法是在深入研究通信课程基本特点的条件下,结合学生接受知识的心理特点,课堂反应和教学实践总结出来的,一方面能让学生以较低的入门要求进行通信课程的学习,另一方面,在学生学习通信理论入门后,能够更容易接受通信理论的精髓——数学演绎。     

煤测井专家系统的建造及初步运用

煤测井专家系统是基于测井数据边推理、边解释的解释型专家系统。它是将煤测井解释归纳为专家知识，采用规则和静态知识表的知识表达方法，以可能性理论为基础的模糊推理，最终判定岩石类型。该系统由数据库、知识库、推理机、解释器四部分组成     

新型干法窑结皮堵塞预警专家系统的设计

对新型干法窑生产中容易发生的结皮堵塞问题进行了分析，提出了建立预警专家系统解决此问题的思路。对构成专家系统的主要部分知识库和推理机进行了详细分析和论述，在知识表示中采用不同的方法表示不同特点的领域知识．在对结皮进行判断时，重点对温度及3种有害组分的含量进行实时监测，完成了预警专家系统的设计。     

面向品牌认知的产品形态推演方法

指出了体验经济时期品牌识别对于企业经营的重要性以及产品系列延伸策略的普遍性。针对品牌视觉认知,采用Design Formation Analysis（DFA）方法提取品牌识别的形态隐式和显式特征。在此基础上提出了基于形态推演法则的形状文法,并通过此进行产品形态推演。最后通过吸油烟机形态推演实例验证了方法的可行性。     

砼耐久性专家系统总体结构设计

对国内外有关混凝土耐久性的研究成果进行系统分析，重点解决了混凝土耐久性中的众多影响因素、程度的确定及其量化表示等问题，利用神经网络技术解决了知识表示及其推理技术中的复杂性和不确定性问题，设计了推理机，建立了知识库，建立了考虑耐久性破坏因素的碱集料反应、冻性、钢筋锈蚀、硫酸盐侵蚀的混凝土耐久性专家系统。     

演绎“分类帐过帐举例”

演绎５００年前流行于威纪斯的备记簿、日记帐簿和分类帐簿的格式和操作方法,有助于重新认识《簿记论》的学术价值;对于今天的自制经济凭证、记帐凭证明细分类帐的设计和操作,具有重要的借鉴意义。     

基于D5000系统的电网事故预案推演系统设计

在研究D5000系统平台功能的基础上,阐述了电网事故预案编制体系,同时进一步设计和开发了一套基于D5000系统平台的电网事故预案推演系统,来保证事故处理的正常进行和安全校验。电网事故预案推演系统已在安庆调控中心上线使用,使用情况表明,该系统提高了安庆电网的调度水平,为其可靠、安全和经济运行提供了保障。     

专家决策系统初探

本文概述了专家系统和决策支持系统,说明了二者结合的必要性。给出了专家决策系统的一种表示模型。并讨论了专家决策系统中的知识表示和推理方式等问题。