搜索页_Testing+machine

设为首页

收藏本站

网站地图 | English | 公务邮箱

远程访问

NSTL服务站

常用资源

GSW全文库(6)	馆藏书目(31)	万方学术会议(4)	CNKI期刊论文0611(72)
中国地质文献-英文(15)	地学标准(36)	CNKI会议论文(58)	知网期刊论文(31170)
馆藏期刊(1)	Springer电子图书(9)	CNKI学位论文(28537)	标准(17)

在“Elsevier电子期刊”中，命中：4,520条，耗时：0.0420118 秒

在所有数据库中总计命中：59,956条

1.An assessment of extended finite state machine test selection criteria

作者：Khaled El-Fakih^a ; ^{kelfakih@aus.edu" class="auth_mail" title="E-mail the corresponding author}Author Vitae ; Adenilso Simao^b ; ^{adenilso@icmc.usp.br" class="auth_mail" title="E-mail the corresponding author}Author Vitae ; Noshad Jadoon^a ; ^{noshad.jadoon@alnaboodah.com" class="auth_mail" title="E-mail the corresponding author}Author Vitae ; Jose Carlos Maldonado^b ; ^{jcmaldon@icmc.usp.br" class="auth_mail" title="E-mail the corresponding author}Author Vitae

关键词：Model based testing ; Extended finite state machines ; Mutation testing ; Test derivation ; Fault coverage assessment

刊名：Journal of Systems and Software

出版年：2017

2.Dynamic state machines for modelling railway control systems

作者：M. Benerecetti^a ; R. De Guglielmo^c ; U. Gentile^a ; S. Marrone^b ; N. Mazzocca^a ; R. Nardone^a ; ^{roberto.nardone@unina.it} ; A. Peron^a ; L. Velardi^c ; V. Vittorini^a

关键词：Dynamic STate machines ; Promela model ; ERTMS/ETCS ; Control system ; Verification and validation

刊名：Science of Computer Programming

出版年：2017

3.Stroke Risk Stratification and its Validation using Ultrasonic Echolucent Carotid Wall Plaque Morphology: A Machine Learning Paradigm

作者：Tadashi Araki^aAuthor Vitae ; Pankaj K. Jain^bAuthor Vitae ; Harman S. Suri^cAuthor Vitae ; Narendra D. Londhe^dAuthor Vitae ; Nobutaka Ikeda^eAuthor Vitae ; Ayman El-Baz^f ; Vimal K. Shrivastava^dAuthor Vitae ; Luca Saba^gAuthor Vitae ; Andrew Nicolaides^h ; ⁱAuthor Vitae ; Shoaib Shafique^jAuthor Vitae ; John R. Laird^kAuthor Vitae ; Ajay Gupta^lAuthor Vitae ; Jasjit S. Suri^b ; ^c ; ^m ; ^{Jasjit.Suri@atheropoint.com}Author Vitae

关键词：Stroke ; Carotid wall ; Ultrasound ; Near ; Far ; Segmentation ; Machine learning ; Precision of merit ; ROC

刊名：Computers in Biology and Medicine

出版年：2017

4.Formal mutation testing for Circus

作者：Alex Alberto ; ^a ; ^{alexdba@gmail.com" class="auth_mail" title="E-mail the corresponding author} ; Ana Cavalcanti^b ; Marie-Claude Gaudel^c ; Adenilso Simã ; o^a

关键词：Circus ; Mutation ; Testing ; Formal specification

刊名：Information and Software Technology

出版年：2017

5.Testing and modelling of a novel oil-free co-rotating scroll machine with water injection

作者：Luis Carlos Mendoza^a ; ^{luis.mendoza@epfl.ch} ; Sylvain Lemofouet^b ; Jü ; rg Schiffmann^a

关键词：Co-rotating scroll machine ; Isothermal expansion-compression ; Water injection ; Deterministic model ; Leakage model ; Oil-free

刊名：Applied Energy

出版年：2017

6.Comprehensive Drug Testing of Patient-derived Conditionally Reprogrammed Cells from Castration-resistant Prostate Cancer

作者：Khalid Saeed^a ; Vesa Rahkama^a ; Samuli Eldfors^a ; Dmitry Bychkov^a ; John Patrick Mpindi^a ; Bhagwan Yadav^a ; Lassi Paavolainen^a ; Tero Aittokallio^a ; Caroline Heckman^a ; Krister Wennerberg^a ; Donna M. Peehl^b ; Peter Horvath^a ; ^c ; Tuomas Mirtti^a ; ^d ; Antti Rannikko^e ; Olli Kallioniemi^a ; ^&dagger ; ; Pä ; ivi Ö ; stling^a ; ^&dagger ; ; Taija M. af Hä ; llströ ; m^a ; ^&dagger ; ; ^{taija.afhallstrom@helsinki.fi}

关键词：Castration-resistant prostate cancer ; Drug sensitivity testing ; Navitoclax ; Patient-derived cultures ; Reprogrammed cells

刊名：European Urology

出版年：2017

7.Hop‐by‐Hop Congestion Avoidance in wireless sensor networks based on genetic support vector machine

作者：Majid Gholipour^a ; ^{gholipour@qiau.ac.ir}Author Vitae ; Abolfazl Toroghi Haghighat^b ; ^{haghighat@qiau.ac.ir}Author Vitae ; Mohammad Reza Meybodi^c ; ^{mmeybodi@aut.ac.ir}Author Vitae

关键词：Wireless Sensor Networks ; Congestion control ; Transmission rate ; Multi-classification ; Support Vector Machine ; Genetic Algorithm ; Tukey test

刊名：Neurocomputing

出版年：2017

8.An unsupervised artificial neural network versus a rule-based approach for fault detection and identification in an automated assembly machine

作者：Heshan Fernando ; Brian Surgenor

关键词：Artificial neural networks ; Assembly automation ; Fault detection ; Fault identification

刊名：Robotics and Computer-Integrated Manufacturing

出版年：2017

9.A novel acoustic emission detection module for leakage recognition in a gas pipeline valve

作者：Zhenlin Li^a ; Haifeng Zhang^b ; ^{haifengzhang1986@163.com} ; Dongjie Tan^b ; Xin Chen^a ; Hongxiang Lei^a

关键词：Valve leakage recognition ; Acoustic emission ; Kernel principal component analysis ; Support vector machine ; Nondestructive testing

刊名：Process Safety and Environmental Protection

出版年：2017

10.A novel anatomical short glass fiber reinforced post in an endodontically treated premolar mechanical resistance evaluation using acoustic emission under fatigue testing

作者：Hsuan-Wen Wang^a ; ¹ ; ^{411918@gmail.com} ; Yen-Hsiang Chang^b ; ² ; ^{cgucaeb@yahoo.com.tw} ; Chun-Li Lin^a ; ^{cllin2@ym.edu.tw}

关键词：Endodontically treated tooth ; Fiber post ; Fatigue ; Acoustic emission

刊名：Journal of the Mechanical Behavior of Biomedical Materials

出版年：2017

按检索点细分(4520)

题名(98)

关键词(125)

文摘(3943)

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700