Transgenerational Effects of Di(2-Ethylhexyl) Phthalate on Anogenital Distance,Sperm Functions and DNA Methylation in Rat Offspring

Di(2-ethylhexyl) phthalate (DEHP) is widely used as a plasticizer in the manufacture of polyvinylchloride plastics and has been associated with concerns regarding male reproductive toxicity. In this study, we hypothesized that maternal exposure to DEHP induces transgenerational inheritance of adult-onset adverse reproductive outcomes through the male germline in the F1, F2, and F3 generations of male offspring. Pregnant rats were treated with 5 or 500 mg of DEHP/kg/day through gavage from gestation day 0 to birth. The offspring body weight, anogenital distance (AGD), anogenital index (AGI), sperm count, motility, and DNA fragmentation index (DFI) were measured for all generations. Methyl-CpG binding domain sequencing was performed to analyze sperm DNA methylation status in the F3. DEHP exposure at 500 mg/kg affected AGD, AGI, sperm count, mean DFI, and %DFI in the F1; AGD, sperm count, and mean DFI in the F2; and AGD, AGI, mean DFI, and %DFI in the F3. DEHP exposure at 5 mg/kg affected AGD, AGI, sperm count, and %DFI in the F1; sperm count in the F2; and AGD and AGI in F3. Compared with the control group, 15 and 45 differentially hypermethylated genes were identified in the groups administered 5 mg/kg and 500 mg/kg DEHP, respectively. Moreover, 130 and 6 differentially hypomethylated genes were observed in the groups administered 5 mg/kg and 500 mg/kg DEHP. Overall, these results demonstrated that prenatal exposure to DEHP caused transgenerational epigenetic effects, which may explain the observed phenotypic changes in the male reproductive system.     

Commitment-based device-pairing protocol with synchronized drawings and comparison metrics

This article presents a new method for pairing devices securely. The commitment-based authentication uses a fuzzy secret that the devices only know approximately. Its novel feature is time-based opening of commitments in a single round. We also introduce a new source for the fuzzy secret: synchronized drawing with two fingers of the same hand on two touch screens or surfaces. The drawings are encoded as strings and compared with an edit-distance metric. A prototype implementation of this surprisingly simple and natural pairing mechanism shows that it accurately differentiates between true positives and man-in-the-middle attackers.     

In vivo Kinetic Biodistribution of Nano‐Sized Outer Membrane Vesicles Derived from Bacteria

Evaluation of kinetic distribution and behaviors of nanoparticles in vivo provides crucial clues into their roles in living organisms. Extracellular vesicles are evolutionary conserved nanoparticles, known to play important biological functions in intercellular, inter‐species, and inter‐kingdom communication. In this study, the first kinetic analysis of the biodistribution of outer membrane vesicles (OMVs)—bacterial extracellular vesicles—with immune‐modulatory functions is performed. OMVs, injected intraperitoneally, spread to the whole mouse body and accumulate in the liver, lung, spleen, and kidney within 3 h of administration. As an early systemic inflammation response, increased levels of TNF‐α and IL‐6 are observed in serum and bronchoalveolar lavage fluid. In addition, the number of leukocytes and platelets in the blood is decreased. OMVs and cytokine concentrations, as well as body temperature are gradually decreased 6 h after OMV injection, in concomitance with the formation of eye exudates, and of an increase in ICAM‐1 levels in the lung. Following OMV elimination, most of the inflammatory signs are reverted, 12 h post‐injection. However, leukocytes in bronchoalveolar lavage fluid are increased as a late reaction. Taken together, these results suggest that OMVs are effective mediators of long distance communication in vivo.     

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

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

Application of higher order spectral features and support vector machines for bearing faults classification

Condition monitoring and fault diagnosis of rolling element bearings timely and accurately are very important to ensure the reliability of rotating machinery. This paper presents a novel pattern classification approach for bearings diagnostics, which combines the higher order spectra analysis features and support vector machine classifier. The use of non-linear features motivated by the higher order spectra has been reported to be a promising approach to analyze the non-linear and non-Gaussian characteristics of the mechanical vibration signals. The vibration bi-spectrum (third order spectrum) patterns are extracted as the feature vectors presenting different bearing faults. The extracted bi-spectrum features are subjected to principal component analysis for dimensionality reduction. These principal components were fed to support vector machine to distinguish four kinds of bearing faults covering different levels of severity for each fault type, which were measured in the experimental test bench running under different working conditions. In order to find the optimal parameters for the multi-class support vector machine model, a grid-search method in combination with 10-fold cross-validation has been used. Based on the correct classification of bearing patterns in the test set, in each fold the performance measures are computed. The average of these performance measures is computed to report the overall performance of the support vector machine classifier. In addition, in fault detection problems, the performance of a detection algorithm usually depends on the trade-off between robustness and sensitivity. The sensitivity and robustness of the proposed method are explored by running a series of experiments. A receiver operating characteristic (ROC) curve made the results more convincing. The results indicated that the proposed method can reliably identify different fault patterns of rolling element bearings based on vibration signals.     

