Direct Injection of CRISPR/Cas9-Related mRNA into Cytoplasm of Parthenogenetically Activated Porcine Oocytes Causes Frequent Mosaicism for Indel Mutations

Some reports demonstrated successful genome editing in pigs by one-step zygote microinjection of mRNA of CRISPR/Cas9-related components. Given the relatively long gestation periods and the high cost of housing, the establishment of a single blastocyst-based assay for rapid optimization of the above system is required. As a proof-of-concept, we attempted to disrupt a gene (GGTA1) encoding the α-1,3-galactosyltransferase that synthesizes the α-Gal epitope using parthenogenetically activated porcine oocytes. The lack of α-Gal epitope expression can be monitored by staining with fluorescently labeled isolectin BS-I-B₄ (IB4), which binds specifically to the α-Gal epitope. When oocytes were injected with guide RNA specific to GGTA1 together with enhanced green fluorescent protein (EGFP) and human Cas9 mRNAs, 65% (24/37) of the developing blastocysts exhibited green fluorescence, although almost all (96%, 23/24) showed a mosaic fluorescent pattern. Staining with IB4 revealed that the green fluorescent area often had a reduced binding activity to IB4. Of the 16 samples tested, six (five fluorescent and one non-fluorescent blastocysts) had indel mutations, suggesting a correlation between EGFP expression and mutation induction. Furthermore, it is suggested that zygote microinjection of mRNAs might lead to the production of piglets with cells harboring various mutation types.     

Glibenclamide for the Treatment of Ischemic and Hemorrhagic Stroke

Ischemic and hemorrhagic strokes are associated with severe functional disability and high mortality. Except for recombinant tissue plasminogen activator, therapies targeting the underlying pathophysiology of central nervous system (CNS) ischemia and hemorrhage are strikingly lacking. Sur1-regulated channels play essential roles in necrotic cell death and cerebral edema following ischemic insults, and in neuroinflammation after hemorrhagic injuries. Inhibiting endothelial, neuronal, astrocytic and oligodendroglial sulfonylurea receptor 1–transient receptor potential melastatin 4 (Sur1–Trpm4) channels and, in some cases, microglial K_ATP (Sur1–Kir6.2) channels, with glibenclamide is protective in a variety of contexts. Robust preclinical studies have shown that glibenclamide and other sulfonylurea agents reduce infarct volumes, edema and hemorrhagic conversion, and improve outcomes in rodent models of ischemic stroke. Retrospective studies suggest that diabetic patients on sulfonylurea drugs at stroke presentation fare better if they continue on drug. Additional laboratory investigations have implicated Sur1 in the pathophysiology of hemorrhagic CNS insults. In clinically relevant models of subarachnoid hemorrhage, glibenclamide reduces adverse neuroinflammatory and behavioral outcomes. Here, we provide an overview of the preclinical studies of glibenclamide therapy for CNS ischemia and hemorrhage, discuss the available data from clinical investigations, and conclude with promising preclinical results that suggest glibenclamide may be an effective therapeutic option for ischemic and hemorrhagic stroke.     

共享交通的时空轨迹检索与群体发现

为解决共享交通下的共乘用户群体发现效率低、准确率不高问题，依据R-树原理建立GeoOD-Tree索引，并在此基础上提出以最大化共乘率为目标的群体发现策略。首先，对原始时空轨迹数据进行特征提取与标定处理，挖掘有效出行起讫点（OD）轨迹；其次，针对用户起讫点轨迹的特征，建立GeoOD-Tree索引进行有效的存储管理；最后，给出以最大化共乘行程为目标的群体发现模型，并运用K最近邻（KNN）查询对搜索空间剪枝压缩，提高群体发现效率。采用西安市近12000辆出租车营运轨迹数据，选取动态时间规整（DTW）等典型算法与所提算法在查询效率与准确率上进行性能对比分析。与DTW算法相比，所提算法的准确率提高了10.12%，查询效率提高了约15倍。实验结果表明提出的群体发现策略能有效提高共乘用户群体发现的准确率和效率，可有效提升共乘出行方式的出行率。     

Investigation on phase shifting for a 4 K Stirling pulse tube cryocooler with He-3 as working fluid

He-3 is generally recognized for its ability to provide more excellent thermophysical performance than He-4, especially in the 4 K temperature range. However, this was not always the case in our preliminary experiments on a three-stage Stirling-type pulse tube cryocooler (SPTC). Our ongoing studies, as reported in this paper, demonstrate that the different working fluids also affect the performance through their phase shifting capability. This feature has been passed over in large part by researchers considering refrigerant substitution. Unlike previous theoretical analyses that focus primarily on regenerator losses, this report investigates the effects of the working fluid on the phase angle at the cold end in order to quantitatively reveal the relationship between the lowest attainable temperature and the cooling capacity. The analysis agrees well with our experimental results on a three-stage SPTC. While running with the operating parameters optimized for He-3, the lowest temperature of the SPTC decreased from 5.4 K down to 4.03 K. This is the lowest refrigeration temperature ever achieved with a three-stage SPTC.     

综放高瓦斯矿井煤层瓦斯涌出量综合预测

