Model generation theorem proving with interval constraints

We investigate how the deduction paradigm of model generation theorem proving can be enhanced with interval-and extraval-based constraints leading to more efficient model generation in for some finite domain problems

Current Limiting and Recovery Characteristics Under Load of Transformer Type SFCL with Rewound Structure Using BSCCO Wire in Model Power System

AbstractWe have proposed new design of a transformer type SFCL with primary and secondary superconducting coils which has rewound structure. For not so large fault current, the proposed SFCL limits the current by the inductive component by the normal transition of the flux shielding coil (secondary), and for larger fault current, it can give the resistive component additively by the normal transition of the primary coil. The recovery characteristics under load condition and repetitive limiting operation were experimentally investigated in a laboratory scale power system. The SFCL limited twice repetitive faults current and recovered quickly under load condition

Cooling Stability Test of MgB₂ Wire Immersed in Liquid Hydrogen under External Magnetic Field

11th European Conference on Applied Superconductivity (EUCAS2013)Liquid hydrogen (LH₂), which has large latent heat, low viscosity coefficient, is expected to be a candidate for a cryogen for superconducting wires, not only MgB₂ but also other HTC superconductors. LH₂ cooled superconducting wires are expected to have excellent electro-magnetic characteristics, which is necessary to be clear for cooling stability design of LH₂ cooled superconducting device, however, due to handling difficulties of LH₂, there are only few papers on the properties of LH₂ cooled superconductors, especially under external magnetic field. We designed and made an experimental setup which can energize superconducting wires immersed in LH₂ with the current of up to 500A under the condition of external magnetic field up to 7 T and pressure up to 1.5 MPa. In order to confirm experimental method and safety operation of the setup, over current tests were carried out using MgB₂ superconducting wires under various external magnetic field conditions. Critical current of the test wire at the temperature 21, 24, 27, 29 K under external magnetic fields up to 1.2 T was successfully measured. The resistance of the wire also was measured, while the transport current exceeded the critical current of the wire

Design, Fabrication and Soundness Test of A Bi2223 Magnet Designed for Cooling by Liquid Hydrogen

The critical heat flux in liquid hydrogen is ten times higher than that in liquid helium and is approximately half of that in liquid nitrogen. Since the resistivity of pure metal such as copper or silver at 20 K is less than one-hundredth of that at 300 K, HTS magnets immersed in liquid hydrogen are expected to satisfy the fully cyostable condition or to be stable against high resistive heat generation enough for quench detection at a practical current density. In order to examine cryostability of HTS magnets in liquid hydrogen, a pool-cooled Bi2223 magnet with a 5 T magnetic field at 20 K has been designed, fabricated and tested in liquid nitrogen prior to excitation tests in liquid hydrogen. The magnet consists of six outer double pancake coils with the inner diameter of 0.20 m and four inner double pancake coils with the outer diameter of 0.16 m. The resistive voltage to initiate thermal runaway in the coil assembly in liquid nitrogen was higher than 1 V that is sufficient high for quench detection

Evaluation of efficacy and safety of lascufloxacin for nursing and healthcare associated pneumonia: single-arm, open-label clinical trial: A study protocol

Background: Lascufloxacin hydrochloride (LSFX) is a quinolone antibiotic that inhibits DNA gyrase and topoisomerase IV of bacteria, it is anticipated to minimize antibiotic resistance in bacteria. It exhibits antibacterial activity against a relatively wide range of bacterial species, including anaerobic bacteria, and its efficacy and safety against community-acquired pneumonia have been shown; however, its efficacy and safety against nursing and healthcare associated pneumonia (NHCAP) have not been verified.Methods/Design: Here, a single-arm, open-label, uncontrolled study was conducted in which LSFX was administered to patients with NHCAP at 24 facilities. The research subjects (77 cases) were orally administered 75 mg of LSFX once a day for 7 days. The primary endpoint was the clinical efficacy at the time of test of cure (TOC) (TOC; 5–10 days after the end of LSFX administration), while the secondary endpoints were the efficacy at the time of end of treatment, early clinical efficacy, microbiological efficacy at the time of TOC and end of treatment, and safety evaluation of LSFX.Discussion: NHCAP is a common pneumonia in clinical settings and a notable pneumonia whose mortality is high compared to community-acquired pneumonia. The present study showed the efficacy and safety of LSFX against NHCAP, which could lead to a larger number of therapeutic options for NHCAP

The Japanese Clinical Practice Guidelines for Management of Sepsis and Septic Shock 2016 (J-SSCG 2016)

Background and purposeThe Japanese Clinical Practice Guidelines for Management of Sepsis and Septic Shock 2016 (J-SSCG 2016), a Japanese-specific set of clinical practice guidelines for sepsis and septic shock created jointly by the Japanese Society of Intensive Care Medicine and the Japanese Association for Acute Medicine, was first released in February 2017 and published in the Journal of JSICM, [2017; Volume 24 (supplement 2)] https://doi.org/10.3918/jsicm.24S0001 and Journal of Japanese Association for Acute Medicine [2017; Volume 28, (supplement 1)] http://onlinelibrary.wiley.com/doi/10.1002/jja2.2017.28.issue-S1/issuetoc.This abridged English edition of the J-SSCG 2016 was produced with permission from the Japanese Association of Acute Medicine and the Japanese Society for Intensive Care Medicine.MethodsMembers of the Japanese Society of Intensive Care Medicine and the Japanese Association for Acute Medicine were selected and organized into 19 committee members and 52 working group members. The guidelines were prepared in accordance with the Medical Information Network Distribution Service (Minds) creation procedures. The Academic Guidelines Promotion Team was organized to oversee and provide academic support to the respective activities allocated to each Guideline Creation Team. To improve quality assurance and workflow transparency, a mutual peer review system was established, and discussions within each team were open to the public. Public comments were collected once after the initial formulation of a clinical question (CQ) and twice during the review of the final draft. Recommendations were determined to have been adopted after obtaining support from a two-thirds (> 66.6%) majority vote of each of the 19 committee members.ResultsA total of 87 CQs were selected among 19 clinical areas, including pediatric topics and several other important areas not covered in the first edition of the Japanese guidelines (J-SSCG 2012). The approval rate obtained through committee voting, in addition to ratings of the strengths of the recommendation, and its supporting evidence were also added to each recommendation statement. We conducted meta-analyses for 29 CQs. Thirty-seven CQs contained recommendations in the form of an expert consensus due to insufficient evidence. No recommendations were provided for five CQs.ConclusionsBased on the evidence gathered, we were able to formulate Japanese-specific clinical practice guidelines that are tailored to the Japanese context in a highly transparent manner. These guidelines can easily be used not only by specialists, but also by non-specialists, general clinicians, nurses, pharmacists, clinical engineers, and other healthcare professionals