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.     

Effect of friction stir processing on microstructure of laser clad cobalt-based alloy

(The microstructural refinement of cobalt-based alloy (Stellite No. 6) by laser cladding and friction stir processing (FSP) was studied. A nanometer-sized microstructure consisting of fine carbide (particle size: 100–200 nm) and a grain (grain size: 150–250 nm) was successfully fabricated by the FSP on the laser clad cobalt-based alloy. The nanostructured cobalt-based alloy (Stellite No. 6) had an extremely high hardness of about 750 HV.     

Selection of injection conditions for aluminum particles as a raw material by numerical analysis in the synthesis of ultrafine particles with transferred type arc plasma

We investigated by numerical analysis the dependence of vaporization behavior of aluminum particles injected into transferred type arc plasma on injection conditions in synthesis of aluminum nitride ultra fine particles. On the basis of calculation results, we chose one proper injection condition where aluminum particles vaporized more. © 2009 Wiley Periodicals, Inc. Electr Eng Jpn, 170(2): 46–52, 2010; Published online in Wiley InterScience ( www.interscience.wiley.com ). DOI 10.1002/eej.20852     

Attentional modulation of the mere exposure effect.

The mere exposure effect refers to the phenomenon where previous exposures to stimuli increase participants’ subsequent affective preference for those stimuli. This study explored the effect of selective attention on the mere exposure effect. The experiments manipulated the to-be-attended drawings in the exposure period (either red or green polygons in Experiments 1 and 2; both red and green polygons in Experiments 3 and 4) and black to-be-evaluated drawings in the affective judgment period (morphologically identical to the red or green polygons in Experiments 1 and 4; morphologically identical to the composite drawings in Experiments 2 and 3). The results showed a significant mere exposure effect only for the target shapes involved in attentional selection, even when the participants could recognize the nontarget shapes. This indicates that selective attention modulated the mere exposure effect. (PsycINFO Database Record (c) 2010 APA, all rights reserved)