检索结果-内蒙古大学图书馆

5th IET International Conference on Wireless, Mobile and Multimedia Networks, ICWMMN 2013

作者： Wang, Xi Tang, Tao Liu, Shuo National Engineering Research Center of Rail Transportation Operation and Control System Beijing Jiao Tong University Beijing China State Key Laboratory of Rail Traffic Control and Safety Beijing Jiao Tong University Beijing China

ISBN: (纸本)9781849197267

In CBTC (Communications Based Train control) system, interlocking is considered to be one of the most fundamental system which features in logic complexity and high safety demand. Traditionally, the development and verification of interlocking system is entirely a manual process which relies too much on designers' experience and some corner-case bugs may not be revealed. In order to solve these problems, our emphasis is paid on formal modeling and model-based verification. This paper introduces an innovative modeling approach to construct system model, express main safety properties, and execute formally verification using SCADE. This method is proven to be helpful for improving the quality and efficiency of interlocking software in practice.

关键词： Program debugging

来源：评论

学校读者我要写书评

暂无评论

ESICM LIVES 2016: part one Milan, Italy. 1-5 October 2016 Abstracts

引用

INTENSIVE CARE MEDICINE EXPERIMENTAL 2016年第SUPPL 1期4卷 1-1页

作者： [Anonymous] Academic Medical Center University of Amsterdam Amsterdam Netherlands UMCU Utrecht Netherlands Autonomous University of Barcelona Barcelona Spain Hospital São Francisco Xavier Lisbon Portugal CHU Henri Mondor Medical ICU Créteil France Université de Paris Est-Créteil Groupe de Recherche Clinique CARMAS Créteil France Hôpital Tenon APHP Medical and Surgical ICU Paris France Université Paris Diderot Sorbonne Paris Cité UMR 1153 Paris France Interdepartmental Division of Critical Care University of Toronto Toronto Canada University Health Network University of Toronto Critical Care Medicine Toronto Canada University of Milan - Bicocca Health Sciences School of Medicine and Surgery Monza Italy St Michael’s Hospital University of Toronto Anesthesia Toronto Canada CHU d’Angers Medical ICU Angers France Interdepartmental Division of Critical Care University of Toronto Saint Michael’s Hospital and Keenan Research Centre Toronto Canada University of Birmingham Institute for Inflammation and Ageing Birmingham UK University of Sheffield Mathematics and Statistics Help Centre Sheffield UK Heart of England NHS Foundation Trust Intensive Care Medicine Birmingham UK Department of Surgery University Hospitals Birmingham NHS Trust Birmingham UK University Hospitals Birmingham NHS Trust Anaesthesia and Critical Care Medicine Birmingham UK Queen’s University of Belfast Wellcome-Wolfson Institute for Experimental Medicine Belfast UK Royal Victoria Hospital Intensive Care Medicine Belfast UK University of Warwick Warwick Clinical Trials Unit Coventry UK University of Bari ‘Aldo Moro’ Bari Italy Hospital Israelita Albert Einstein São Paulo Brazil Mayo Clinic Jacksonville USA Mahidol University Faculty of Tropical Medicine Bangkok Thailand University Medical Center Utrecht Intensive Care Utrecht Netherlands University Medical Center Utrecht Julius Center for Health Sciences and Primary Care Utrecht Netherlands Academic Medical Center University of Amste

来源：评论

学校读者我要写书评

暂无评论

Human genome meeting 2016 : Houston, TX, USA. 28 February - 2 March 2016

引用

Human genomics 2016年第1期10 Suppl 1卷 12页

