Synergistic effect of co-alloying elements on site preferences and elastic properties of Ni3Al: A first-principles study

The site preferences of co-alloying elements (Mo–Ta, Mo–Re, Mo–Cr) in Ni₃Al are studied using first-principles calculations, and the effects of these alloying elements on the elastic properties of Ni₃Al are evaluated by elastic property calculations. The results show that the Mo–Ta, Mo–Re and Mo–Cr atom pairs all prefer Al–Al sites and the spatial neighbor relation of substitution sites almost has no influence on the site preference results. Furthermore, the Young's modulus of Ni₃Al increases much higher by substituting Al–Al sites with co-alloying atoms, among which Mo–Re has the best strengthening effect. The enhanced chemical bondings between alloying atoms and their neighbor host atoms are considered to be the main strengthening mechanism of the alloying elements in Ni₃Al.     

An optimization model for evaluating the economic impact of availability and maintenance notions during the synthesis and design of a power plant

In this paper, we introduce an optimization strategy in order to comprehensively quantify the impact of availability and maintenance notions during the early stages of synthesis and design of a new natural gas combined cycle power plant. A detailed state-space approach is thoroughly discussed, where influence of maintenance funds on each component's repair rate is directly assessed.In this context, analysis of the reliability characteristics of the system is centered at two designer-adopted parameters, which largely influence the obtained results: the number of components which may fail independently at the same time, and the number of simultaneous failure/repair events.Then, optimal solutions are evaluated as the availability-related parameters and the amount of resources assigned for maintenance actions are varied across a wide range of feasible values, which enable obtaining more accurate and detailed estimations of the expected economic performance for the project when compared with traditional economic evaluation approaches.     

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.     

Crossing the Border: From Keto- to Imine Reduction in Short-Chain Dehydrogenases/Reductases

The family of NAD(P)H-dependent short-chain dehydrogenases/reductases (SDRs) comprises numerous biocatalysts capable of C=O or C=C reduction. The highly homologous noroxomaritidine reductase (NR) from Narcissus sp. aff. pseudonarcissus and Zt_SDR from Zephyranthes treatiae, however, are SDRs with an extended imine substrate scope. Comparison with a similar SDR from Asparagus officinalis (Ao_SDR) exhibiting keto-reducing activity, yet negligible imine-reducing capability, and mining the Short-Chain Dehydrogenase/Reductase Engineering Database indicated that NR and Zt_SDR possess a unique active-site composition among SDRs. Adapting the active site of Ao_SDR accordingly improved its imine-reducing capability. By applying the same strategy, an unrelated SDR from Methylobacterium sp. 77 (M77_SDR) with distinct keto-reducing activity was engineered into a promiscuous enzyme with imine-reducing activity, thereby confirming that the ability to reduce imines can be rationally introduced into members of the “classical” SDR enzyme family. Thus, members of the SDR family could be a promising starting point for protein approaches to generate new imine-reducing enzymes.     

In-situ TEM observation of structural changes in nano-crystalline CoCrCuFeNi multicomponent high-entropy alloy (HEA) under fast electron irradiation by high voltage electron microscopy (HVEM)

The structural changes induced in a CoCrCuFeNi multicomponent nano-crystalline high-entropy alloy (HEA) under fast electron irradiation were investigated by in-situ transmission electron microscopy (TEM) using a high voltage electron microscope (HVEM). A fine-grained face centered cubic (fcc) single phase was obtained in the sputtered specimens. The fcc solid solution showed high phase stability against irradiation over a wide temperature range from 298 to 773 K, and remained as the main constituent phase even when the samples were irradiated up to 40 displacement per atom (dpa). Moreover, the irradiation did not seem to induce grain coarsening. This is the first report on the irradiation damage in 5-component HEA under MeV electron irradiation.     

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.