中间件(Midd1e Ware)技术在建立分布式系统中的应用

介绍了中间件技术以及它在建立分布式系统中的应用.中间件是处于操作系统软件与用户的应用软件中间的一类可复用软件.由于中间件屏蔽了底层操作系统的复杂性使得开发简便;开发周期缩短;系统的维护、运行和管理的工作量及计算机总体费用的投入减少;并使不同时期、不同操作系统上开发的应用软件可以协调工作,具有很好的发展前景.     

基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．     

挖掘大型数据库中的Apriori算法及其改进

指出了Apriori算法是一种有效的关联规则挖掘算法，分析和探讨了Apriori算法，并给出了该算法的实现思想，通过实例说明了算法的执行过程，提出了对Apriori算法进行改进的一些方法：散列、事务压缩、划分、选样及动态项集计数。使用这些技术提高了算法的效率。     

移动分布式数据库系统中合作事务恢复技术

形式地给出了合作事务定义及事务间由于消息交换而形成的各务间的检验点依赖和恢复依赖，基于这些定义，某一事务记检验点时，所有检验点依赖于该事务也记检验点，当某一事务恢复时，所有恢复依赖于该事务的事务也恢复到其检验点的状态，开发了一种适合于移动环境的事务恢复技术，；在事务正常的消息传送中，通过额外的一点带宽附加传送事务间的依赖关系，在事务记检验点时，尽可能并行地通知所有相关的事务记检验点，实验表明，该事务恢复技术能减少系统检验点的响应时间，提高系统的恢复速度及系统吞吐率，对网络带宽的要求基本没有增加。     

数据库系统的事务管理设计与实现

主要讨论嵌入式数据库中数据的安全性。本文从两个方面解决数据库系统的安全机制，数据库安全日志：系统崩溃时，数据安全恢复的保证；数据库数据处理的并发控制：数据访问时的冲突解决。     

仿真网格中预防死锁的资源分配方法及其仿真分析

仿真网格中资源协同分配是资源组织和调度的一个重要组成部分,如何避免仿真应用之间的死锁是资源协同分配过程中需要解决的重要问题。通过对仿真网格中死锁原因的分析,对死锁的特点进行了描述。根据解决死锁问题的不同策略,提出了仿真网格中基于原子事务预防死锁的资源协同分配方法,并根据应用的不同资源分配方案给出了具体算法。通过理论分析并结合仿真试验研究了该算法在资源协同分配过程中的性能,试验证明使用该方法不仅能够避免应用资源分配过程中的死锁,与其它方法相比,还能获得好的资源分配性能。     

一种从Web日志中挖掘访问模式的新算法

提出了一种用于从Web日志中高效挖掘Web访问模式的新算法．设计了一个新的数据结构WAS树(Web Access Sequence树)来记录Web访问序列和它的计数，避免冗长的支持度计算；开发出一个高效的递归算法，从WAS树中枚举出所有的访问模式，最后对算法的性能进行了分析并给出试验数据加以佐证．这个算法的特点是不需要产生候选模式而直接挖掘出所有的访问模式。     

基于事务线索树的一次扫描关联规则增量挖掘算法

首先将事务数据库压缩存储到一棵事务线索树(TT-tree)的结点上，并建立这些结点的索引表，然后寻找结点索引表的最后结点到根结点的全部路径，这些路径及路径的交集包含了用于挖掘关联规则的频繁集，该算法只需扫描事务数据库一次，由于采用了逆向搜索TT-tree的方法,搜索的时间开销非常少，该算法可以挖掘中短模式的海量数据，具有很好的伸缩性,同时该算法具有增量挖掘的功能，通过大量的实验数据进行比较。该算法的速度约是Apriori算法的10倍。     

协同治理视角下智慧交通模式的建构与实现

智慧交通治理模式的发展,标志着交通管理改革正在走向网络化、数字化、智能化三者的高度融合——智慧化。为更加全面高效应对新时代下交通管理的新问题和新挑战,智慧交通治理模式的建设应当以协同治理理念为指导,通过智能化下交通管理资源的优化、物联化下交通缓堵治理的突破、互联化下公众参与模式的创新,从社会资源协同的多元维度共同发力形成共建、共治、共享的新格局。     

智慧地参与世界事务

<正>笔者从事中学教育,退休后成了"海外背包客"。通过阅读《世界知识》等期刊,博览了全球风云及世界各地的人文、地理、文化,见习了"入境问俗",从中受益匪浅。于是我充足了电,背上了行囊,走出了大山,走向了世界!今年9月是《世界知识》杂志80周年的华诞。《世界知识》于1934年9月在上海创刊,这一年恰好是中国革命史上最伟大的红军长征开始的日子。《世界知识》生于忧患,艰苦创业,还饱受反动势力的封锁与打压,历经