3 research outputs found
Recommended from our members
Simplifying the Formal Verification of Safety Requirements in Zone Controllers through Problem Frames and Constraints based Projection
Formal methods have been applied widely to verifying the safety requirements of Communication-Based Train Control (CBTC) systems, while the problem situations could be much simplified. In industrial practices of CBTC systems, however, huge complexity arises, which renders those methods nearly impossible to apply. In this paper, we aim to reduce the state space of formal verification problems in Zone Controller, a sub-system of a typical CBTC. We achieve the simplification goal by reducing the total number of device variables. To do this, two projection methods are proposed based on Problem Frames and constraints, respectively. The Problem Frames based method decomposes the system according to sub-properties through functional decomposition, whilst the constraints based projection method removes redundant variables. Our industrial case study demonstrates the feasibility though an evaluation, confirming that these two methods are effective in reducing the state spaces of complex verification problems in this application domain
Integrative analysis identifies cancer cell-intrinsic RARRES1 as a predictor of prognosis and immune response in triple-negative breast cancer
Triple-negative breast cancer (TNBC) is a subtype of breast cancer with poor prognosis and limited treatment options. Although immune checkpoint inhibitors (ICIs) have been proven to improve outcomes in TNBC patients, the potential mechanisms and markers that determine the therapeutic response to ICIs remains uncertain. Revealing the relationship and interaction between cancer cells and tumor microenvironment (TME) could be helpful in predicting treatment efficacy and developing novel therapeutic agents. By analyzing single-cell RNA sequencing dataset, we comprehensively profiled cell types and subpopulations as well as identified their signatures in the TME of TNBC. We also proposed a method for quantitatively assessment of the TME immune profile and provided a framework for identifying cancer cell-intrinsic features associated with TME through integrated analysis. Using integrative analyses, RARRES1 was identified as a TME-associated gene, whose expression was positively correlated with prognosis and response to ICIs in TNBC. In conclusion, this study characterized the heterogeneity of cellular components in TME of TNBC patients, and brought new insights into the relationship between cancer cells and TME. In addition, RARRES1 was identified as a potential predictor of prognosis and response to ICIs in TNBC