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

2014 Asia-Pacific Materials Science and Information Technology Conference(APMSIT 2014)

作者： Lili Feng Xiao Han Jinge Li Pengyi Zhang Yi Ren Key Laboratory of Urban Stormwater System and Water Environment (Ministry of Education) Beijing Climate Change Response Research and Education Center Beijing University of Civil Engineering and Architecture State Key Joint Laboratory of Environment Simulation and Pollution Control School of EnvironmentTsinghua University

The adsorption performance of commercial activated carbon（AC） for formaldehyde at room temperature was investigated. The BET surface area of AC is 805 m2/g, and the average pore diameter of AC was found to be 2.9 nm by the nitrogen adsorption method. The result of the adsorption capacity of AC showed that the removal ratio of formaldehyde was obviously increased with adsorption time in the first 5 hours and then was almost unchanged. The highest removal ratio of formaldehyde by AC is 2%. The cycle test of the formaldehyde removal by AC indicated that the highest removal ratio of formaldehyde declined slightly with cycles and kept unchanged after 4 cycles. The lowest removal ratio of formaldehyde by commercial AC at room temperature still reached 80%.

关键词： Activated carbon Formaldehyde removal Room temperature

来源：评论

学校读者我要写书评

暂无评论

The Effect of KMnO4 Concentration on the Catalytic Activity of MnOx/Luffa Sponge Composites

The Effect of KMnO4 Concentration on the Catalytic Activity ...

引用

2014 Asia-Pacific Materials Science and Information Technology Conference(APMSIT 2014)

作者： Xiao Han Lili Feng Jinge Li Pengyi Zhang Hao Li Beijing Climate Change Response Research and Education Center Key Laboratory of Urban Stormwater System and Water Environment (Ministry of Education) Beijing University of Civil Engineering and Architecture State Key Joint Laboratory of Environment Simulation and Pollution Control School of EnvironmentTsinghua University

MnOx/ luffa sponge composites were prepared by loading MnOx on/in porous luffa sponge under ambient conditions and an in-situ reduction method. We employed the oxidative decomposition of HCHO as probe reaction to investigate the effect of KMnO4 concentration on the catalytic activity of MnOx/ luffa sponge composites. It is shown that all the MnOx/ luffa sponge composites bear the activity for the catalytic decomposition of HCHO;the conversion of HCHO was found to be high at room temperature;the conversion level of HCHO was first increased and then decreased with the increase in the KMnO4 concentration. The HCHO conversion over the catalyst prepared from 10 g/L of KMnO4 solution was the largest among five catalysts.

关键词： Potassium permanganate(KMnO4) Manganese oxides Luffa sponge Formaldehyde Catalytic decomposition

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the 8th Annual Conference on the Science of Dissemination and Implementation : Washington, DC, USA. 14-15 December 2015

引用

Implementation science : IS 2016年第2期11 Suppl 2卷 100页

