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.     

An intermittent control model of flexible human gait using a stable manifold of saddle-type unstable limit cycle dynamics

Stability of human gait is the ability to maintain upright posture during walking against external perturbations. It is a complex process determined by a number of cross-related factors, including gait trajectory, joint impedance and neural control strategies. Here, we consider a control strategy that can achieve stable steady-state periodic gait while maintaining joint flexibility with the lowest possible joint impedance. To this end, we carried out a simulation study of a heel-toe footed biped model with hip, knee and ankle joints and a heavy head-arms-trunk element, working in the sagittal plane. For simplicity, the model assumes a periodic desired joint angle trajectory and joint torques generated by a set of feed-forward and proportional-derivative feedback controllers, whereby the joint impedance is parametrized by the feedback gains. We could show that a desired steady-state gait accompanied by the desired joint angle trajectory can be established as a stable limit cycle (LC) for the feedback controller with an appropriate set of large feedback gains. Moreover, as the feedback gains are decreased for lowering the joint stiffness, stability of the LC is lost only in a few dimensions, while leaving the remaining large number of dimensions quite stable: this means that the LC becomes saddle-type, with a low-dimensional unstable manifold and a high-dimensional stable manifold. Remarkably, the unstable manifold remains of low dimensionality even when the feedback gains are decreased far below the instability point. We then developed an intermittent neural feedback controller that is activated only for short periods of time at an optimal phase of each gait stride. We characterized the robustness of this design by showing that it can better stabilize the unstable LC with small feedback gains, leading to a flexible gait, and in particular we demonstrated that such an intermittent controller performs better if it drives the state point to the stable manifold, rather than directly to the LC. The proposed intermittent control strategy might have a high affinity for the inverted pendulum analogy of biped gait, providing a dynamic view of how the step-to-step transition from one pendular stance to the next can be achieved stably in a robust manner by a well-timed neural intervention that exploits the stable modes embedded in the unstable dynamics.     

Texture,sensory and swallowing characteristics of high-pressure-heat-treated pork meat gel as a dysphagia diet

To develop a soft meat product for a dysphagia diet, high-pressure technology was applied. Pressure-heat-treated ground pork meat (PH) was prepared from ground pork mixed with water (ground meat: water, 1:0.5 or 1:1) and salt (1.5%). PH-gels were made from these meat homogenates by treatment at 400 MPa for 20 min, followed by heat treatment. Heat-treated pork meat homogenates (H) were also prepared. The hardness and adhesiveness of the 1:1PH-gel was lower than those of the 1:1H-gel. The PH-gel scored higher in sensory evaluations of elasticity, smoothness and ease of swallowing. Scanning electron micrographs indicated that the superior textural property of the 1:1PH-gel was caused by a network of myosin filaments. Videofluoroscopic examination of swallowing revealed that the 1:1PH-gel was easy to swallow and left little residue in the oropharynx. These results proved the utility of pressurization in creating a dysphagia meat diet.     

W-type hexaferrite nanoparticles: A consideration for microwave attenuation at wide frequency band of 0.5-10 GHz

The static and dynamic magnetic properties of W-type hexaferrites are tuned to meet the requirements of wide band frequencies for attenuation of electromagnetic interference and microwave absorptions purposes. For this purpose, the W-type hexaferrite of entirely new composition of BaCoZnFe_16−2yAl_yCe_yO₂₇ (y = 0, 0.2, 0.4, 0.6, 0.8 and 1.0) has been synthesized by the chemical co-precipitation. The material is characterized using X-ray diffraction (XRD), scanning electron microscopy (SEM) and vibrating sample magnetometer (VSM). The complex permittivity (?_r = ?′ − j?″) and permeability (μ_r = μ′ − jμ″) spectra are determined using Vector Network Analyzer (VNA) in a range from 0.5 GHz to 10 GHz. During this study, it is noticeable that the Al³⁺ and Ce³⁺ ions have considerable effect on the shape of the nanoparticles. Samples having Al-Ce contents y = 0.2 and y = 0.4 showed large values for magnetization (70.5 emu/g) and remanent magnetization (32.9 emu/g). In addition, more than 99% absorption (>−20 dB) is noted for this sample composition. Based on these results it is concluded that the microwave absorption characteristics of these compounds can be tuned for the required frequency by varying the thickness of the absorber. Due to this reason, potential employment of the synthesized nanoparticles for absorption of electromagnetic radiations at wide frequency band of 0.5-10 GHz has been proposed.     

