基于动态调整简化粒子群优化的组合测试用例生成方法

优化的组合测试中的一个关键是生成的测试用例能够覆盖更多的组合,而粒子群算法在生成强组合覆盖用例方面有其独特的优势和能力。文中提出了一种基于动态调整简化粒子群优化的组合测试用例生成方法。该方法基于粒子群算法生成测试用例,结合混合的优先级one-test-at-a-time策略和基于动态调整的简化粒子群算法生成组合测试用例集,排除了速度因素对粒子优化过程的影响。定义了一个粒子收敛指标,以粒子群早熟收敛程度为依据来动态调整惯性权值,以防止粒子陷入局部最优和后期出现收敛速度慢的情况,从而提高粒子群算法所生成的覆盖表的覆盖组合能力。通过对比实验表明,基于动态调整的简化粒子群优化算法在用例规模和时间成本上具有一定的优势。

基于行为特征的语义工作流修正算法

工作流修正是工作流重用的重要任务.目前,在基于工作流的可重用片段——stream的语义工作流修正中,当工作流stream库中不存在与检索语义工作流中的工作流stream结构相似的stream时,无法修正检索语义工作流.针对这种情况,提出了一种改进方法——基于stream行为特征的语义工作流修正算法.使用任务紧邻关系集表达stream的行为特征.对于检索语义工作流的每个stream(称为查询stream),使用锚集合数据索引和stream匹配规则过滤工作流stream库得到候选匹配stream集;之后,基于变更请求和stream的行为相似性对候选stream集进行验证,得到需替换的查询stream和最符合变更请求并与它足够行为相似的匹配stream;然后,使用每个匹配stream替换对应需替换的查询stream以逐步修正检索语义工作流中的缺陷;最后得到修正语义工作流.实验结果表明,与现有的基于工作流stream的修正算法相比,该算法得到了整体质量更好的修正语义工作流集,其适应性更好.该修正算法能够为业务过程管理人员进行适应新业务需求的工作流变更提供较好质量的参考语义工作流,对提高业务过程管理中工作流重用的效率和质量有较大的帮助.

红细胞分布宽度与系统性红斑狼疮相关肺动脉高压患者预后的相关性

目的探索红细胞分布宽度(RDW)与系统性红斑狼疮相关肺动脉高压(SLE-PAH)全因死亡的关系。方法前瞻性纳入北京协和医院2006至2016年SLE-PAH患者,收集基线临床资料并观察患者的生存状态,通过COX比例风险模型进行单因素分析,并通过多因素分析调整混杂因素,评价RDW作为SLE-PAH预后因素的潜在价值。结果本研究共纳入153例SLE-PAH患者,在69.07(49.91~84.66)个月的中位随访时间,38例患者死亡。单因素COX回归提示RDW>15%的患者死亡风险更高(HR:2.3,95%CI:1.2~4.4,P=0.015)。调整混杂因素后,RDW>15%与SLE-PAH患者死亡仍有较强关联(模型Ⅰ:HR:3.1,95%CI:1.5~6.6,P=0.003;模型Ⅱ:HR:3.2,95%CI:1.6~6.6,P=0.001)。结论高RDW水平是SLE-PAH患者不良预后的独立危险因素。

基于度量线性时态逻辑的近似安全性

近年来,计算机系统的定量验证已经引起了学术界和工业界足够的关注,其中取值于度量空间的系统性质研究为定量验证的发展开辟了一条新途径。在系统验证中常用线性时间属性来刻画系统的性质,而安全性作为线性时间属性中一类至关重要的基础属性,能保证系统在运行过程中不会发生“坏”的事情,其在度量背景下的推广形式也应该得到关注。为此,文中研究伪超度量空间上安全性的扩展问题,首先对已有的度量线性时态逻辑进行适当的补充,使其能充分地刻画度量背景下的线性时间属性;然后引入距离阈值α,提出一种α-安全性的概念,从而将经典的安全性提升到伪超度量空间上;最后讨论度量线性时态逻辑与α-安全性之间的关系。这些结论为取值于度量空间的系统的安全性验证提供了理论依据。

模糊安全性和活性

形式规约使用形式语言构建所开发的软硬件系统的规约,刻画系统的模型和性质。其中,性质规约中的分支时间规约对于系统验证有着非常重要的作用。在经典情形下,系统性质规约是基于二值逻辑的,不能描述不一致或不确定的信息。因此,将其推广到模糊逻辑背景下,有助于对模糊系统进行形式验证。文中首先给出了性质规约中分支时间属性在模糊背景下的形式化定义,重点研究了其中的安全性和活性;然后,定义了两种闭包操作,从而产生了4种类型的属性,即泛安全性、泛活性、存在安全性和存在活性;最后,证明了每个分支时间属性,或是存在安全性和存在活性的交,或是泛安全性和泛活性的交,或是存在安全性和泛活性的交。

基于改进的Tent混沌万有引力搜索算法

万有引力搜索算法(gravitational search algorithm,GSA)相比于传统的优化算法具有收敛速度快、开拓性能强等特点,但GSA易陷入早熟收敛和局部最优,搜索能力较弱.为此,提出一种基于改进的Tent混沌万有引力搜索算法(gravitational search algorithm based on improved tent chaos,ITC-GSA).首先,改进Tent混沌映射来初始化种群,利用Tent混沌序列随机性、遍历性和规律性的特性使得初始种群随机性和遍历性在可行域内,具有加强算法的全局搜索能力;其次,引入引力常数G的动态调整策略提高算法的收敛速度和收敛精度;再次,设计成熟度指标判断种群成熟度,并使用Tent混沌搜索有效抑制算法早熟收敛,帮助种群跳出局部最优;最后,对10个基准函数进行仿真实验,结果表明所提算法能够有效克服GSA易陷入早熟收敛和局部最优的缺点,提高算法的收敛速度和寻优精度.

《中国肺动脉高压诊断与治疗指南(2021版)》解读——结缔组织病相关肺动脉高压

肺动脉高压(PH)是结缔组织病(CTD)的严重并发症之一,其中,以第一大类PH,即动脉性肺动脉高压(PAH)最为常见。因起病隐匿、临床表现缺乏特异性、早期诊断困难、治疗效果不佳,PAH已成为CTD患者死亡的重要因素之一。文章针对中华医学会呼吸病学分会肺栓塞与肺血管病学组发布的《中国肺动脉高压诊断与治疗指南(2021版)》中CTD相关PAH部分的推荐意见进行解读,提倡CTD相关PAH的早期筛查、精确诊断、全面评估和精准治疗,以期改善CTD相关PAH患者的长期预后,提高患者生活质量。