【摘 要】
：
随着并发系统测试关注度的日益提高,越来越多的并发系统测试工具不断出现。对于测试人员来说,能否正确选取并发系统测试工具也就成为了并发测试效率的决定因素之一。鉴于并发
【基金项目】
：
国家自然科学基金（61402370）资助
论文部分内容阅读
随着并发系统测试关注度的日益提高,越来越多的并发系统测试工具不断出现。对于测试人员来说,能否正确选取并发系统测试工具也就成为了并发测试效率的决定因素之一。鉴于并发错误检测软件并不像传统测试软件那样被人们所熟知,提出一种基于本体设计的并发错误测试工具推荐方法。该方法分别根据并发错误类型、程序本身特征和用户具体需求推荐适合的并发错误测试工具,从而提高测试的效率。
其他文献
在当前高中语文教学课堂中,为了促进学生综合素质的提高,教师要结合高中语文教学的特征以及标准来提高课堂教学的针对性和有效性,比如,在当前高中语文教学课堂中教师要开展专
摘要：我们对“主体参与型”物理课堂教学模式作一些探索与尝试，变教学为导学，还学生的主体地位，努力构建适应高素质教育的课堂教学模式。关键词：物理课堂；主体参与型；探索与尝试中图分类号：G633.7 文献标识码：A 文章编号：1006-3315（2015）07-033-001一、问题的提出“主体参与、分层指导、及时反馈、激励评价”是中学物理实验的基本原则，它反映了当前物理教学改革深入发展的新形势，提出
自主机器人作业的关键问题是自身的定位问题。卡尔曼滤波可用于对系统位置进行估计。首先介绍了移动机器人同步定位与地图构建(Simultaneous Localization and Mapping,SLAM)的一般模型及关键技术,然后介绍了扩展卡尔曼滤波(Extended Kalman Filter,EKF)的原理,通过分析粗差对EKF模型的影响,提出了抗差EKF模型。该模型根据多余观测分量及预测残差
大数据时代的到来对各行业的发展都产生了十分重要的影响,影响着企业的营销手段和方式方法。在大数据背景下农产品企业的营销迎来了重要机遇,同时也面临着产品质量和规格有待
将下近似分布约简引入变精度悲观多粒度粗糙集,定义了变精度悲观多粒度粗糙集的下近似分布粒度熵,基于下近似分布粒度熵定义了变精度悲观多粒度粗糙集粒度的重要度,并设计了基于下近似分布粒度熵的悲观多粒度粗糙集启发式粒度约简算法,通过实例验证了算法的有效性。
【正】 晏子及《晏子春秋》古来多有评说。虽然臧否不一,爱恶有异,但总起来是誉多毁少,多所肯定。孔子与晏子并非志同道合,交相毁亦交相誉。孔子曾数赞晏子是“达于礼”、“
在农业发展中,农业信息化是一项重要的内容,直接关系着现代农业的发展进程。随着信息技术的不断应用,互联网技术逐渐应用在农业生产中,不仅能够对农业生产起到指导帮助,也可以提升农业生产的管理水平,使我国农业具有网络化、数字化的特征,为农村经济可持续发展提供必要的技术支持。另外,借助于该技术的感知、信息传递及控制功能,可以进一步提升农业生产水平和管理水平,加快农业的整体发展。本文阐述了物联网技术的应用价值
日本是全球的出版大国,也是我国出版物进出口的重要国家。受新冠肺炎疫情影响,日本出版行业也遭受了较大影响。文章基于疫情对日本出版行业营收的影响分析、日本出版行业的应
近年来符号数据的无监督学习在模式识别、机器学习、数据挖掘和知识发现等诸多领域扮演着越来越重要的角色。然而现有的针对符号数据的聚类算法(经典的K-modes系列算法等),相比数值型数据的聚类算法,在性能方面仍然有很大的提升空间。其根本原因在于符号数据缺乏类似数值数据那样清晰的空间结构。为了能够有效地发掘符号数据内在的空间结构,采用了一种全新的数据表示方案:空间变换方法。该方法将符号数据映射到相应的由
区块链技术的发展与应用为解决金融活动中的信任难题提供了颠覆性的创新思路,其影响不仅仅局限于信息互联网,更作用于价值互联网和货币互联网。区块链所具备的去中心化、信任