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.     

基于SoC的多轴驱控一体化平台设计

随着FPGA技术和电力电机技术的发展,FPGA+ARM的集成方式已经成为FPGA的发展方向.针对一体化多轴运动控制与驱动的特点,选用了集成双核ARM CPU与FPGA结合的Xilinx Zynq-7020全可编程System-on-chip(SoC)作为硬件平台,一个ARM CPU完成多轴的位置环、速度环和电流环的算法以及多轴轨迹生成,能同时完成伺服高级算法如谐振等,另一个ARM CPU完成交互功能,发挥FPGA高速运算的功能,完成6轴电流环流水线控制以及双采样双更新电流环算法.提高了系统整体带宽,实现多轴ns级同步精度以实现更精确的位置轨迹,驱控一体内部数据通过共享内存以及高速内部总线的方式进行交换,其传输速度更快、传输信息更加丰富.     

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

改性剂用量对紫炭黑填充天然橡胶/顺丁橡胶并用胶性能的影响

研究改性剂（间苯二酚/六次亚甲基四胺共混物）用量对紫炭黑填充天然橡胶/顺丁橡胶并用胶性能的影响。结果表明：随着改性剂用量增大，胶料的硬度和定伸应力提高，拉伸强度、撕裂强度先下降后提高，阿克隆磨耗量先增大后减小；当改性剂/紫炭黑用量比为4%时，胶料的物理性能较好。添加改性剂可提高紫炭黑对胶料的补强作用，并在一定程度上改善胶料的热稳定性。     

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

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

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

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

Assembly of a DNA Origami Chinese Knot by Only 15% of the Staple Strands

As a giant leap in DNA self-assembly, DNA origami has exhibited an unprecedented ability to construct nanostructures with arbitrary shapes and sizes. In typical DNA origami, hundreds of short DNA staple strands fold a long, single-stranded (ss) DNA scaffold cooperatively into designed nanostructures. However, large numbers of DNA strands are expensive and would hinder applications such as pharmaceutical investigations because of the complicated components. Therefore, one challenge is how to reduce the number of staple strands needed to construct DNA origami. For a DNA origami structure, the scale-free folding pattern of the scaffold strand is determined by staple strands at the branching vertexes. Simple duplex regions help to define the size-related features of the origami geometry. In this study, we hypothesized that a scaffold strand can be correctly folded into a designed topology by using only staple strands involved in branching vertexes. After assembly, any remaining, flexible, single-stranded regions of the scaffold could be converted into rigid duplexes by DNA polymerase to achieve the designed geometric structures. To demonstrate the concept, we used only 18 staple strands (covering 15 % of the scaffold strand) to assemble a porous DNA nanostructure, which was visualized by atomic force microscopy (AFM). This study helps understanding of the role of cooperativity in origami folding, and provides a cost-effective approach for small-scale prototyping DNA origami.