Windows Vista用户帐户控制机制的反向建模分析

形式化建模分析是发现系统漏洞的有效方法之一,为了解决正向建模对非开源软件进行分析的困难,本文提出了一种反向建模的分析方法。反向建模是一个反馈式的过程。利用模型检验工具验证分析生成的反例在真实系统中进行确认,若反例没有得到确认则对模型进行修正,然后再次进行验证,如此反复。直至反例得到确认,即可得到较为准确的模型并发现系统的不足。本文使用该方法对Windows Vista用户帐户控制机制进行了分析,发现了其不足,取得了较好的效果。     

非确定性数据库中空值处理

尽管关系数据库有很多优势,但它缺乏一种处理非确定性数据的能力.目前,已经提出了几种将非确定性结合到关系数据库模型的方法,它们对关系数据库模型做了诸多扩展.但空值问题依旧存在,一些模型根本就没有考虑空值因素.这违背了非确定性数据库要更加真实地反应现实世界的初衷.为此,给出了一种非确定性数据库系统中空值处理方法,改进现有非确定性数据库模型中对空值处理不完善的情况.     

基于Boosting算法集成遗传模糊分类器的文本分类

提出一种新颖的基于Boosting模糊分类的文本分类方法。首先采用潜在语义索引(LSI)对文本特征进行选择;然后提出Boosting算法集成模糊分类器学习,在每轮迭代训练过程中,算法通过调整训练样本的分布,利用遗传算法产生分类规则。减少分类规则能够正确分类样本的权值,使得新产生的分类规则重点考虑难于分类的样本。实验结果表明,该文本分类算法具有良好分类的性能。     

大规模IPv6网络拓扑发现探测目标点的构建和选取

探测目标点的数量及分布位置对网络拓扑发现的覆盖率和探测效率有直接的影响,因此成为网络拓扑发现研究领域一直关注的焦点.本文针对目前大规模网络拓扑发现目标点相关研究现状,提出了两种目标点集合构建方法,在对目标点冗余分析的基础上提出了相应的探测目标点选取方法.最后通过对CERNET-2骨干网络的实际测试,说明了本文提出的这些方法可以推广至国家级规模的IPv6网络拓扑发现应用中.     

合成革的夜光整理及其性能研究

将不同质量分数的稀土铝酸盐夜光粉分别掺杂在水性聚氨酯浆料中制备出复合浆料,然后采用涂覆法对合成革进行夜光涂层处理,所得夜光合成革不仅具有普通合成革的舒适性、透气性、柔韧性、手感和外观等优点,同时还具有蓄能和自发光的功能。对夜光合成革小样进行发光性能、透水汽性能、耐水冲洗性能、热重性能和断裂强度、断裂伸长、撕裂强度、抗弯性等物理机械性能测试。结果表明:复合浆料对夜光粉的发光性能没有影响;当夜光粉在浆料中的含量为20%(质量分数)时,所制备的夜光合成革发光性能良好,能发射出波长为520nm的黄绿色光,同时其透水汽性能与耐水冲洗性能良好,其物理机械性能与耐热分解性能达到实用要求。     

基于两步备份机制的内存数据库恢复方法研究

在内存数据库中,数据库的备份、日志存储及异常情况下的系统恢复需要执行大量费时的磁盘I／O操作,这必将成为系统的瓶颈,传统的恢复方法基本上都是通过备份日志来确保数据库快速恢复到一致性状态。本文在Song’s No-Log Recovery Mechanism的基础上,结合影子内存技术,提出一种基于两步备份机制的内存数据库恢复方法,较之传统恢复方法,它无需记录日志,既可以减少恢复时间,又可确保响应时间的快速性。     

无线传感器网络定位理论和算法

定位技术作为网络协议和应用的基础,已经成为无线传感器网络重要的支撑技术,是传感器网络研究的核心问题之一.系统地总结了近年来定位理论和算法的最新研究进展.全面阐述了定位问题的形式化定义、定位问题复杂度分析、基于刚性理论的定位理论和定位问题可计算性研究的最新成果.通过对定位理论的研究可以更好地揭示定位技术的本质,回答很多定位技术相关的基本问题.此外,还深入分析了近年来典型的定位算法,介绍每种算法的设计思想,分析其适用范围和不足.最后给出定位理论和定位算法未来的研究方向.     

基于等量效果的Vague集转化为Fuzzy集的方法

针对当前Vague集转化为Fuzzy集的方法更多是根据直观,而没能详细阐述所基于的原理。为能更好理解Vague集转化为Fuzzy集的过程,考虑将Vague集转化为Fuzzy集模拟为一个最终无弃权票的多轮投票过程,从而构造了一种效果函数的定义,用以表示支持力度。并结合积分第一中值定理的意义提出了一种新的基于等量效果的转化方法,以保证在转化过程中,所关心的总效果没有发生变化。最后结合数据,严格分析了该方法的良好性质以及合理性。     

存储一致性模型研究

讨论了分布式共享存储系统（Ｄ Ｓ Ｍ）的通用结构及页面管理机制,给出了各种存储一致性模型的正确性条件,并以互斥问题为例,说明了在分布式环境下编程的一些特点,最后,基于作者本人的工作,还讨论了如何提高Ｄ Ｓ Ｍ 系统性能的问题。     

探索大（中）型水库移民长效补偿机制的构建

水利水电工程移民是一项区域经济社会系统重建的活动,是巨大的社会经济系统工程,是一个地区经济结构重组的过程,是一项艰巨、复杂、长效性的工作。近年来,很多水电项目都进行了移民“长效补偿”的探索,特别是金沙江阿海、梨园水电站提出了一整套较为完整的移民安置“长效补偿”政策。