An index structure supporting rule activation in pervasive applications

World Wide Web - Rule mechanism has been widely used in many areas, such as databases, artificial intelligent and pervasive computing. In a rule mechanism, rule activation decides which rules are...     

Evaluation of Scale and Corrosion Inhibition of Modified Polyaspartic Acid

Amino acid modified polyaspartic acids were evaluated as calcium-scale inhibitors. Feasibility of scale inhibition experiments was analyzed by molecular dynamics simulation and Gaussian optimization, and the scale inhibition mechanism was theoretically analyzed. Scale inhibition performance was studied by scanning electron microscopy, X-ray diffraction, X-ray photoelectron spectroscopy, static scale inhibition experiments, and electrochemical performance testing, which provided an experimental basis for the molecular dynamics simulation. The experimental results showed that Arg-SA-PASP has better scale inhibition and corrosion inhibition performance than His-SA-PASP. The scale inhibition effect increased with increasing concentration. Electrochemical tests indicated that Arg-SA-PASP is an excellent scale and corrosion inhibitor.     

用于厚屏蔽小探测器的蒙特卡罗模拟减方差方法研究

反应堆屏蔽计算中经常出现厚屏蔽、小探测器问题，常规蒙特卡罗方法难以有效解决。基于自动重要抽样（AIS）方法，本文提出了小探测器自动重要抽样(SDAIS)方法，并针对小探测器问题，优化了AIS方法的虚粒子赌分裂算法。该方法在自主开发的蒙特卡罗屏蔽程序MCShield上进行了实现。使用NUREG/CR-6115 PWR基准题验证该方法的正确性和计算效率。结果表明，SDAIS方法可有效地解决厚屏蔽小探测器问题，相比AIS方法及传统的重要性方法，计算效率提升1~2个量级。     

基于信号增强的缓慢泄漏检测方法

目前管道泄漏检测方法可有效检测突发泄漏，对于缓慢泄漏则存在检测灵敏度低、定位不准确等问题。基于此，提出了一种基于信号增强的缓慢泄漏检测方法。通过信号压缩（抽取及移位）克服缓慢泄漏压力信号下降平缓的缺点；根据声波信号具有波形尖锐突出、对突发泄漏敏感的优点，通过建立以压力为输入、虚拟声波为输出的声波信号变送器模型，将压力信号转换为声波信号，克服了泄漏压力信号容易被淹没在管道压力波动及背景噪声中的缺点，实现了缓慢泄漏信号的增强；利用临近插值方法重构虚拟声波信号，基于延时互相关分析实现了缓慢泄漏的准确定位。实验结果表明，该方法具有显著的信号增强效果和定位精度，实现了缓慢泄漏的准确检测。     

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

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

高温氢工质热物理性质计算分析

氢工质在新能源与动力、航天推进、化工材料等领域有着广泛应用。通过开展高温氢工质热力学与输运性质研究，建立了原子态氢、分子态氢、热解平衡态氢的热物理性质计算模型，开发了热物性计算程序Prop_H_H2，适用范围为温度100~3 500 K、压力104~5×107 Pa 。验证表明，Prop_H_H2在适用范围内计算氢工质的物性参数合理可靠，在温度200~3 000 K、压力104~107 Pa范围内，程序预测值更加准确，相对偏差在±5%左右。本研究可为氢工质相关的航天推进、应用物理学、能源动力等行业的科研和应用提供支持借鉴。     

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

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

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

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