Results 41 to 50 of about 1,435,170 (249)
Analysis of hybrid systems using HySAT [PDF]
, 2008 In this paper we describe the complete workflow of analyzing the dynamic behavior of safety-critical embedded systems with HySAT. HySAT is an arithmetic constraint solver with a tightly integrated bounded model checker for hybrid discrete-continuous ...
Andreas Eggers +3 more
core +1 more source
Control Algorithm of Train Autonomous Control System in Turnout Safety Zones
Chengshi guidao jiaotong yanjiu[Objective] Unlike the existing CBTC (communication-based train control) system control mechanism, the ATC (autonomous train control) system achieves autonomous train operation by directly controlling wayside resources.
Yanfeng WANG, Zehui XIE
doaj +1 more source
Research on Fully Automatic Operation Technology in Case of ATO Equipment Failure
Kongzhi Yu Xinxi Jishu, 2021 At present, in a fully automatic operation (FAO) system of urban rail transit, train operation is highly dependent on the automatic train operation (ATO) system as there is no driver in the train.
YIN Yihui, LEI Chengjian, LIU Ze
doaj
Phosphatidylinositol 4‐kinase as a target of pathogens—friend or foe?
FEBS Letters, EarlyView.This graphical summary illustrates the roles of phosphatidylinositol 4‐kinases (PI4Ks). PI4Ks regulate key cellular processes and can be hijacked by pathogens, such as viruses, bacteria and parasites, to support their intracellular replication. Their dual role as essential host enzymes and pathogen cofactors makes them promising drug targets.
Ana C. Mendes +3 more
wiley +1 more source
, 2017 The purpose of this project is to provide the VCU Engineering Students with a training system to simulate the use of Industrial Automation systems. Students need a wide variety of training systems to adequately train and improve their knowledge of all ...
Adu-Mensah, David +3 more
core +1 more source
Design and Test of a High QoS Radio Network for CBTC Systems in Subway Tunnels [PDF]
, 2011 Communications Based Train Control Systems require high quality radio data communications for train signaling and control. Actually most of these systems use 2.4GHz band with proprietary radio transceivers and leaky feeder as distribution system.
Briso Rodriguez, Cesar +3 more
core +1 more source
机车电传动, 2012 In the light of the operation demand of the intercity passenger dedicated line, scheme was proposed to increase an ATO function based on the existing CTCS-2 level train control system.
WU Jin-shui, TANG Guo-ping
doaj
Crosstalk between the ribosome quality control‐associated E3 ubiquitin ligases LTN1 and RNF10
FEBS Letters, EarlyView.Loss of the E3 ligase LTN1, the ubiquitin‐like modifier UFM1, or the deubiquitinating enzyme UFSP2 disrupts endoplasmic reticulum–ribosome quality control (ER‐RQC), a pathway that removes stalled ribosomes and faulty proteins. This disruption may trigger a compensatory response to ER‐RQC defects, including increased expression of the E3 ligase RNF10 ...
Yuxi Huang +8 more
wiley +1 more source
Fibre optic track vibration monitoring system [PDF]
, 2016 Track monitoring systems are a fundamental part of railroad safety. With the electrification and development of train traction control electronics, levels of electromagnetic interference (EMI) close to railroad monitoring systems are reaching critical ...
Cubik, Jakub +6 more
core +1 more source
Medium-low Speed Maglev Train Control and Network System
机车电传动, 2012 Design and configuration of network control system for medium-low speed maglev train were presented. Network control system was described from system bus, topology, and functions, etc.
SU Ai-jun +4 more
doaj