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.     

Activation of Mast-Cell-Derived Chymase in the Lacrimal Glands of Patients with IgG4-Related Ophthalmic Disease

The purpose of this present study was to investigate the distribution and expression of chymase in the lacrimal glands (LGs) of patients afflicted with IgG4-related ophthalmic disease (IgG4-ROD). LGs from patients with severe canalicular obstruction were considered the control group. Toluidine blue staining confirmed a significant increase in the number of mast cells in the LGs obtained from the IgG4-ROD patients. In addition, immunostaining of serial sections from the LGs showed a significant increase in the number of chymase-positive cells and tryptase-positive cells in the IgG4-ROD LGs compared to the normal control LGs. The mRNA expression of chymase, tryptase, TGF-β1, and collagen-I tended to increase in the IgG4-ROD LGs. Immunostaining of vimentin and α-smooth muscle actin (α-SMA) showed that myofibroblasts were the main cellular components in severely fibrotic regions of LGs in patients with IgG4-ROD. Linear regression analyses on the number of mast cells, chymase-positive cells, and tryptase-positive cells revealed significant positive correlations between those respective cells. Our findings suggest that chymase may play a role in the fibrotic disorder of IgG4-ROD LGs through the regulation of TGF-β1 activation and collagen-I deposition, and that it may be a therapeutic target for patients afflicted with IgG4-ROD.