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...     

可见光引发剂研究进展

光固化技术的应用非常广泛，常用于光固化涂料、油墨、牙科固化、胶粘剂以及 3D打印材料等领域。与紫外光固化相比，可见光固化具备辐射安全、固化深度高、设备价格低廉等优势。作为光固化体系的重要组成部分，光引发剂的研究一直备受关注。本文对近 2~3 a可见光引发剂的研究进展进行了综述，主要从 TPO类、萘酰亚胺类、蒽醌类、咔唑类、硅酮类、肟酯类、共轭染料类、光生酸剂类和金属配合物类光引发剂 9个方面进行了综述，并对可见光引发剂的发展方向做了简单的概述。     

不同折流板结构螺旋折流板换热器传热性能的比较(英文)

Numerical simulations were performed on flow and heat transfer performances of heat exchangers having six helical baffles of different baffle shapes and assembly configurations, i.e., two trisection baffle schemes, two quadrant baffle schemes, and two continuous helical baffle schemes. The temperature contour or the pressure contour and velocity contour plots with superimposed velocity vectors on meridian, transverse and unfolded concentric hexagonal slices are presented to obtain a full angular view. For the six helix baffled heat exchangers, the different patterns of the single vortex secondary flow and the shortcut leakage flow were depicted as wel as the heat transfer properties were compared. The results show that the optimum scheme among the six configurations is a circumferential overlap trisection helix baffled heat exchanger with a baffle incline angle of 20° (20°TCO) scheme with an anti-shortcut baffle structure, which exhibits the second highest pressure dropΔpo, the highest overal heat transfer coefficient K, shel-side heat transfer coefficient ho and shel-side average comprehensive index ho/Δpo.     

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

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

Heat propagation in thermally conductive polymers of PA6 and hexagonal boron nitride

Thermally conductive polymers offer new possibilities for the heat dissipation in electric and electronic components, for example, by a three‐dimensional shaping of the heat sinks. To face safety regulations, improved fire performance of those components is required. In contrast to unfilled polymers, those materials exhibit an entirely different thermal behavior. To investigate the flammability, a phosphorus flame retardant was incorporated into thermally conductive composites of polyamide 6 and hexagonal boron nitride. The flame retardant decreased the thermal conductivity only slightly. However, the burning behavior changed significantly, due to a different heat propagation, which was investigated using a thermographic camera. An optimum content of hexagonal boron nitride for a sufficient thermal conductivity and fire performance was found between 20 and 30 vol%. The improvement of the fire performance was due to a faster heat release out of the pyrolysis zone and an earlier decomposition of the flame retardant. For higher contents of hexagonal boron nitride, the heat was spread faster within the part, promoting an earlier ignition and increasing the decomposition rate of the flame retardant.     

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

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（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...