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

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

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

郭沫若的翻译理论与思想探析

从探讨郭沫若的生平背景入手,介绍了他的翻译成就,并对郭沫若的翻译理论和翻译思想做出了初步的剖析。郭沫若的翻译实践主要可以从郭沫若译著《英诗译稿》和《浮士德》窥见一斑,而郭沫若的翻译理论则可从罗新璋所著的《翻译论集》和方克平所著的《溯洄从美:从批判理论到文学翻译》中探出精髓。对郭沫若翻译实践和理论的研究可以发现郭沫若的"创作论"的地位固然不可撼动,但其中对于创作的维度却并没有提出很好的标准。     

Combination of heat treatment and chitosan coating to improve postharvest quality of wolfberry (Lycium barbarum)

The synergistic application of hot water dip at 42 °C for 30 min and 1% chitosan coating on differentiation in postharvest quality traits, microstructure as well as microbiological evolution of wolfberry fruits was investigated. Fresh wolfberry fruits were stored at 2 ± 0.5 °C and 90% relative humidity (RH) for 28 days. Results indicated the combination of prestorage heat treatment and chitosan coating maintained higher levels of ascorbic acid, total phenolic contents and antioxidant capacity as well as lower decay, compared with untreated wolfberry fruits. The possible mechanism was that the heat treatment almost sealed open stomata to limit the sites of pathogen penetration into fruits independently, followed by the biofilm formed by chitosan which controlled secondary infections as well as slowed changes in fruit respiration and metabolic activity in wolfberries. The synergistically treated fruit also exhibited a higher acceptability obtained by sensory analysis after cold storage. In this sense, the integrated application of heat treatment and chitosan coating could be regarded as an effective strategy to extend storage life and maintain the postharvest quality of wolfberry fruits.     

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

Cerebral microbleeds and cognitive decline in a hemodialysis patient: Case report and review of literature

Cerebral microbleeds (CMBs) are small hemosiderin deposits indicative of prior cerebral microscopic hemorrhage and previously thought to be clinically silent. Recent population‐based cross‐sectional studies and prospective longitudinal cohort studies have revealed association between CMB and cognitive dysfunction. In the general population, CMBs are associated with age, hypertension, and cerebral amyloid angiopathy. In the chronic kidney disease (CKD) population, diminished estimated glomerular filtration rate has been found to be an independent risk factor for CMB, raising the possibility that a uremic milieu may predispose to microbleeds. In the end‐stage renal disease (ESRD) population on hemodialysis, the incidence of microbleeds is significantly higher compared with a control group without history of CKD or stroke. We present an ESRD patient on chronic hemodialysis with a history of gradual cognitive decline and progressive CMBs. Through this case and literature review, we illustrate the need to develop detection and prediction models to treat this frequent development in ESRD patients.