Reversible data hiding based on RSBEMD coding and adaptive multi-segment left and right histogram shifting

By leveraging the secret data coding using the remainder storage based exploiting modification direction (RSBEMD), and the pixel change operation recording based on multi-segment left and right histogram shifting, a novel reversible data hiding (RHD) scheme is proposed in this paper. The secret data are first encoded by some specific pixel change operations to the pixels in groups. After that, multi-segment left and right histogram shifting based on threshold manipulation is implemented for recording the pixel change operations. Furthermore, a multiple embedding policy based on chess board prediction (CBP) and threshold manipulation is put forward, and the threshold can be adjusted to achieve adaptive data hiding. Experimental results and analysis show that it is reversible and can achieve good performance in capacity and imperceptibility compared with the existing methods.     

Electronic structure and absolute band edge position of tetragonal AgInS2 photocatalyst: A hybrid density functional study

Energy bands, effective mass of carriers, absolute band edge positions and optical properties of tetragonal AgInS₂ were calculated using a first-principles approach with the exchange correlation described by B3LYP hybrid functional. The results indicate that tetragonal AgInS₂ has a direct band gap of 1.93 eV, which reproduce well experimental value. Calculated effective masses of electrons and holes are both small which are beneficial to separation and migration of electron and hole pairs. This implies that AgInS₂ has good photocatalytic performance. The calculated optical characteristics indicate that AgInS₂ has a slight anisotropy for both the real and imaginary parts of the dielectric function and exhibits large optical absorption in the visible light region. Furthermore, the calculated band edge positions in (100), (010) and (001) surfaces indicate that tetragonal AgInS₂ is beneficial to the reduction and oxidation of water to hydrogen and oxygen under visible light irradiation.     

Enhanced thermal stability of Bi2Te3-based alloys via interface engineering with atomic layer deposition

The ease of Te sublimation from Bi₂Te₃-based alloys significantly deteriorates thermoelectric and mechanical properties via the formation of voids. We propose a novel strategy based on atomic layer deposition (ALD) to improve the thermal stability of Bi₂Te₃-based alloys via the encapsulation of grains with a ZnO layer. Only a few cycles of ZnO ALD over the Bi₂Te_2.7Se_0.3 powders resulted in significant suppression of the generation of pores in Bi₂Te_2.7Se_0.3 extrudates and increased the density even after post-annealing at 500 °C. This is attributed to the suppression of Te sublimation from the extrudates. The ALD coating also enhanced grain refinement in Bi₂Te_2.7Se_0.3 extrudates. Consequently, their mechanical properties were significantly improved by the encapsulation approach. Furthermore, the ALD approach yields a substantial improvement in the figure-of-merit after the post-annealing. Therefore, we believe the proposed approach using ALD will be useful for enhancing the mechanical properties of Bi₂Te₃-based alloys without sacrificing thermoelectric performance.     

Integrated circuit and system design for renewable energy inverters

This study proposes that a novel integrated circuit (IC) and system design for renewable energy inverters can harvest renewable energy to power direct current (DC) and alternating current (AC) loads. In addition, an intelligent synthesis and management tool is developed to design the proposed system and to judge the system’s operational maintenance decisions. Finally, a renewable energy inverter’s information is posted to an online system. Users can obtain the proposed system’s information at any time and place. The accurate and superior performance of the proposed IC and system is confirmed by computer simulations and experimental results.     

Remarkably enhanced energy storage properties of lead-free Ba0.53Sr0.47TiO3 thin films capacitors by optimizing bottom electrode thickness

The lead-free Ba_0.53Sr_0.47TiO₃ (BST) thin films buffered with La_0.67Sr_0.33MnO₃ (LSMO) bottom electrode of different thicknesses were fabricated by pulsed laser deposition method on a (001) SrTiO₃ substrate. It was found that the roughness of electrode decreases and substrate stress relaxes gradually with the increase of LSMO thickness, which is beneficial for weakening local high electric field and achieving higher E_b. Therefore, the recoverable energy density (W_rec) of BST films can be greatly improved up to 67.3 %, that is, from 30.6 J/cm³ for the LSMO thickness of 30 nm up to 51.2 J/cm³ for the LSMO thickness of 140 nm after optimizing the LSMO thickness. Furthermore, the thin film capacitor with a 140 nm LSMO bottom electrode shows an outstanding thermal stability from 20 °C to 160 °C and superior fatigue resistance after 10⁸ electrical cycles with only a slightly decrease of W_rec below 1.6 % and 3.7 %, respectively. Our work demonstrates that optimizing bottom electrodes thickness is a promising way for enhancing energy storage properties of thin-film capacitors.     

