Effect laws and mechanisms of different temperatures on isothermal tensile fracture morphologies of high-strength boron steel

The fracture behaviour and morphologies of high-strength boron steel were investigated at different temperatures at a constant strain rate of 0.1 s-1 based on isothermal tensile tests. Fracture mechanisms were also analyzed based on the relationship between microstructure transformation and continuous cooling transformation(CCT) curves. It is found that 1) fractures of the investigated steel at high temperatures are dimple fractures; 2) the deformation of high-strength boron steel at high temperatures accelerates diffusion transformations; thus, to obtain full martensite, a higher cooling rate is needed; and 3) the investigated steel has the best plasticity when the deformation temperature is 750 °C.     

广州市郊填埋场附近蔬菜重金属检测与讨论

蔬菜是人们餐桌上必不可少的食物,重金属在受污染的自然环境中又无处不在,而蔬菜中的重金属含量尤其令人担忧。本文使用原子吸收分光光度法(石墨炉)和原子荧光分光光度法检测了广州市郊某垃圾填埋场附近所种植蔬菜中重金属含量。结果:抽样由2013年10月至2014年9月共持续一年,共抽样检测12次,按平均每个月一次的频率,检测结果并未发现有蔬菜超出国家规定的限量值。     

新2级能效低噪音节能环保变压器的研发设计

随着电力变压器新版能效标准于2021年6月1日起正式实施,如何降低变压器的损耗成为各生产厂家面临的主要课题.研发中首次使用宝武钢铁公司生产的低损耗B20R065硅钢片,通过电磁计算、结构设计、工艺制造等一系列的保障措施,试制出SB20-M-2500/10.5新2级能效低噪音节能环保叠铁心变压器,并通过型式试验验证了技术方案的可行性.     

大数据时代法律流程外包视阈下的法律法规翻译

大数据时代的到来,改变了人们的生活方式、思想方式和工作方式,也为国际服务外包产业带来了新的发展机遇。本文首先介绍了WTO透明度原则和我国加入WTO后在法律法规翻译方面应承担的义务及履行情况;其次,从法律流程外包(Legal Process Outsourcing,LPO)的概念、内容和特征出发,分析了大数据技术条件下我国政府法律法规译审外包的必要性,并根据大数据应用的可实时性、可解释性、数据准确性稳定性等基本原则,探讨了大数据技术条件下我国政府法律法规译审外包的运行模式及主要举措;最后,讨论了法律流程外包在我国的发展前景。     

长距离供热管线穿越行洪区的设计方案探讨

随着城市建设规模的不断发展,为满足不断增长的城市供热需求并全面落实国家生态保护、清洁供暖、可持续发展等政策,减少城市环境治理的压力,城市供热热源逐步远离城市,形成许多以长距离供暖和大规模供热为特征的长距离供热管线.由于热源和城市的位置关系,长距离供热管线往往会穿越复杂的障碍区域.以富拉尔基发电厂向齐齐哈尔市长距离供热管网项目穿越行洪区段管网作为案例,从管线穿越障碍区域设计、防洪设计及施工便道设计三个方面对供热管网穿越行洪区时的难点进行分析总结.     

基于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平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.     

改进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。