摘要：随着安全关键系统的规模和复杂性不断增长,单一建模语言无法完全覆盖该类异构系统的建模要求.近年来,多范式建模方法逐渐成为表达复杂异构系统的有力手段,而安全性分析则是保证安全关键系统质量的重要步骤.本文提出一种面向安全关键系统的多范式建模及安全性分析方法.首先,使用SysML和AADL两种建模语言对安全关键系统进行多范式建模,SysML定义系统需求和逻辑架构,AADL则用于表达系统实现的物理架构、执行平台和应用软件运行时.其次,面向航空适航安全分析标准ARP4761的要求,对多范式模型进行安全性分析,即,为支持SysML系统定义层的安全性分析,提出安全性扩展附件SafetyProfile用于表达安全性信息,并将安全模型和SysML系统模型进行链接,自动生成功能危害评估报告和故障树;提出SysML系统模型和安全模型到AADL架构模型和错误附件模型的自动转换方法,并对AADL模型进行系统实现层的安全性分析.最后,设计实现了原型工具,并以航空领域的飞机空气增压系统(Airplane Air Compressor System)这一安全关键系统为案例,验证本文所提方法和工具的有效性.

摘要：通过实例介绍了采用喷锚网联合支护处理破碎岩体内大断面硐室冒顶的实践经验，对参数选择、施工程序和方法及技术经济效果作了简要说明。

摘要：泰山石膏矿矿床规模小，形态简单，矿层厚度３－５ｍ，呈多层状水平产出。这样的地质条件，用普通房柱法不能满足开采要求。本文提出组合式房柱法，并从不同侧面论证了其可行性。

摘要：目的探讨适形放疗(CRT)+固定野调强放疗(IMRT)混合调强(HyIMRT)技术与IMRT技术在乳腺癌根治术后放疗计划的剂量学差异。方法选取湘雅常德医院2019-2020年收治的左乳腺癌(10例)和右乳腺癌(10例)根治术后患者的CT图像,对患侧胸壁、内乳淋巴结区域及锁骨上淋巴结区域进行统一勾画,针对每例患者的CT图像分别设计HyIMRT计划与改进后的IMRT计划。比较计划靶区(PTV)和危及器官(OAR)相关剂量学参数,并使用Bland-Altman方法绘制两种计划方案的均值-差值散点图,判断两种计划方案的一致性。结果两种计划乳腺癌PTV相关参数仅右乳98%靶区体积受到的照射剂量(D98)、适形指数(CI)有明显差异(P0.05)。左乳腺癌患者:相较于IMRT计划,HyIMRT计划在右肺、双肺5 Gy剂量所包绕的体积(V5)及右乳平均照射剂量(Dmean)和5%乳腺体积受到的照射剂量(D5)存在一定优势(P<0.05);右乳腺癌患者:相较于IMRT计划,HyIMRT计划在左肺、双肺V5,心脏Dmean及左乳Dmean和D5存在一定优势(P<0.05)。两种计划方案的测试数据点几乎都落在95%一致性区间内。结论两种计划在乳腺癌术后放疗中一致性较好,都从计划设计层面考虑了呼吸运动的影响,能够为乳腺癌临床计划设计提供支持。

摘要：让学生自主进行信息收集、处理及方案设计,并完成每一个环节的基本要求。在新工科教学中,进行跨学科及跨知识点的整合,是对新工科人才培养新的方式的一种尝试与探索。在这种前题下,制定了相应的三个项目设计原则,通过这些原则保障对学生团队、技术和创新能力的培养,为人才培养模式的探索提供了有益的补充。

摘要：针对动物疫病血凝试验的自动化检测和监测报表的自动化生成进行系统开发,可实现血凝、血凝抑制、正向间接血凝检测的自动判读,保存原始血凝图像,自动分析、统计检测结果、生成报表等功能,使血凝或血凝抑制试验高效化、标准化、信息化,操作简便,大大减少工作量,便于对强制免疫工作的指导和监督,以及对主要动物疫病科学的预警管理。

摘要：目的:对石刁柏雌雄株基因组差异进行分析,筛选雄性或雌性连锁的分子标记.方法:利用限制性片段长度多态性技术,设计了多个引物组合,分别对石刁柏雌雄株基因组进行扩增.结果:在使用的72个引物组合中,引物组合E-AAG+M-CAT从雄性基因组中扩增出了一个雄性连锁的标记(MLDA555),该序列长度为555bp,AT含量为59%.Blast检索未发现相似序列.根据该片段序列设计的引物将该标记转化为雄性连锁的大小为523bp的稳定的SCAR标记,经过不同基因型雄性个体的验证证明该标记广泛存在于不同基因型石刁柏雄性个体中.结论:通过AFLP扩增筛选得到了石刁柏雄性连锁的AFLP和SCAR标记,为石刁柏性别决定机制的理解及石刁柏的分子标记辅助育种提供理论资料和技术支持.

摘要：阐述了U型钢支架支护特点及原理,针对主焦煤矿22121掘进工作面的生产条件,选择U型钢支架进行支护,并确定合理的支架断面、梁腿、钢网、卡缆及连接板等支护参数。现场实践表明,该支护技术能够有效控制巷道围岩变形,具有良好的支护效果。