多线程程序数据竞争检测与证据生成方法
摘要：数据竞争是多线程程序最为常见的问题之一.由于线程交织导致状态空间爆炸,多线程程序数据竞争引起的错误检测难度大、成本高、精度低;此外,即使检测到数据竞争,由于线程调度难以控制、执行过程难以复现,错误难以复现和定位.提出了一种多线程程序数据竞争检测与证据生成方法,基于程序语义分析和执行过程监测,构建程序的执行路径约束模型和数据竞争条件,将多线程程序数据竞争检测问题转化为约束求解问题,降低检测难度,提高检测精度;利用SMT求解器计算可能的数据竞争,并生成触发该数据竞争的程序执行序列,协助程序员定位和验证错误.实验中对10个程序进行了测试,相比现有数据竞争检测工具threadsanitizer和helgrind,本方法检测出的数据竞争多出287.5％和264.7％,且没有误报,而其他方法平均误报率为10.5％和9.8％.基于MapReduce虚拟集群的能耗优化算法
摘要：随着全球能源危机的出现,许多研究者开始关注数据中心的能耗问题.在满足用户需求的前提下,减少数据中心的活跃节点个数能够有效地降低其能耗.传统的减少活跃节点的方式是虚拟机迁移,但虚拟机迁移会造成极大的系统开销.提出一种基于MapReduce虚拟集群的能耗优化算法——在线时间平衡算法OTBA,能够减少活跃物理节点数,有效降低数据中心的能耗,并且避免了虚拟机的迁移.通过建立云数据中心的能耗模型、用户提交服务的排队模型和评价作业完成质量的作业运行模型,确定了数据中心节能模型的目标函数和变量因子.在线时间平衡算法是基于虚拟云环境和在线MapReduce作业的一种节能调度算法,能够在虚拟机的生命周期和资源利用率之间做出权衡,使数据中心激活的服务器达到最少,能耗降到最低.此外,该结果通过仿真和Hadoop平台上的实验得到了验证.基于时间序列的感知QoS的云服务组合
摘要：研究基于时间序列的感知QoS的云服务组合,将服务的QoS偏好随时间不断变化的过程纳入云服务组合的研究范围,将云服务组合建模成时间序列的相似度对比问题.分别用欧几里得距离和扩展Frobenius范数距离度量二维时间序列的相似度,继而用基于主成分分析的扩展Frobenius范数距离和欧几里得距离、Brute-Force等方法度量多维时间序列的相似度,通过实验对比验证扩展Frobenius范数距离度量相似度在时间和准确性上的优越性.eGovCloud：一种基于云服务的电子政务框架
摘要：针对电子政务建设过程中涉及的异构资源即时共享和跨部门业务协同等核心问题,提出一种基于云服务的电子政务框架eGovCloud,其核心思想是通过“虚拟资源中心”实现资源物理上的分布存储和逻辑上的集中管理,并建立政务领域元数据规范作为统一的语义基础设施,进而支持跨部门异构信息资源的共享和统一管理,以此为基础进一步提出支持跨部门业务协同的“政务虚拟组织”.探讨了eGovCloud体系结构以及涉及的关键技术,并展示了其在构建电子政务系统中的应用.Android应用程序权限自动裁剪系统
摘要：Android系统使用权限机制对应用程序进行控制,即应用程序需要使用哪些系统资源就必须提前声明相应的权限.为了确保安全性和可靠性,应用程序声明权限时应该满足最小特权原则,即只声明其所需要使用到的最少权限,但现实中有很多应用存在权限过度声明的现象,给用户带来安全隐患.提出了一种Android应用程序权限自动裁剪系统PTailor,通过对Android应用程序安装文件（APK文件）进行分析和修改,使其满足最小特权原则.PTailor首先从APK文件中提取程序所调用的所有系统API,并在预先生成的API权限映射表中查找该API所对应的系统权限,从而得到应用程序实际使用到的最少权限列表.然后根据该权限列表对程序的权限声明文件进行修改,裁剪掉已声明但未使用的权限.最后将裁剪过的权限声明文件与程序的其他部分重新合并成新的APK文件,新的APK文件中除了所声明权限满足最小特权原则外,其结构和语义都没有发生改变.使用PTailor对现实中的1 246个Android应用进行权限裁剪实验,实验结果表明,PTailor能够在很短的时间内完成权限分析和裁剪,而且大多数被裁剪的程序都能够正确运行.《计算机工程与科学》征文通知
摘要：《计算机工程与科学》是由国防科技大学计算机学院主办的中国计算机学会会刊，是国内外公开发行的计算机类综合性学术刊物，现为月刊。本刊欢迎关于计算机科学理论、计算机组织与系统结构、计算机软件、计算机应用、计算机器件设备与工艺等学科领域方面的来稿。本刊每年出版一期高性能计算专刊，并且常年设有高性能计算专栏。节点位置固定的线性无线传感器网络节能路由
摘要：无线传感器网络节点一般采用电池供电,能量非常有限,因此提高网络能量效率、最大化网络生命周期成为亟待解决的重要问题.线性无线传感器网络在某些实际应用中,由于监测环境和对象的特殊性,监测点位置往往是事先确定的,并非随机分布,故现有的线性路由和变距离节点布置方案应用性受限.针对这一问题,提出了一种等距离分组多跳路由,建立了其能耗数学模型,得到了网络平均能耗与网络长度、节点数和分组数的数学关系,并给出了最小网络平均能耗下的分组数求解方法,最后用Matlab软件仿真分析.结果表明,与单跳、多跳、分簇多跳三种常见路由相比,等距离分组多跳路由由于没有簇头,因此具有最小的网络平均能耗和最大的网络生命周期.基于异或运算的机会网络高效转发策略
摘要：通过对机会网络中节点传递信息的方式进行研究分析,遍历可以通信的邻居节点,将两节点的信息作比较.通过交集的形式,选择节点中携带信息异或程度最大的邻居节点作为下一跳进行信息传递,从而形成一条有效性最大的通信路径.基于这样的分析过程,提出了一种基于异或运算的机会网络高效转发策略FSXO.通过与机会网络中的经典算法对比,仿真结果表明,FSXO策略能够在高传输成功率的情况下,减少网络中无效数据副本的存在,从而有效地降低路由开销,减少资源的消耗.一种新型P2P流媒体协议及其流量模型研究
摘要：针对FlashP2P技术,对其RTMFP协议进行了深入分析,提出了一种基于RTMFP包检测的FlashP2P流量识别算法,并采用该算法对国内主流视频网站的FlashP2P流进行了有效的识别.在此基础上,对FlashP2P流量特征进行分析并证明其具有自相似性.最后,提出了一种基于ARIMA模型的经验模式分解预测自相似网络流量的方法,而且进行了仿真验证.结果表明,该模型不仅降低了算法的复杂度,并且对短期预测精度较高.《计算机工程与科学》高性能计算专刊和专栏征文通知
摘要：一、刊物简介《计算机工程与科学》是由国防科技大学计算机学院主办的中国计算机学会会刊，是国内外公开发行的计算机类综合性学术刊物。本刊已先后被列为中文核心期刊、中国科技信息研究所中国科技论文统计分析源期刊（中国科技核心期刊）、中国科学引文数据库来源期刊（CSCD核心期刊）、中国学术期刊（光盘版）全文人编期刊、中国期刊网全文入编期刊、中国学术期刊综合评价数据库来源期刊。基于多维度测量的网络性能动态评价方法
摘要：针对传统网络性能评价方法存在的静态性和片面性问题,提出了一种基于多维物元模型的网络性能动态评价方法,从多维网络评价物元模型、网络评价指标体系、模糊层次分析策略几个方面展开讨论,并给出了权重取值算法.实例显示,该评价方法有助于网络管理人员多维度动态跟踪、定量分析和监控网络运行,提高网络管理过程的可观测性和可预警性.车辆自组织网络中使用公交车辆协助的数据分发
摘要：车辆间联网通信所组成的自组织网络,受到了学术界的广泛关注.由于车辆的动态性和信号覆盖范围的间断连接特性,这类网络的通信行为表现出时延容忍网络的特征.在城市街区中,车辆密度较大.观察到公交车辆行驶轨迹的规律特征,利用网络编码技术,结合携带转发,提出了一种基于公交车辆协助的导向性数据分发算法,实现了在城市街区场景中高效、可靠的协助式数据内容分享.实验表明,在降低网络通信开销的前提下,该方法有效地提高了城市街区中内容分享数据投递的成功率.一种新的启发式边排序策略及其性能分析
摘要：网络可靠度BDD分析方法的计算复杂度与BDD尺度线性相关,而BDD尺度严重依赖边排序质量.由于求解最优边排序是一个NP问题,在实际应用中,通常采用启发式边排序策略如BFS（Breadth-First-Search）和DFS （Depth-First-Search）.针对边排序问题,从分析基于边界集（Boundary Set）的BDD构建方法BDD-BS出发,将边界集思想应用于边排序过程,提出了一种新的启发式边排序策略.性能分析和大量实验表明,新设计的边排序策略性能优于经典的DFS和BFS策略,该结果为网络可靠度BDD分析方法在大规模网络中的应用拓展了新的空间.基于NP模式的报文检测方法
摘要：针对现有网络入侵检测方法中存在的不足,引入否定模式（NP）匹配的策略,提出了基于NP模式的报文检测方法.该方法先从待测报文内容模式集合中找出NP模式,根据NP模式将待测数据流分段;然后通过模式匹配引擎对分段内容进行模式匹配.实验结果表明,该方法能降低误报率,减少报文匹配次数,提高检测效率.无线传感器网络中三方密钥建立协议研究
摘要：提出了一个无线传感器网络（WSN）的可证明安全认证三方密钥建立协议.协议的安全性基于求解椭圆曲线离散对数问题和双线性配对Diffie-Hellman问题的计算不可行性.节点之间的身份验证是无线传感器网络中最具挑战性的一个安全要求,它需要在WSN中三个相邻节点之间建立正确的会话密钥轮来实现这种安全目标.通过理论证明,该协议对数据完整性攻击和会话密钥中已知密钥安全性攻击是安全的,并提供了完美的前向安全.一种基于AHP模型的浏览器漏洞分类方法
摘要：通过对浏览器安全漏洞的形成原因和利用效果进行分析,并利用层次分类模型,提出了一种基于AHP模型的浏览器安全漏洞分类方法.该方法从漏洞成因和攻击效果两个维度上对浏览器安全漏洞进行分类,并把分类结果与CNNVD的分类方法的分类结果进行了对比,结果表明本文的分类方法具有更好的适用性.一种基于哈希函数及能量均衡的事件查询算法
摘要：在无线传感器网络中对于无固定位置的事件及查询是个重要的研究课题.结合高效及最大化网络生命周期,提出了一种基于哈希函数及能量均衡的事件查询算法.在该算法中,一个传感器节点只需要关心自己通信范围内的邻居节点,不需要知道整个网络的状况,算法具有冗余数据少、查询能耗小、网络生命周期长、实现简单等特点.借助OMNET＋＋网络模拟器进行仿真实验,与经典路由算法比较,结果表明本算法能快速高效地进行事件查询,同时最小化及均衡能量消耗,延长了网络生命周期.基于预测模型的传感器网络近似数据采集算法
摘要：基于模型的数据采集技术可以有效抑制不必要的数据传输,节省能量开销,已经在传感器网络中得到广泛应用.对传统基于模型的数据采集进行了改进,提出基于卡尔曼滤波器的近似数据采样算法ADCA.ADCA可以在一定误差范围内有效获取数据.空间相近的节点被组织成簇,簇头和成员分别建立卡尔曼滤波模型,并保存对方的镜像模型.簇头节点可以为成员节点产生近似的数据,所以用户查询可以通过簇头来回答.实验表明ADCA具有较好的性能.
