P2P网络通信树群发算法研究

深入分析P2P通信规则,以并发通信时间最短为目标,提出了一种新型的群发通信树构建算法——“困难节点”优先通信树算法.对比支路优先试加节点通信树算法,更加合理的布局各个节点在通信树中的位置,模拟结果表明,“困难节点”优先通信树算法的通信效率优于支路优先试加节点通信树算法.     

集成GIS及信息化新技术的农家书屋工程信息管理系统建设

以基于工作流的GIS信息技术服务于农家书屋工程管理为目标,突破基于GIS的工程管理与服务、工程智能化管理、数据自动审核和质量控制等信息化工程管理核心技术,形成农家书屋信息数据库、农家书屋发布服务数据库等数据新成果,自主研制了"农家书屋工程信息管理系统"和"农家书屋信息发布系统"两个网络软件系统,在新闻出版总署农家书屋工程建设领导小组办公室及31个省级、346个地市级、3296个县级农家书屋办公室单位以及数十万行政村(乡镇)书屋建设用户的全面应用,实现对全国64万个农家书屋的信息化智能管理和辅助决策服务,该系统的建立是加强农家书屋工程监督管理的有效手段,是大力推进农家书屋工程建设的重要保障.     

浅谈数据库中的锁

锁是数据库中的一个非常重要的概念,它主要用于多用户环境下保证数据库完整性和一致性。我们知道,多个用户能够同时操纵同一个数据库中的数据,会发生数据不一致现象。如果没有锁定且多个用户同时访问一个数据库,当他们的事务同时使用相同的数据时就可能会发生问题。     

并发一致性问题及解决办法

维持系统的一致性是使系统正常运行的前提。该文叙述了面向对象分布式计算系统在引入并发之后可能带来的不一致问题及解决办法，从一致性理论出发，全面探讨了维持并发一致性的各种方案，提出了一套维持一致性的管理策略，设计并实现了一个并发控制算法。     

预创建代理服务器的分析与设计

为了加强校园网WWW服务的安全性，需要实现一个既能稳定运行效率又比较高的代理服务器．在对HTTP协议进行详细分析的基础上，对代理服务模型和常用的实现方式的优缺点进行了详细的分析，最后对基于线程预创建WWW代理服务器做了详细的设计，并在Linux环境下加以实现．该系统已经完成了一系列的测试，测试表明采用预创建技术．提高了代理服务器的运行效率．目前该系统已经在Internet上运行，并能稳定地为校园网及学校近10个部门提供WWW代理服务，取得了良好的效果，满足了校园网的需求．     

并发进程中信号量使用的技巧

着重讲述了利用信号量实现的并发进程的互斥与同步控制，并列举了三个具有典型性的例题，由此总结出在并发进程编程中信号量使用的技巧。     

关于三点测交基因连锁作图的注记

就三点测交的计算方法进行了数学分析，提出了原有方法的不足，给出了修正方法中各估计值及标准误的计算公式，并就该方法进行了Fisher信息测度分析。     

PowerBuilder的分布式事务处理与并发控制

介绍了分布式事务处理和并发控制的原理及方法，并通过PowerBuilder实例具体阐述了分布式事务处理和并发控制的开发过程。     

模糊交互时态逻辑及其语义结构

Alur等人建立的交互时态逻辑（ATL ＊）是一种重要的多Agent合作逻辑,它对计算树逻辑（CTL ＊）进行了合作算子拓展,然而它缺乏对不确定时态信息的刻画。通过考察模糊时态事件和模糊时态状态、描述相对时间来改进并发博弈结构,并给出模糊并发博弈结构;把模糊并发博弈结构的若干要件从相对时间域到绝对时间域进行映射,给出已映射模糊并发博弈结构;建立了模糊交互时态逻辑（FATL ＊）,给出其语法,在已映射模糊并发博弈结构下给出其语义;阐述了FATL ＊的表达力比ATL ＊强。     

基于角色权限的OVE并发控制策略研究

在虚拟协同环境中,必然存在多个用户对共享对象进行并发访问,冲突不可避免.现有系统所采用的锁定机制,要求用户在对物体修改之前先进行锁定,造成多个用户始终处于等待状态而不能对共享对象施加有效操作,从而影响系统的执行效率.针对目前并发控制策略的这一缺陷,本文归纳了虚拟协同环境中并发控制策略的通用设计准则,引入了角色权限机制,在传统锁定机制基础上,提出了一种基于角色权限的虚拟协同环境并发控制策略.这个策略在一定程度上保证了虚拟协同环境的一致性,有效地改善和优化了系统性能.