流程图与程序的相互推导

一、引言流程图是软件设计的一种有工力具。在程序的正确性证明、自动生成等方面更是作用重大。我们提倡,在编写一个程序之前,总是先画出问题的流程图。如果一个问题并不复杂,其流程图较简     

预测系统中的类比推理方法

本文提出用类比方法处理历史性数据的模型。该模型将所有与“目标”系统相似的“源”系统分别进行类比处理、再综合所有类比结果、得到预报策略。并且,给出了该模型的实现算法。     

NR：一种数值推理方法

给出了一种数值推理方法。它将逐步匹配推理方法转化为逻辑值的计算。该模型的推理时间至多为Ｏ（ｎ＾２）。     

基于完全加权关联规则挖掘和查询扩展的信息检索

将完全加权关联规则挖掘技术应用于信息检索,提出一种基于完全加权关联规则挖掘和查询扩展的信息检索模型,重点阐述模型的设计思想及其算法和实现的关键技术.实验结果表明,该模型有效,能提高信息检索性能,有很高的实际应用价值和推广前景.     

SET协议中问题的分析及解决方案

文中对ＳＥＴ协议中的“ｋ ｏｕｔ ｏｆ ｎ”问题进行了全面的分析,并提出了完整的解决方案,在对ＳＥＴ付费业务流程中的两个关键性问题用ＮＤＬ逻辑进行验证后,给出了它们的Ｐｒｏｌｇｏ程序流程,全文着重于在ＳＥＴ协议中实现“防抵赖”和“可迫踪”两种安全机制,并在此基础上实现用Ｐｒｏｌｏｇ语言程序模拟验证过程,最后对电子商务的发展和今后将要做的工作做了一些初步的探讨。     

基于因果链的知识库建造

涂象初等建立了一种集合搜索技术,其效率比传统的逐点搜索有所提高,是解决搜索问题的一种新途径。在许多应用中,集合搜索实质上是一个具有布尔代数元的IF－THEN结构序列,即     

Apriori算法的三种优化方法

通过对Apriori算法的思想和性能的分析,认为Apriori算法存在以下三点不足:(1)由K阶频繁集生成K+1阶候选频繁集时,在K+1阶候选频繁集中过滤掉非频繁集的策略值得进一步改进;(2)连接程序中相同的项目重复比较太多,因而其效率值得进一步改进;(3)在回扫数据库时有许多不必比较的项目或事务重复比较。根据上述三点不足,提出了相应的三种优化策略来优化Apriori算法,得到一效率较高的改进Apriori算法。     

几种不确定推理模型研究

在现实世界中,事物通常以不确定的形式存在,事物之间的关系也具有不确定性。另一方,人们从自然现象中总结出的规律或知识是经验的,或不确定的。因此,在推理判断和决策过中,均不可避免地涉及不确定的数据和知识的处理。现在,已建立了     

时态关系代数与元组演算的等价性

建立了一个时态关系代数和时态元组演算并证明了他们间的等价性。     

不确定的因果关系

从实际数据出发，使用概率技术定义了一种新的不确定性知识的表示方法。该方法主要是确定了条件与结果的关系。本文对条件与结果间的关系做了进一步研究，并给出一种计算这种关系的方法。