作者： Chambers, David Simpson, Lisa Hill-Briggs, Felicia Neta, Gila Vinson, Cynthia Beidas, Rinad Marcus, Steven Aarons, Gregory Hoagwood, Kimberly Schoenwald, Sonja Evans, Arthur Hurford, Matthew Rubin, Ronnie Hadley, Trevor Barg, Frances Walsh, Lucia Adams, Danielle Mandell, David Martin, Lindsey Mignogna, Joseph Mott, Juliette Hundt, Natalie Kauth, Michael Kunik, Mark Naik, Aanand Cully, Jeffrey McGuire, Alan White, Dominique Bartholomew, Tom McGrew, John Luther, Lauren Rollins, Angie Salyers, Michelle Cooper, Brittany Funaiole, Angie Richards, Julie Lee, Amy Lapham, Gwen Caldeiro, Ryan Lozano, Paula Gildred, Tory Achtmeyer, Carol Ludman, Evette Addis, Megan Marx, Larry Bradley, Katharine VanDeinse, Tonya Wilson, Amy Blank Stacey, Burgin Powell, Byron Bunger, Alicia Cuddeback, Gary Barnett, Miya Stadnick, Nicole Brookman-Frazee, Lauren Lau, Anna Dorsey, Shannon Pullmann, Michael Mitchell, Shannon Schwartz, Robert Kirk, Arethusa Dusek, Kristi Oros, Marla Hosler, Colleen Gryczynski, Jan Barbosa, Carolina Dunlap, Laura Lounsbury, David O’Grady, Kevin Brown, Barry Damschroder, Laura Waltz, Thomas Ritchie, Mona Atkins, David Imel, Zac E. Xiao, Bo Can, Doğan Georgiou, Panayiotis Narayanan, Shrikanth Berkel, Cady Gallo, Carlos Sandler, Irwin Brown, C. Hendricks Wolchik, Sharlene Mauricio, Anne Marie Mehrotra, Sanjay Chandurkar, Dharmendra Bora, Siddhartha Das, Arup Tripathi, Anand Saggurti, Niranjan Raj, Anita Hughes, Eric Jacobs, Brian Kirkendall, Eric Loeb, Danielle Trinkley, Katy Yang, Michael Sprowell, Andrew Nease, Donald Lyon, Aaron Lewis, Cara Boyd, Meredith Melvin, Abigail Nicodimos, Semret Liu, Freda Jungbluth, Nathanial Flynn, Allen Landis-Lewis, Zach Sales, Anne Baloh, Jure Ward, Marcia Zhu, Xi Bennett, Ian Unutzer, Jurgen Mao, Johnny Proctor, Enola Vredevoogd, Mindy Chan, Ya-Fen Williams, Nathaniel Green, Phillip Bernstein, Steven Rosner, June-Marie DeWitt, Michelle Tetrault, Jeanette Dziura, James Hsiao, Allen Sussman, Scott O’Connor, Patrick Toll, Benjamin Jones, Michael Gassaway, Julie Tobin, Jonathan Zatzic Division of Cancer Control and Population Sciences National Cancer Institute National Institutes of Health Rockville USA AcademyHealth Washington USA Department of Medicine and Welch Center for Prevention Epidemiology and Clinical Research Johns Hopkins Medical Institutions Baltimore USA Psychiatry University of Pennsylvania Philadelphia USA Family Medicine and Community Health University of Pennsylvania Philadelphia USA School of Social Policy and Practice University of Pennsylvania Philadelphia USA Psychiatry UC San Diego La Jolla USA Child & Adolescent Psychiatry The Child Study Center at NYU Langone Medical Center New York NY New York USA Psychiatry and Behavioral Sciences MUSC Charleston USA DBHIDS City of Philadelphia Philadelphia USA CBH City of Philadelphia Philadelphia USA Psychiatry University of Pennsylvania Perelman School of Medicine Philadelphia USA Health Services Research & Development Department of Veterans Affairs & Baylor College of Medicine Houston USA Treatment Core Department of Veterans Affairs Waco USA National Center for PTSD Executive Division Department of Veterans Affairs White River Junction USA HSR&D HSR&D Center for Health Information and Communication Roudebush VA Medical Center Indianapolis USA Psychology Indiana University Purdue University Indianapolis Indianapolis USA Department of Psychiatric Rehabilitation and Counseling Rutgers University Newark USA Health Services Research & Development Richard L. Roudebush VAMC Indianapolis USA IUPUI Department of Psychology ACT Center of Indiana Indianapolis USA Human Development Washington State University Pullman USA Prevention Science Washington State University Pullman USA Group Health Research Institute Group Health Seattle USA Behavioral Health Services Group Health Seattle USA Preventive Care Group Health Seattle USA Health Services Research & Development Primary and Specialty Medical Care Service VA Puget Sound Seattle USA School of Social Work Un

