Efficient and provably secure password-based group key agreement protocol

This paper considers the issue on authenticated group key agreement protocol among n users broadcasting communication over an insecure public network. Many authenticated group Diffie-Hellman key agreement protocols have been proposed to meet the challenges. However, existing protocols are either limited by the use of public key infrastructure or by their scalability, requiring O(n) rounds. To overcome these disadvantages, we propose an efficient password-based group key agreement protocol resistant to the dictionary attacks by adding password-authentication services to a non-authenticated multi-party key agreement protocol proposed by Horng. The proposed protocol is very efficient since it only requires constant rounds to agree upon a session key, and each user broadcasts a constant number of messages and only requires four exponentiations. Under the Decisional Diffie-Hellman assumption, we will show the proposed protocol is provably secure in both the ideal-cipher model and the random-oracle model.     

Micromachining of passive planar micromixer on poly (methyl methacrylate) substrate with excimer laser ablation

Excimer laser ablation technique was introduced into this work to fabricate a passive planar micromixer on the PMMA substrate. T-junction shaped and width-changed S-shaped microchannels were both designed in this micromixer to enhance mixing effect. The mixing experiment of distilled water and Rhodamine B with injection flow rate of 500 and 1,500 μm/s validates the mixing effectivity of this micromixer, and indicates the feasibility of excimer laser ablation in the microfabrication of μ-TAS device.     

A cross-junction channel valveless-micropump with PZT actuation

A gas-jet micro pump with novel cross-junction channel has been designed and fabricated using a Si micromachining process. The valveless micro pump is composed of a piezoelectric lead zirconate titanate (PZT) diaphragm actuator and fluidic network. The design of the valveless pump focuses on a cross-junction formed by the neck of the pump chamber and one outlet and two opposite inlet channels. The structure of cross-junction allows differences in fluidic resistance and fluidic momentum inside the channels during each PZT diaphragm vibration cycle, which leads to the gas flow being rectified without valves. The flow channels were easily fabricated by using silicon etching process. To investigate the effects of the structure of the cross-junction on the gas flow rate, two types of pump with different cross-junction were studied. The design and simulation were done using ANSYS-Fluent software. The simulations and experimental data revealed that the step-nozzle structure is much more advantageous than the planar structure. A flow rate of 5.2 ml/min was obtained for the pump with step structure when the pump was driven at its resonant frequency of 7.9 kHz by a sinusoidal voltage of 50 V_p–p.     

构造基于证据理论的群组信任管理模型

针对资源共享系统中节点的恶意行为,提出一种基于证据理论的群组信任管理模型,在节点间服务与被服务的过程中建立信任关系,抑止恶意节点的破坏行为.首先根据改进的直方图法计算节点直接信任值,利用改进的冲突信任加权证据组合规则计算推荐信任值;然后融合本地信任值和其它节点推荐信任值完成对目标节点的最终信任评估;最后进一步通过服务节点选择算法选择可信度较高的节点作为服务提供节点,避免服务请求节点得到错误或破坏性的资源.通过仿真实验对此模型在对抗恶意攻击时的有效性进行了验证.     

对等数据管理系统中模式映射的备份机制

针对对等数据管理系统中节点因自治性而动态离开和返回网络造成模式映射路径频繁断裂的问题,提出一种基于模式映射备份机制的离开节点绕过方法,向下游节点提供以树状结构组织的上游映射信息。当映射路径中有节点离开时,其下游节点的查询以此映射信息和备份的上游映射,绕过离开节点。仿真和分析的结果表明,映射备份机制的引入提高了查询的可达性,从而可以从更多的局部数据库中获得返回结果。     

基于Python的实时嵌入式软件测试脚本

基于Python语言设计一种实时测试脚本,开发扩展模块,实现测试脚本与嵌入式软件仿真测试环境（ESSTE）的接口。该测试脚本使用简便,实时性高、描述能力强、具有良好的可复用性,目前已成功应用到ESSTE中。对多个实时嵌入式软件进行测试,结果验证了该测试脚本的正确性和实时性。     

改进的基于目录的Cache一致性协议

介绍几种典型目录一致性协议并分析它们的优缺点。在综合全映射目录和有限目录优点的基础上,通过在存储器层上增加一个存储器高速缓存（Cache）层的方式,提出并讨论一种改进后的Cache一致性协议。该协议相对有限目录存储开销增加不多的情况下,提高了系统性能和可扩展性。     

基于色度坐标高斯混合模型的步态检测

针对传统的基于RGB通道的高斯混合模型低对比度像素点检测效果较差的问题,提出一种基于色度坐标的高斯混合模型,使之更好地用于步态检测。该算法将RGB色彩值转换到色度坐标上,以强调色彩对比度,提高低对比度像素点的检测率,并增加亮度信息以减小阴影的影响,在前景提取部分,加入噪声抑制机制。实验结果表明,改进后的算法在相同对比度下,误检测率最多可减小一半。     

TPC-H自动测试工具TPCHDriver的研究

TPC—H基准测试可以比较不同数据库系统之间的查询性能差别,它的测试结果已经成为评价DBMS和服务器的重要标准。该文开发了自动化的TPC—H测试工具TPCHDriver,该工具应用面向对象设计、Java语言开发,图形用户界面,实现了从数据装载到Power测试和Throughtput测试、生成测试报告整个过程的自动化。简述了TPC—H基准的测试模型、TPCHDriver程序的结构和主要功能,阐述了TPCHDriver的关键实现技术。     

基于推理信息量的BN参数学习变量离散化方法

提出推理信息量的概念,将其作为贝叶斯网络连续变量离散化评价标准。在连续变量离散化的过程中,采用遗传算法寻求最优解,设计个体编码方式、交叉算子和变异算子,将推理信息量作为衡量个体适应度的标准。实例分析证明,通过该方法对变量进行离散化后学习得到的贝叶斯网络在推理时能得到更大的推理信息量。