不一致信念的一种自顶向下的处理方法

对假说中的信念按照其可靠程度进行分层,在假说增大时根据信念的可靠程度可以将信念加入到假说的相应层次中,在推理过程中将没有更可靠的相反信息的结论作为分层假说的最终结论,这种自顶向下的对不一致信念的处理方法能够保证基于不一致信念的推理具有良好的理论性质和直观背景.     

常识推理中不一致信念的一种非修正处理方法

在一阶逻辑中，给出了一种能够描述和处理基于不一致信念，但不对已有的不一致信念进行修正的推理方法。这种方法在推导过程中，将根据已有的信念能够推出的没有相反信息的结论作为推理的最终结论。它的最重要的特点是每个假说都存在惟一的扩充，该扩充具有累积性，并且是一致和演绎封闭的。     

基于EWB的自顶向下设计方法

以交通信号控制器为例，叙述了利用EWB软件进彳亍自顶向下的设计方法，该方法使EWB用于较复杂的电子系统仿真中，设计的层次清晰、更易实现仿真，且便于电子系统的安装、调试。     

一种基于递归算法的自顶向下语法分析方法

给出了一种结合VHDL语言特点基于递归算法的自顶向下语法分析方法,并在Windows平台下用Visual C++进行算法实现.     

一种基于递归算法的自顶向下语法分析方法

给出了一种结合VHDL语言特点基于递归算法的自顶向下语法分析方法，并在Windows平台下用Visual C 进行算法实现．     

有限信念集上修正的一种方法

讨论了信念集是有限子句集时的信念修正方法，首先给出了一阶逻辑上求所有极小不协调子集的一个过程，证明了该过程的正确性，讨论了由所有极小不协调的子集来实现信念修正的方法，介绍了我们开发的信念修正的原型系统，最后和相关工作进行了比较。     

一种基于总体模型自顶向下构建Pro/E模型的方法

针对同一类型天线经常需要在已有天线模型基础上修改部分尺寸,以建立新天线模型的情况,给出了一种基于总体模型自顶向下构建整个天线Pro/E模型的方法。经过在65m口径天线副面支撑结构设计中的应用,在总体方案变动情况下,快速更改模型,证明这种方法可以极大提高效率。     

传感器参数不一致的软件处理方法

工业控制或自动检测常常要对通过传感器测得的各种有信号进行处理，而这些信号往往是非线性的，对同一类传感器来讲，如果其一致性较好，则处理起来并不难，且精度也可保证，然而对于一致性不好，甚至相差甚远的传感器，处理起来比较难，精度也难以保证。为解决上述问题。本提出采用软件设活动点法对非线性曲线分段线性化，点的数量及点的间距任意设置，实践证明，此方法效果很好。     

面临不一致时进行一致性推理的语意研究

讨论了一种新的逻辑,这种逻辑允许一个智能体在有不一致性存在于其信念集的情况下进行一致性推理．首先解释了这种逻辑的语意,然后给出了基于这种逻辑的一些推理规则和公理,最后用一个实例讨论了这种逻辑的应用．     

一种简单的参数处理方法

介绍了利用AutoCAD 200的VBA进行二次开发时参数与系统的对象关系图，以及常见的参数处理方法，并就其中一种有效处理方法做了详细介绍。     

一种以知识处理为核心的ICAI系统

研制了一种用于中学教育的新型能系统－以知识处理为核心的ＩＣＡＩ系统,该系统比普通ＩＣＡＩ系统有更多的智能性,它可以利用化学知识进行推是和问题解答。     

基于一种树型方法的自动推理

根据表方法建立了一种树型证明方法,在机器实现方面比表方法优越,而且还可以证明这一方法是可靠的和完备的.以PROLOG语言为背景,实现了由此方法而建立的命题逻辑中命题演绎的自动推理.     

一种新的DL-Lite不一致容忍语义

在本体工程中,处于演变过程中的本体常出现不一致性问题,这将导致基于本体的推理失效.为解决推理失效的问题,提出了一种新的处理DL-Lite本体实例断言中冲突的不一致容忍语义,讨论了新的不一致容忍语义与已有的不一致容忍语义的关系,给出了在新定义的不一致容忍语义下的修复算法并做了新语义下推理任务的复杂度分析.     

一种新的VCD图象捕捉和处理方法

探讨了利用POWERVCD播放器对动态VCD图象进行捕捉和图象件存储的技术,克服了以往利用抓图软件不能捕捉动态图象、分辨率差的缺点,同时提出了一种利用PHOTO—SHOP5．0图象处理软件所具有的各种强大功能进行图象处理的简单实现方法。     

一种有效的方向图后处理方法

方向图获取是指纹识别系统中的关键环节．本文根据方向图中分块区域的平方梯度一致性，提出了去除方向图上背景／噪声区域，以及在此基础上对方向图进行平滑处理的方法．通过这种方法，可以使得方向图上准确地保留指纹图像有效区域的方向表示．实验结果证明了这种方向图后处理方法的有效性．     

一种产生式系统的扩展方法

产生式系统是一种应用广泛的知识表示和知识推理方法，但具有大规模规则库的产生式系统，其知识的组织与管理越来越困难，推理效率也越低。该文采用关系模式表达知识，利用关系数据库技术，提出了一种行之有效的方法，适合大规模产生式系统的设计。     

几种软基处理方法的探究

软土地基一般是指抗剪强度较低、压缩性较高以及具有其它不良性质的地基土.这些不良地基在建造建筑物时必须引起高度重视,否则一旦处理不当,就会造成工程事故.     

POMDP基于点的值迭代算法中一种信念选择方法

部分可观察马尔可夫决策过程(POMDP)是描述不确定环境下进行决策的数学模型.基于点的值迭代算法是求解POMDP问题的一类近似解法.针对基于点的算法中信念选择这一关键问题,提出了一种基于熵的信念选择方法(EBBS).EBBS算法通过计算可以转移到的信念点的不确定性,选择熵较小且到当前信念点集距离大于一定阈值的信念点扩充信念点集合.实验结果表明,通过熵选择信念点的值迭代算法只需要在较少数量的信念点上进行值迭代操作就能得到预期的折扣报酬.     

一种新型的空调系统空气处理方法及其节能分析

针对现有空调系统空气处理方法存在的不足,提出一种热湿分段的空调系统空气处理方法.分析了热湿分段处理方法的原理和过程,通过建立热湿分段处理方法的节能数学模型,研究并得出了表冷器结构、空调回风状态对热湿分段处理方法节能效果的影响规律.结果表明:相对于常规空气处理方法,热湿分段处理方法在表冷器设计换热温差7 ℃、出风温度为16 ℃时,冷水机组COP提高达9.14%以上;在回风干球温度为25 ℃、湿球温度为21 ℃时,冷水机组COP提高达8%以上.     

一种基于熵的不一致规则的处理算法

不一致规则对于我们发现异常信息有着十分重要的作用。在总结了许多对不一致规则处理算法的不足之后,我们提出了一种基于熵的不一致规则的修正算法。根据给定的可信度阀门值,使用这个算法我们可以判断出一个信息系统中不一致规则是否异常规则。最后结合一个实例阐明了该算法的基本思路。