A1 Introduction to the 8th Annual Conference on the Science of Dissemination and Implementation: Optimizing Personal and Population Health David Chambers, Lisa Simpson D1 Discussion forum: Population health D&I research Felicia Hill-Briggs D2 Discussion forum: Global health D&I research Gila Neta, Cynthia Vinson D3 Discussion forum: Precision medicine and D&I research David Chambers S1 Predictors of community therapists’ use of therapy techniques in a large public mental health system Rinad Beidas, Steven Marcus, Gregory Aarons, Kimberly Hoagwood, Sonja Schoenwald, Arthur Evans, Matthew Hurford, Ronnie Rubin, Trevor Hadley, Frances Barg, Lucia Walsh, Danielle Adams, David Mandell S2 Implementing brief cognitive behavioral therapy (CBT) in primary care: Clinicians' experiences from the field Lindsey Martin, Joseph Mignogna, Juliette Mott, Natalie Hundt, Michael Kauth, Mark Kunik, Aanand Naik, Jeffrey Cully S3 Clinician competence: Natural variation, factors affecting, and effect on patient outcomes Alan McGuire, Dominique White, Tom Bartholomew, John McGrew, Lauren Luther, Angie Rollins, Michelle Salyers S4 Exploring the multifaceted nature of sustainability in community-based prevention: A mixed-method approach Brittany Cooper, Angie Funaiole S5 Theory informed behavioral health integration in primary care: Mixed methods evaluation of the implementation of routine depression and alcohol screening and assessment Julie Richards, Amy Lee, Gwen Lapham, Ryan Caldeiro, Paula Lozano, Tory Gildred, Carol Achtmeyer, Evette Ludman, Megan Addis, Larry Marx, Katharine Bradley S6 Enhancing the evidence for specialty mental health probation through a hybrid efficacy and implementation study Tonya VanDeinse, Amy Blank Wilson, Burgin Stacey, Byron Powell, Alicia Bunger, Gary Cuddeback S7 Personalizing evidence-based child mental health care within a fiscally mandated policy reform Miya Barnett, Nicole Stadnick, Lauren Brookman-Frazee, Anna Lau S8 Leveraging an existing

关键词： Veteran Affair Motivational Interview Qualitative Comparative Analysis Community That Care Supplemental Nutrition Assistance Program

来源：评论

学校读者我要写书评

暂无评论

Interoperability test data graphical capture and analysis system based on multi-resolution models for the onboard equipment of CTCS-3 train control system 11

Interoperability test data graphical capture and analysis sy...

引用

11th IEEE International Symposium on Autonomous Decentralized systems, ISADS 2013

作者： Liu, Yu Tang, Tao National Engineering Research Center of Rail Transportation Operation and Control System Beijing Jiaotong University Beijing China State Key Lab of Rail Traffic Control and Safety Beijing Jiaotong University Beijing China

ISBN: (纸本)9781467350686

Onboard equipment of CTCS-3 train control system has to be executed the interoperability test by the independent third-party test bench before it running on the lines. During the test, it has a large amount and higher frequency in the data transmission, test phenomenon occurs on several visible interfaces and frequently, test data should be captured and displayed graphically in real time during the test, it should also be replayed graphically after the test, the fault in the test could be analyzed repeatedly, therefore it makes the data recording and analysis easier to read and estimate, help to generate final test result. In this paper, test data capture and analysis system is built based on multi-resolution modeling, related information is organized reasonably, provide the information detail that the tester concerns maximum, improve the simulation fidelity and testing efficiency. The system is implemented using Labview tools, and verify the simulation result.

关键词： Interoperability

来源：评论

学校读者我要写书评

暂无评论

Model-based test cases generation for onboard system 11

Model-based test cases generation for onboard system

引用

11th IEEE International Symposium on Autonomous Decentralized systems, ISADS 2013

作者： Lv, Jidong Li, Kaicheng Wei, Guodong Tang, Tao Li, Chenling Zhao, Weihui National Engineering Research Center of Rail Transportation Operation and Control System Beijing Jiaotong University Beijing China State Key Laboratory of Rail Traffic Control and Safety Beijing Jiaotong University Beijing China

ISBN: (纸本)9781467350686

The Onboard system is a typical safety-critical system, in which any fault can lead to huge human injury or wealth losing. Function testing method which is mainly focus on the conformance relation between the specification and the SUT has been widely used in testing the Onboard system in the past few years. However, most of the test cases are manually generated which can't be reused and leads to repeat works when the specification is changed. To improve the testing efficiency and quality, Model-based testing method is introduced. We use a tool chain to generate test case automatically based on Timed Automata theory and apply in function testing of the Onboard system. EBD-TR timed automata network model is established using tool Uppaal. And based on the EBD-TR model, two kinds of coverage criteria (all-location coverage, and all-edge coverage) are used in tool of CoVer to generate test case automatically. Different test suits of the Onboard system are acquired and a complete model transition function test suit is derived which is proven very useful for testing the Onboard system.

关键词： Automata theory

来源：评论

学校读者我要写书评

暂无评论

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

作者： 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.

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：