一种基于散列和事务压缩的Apriori改进算法

在数据挖掘中，关联规则是发现知识的一种有效方法。该文在分析关联规则挖掘Apriori算法原理和性能的基础上，并提出了一种效率更高的改进算法。该算法是基于散列和事务压缩这两种技术。散列技术可以显著地压缩要考察的候选项集，事务压缩可以减少数据库中的事务项，从而提高Apriori算法效率。     

碳酸盐岩地层破裂压力预测新模型及其应用

海相碳酸盐岩地层原生孔隙较少而裂缝较发育,利用测井资料计算其破裂压力难度较大.依据弹性力学原理和岩层破裂机制,综合考虑三向地应力及地层特征对地层破裂压力的影响,建立一种新的适合海相碳酸盐岩地层的破裂压力计算模型.川东北通南巴构造上5口井的应用结果表明,利用该模型计算得到的破裂压力值与实测值误差较小,能够满足工程计算要求.     

基于UPPAAL的NS密码协议模型检测分析

形式化分析方法是目前密码协议分析的主流方法。然而，典型的密码协议形式化验证方法没有考虑时间因素，这个选择使得分析简单化。本文提出了运用基于时间自动机的模型检测工具UPPAAL分析密码协议的方法，并对著名的Needham—Schroeder协议（简称NS协议）的简单版本进行了分析。在对NS协议进行建模时，考虑消息实际传输需花费时间，引入消息的时间信息，从而构建NS协议的时间自动机模型。该方法利用UPPAAL的检查引擎所用的先进技术使其克服了一般时间自动机应用存在的状态空间爆炸问题。实验结果UPPAAL给出了NS协议认证失败的一种可能之一。分析结果表明，入侵者可以轻松地对NS公钥协议进行有效攻击。从而证明UPPAAL工具可以成功检测出NS协议的缺陷。     

基于CTL的电子商务安全协议形式化分析

本文建立了基于CTL的电子商务协议模型，该模型形式化地描述了电子商务协议的身份认证、杌密性、完整性、非否认性、拒绝服务性和存取访问。本文对Lu—Smolka提出的Lu—Smolka协议研究实例加以阐述，发现了两个攻击，该形式化方法也可用于电子商务的其他安全协议分析。     

基于VB的BP算法描述

BP网络具有结构简单、技术成熟的优点,在很多领域都有广泛的应用。介绍了BP算法的数学表达,并用VB对BP算法进行了具体描述,包括BP算法的初始化、隐含层与输出层之间权系数的更新、主程序等。