搜索页_+Modelling+language

设为首页

收藏本站

网站地图 | English | 公务邮箱

远程访问

NSTL服务站

常用资源

中国地质文献-英文(5)	Springer电子图书(36)	CNKI学位论文(7321)	知网期刊论文(2287)
馆藏书目(2)	CNKI会议论文(3)	CNKI期刊论文0611(13)	标准(8)

在“Elsevier电子期刊”中，命中：1,514条，耗时：0.0379747 秒

在所有数据库中总计命中：9,675条

1.Design and demonstration of a data model to integrate agent-based and field-based modelling

作者：Merijn P. de Bakker ; ^{m.p.debakker@uu.nl} ; Kor de Jong ; Oliver Schmitz ; Derek Karssenberg

关键词：Agent-based modelling ; Field-based modelling ; Integrated modelling ; Data model ; Map algebra ; Modelling language

刊名：Environmental Modelling & Software

出版年：2017

2.Building Information Modelling for analysis of energy efficient industrial buildings - A case study

作者：Georgios Gourlis ^{georgios.gourlis@tuwien.ac.at} ; Iva Kovacic ; ^{iva.kovacic@tuwien.ac.at}

关键词：AEC ; Architecture Engineering Construction ; BIM ; Building Information Modelling ; BEM ; Building Energy Modelling ; CAD ; Computer Aided Design ; ERP ; Enterprise Resource Planning Software ; FM ; Facility Management ; gbXML ; Green Building Extensible Markup Language Schema ; GFA ; Gross Floor Area ; GIS ; Geographical Information Systems ; HVAC ; Heating Ventilation Air-Conditioning (Engineering) ; IFC ; Industrial Foundation Classes Data Standard ; MEP ; Mechanical Electrical Plumbing (Engineering) ; TBS ; Technic

刊名：Renewable and Sustainable Energy Reviews

出版年：2017

3.Exploring the relations between word frequency, language exposure, and bilingualism in a computational model of reading

作者：Padraic Monaghan^a ; ^b ; ^{p.monaghan@lancaster.ac.uk} ; Ya-Ning Chang^a ; Stephen Welbourne^c ; Marc Brysbaert^d

关键词：Reading ; Frequency effects ; Computational modelling ; Individual differences ; Bilingualism ; Lifespan development

刊名：Journal of Memory and Language

出版年：2017

4.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

5.Formal verification of complex business processes based on high-level Petri nets

作者：Ahmed Kheldoun^a ; Kamel Barkaoui ; ^b ; ^{kamel.barkaoui@cnam.fr} ; Malika Ioualalen^a

关键词：Business process modelling ; BPMN ; RECATNets ; Conditional rewriting logic ; Maude language and tool

刊名：Information Sciences

出版年：2017

6.Generation of creaky voice for improving the quality of HMM-based speech synthesis

作者：N.P. Narendra ; ^{narendrasince1987@gmail.com} ; K. Sreenivasa Rao ^{ksrao@iitkgp.ac.in}

关键词：HMM-based speech synthesis ; Detection of creaky voice ; Zero-frequency filtering ; Epoch parameters ; Synthesis of creaky voice ; Deterministic plus noise model ; Hybrid source modelling

刊名：Computer Speech & Language

出版年：2017

7.The multimodal nature of spoken word processing in the visual world: Testing the predictions of alternative models of multimodal integration

作者：Alastair C. Smith^a ; ^{alastair.smith@mpi.nl} ; Padraic Monaghan^b ; Falk Huettig^a ; ^c

关键词：Visual world paradigm ; Visual attention ; Spoken word recognition ; Connectionist modelling ; Multimodal processing

刊名：Journal of Memory and Language

出版年：2017

8.Rosen's (M,R) system in Unified Modelling Language

作者：Ling Zhang^a ; Richard A. Williams^b ; Derek Gatherer^a ; ^{d.gatherer@lancaster.ac.uk" class="auth_mail" title="E-mail the corresponding author}

关键词：Relational biology ; Computability ; Halting problem ; Entscheidungsproblem ; (M ; R) ; Rosen ; Reduction ; Reductionism ; Systems biology ; Simulation ; Modelling ; UML ; Unified Modelling Language ; Object-orientation ; OOP ; Entailment ; Networks

刊名：Biosystems

出版年：2016

9.Cloud autoscaling simulation based on queueing network model

作者：T. Vondra ; ^{vondrto6@fel.cvut.cz} ; J. &Scaron ; edivý ; ^{sedivja2@fel.cvut.cz}

关键词：Cloud computing ; Simulation ; CloudSim ; Automatic scaling ; Queueing networks ; PDQ

刊名：Simulation Modelling Practice and Theory

出版年：2017

10.Model-based security engineering for cyber-physical systems: A systematic mapping study

作者：Phu H. Nguyen ; ^a ; ^{phu@simula.no} ; ^{nguyenhongphu@gmail.com} ; Shaukat Ali^a ; Tao Yue^a ; ^b

关键词：Cyber-physical systems ; Security ; Model-based engineering ; Security engineering ; Systematic mapping ; Snowballing ; Survey

刊名：Information and Software Technology

出版年：2017

按检索点细分(1514)

题名(79)

关键词(167)

文摘(929)

按出版年细分(1514)

2027年及以后(33)

2017年(9)

2016年(80)

2015年(28)

2014年(8)

2013年(83)

2012年(69)

2011年(70)

2010年(76)

2009年(230)

2008年(95)

2007年(82)

2006年(61)

2005年(67)

2004年(52)

2003年(68)

2002年(39)

2001年(49)

2000年(44)

2000年及以前(271)

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

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