PSO优化多核RVM的模拟电路故障预测

针对模拟电路健康管理的特点，提出了一种基于PSO优化多核RVM的模拟电路故障预测方法。利用参数分析得到电路的输出频域响应作为特征，计算其与电路无故障标准响应的欧氏距离来表征电路元件健康值，将多个核函数线性组合，并用PSO优化多核RVM参数后的模型实现对各个时间点元件的健康值变化轨迹进行预测。仿真结果表明，该方法在小样本情况下，预测效果优于单一核函数的RVM模型，适用于健康管理中实时预测，具有较好的实用性。     

Quantitative UPLC‐MS/MS analysis of chlorogenic acid derivatives in antioxidant fractionates from dandelion (Taraxacum officinale) root

While qualitative studies have identified chlorogenic acids in antioxidant extracts, particularly ethyl acetate‐derived extracts, of Taraxacum officinale, quantitative analysis of these phenolic compounds remains largely unreported for this species. In this study, bioactivity‐guided fractionation of an antioxidant crude ethyl acetate extract (DPPH = 295.481 ± 0.955 mg TE g^?1 extract) from T. officinale root resulted in a number of reverse‐phase fractions that demonstrated high antioxidant activity (DPPH = 1058.733–1312.136 mg TE g^?1 extract), stronger than that of the synthetic antioxidant Trolox^®. UPLC‐MS/MS screening of these fractions for the presence of selected mono‐ and di‐caffeoylquinic acids revealed large quantities of 1,5‐dicaffeoylquinic acid present in several fractions (853.052–907.324 μg mg^?1), respectively. Due to the antioxidant potency and high levels of 1,5‐dicaffeoylquinic acid observed in these fractions, it was concluded that specifically this chlorogenic acid derivative is a major contributor to the antioxidant efficacy of dandelion root.     

Reducing the complexity of distance measurement methods for circular turbo codes that use structured interleavers

The knowledge of turbo code's minimum Hamming distance (d_min) and its corresponding codeword multiplicity (A_min) is of a great importance because the error correction capability of a code is strongly tied to the values of d_min and A_min. Unfortunately, the computational complexity associated with the search for d_min and A_min can be very high, especially for a turbo code that has high d_min value. This paper introduces some useful properties of turbo codes that use structured interleavers together with circular encoding. These properties allow for a significant reduction of search space and thus reduce significantly the computational complexity associated with the determination of d_min and A_min values. © 2014 The Authors. International Journal of Communication Systems published by John Wiley & Sons, Ltd.     

制导炸弹半实物仿真系统误差对仿真结果的影响

在制导炸弹半实物仿真试验中经常发现,同一发制导炸弹多次仿真的俯仰角差别较大,同一批次制导炸弹投弹试验的遥测俯仰角与仿真俯仰角差别也较大,但是俯仰角的收敛趋势均一致,实测脱靶量与仿真脱靶量都合格,且具有一致性。为了分析出现上述现象的原因,基于协方差分析描述函数法(CADFT),建立了制导炸弹半实物仿真系统的误差传播理论,计算了仿真姿态角和姿态角速度的误差。分析了仿真姿态角和姿态角速度的误差对仿真结果的影响。结果表明,在仿真系统各种误差中,气动力和气动力矩误差是主要误差,是引起仿真俯仰角差别的重要原因; 姿态角的动态验模方法不适用于制导炸弹仿真模型,而脱靶量的静态验模方法适用于制导炸弹仿真模型。     

面源红外诱饵对抗红外制导导弹干扰策略研究

面源红外诱饵使用的过程中,合理有效的干扰策略是干扰红外制导导弹的关键,针对这一问题,通过理论分析与仿真模拟相结合得到面源红外诱饵对抗红外制导导弹的干扰策略。首先以红外成像制导导弹为例,介绍红外制导导弹的仿真模型,然后将攻击过程分为锁定前与锁定后,以命中率为评价指标,得到两个阶段下的最佳干扰策略,包括诱饵的最佳释放时机、释放间隔以及载机应采取的机动动作等。