一种基于变量可达向量的链表抽象方法
摘要：提出了一种链表抽象表示方法孩方法隐式存储链表结点之间的边信息，并采用了一种紧致的链表状态表示，存储开销较低，且维护了链表长度信息，精确度较高．具体而言，根据变量对链表结点的可达性质定义了变量可达向量，采用带计数的变量可达向量集描述链表的形态及数量性质，并定义了基本链表操作的抽象语义．通过简单扩展，该方法可以建模包括环形链表在内的所有单向链表．最后，为了验证该链表抽象方法的正确性，在符号执行框架中进行实验，并对常见链表操作程序的运行时错误、长度相关性质等关键性质进行了分析与验证．一种基于路径优化的推测多线程划分算法
摘要：推测多线程（speculativemultithreading，简称SpMT）技术是一种实现非规则程序自动并行化的有效途径．然而，基于控制流图和分支预测技术的线程划分方法，不可避免地会受到划分路径上所存在的控制依赖和数据依赖的制约．目前，在传统的线程划分算法中存在的一个重要问题是，在对划分路径进行选取时只考虑了控制依赖影响却不能有效地综合考虑数据依赖的影响，进而导致不能选取最佳的划分路径-因此，针对传统方法中这种依赖评估方法效率低下的问题，设计并实现了一种基于路径优化的线程划分算法．该算法通过引入基于程序切片技术的预计算方法，建立一种路径评估方法来评估程序间的控制和数据依赖．同时，引入控制线程体大小的启发式规则，以便有效地解决负载不平衡的问题．基于Olden测试集的测试结果表明，所提出的算法可以有效地对非规则程序进行划分，其平均加速比可以达到1．83．代码坏味的处理顺序
摘要：选取了10种具有代表性的代码坏味进行研究．从每种代码坏味的产生原因、症状、对软件的影响以及相应的处理这4个方面进行分析，提出了一个代码坏味处理顺序的优先级．通过问卷调查和两个实验，对代码坏味处理顺序优先级进行了初步验证．网构软件的Wright-Fisher多策略信任演化模型
摘要：网构软件是开放网络环境中软件系统基本形态的一种抽象，其信任关系本质上是最复杂的社会关系之一_为了增强信任演化模型的自适应性，提高预测的准确性以及有效地抑制自私节点的产生，结合差异化服务和演化博弈理论，提出了一种符合开放网络特征的信任演化模型：（1）建立基于差异化服务的实体全局收益函数，以增强信任演化模型的自适应性；（2）以演化博弈理论作为分析工具，借助Wright—Fisher模型的特点，提出了一种Wright—Fisher多策略信任演化模型，以增强对信任演化预测的准确性；（3）根据“公平规范”原则建立了基于博弈的激励机制，激励信任策略的演化，从而有效地抑制自私节点的产生．实验结果表明：该模型能够更准确地反映开放网络中实体信任行为的复杂性特点；在激励机制的作用下，网构软件的信任演化能够更快地达到稳定状态，从而有效地提高网络的效率，使网构软件系统的信任收益达到最优．容错的网络声明式程序
摘要：介绍了基于递归规则的网络声明式语言Netlog的语法和分布式不动点语义，定义了强良好的程序，并证明了强良好的程序的计算结果对有限的消息丢失不敏感．XML关键词检索的查询理解
摘要：与纯文本文档集相比，使用语义标签标注的半结构化的XML文档集，有助于信息检索系统更好地理解待检索丈档．同样，结构化查询，比如$QL，XQuery和Xpath，相对于纯关键词查询更加清晰地表达了用户的查询意图．这二者都能够帮助信息检索系统获得更好的检索精度．但关键词查询因其简单和易用性，仍被广泛使用．提出了XNodeRelation算法，以自动推断关键词查询的结构化信息（条件／目标节点类型）．与已有的推断算法相比，综合了XML文档集的模式和统计信息以及查询关键词出现的上下文及其关联关系等推断用户的查询意图．大量的实验验证了该算法的有效性．一种基于学习的高维数据c-近似最近邻查询算法
摘要：针对高维数据近似最近邻查询，在过滤．验证框架下提出了一种基于学习的数据相关的c-近似最近邻查询算法．证明了数据经过随机投影之后满足语义哈希技术所需的熵最大化准则．把经过随机投影的二进制数据作为数据的类标号，训练一组分类器用来预测查询的类标号．在此基础上，计算查询与数据集中数据对象的海明距离．最后，在过滤后的候选数据集上计算查询的最近邻．与现有方法相比，该方法对空间需求更小，编码长度更短，效率更高．模拟数据集和真实数据集上的实验结果表明，该方法不仅能够提高查询效率，而且方便调控在查询质量和查询处理时间方面的平衡问题．基于Hadoop的高效连接查询处理算法CHMJ
摘要：提出了一种并行连接查询处理算法CoLocationHashMapJoin（CHMJ）．首先，设计了多副本一致性哈希算法，将具有连接关系的表根据其连接属性的哈希值在机群中进行分布，在提升了连接查询处理中数据本地性的同时，保证了数据的可用性；其次，基于多副本一致性哈希数据分布，提出了HashMapJoin并行连接查询处理算法，有效地提高了连接查询的处理效率．CHMJ算法在腾讯公司的教据仓库系统中进行了应用，结果表明，CHMJ连接查询的处理效率比Hive系统提高了近5倍．基于时态编码和线序划分的时态XML索引
摘要：研究了一种基于时态编码和线序划分的时态XML索引机制．首先，提出一种基于扩展先序编码的时态编码方案，通过该编码可确定结点间的结构关系；其次，在深入分析时间区间关系的基础上引入线序划分的概念，并讨论了获取线序划分的算法；然后，建立了整合路径结构信息和时态约束信息的时态结构摘要，并在此基础上建立了时态XML索引结构——TempSumlndex，同时研究了基于TempSumlndex的时态XML查询和增量式更新算法；最后，对TempSumlndex和现有时态XML索引技术的基本性能进行了详细的实验评估．实验结果表明，TempSumIndex具有更为优越的性能．DDoS攻击检测和控制方法
摘要：分布式拒绝服务（distributeddenialofservice，简称DDoS）攻击是当今互联网的重要威胁之一．基于攻击包所处网络层次，将DDoS攻击分为网络层DDoS攻击和应用层DDoS攻击，介绍了两类攻击的各种检测和控制方法，比较了处于不同部署位置控制方法的优劣．最后分析了现有检测和控制方法应对DDoS攻击的不足，并提出了DDoS过滤系统的未来发展趋势和相关技术难点．朝向全局式的声明式传感器网络开发模式
摘要：探讨一种全局式的声明式传感器网络开发模式，将全局式的声明式网络程序编译为分布式程序，再交给网络节点的虚拟机执行.因此，开发者只需声明网络全局的功能，而无须处理网络的分布式计算过程以及底层细节．可信终端动态运行环境的可信证据收集
摘要：可信计算的链式度量机制不容易扩展到终端所有应用程序，因而可信终端要始终保证其动态运行环境的可信仍然较为困难．为了提供可信终端动态运行环境客观、真实、全面的可信证据，设计并实现了一个基于可信平台模块（trustedplatformmodel，简称TPM）的终端动态运行环境可信证据收集．该的主要功能是收集可信终端内存、进程、磁盘文件、网络端口、策略数据等关键对象的状态信息和操作信息．首先，通过扩展TPM信任传递过程及其度量功能保证该的静态可信，利用可信虚拟机监视器（trustedvirtualmachinemonitor,简称TVMM）提供的隔离技术保证该动态可信：然后，利用TPM的加密和签名功能保证收集的证据的来源和传输可信；最后，在Windows平台中实现了一个可信证据收集原型，并以一个开放的局域网为实验环境来分析可信证据收集所荻取的终端动态运行环境可信证据以及可信证据收集在该应用实例中的性能开销．该应用实例验证了该方案的可行性．无线多媒体传感器网络感知模型与数量估计
摘要：针对无线传感器网络的不同应用需求，将其分为4种类型：节点平行于目标平面的延时覆盖、无延时覆盖、节点位于目标平面中的延时覆盖及无延时覆盖．综合考虑节点感知区域和可能感知区域等因素，为每种应用构建了不同的感知模型．围绕不同的感知模型，针对节点部署方式和部署个数进行了分析，并且对结果进行了仿真．结果表明，所提出的的感知模型和部署个数的估计结果正确，且更符合实际应用需求．最小割多路径路由算法
摘要：在最小割理论基础上提出了最小割多路径（min—cutmulti—path，简称MCMP）路由算法，为流量请求选取少量关键路径，并在这些路径问均衡流量，在获得方法易实现性的同时能够有效地控制网络瓶颈链路拥塞．通过实际流量数据在北美和欧洲骨干网络中的实验，对比常用的OSPF（openshortestpathfirst）路由算法和模型中的多路径路由算法，MCMP路由算法可降低拥塞链路负载分别达到41％和20％以上．基于域间路由的分布式分组过滤有效性研究
摘要：消除伪造源地址分组是互联网安全可信的内在要求．基于路由的分布式分组过滤具有良好的效果，但是目前对其有效性缺乏严密的理论分析．基于域间路由传播和互联网拓扑的分层特征，建立路由传播数模型和理想AS图模型，以此为工具分析了基于域间路由的最大过滤和半最大过滤有效性．结论印证并从理论上解释了前人研究中的实验结果．最大过滤能够消除绝大多数的伪造分组，虽然无法达到100％，但可以将伪造成功的自治系统数量限制为互联网AS路径的平均长度．在理想AS图上，半最大过滤与最大过滤的有效性相同，但是存储和计算开销要小很多，为实际中部署半最大过滤提供了理论依据．理论模型分析揭示了基于域间路由的分布式分组过滤的内在优缺点，有助于设计辅助措施和在整个互联网全面而合理地部署．2012CCF中国计算机大会征文通知
摘要：第9届CCF中国计算机大会（2012CCF China National Computer Congress，CCFCNCC2012）将于2012年10月18日-20日在大连世博广场举行，承办单位为大连大学．CCF CNCC是由中国计算机学会2003年创建的系列性学术会议，已在不同的城市成功举办8届，现每年一次．基于取整划分函数的k匿名算法
摘要：提出一种基于取整划分函数的k匿名算法，并从理论上证明该算法在非平凡的数据集中可以取得更低的上界．特别地，当数据集大于2k2时，该算法产生的匿名化数据的匿名纽规模的上界为k＋1：而当待教据表足够大时，算法所生成的所有匿名组的平均规模将足够趋近于k．仿真实验结果表明，该算法是有效而可行的．基于下推系统可达性分析的程序机密消去机制
摘要：针对程序语言信息流安全领域的现有机密消去策略，提出了一种基于下推系统可达性分析的程序信息流安全验证机制．将存储．匹配操作内嵌于对抽象模型的紧凑自合成结果中，使得对抽象结果中标错状态的可达性分析可以作为不同机密消去策略下程序安全性的验证机制．实例研究说明，该方法比基于类型系统的方法具有更高的精确性，且比已有的自动验证方法更为高效．