Effect of Cooling Rate on Microsegregation During Solidification of Superalloy INCONEL 718 Under Slow-Cooled Conditions

Metallurgical and Materials Transactions B - The solidification sequence, microstructural evolution, solid-liquid interface variation, interdendritic segregation, and elemental distribution of...     

片层状镁铝复合阻燃剂的制备工艺研究

通过共沉淀法合成了片层状镁铝复合阻燃剂,采用正交试验研究了反应温度、反应时间、镁离子起始浓度对层间距及生长机制的影响。结果表明,反应温度为85 ℃,反应时间为1 h,镁离子起始浓度为1.5 mol/L时,得到层间距d（003）达到0.797 89 nm的层状镁铝复合阻燃剂。同时采用透射电镜（TEM）、热重-差热分析（TG-DTA）对最优化产品进行表征。结果显示,产品为片状卷曲结构,分散性好,热分解温度高。     

基于BASH脚本的Unix 环境下多组件部署管理框架

利用Unix环境下广泛使用的bash/shell脚本语言,结合awk等内嵌功能命令,通过合理的文件目录组织和功能实现,构建成在Unix环境下基于BASH脚本的多组件部署及管理应用框架,支持安装、运行、日志、监视、备份、自动升级、清理、帮助等日常操作,所实现的框架具有良好的可操作性、可扩展性和兼容性,为Unix下多组件的部署提供了良好的应用基础.     

基于最小不满足核的随机森林局部解释性分析

随着机器学习在安全关键领域的应用愈加广泛,对于机器学习可解释性的要求也愈加提高.可解释性旨在帮助人们理解模型内部的运作原理以及决策依据,增加模型的可信度.然而,对于随机森林等机器学习模型的可解释性相关研究尚处于起步阶段.鉴于形式化方法严谨规范的特性以及近年来在机器学习领域的广泛应用,提出一种基于形式化和逻辑推理方法的机器学习可解释性方法,用于解释随机森林的预测结果.即将随机森林模型的决策过程编码为一阶逻辑公式,并以最小不满足核为核心,提供了关于特征重要性的局部解释以及反事实样本生成方法.多个公开数据集的实验结果显示,所提出的特征重要性度量方法具有较高的质量,所提出的反事实样本生成算法优于现有的先进算法;此外,从用户友好的角度出发,可根据基于反事实样本分析结果生成用户报告,在实际应用中,能够为用户改善自身情况提供建议.     

Fracture and Orientation of Long-Glass-Fiber-Reinforced Polypropylene During Injection Molding

Injection processing parameters directly influence the final fiber length and may have a negative effect on the mechanical properties of a part. The aim of the work is to investigate and quantify the effects of the injection rate (2/10/50 cm³/s) on the fiber length, the distribution, and orientation during injection molding and the mechanical properties of long-glass-fiber-reinforced polypropylene (LGF/PP) by experimental and simulated methods. When the injection rate increases from 2 to 10 cm³/s, the fiber length sharply decreases from the original 11 mm to 3.43 mm at the nozzle and 1.30 mm at the filling end, and almost 88% of the fibers are less than 3 mm when the injection rate is 50 cm³/s. A distinct hierarchical orientation (skin-shear-core) for the fiber distribution in the thickness is obtained via a metallographic microscope, which shows that the shear layer (here the shear stress is larger and the fiber is more inclined to oriented along the flow direction) decreases with increasing injection rate. Moreover, the numerical results of the residual fiber length and orientation at different injection rates are in accord with the trend of the measured results. POLYM. ENG. SCI., 60:13–21, 2020. © 2019 Society of Plastics Engineers     

一种针对不确定机械系统的新型Lyapunov鲁棒控制方法

