一种基于程序变异的软件错误定位技术

发现软件不能正常运行后,如何定位错误代码在程序中的位置是软件开发一个众所周知的难点.最近许多软件自动调试技术通过分析成功和失败测试用例的覆盖信息辅助程序员定位错误代码,但这些技术的准确率会受到偶然性成功测试用例的影响.偶然性成功测试用例执行了错误代码,但却没有引发失败的测试结果.研究表明这种测试用例在实际测试中广泛存在,而它们的存在会显著降低错误定位的准确率.针对此问题,文中提出一种称为Muffler的技术.Muffler使用程序变异分析来修正错误代码定位结果,以提高定位的准确率.文中利用8个在错误代码定位研究领域广泛使用的基准程序验证了Muffler的有效性.实验结果表明,与传统错误代码定位技术相比,Muffler能减少程序员50.26%的错误定位代价.

一种知识图谱的排序学习个性化推荐算法

推荐系统是解决"信息过载"的有效方法,提出一种知识图谱的排序学习个性化推荐算法.本文算法首先构建融合上下文信息的知识图谱,使用基于深度学习的网络表示方法 Node2Vec抽取知识图谱特征,通过将排序学习模型产生的反馈模型与用户兴趣迁移模型结合,构建混合推荐模型,最终通过排序学习进行Top-N推荐.该算法能够将各种不同性质的上下文特征结合在一起,并通过排序学习衡量这些多维特征的权重比例,解决了不同特征的融合问题,并且能够考虑到用户兴趣迁移和长短期偏好.在Movielens 1M数据集上的对比实验验证文中算法的有效性,实验表明,该算法能够有效提高推荐的P@N和MAP值.

用不对称的P/V操作设计并发算法

多线程并发是提高系统性能的常用手段,文章提出了一种用信号量的不对称P/V操作来设计多线程并发算法的新思路,这种思路适合于设计多线程同步程序以解决某些具有复杂同步语义要求的问题,而这些问题用传统的方法很难得到简洁高效的求解。为了演示这种新思路的特点和优点,笔者对几个常见问题(读写锁、排队锁和记录锁)给出了新的算法设计以及实现。实验数据表明,采用这种思路设计的算法在算法复杂度,读写速度和资源使用方面相对于传统的算法存在较大优势。

从概念走向实践——基础教育大数据的框架与实现研究

教育大数据代表着教育领域未来发展的方向,我国教育大数据研究与实践整体还处于起步探索阶段。该文以基础教育领域为切入点,探讨了个性化与自适应学习的方法,总结了在国内基础教育现状下实现这些实施目标所面临的挑战,提出了应对这些挑战的一系列解决方案。这些方案作为教育部-中国移动联合科研项目"信息技术支持下的学生学习行为记录、分析与个性化支持"的工作成果,已经在广州市天河区的多所小学进行了试点应用研究,取得了良好的成果,同时也获取了一些宝贵的经验教训。

大数据治理的数据模式与安全

大数据治理的主要目的是使数据的利用价值和利用效率最大化,治理后的数据在利用过程中也不可避免会涉及敏感数据或者隐私数据。从大数据治理出发,基于实际应用案例,讨论大数据治理过程中如何利用数据模式的重组实现数据价值的提升和数据处理效率的提升。同时,也提出了数据安全访问策略的自动生成,保障数据在重组后得到相应的安全防护。

智能合约安全综述:漏洞分析

加密货币比特币的出现带动了区块链技术的蓬勃发展,智能合约技术则是区块链技术中的一个技术高地.目前以太坊中的智能合约应用受到大量的关注,创造了海量的价值应用,同时也带来了密集的攻击活动.随着智能合约的数量越来越多,尤其是智能合约中的代码漏洞也逐渐被许多研究人员和恶意攻击者发现,造成了一系列重大的经济损失案件.为了对智能合约技术的稳定性发展提供理论研究基础,文章针对以太坊上已知的智能合约漏洞进行了介绍、分类和总结,并对智能合约安全漏洞进行详细的原理阐述与场景代码复现.

数字集群移动通信网络体制分析

