国家级核应急医学救援分队能力评估指标体系的建立与应用

为进一步摸清国家核应急医学救援分队能力建设现状,国家核应急响应技术支持中心建立了评估指标体系、评分标准,对依托苏州大学附属第二医院(核工业总医院)设立的国家核应急医学救援分队开展能力评估。评估重点包括政策法规、组织机构、预案方案、指挥控制、应急设施与装备、应急响应行动和培训演练等7项一级指标。通过评估,摸清了现状,查找了问题,同时对救援方案、物资装备配备及管理、培训演练等国家核应急医学救援分队能力建设以及核应急能力评估等工作提出改进建议。     

嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.     

浅谈工程总承包商对分包商的安全管理

分包商安全能力不足以及总包商安全管理薄弱,已成为导致工程建设项目事故多发的重要原因。将分包商的安全管理有效纳入到总承包商的安全管理体系内,做好分包商的安全管理,对提高总承包商的安全绩效、确保施工安全,具有极其重要的现实意义。从总承包商和分包商两个角度,研究分析分包安全管理中存在的问题及原因,得出分包安全管理各种问题的根源主要是经济利益,管理源头在总承包单位,站在总承包商的视角提出加强分包商安全管理的建议。     

Precise Extraction of Charge Carrier Mobility for Organic Transistors

Unreliable mobility values, and particularly greatly overestimated values and severely distorted temperature dependences, have recently hampered the development of the organic transistor field. Given that organic field‐effect transistors (OFETs) have been routinely used to evaluate mobility, precise parameter extraction using the electrical properties of OFETs is thus of primary importance. This review examines the origins of the various mobilities that must be determined for OFET applications, the relevant extraction methods, and the data selection limitations, which help in avoiding conceptual errors during mobility extraction. For increased precision, the review also discusses device fabrication considerations, calibration of both the specific gate‐dielectric capacitance and the threshold voltage, the contact effects, and the bias and temperature dependences, which must actually be handled with great care but have mostly been overlooked to date. This review serves as a systematic overview of the OFET mobility extraction process to ensure high precision and will also aid in improving future research.     

中国菊花主题花展及其对行业发展的作用

中国的菊花主题花展(菊花展览)是最重要的赏菊形式,对我国3种主要类型的菊花展览,即综合性菊花展览(中国菊花展览会、国际博览会菊花专项展和各级城市菊花展)、菊花专类园和菊花花田花海的发展现状进行了研究,并分析了菊花展览在促进菊花产业发展、弘扬菊花文化、服务生态文明及美丽乡村建设、加强菊花非物质文化遗产保护中的重要作用,为推动我国菊花展览水平的提高提供借鉴。     

积分中值屈服准则解析厚板轧制椭圆速度场

为解决非线性Mises比塑性功率积分困难以及由此导致的轧制功率解析式难以获得的问题,本文通过建立并利用线性比塑性功率表达式对提出的椭圆速度场进行能量分析,得到了轧制力能参数的解析解.文中通过对变角度屈服函数求积分中值,构建了一个新的屈服准则,它是主应力分量的线性组合,在π平面上的轨迹是逼近Mises圆的等边非等角的十二边形,其基于Lode参数表达式的理论结果也与实验数据吻合较好.同时,根据厚板轧制时金属流动速度从入口到出口逐渐增大的特点,提出了水平速度分量满足椭圆方程的速度场,该速度场满足运动许可条件.通过相应的轧制能量分析,获得了基于线性屈服准则的内部变形功率以及基于应变矢量内积法上的摩擦功率与剪切功率.在此之上,通过泛函的极值变分导出了轧制力矩、轧制力以及应力状态系数的解析解,并与现场实测数据进行了对比,结果表明利用本文提出的屈服准则与速度场所建立的轧制力矩与轧制力模型与实测值吻合较好,其中轧制力误差小于5.3%,轧制力矩误差在6%左右.     

215/70R17.5 10PR 118/116L无内胎半钢载重子午线轮胎的设计

介绍215/70R17.5 10PR 118/116L无内胎半钢载重子午线轮胎的设计。结构设计:外直径741 mm,断面宽204 mm,行驶面宽度164 mm,胎冠曲线采用反向弧设计,胎圈着合直径442.8 mm,胎圈着合宽度178 mm,断面水平轴位置(H_1/H_2)1.0,采用4条纵向花纹沟设计,花纹深度12 mm,花纹饱和度71.3%,花纹周节数63。施工设计:胎面胶采用乳聚丁苯橡胶与顺丁橡胶并用的生胶体系,带束层采用2层2+7×0.28HT钢丝帘线,胎体采用2层2220dtex/2聚酯帘线,胎体上加贴2层锦纶帘布过渡增强层,胎圈采用软、硬两种三角胶,采用二次法成型机成型、B型液压硫化机硫化。成品性能试验结果表明:轮胎的充气外缘尺寸、强度性能、耐久性能和高速性能均达到相关标准要求,胎圈耐久性能显著提高。     

全钢载重子午线轮胎内衬层复合气泡的改善

分析全钢载重子午线轮胎内衬层复合气泡产生原因并提出相应的解决措施。通过增大复合压辊角度、硬度和压力及在气密层复合前增加位移传感器以减小气密层拉伸,使其与过渡层复合后收缩率一致,解决了内衬层复合气泡问题,提高了轮胎质量和企业经济效益。