设计了一种针对不确定机械系统的鲁棒控制器.首先分析了质量矩阵的奇异性及上边界性质,展示了质量矩阵可能会因为模型的过度简化而变为半正定.而且,进一步研究了质量矩阵上边界的一致性.在质量矩阵正定及上边界的假设条件下,提出了一种新型鲁棒控制器以抑制机械系统中的不确定性效果.从理论上证明了设计的鲁棒控制器的一致有界性及最终一致有界性.最终趋近边界球的尺寸大小可由设计者决定.最后展示了仿真结果并作了讨论.     

基于分离逻辑的程序验证研究综述

上世纪60-70年代以来,虽然有Floyd-Hoare逻辑的出现,但是使用形式化工具对命令式程序的正确性和可靠性进行自动验证一直被认为是极具挑战性、神圣不可及的工作.上世纪末由于更多的科研投入,特别是微软、IBM等大型公司研发部门的大量人力物力的投入,程序验证方面在本世纪初取得了不少进展,例如用于验证空客代码无运行时错误的ASTRÉE工具,用于Windows设备驱动里关于过程调用的协议验证的SLAM工具.但这些工具并没有考虑动态创建的堆（Heap）：ASTRÉE工具假设待验证代码没有动态创建的堆,也没有递归;SLAM假设待验证系统已经有了内存安全性.事实上很多重要的程序,例如Linux内核、Apache、操作系统设备驱动程序等等,都涉及到对动态创建堆的操作.如何对这类操作堆的程序（heap-manipulating programs）进行自动验证仍然是个难题.2001-2002年分离逻辑（separation logic）提出后,其分离（separation）思想和相应的框（frame）规则使得局部推理（local reasoning）可以很好地应用到程序验证中.自2004年以来,基于分离逻辑对操作动态创建堆的程序进行自动验证方面的研究有了很大的进展,取得了很多令人瞩目的成果,例如SpaceInvader/Abductor、Slayer、HIP/SLEEK、CSL等工作.本文将着重对这方面的部分重要工作进行阐述.     

Effect of Slag Composition on the Deoxidation and Desulfurization of Inconel 718 Superalloy by ESR Type Slag Without Deoxidizer Addition

Metallurgical and Materials Transactions B - Effects of slag composition and alloy content as well as temperature on the deoxidation and desulfurization of Inconel 718 superalloy by...     

A Review of Methodology Development for Controlling Loss of Alloying Elements During the Electroslag Remelting Process

Metallurgical and Materials Transactions B - Electroslag remelting (ESR) is an advanced secondary refining technology for the production of clean, fully dense, and homogeneous castings of steels...     

贵州浓香型白酒窖池可培养细菌系统发育分析

从贵州某名酒厂浓香型白酒窖泥和酒醅中分离到477 株细菌,通过形态特征和生理特性检测等传统方法鉴定,发现绝大多数为芽孢杆菌(446 株),占总细菌株数的93.50 %,将形态和生理生化特征一致的芽孢杆菌归类为XJ-1～XJ-20二十大类群.并采用16S rDNA序列分析和测序,构建系统发育树.结果表明,芽孢杆菌属菌株中,以地衣芽孢杆菌(Bacillus licheniformis)为主,占总芽孢杆菌数的32.96 %;枯草芽孢杆菌(Bacillus subtilis)、蜡状芽孢杆菌(Bacillus cereus) 和栗褐芽孢杆菌(Bacillus badius)也占有相当的比例,还有一定数量的Bacillus niabensis和巴达维亚芽孢杆菌(Bacillus bataviensis)以及少量的球状芽孢杆菌(Bacillus sphaericus)和不确定种芽孢杆菌(Bacillus sp.).除芽孢杆菌属菌株之外,还分离出极少量的短短芽孢杆菌属(Brevibacillus)的不确定种菌株,占已分离总芽孢杆菌数的1.57 %.表明贵州地区浓香型白酒窖池中微生物具有明显的多样性,且地衣芽孢杆菌为其明显的优势种群,这和四川境内酒厂中的微生物类群相似,但也有区别.