为了成功预测竹林山煤矿综放高瓦斯矿井大采高工作面煤层瓦斯涌出量,以主采3号煤层为主要研究对象,针对3号煤层以往开采情况,通过布设测点测量其煤层瓦斯含量和了解相邻矿井瓦斯含量,采用分源预测法、回归法及统计法等预测方法得到了3号煤层瓦斯含量的分布规律,并绘制了3号煤层的瓦斯含量等值线图。对矿井不同生产时期的瓦斯含量进行预测,得到了生产前期、中期及后期采区的最大绝对瓦斯涌出量和最大相对瓦斯涌出量,说明了竹林山煤矿各个时期均属于高瓦斯矿井。     

Barium titanate‐based nanodielectrics of two chemically recyclable thermosets

In this work was investigated the effect of the addition of barium titanate (BaTiO₃) on electrical properties of two chemically recyclable thermosets, polyhemiaminal (PHA) and polyhexahydro‐s‐triazine (PHT), both fabricated from 4,4′‐oxydianiline (ODA), an ether derivative of aniline and paraformaldehyde. Thermal and mechanical properties as well as chemical recyclability of the two polymers and their nanocomposites/nanodielectrics were also investigated. In addition, a quantitative analysis was conducted of the nanoparticle dispersion in the PHA‐/PHT‐based BaTiO₃‐containing nanocomposites using transmission electron microscopy imaging and the nearest‐neighbor distance index and this index was used to analyze the investigated properties in connection with the proper mechanisms. Regarding the electrical properties for both neat polymers, conductivity values of the order of 10^?8 S m^?1 at 100 Hz were observed and dielectric constant values close to 2.80 for both polymers at 1 kHz. The addition of 0.5 wt% of BaTiO₃ ferroelectric nanoparticles increased by about 44% the dielectric constant (1 kHz) and conductivity (10² Hz) of the PHA‐based nanocomposite. PHA and PHT exhibited glass transition temperature (T_g) values in the range 125–180 °C. An increase of 7 °C in T_g was observed after the incorporation of 0.5 wt% of BaTiO₃ into PHA. Concerning the mechanical properties, values in the range 4.00–4.45 GPa for reduced modulus and 0.30–0.43 GPa for nanohardness for PHA and PHT polymers were observed. Independently of filler content or polymer matrix, both mechanical properties were enhanced after the addition of BaTiO₃. The chemical recycling of PHA/PHT and all nanocomposites in the initial ODA reagent after sulfuric acid treatment was successfully characterized using the NMR and Fourier transform infrared spectroscopic techniques. © 2018 Society of Chemical Industry     

Dielectric,ferroelectric, and piezoelectric properties of lead-free Ba0.95Ca0.05Ti1-xZrxO3 ceramics

Abstract

Ba_0.95Ca_0.05Ti_1-xZr_xO₃ (BCTZO) ceramics were prepared by a solid state reaction method. The samples were characterized by X-ray diffraction (XRD), Scanning electron microscopy (SEM) and X-ray absorption near edge structure (XANES). The ceramics exhibit a pure perovskite structure. The average grain size gradually decreases with increasing Zr concentration. XANES results indicate that the intensities of pre-edge peaks dropped with increasing Zr concentration. The BCTZO ceramic of x?=?0.05 has the optimum electrical properties with the maximum dielectric constant (ε'_m), remanent polarization (2P_r), coercive electric field (2E_c) and piezoelectric charge constant (d₃₃) of 7,244, 12.54 (μC/cm²), 5.29 (kV/cm) and 288 (pC/N), respectively.     

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

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

Broad-Spectral-Range Sustainability and Controllable Excitation of Hyperbolic Phonon Polaritons in α-MoO3

Hyperbolic phonon polaritons (HPhPs) in orthorhombic-phase molybdenum trioxide (α-MoO₃) show in-plane hyperbolicity, great wavelength compression, and ultralong lifetime, therefore holding great potential in nanophotonic applications. However, its polaritonic response in the far-infrared (FIR) range remains unexplored due to challenges in experimental characterization. Here, monochromated electron energy loss spectroscopy (EELS) in a scanning transmission electron microscope (STEM) is used to probe HPhPs in α-MoO₃ in both mid-infrared (MIR) and FIR frequencies and correlate their behaviors with microstructures and orientations. It is found that low structural symmetry leads to various phonon modes and multiple Reststrahlen bands (RBs) over a broad spectral range (over 70 meV) and in different directions (55–63 meV and 119–125 meV along the b-axis, 68–106 meV along the c-axis, and 101–121 meV along the a-axis). These HPhPs can be selectively excited by controlling the direction of swift electrons. These findings provide new opportunities in nanophotonic and optoelectronic applications, such as directed light propagation, hyperlenses, and heat transfer.     

A new decomposition based evolutionary algorithm with uniform designs for many-objective optimization

For many-objective optimization problems, how to get a set of solutions with good convergence and diversity is a difficult and challenging work. In this paper, a new decomposition based evolutionary algorithm with uniform designs is proposed to achieve the goal. The proposed algorithm adopts the uniform design method to set the weight vectors which are uniformly distributed over the design space, and the size of the weight vectors neither increases nonlinearly with the number of objectives nor considers a formulaic setting. A crossover operator based on the uniform design method is constructed to enhance the search capacity of the proposed algorithm. Moreover, in order to improve the convergence performance of the algorithm, a sub-population strategy is used to optimize each sub-problem. Comparing with some efficient state-of-the-art algorithms, e.g., NSGAII-CE, MOEA/D and HypE, on six benchmark functions, the proposed algorithm is able to find a set of solutions with better diversity and convergence.