作者： A. K. Srivastava Y. Wang R. Huang C. Skinner T. Thompson L. Pollard T. Wood F. Luo R. Stevenson R. Polimanti J. Gelernter X. Lin I. Y. Lim Y. Wu A. L. Teh L. Chen I. M. Aris S. E. Soh M. T. Tint J. L. MacIsaac F. Yap K. Kwek S. M. Saw M. S. Kobor M. J. Meaney K. M. Godfrey Y. S. Chong J. D. Holbrook Y. S. Lee P. D. Gluckman N. Karnani A. Kapoor D. Lee A. Chakravarti C. Maercker F. Graf M. Boutros G. Stamoulis F. Santoni P. Makrythanasis A. Letourneau M. Guipponi N. Panousis M. Garieri P. Ribaux E. Falconnet C. Borel S. E. Antonarakis S. Kumar J. Curran J. Blangero S. Chatterjee J. Akiyama D. Auer C. Berrios L. Pennacchio T. R. Donti G. Cappuccio M. Miller P. Atwal A. Kennedy A. Cardon C. Bacino L. Emrick J. Hertecant F. Baumer B. Porter M. Bainbridge P. Bonnen B. Graham R. Sutton Q. Sun S. Elsea Z. Hu P. Wang Y. Zhu J. Zhao M. Xiong David A. Bennett A. Hidalgo-Miranda S. Romero-Cordoba S. Rodriguez-Cuevas R. Rebollar-Vega E. Tagliabue M. Iorio E. D’Ippolito S. Baroni B. Kaczkowski Y. Tanaka H. Kawaji A. Sandelin R. Andersson M. Itoh T. Lassmann Y. Hayashizaki P. Carninci A. R. R. Forrest C. A. Semple E. A. Rosenthal B. Shirts L. Amendola C. Gallego M. Horike-Pyne A. Burt P. Robertson P. Beyers C. Nefcy D. Veenstra F. Hisama R. Bennett M. Dorschner D. Nickerson J. Smith K. Patterson D. Crosslin R. Nassir N. Zubair T. Harrison U. Peters G. Jarvik F. Menghi K. Inaki X. Woo P. Kumar K. Grzeda A. Malhotra H. Kim D. Ucar P. Shreckengast K. Karuturi J. Keck J. Chuang E. T. Liu B. Ji A. Tyler G. Ananda G. Carter H. Nikbakht M. Montagne M. Zeinieh A. Harutyunyan M. Mcconechy N. Jabado P. Lavigne J. Majewski J. B. Goldstein M. Overman G. Varadhachary R. Shroff R. Wolff M. Javle A. Futreal D. Fogelman L. Bravo W. Fajardo H. Gomez C. Castaneda C. Rolfo J. A. Pinto K. C. Akdemir L. Chin S. Patterson C. Statz S. Mockus S. N. Nikolaev X. I. Bonilla L. Parmentier B. King F. Bezrukov G. Kaya V. Zoete V. Seplyarskiy H. Sharpe T. McKee K. Popadin N. Basset-Seguin R. Ben Chaabene M. Andrianova C. Verdan K. Grosdemange O. Sumara M. E JCSRI Greenwood Genetic Center Greenwood USA School of Computing Clemson University Clemson USA Biochemical Genetics Laboratory Greenwood Genetic Center Greenwood USA Department Psychiatry Yale Sch Med and VA CT Healthcare Center West Haven USA Department Genetics Yale Sch Med and VA CT Healthcare Center West Haven USA Department Neurobiology Yale Sch Med and VA CT Healthcare Center West Haven USA Singapore Institute for Clinical Sciences Singapore Singapore National University of Singapore Singapore Singapore University of British Columbia Vancouver Canada KK Women’s and Children’s Hospital Singapore Singapore University of Southampton and University Hospital Southampton NHS Foundation Trust Southampton UK University of Auckland Auckland New Zealand McKusick-Nathans Institute of Genetic Medicine Johns Hopkins University School of Medicine Baltimore USA Esslingen University of Applied Sciences Esslingen Germany German Cancer Research Center Heidelberg Germany Department of Genetic Medicine and Development University of Geneva Medical School Geneva Switzerland Geneva University Hospitals-HUG Service of Genetic Medicine Geneva Switzerland GE3 Institute of Genetics and Genomics of Geneva University of Geneva Medical School Geneva Switzerland South Texas Diabetes and Obesity Institute School of Medicine University of Texas Rio-Grande Valley Edinburg USA South Texas Diabetes and Obesity Institute School of Medicine University of Texas Rio-Grande Valley Brownsville USA Institute of Genetic Medicine Johns Hopkins University Baltimore USA Genomics Division Lawrence Berkeley National Laboratory Berkeley USA Molecular and Human Genetics Baylor College of Medicine Houston USA Department of Translational Medical Sciences Federico II University Naples Italy Metabolon Inc Durham USA Section of Pediatric Neurology and Neuroscience Baylor College of Medicine Houston USA Tawam Hospital Abu Dhabi United Arab Emirates Stanford Medical School Stanford USA Sch

