记忆计算:概念、特性及研究进展

随着信息技术的发展,尤其是移动互联网与物联网的发展,有关个人工作和生活的数据呈指数型增长。这些海量的数据中蕴含着丰富而有价值的个人信息,如何从这些数据中挖掘出有价值的信息成为当前信息领域的重要问题。针对该问题,介绍了普适计算领域新兴起的研究主题——记忆计算。记忆计算旨在通过各种带感知和计算功能的设备,比如智能手机、可穿戴设备等,实时感知和捕获用户线上线下活动的数据,分析并挖掘其内在价值,进而组织和管理有意义的记忆数据,实现基于情境的记忆数据呈现,以辅助个体记忆,支持社群交流与协作。讨论了基于移动情境感知的记忆计算的概念、特性、系统模型以及当前研究的关键技术与挑战,综述了记忆计算在生活日志、记忆提醒、往事回忆和群体记忆分享等方面的研究进展,并对其未来发展进行了展望。     

基于动态分析的软件不变量综合技术

软件不变量是软件的重要属性，在软件验证、软件调试和软件测试等领域有重要作用.自20世纪末以来，基于动态分析的不变量综合技术成为相关领域的一个研究热点，并且取得了一定的进展.本文收集了90篇相关论文对该领域进行系统总结.基于动态分析的不变量综合技术是该领域的核心问题，本文提出了”学习者-预言”框架统一描述相关方法，并且在此框架内根据学习者的归纳方法将综合技术大致分为4类，分别是基于模板穷举的方法、基于数值计算的方法、基于统计学习的方法以及基于符号执行的方法.其次，本文讨论基于动态分析综合的不变量在软件验证和软件工程等领域的重要应用.随后，总结不变量生成技术中常用的实验对象程序和开源的不变量综合工具.最后，总结该领域并展望未来的研究方向.     

软件缺陷自动修复技术综述

软件缺陷是软件开发和维护过程中不可避免的.随着现代软件规模的不断变大,软件缺陷的数量以及修复难度随之增加,为企业带来了巨大的经济损失.修复软件缺陷,成为了开发人员维护软件质量的重大负担.软件缺陷自动修复技术有希望将开发者从繁重的调试中解脱出来,近年来成为热门的研究领域之一.搜集了94篇该领域最新的高水平论文,进行了详细的分析和总结.基于缺陷修复技术在补丁生成阶段所使用的技术手段不同,系统性地将软件自动修复技术分为4大类,分别是基于启发式搜索、基于人工模板、基于语义约束和基于统计分析的修复技术.特殊地,根据对近几年最新研究的总结,首次提出了基于统计分析的技术分类,对已有分类进行了补充和完善.随后,基于对已有研究的分析,总结了该领域研究所面临的关键挑战及对未来研究的启示.最后,对缺陷修复领域常用的基准数据集和开源工具进行了总结.     

体育器械设计中环保型材料的使用

在科学技术高速发展的今天，随着人们环保意识的不断增强，越来越多的新型绿色环保材料凭借各种独特的优势逐渐被社会各个领域所青睐。绿色环保材料的广泛应用极大地减少了传统材料对环境的污染，同时大大节约了社会资源，推动了当今社会的可持续发展。目前新型环保材料在体育行业也得到了十分广泛的应用，同时设计人员还在不断地优化其在体育器械上的应用，相信随着环保材料的应用不断加强，将会推动体育行业更好、更快地发展。文中对体育器械中环保型材料的应用进行了详细分析，同时简要分析了绿色环保材料在体育行业中应用存在的一些问题。     

基于数据挖掘的运动负荷量监测方法

利用当前方法对运动负荷量进行监测时，未对运动员的心率信号降维处理，存在Kappa系数低、信号信噪比低和监测性能差的问题，为此，提出基于数据挖掘的运动负荷量监测方法。构建半监督式运动负荷邻域图，提取运动员的心率信号，完成数据挖掘；在半监督正则化方法的基础上，降维处理运动员的心率信号，保证数据计算的准确性；去噪低维信号，预处理提取的特征；通过支持向量机分类心率信号特征，实现运动负荷量监测。实验结果表明，所提方法的Kappa系数高、信号信噪比高、监测性能好。     

酸碱指示剂用于不同样品测定的规律研究

在不同的反应中,要选择不同的指示剂.比如氢氧化钠的测定选择酚酞指示剂,碳酸钠的测定却选择溴甲酚绿-甲基红指示剂.同样为碱,为何氢氧化钠的测定要选择pH值为8.0～9.6的酚酞指示剂,而碳酸钠的测定却要选择pH值为5.0～5.2的溴甲酚绿-甲基红指示剂?通过实验与计算,对这些现象做了分析.