一种验证特征模型和软件架构可追溯性的方法

基于形式概念分析技术,提出了一种验证特征模型和软件架构之间具有可追溯性的方法。该方法分析了特征的组成,定义了特征模型和软件架构的功能表达式,构造了概念格并提出了两个模型之间的映射规则。与一般的模型可追溯性验证方法相比,该方法更适用于复杂度高的模型,最后通过实例研究说明了方法的有效性。     

功能电极烧蚀加工典型难加工材料实验研究

为研究功能电极电火花诱导烧蚀加工对难加工材料的适用性和影响因素,选取镍基高温合金GH4169、淬火模具钢Cr12、钛合金TC4、钛铝合金TAC-2四种典型难加工材料进行常规电火花加工(Electric discharge machining,EDM)和功能电极烧蚀加工对比实验。结果表明:烧蚀加工对难加工材料有广泛的适用性,其加工效率分别为相同条件下常规电火花加工的37.3倍、13.5倍、58.7倍和13.7倍。研究发现:随着金属活泼性的提高,燃烧消耗和燃烧热的熔化作用增强,烧蚀作用增大;烧蚀加工表面的氧化层特性对烧蚀加工效率的提高有决定性作用;内喷液加工反镀现象的减小、烧蚀加工效率的提高量、氧化层的特性等因素决定着电极的相对损耗。     

不可靠测试条件下基于NSGA-Ⅱ的多目标测试优化选择

针对测试不可靠因素严重影响测试优化选择结果以及现有方法不能很好解决多目标测试优化选择等问题,提出基于第二代非支配排序遗传算法(NSGA-Ⅱ)的多目标测试优化选择的方法。首先,描述了测试不可靠条件下多目标优化选择问题的数学模型;其次,在该数学模型下,将系统给出的故障检测率和隔离率作为约束条件,将测试代价、漏检率和虚警率作为优化目标,建立了多目标优化问题;然后,提出带有精英保留策略的NSGA-Ⅱ对多目标问题进行优化选择,利用NSGA-Ⅱ能够得到一组Pareto最优解,可根据实际需求选择最优的测试组合;最后,针对某装备进行实例分析,得到3组最优解,可以满足不同需求下的最优选择,验证了所提数学模型与多目标优化算法的可行性与有效性。      

OPI应用于ESP阅读课程形成性评估的实证研究

提高学生专门用途英语(ESP)口语水平是ESP课程教学的主要目标之一,口语水平面试(OPI)是ESP阅读课程形成性评估的有效形式,在课堂教学中发挥着重要作用。本研究发现,形成性口语水平评估与通用英语口语水平和ESP口语终结性评估具有很强的相关性;同时,在实验班级中,通用英语口语水平为三、四级的学生很可能应当是ESP口语教学的重心所在。     

大掺量矿物掺合料混凝土在氯盐、硫酸盐及其复合溶液中的抗冻性

采用快冻法研究了大掺量矿物掺合料混凝土(High-volume mineral admixture concrete,HVMAC)在水,10%NaCl和5%MgSO4溶液以及5%MgCl2+5%Na2SO4复合溶液中的抗冻性.结果表明:混凝土的冻融微裂纹与NaCl溶液的冰晶压力、MgSO4对混凝土的化学腐蚀反应相互促进,推动了混凝土冻融微裂纹扩展,加速了HVMAC的冻融破坏作用,在10%NaCl和5%MgSO4溶液中的抗冻性分别比水中降低了56%和33%.复合溶液的冰点降低效应以及氯盐对混凝土硫酸盐腐蚀的缓解作用,促进了HVMAC抗冻性的成倍提高.因此,大量掺加矿物掺合料的高性能混凝土(High performance concrete,HPC),在实际复杂的盐渍土环境中具有明显的技术特点和性能优势.     

刊首语

大邑,这是个会让人第一眼就觉得亲切的名字。两个简简单单的字,朴实、浸透着浓浓的乡土生活味道,与那来自久远历史的气息一起,让人觉得松弛、安逸。这个名字实在是太过低调了,杜甫诗歌＂窗含西岭千秋雪＂脍炙人口,西岭在哪里？大邑!道教是中华土生土长的宗教．     

机械力化学的原理及应用

机械力化学作为一门古老而又新兴的科学，越来越引起材料、冶金、生物等行业的研究者的广泛兴趣，本文对机械力化学过程的发展历史，反应机理，特点以及制备新材料、冶金、高分子等领域的应用进行了详细的介绍。     

沈阳桃仙机场春季冷锋雷暴合成分析

雷暴是积雨云强烈发展时形成的一种中尺度局地强对流性天气。飞机在雷暴区飞行,除了会遇到云中飞行的一般困难外,还会遇到强烈的颠簸、积冰、电击、阵雨和恶劣能见度,有时还会遇到冰雹、下击暴流、低空风切变和龙卷,这些