The formation of fibrous structure of polyamide 6 induced by the three-step forming process and its prominent reinforcement in nitrile rubber

Nitrile rubber (NBR) blends with excellent performance have always been a hot research topic in petroleum field. Due to the excellent performance and compatibility of polyamide 6 (PA6), it provides an opportunity for the preparation of high-performance NBR/PA6 blends. In this article, NBR/PA6 blends were prepared by the three-step molding process. Experimentally, it was found that PA6 has a prominent reinforcement effect in NBR matrix. The variation of this mechanical property was investigated from different aspects of the crystal structure, crystallinities, phase morphology, and so on. It can be cleared that the formation of fibrous structure of PA6 phase is the main factor for reinforcement of the polymer blends. Meanwhile, the formation mechanism of the special phase structure induced by the three-step process is deeply expounded and its structural evolution schematic is established. © 2019 Wiley Periodicals, Inc. J. Appl. Polym. Sci. 2019 , 136, 47472.     

基于FCM燃料的商业压水堆中子学分析

全陶瓷微封装(Fully Ceramic Microencapsulated,FCM)燃料是一种将三结构同向性型(Tri-structural isotropic,TRISO)燃料颗粒弥散于SiC基质的先进燃料,具有良好的包容裂变产物的能力,能有效地改善核燃料在严重事故下保持结构完整性的能力,有利于降低核电站发生大量放射性物质泄漏的风险,是耐事故燃料(Accident Tolerant Fuel,ATF)的主要研究方向之一。与传统UO_2陶瓷芯块燃料相比,FCM燃料的U装量较少,且燃料基体采用SiC,慢化能力较好,可能导致FCM燃料应用于商业压水堆时寿期初慢化剂温度系数为正,不能满足堆芯的固有安全性。本文以标准AFA3G 17×17栅格形式的UO_2-Zr合金燃料组件为参照对象,采用中核集团自主研发的NESTOR软件,分析了17×17和13×13两种栅格形式的FCM燃料(UN核芯)组件的中子学特性,评价了由13×13栅格形式的FCM燃料(UN核芯)组成反应堆堆芯的总体物理特性。研究表明:含钆可燃毒物的13×13栅格形式的FCM燃料(UN核芯)组件可满足欠慢化要求,13×13栅格形式的FCM燃料(UN核芯)用于大型商业压水堆堆芯的慢化剂温度系数可以为负,首循环堆芯可达到与参照堆芯接近的燃耗深度与循环长度,能初步满足商业压水堆堆芯的固有安全性和经济性的要求。     

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

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

自然时效对GT35合金组织与性能的影响

采用XRD、SEM、残余应力测试仪、维氏硬度计、测长机等手段对合金物相、微观组织、残余应力、硬度、线膨胀率进行表征,研究自然时效对GT35合金组织与性能的影响。结果表明,GT35合金在自然时效过程中,增强相TiC的形貌与粒径没有明显变化。当自然时效时间小于15天时,GT35合金的硬度、残余应力与线膨胀率逐渐增加,随后逐渐减小并趋于稳定。当自然时效超过90天后,GT35合金的组织与性能趋于稳定,其硬度、残余应力和线膨胀率分别为945.7 HV5、-184 MPa和-2.22×10^-5。     

改进HSR-FCN的服装图像识别分类算法研究

目前网络上的服装图像数量增长迅猛，对于大量服装图像实现智能分类的需求日益增加。将基于区域的全卷积网络（Region-Based Fully Convolutional Networks，R-FCN）引入到服装图像识别中，针对服装图像分类中网络训练时间长、形变服装图像识别率低的问题，提出一种新颖的改进框架HSR-FCN。新框架将R-FCN中的区域建议网络和HyperNet网络相融合，改变图片特征学习方式，使得HSR-FCN可以在更短的训练时间内达到更高的准确率。在模型中引入了空间转换网络，对输入服装图像和特征图进行了空间变换及对齐，加强了对多角度服装和形变服装的特征学习。实验结果表明，改进后的HSR-FCN模型有效地加强了对形变服装图像的学习，且在训练时间更短的情况下，比原来的网络模型R-FCN平均准确率提高了大约3个百分点，达到96.69%。     

