Finite satisfiability for guarded fixpoint logic

The finite satisfiability problem for guarded fixpoint logic is decidable and complete for 2ExpTime (resp. ExpTime for formulas of bounded width).     

On extensions of subshifts by finite groups

λ-Graph systems are labelled Bratteli diagrams with shift operations. They present subshifts. Their matrix presentations are called symbolic matrix systems. We define skew products of λ-graph systems and study extensions of subshifts by finite groups. We prove that two canonical symbolic matrix systems are G-strong shift equivalent if and only if their presented subshifts are G-conjugate.     

Measurement of High-Temperature Elastic Properties of Ceramics Using a Laser Ultrasonic Method

Young's modulus and Poisson's ratio of SiC ceramics at temperatures >1400°C were obtained using a laser ultrasonics method that included a Fabry-Pérot interferometer (LUFP). At temperatures <1000°C, Young's modulus and Poisson's ratio measured using the LUFP method agreed well with those measured using standard contact methods, such as the resonance method and the ultrasonic pulse method. These results showed that the LUFP method is a powerful tool for measuring high-temperature elastic properties of advanced ceramics in a noncontact manner.     

Preparation and mesostructure control of highly ordered zirconia particles having crystalline walls

Mesostructured zirconia particles having monoclinic-type crystalline walls were prepared using a low-temperature crystallization technique. Crystalline zirconia particles with highly-ordered mesostructures were obtained through the sol–gel process of zirconium sulfate tetrahydrate at 333 K in the presence of molecular self-assemblies of cetyltrimethylammonium bromide (CTAB) or mixtures of CTAB and anionic molecules such as sodium dodecyl sulfate and sodium p-toluenesulfonate. Variations in the molar ratios of CTAB and the chemical species of anionic molecules led to the variations in the periods of highly-ordered zirconia having crystalline walls. Calcination of the mesostructured zirconia particles prepared using templates consisting solely of CTAB yielded crystalline mesoporous zirconia particles.     

Cationic polymerization behavior of β‐methylglycidyl ether derivatives and physical properties of their cationically cured materials

β‐Methylglycidyl ethers have been applied to Electrical and Electronic adhesives. However, there is no report about the detailed polymerization behavior and physical properties of their cured products. Hence, we investigated cationic polymerization behavior of bisphenol A di(β‐methylglycidyl) ether (Me‐BADGE) and physical properties of the cured products containing Me‐BADGE. DSC analysis suggested that Me‐BADGE could be cured completely at lower temperature than bisphenol A diglycidyl ether (BADGE). Physical properties were analyzed by dynamic viscoelastic analysis. Glass transition temperature (T_g) of BADGE homopolymer was 194°C. In contrast, the copolymer of BADGE (50 wt %) with Me‐BADGE (50 wt %) showed T_g at 124°C. According to the data of E’ and tan δ, crosslink density of the cured products decreased with increasing the Me‐BADGE content. The analysis of cationic polymerization of monofunctional β‐methylglycidyl ether suggested that the cationic polymerization proceeded not only through oxonium cation but also through carbocation formed by ring‐opening reaction of oxonium cation. © 2015 Wiley Periodicals, Inc. J. Appl. Polym. Sci. 2015 , 132, 42377.     

Correlations of Hepatic Hemodynamics,Liver Function,and Fibrosis Markers in Nonalcoholic Fatty Liver Disease: Comparison with Chronic Hepatitis Related to Hepatitis C Virus

The progression of chronic liver disease differs by etiology. The aim of this study was to elucidate the difference in disease progression between chronic hepatitis C (CHC) and nonalcoholic fatty liver disease (NAFLD) by means of fibrosis markers, liver function, and hepatic tissue blood flow (TBF). Xenon computed tomography (Xe-CT) was performed in 139 patients with NAFLD and 152 patients with CHC (including liver cirrhosis (LC)). The cutoff values for fibrosis markers were compared between NAFLD and CHC, and correlations between hepatic TBF and liver function tests were examined at each fibrosis stage. The cutoff values for detection of the advanced fibrosis stage were lower in NAFLD than in CHC. Although portal venous TBF (PVTBF) correlated with liver function tests, PVTBF in initial LC caused by nonalcoholic steatohepatitis (NASH-LC) was significantly lower than that in hepatitis C virus (C-LC) (p = 0.014). Conversely, the liver function tests in NASH-LC were higher than those in C-LC (p < 0.05). It is important to recognize the difference between NAFLD and CHC. We concluded that changes in hepatic blood flow occurred during the earliest stage of hepatic fibrosis in patients with NAFLD; therefore, patients with NAFLD need to be followed carefully.     

Cerebral Hyperperfusion after Revascularization Inhibits Development of Cerebral Ischemic Lesions Due to Artery-to-Artery Emboli during Carotid Exposure in Endarterectomy for Patients with Preoperative Cerebral Hemodynamic Insufficiency: Revisiting the “Impaired Clearance of Emboli” Concept