O1 The metabolomics approach to autism: identification of biomarkers for early detection of autism spectrum disorder A. K. Srivastava, Y. Wang, R. Huang, C. Skinner, T. Thompson, L. Pollard, T. Wood, F. Luo, R. Stevenson O2 Phenome-wide association study for smoking- and drinking-associated genes in 26,394 American women with African, Asian, European, and Hispanic descents R. Polimanti, J. Gelernter O3 Effects of prenatal environment, genotype and DNA methylation on birth weight and subsequent postnatal outcomes: findings from GUSTO, an Asian birth cohort X. Lin, I. Y. Lim, Y. Wu, A. L. Teh, L. Chen, I. M. Aris, S. E. Soh, M. T. Tint, J. L. MacIsaac, F. Yap, K. Kwek, S. M. Saw, M. S. Kobor, M. J. Meaney, K. M. Godfrey, Y. S. Chong, J. D. Holbrook, Y. S. Lee, P. D. Gluckman, N. Karnani, GUSTO study group O4 High-throughput identification of specific qt interval modulating enhancers at the SCN5A locus A. Kapoor, D. Lee, A. Chakravarti O5 Identification of extracellular matrix components inducing cancer cell migration in the supernatant of cultivated mesenchymal stem cells C. Maercker, F. Graf, M. Boutros O6 Single cell allele specific expression (ASE) IN T21 and common trisomies: a novel approach to understand DOWN syndrome and other aneuploidies G. Stamoulis, F. Santoni, P. Makrythanasis, A. Letourneau, M. Guipponi, N. Panousis, M. Garieri, P. Ribaux, E. Falconnet, C. Borel, S. E. Antonarakis O7 Role of microRNA in LCL to IPSC reprogramming S. Kumar, J. Curran, J. Blangero O8 Multiple enhancer variants disrupt gene regulatory network in Hirschsprung disease S. Chatterjee, A. Kapoor, J. Akiyama, D. Auer, C. Berrios, L. Pennacchio, A. Chakravarti O9 Metabolomic profiling for the diagnosis of neurometabolic disorders T. R. Donti, G. Cappuccio, M. Miller, P. Atwal, A. Kennedy, A. Cardon, C. Bacino, L. Emrick, J. Hertecant, F. Baumer, B. Porter, M. Bainbridge, P. Bonnen, B. Graham, R. Sutton, Q. Sun, S. Elsea O10 A novel causal methylation network approach to Alzheimer’s

关键词： Pulmonary Arterial Hypertension Oral Squamous Cell Carcinoma Deep Neural Network Autosomal Recessive Polycystic Kidney Disease Whole Genome Bisulfite Sequencing

来源：评论

学校读者我要写书评

暂无评论

Scenario-based Testing for Onboard Subsystem

Scenario-based Testing for Onboard Subsystem

引用

2013 International Conference on Computer,Networks and Communication engineering(ICCNCE 2013)

作者： Weihui Zhao Chenling Li Jidong Lv Lei Yuan State Key Laboratory of Rail Traffic Control and Safety Beijing Jiaotong University National Engineering Research Center of Rail Transportation Operation And Control System Beijing Jiaotong University

ISBN: (纸本)9781629932170

