Ultrafine and Microinvasive Temperature Probe for Real‐Time Monitoring Core Body Temperature

Autor: Meng Jia, Jinxiu Wen, Peisheng Lan, Bo Liu, Shichang Li, Tingliang Zhou, Zi Li, Jianyi Luo, Rihui Wu

Publikováno v: Advanced Sensor Research, Vol 3, Iss 5, Pp n/a-n/a (2024)

Abstract Anesthetics can affect temperature regulation when administered to an anesthetized individual, which can be tracked by measuring the core body temperature. This is useful in assessing the depth and consistency of the anesthesia, as well as i

Externí odkaz: https://doaj.org/article/acc6ab4b68c246daa5d1acba1424542c

A Survey on Spatiotemporal Data Processing Techniques in Smart Urban Rail

Autor: Li Jian, Huanran Zheng, Bofeng Chen, Tingliang Zhou, Hui Chen, Yanjun Li

Publikováno v: Database Systems for Advanced Applications. DASFAA 2022 International Workshops ISBN: 9783031112164

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::454a7a290c62f693f34250b4f53bc3f4
https://doi.org/10.1007/978-3-031-11217-1_17

Automating Consistency Verification of Safety Requirements for Railway Interlocking Systems

Autor: Tingliang Zhou, Zhi Jin, Xiaohong Chen, Chen Xiang, Min Zhang, Tong Li, Zhiwei Zhong

Publikováno v: RE

Consistency verification of safety requirements is an important but still challenging task for safety-critical systems such as rail transit systems. That is mainly because requirements are typically written in natural language and with strong time co

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::80d09a4da121b1102d80bb9694fe8374
https://doi.org/10.1109/re.2019.00040

Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking

Autor: Frédéric Mallet, Tingliang Zhou, Yongxiang Bao, Tongquan Wei, Mingsong Chen, Qi Zhu

Publikováno v: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2017, 36 (12), pp.1989-2002. ⟨10.1109/TCAD.2017.2681076⟩
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, IEEE, 2017, 36 (12), pp.1989-2002. ⟨10.1109/TCAD.2017.2681076⟩
Bao, Yongxiang; Chen, Mingsong; Zhu, Qi; Wei, Tongquan; Mallet, Frederic; & Zhou, Tingliang. (2017). Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 36(12), 1989-2002. doi: 10.1109/TCAD.2017.2681076. UC Riverside: Center for Environmental Research and Technology. Retrieved from: http://www.escholarship.org/uc/item/969383pp

International audience; — Architecture Analysis and Design Language (AADL) is widely used for the architecture design and analysis of safety-critical real-time systems. Based on the Hybrid annex which supports continuous behavior modeling, Hybrid A

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dab101ad7419b4a15c9723f174f94c51
https://inria.hal.science/hal-01644285/document

Applying SOFL to a Railway Interlocking System in Industry

Autor: Juan Luo, Wang Yanqin, Tingliang Zhou, Shaoying Liu

Publikováno v: Structured Object-Oriented Formal Language and Method ISBN: 9783319577074
SOFL+MSVL

This paper describes another application of the SOFL three-step specification approach in specifying a railway interlocking system in industrial setting. We also explore the way of deriving hazard conditions from formal specifications, and propose a

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::169a9ceb3ba9c32aefb88634cbff8dbc
https://doi.org/10.1007/978-3-319-57708-1_10