着色Petri网模型驱动的云测试生成方法与实现

为进一步提高测试生成效率,提升大规模测试生成的自动化程度,构建了一种基于着色Petri网模型的一致性云测试生成方法,称为PT-Cloud方法,并将该方法实现为可提供一致性测试生成服务的云测试生成平台.该方法利用MapReduce技术,实现了面向测试生成需求的被测系统着色Petri网模型重构和标记,并在此基础上以实际测试数据驱动一致性测试例的自动生成.经实际测试生成和执行实践验证,PT-Cloud方法能保证所生成的测试例是切实可执行的,同时有效提高了测试生成的效率和自动化程度.     

4浅析英语测试中的文化测试

文中分析了文化测试与文化教学、英语教学、英语测试之间的相互关系,强调了文化教学和文化测试的重要性,并初步探讨了文化测试的形式和方法。     

一种基于最优匹配的测试资源动态配置方法

自动测试系统中的测点测试大多采用面向仪器的手动配置方法,人工干预量大,测试效率很低。针对这个问题,引入了匹配系数的概念,提出了一种测点与仪器的最优匹配算法,通过相关理论和具体实例对算法的正确性和有效性进行了分析。在模型和算法的基础上,提出了一种面向信号的测试资源动态配置方法,该方法能够有效地实现并行测试,提高了测试的效率和系统的可靠性。     

多状态系统测试建模与测试点选取方法

为解决测试性设计过程中的退化状态测试问题,提出了基于结构和功能的多状态系统测试建模与测试点选取方法。首先,结合多状态系统中对性能状态的描述,明确了以结构和功能为对象的多状态系统测试建模的总体思路,并对模型中的结构、功能和测试相关描述进行了分析;其次,对状态测试问题进行了分析,并对单个测试能够检测的状态集与测试集组合能够检测的状态集的计算方法进行了研究,并提出状态检测率的概念对系统状态的测试指标进行量化;最后,考虑到系统测试性设计与分析中包含故障的测试性问题,结合故障检测率、故障隔离率和状态检测率,提出了测试代价约束下的多状态系统测试点选取方法。结果表明：多状态系统测试建模方法不仅能够对故障的测试性进行分析还能够对退化状态的测试性进行分析;相较于二态系统测试选择方法得到的最佳测试集,在测试代价限制的情况下,多状态系统测试选择方法得到的最佳测试集能够获得较高的状态检测率;在测试代价无限制的情况下,多状态系统测试选择方法得到的最佳测试集不仅能够获得较高的状态检测率,还能获得与二态系统相同的最大故障检测率和故障隔离率。     

基于试验和预计的雷达装备测试性评估方法研究

针对雷达装备研制阶段无法采用全状态的样机进行测试性试验与评价的难题,将测试性试验和测试性预计相结合,提出了基于试验和预计的雷达装备测试性评估方法。该方法结合雷达装备功能结构与研制工作的特点,将雷达各分系统按照沿用分系统、改进分系统或新研分系统3个方面进行划分,并分别开展测试性评估研究。最后,确定了雷达装备测试性评价方法和基本原则。介绍的方法对于开展其他复杂装备测试性评估也具有一定的借鉴意义。     

高速电主轴径向跳动及静刚度测试方法

用非接触式方法测试高速电主轴的径向跳动。介绍了非接触式测试方法,并与接触式测试方法的数据进行了对比。结果表明,非接触式的测试精度高于接触式。研究了用最小二乘法理论标定力传感器,以此测试高速电主轴的径向刚度和轴向刚度的方法。测试结果表明,测试精度得到了较大提高。     

相控阵天线接收组件自动测试系统设计

深入分析了相控阵天线接收组件自动测试系统的工程需求,提出一种适用于大数据量测试与处理的自动测试系统实现方法。本方法在采用以太网搭建硬件测试平台的基础上,为了实现自动化和高速化测试,提出了全套系统基于MATLAB开发的软件实现方法。实验结果表明,该自动测试系统与人工测试及人工处理数据相比,在多种应用场景下均大大提高了接收组件的批量测试效率和数据处理速度,并已成功用于某型相控阵天线接收组件的批量测试及数据处理中。     

UML2.0 Testing Profile到TTCN-3的映射研究

分析了U2TP与标准化测试描述语言测试和测试控制标记法之间的对应关系,提出了一种从U2TP到测试和测试控制标记法的映射方法,并给出了一个图书馆借阅系统的应用实例.应用该映射方法,可在建模初期基于系统模型构造完整的测试思想,从而在初始阶段就能够有效限定测试例的数量并产生真正有价值的测试例.     

基于间接认证链的输入测试证明方法

针对无法运用认证测试方法中的输入测试对Yahalom协议进行验证的问题,提出一种基于间接认证链的输入测试证明方法。该方法引入间接一致性的概念,解决了Yahalom协议中存在的不完整的挑战-应答机制和输入测试在原证明方法上只具备直接性这2个问题,成功地将输入测试运用于验证Yahalom协议,并将该证明方法推广到对Yahalom-Paulson协议的验证。新的证明方法扩展了输入测试的应用范围。     