As a typical safety-critical system, the Onboard subsystem is a core subsystem in CTCS-3(Chinese Train control system level 3), functional test is necessary to validate the conformance relation between the Onboard subsystem and its specification. Most of test cases are manually generated and can t be reused and leads to repeated works when the specification is changed. We introduced scenario-based method to improve the efficiency and quality of onboard equipment testing. The scenariobased hierarchy model of onboard subsystem was established according to the specification, and all definition coverage criteria were proposed with the all definition coverage observer. Then, an automatic tool chain was used to establish the onboard automata model and generate test cases for every scenario. Finally, a selection algorithm was given to choose a complete test sequence from the test cases, which was proven comprehensive to cover all running modes and efficient for onboard equipment testing.

关键词： scenario, test case, onboard subsystem, mode transition

来源：评论

学校读者我要写书评

暂无评论

Fault Model-Based Safety Test Method and Application for CTCS-3 Train control system

Fault Model-Based Safety Test Method and Application for CTC...

引用

2013 International Conference on Computer,Networks and Communication engineering(ICCNCE 2013)

作者： Yu Liu Tao Tang Kaicheng Li Chenling Li National Engineering Research Center Of Rail Transportation Operation And Control System Beijing Jiaotong University State Key Laboratory of Rail Traffic Control and Safety Beijing Jiaotong University

ISBN: (纸本)9781629932170

As a safety critical system, train control system matters in passengers life and properties. It is important that how to guarantee the safety of train control system. Safety testing is an effective method to detect the safety holes and bugs in the system. However, most safety testing for train control system is manually executed based on expertise, which leads to a huge testing workload. Besides, manual generation will easily cause the problem of missing test cases. In this paper, a model-based safety test method is introduced, hoping to solve this problem. We select a core function of onboard system in Chinese Train control system level 3 (CTCS-3) as representative to study the method. This function was analyzed by Fault Tree Analysis (FTA) firstly, and a set of timed automata network model of this function is built using the tools of UPPAAL, the bottom events are used to turn to fault models, injected into the whole system model. Then COVER, the real-time test case generation tool, is used to generate the safety test cases from the system model (included fault models) automatically, and states transition criteria is customized based on preferences to achieve userdefined test, the test accuracy and efficiency is improved..

关键词： Safety Test, CTCS-3, Fault model-based.

来源：评论

学校读者我要写书评

暂无评论

Model-based generation of safety test-cases for Onboard systems

Model-based generation of safety test-cases for Onboard syst...

引用

IEEE International Conference on Intelligent Rail Transportation (ICIRT)

作者： Chenling Li KaiCheng Li Tao Tang JiDong Lv Ling Huang State Key Laboratory of Rail Traffic Control and Safety Beijing Jiaotong University China National Engineering Research Center Of Rail Transportation Operation And Control System Beijing Jiaotong University China Ministry of Science and Technology of High Technology Research and Development Center Beijing China

As a core subsystem in CTCS-3, the Onboard subsystem is a typical safety-critical system, in which any fault can lead to huge human injury or wealth losing. It is important to guarantee the safety of train control system. Safety testing is an effective method to detect the safety holes and bugs in the system. However, because of the special characters of train control system like diversification, structural complexity and multiplicity of interfaces, most safety testing for train control system are manually executed based on specialistic experience, which leads to a huge testing workload. Besides, manual generation will easily cause the problem of missing test cases. In this paper, a model-based safety test method is introduced. We select a core function of onboard system as the representative to study the method. This function was analyzed by Fault Tree Analysis (FTA) to get the bottom events, which are used to turn to fault models being injected into the whole system model, affected system safety, and a set of timed automata network model of the core function is built using the tools of UPPAAL. Then COVER, the real-time test case generation tool, is used to generate the safety test cases from the system model (included fault models) automatically, and states transition criteria is customized based on preferences to achieve user-defined test, the test accuracy and efficiency is improved.

关键词： Safety Automata Testing control systems Fault trees Railway accidents Analytical models

来源：评论

学校读者我要写书评

暂无评论

