“双创”背景下医科院校劳动教育实践教学模式探索——以临床检验仪器原理课程劳动教育实践为例

在新医科、新工科建设背景下,徐州医科大学在临床检验仪器原理课程中引入创新创业(以下简称“双创”)教育元素,并探索开展劳动教育实践,为“双创”背景下医科院校劳动教育的实施提供可行的路径,助力培育具有“双创”能力和劳动实干精神的应用型复合型医学人才。

用于协议描述及验证的时态逻辑

本文提出了用一种新的基于要求时态逻辑对协议进行描述和验证,并给出了协议满足安全性和活性的充要条件。这种描述方法的优点在于严格、直观和方便。为了解决时态逻辑在表示过去时的不足,定义了新算子(?)表示历史,简化了协议的描述和验证。本文以HDLC为例,说明了协议的基于要求时态逻辑描述方法和协议的验证步骤及方法。

离子能量筛选器仿真设计

离子源作为一种离子束发射装置,常用于光学薄膜的制备中,但离子束中包含各种能量的离子,在光学薄膜制备过程中严重影响着薄膜成型后的微观结构和性能。针对目前国内外离子源普遍存在输出能谱过宽的缺点,以电磁场理论为基础,并对各能级的离子运动轨迹进行了仿真分析,设计了一种离子能量筛选器,仿真结果表明,经过筛选器筛选后能有效剔除过高和过低能量的离子,偏离中心离子能量负100 eV的筛选率,已达到82.24%,在光学薄膜制备领域中具有良好的应用前景。