流程图与程序的相互推导

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

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

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

NR：一种数值推理方法

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

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

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

电子商务安全协议及其非单调动态逻辑验证

该文介绍了SET(secure electronic transactions)的付费业务流程,对NDL(non-monotomic dynamic logic)的逻辑框架进行了扩展,即针对SET协议,增加了新的公理,重新给出积累规则的定义.在此基础上,用对SET中的几个重要的范例进行的逻辑验证,说明了NDL在验证电子商务协议上的重要性,并初步提出了积累规则中需要进一步研究的问题.     

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

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

基于因果链的知识库建造

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

Apriori算法的三种优化方法

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

一种提高Apriori算法效率的方法

Apriori算法是关联规则挖掘中的经典算法。在Apriori算法中，需要大量进行两个操作：判断两个k-项集是否前k-1项相同且最后一项不同；判断一个项集是否为另一个项集的子集。利用Apriori算法中项集之间都是有序的这一特点可以减少以上两个操作的执行次数，从而达到对Apriori算法进行优化的目的。实验结果表明，经过优化了的Apriori算法在运行效率上有一定的提高。     

几种不确定推理模型研究

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