运载火箭测试方法研究

简单介绍了运载火箭测试的国内外现状;分析了缩短测试发射周期的制约因素;探讨了改进运载火箭测试技术和测试系统的途径和方法;结合航天工程实践讨论了测试发射流程设置原则和改进措施。     

人的主体性在道德内化中的作用

在社会转型中,由于利益的驱动和社会关系的调整,出现了道德约束乏力的现象,一些人对社会道德规范的认同感弱化,究其根源主要在于社会道德规范没有内化为人的内心自觉,而道德内化不力又源于人的主体意识的缺失。本文从人的主体性和道德内化的关系入手,提出发挥人的主体性是道德内化的关键,同时在道德内化过程中不断提升人的主体性。通过关注人的主体性,培养人的道德判断能力,把外在的道德规范内化为人的自觉需求,从而自愿地遵守社会道德规范。     

我国刑事诉讼法人性化问题完善之研究

法律天生就具备了人性化的属性。法律人性化作为一个备受社会关注的热点问题,与每个人的利益都息息相关。我国随着民主、人权和法治建设的深入,特别是新时期着眼于理性与全局的和谐社会的建构,人性和人性化在中国理所当然受到格外关注。我国刑事诉讼法是规范司法机关如何追究犯罪、惩治犯罪的程序法,从人性化视野来完善我国的刑事诉讼法就显得尤为重要。     

生物柴油制备过程中混合体系的粘度测定及关联

在常压下采用NDJ-7旋转式粘度计测定了生物柴油制备过程中相关混合体系在288．15～365．15K下的粘度,包括大豆油和生物柴油,甲醇和甘油,甲醇、大豆油和生物柴油三个混合体系．结果表明：混合溶液的粘度均随温度升高而减小,并用最小二乘法分别对三个体系在不同温度下的粘度进行了关联,关联结果良好,可以用来计算不同组成和不同温度下这些混合体系的粘度．     

交会图形对点位精度影响的分析

两点后方交会是交会定点中的最简单的方法 ,本文通过理论和模拟两种方法对不同的观测角、已知距离以及测角精度进行计算、比较 ,得出交会点图形的状况对点位精度有直接影响的结论 ,为特殊地区的野外测量作业提供了参考依据 .     

民国时期服饰西式化走向略述

从分析民国服饰变革原因着手,讨论了这次变革对中国服装走向西式化的重大影响.具体表现为:服装的等级制度彻底消亡;中国服装在中西服饰文化交融中得到了发展,诸如造型款式上从平面走向立体,服装材料从单纯走向丰富,穿着方式从纯中式走向中西结合;而且开创了我国时装表演的先河.     

解读居民消费 化解市场矛盾

加速经济增长,力争实现我国经济隔几年上个台阶是实现社会主义现代化的客观要求。然而由于存在高消费需求与低消费能力、高消费渴望与消费信心不足、巨大的消费潜力与不良的消费环境等矛盾,制约了社会经济的发展。因此,增加收入以提高消费能力、培养成熟的消费观念、增加有效供给、改善消费环境、完善社会保障制度就成为消除消费矛盾,促进经济发展的必然选择。     

低腰紧身裤关键部位结构探讨

对人体腰节以下的体型特征、人体动态状态下与裤子的结构关系进行了剖析,探讨现代低腰紧身裤关键部位结构设计的不合理导致穿着中存在的露臀、夹裆等既不美观又影响舒适性的问题,对问题产生的原因进行了分析,提出了改善的方法.     

转换点坐标的模拟计算研究

转换波上下行波传播路径具有非对称性,转换点相对于共中心点的距离随着纵横波速度比、界面深度以及炮检距等因素的变化而变化,因此转换波速度分析和叠加的关键问题之一就是如何抽取共转换点道集。采用简洁有效的方法来计算转换点坐标是做好共转换点选排的前提,本文在单个均匀层情况下,对已有的转换点坐标计算公式进行了模拟计算,对结果做了分析比较表明,在炮检距和深度之比较大时,迭代法相对近似公式来说,具有明显更高的精度。     

论和谐社会构建之动力

和谐社会的构建是政治的发展。政治发展的直接动力来源于政治改革，而和谐社会要求政治主体进行政治合作，这既是和谐社会的重要组成部分，又有力地保证着和谐社会的构建。因而政治合作也间接地推动了和谐社会的构建，从某种意义上说，也是构建社会主义和谐社会的动力之一。     

螺杆钻具损坏落井原因分析

螺杆钻具在使用过程中会发生诸多损坏落井事故,其原因不仅与材料处理、加工工艺和技术水平有关,还与钻井方式、钻井参数、施工人员技术水平以及保养维护有关。应加强从螺杆钻具的设计到使用等一系列过程的监督,从而制造出性能佳、寿命长的高效螺杆钻具,提高钻井速度,减少事故发生率以及事故处理时间,降低钻井成本。