A New Laser Induced Incandescence–Mass Spectrometric Analyzer (LII-MS) for Online Measurement of Aerosol Composition Classified by Black Carbon Mixing State

We developed a laser induced incandescence–mass spectrometric analyzer (LII-MS) for online measurements quantifying the aerosol chemical compositions with respect to the mixing state of black carbon (BC). The LII-MS is developed as a tandem series comprising an LII chamber to detect and vaporize BC-containing particles and a particle trap laser desorption mass spectrometer (PT-LDMS: Takegawa et al. 2012). The PT-LDMS collects aerosol particles transferred from the LII chamber and quantifies the chemical compositions. A newly designed collection probe, coupled with the sheath-air inlet nozzle of the LII chamber, enables a high throughput of aerosol particles without significant dilution. Total aerosol particles can be analyzed in the PT-LDMS by turning off the laser (MS mode), and the aerosol particles externally mixed with BC can be analyzed by turning on the laser (LII-MS mode). The difference in the PT-LDMS signals between the MS and LII-MS modes yields the chemical composition of materials internally mixed with BC. Performance of the developed instrument was evaluated in the laboratory by generating BC particles internally-mixed with oleic acid (OL) and BC particles externally mixed with ammonium sulfate particles. Preliminary results from ambient measurements are also presented and discussed.

Copyright 2014 American Association for Aerosol Research     

Molecular Hydrogen Enhances Proliferation of Cancer Cells That Exhibit Potent Mitochondrial Unfolded Protein Response

Molecular hydrogen ameliorates pathological states in a variety of human diseases, animal models, and cell models, but the effects of hydrogen on cancer have been rarely reported. In addition, the molecular mechanisms underlying the effects of hydrogen remain mostly unelucidated. We found that hydrogen enhances proliferation of four out of seven human cancer cell lines (the responders). The proliferation-promoting effects were not correlated with basal levels of cellular reactive oxygen species. Expression profiling of the seven cells showed that the responders have higher gene expression of mitochondrial electron transport chain (ETC) molecules than the non-responders. In addition, the responders have higher mitochondrial mass, higher mitochondrial superoxide, higher mitochondrial membrane potential, and higher mitochondrial spare respiratory capacity than the non-responders. In the responders, hydrogen provoked mitochondrial unfolded protein response (mtUPR). Suppression of cell proliferation by rotenone, an inhibitor of mitochondrial ETC complex I, was rescued by hydrogen in the responders. Hydrogen triggers mtUPR and induces cell proliferation in cancer cells that have high basal and spare mitochondrial ETC activities.     

Immunomodulatory Properties and Osteogenic Activity of Polyetheretherketone Coated with Titanate Nanonetwork Structures

Polyetheretherketone (PEEK) is a potential substitute for conventional metallic biomedical implants owing to its superior mechanical and chemical properties, as well as biocompatibility. However, its inherent bio-inertness and poor osseointegration limit its use in clinical applications. Herein, thin titanium films were deposited on the PEEK substrate by plasma sputtering, and porous nanonetwork structures were incorporated on the PEEK surface by alkali treatment (PEEK-TNS). Changes in the physical and chemical characteristics of the PEEK surface were analyzed to establish the interactions with cell behaviors. The osteoimmunomodulatory properties were evaluated using macrophage cells and osteoblast lineage cells. The functionalized nanostructured surface of PEEK-TNS effectively promoted initial cell adhesion and proliferation, suppressed inflammatory responses, and induced macrophages to anti-inflammatory M2 polarization. Compared with PEEK, PEEK-TNS provided a more beneficial osteoimmune environment, including increased levels of osteogenic, angiogenic, and fibrogenic gene expression, and balanced osteoclast activities. Furthermore, the crosstalk between macrophages and osteoblast cells showed that PEEK-TNS could provide favorable osteoimmunodulatory environment for bone regeneration. PEEK-TNS exhibited high osteogenic activity, as indicated by alkaline phosphatase activity, osteogenic factor production, and the osteogenesis/osteoclastogenesis-related gene expression of osteoblasts. The study establishes that the fabrication of titanate nanonetwork structures on PEEK surfaces could extract an adequate immune response and favorable osteogenesis for functional bone regeneration. Furthermore, it indicates the potential of PEEK-TNS in implant applications.     