Novel organic dyes containing N-bridged oligothiophene coplanar cores for dye-sensitized solar cells

Three novel organic dyes adopting fully-fused coplanar heteroarene as the donor moieties end-capped with two cyanoacrylic acids as acceptors and anchoring groups have been synthesized, characterized, and used as the sensitizers for dye-sensitized solar cells (DSSCs). The photophysical and electrochemical properties of the novel dyes and the characteristics of the DSSCs based on the novel organic dyes were investigated. The incorporation of the coplanar cores with electron-donating N-bridges are beneficial for the better intramolecular charge transfer (ICT), giving these new dyes good light-harvesting capability. The LUMO energy levels of these coplanar heteroacene-based dyes are sufficiently high for the efficient electron injection to TiO₂ upon photo-excitation, while the suitable HOMOs allow the regeneration of oxidized dyes with the electrolyte redox (I⁻/I₃⁻). The structural features of the coplanar cores (penta vs. hexa heteroarene) as well as the alkyl substitutions play crucial roles in governing the physical properties and device performance. Among these three novel organic sensitizers, the EHTt dye composed of a fully fused hexa-arene core and less bulky N-alkyl groups caused the DSSC to show the best photovoltaic performance with an open-circuit voltage (V_OC) of 0.58 V, a short-circuit photocurrent density (J_SC) of 13.72 mA/cm², and a fill factor (FF) of 0.69, yielding an overall power conversion efficiency (PCE) of 5.52% under AM 1.5G solar irradiation.     

Mathematical representation of radiality constraint in distribution system reconfiguration problem

Distribution systems are most commonly operated in a radial configuration for a number of reasons. In order to impose radiality constraint in the optimal network reconfiguration problem, an efficient algorithm is introduced in this paper based on graph theory. The paper shows that the normally followed methods of imposing radiality constraint within a mixed-integer programming formulation of the reconfiguration problem may not be sufficient. The minimum-loss network reconfiguration problem is formulated using different ways to impose radiality constraint. It is shown, through simulations, that the formulated problem using the proposed method for representing radiality constraint can be solved more efficiently, as opposed to the previously proposed formulations. This results in up to 30% reduction in CPU time for the test systems used in this study.     

Sol–gel synthesis of Nd-doped BiFeO3 multiferroic and its characterization

Neodymium doped bismuth ferrite (BiFeO₃, BFO) nanoparticles were successfully synthesized by a facile sol–gel route. The influence of annealing temperature, time, Bi content and solvent on the crystal structure of BFO was studied. Results indicated that the optimum processing condition of BFO products was 550–600 °C/1.5 h with excess 3–6% Bi and ethylene glycol as solvent. On the other hand, Nd³⁺ ion was introduced into the BFO system and the effect of Nd³⁺ concentration on the structure, magnetic and dielectric properties of BFO were investigated. It was found that the magnetization of BFO was enhanced significantly with Nd³⁺ substitution, being attributed to the suppression of the spiral cycloidal magnetic structure led by the crystal structure transition. Furthermore, with increasing Nd³⁺ content, the dielectric constant was found to decrease while the dielectric loss was enhanced, which was mainly due to the hoping conduction mechanism with the reduction of oxygen vacancies.     

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.     

面向航空通信应用的边沿触发器教学设计

研究和分析了面向航空通信应用的边沿触发器教学设计。以边沿触发电路实现原理为核心,引导边沿触发机制的探究式学习；以航空机载网络通信为具体应用背景,引入科学研究和工程实现中实际问题,设计曼切斯特码检测系统实验；使得边沿触发器教学成为“知识再创造”的过程和创新实践的新载体,以期培养新工科背景下的独立、创新和实践精神。