The purpose of the present study was to determine whether cerebral hyperperfusion after revascularization inhibits development of cerebral ischemic lesions due to artery-to-artery emboli during exposure of the carotid arteries in carotid endarterectomy (CEA). In patients undergoing CEA for internal carotid artery stenosis (≥70%), cerebral blood flow (CBF) was measured using single-photon emission computed tomography (SPECT) before and immediately after CEA. Microembolic signals (MES) were identified using transcranial Doppler during carotid exposure. Diffusion-weighted magnetic resonance imaging (DWI) was performed within 24 h after surgery. Of 32 patients with a combination of reduced cerebrovascular reactivity to acetazolamide on preoperative brain perfusion SPECT and MES during carotid exposure, 14 (44%) showed cerebral hyperperfusion (defined as postoperative CBF increase ≥100% compared with preoperative values), and 16 (50%) developed DWI-characterized postoperative cerebral ischemic lesions. Postoperative cerebral hyperperfusion was significantly associated with the absence of DWI-characterized postoperative cerebral ischemic lesions (95% confidence interval, 0.001–0.179; p = 0.0009). These data suggest that cerebral hyperperfusion after revascularization inhibits development of cerebral ischemic lesions due to artery-to-artery emboli during carotid exposure in CEA, supporting the “impaired clearance of emboli” concept. Blood pressure elevation following carotid declamping would be effective when embolism not accompanied by cerebral hyperperfusion occurs during CEA.     

Main‐chain smectic liquid crystalline polymer exhibiting unusually high thermal conductivity in an isotropic composite

The thermal conductivity (TC) of an isotropic composite comprising of a main‐chain smectic liquid crystalline PB‐10 polyester and 50‐μm‐sized roughly spherical magnesium oxide (MgO) particles is investigated. The increase in the composite TC with higher MgO fractions is steeper than that expected by Bruggeman's theory for the TC of a polydomain PB‐10 polyester (0.52 W m^?1 K^?1). When the filler content is larger than 30 vol %, the composite TC approaches a value that can be explained only if the polyester functions as a matrix with 1.0 W m^?1 K^?1, which is five times as high as those of isotropic common polymers (0.2 W m^?1 K^?1). Such an unusually high TC for a polymer matrix is attributed to some polymer lamellae that lie parallel to the particle surface and are stacked toward neighboring particles, thus creating effective heat paths between the particles and a continuous thermal network in a composite. © 2013 Wiley Periodicals, Inc. J. Appl. Polym. Sci., 2014 , 131, 39896.     

Synthesis and chemical properties of polyethyleneimines crosslinked by penta-2,4-dienylideneammonium unit

The reaction of N-(2,4-dinitrophenyl)pyridinium anion ( salt(A) ; A = Cl⁻, FeCl₄⁻, and (CN)₂N⁻) with linear polyethyleneimine (LPEI; M_n = 20 380) and branched polyethyleneimines (BPEI1; M_n = 600, BPEI2; M_n = 10 000) at various molar feed ratios without using a catalyst resulted in pyridinium ring opening to yield ionic LPEI and BPEIs that were crosslinked by conjugated penta-2,4-dienylideneammonium (PDA) units, LPEI-PDA , BPEI1-PDA , and BPEI2-PDA , respectively. A model compound was synthesized by the reaction of salt(Cl) with diethylamine. The solubilities of BPEI1-PDA and BPEI2-PDA depended on the feed ratios between salt(Cl) and BPEI1 or BPEI2. Dipping LPEI-PDA into water and methanol yielded hydro- and organogels, respectively. UV–vis and reflection measurements revealed an expanded π-conjugation length between the polymer chains due to the through-space orbital interaction of the electrons on the two nitrogen atoms at the crosslinked positions in LPEI-PDA , BPEI1-PDA , and BPEI2-PDA . Cyclic voltammetry analysis suggested that the polymers underwent electrochemical oxidation. Measurement using a superconducting quantum interference device (SQUID) indicated that LPEI-PDA having FeCl₄⁻ anions was paramagnetic. © 2019 Wiley Periodicals, Inc. J. Appl. Polym. Sci. 2020 , 137, 48712.     

Burning Rate Augmentation of BAMO Based Propellants

Thermal decomposition and the burning properties of BAMO based propellants with HMX or AN/HMX have been investigated. The heat generated by the azide binder decomposition initiated and accelerated the thermal decomposition of HMX and AN. Ammonium perchlorate (AP) and lead stearate with carbon black significantly altered the mechanisms of the thermal decomposition and the burning properties of the HMX based propellants. AP showed an increase in burning rate with a slight decrease in burning rate pressure exponent. The lead catalyst yielded high value of the burning rate with the lowest pressure exponent. The ammonium dichromate also influenced the mechanisms of the thermal decomposition and the burning properties of the AN/HMX samples. The combination of ammonium dichromate and copper chromite was the most effective on the burning rate augmentation of AN/HMX based propellants. AN sublimed and evaporated from the condensed phase and mainly reacted exothermically in the gas phase HMX and AN/HMX based propellants showed smokeless burning characteristics in the small rocket motor combustion tests.