Evaluation of A Resilience Embedded System Using Probabilistic Model-Checking

If a Micro Processor Unit (MPU) receives an external electric signal as noise, the system function will freeze or malfunction easily. A new resilience strategy is implemented in order to reset the MPU automatically and stop the MPU from freezing or malfunctioning. The technique is useful for embedded systems which work in non-human environments. However, evaluating resilience strategies is difficult because their effectiveness depends on numerous, complex, interacting factors. In this paper, we use probabilistic model checking to evaluate the embedded systems installed with the above mentioned new resilience strategy. Qualitative evaluations are implemented with 6 PCTL formulas, and quantitative evaluations use two kinds of evaluation. One is system failure reduction, and the other is ADT (Average Down Time), the industry standard. Our work demonstrates the benefits brought by the resilience strategy. Experimental results indicate that our evaluation is cost-effective and reliable.Comment: In Proceedings ESSS 2014, arXiv:1405.055

Zn-induced wipeout effect on Cu NQR spectra in La2−x_{2-x}Srx_xCu1−y_{1-y}Zny_yO4_4

We report a systematic study of Zn-substitution effect on Cu NQR spectrum for high $T_c$ superconductors La$_{2-x}$Sr$_x$Cu$_{1-y}$Zn$_y$O$_4$ from carrier-underdoped to -overdoped regimes (polycrystalline samples, $x$ =0.10, 0.15, and 0.20). We observed no appreciable wipeout effect for the overdoped samples, a gradual and partial wipeout effect below about 80 K for the optimally doped ones, and very abrupt and full wipeout effect below about 40 K for the underdoped ones. The wipeout effect indicates a highly enhanced spectral weight of Cu spin fluctuations at a low frequency. We associate the wipeout effect with a Zn-induced local magnetism far above 40 K and with a localization effect below 40 K.Comment: 2 pages, 3 figures, accepted for publication in Physica C (LT23, Hiroshima 2002

Application of precise neutron focusing mirrors for neutron reflectometry: latest results and future prospects

超精密中性子集束ミラーによる電極界面のナノ構造解析技術の実用化 --測定精度の劇的な向上に向けた大きなマイルストーン--. 京都大学プレスリリース. 2020-10-28.Neutron reflectometry (NR) is a powerful tool for providing insight into the evolution of interfacial structures, for example via operando measurements for electrode–electrolyte interfaces, with a spatial resolution of nanometres. The time resolution of NR, which ranges from seconds to minutes depending on the reflection intensity, unfortunately remains low, particularly for small samples made of state-of-the-art materials even with the latest neutron reflectometers. To overcome this problem, a large-area focusing supermirror manufactured with ultra-precision machining has been employed to enhance the neutron flux at the sample, and a gain of approximately 100% in the neutron flux was achieved. Using this mirror, a reflectivity measurement was performed on a thin cathode film on an SrTiO3 substrate in contact with an electrolyte with a small area of 15 × 15 mm. The reflectivity data obtained with the focusing mirror were consistent with those without the mirror, but the acquisition time was shortened to half that of the original, which is an important milestone for rapid measurements with a limited reciprocal space. Furthermore, a method for further upgrades that will reveal the structural evolution with a wide reciprocal space is proposed, by applying this mirror for multi-incident-angle neutron reflectometry

Displacement-noise-free interferometeric gravitational-wave detector using unidirectional neutrons with four speeds

For further gravitational wave (GW) detections, it is significant to invent a technique to reduce all kinds of mirror displacement noise dominant at low frequencies for ground-based detectors. The neutron displacement-noise-free interferometer (DFI) is one of the tools to reduce all the mirror displacement noise at lower frequencies. In this paper, we describe a further simplified configuration of a neutron DFI in terms of neutron incidence direction. In the new configuration, neutrons enter the interferometer with unidirectional incidence at four speeds as opposed to two bidirectional incidences of opposite directions at two speeds as reported previously. This simplification of the neutron DFI is significant for proof-of-principle experiments

GATA2 Mediates Thyrotropin-Releasing Hormone-Induced Transcriptional Activation of the Thyrotropin β Gene

Thyrotropin-releasing hormone (TRH) activates not only the secretion of thyrotropin (TSH) but also the transcription of TSHβ and α-glycoprotein (αGSU) subunit genes. TSHβ expression is maintained by two transcription factors, Pit1 and GATA2, and is negatively regulated by thyroid hormone (T3). Our prior studies suggest that the main activator of the TSHβ gene is GATA2, not Pit1 or unliganded T3 receptor (TR). In previous studies on the mechanism of TRH-induced activation of the TSHβ gene, the involvements of Pit1 and TR have been investigated, but the role of GATA2 has not been clarified. Using kidney-derived CV1 cells and pituitary-derived GH3 and TαT1 cells, we demonstrate here that TRH signaling enhances GATA2-dependent activation of the TSHβ promoter and that TRH-induced activity is abolished by amino acid substitution in the GATA2-Zn finger domain or mutation of GATA-responsive element in the TSHβ gene. In CV1 cells transfected with TRH receptor expression plasmid, GATA2-dependent transactivation of αGSU and endothelin-1 promoters was enhanced by TRH. In the gel shift assay, TRH signal potentiated the DNA-binding capacity of GATA2. While inhibition by T3 is dominant over TRH-induced activation, unliganded TR or the putative negative T3-responsive element are not required for TRH-induced stimulation. Studies using GH3 cells showed that TRH-induced activity of the TSHβ promoter depends on protein kinase C but not the mitogen-activated protein kinase, suggesting that the signaling pathway is different from that in the prolactin gene. These results indicate that GATA2 is the principal mediator of the TRH signaling pathway in TSHβ expression

The whole blood transcriptional regulation landscape in 465 COVID-19 infected samples from Japan COVID-19 Task Force

「コロナ制圧タスクフォース」COVID-19患者由来の血液細胞における遺伝子発現の網羅的解析 --重症度に応じた遺伝子発現の変化には、ヒトゲノム配列の個人差が影響する--. 京都大学プレスリリース. 2022-08-23.Coronavirus disease 2019 (COVID-19) is a recently-emerged infectious disease that has caused millions of deaths, where comprehensive understanding of disease mechanisms is still unestablished. In particular, studies of gene expression dynamics and regulation landscape in COVID-19 infected individuals are limited. Here, we report on a thorough analysis of whole blood RNA-seq data from 465 genotyped samples from the Japan COVID-19 Task Force, including 359 severe and 106 non-severe COVID-19 cases. We discover 1169 putative causal expression quantitative trait loci (eQTLs) including 34 possible colocalizations with biobank fine-mapping results of hematopoietic traits in a Japanese population, 1549 putative causal splice QTLs (sQTLs; e.g. two independent sQTLs at TOR1AIP1), as well as biologically interpretable trans-eQTL examples (e.g., REST and STING1), all fine-mapped at single variant resolution. We perform differential gene expression analysis to elucidate 198 genes with increased expression in severe COVID-19 cases and enriched for innate immune-related functions. Finally, we evaluate the limited but non-zero effect of COVID-19 phenotype on eQTL discovery, and highlight the presence of COVID-19 severity-interaction eQTLs (ieQTLs; e.g., CLEC4C and MYBL2). Our study provides a comprehensive catalog of whole blood regulatory variants in Japanese, as well as a reference for transcriptional landscapes in response to COVID-19 infection

DOCK2 is involved in the host genetics and biology of severe COVID-19

「コロナ制圧タスクフォース」COVID-19疾患感受性遺伝子DOCK2の重症化機序を解明 --アジア最大のバイオレポジトリーでCOVID-19の治療標的を発見--. 京都大学プレスリリース. 2022-08-10.Identifying the host genetic factors underlying severe COVID-19 is an emerging challenge. Here we conducted a genome-wide association study (GWAS) involving 2, 393 cases of COVID-19 in a cohort of Japanese individuals collected during the initial waves of the pandemic, with 3, 289 unaffected controls. We identified a variant on chromosome 5 at 5q35 (rs60200309-A), close to the dedicator of cytokinesis 2 gene (DOCK2), which was associated with severe COVID-19 in patients less than 65 years of age. This risk allele was prevalent in East Asian individuals but rare in Europeans, highlighting the value of genome-wide association studies in non-European populations. RNA-sequencing analysis of 473 bulk peripheral blood samples identified decreased expression of DOCK2 associated with the risk allele in these younger patients. DOCK2 expression was suppressed in patients with severe cases of COVID-19. Single-cell RNA-sequencing analysis (n = 61 individuals) identified cell-type-specific downregulation of DOCK2 and a COVID-19-specific decreasing effect of the risk allele on DOCK2 expression in non-classical monocytes. Immunohistochemistry of lung specimens from patients with severe COVID-19 pneumonia showed suppressed DOCK2 expression. Moreover, inhibition of DOCK2 function with CPYPP increased the severity of pneumonia in a Syrian hamster model of SARS-CoV-2 infection, characterized by weight loss, lung oedema, enhanced viral loads, impaired macrophage recruitment and dysregulated type I interferon responses. We conclude that DOCK2 has an important role in the host immune response to SARS-CoV-2 infection and the development of severe COVID-19, and could be further explored as a potential biomarker and/or therapeutic target