中国废钢资源发展战略研究

 为提高中国钢铁工业的废钢比,推动钢铁工业的绿色发展,分析了中国废钢资源的概况、废钢行业技术发展现状和钢铁工业废钢利用的现状,并对中国未来废钢资源量进行预测。在此基础上,针对中国废钢资源的发展提出了3条战略判断和6条政策建议。     

基于残差决策的自动飞行控制系统远程实时故障诊断

针对自动飞行控制系统结构复杂、关联部件众多,发生故障时诊断时间长,从而影响飞机运行效率的问题,提出一种基于飞机通信寻址报告系统(ACARS)的远程实时故障诊断方案。首先,分析自动飞行控制系统的故障特点,设计搭建检测滤波器;然后,利用ACARS数据链实时发送的自动飞行控制系统的关键信息进行相关部件的残差计算,并根据残差决策算法进行故障诊断及定位;最后,针对不同故障部件残差间的差异大、决策门限无法统一的缺点,提出基于二次差值的残差决策改进算法,减缓了检测对象的整体变化趋势,降低了随机噪声和干扰的影响,避免了将瞬态故障诊断为系统故障的情况。实验仿真结果表明,基于二次差值的改进残差决策算法避免了多决策门限的复杂性,在采样时间为0.1 s的情况下,故障检测所需时间大约为2 s,故障检测时间大幅降低,有效故障检测率大于90%。     

Scanning tunneling spectroscopic study of monolayer 1T-TaS2 and 1T-TaSe2

Nano Research - The isostructural and isoelectronic transition-metal-dichalcogenides 1T-TaS2 and 1T-TaSe2 are layered materials with intricate electronic structures. Combining the molecular beam...     

植物基人造肉的营养特性与食用安全性

植物肉的出现为动物肉类食品供应短缺和养殖业环境污染问题带来希望。食品加工技术的快速发展弥补了植物基肉制品外观和口感的不足, 但其营养价值和安全性也应引起重视。本文综述了以植物蛋白为主要原料所制肉类替代品的营养价值, 包括植物肉中碳水化合物、蛋白质、脂肪、水分、维生素和矿物质的相对含量和营养性质。分析了植物肉在生产及食用过程中可能出现的物理、化学、生物因素在内的安全问题, 并探讨目前植物肉发展所存在的局限性与挑战, 以期为我国植物蛋白肉制品的研发与推广提供理论参考。     

（S）-噻吗洛尔半水合物的合成及表征

为了开发β受体阻断剂新药（S）-噻吗洛尔半水合物，采用3-吗啉-4-氯-1，2，5-噻二唑为起始原料，经水解反应得到中间体1（3-吗啉-4-羟基-1，2，5-噻二唑）。中间体1与R-环氧氯丙烷发生醚化反应，经后处理及重结晶得到中间体2 {（R）-4-［4-（环氧乙烷-2-基甲氧基）-1，2，5-噻二唑-3-基］吗啉}。中间体2经胺化反应、马来酸成盐及重结晶得到（S）-马来酸噻吗洛尔。（S）-马来酸噻吗洛尔经游离、纯水转晶得到符合药典标准的（S）-噻吗洛尔半水合物，总收率14.05%且e.e.值为99.66%。最终成品经IR、1H-NMR、13C-NMR、MS、TGA、DSC表征，并优化各步反应条件。结果表明:以三乙胺为醚化反应缚酸剂75 ℃反应最佳；以乙醇为胺化反应溶剂46 ℃反应16 h最佳；S-噻吗洛尔的转晶拆分以水作溶剂，比传统不对称合成工艺安全稳定，操作简单，适合工业化生产。     

In Silico Analysis and Experimental Validation of Active Compounds from Cichorium intybus L. Ameliorating Liver Injury

This study aimed at investigating the possible mechanisms of hepatic protective activity of Cichorium intybus L. (chicory) in acute liver injury. Pathological observation, reactive oxygen species (ROS) detection and measurements of biochemical indexes on mouse models proved hepatic protective effect of Cichorium intybus L. Identification of active compounds in Cichorium intybus L. was executed through several methods including ultra performance liquid chromatography/time of flight mass spectrometry (UPLC-TOF-MS). Similarity ensemble approach (SEA) docking, molecular modeling, molecular docking, and molecular dynamics (MD) simulation were applied in this study to explore possible mechanisms of the hepato-protective potential of Cichorium intybus L. We then analyzed the chemical composition of Cichorium intybus L., and found their key targets. Furthermore, in vitro cytological examination and western blot were used for validating the efficacy of the selected compounds. In silico analysis and western blot together demonstrated that selected compound 10 in Cichorium intybus L. targeted Akt-1 in hepatocytes. Besides, compound 13 targeted both caspase-1 and Akt-1. These small compounds may ameliorate liver injury by acting on their targets, which are related to apoptosis or autophagy. The conclusions above may shed light on the complex molecular mechanisms of Cichorium intybus L. acting on hepatocytes and ameliorating liver injury.     

A practical reliability assessment approach and its application for pile-stabilized slopes using FORM and support vector machine

Bulletin of Engineering Geology and the Environment - Many uncertainties exist in pile-stabilized slopes which make their design substantially complicated. In this paper, a first-order reliability...     

锚栓用量对纯锚固岩棉保温系统抗风压性能的影响

采用ETAG 004:2013《外墙外保温薄抹灰系统欧洲技术认证指南》中规定的静态泡沫块法,测试在单位面积上使用不同数量锚栓的岩棉板外保温系统的抗风压性能。通过试验可以得出:在混凝土墙体上单纯采用敲击式锚栓锚固岩棉板外保温系统时,拉伸强度可达12.9 k Pa;单位面积增加锚栓的使用量可以提高系统的抗拉承载力,但在不同条件下增加相同数量锚栓对系统抗风载能力提高的程度不同;在普通混凝土墙中,单纯锚固岩棉板保温系统破坏时,单个锚栓承载力平均值的最大值约为其拉拔承载力的50.3%。     

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

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

Flotation Behavior,Collector Adsorption Mechanism of Quartz and Feldspar-Quartz Systems Using PEA as a Novel Green Collector

Silicon - A novel green cationic surfactant Poly (propylene glycol) bis (2-aminopropyl ether) (PEA) with multiple amine groups was utilized as a collector for flotation separation of quartz from...