A Property Tester for Tree-Likeness of Quartet Topologies

Property testing is a rapid growing field in theoretical computer science. It considers the following task: given a function f over a domain D, a property ℘ and a parameter 0<ε<1, by examining function values of f over o(|D|) elements in D, determine whether f satisfies ℘ or differs from any one which satisfies ℘ in at least ε|D| elements. An algorithm that fulfills this task is called a property tester. We focus on tree-likeness of quartet topologies, which is a combinatorial property originating from evolutionary tree construction. The input function is f _Q , which assigns one of the three possible topologies for every quartet over an n-taxon set S. We say that f _Q satisfies tree-likeness if there exists an evolutionary tree T whose induced quartet topologies coincide with f _Q . In this paper, we prove the existence of a set of quartet topologies of error number at least c((n) || 4)c{n\choose 4} for some constant c>0, and present the first property tester for tree-likeness of quartet topologies. Our property tester makes at most O(n ³/ε) queries, and is of one-sided error and non-adaptive.     

Forgery attacks on Kang et al.’s identity-based strong designated verifier signature scheme and its improvement with security proof

Recently, Kang et al. proposed a new identity-based strong designated verifier signature scheme (ID-SDVS) and identity-based designated verifier proxy signature scheme (ID-DVPS). They claimed that their schemes are unforgeable. However, we found out that their schemes are universally forgeable in the sense that anyone can forge valid ID-SDVS and ID-DVPS on an arbitrary message without the knowledge of the secret key of either the signer or the designated verifier. Finally, we propose an improved ID-SDVS which is unforgeable. We give formal security proof of universal unforgeability of our scheme. We also give an improved ID-DVPS.     

P2P MMOG中多代理节点下的资源分配算法

基于对等网络(peer-to-peer)的大型多人在线游戏(massive multi-player online game,MMOG)是网络游戏研究的热点之一.其关键任务是建立有效的兴趣管理机制.大量研究采用兴趣域内单协作者管理的模式来组织节点.随着兴趣域内玩家数量的不断增加,协作者容易达到性能瓶颈.提出一种负载均衡的结构化多代理节点模型.该模型依靠节点加入算法和邻居发现算法来建立节点间的联系.同时通过计算资源消耗指数和节点性能指数,将域内资源的处理权均衡地分配给所有节点.由于资源状态在任意时刻都由唯一的节点进行更新,保证了所有资源状态的一致性.实验表明,该模型在多方面具有良好的性能优势.     

一种新的ASON保护容量优化算法

针对ASON网络保护容量问题,建立了相应的数学模型,并提出一种基于分布估计的保护容量优化算法.与传统保护容量算法相比,该算法在可行解搜索空间及计算量上大大降低,为算法在工程上的实现提供了可行性.仿真实验结果表明,提出的新算法搜索效率高、求解速度快且能够获得高质量的全局近似最优解,具有较强的实用性.     

基于多权值神经网络的静态手势字母识别的研究

提出了一种基于多权值神经网络模型的静态手势语识别方法.应用手势字母图像圆周极径序列的傅立叶频谱信息来提取特征,再结合多权值神经网络的训练算法与识别算法,实现静态手势字母的识别,并取得了很好的识别效果.     

基于DCT变换的数字水印算法研究

提出了一种基于离散余弦变换(DCT)域的数字水印算法,该算法从DCT域的中频开始嵌入代表0和1的不相关的高斯随机序列.实验结果证明,该算法具有良好的不可见性,对噪声、滤波、剪切和旋转攻击都有良好的鲁棒性.     

基于嵌入式处理器的VoIP双模语音网关设计

讨论了一种基于IP2022解决方案的双模语音网关设计.可以实现同时连接VoIP网络和PSTN网络并能在两者之间互相转换,还可在VoIP网络不可用时使用PSTN网络保障电话线路畅通,该设计使得VoIP网络的通话成本大大降低,具备很好的实用性和灵活性.     

氡及其子体运移仿真系统开发

基于.net开发平台,借助C讨论了仿真系统的软件实现过程,简述了系统的功能模块及关键技术实现.实现了氡及其子体运移机制研究的计算机化.     

CAN总线网络测试研究

介绍了CAN总线网络开发方法,搭建了CAN总线集成开发测试环境,对实际网络进行了测试,给出了位定时参数计算方法,比较了不同模拟终端电阻下的总线的报文正确率和总线负载率等性能指标.     

基于C8051F340控制的TD直放站控制方案设计

介绍一种基于C8051F340快速单片机控制的直放站设计;采用GPS同步法,按时隙功率控制,自动增益控制AGC环路,系统的非线性指标良好、抗干扰性强、可靠性高.比以功率检测的同步方法和基于特征窗搜索的同步方法实现简单,应用范围更广,可用于任何无线直放站应用场合,特别适用于干放及无线射频交换场合.