【摘 要】
：
＜正＞把智能化技术应用于软件测试领域，解决测试优化等技术难题，已成为近来的研究热点之一。针对基于用户需求的测试用例优先排序问题，提出了一种基于模拟退火算法的智能化求解方法，能够有效提高软件测试效率。首先，介绍了基于需求的测试优先排序问题的一般性表述，给出了测试用例评价指标及测试用例距离的定义；其次，提出了基于模拟退火算法的问题解决思路，设计了包括状态表达方法、领域定义及搜索方法、
论文部分内容阅读
＜正＞把智能化技术应用于软件测试领域，解决测试优化等技术难题，已成为近来的研究热点之一。针对基于用户需求的测试用例优先排序问题，提出了一种基于模拟退火算法的智能化求解方法，能够有效提高软件测试效率。首先，介绍了基于需求的测试优先排序问题的一般性表述，给出了测试用例评价指标及测试用例距离的定义；其次，提出了基于模拟退火算法的问题解决思路，设计了包括状态表达方法、领域定义及搜索方法、
其他文献
通过对比当前国际各盾构制造或隧道施工企业在盾构自动驾驶方面的技术和实践进展,从岩土辨识、盾构姿态控制和地面沉降控制3个维度综述盾构自动驾驶的理论研究现状及趋势。在此基础上,提出层次化的盾构自动驾驶控制体系,以及数据、机制和经验相融合的控制方法。以“智驭号”盾构自动掘进控制系统为例,简要介绍盾构自动驾驶技术的探索成果,包括盾构自动驾驶体系的控制环节设计、姿态和沉降核心控制算法的模型结构,以及自动驾驶
文章选用质相对动弹模量、质量和抗折强度损失率指标，试验探讨了不同水胶比水工混凝土掺石粉含量人工砂的抗冻性能，通过SEM扫描电镜观测分析石粉的影响机理。结果表明:相对动弹模量、抗折强度损失率与质量损失率相比能够更加准确地反映混凝土裂化程度;随石粉含量增加水工混凝土抗冻性能表现出先升高后降低的变化趋势，石粉颗粒的活性效应和填充效应可以改善内部密实性，有利于增强混凝土抗冻性，但随着石粉含量增加混凝土含气
国家高新区产业集群是国家创新体系的重要组成部分，在推进创新驱动发展和壮大战略性新兴产业等方面意义重大，对其创新价值链进行优化升级能够在推动我国供给侧结构性改革、建设现代化经济体系和培育社会经济发展动力等方面发挥积极作用。以路径依赖理论为基础，根据技术演进中的轨迹依赖与制度变迁中的路径依赖两种类型，来分析产业集群创新价值链锁定的方式和原因，系统梳理出武汉东湖国家自主创新示范区光电子信息产业和生命健康
为有效解决长期受干湿循环和离子侵蚀等多种不利因素作用，致使盐渍及滨海区水工构筑物耐久性衰减的问题，文章以相对动弹模量为评定依据，采用理论分析、室内加速试验和现场调查等方法，研究干湿循环下水、复合盐、硫酸盐等不同侵蚀方式，以及侵蚀介质、粉煤灰、水灰比条件下的水工混凝土耐久性衰减规律。结果表明：干湿循环会加速硫酸盐侵蚀，干湿循环条件下硫酸盐的侵蚀作用明显强于复合盐，掺20%粉煤灰有利于改善其抗盐结晶侵
作为我国税收征收管理工作的重要组成部分,税务稽查工作职能的履行离不开广大税务稽查干部的努力,税务稽查干部能力和素质的高低将影响着税务部门依法对税款缴纳情况实施检查和监督的质效。加强和改进税务稽查干部的教育培训工作,能够顺应新形势下税务稽查工作由“收入型”“打击型”向“治理型”“服务型”转变,能够有效增强稽查维护税收秩序的能力。2018年7月以来,税务机关建立了跨行政区域设置稽查机构的新体系。在新机
以手绘地图系列校本课程为例,通过不同主题的手绘地图探究、手绘地图的绘制、手绘地图的展示与评价等环节,探讨了在校园中培养学生地理实践力的方法。
＜正＞1 研究目的（Objective）东天山-甘肃北山北带分布着众多镁铁-超镁铁质岩体，从西到东依次有香山、黄山南、黄山、黄山东、葫芦、串珠、图拉尔根、四顶黑山、双沟山等基性-超基性杂岩体，共同受控于康古尔-黄山大断裂，已证实该区带是岩浆型Cu-Ni-（PGE）硫化物矿床的重要产地（图1a），区域成矿地质条件良好。甘肃省地矿局第三勘查院在分析对比区域成矿地质条件的基础上认为，北山北带具有寻找岩浆