CNT-interconnected iron-doped NiP2/Ni2P heterostructural nanoflowers as high-efficiency electrocatalyst for oxygen evolution reaction

Oxygen evolution reaction (OER) plays a decisive role in electrolytic water splitting. However, it is still challengeable to develop low-cost and efficient OER electrocatalysts. Herein, we present a combination strategy via heteroatom doping, hetero-interface engineering and introducing conductive skeleton to synthesize a hybrid OER catalyst of CNT-interconnected iron-doped NiP₂/Ni₂P (Fe-(NiP₂/Ni₂P)@CNT) heterostructural nanoflowers by a simple hydrothermal reaction and subsequent phosphorization process. The optimized Fe-(NiP₂/Ni₂P)@CNT catalyst delivers an ultralow Tafel slope of 46.1 mV dec^?1 and overpotential of 254 mV to obtain 10 mA cm^?2, which are even better than those of commercial OER catalyst RuO₂. The excellent OER performance is mainly attributed to its unique nanoarchitecture and the synergistic effects: the nanoflowers constructed by a 2D-like nanosheets guarantee large specific area and abundant active sites; the highly conductive CNT skeleton and the electronic modulation by the heterostructural NiP₂/Ni₂P interface and the hetero-atom doping can improve the catalytic activity; porous nanostructure benefits electrolyte penetration and gas release; most importantly, the rough surface and rich defects caused by phosphorization process can further enhance the OER performance. This work provides a deep insight to boost catalytic performance by heteroatom doping and interface engineering for water splitting.     

High-resolution FIB-TEM-STEM structural characterization of grain boundaries in the high dielectric constant perovskite CaCu3Ti4O12

In this work, the grain boundaries composition of the polycrystalline CaCu₃Ti₄O₁₂ (CCTO) was investigated. A Focused Ion Beam (FIB)/lift-out technique was used to prepare site-specific thin samples of the grain boundaries interface of CCTO ceramics. Scanning transmission electron microscopy (STEM) coupled with energy dispersive X-ray spectrometry (EDXS) and Electron Energy Loss Spectroscopy (EELS) systems were used to characterize the composition and nanostructure of the grain and grain boundaries region. It is known that during conventional sintering, discontinuous grain growth occurs and a Cu-rich phase appears at grain boundaries. This Cu-rich phase may affect the final dielectric properties of CCTO but its structure and chemical composition remained unknown. For the first time, this high-resolution FIB-TEM-STEM study of CCTO interfacial region highlights the composition of the phases segregated at grain boundaries namely CuO, Cu₂O and the metastable phase Cu₃TiO_4.     

Hydroxyapatite/bioactive glass functionally graded materials (FGM) for bone tissue engineering

In this work, HA/bioactive glass Functionally Graded Materials (FGMs) are obtained for the first time by means of Spark Plasma Sintering (SPS). Two series of highly dense 5 layered products, namely FGMS1 and FGMS2, are prepared under optimized SPS conditions, i.e. 1000 °C/2 min/16 MPa and 800 °C/2 min/50 MPa, respectively, using a die with varying cross section.Results arising from XRD, SEM, mechanical and biological characterization in SBF, evidence that lower temperature and higher-pressure levels used for FGMS2 samples provide better materials in terms of microstructure, compactness, hardness, elastic modulus and in vitro bioactivity. Indeed, a fully sintered and crack-free microstructure with no crystallisation at the top layer (100% bioactive glass) is correspondingly produced.The obtainment of such FGMs is quite promising, since it permits to vary the relative volume fractions of the two constituents and, consequently, tailor the biological response for specific clinical applications.     

Bipolar resistive switching behavior and conduction mechanisms of composite nanostructured TiO2/ZrO2 thin film

In this work, TiO₂/ZrO₂ bilayer thin film was prepared on fluorine doped tin oxide (FTO)/glass substrates by using a simple and low-cost chemical solution deposition method. Reproducible bipolar resistive switching (RS) characteristics in Au/TiO₂/ZrO₂/FTO/glass devices are reported in this work. TiO₂/ZrO₂ bilayer thin films prepared in this work shows reversible bipolar resistive switching and unidirectional conduction performances under applying voltage and these special performances of TiO₂/ZrO₂ bilayer thin films was first reported. Obvious resistive switching performance can be observed after setting a compliance current, the ratio of high/low resistance reached about 100 at a read voltage of +0.1V and −0.1V and the RS properties showed no obvious degradation after 100 successive cycles tests. The resistive switching characteristics of Au/TiO₂/ZrO₂/FTO/glass device can be explained by electron trapping/detrapping related with the vacancy oxygen defects in TiO₂/ZrO₂ bilayer thin film layer. According to slope fitting, the main conduction mechanisms of the sample are Ohmic and Space charge limited current mechanism.     

Model checking temporal knowledge and commitments in multi-agent systems using reduction

