IEEE

Reliability Analysis of a Computer-Based Interlocking System with a Double 2-out-of-2 Redundancy Structure using Algebraic Binary Decision Diagrams

Abstract: The computer-based interlocking (CBI) system of urban rail is a safe-critical system. To keep the high reliability of the CBI system of urban rail, reliability analysis is very necessary and ...
IEEE

Natural Language Processing based Automatic Making of Use Case Diagram

Abstract: In the field of software engineering, the creation of use case diagrams is crucial for effectively capturing system requirements. The current traditional development approach utilizes ...
Frontiers

Exploring molecular characteristics and interactions of blood stasis syndrome in ischemic heart failure by integrated multi-omics

Background: Ischemic heart failure (IHF) is one of the leading causes of death worldwide. In traditional Chinese medicine, blood stasis syndrome (BSS) is regarded as a core pathological feature of IHF ...
ZME Science

Astronomers Uncover the Most Powerful “Odd Radio Circle” Ever Seen — And It Looks Like a Galactic Venn Diagram

A still image from the animation of RAD J131346.9+500320. Credit: RAD@home Astronomy Collaboratory (India). When astronomers first started finding “odd radio circles,” or ORCs, they were baffled.