On the Logical Foundations of Compound Predicate Formulae for Legal Knowledge Representation

In order to represent legal knowledge adequately, it is vital to create a formal device that can freely construct an individual concept directly from a predicate expression. For this purpose, a Compound Predicate Formula (CPF) is formulated for use in legal expert systems. In this paper, we willattempt to explain the nature of CPFs by rigorous logical foundation, i.e., establishing their syntax and semantics precisely through the use of appropriate examples. We note the advantages of our system over other such systems and discuss the significance of CPFs with regard to the formalization of legal reasonings using examples from the United Nations Convention for the International Sale of Goods.     

OBDDs of a Monotone Function and Its Prime Implicants

Coudert made a breakthrough in the two-level logic minimization problem with Ordered Binary Decision Diagrams (OBDDs for short) recently [3]. This paper discusses the relationship between the two OBDDs of a monotone function and its prime implicant set to clarify the complexity of this practically efficient method. We show that there exists a monotone function which has an O(n) size sum-of-products but cannot be represented by a polynomial size OBDD. In other words, we cannot obtain the OBDD of the prime implicant set of a monotone function in an output-size sensitive manner once we have constructed the OBDD of that function as in [3], in the worst case. A positive result is also given for a meaningful class of matroid functions. Received April 1997, and in revised form December 1997, and in final form February 1998.     

Properties of novel diallyl phthalate resin modified with sulfur‐containing allyl ester compounds

Sulfur‐containing allyl ester, which reacts with diallyl phthalate (DAP) resin to have allyl groups, was synthesized by the reaction of allyl phthalic acid with bisphenol having sulfur atoms. The sulfur‐containing allyl ester compound was blended with DAP resin to improve the adhesive properties to copper. By modification with sulfur‐containing allyl ester compound, the T‐peel adhesive strength and the lap shear adhesive strength to copper was improved. In particular, the adhesive strength was greatly improved when the resin was modified with the allyl ester compound having a disulfide bond (?S?S?) (DADS). It is concluded that this result is due to the improvement of the interfacial adhesive strength because the sulfur atom was found to be located in the surface of the copper by Fourier transform infrared (FTIR) analysis. The glass transition temperature (T_g) and the thermal decomposition temperature (T_d) of the cured DAP resin modified with DADS slightly decreased with increasing concentration of DADS. The lowering of T_g is because the crosslinking density of the DAP resin modified with DADS is smaller than that of DAP resin. Moreover, from thermogravimetric analysis, the lowering of Td of the DAP resin modified with DADS is because DADS is likely to pyrolyze. © 2013 Society of Chemical Industry     

Prediction model of time diversity using Japan rain radar data

The effects of rain attenuation on communication systems will become more pronounced in future satellite communication systems, especially with the planned use of the 21‐GHz band or higher‐frequency bands. Diversity techniques provide a solution to mitigate rain attenuation effects. This study proposes a time diversity technique, one such technique that is likely to demonstrate high effectiveness. To model the system, rainfall rate statistics are necessary, and reliability is improved as the amount of statistical data increases. This paper derives the cumulative distribution of the rainfall rate across Japan over 4 years using rain radar data from the automated meteorological data acquisition system and ground‐based rain radar network and evaluates the rainfall rate at 23 observation points across Japan. We carry out a performance evaluation for all locations within Japan to confirm the efficiency of the time diversity method. Finally, we propose prediction model of the time diversity gain for Japan and other significant parameter which is time correlation of rainfall rate that was found from the time diversity results for further investigation. Copyright © 2016 John Wiley & Sons, Ltd.     

Sustained photobiological hydrogen production in the presence of N2 by nitrogenase mutants of the heterocyst-forming cyanobacterium Anabaena

Heterocyst-forming cells of the cyanobacterium Anabaena sp. strain PCC 7120 ΔHup, lacking an uptake hydrogenase, photobiologically produce H₂ by nitrogenase. Under N₂-rich atmosphere, the nitrogenase activity declines in a rather short time due to the sufficiency of combined nitrogen. From the parental ΔHup strain, site-directed double-crossover variants, dc-Q193S and dc-R284H, were created with amino acid substitutions presumed to be located in the vicinity of the FeMo-cofactor of nitrogenase. Unlike the case for the ΔHup strain, H₂ production activities of the variants were not decreased by the presence of high concentrations of N₂ and they continuously produced H₂ over 21 days with occasional headspace gas replacement. This property of N₂ insensitivity is a potentially useful strategy for reducing the cost of the culture gas in future practical applications of sustainable biofuel production. This Anabaena strain has only the Mo-containing nitrogenase which reduces acetylene to ethylene, but the dc-Q193S variant also produced ethane at low but measurable rates along with greater rates of ethylene production.     

Impact of Serum Chemerin Levels on Liver Functional Reserves and Platelet Counts in Patients with Hepatocellular Carcinoma

