摘要：针对现有城轨全自动运行系统车载设备测试安全性需求考虑不足与测试用例规模较大的问题,提出一种基于STAMP理论与组合测试的城轨全自动运行系统车载设备安全性测试方法。首先,基于STAMP理论对车载设备建立分层控制结构模型,从可测性的角度提取出安全约束,分析安全约束涵盖的车载设备安全性测试特征;然后,以最优覆盖数组与种子测试用例为基础,结合约束条件,利用遗传算法对最优覆盖数组进行重构,扩展生成满足约束条件的精简测试用例集;最后,以全自动运行系统站台发车场景车载设备测试为例,对算法有效性进行验证。结果表明,在组合覆盖强度相同的情况下,本文方法比现有主流方法生成的测试用例数平均降低16.45%,对降低车载设备测试成本、提升测试效率具有一定现实意义。

摘要：针对列车运行控制(简称:列控)车载设备测试缺乏高效的测试案例辅助管理工具,带来测试需求与测试案例管理不便、测试案例编制效率不高、测试案例统计分析困难等问题,设计了一款列控车载设备测试案例辅助管理工具。以提高测试案例管理效率为目标,建立了工具的总体功能框架,设计与实现了测试需求管理、测试案例辅助编制及管理、测试案例统计分析3大功能模块,构建了测试需求提取、测试案例辅助编制与测试案例分析的一体化测试案例管理流程。以CTCS-2级列控车载设备测试案例管理为例,对工具进行了功能验证。结果表明,采用该工具可以更加方便地管理测试需求和测试案例,提高测试案例编制以及测试统计分析的效率,降低测试过程中人工管理的复杂度。

摘要：“食品安全与伦理”作为食品专业的一门重要课程,在如今教学教育大改革的背景之下,老式的线下教学存在的弊端日益凸显,想要更好匹配现代化教学改革,寻找出在教学过程中理论与实践的平衡点才是关键。本文以食品科学与工程学院的选修课“食品安全与伦理”为例,介绍该课程如今的教学现状,结合引入学习通后的实践手段,客观评价线上+线下双混合模式的教学水平。学习通从课堂前预习、课堂中讲解重难点、课堂后相关知识点测验布置和教学资源发布到平台,系统化地将课程知识串联起来。实践教学的研究中进一步表明,学习通平台能够有效消化“线上+线下”双混合模式教学,稳步拔高教学质量的同时,又能推动学生的主观能动性,调动学习积极性。

摘要：2,3,7,8-四氯二苯并对二噁英(2,3,7,8-TCDD)是二噁英家族中危害人类和环境最显著的一种.设计一种高效,灵敏的吸附剂来检测和去除2,3,7,8-TCDD对人类和环境的影响是亟需解决的问题.本研究利用基于密度泛函理论(DFT)的计算模拟方法探索了本征磷烯对2,3,7,8-TCDD的吸附机理,并详细考察了掺杂Ti,Fe,Ca,Al金属原子后磷烯对2,3,7,8-TCDD吸附的影响.研究结果表明2,3,7,8-TCDD初始构型会影响磷烯对其吸附,当平躺于磷烯表面时有较大的吸附.而且掺杂金属原子的磷烯对2,3,7,8-TCDD的吸附也存在较大的影响,掺杂金属原子均增大了磷烯对2,3,7,8-TCDD的吸附,其中Ca掺杂磷烯>Fe掺杂磷烯>Ti掺杂磷烯>Al掺杂磷烯.研究结论对于2,3,7,8-TCDD的处理带来了新的思考方向,有望为二噁英的检测和去除提供有用的理论指导.

摘要：湿地是自然环境中的重要组成部分,不仅能够抗洪抗旱,同时还能调节周边的自然气候,对于保护生物多样性以及蓄水维持生态平衡等多个方面具有重要意义。城市湿地公园的建设能够最大限度上保护环境,并为市民提供优良的休闲娱乐环境,本文从生态景观设计角度对城市湿地公园建设进行分析,探索科学多样的湿地公园景观设计路径,从特征、方向、问题等方向入手进行探索,采取理论研究地方昂视,意在我国的生态环境质量建设提供更加宽广的角度。

摘要：目的:初步探讨仰卧平髋位进行婴儿髋关节超声检查的临床可行性。方法:随机选取髋关节常规超声检查的就诊婴儿,检查体位包括侧卧屈曲位和仰卧平髋位,成像标准与测量方法均选用Graf法,测量指标包括α角和β角。采用配对设计资料检验方法比较同一医生2种体位和同一体位(侧卧屈曲位或仰卧平髋位)不同医生的测量结果。结果:所有婴儿均成功完成侧卧屈曲位和/或仰卧平髋位的超声检查,同一医师2种体位的α角和β角测值差异无统计学意义(P>0.05),不同医师采用仰卧平髋位检查同一婴儿的测值(α角和β角)差异无统计学意义(P>0.05),不同医师采用侧卧屈曲位检查同一婴儿时的α角测值差异无统计学意义(P>0.05),不同医师采用侧卧屈曲位检查同一婴儿的β角测值差异有统计学意义(P<0.05)。结论:进行婴儿髋关节超声检查时,可以采用仰卧平髋位,与侧卧屈曲位比较,该体位易于确保每次检查的婴儿体位固定统一,值得开展进一步的临床应用研究。

摘要：“双减”政策的全面实施不断促进教师教学观念的转变。小学高年级语文课程加快推进了高效率课堂的构建和高质量作业的设计,通过课堂内外双向并举的改革模式不断促进学生学科核心素养的形成与发展。文章围绕小学高年级语文作业设计的策略展开探究,分析当前小学高年级语文作业设计的现状,基于实践的层面提出具体的改革措施。希望通过课题的探究不断促进作业设计模式的变革与创新,引导学生在课后通过较少的时间完成较少数量的高质量作业,在对知识的巩固与强化过程中提高学生的语文综合能力,全面达成小学语文课程的教学目标,促进学生语文核心素养的形成与发展。

摘要：随着科技的发展,服务器虚拟化技术在医疗业务信息化领域的运用,大大提高了医疗行业的服务水平。文章围绕医疗业务信息化中虚拟化设计流程及关键环节展开讨论,并深入探讨了医疗业务信息化建设中服务器虚拟化技术的运用要点,以供参考。

摘要：在现代生活中,发生在数字世界中的选择与行为日渐增多,对之施加影响的数字助推政策工具日渐增多。本文回顾了从助推到数字助推的演进历程,对数字助推的逻辑机理、过程进行分析,指出其应用潜力。同时,从政策工具属性的角度,构建了数字助推的实践治理框架,梳理出说服科技、社会影响、大数据和预测分析、便利性界面设计和游戏化等不同的数字助推设计路径。最后分析数字助推的反面形式——“数字污泥”,指出作为政策工具的数字助推要实现向善价值,有必要建立伦理检查框架。本文认为,要构建良好的助推工具并将之嵌入现有的政策工具系统,需要学习并掌握一种综合社会、经济、制度和心理等因素的复杂“设计科学”。

摘要：“卡通”是英文cartoon的音译，指漫画、讽刺画、卡通画、动画片等。在我们周围，卡通到处都留下其可爱而令人难忘的踪影。