PVM环境中提高并行计算效率的途径

本文通过对ＰＶＭ的分析与实际应用开发，分析了为提高基于工作站群机环境的并行计算效率应考虑的因素及应采取的一般措施。提出了在多网络构成的群机环境中采用按构成的网段分组实施动态负载平衡策略的方法以减少实施策略本身所带来的通信开销，这是通过减少节点间的负载平衡消息交互和任务迁移而达到的，模拟表明这是一种有效的策略。     

一种实现自然纹理映射的算法

试衣效果模拟是服装 CAD中的一个新的成员 ,高度的逼真性要求 ,使得如何将各种自然面料映射到原始的服装衣片上 ,成为一个非常有趣并富有挑战性的问题 .在总结长期实践经验的基础上 ,对该问题进行了较细致的探讨 ,并给出了相应的算法 .     

一种核心无状态保存的自适应成比例公平带宽分配机制

提出了一种核心无状态的自适应比例公平带宽分配机制CSPAFA（core stateless proporitonal adaptive fair allocation)，在边界路由器完成基于每个流的状态处理，将所有流分成标记流和非标记流两种业务类型，采用DPS（dynamic packet state)技术将有关信息编码进IP分组头，在核心将输出链路带宽分成两部分，核心根据当前的网络负荷对标记流按服务规格成比例的分配输出链路带宽，对未标记流公平分配带宽，并且能自适应地调整两类业务的带宽共享比例，最后，给出了在NS网络仿真环境下的仿真实验结果。     

基于块的测试充分性度量准则及其测试复杂性度量

1 引言近年来,计算机已广泛应用于银行、证券、工业控制、医疗、交通、航空、航天等领域。在这样的应用领域中,软件的正确性往往关系到人民生命财产和生态环境的安危。一旦软件发生故障,就可能造成生命财产的巨大损失和生态环境的极大破坏。所以,设计人员和使用人员都希望在将软件系统投入运行之前,能得到系统正确性的保证,或能将系统正确性提高到比较高的程度。以软件测试为中心的软件质量保障技术在软件生产实践中得到了迅速的发展,软件测试已成为软件生产中必不可少的质量保障手段。     

基于块的流图模型及其控制流图

针对传统的流图模型存在的定位困难以及无法给出覆盖率信息等问题，提出了基于块的流图模型及其基本图式。该模型巧妙地借鉴了集成电路布丝的思想，极易从控制流图定位到程序代码，而且在流图上附有覆盖率等信息，尤其适合应用到具体的工程测试中进行排错和覆盖分析。最后，给出基于块的流图模型的两种不同的表现形式：BlockFlow图和BlockDiagram图。这两种形式表明基于块的控制流图模型是非常有效的。     

基于FreeSWAN的VPN安全网关的构建

随着电子商务、政府上网工程、虚拟企业等的发展,在公网上架构虚拟私有网(VPN)的需求日益迫切。文章对免费的FreeSWAN软件进行了二次开发,结合所研制的客户端VPN软件NetGuard能方便、经济、灵活地建立自己的VPN网络。该文在对FreeSWAN的编译、安装、配置,以及管理等进行分析和讨论的基础上,详细地介绍了VPN网关的具体实现。     

Internet上基于IP的实时通信协议

分析了互联网上实时多媒体通信的特性,介绍了基于ＩＰ的主要实时通信协议,在阐述协议设计思想的基础上,指出它们的特点和适用范围,最后通过分析协议中引入的新技术,提出了实时通信协议的发展动向。     

一种改进的门限代理签密协议

针对不可否认L-L-C-Z门限代理签密协议中存在的安全缺陷，提出了一个改进的门限代理签密协议.通过对L-L-C-Z门限代理签密协议的密码分析，利用接收方修改公钥的方法，计算出任意消息的有效伪造签密结果.利用类似于缩短的数字签名标准（SDSS）的安全技术，以及通过公钥验证签密结果的技术，给出一个新的改进协议.安全分析结果表明，与L-L-C-Z门限代理签密协议相比，该改进门限代理签密协议能够承受接收方公钥替换攻击.改进的门限代理签密协议利用接收方公钥而不是私钥来验证签密结果，其验证过程能向第三方公开.     

一个有效的动态组密钥协商协议

针对常数轮基于身份(ID-based)的可验证密钥协商协议存在协商通讯效率不高，以及没有涉及到当组成员变动时如何重新协商的问题，采用分布式两轮组密钥协商协议中的环形组成员结构，利用单轮三方密钥协商协议技术，使得第二轮密钥协商阶段所需的广播交互信息的成员数较现有协议减少一半，提高了通讯效率.将协议推广到组成员动态变化的情形，当成员关系变化时协商的代价只与变化成员的数目相关，而与组内成员总数无关.分析表明，该协议是安全的，并且协商效率优于现有协议.     

面向组件的接口变异测试方法

组件和基于组件的软件工程已成为软件工程领域的热点，其中有很多工作致力于研究如何构筑组件，却忽略了组件的测试工作，组件化程序设计方法对软件测试技术提出了新的问题和挑战。本文中，笔者首先介绍传统的接口变异测试方法，在此基础上，通过引入作用于接口描述语言的变异算子，提出了面向组件的接口变异测试方法以及基于这种方法的测试充分性度量准则MC和IM。该方法很好地解决了在组件测试中，源代码不可知的问题。然后在MC和IM为依据，给出了一种使用MC和IM进行测试的测试方法论。