Obesity-related metabolic abnormalities, including adipokine imbalance and chronic inflammation, are involved in liver carcinogenesis. Chemerin, a novel adipokine, plays a critical role in adipogenesis, energy metabolism, and inflammation. We evaluated the impact of serum chemerin levels on liver functional reserves in hepatocellular carcinoma (HCC) patients and on the recurrence and prognosis of HCC. This study included 44 patients with any stage of HCC who underwent curative treatment at Gifu Municipal Hospital (Gifu, Japan) between 2006 and 2007. Recurrence-free survival and overall survival were estimated using the Kaplan-Meier method. Serum albumin levels (Pearson’s correlation coefficient; r = 0.3110, p = 0.0399), platelet counts (r = 0.4159, p = 0.0050), and prothrombin times (r = 0.3775, p = 0.0115) were significantly correlated with serum chemerin levels in patients with HCC, and they were inversely correlated with Child-Pugh scores (r = −0.3732, p = 0.0126), serum alanine aminotransferase levels (r = −0.3864, p = 0.0105), and total bilirubin levels (r = −0.4023, p = 0.0068). Among these variables, a multiple comparison test identified that platelet counts and total bilirubin levels were associated with serum chemerin levels (p < 0.0083). No significant correlation was found between serum chemerin levels and recurrence-free survival (p = 0.3691) or overall survival (p = 0.7916). In HCC patients, serum chemerin concentrations were correlated with liver functional reserves and platelet counts, but not with recurrence or prognosis.     

Forgetting curve of cricket,Gryllus bimaculatus,derived by using serotonin hypothesis

It is thought that the adjustment of intraspecific aggression is an essential factor in the development of a social structure. To understand the natural laws for organizing the social structure, we focus on the fighting behavior of crickets, Gryllus bimaculatus, and investigate the neuronal mechanisms to adjust aggressiveness associated with a neuromodulatory biological amine: serotonin (5-HT).In this paper, we present a working theory of a neurophysiological mechanism based on the past biological studies on the 5-HT hypothesis, and a mathematical model of the mechanism. We analyzed this model and concluded that this neurophysiological mechanism makes the forgetting process slower. Next, we fitted our theoretical forgetting curve to an experimental curve and estimated the parameters of our model. These estimated values were in agreement with common belief in biological science.     

Optimal Digital Controller Design for a Servo Motor Taking Account of Intersample Behavior

A continuous‐time plant with a discretized continuous‐time controller does not yield stability if the sampling rate is lower than some certain level. Thus far, high‐performance electronic control has made use of expensive hardware needed to implement discretized continuous‐time controllers; low‐cost hardware generally does not have a sufficiently high sampling rate. This technical note presents results comparing performance indexes with and without intersample behavior, and provides some answers to the question of how a low‐specification device can control a plant effectively. We consider a machine simulating wafer handling robots, which is an electromechanical system driven by a direct drive motor, at a semiconductor factory. We illustrate the controller design for the robot with and without intersample behavior, and present simulations and experimental results using these controllers. Taking intersample behavior into account proves to be effective in improving control performance and makes it possible to choose a relatively long sampling period. Controller design in terms of the performance index with intersample behavior makes it possible to deal with situations in which a sufficiently short sampling period may not be employed, and freedom of controller design may be widened, especially regarding the choice of the sampling period.     

Thickness estimation of interface films formed on Li1−xCoO2 electrodes by hard X-ray photoelectron spectroscopy

Solid electrolyte interface (SEI) films formed on Li_1−xCoO₂ electrodes were observed with hard X-ray photoelectron spectroscopy (HX-PES). This paper particularly focuses on film thickness estimation using HX-PES with theoretical calculation. The validity of the calculation was proven by experiments using model SEI films. The native film formed on a LiCoO₂ composite electrode was estimated to be LiF with its thickness of 5 nm. Formation of Co (II) species on top of LiCoO₂ was also indicated. Storage of the electrode at 60 °C brought about considerable film growth (30-40 nm) with carbonate compounds formation. SEI film changes during charging of the LiCoO₂ electrode were also examined. The main component in the film was deduced to be LiF or a kind of fluorite, with its thickness decreased during charging. The SEI formation mechanisms are also elucidated.     

Rotary scanning wireless temperature measurement method for hyperthermia using ferromagnetic implants

Recently, the use of a ferromagnetic material in a soft‐heating method has garnered much attention as a novel method for cancer treatment. By concurrently using this material as a thermal probe, we are currently developing a minimally invasive heating and wireless temperature measurement system. To make the approach feasible in a clinical setting, it is vital to overcome the key challenge of heating the local tumor at a constant temperature. In previous conventional approaches, it was necessary to switch the induction‐heating power supply on/off after the target tumor temperature was reached. However, it cannot determine the temperature of the material during the power‐off period. Therefore, we changed this approach and found that by adjusting the distance between the heating coil and the material while maintaining a constant current flow in heating coil, the drift problem, which happened just after power is supplied during the on/off operation, did not occur any longer. Accordingly, it was not required to use multiple sensors to reduce the drift, thereby minimizing the cost. This study verifies the validity of our wireless thermometry approach while performing rotary scanning and proposes a technique for determining achievement of the target temperature. This knowledge complements other approaches for cancer treatment utilizing hyperthermia. © 2015 Institute of Electrical Engineers of Japan. Published by John Wiley & Sons, Inc.