Predator Avoidance by Phytophagous Mites is Affected by the Presence of Herbivores in a Neighboring Patch

When predators invade a leaf patch inhabited by herbivores, the herbivores disperse to a neighboring predator-free leaf patch, thus escaping from the predators. However, the neighboring patch might already be used by con- or heterospecific herbivores. We used laboratory bioassays to examine whether perception of odor from con- or heterospecific competitors on a neighbored lima bean leaf patch influences dispersal behavior of the herbivorous mite Tetranychus urticae when attacked by predatory mites Phytoseiulus persimilis. The dispersal rates of T. urticae that perceived odors from leaf patches infested by conspecifics or cowpea aphids (Aphis craccivora) did not differ from the control (the dispersal rate of T. urticae that perceived odor from uninfested leaf patches). By contrast, the dispersal rate of T. urticae was reduced when they perceived odors from leaf patches that were currently or had previously been infested by larvae of the common cutworm (Spodoptera litura). Previous herbivory by S. litura larvae induced resistance in leaf patches to T. urticae as indicated by the reduced number of eggs laid by T. urticae. Our results are discussed with respect to the feeding behavior of the tested competitors of T. urticae and the impact of the plant and arthropod community on the dispersal behavior of these mites.     

Configuration optimization of clamping members of frame-supported membrane structures

A method is presented for configuration optimization of frames that have specified properties on nodal displacements, stresses, and reaction forces against static loads. The conventional ground structure approach is first used for topology optimization. A feasible solution with a small number of members satisfying all the design requirements except the stress constraints is obtained by assigning artificially small upper-bound displacement, or by penalizing the stiffness of a thin member. This way, the well-known difficulty in topology optimization under stress constraints is successfully avoided. The nodal locations and cross-sectional areas of the feasible solution are next optimized to obtain an approximate optimal configuration under stress constraints. The proposed method is applied to the design of self-fastening clamping members for membrane structures modeled using frame elements. An optimization result is also presented for a clamping member that adjusts deformation of membrane by applying a clamping force with a vertically attached bolt.     

Effects of dressing containing plant sterol on serum cholesterol concentration and the safety evaluation in borderline or mildly hypercholesterolemic Japanese subjects

In a placebo-controlled double-blind study, we examined the effects of dressing containing plant sterol (PS) on blood lipids and the safety in Japanese borderline or mildly hypercholesterolemic subjects. Fifty-nine subjects [total cholesterol (TC) concentration > or = 200 mg/dL] were randomly divided into two groups and were given daily 15 g of dressing containing 800 mg of PS [PS(+)-group] or without PS [PS(-)-group] for 12 weeks. Every 4 weeks, fasting blood was examined and subjective symptoms were analyzed. Serum TC, low-density lipoprotein cholesterol (LDL-C) and apolipoprotein B (ApoB) concentrations did not change in the PS(-)-group, while TC and ApoB significantly decreased in the PS(+)-group at 8 and 12 weeks and LDL-C at 4, 8 and 12 weeks. Moreover, serum TC, LDL-C and ApoB concentrations were significantly lower than those of PS(-)-group at 8 and 12 weeks. Other laboratory tests were all in normal ranges and no adverse events were observed. The results indicated that PS-containing dressing decreased serum TC, LDL-C and ApoB concentrations in borderline or mildly hypercholesterolemic subjects. It is therefore proved that the dressing containing PS is helpful in maintaining blood cholesterol level normal and hence, the health of Japanese.