Log-based Anomaly Detection of CPS Using a Statistical Method

Detecting anomalies of a cyber physical system (CPS), which is a complex system consisting of both physical and software parts, is important because a CPS often operates autonomously in an unpredictable environment. However, because of the ever-changing nature and lack of a precise model for a CPS, detecting anomalies is still a challenging task. To address this problem, we propose applying an outlier detection method to a CPS log. By using a log obtained from an actual aquarium management system, we evaluated the effectiveness of our proposed method by analyzing outliers that it detected. By investigating the outliers with the developer of the system, we confirmed that some outliers indicate actual faults in the system. For example, our method detected failures of mutual exclusion in the control system that were unknown to the developer. Our method also detected transient losses of functionalities and unexpected reboots. On the other hand, our method did not detect anomalies that were too many and similar. In addition, our method reported rare but unproblematic concurrent combinations of operations as anomalies. Thus, our approach is effective at finding anomalies, but there is still room for improvement

Fans and polytopes in tilting theory II: gg-fans of rank 2

The $g$-fan of a finite dimensional algebra is a fan in its real Grothendieck group defined by tilting theory. We give a classification of complete $g$-fans of rank 2. More explicitly, our first main result asserts that every complete sign-coherent fan of rank 2 is a $g$-fan of some finite dimensional algebra. Our proof is based on three fundamental results, Gluing Theorem, Rotation Theorem and Subdivision Theorem, which realize basic operations on fans in the level of finite dimensional algebras. For each of 16 convex sign-coherent fans $\Sigma$ of rank 2, our second main result gives a characterization of algebras $A$ of rank 2 satisfying $\Sigma(A)=\Sigma$. As a by-product of our method, we prove that for each positive integer $N$, there exists a finite dimensional algebra $A$ of rank 2 such that the Hasse quiver of the poset of 2-term silting complexes of $A$ has precisely $N$ connected components.Comment: 37 pages, v2: Fixed typos, updated references and added section

Fans and polytopes in tilting theory

For a finite dimensional algebra $A$ over a field $k$, the 2-term silting complexes of $A$ gives a simplicial complex $\Delta(A)$ called the $g$-simplicial complex. We give tilting theoretic interpretations of the $h$-vectors and Dehn-Sommerville equations of $\Delta(A)$. Using $g$-vectors of 2-term silting complexes, $\Delta(A)$ gives a nonsingular fan $\Sigma(A)$ in the real Grothendieck group $K_0(\mathrm{proj } A)_\mathbb{R}$ called the $g$-fan. For example, the fan of $g$-vectors of a cluster algebra is given by the $g$-fan of a Jacobian algebra of a non-degenerate quiver with potential. We give several properties of $\Sigma(A)$ including idempotent reductions, sign-coherence, Jasso reductions and a connection with Newton polytopes of $A$-modules. Moreover, $\Sigma(A)$ gives a (possibly infinite and non-convex) polytope $P(A)$ in $K_0(\mathrm{proj } A)_\mathbb{R}$ called the $g$-polytope of $A$. We call $A$ $g$-convex if $P(A)$ is convex. In this case, we show that it is a reflexive polytope, and that the dual polytope is given by the 2-term simple minded collections of $A$. We give an explicit classification of $g$-convex algebras of rank $2$. We classify algebras whose $g$-polytopes are smooth Fano. We classify classical and generalized preprojective algebras which are $g$-convex, and also describe their $g$-polytope as the dual polytopes of short root polytopes of type $A$ and $B$. We also classify Brauer graph algebras which are $g$-convex, and describe their $g$-polytopes as root polytopes of type $A$ and $C$.Comment: 70 page

Loss of miR-542-3p enhances IGFBP-1 expression in decidualizing human endometrial stromal cells

Endometrial decidualization represents an essential step for the successful implantation of the embryo; however, the molecular mechanism behind this differentiation process remains unclear. This study aimed to identify novel microRNAs (miRNAs) involved in the regulation of decidual gene expression in human endometrial stromal cells (HESCs). An in vitro analysis of primary undifferentiated and decidualizing HESCs was conducted. HESCs were isolated from hysterectomy specimens from normally cycling premenopausal women with uterine fibroids, who were not on hormonal treatment at the time of surgery. Primary HESCs were expanded in culture and decidualized with 8-bromo-cyclic adenosine monophosphate and medroxyprogesterone acetate. Microarray analysis identified six miRNAs differentially expressed in response to decidualization of HESCs. All but one miRNA were downregulated upon decidualization, including miR-542-3p. We demonstrated that miR-542-3p overexpression inhibits the induction of major decidual marker genes, including IGFBP1, WNT4 and PRL. In addition, miR-542-3p overexpression inhibited the morphological transformation of HESCs in response to deciduogenic cues. A luciferase reporter assay confirmed that the 3′-untranslated region of IGFBP1 mRNA is targeted by miR-542-3p. The results suggest that miR-542-3p plays an important role in endometrial decidualization by regulating the expression of major decidual marker genes