Study on modeling and verification of CBTC interlocking system

Study on modeling and verification of CBTC interlocking syst...

引用

5th IET International Conference on Wireless, Mobile and Multimedia Networks (ICWMMN 2013)

作者： Xi Wang Tao Tang Shuo Liu National Engineering Research Center of Rail Transportation Operation and Control System Beijing Jiao Tong University Beijing China State Key Laboratory of Rail Traffic Control and Safety Beijing Jiao Tong University Beijing China

关键词：

来源：评论

学校读者我要写书评

暂无评论

Injecting mold protection method based on machine vision

引用

2012 International Conference on Mechatronic systems and Materials Application, ICMSMA 2012

作者： Wang, Pingjiang Xu, Changjie Chen, Jihong Tang, Xiaoqi National Numerical Control System Engineering Research Center Huazhong University of Science and Technology Wuhan Hubei 430074 China

ISBN: (纸本)9783037855294

Aimed at solving the problem of mold damage caused by a foreign body in the mold before mold clamping, this paper proposes a solution, which applies image processing technology such as background updating and the difference image algorithm to solve it. Not only can it judge whether there is a foreign body in the mold but it can also detect whether the product is perfect by comparing the foreground image with the background image at the appropriate time (before mold clamping or after mold opening) and by calculating the qualified rate of pixel in all ROIs (Region of Interest). To eliminate the influence of vibration and of changes in brightness in the surrounding environment on the detecting results, this paper utilizes near infrared illumination technology and the background updating algorithm. In addition, the ROI is set to improve the detecting speed and accuracy. © (2012) Trans Tech Publications, Switzerland.

关键词： Computer vision

来源：评论

学校读者我要写书评

暂无评论

A new vari-speed cutting scheme for chatter suppression

A new vari-speed cutting scheme for chatter suppression

引用

14th International Manufacturing Conference in China, IMCC2011

作者： Mao, K.M. Zhu, M. Zhang, M. School of Mechanical Science and Engineering Huazhong University of Science and Technology Wuhan 430074 China National Engineering Research Center for Numerical Control System Huazhong University of Science and Technology Wuhan 430074 China

ISBN: (纸本)9783037852378

From the view of implementation and machine protection, this paper presents a novel scheme of programming spindle-speed variation for regenerative chatter suppression. It is based on the research of the necessary conditions of chatter, from a new perspective. Through standard test method, research are carried on the influence of the interval time and the speed variation amplitude on vibration suppression effectiveness. In this work, cutting process keeps relatively more stable without motor continuous overload, which is verified by theoretical analysis and experiments. © (2012) Trans Tech Publications, Switzerland.

关键词： Testing

来源：评论

学校读者我要写书评

暂无评论

A Fail-Safe Infrastructure Designed for COTS Component Used in Safety Critical system

A Fail-Safe Infrastructure Designed for COTS Component Used ...

引用

2012 IEEE 11th International Conference on Signal Processing(ICSP 2012)

作者： Xi Wang Tao Tang Lianchuan Ma National Engineering Research Center of Rail Transportation Operation and Control System Beijing Jiaotong University State Key Laboratory of Rail Traffic Control and Safety Beijing Jiaotong University

ISBN: (纸本)9781467321969

To deal with the ever-growing system complexity and project costs associated with the development of safety critical systems, the adoption of Commercial Off The Shelf (COTS) components is becoming more and more attractive to system designers and developers. However, in most cases such COTS components are not designed with stringent timing and/or safety requirements as priorities. As a result, safety may be impaired when integrating these COTS products into safety critical *** paper presents a fail-safe infrastructure which extends proven safety techniques to COTS-Based systems (CBS). By treating COTS components as "black boxes", the system can implement "Recovery" or "Shut Down" procedure to the COTS component which is subject to transient or some permanent faults. In this works, the architecture of the fail-safe system is introduced and how the system behaves under such fault circumstances is described.

关键词： COTS Fail-Safe Safety Critical system Recovery Shut Down.

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：