集群通信从模拟升级到数字、数字集群产业的国产化等问题已经成为业界的热门话题。无线集群通信领域的市场需求在不断发生变化，用户希望享受到更加融合的集群通信业务和更丰富的集群服务。在此简单介绍了数字集群移动通信的网络运行体制。

ContractGuard:面向以太坊区块链智能合约的入侵检测系统

以太坊智能合约本质上是一种在网络上由相互间没有信任关系的节点共同执行的已被双方认证程序。目前,大量的智能合约被用于管理数字资产,使智能合约成为黑客的重要攻击对象。常见的攻击方法是通过利用智能合约的漏洞来实现特定操作的入侵攻击。ContractGuard是首次提出面向以太坊区块链智能合约的入侵检测系统,它能检测智能合约的潜在攻击行为。ContractGuard的入侵检测主要依赖检测潜在攻击可能引发的异常控制流来实现。由于智能合约运行在去中心化的环境以及在高度受限的环境中运行,现有的IDS技术或者工具等以外部拦截形式的部署架构不适合于以太坊智能合约。为了解决这些问题,通过设计一个嵌入式的架构,实现了把ContractGuard直接嵌入智能合约的执行代码中,作为智能合约的一部分。在运行时刻,ContractGuard通过相应的context-tagged无环路径来实现入侵检测,从而保护智能合约。由于嵌入了额外的代码,ContractGuard一定程度上会增加智能合约的部署开销与运行开销,为了降低这两方面的开销,基于以太坊智能合约的特性对ContractGuard进行优化。实验结果显示,可有效地检测83%的异常行为,其部署开销仅增加了36.14%,运行开销仅增加了28.17%。

调整研究生培养方案 主动适应社会发展的需要

研究生培养方案(以下简称培养方案)是研究生教育工作中极为重要的文件,它是学位条例及国家教委有关规定与培养单位自身条件相结合的产物,是学位条例在培养单位的具体实施规则。

平煤四矿戊9-10煤层矿压显现特征及支架适应性研究

通过对戊9、10煤层工作面开采过程中进行常规的矿压监测,包括支架工作阻力、顶板冒落特征、巷道表面位移观测等,得到了工作面顶板运动规律及矿压显现特点,并对支架适应性进行了评价。

鼻咽癌调强适形放疗患者的健康教育

鼻咽癌位置深,比邻关系复杂,容易侵犯颅底骨质及发生淋巴结转移.给手术带来困难和限制.但鼻咽癌对放射线比较敏感,故放射治疗是鼻咽癌首选治疗手段.调强适形放疗(1MRT)的出现和发展,是肿瘤放射治疗技术的巨大进步,对鼻咽癌的治疗有着尤为特殊的意义.在整个放疗过程中,护士要为患者进行健康教育,使他们建立健康行为,且通过计划的设计、实施、监测、评价的教育活动,促进健康.提高生活质量.我院通过口头讲解,个别示范,每个病房配健康教育资料,发放自我护理指导卡等多种形式开展健康教育,效果良好,现报道如下.

区块链综述:技术与挑战

区块链技术被广泛认为是一个可以在数字空间中构建信任的系统技术,其主要特征包括去中心化、多副本冗余、防数据纂改、分布式环境下的建立共识等。区块链的相关应用如比特币、智能合约等逐步在不同的领域被采纳和推广。区块链的核心构建技术和理论,包括有链式安全存储、共识算法、对等网络、智能合约等。从区块链的参考技术架构、区块链的核心理论和技术、区块链典型系统三个方面讨论了现有的区块链技术,希望为相关研究提供有益的指导和借鉴。

移动通信运营商办公云

移动通信运营商面临着越来越大的市场竞争。主要针对移动通信运营商的IT基础设施建设和运营的技术问题,陈述了利用云计算来构造移动通信运营商办公云平台。给出了移动运营商办公云的技术架构,并且从系统运维的角度,讨论了利用大数据技术对办公云的运行状态数据进行数据挖掘与分析,实现对办公环境的精细化管理、智能化和自动化的运维,进而合理利用资源并提升用户体验。