Though modeling and verifying Multi-Agent Systems (MASs) have long been under study, there are still challenges when many different aspects need to be considered simultaneously. In fact, various frameworks have been carried out for modeling and verifying MASs with respect to knowledge and social commitments independently. However, considering them under the same framework still needs further investigation, particularly from the verification perspective. In this article, we present a new technique for model checking the logic of knowledge and commitments (CTLKC⁺). The proposed technique is fully-automatic and reduction-based in which we transform the problem of model checking CTLKC⁺ into the problem of model checking an existing logic of action called ARCTL. Concretely, we construct a set of transformation rules to formally reduce the CTLKC⁺ model into an ARCTL model and CTLKC⁺ formulae into ARCTL formulae to get benefit from the extended version of NuSMV symbolic model checker of ARCTL. Compared to a recent approach that reduces the problem of model checking CTLKC⁺ to another logic of action called GCTL¹, our technique has better scalability and efficiency. We also analyze the complexity of the proposed model checking technique. The results of this analysis reveal that the complexity of our reduction-based procedure is PSPACE-complete for local concurrent programs with respect to the size of these programs and the length of the formula being checked. From the time perspective, we prove that the complexity of the proposed approach is P-complete with regard to the size of the model and length of the formula, which makes it efficient. Finally, we implement our model checking approach on top of extended NuSMV and report verification results for the verification of the NetBill protocol, taken from business domain, against some desirable properties. The obtained results show the effectiveness of our model checking approach when the system scales up.     

The dielectric,thermal properties and crystallization mechanism of Li–Al – B–Si – O glass – Ceramic systems as a new ULTCC material

Li–Al–B–Si–O (LABS) glass-ceramics with a sintering temperature of 600 °C were studied for ultra-low temperature co-fired ceramics (ULTCC) applications. The crystal phase of LABS glass-ceramics is dendritic β-spodumene. The permittivity and dielectric loss of LABS glass-ceramics are ε_r = 5.8 and tgδ = 1.3 × 10⁻³ at 10 MHz, respectively. The coefficient of thermal expansion (CTE) of LABS glass-ceramics is 3.23 ppm/°C, which is close to that of silicon. The dielectric and thermal properties of LABS glass-ceramics are closely correlated to the degree of its crystallization. The permittivity decreases continually while the dielectric loss decreases first and slightly increases with the increasing of crystallization of β-spodumene. The CTE of LABS glass-ceramics decreases as β-spodumene crystallized from LABS glass. The crystallization kinetic and mechanism of LABS glass-ceramics indicate that the β-spodumene crystallizes in a two-dimensional interfacial growth mechanism due to the migration of Li-ions. The diffusion coefficients derived from energy-dispersive X-ray spectroscopy (EDS) results indicated that both Al and Ag electrodes have good compatibilities with ULTCC tapes, which could reduce the cost of multilayer electro-ceramic devices dramatically by using the ULTCC and base metallization.     

Simulation of thermal barrier coating spallation induced by the initiation/growth/coalescence of internal crack and interfacial crack based on a real image model

In the furnace cycle test, the growth of oxide film leads to the propagation and coalescence of multiple cracks near the interface, which should be responsible for the spallation of thermal barrier coatings (TBCs). A TBC model with real interface morphology is created, and the near-interface large pore is retained. The purpose of this work is to clarify the mechanism of TBC spallation caused by successive initiation, propagation, and linkage of cracks near the interface during thermal cycle. The dynamic growth of thermally grown oxide (TGO) is carried out by applying a stress-free strain. The crack nucleation and arbitrary path propagation in YSZ and TGO are simulated by the extended finite element method (XFEM). The debonding along the YSZ/TGO/BC interface is evaluated using a surface-based cohesive behavior. The large-scale pore in YSZ near the interface can initiate a new crack. The ceramic crack can propagate to the YSZ/TGO interface, which will accelerate the interfacial damage and debonding. For the TGO/BC interface, the normal compressive stress and small shear stress at the valley hinder the further crack propagation. The growth of YSZ crack and the formation of through-TGO crack are the main causes of TBC delamination. The accelerated BC oxidation increases the lateral growth strain of TGO, which will promote crack propagation and coalescence. The optimization design proposed in this work can provide another option for developing TBC with high durability.     

Rapid screening of DON contamination in whole wheat meals by Vis/NIR spectroscopy and computer vision coupling technology

This work intends to develop an online experimental system for screening of deoxynivalenol (DON) contamination in whole wheat meals by visible/near-infrared (Vis/NIR) spectroscopy and computer vision coupling technology. Spectral and image information of samples with various DON levels was collected at speed of 0.15 m s⁻¹ on a conveyor belt. The two-type data were then integrated and subjected to chemometric analysis. Discriminant analysis showed that samples could be classified by setting 1000 μg kg⁻¹ as the cut-off value. The best correct classified rate obtained in prediction was 93.55% based on fusion of spectral and image features, with reduced prediction uncertainty as compared to single feature. However, quantification of DON by quantitative analysis was not successful due to poor model performance. These results indicate that, although not accurate enough to provide conclusive result, this coupling technology could be adopted for rapid screening of DON contamination in cereals and feeds during processing.