An approach to the formal analysis of license interoperability

With recent advances in information and telecommunications technologies, a large range of digital content is distributed over the Internet. Whereas diverse licenses are provided to protect the content legally and have the advantage of offering authors many choices, the obstruction of smooth content distribution may occur if the relationships between licenses are not revealed because of differences between the restrictions imposed by each license. To activate digital content distribution, license interoperability must be revealed. In this paper, we propose a framework for formally examining license interoperability by using many-sorted first-order logic. We formalize five actual licenses and examine their interoperability to prove the effectiveness of our proposed framework. The results show that the framework reveals the relationships between licenses.     

Physics‐based model of lithium‐ion batteries running on a circuit simulator

The authors developed a physics‐based equivalent circuit model of a lithium‐ion battery (LIB) whose parameters are continually updated, reflecting the theoretical calculation results of the Butler‐Volmer equation, diffusion equations of the lithium‐ion and lithium, and Nernst equations of the liquid and solid phases. The developed model was applied to the charge/discharge simulations of an LIB, and the experimental and simulated results of constant current discharges and pulsed‐charge/discharge were found to be in excellent agreement. In particular, using the developed model, analyzing transient responses of the LIB derived from the transition of the electric double layer charging to the electrode reaction is possible. These results demonstrate that the electrochemical performance of an LIB can be calculated on a circuit simulator using the developed model.     

Editorial for the 30th anniversary special issue

Applied Intelligence -     

Diffusion Magnetic Resonance Imaging-Based Biomarkers for Neurodegenerative Diseases

There has been an increasing prevalence of neurodegenerative diseases with the rapid increase in aging societies worldwide. Biomarkers that can be used to detect pathological changes before the development of severe neuronal loss and consequently facilitate early intervention with disease-modifying therapeutic modalities are therefore urgently needed. Diffusion magnetic resonance imaging (MRI) is a promising tool that can be used to infer microstructural characteristics of the brain, such as microstructural integrity and complexity, as well as axonal density, order, and myelination, through the utilization of water molecules that are diffused within the tissue, with displacement at the micron scale. Diffusion tensor imaging is the most commonly used diffusion MRI technique to assess the pathophysiology of neurodegenerative diseases. However, diffusion tensor imaging has several limitations, and new technologies, including neurite orientation dispersion and density imaging, diffusion kurtosis imaging, and free-water imaging, have been recently developed as approaches to overcome these constraints. This review provides an overview of these technologies and their potential as biomarkers for the early diagnosis and disease progression of major neurodegenerative diseases.     

A Study of Mutual Coupling between Vertical Grounding Electrodes

This paper investigates the mutual grounding impedance between vertical grounding electrodes based on field measurements and FDTD simulations. In the case of vertical electrodes, the mutual impedance between the electrodes is almost completely independent of the electrode length, and thus the induced voltage is nearly constant as the electrode length becomes longer. This characteristic is different from that of an overhead conductor, where the electromagnetic‐induced voltage is proportional to the conductor length. The greater the separation distance between the electrodes, the smaller the induced voltage, as in the case of an overhead conductor. The propagation speed increases as the separation increases. It is found that the speed is not necessarily proportional to the inverse of the relative permittivity of the earth.     

A consistent grayscale‐free topology optimization method using the level‐set method and zero‐level boundary tracking mesh

This paper proposes a level‐set based topology optimization method incorporating a boundary tracking mesh generating method and nonlinear programming. Because the boundary tracking mesh is always conformed to the structural boundary, good approximation to the boundary is maintained during optimization; therefore, structural design problems are solved completely without grayscale material. Previously, we introduced the boundary tracking mesh generating method into level‐set based topology optimization and updated the design variables by solving the level‐set equation. In order to adapt our previous method to general structural optimization frameworks, the incorporation of the method with nonlinear programming is investigated in this paper. To successfully incorporate nonlinear programming, the optimization problem is regularized using a double‐well potential. Furthermore, the sensitivities with respect to the design variables are strictly derived to maintain consistency in mathematical programming. We expect the investigation to open up a new class of grayscale‐free topology optimization. The usefulness of the proposed method is demonstrated using several numerical examples targeting two‐dimensional compliant mechanism and metallic waveguide design problems. Copyright © 2014 John Wiley & Sons, Ltd.     

Glass-Ceramics and Solid-State Lighting

Yttrium aluminum garnet (YAG) doped with Ce³⁺ ion is known as an excellent phosphor for light-emitting diode (LED), usually used as a powder form dispersed in organic resins. We have developed translucent glass-ceramics (GC) of YAG: Ce³⁺ microcrystals in 2004. The GC sheet with half millimeter thick can work efficiently to make identical emission spectra with conventional white LED when combined with a blue LED. This report reviews the development history of the GC materials and impact for all inorganic solution for solid-state lighting.     

ZrB2–SiC–G Composite Prepared by Spark Plasma Sintering of In‐Situ Synthesized ZrB2–SiC–C Composite Powders

To avoid introduction of milling media during ball‐milling process and ensure uniform distribution of SiC and graphite in ZrB₂ matrix, ultrafine ZrB₂–SiC–C composite powders were in‐situ synthesized using inorganic–organic hybrid precursors of Zr(OPr)₄, Si(OC₂H₅)₄, H₃BO₃, and excessive C₆H₁₄O₆ as source of zirconium, silicon, boron, and carbon, respectively. To inhabit grain growth, the ZrB₂–SiC–C composite powders were densified by spark plasma sintering (SPS) at 1950°C for 10 min with the heating rate of 100°C/min. The precursor powders were investigated by thermogravimetric analysis–differential scanning calorimetry and Fourier transform infrared spectroscopy. The ceramic powders were analyzed by X‐ray diffraction, X‐ray photoelectron spectroscopy, and scanning electron microscopy. The lamellar substance was found and determined as graphite nanosheet by scanning electron microscopy, Raman spectrum, and X‐ray diffraction. The SiC grains and graphite nanosheets distributed in ZrB₂ matrix uniformly and the grain sizes of ZrB₂ and SiC were about 5 μm and 2 μm, respectively. The carbon converted into graphite nanosheets under high temperature during the process of SPS. The presence of graphite nanosheets alters the load‐displacement curves in the fracture process of ZrB₂–SiC–G composite. A novel way was explored to prepare ZrB₂–SiC–G composite by SPS of in‐situ synthesized ZrB₂–SiC–C composite powders.