锂辉石-氧化钙烧结法提锂的物相重构与动力学

对锂辉石-氧化钙烧结过程进行热力学分析，绘制了各反应Gibbs自由能与温度的关系图。结果表明，Al₂O₃会优先和Na₂O、Li₂O、K₂O反应，然后与CaO反应生成CaO·Al₂O₃，而且烧结温度需高于1060℃以保证LiAlSi₂O₆能够完成晶形转变。并探讨了锂辉石-氧化钙烧结法提锂的反应机理。考察了不同烧结条件对锂浸出率的影响并对熟料进行X射线衍射（XRD）分析表征。实验结果表明，在配料比为1∶1.25、烧结温度1150℃、烧结时间60min时，锂的浸出率达到92.14%，熟料中的主要物相为Ca₂SiO₄与LiAlO₂。利用XRD和扫描电镜-能谱联用仪（SEM-EDS）对熟料与浸出渣的物相、显微形貌及元素分布情况进行了分析表征。为了确定烧结反应的控制性步骤，在最优烧结条件的基础上对烧结过程进行动力学分析，结果表明，锂辉石-氧化钙烧结体系属于球形颗粒三维界面化学反应控制，烧结过程的动力学拟合方程为\mathrm{1}-{(\mathrm{1}-x)}^{\mathrm{1}/\mathrm{3}}=\mathrm{0.00677}t。     

苯乳酸抑制链格孢霉作用靶位的分析

以从自然腐败的樱桃上分离的链格孢霉（Alternaria sp.）LD3.0086为指示菌，研究苯乳酸对链格孢霉的主要抑制作用靶位。应用分光光度法测定苯乳酸对链格孢霉的最小抑菌浓度，通过卡尔科弗卢尔荧光增白剂染液（calcofluor white，CFW）染色观察苯乳酸对菌丝顶端生长的破坏作用，利用扫描电子显微镜和透射电子显微镜观察链格孢霉的超微结构变化，通过测定苯乳酸作用前后链格孢霉上清液中N-乙酰葡萄糖胺质量浓度变化研究苯乳酸对菌丝细胞壁的破坏作用，应用荧光双染色法观察苯乳酸对链格孢霉菌丝细胞膜的损伤作用。结果表明，12.5 mmol/L的苯乳酸能有效抑制链格孢霉的生长；与对照组（无菌水处理）相比，苯乳酸处理后链格孢霉顶端生长细胞无明显形变，经12.5 mmol/L苯乳酸处理的链格孢霉上清液中N-乙酰葡萄糖胺质量浓度基本不变；苯乳酸处理24 h，链格孢霉菌丝细胞壁表面无明显损伤，细胞内结构发生明显变化；苯乳酸短时间（4 h）处理链格孢霉，菌丝细胞膜仍较为完整，加入苯乳酸较长时间（8 h）后细胞膜发生破裂。综合分析可知，苯乳酸对链格孢霉的主要作用靶位应不是菌丝体的细胞壁和细胞膜，而是在菌丝体内部，通过破坏菌丝内部细胞器结构或引起细胞内的生化反应，从而抑制链格孢霉的生长和繁殖，发挥抑菌活性。     

基于衰变链计算的裂变产物缓发γ能谱分析

在军控核查技术中，缓发γ能谱是核材料的“指纹”。为计算和分析铀裂变产物的缓发γ能谱，本文将各种类型的衰变链简化为基态线性链和激发态线性链，推导了零时前后各级核素数目的变化公式，建构了计算缓发γ射线能谱的C语言程序代码，并通过实验对理论推导进行了验证。通过分析几种核素的缓发γ射线计数发现，计算结果与实验数据吻合较好。