Comparison of recovery of mobility and self-efficacy after total knee arthroplasty based on two different protocols: A prospective cohort study

Objectives: The purpose of this study was to compare the recovery of mobility and self-efficacy following total knee arthroplasty (TKA) between the 5-day and the 28-day protocol. This prospective cohort study was carried out at two hospitals. Methods: In total, 104 patients who underwent TKA were enrolled. The primary outcomes measured were Life Space Assessment (LSA) for mobility and modified-Gait Efficacy Scale (mGES) for self-efficacy. Knee Society Score (KSS) was used to estimate the functional outcomes. These assessments were performed in all patients preoperatively, and at 1, 3, and 6 months postoperatively. After calculating the propensity score using covariates, such as patient characteristics, LSA, mGES, and KSS at baseline, propensity score-adjusted multivariate analysis of covariance (MANCOVA) was performed. Results: MANCOVA revealed significant differences in LSA and mGES, but not in KSS, between the two protocols. The adjusted means of LSA and mGES in the 28-day protocol were significantly greater than those in the 5-day protocol in all the postoperative assessments. Conclusion: Mobility and self-efficacy were greater following the 28-day protocol than the 5-day protocol after TKA. Our findings suggest that the modified treatment procedure for improving mobility and self-efficacy is necessary to introduce the early discharge protocol in Japan

Single-cell transcriptome atlas of Drosophila gastrula 2.0

ショウジョウバエ原腸胚における1細胞遺伝子発現アトラスを作成 --ゲノム情報による発生制御の解明に向けた基盤的リソース--. 京都大学プレスリリース. 2023-07-11.During development, positional information directs cells to specific fates, leading them to differentiate with their own transcriptomes and express specific behaviors and functions. However, the mechanisms underlying these processes in a genome-wide view remain ambiguous, partly because the single-cell transcriptomic data of early developing embryos containing accurate spatial and lineage information are still lacking. Here, we report a single-cell transcriptome atlas of Drosophila gastrulae, divided into 77 transcriptomically distinct clusters. We find that the expression profiles of plasma-membrane-related genes, but not those of transcription-factor genes, represent each germ layer, supporting the nonequivalent contribution of each transcription-factor mRNA level to effector gene expression profiles at the transcriptome level. We also reconstruct the spatial expression patterns of all genes at the single-cell stripe level as the smallest unit. This atlas is an important resource for the genome-wide understanding of the mechanisms by which genes cooperatively orchestrate Drosophila gastrulation

Increase of DC-LAMP+ mature dendritic cell subsets in dermatopathic lymphadenitis of mycosis fungoides

Background: Little is known about the immunological milieu of the skin-draining lymph nodes (LNs) in mycosis fungoides (MF). Objectives: We studied dendritic cell (DC) subsets in the dermatopathic lymphadenitis of MF patients. Methods: We immunohistochemically examined DC subsets and their distribution in 16 LN samples from 14 patients with MF (N1 LN, eight patients; N2, four; and N3, four), and we compared them with non-metastatic sentinel LNs from eight patients with melanoma. Results: The number of S-100 protein+ DCs was markedly increased in the LNs from the MF patients and the major component was DC-LAMP+ mature DCs in the outer and paracortex areas, where DC-SIGN+ immature DCs were relatively decreased in proportion. In contrast, DC-SIGN+ cells were relatively increased in proportion compared to DC-LAMP+ cells in the medulla. Although no significant difference was observed in the proportions of CD1a+ or Langerin+ DCs among the N1, N2, and N3 nodes, CD163+ M2-type macrophages were increased in number in the N2 and N3 nodes. Conclusions: Our observations indicate that mature DCs accumulate in the outer and paracortex areas in dermatopathic lymphadenitis and M2-type macrophages might increase in number during disease progression