An Efficient State Space Generation for the Analysis of Real-Time Systems

State explosion is a well-known problem that impedes analysis and testing based on state-space exploration. This problem is particularly serious in real-time systems because unbounded time values cause the state space to be infinite even for simple systems. In this paper, we present an algorithm that produces a compact representation of the reachable state space of a real-time system. The algorithm yields a small state space, but still retains enough information for analysis. To avoid the state explosion which can be caused by simply adding time values to states, our algorithm uses history equivalence and transition bisimulation to collapse states into equivalent classes. Through history equivalence, states are merged into an equivalence class with the same untimed executions up to the states. Using transition bisimulation, the states that have the same future behaviors are further collapsed. The resultant state space is finite and can be used to analyze real-time properties. To show the effectiveness of our algorithm, we have implemented the algorithm and have analyzed several example applications

A Universal Analysis Pipeline for Hybrid Capture-Based Targeted Sequencing Data with Unique Molecular Indexes

Hybrid capture-based targeted sequencing is being used increasingly for genomic variant profiling in tumor patients. Unique molecular index (UMI) technology has recently been developed and helps to increase the accuracy of variant calling by minimizing polymerase chain reaction biases and sequencing errors. However, UMI-adopted targeted sequencing data analysis is slightly different from the methods for other types of omics data, and its pipeline for variant calling is still being optimized in various study groups for their own purposes. Due to this provincial usage of tools, our group built an analysis pipeline for global application to many studies of targeted sequencing generated with different methods. First, we generated hybrid capture-based data using genomic DNA extracted from tumor tissues of colorectal cancer patients. Sequencing libraries were prepared and pooled together, and an 8-plexed capture library was processed to the enrichment step before 150-bp paired-end sequencing with Illumina HiSeq series. For the analysis, we evaluated several published tools. We focused mainly on the compatibility of the input and output of each tool. Finally, our laboratory built an analysis pipeline specialized for UMI-adopted data. Through this pipeline, we were able to estimate even on-target rates and filtered consensus reads for more accurate variant calling. These results suggest the potential of our analysis pipeline in the precise examination of the quality and efficiency of conducted experiments

In vitro embryo rescue for the production of hypotetraploids after cross between hypotetraploid and tetraploid grape cultivars

Consumer demand for seedless grape with high quality and large berry has been increasing. Breeding of hypotetraploid grape was suggested as one of promising methods to satisfy it, but low frequency of hypotetraploid occurrence and low seed germination by abortive embryo were indicated as the major problem to hamper the development of hypotetraploid grape. Hence, this study was carried out to evaluate the basic efficiency of in ovulo embryo culture after the cross between hypotetraploid (‘Hanareum’) and tetraploid (‘Honey Black’ and ‘Kyoho’) grape cultivars on the establishment of hypotetraploid grapes. Embryos and plantlets were hardly obtained in ovules cultured at six after the cross pollination (WAP), but ovules inoculated at 10 WAP produced more embryos as well as plantlets regardless of cross combination. Furthermore, we found that embryo formation was not affected by the basal media in ovules cultured at six WAP, but utilization of specific medium can be more beneficial for embryo formation when ovules were cultured at 10 WAP. A total of 17 plants were obtained from ovules cultured at 10 WAP, and above 50% of plants were identified as hypotetraploid grapes. These results indicate that in vitro embryo rescue after cross pollination between hypotetraploid and tetraploid grape can enhance the efficiency for the breeding of hypotetraploid grapes

Photo-patternable and transparent films using cellulose nanofibers for stretchable origami electronics

Substantial progress in flexible or stretchable electronics over the past decade has extensively impacted various technologies such as wearable devices, displays and automotive electronics for smart cars. An important challenge is the reliability of these deformable devices under thermal stress. Different coefficients of thermal expansion (CTE) between plastic substrates and the device components, which include multiple inorganic layers of metals or ceramics, induce thermal stress in the devices during fabrication processes or long-term operations with repetitions of thermal cyclic loading-unloading, leading to device failure and reliability degradation. Here, we report an unconventional approach to form photo-patternable, transparent cellulose nanofiber (CNF) hybrid films as flexible and stretchable substrates to improve device reliability using simultaneous electrospinning and spraying. The electrospun polymeric backbones and sprayed CNF fillers enable the resulting hybrid structure to be photolithographically patternable as a negative photoresist and thermally and mechanically stable, presenting outstanding optical transparency and low CTE. We also formed stretchable origami substrates using the CNF hybrid that are composed of rigid support fixtures and elastomeric joints, exploiting the photo-patternability. A demonstration of transparent organic light-emitting diodes and touchscreen panels on the hybrid film suggests its potential for use in next-generation electronics.ope

Effects of dietary probiotics on the growth and feeding efficiency of red hybrid tilapia, Oreochromis sp., and subsequent resistance to Streptococcus agalactiae

An eight-week trial was performed to evaluate three commercial/prototype probiotics supplemented in red hybrid tilapia, Oreochromis sp. diets. Triplicate groups of tilapia were measured for growth performance, feeding efficiencies, and whole-body composition. After the feeding trial, duplicate groups of tilapia were assessed for their resistance to Streptococcus agalactiae over 23 days. Six diets were supplemented with 0.1% or 0.3% PB1 consisting of Bacillus subtilis, 0.1% or 0.3% PB2 consisting of B. licheniformis or 0.1% MPB consisting of Bacillus sp. and Pediococcus sp. Probiotics had no effect (p > 0.05) on growth or feeding efficiencies, although whole-body crude protein was significantly higher in the PB1 0.3% treatment. Tilapia in the probiotic treatments had a higher resistance to S. agalactiae and, with the exception of the PB2 0.1% diet, were all significantly higher than the control treatment. Although the tested probiotics were not growth promoters, dietary B. subtilis was the most effective prophylactic against pathogenic bacteria

Sr2_2IrO4_4/Sr3_3Ir2_2O7_7 superlattice for a model 2D quantum Heisenberg antiferromagnet

Spin-orbit entangled pseudospins hold promise for a wide array of exotic magnetism ranging from a Heisenberg antiferromagnet to a Kitaev spin liquid depending on the lattice and bonding geometry, but many of the host materials suffer from lattice distortions and deviate from idealized models in part due to inherent strong pseudospin-lattice coupling. Here, we report on the synthesis of a magnetic superlattice comprising the single ($n$=1) and the double ($n$=2) layer members of the Ruddlesden-Popper series iridates Sr$_{n+1}$Ir$_{n}$O$_{3n+1}$ alternating along the $c$-axis, and provide a comprehensive study of its lattice and magnetic structures using scanning transmission electron microscopy, resonant elastic and inelastic x-ray scattering, third harmonic generation measurements and Raman spectroscopy. The superlattice is free of the structural distortions reported for the parent phases and has a higher point group symmetry, while preserving the magnetic orders and pseudospin dynamics inherited from the parent phases, featuring two magnetic transitions with two symmetry-distinct orders. We infer weaker pseudospin-lattice coupling from the analysis of Raman spectra and attribute it to frustrated magnetic-elastic couplings. Thus, the superlattice expresses a near ideal network of effective spin-one-half moments on a square lattice