通用自组织模糊控制器的研究

提出一种较为理想的通用型带智能积分器的自组织模糊控制器的控制策略．仿真实验表明：此控制策略较传统的ＰＩＤ控制，基本模糊控制器等控制策略而言，具有通用性，超调小，调节时间短和鲁棒性强的特点．     

通用操作系统对比评测标准研究

摘要当前国内外研究机构以及操作系统开发商主要关注的是操作系统技术本身的技术提升和产品推广,在如何合理、客观地对比和衡量不同通用操作系统的技术水平的相关研究方面比较欠缺。而国内评测机构仍采用一般软件的通用评测标准来评测操作系统,其适用性和评测结果的针对性有所不足。深入研究了目前国际主流操作系统产品以及不同操作系统之间的典型对比方法,论述了各种方法的优势和不足。提出了一套定性和定量方法相结合的改进的操作系统技术对比评测标准,确定了操作系统技术对比的7个维度、各个维度的具体对比项以及缺省权重,给出了操作系统对比标准的实施方案和步骤,描述了对比结论的表述方式。基于该标准将RHEL 5. 5与Windows Server2008进行了对比。提出的评测标准可填补国内通用操作系统评测标准的空白。     

CREED：一种高可靠的能量高效的传感器网络分簇方法

本文提出了一种高可靠的、能量高效的分簇协议CREED。CREED利用了802．11a／b／g技术的多速率能力分析了适合单跳的最佳传输范围,并基于此范围划分网络,同时提出了一种基于节点剩余能量的簇首动态备份机制EDDS,以加强CREED的容错能力。EDDS只需少量开销就可以支持快速的簇首选举和故障恢复。此外,CREED在簇间使用多路径方法来来保证数据传输的可靠性。本文最后通过模拟验证了CREED的性能。     

集群系统的I/O流透明性问题

该文着重研究了在集群（Ｃｌｕｓｔｅｒ）中的Ｉ／Ｏ流管理问题,目的在于提供一个透明的Ｉ／Ｏ流环境,以改善集群诉用户界面。在研究传统的解决流透明性方案的基础上,提出了一种新的方案,并结合实践,阐述了实现Ｉ／Ｏ流透明性的方法。     

"天河二号"上一种DNA序列denovo拼接方法的并行优化策略

基于String Graph理论的序列拼接工具SGA是当前国际上的一种新型序列拼接工具.首先,形式化证明了SGA的序列拼接问题是一个NP完全问题,然后对SGA的拼接效率进行了分析,发现与业界同类拼接软件相比,SGA在内存开销方面具有优势,但却有更大的时间开销,其中构建索引占了60%~70%的比例.基于此,设计了一种并行优化策略,并实现了面向天河二号体系结构的并行策略来解决这一问题.分别在普通机群和天河二号上进行性能测试,针对小规模数据,优化后的索引构建时间比之前的最佳性能提高了3.06倍,中等规模数据提高了1.60倍,实验结果表明,其优化效果明显,且并行构建局部索引过程具有良好的线性扩展性.其中用到的优化方法和策略对相关问题的研究有一定的借鉴意义.这也表明,天河二号的超级计算能力能够很好地助力生命科学领域的相关研究.     

可信度共享认证模型研究

由于认证系统存在不确定性,本文给出认证可信度的相关概念以描述不确定性,并给出多认证机制下可信度共享认证模型。该模型在可信度共享的思想上,通过将系统访问可信度值在多认证机制之间的分散管理,防止特殊场合认证机制的权力过于集中,以满足重要系统的特殊需要,增强系统的安全性。     

溪洛渡水电站550 kV气体绝缘输电线路的采购实践

气体绝缘输电线路(Gas Insulated Trasmission Lines,GIL)作为一种先进的电力传输设备,国内外已有30多年的运行经验,它具有电能损耗小、可靠性高,送电容量大、运行维护工作量小、使用寿命长、对环境无影响等优点.结合溪洛渡水电站装机容量大、电压等级高、地理条件特殊等特点,地下电站引出线段采用了550 kV GIL输电方案.对CIL设备的招标设计和招标实施过程进行了介绍,为类似设备的招标采购提供借鉴和参考.     

异构无线传感器网络中一种可扩展的代码分发技术

代码分发一直是无线传感器网络研究的热点问题.目前的研究工作主要集中在同构场景下的代码分发,广播是这些研究工作中最常用的手段.而对于异构场景下的代码分发问题,研究工作则相对较少,传统的基于广播的方法很难直接适用.文中针对异构网络下的代码分发问题,把该问题归约为最小非叶节点MNN(minimum nonleaf nodes)Steiner树问题,并设计了一种基于多播的代码分发协议HSR(heterogeneous sensor networks scalable reprogramming protocol).该协议利用组件化的思想,为不同类型节点(或代码模块)建立了多棵最优代码分发多播树.并证明了在解决MNN问题时,HSR达到了理论最优近似率ln|R|(R为目标节点数),有效的降低了异构网络下代码分发过程中的通信开销和能耗.在此基础上,文中还设计了两种压缩编码机制:特殊路由日志机制SRL(special routinglog)和跳步受限的局部广播机制HLB(hops-restricted local broadcast),使得多播树的信息可以被无损压缩,增强了HSR协议的可扩展性.在实时性方面,提出了基于多播树的3阶段流水线调度方法,有效缓解了隐藏终端和干扰问题.仿真结果证明了协议的正确性和有效性.     

软件安全漏洞检测技术

软件安全漏洞检测技术是提高软件质量和安全性、减少软件安全漏洞的重要方法和基本手段,受到学术界和工业界的广泛关注和高度重视.其主要途径包括软件测试、程序分析、模型检验与符号执行等.近年来,综合利用多种研究方法和技术手段来检测软件安全漏洞已成为软件安全领域的研究热点.文中首先回顾了程序分析与软件安全漏洞检测的基本概念、核心问题和传统手段.然后重点介绍该领域的最新进展,主要包括轻量级动态符号执行、自动化白盒模糊测试以及其实现技术和相应的工具.最后,指出了其所面临的挑战和发展趋势.     

移动传感器栅栏覆盖研究

栅栏覆盖保证当某个移动目标沿任意路径穿越监控区域时都能被检测到,适合于移动监测和边界保护等应用.随机部署静止传感器时,为保证栅栏覆盖需要大量节点,造成了不必要的浪费.本文利用可移动传感器进行栅栏覆盖,移动传感器随机部署后能够自动再部署,可以利用少得多的节点保证栅栏覆盖.本文研究了能量有效的栅栏覆盖再部署问题,并设计了一个集中式再部署算法,为所有节点计算最优的再部署位置.