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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

5 册 图书

馆藏范围

4 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

4 篇 工学
- 2 篇 机械工程
- 2 篇 计算机科学与技术...
- 1 篇 电气工程
- 1 篇 电子科学与技术（可...
- 1 篇 控制科学与工程
- 1 篇 石油与天然气工程
- 1 篇 软件工程
1 篇 经济学
- 1 篇 应用经济学
1 篇 管理学
- 1 篇 管理科学与工程(可...

主题

1 篇 computer simulat...
1 篇 computer science
1 篇 computer simulat...
1 篇 engineering & te...
1 篇 application soft...
1 篇 distributed arti...
1 篇 intelligent agen...

机构

2 篇 the mathworks in...
2 篇 worcester polyte...
1 篇 fraunhofer insti...
1 篇 linnaeus univers...
1 篇 university of ro...
1 篇 carleton univers...

作者

2 篇 justyna zander
1 篇 pieter j mosterm...
1 篇 pieter j. moster...
1 篇 gabriel a. waine...
1 篇 edited by katali...
1 篇 pieter j. moster...
1 篇 i. schieferdecke...
1 篇 adelinde m. uhrm...

语言

3 篇 中文
2 篇 英文

检索条件"丛书名=Computational Analysis, Synthesis, and Design of Dynamic Systems"

共 5 条记录，以下是1-10 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Model-Based Testing for Embedded systems 1

引用

丛书名： computational analysis, synthesis, and design of dynamic systems

2017年

作者： Justyna Zander I. Schieferdecker Pieter J Mosterman

ISBN: (数字)9781315218021

ISBN: (纸本)9781138076457

What the experts have to say about Model-Based Testing for Embedded systems: "This book is exactly what is needed at the exact right time in this fast-growing area. From its beginnings over 10 years ago of deriving tests from UML statecharts, model-based testing has matured into a topic with both breadth and depth. Testing embedded systems is a natural application of MBT, and this book hits the nail exactly on the head. Numerous topics are presented clearly, thoroughly, and concisely in this cutting-edge book. The authors are world-class leading experts in this area and teach us well-used and validated techniques, along with new ideas for solving hard problems. "It is rare that a book can take recent research advances and present them in a form ready for practical use, but this book accomplishes that and more. I am anxious to recommend this in my consulting and to teach a new class to my students." —Dr. Jeff Offutt, professor of software engineering, George Mason University, Fairfax, Virginia, USA "This handbook is the best resource I am aware of on the automated testing of embedded systems. It is thorough, comprehensive, and authoritative. It covers all important technical and scientific aspects but also provides highly interesting insights into the state of practice of model-based testing for embedded systems." —Dr. Lionel C. Briand, IEEE Fellow, Simula Research Laboratory, Lysaker, Norway, and professor at the University of Oslo, Norway "As model-based testing is entering the mainstream, such a comprehensive and intelligible book is a must-read for anyone looking for more information about improved testing methods for embedded systems. Illustrated with numerous aspects of these techniques from many contributors, it gives a clear picture of what the state of the art is today." —Dr. Bruno Legeard, CTO of Smartesting, professor of Software Engineering at the University of Franche-Comté, Besançon, France, and co-author of Practical Model-Based Testing

关键词： Computer Science Engineering & Technology

来源：评论

学校读者我要写书评

暂无评论

Computation for Humanity: Information Technology to Advance Society 1

引用

丛书名： computational analysis, synthesis, & design dynamic systems

2013年

作者： Justyna Zander Pieter J. Mosterman

ISBN: (纸本)9781439883297;9781439883273

The exponential progress and accessibility of computing has vastly increased data flows and revolutionized the practice of science, engineering, and communication. Computing plays a critical role in advancing research across almost every scientific discipline. Computation for Humanity: Information Technology to Advance Society is a guide for the creation of services, products, and tools that facilitate, support, and enhance progress of humanity toward more sustainable life. This book: Provides a deep understanding of the practical applications of computation to solve human-machine problems Delivers insight into theoretical approaches in an accessible manner Provides a comprehensive overview of computational science and engineering applications in selected disciplines Crosses the boundaries between different domains and shows how they interrelate and complement one another Focuses on grand challenges and issues that matter for the future of humanity Shows different perspectives of computational thinking, understanding, and reasoning Provides a basis for scientific discoveries and enables adopting scientific theories and engineering practices from other disciplines Takes a step back to provide a human-related abstraction level that is not ultimately seen in pure technological elaborations/collections The editors provide a collection of numerous computation-related projects that form a foundation from which to cross-pollinate between different disciplines and further extensive collaboration. They present a clear and profound understanding of computing in today's world, and provide fundamental solutions to some of the most pertinent humanity-related problems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Real-time simulation technologies : principles, methodologies, and applications /

Real-time simulation technologies : principles, methodologie...

引用

2013年

作者： edited by Katalin Popovici Pieter J. Mosterman.

来源：内蒙古大学图书馆图书评论

学校读者我要写书评

暂无评论

Multi-Agent systems: Simulation and Applications

引用

丛书名： computational analysis, synthesis, and design of dynamic systems

2009年

作者： Adelinde M. Uhrmacher

ISBN: (纸本)1420070231

Methodological Guidelines for Modeling and Developing MAS-Based Simulations The intersection of agents, modeling, simulation, and application domains has been the subject of active research for over two decades. Although agents and simulation have been used effectively in a variety of application domains, much of the supporting research remains scattered in the literature, too often leaving scientists to develop multi-agent system (MAS) models and simulations from scratch. Multi-Agent systems: Simulation and Applications provides an overdue review of the wide ranging facets of MAS simulation, including methodological and application-oriented guidelines. This comprehensive resource reviews two decades of research in the intersection of MAS, simulation, and different application domains. It provides scientists and developers with disciplined engineering approaches to modeling and developing MAS-based simulations. After providing an overview of the fields history and its basic principles, as well as cataloging the various simulation engines for MAS, the book devotes three sections to current and emerging approaches and applications. Simulation for MAS explains simulation support for agent decision making, the use of simulation for the design of self-organizing systems, the role of software architecture in simulating MAS, and the use of simulation for studying learning and stigmergic interaction. MAS for Simulation discusses an agent-based framework for symbiotic simulation, the use of country databases and expert systems for agent-based modeling of social systems, crowd-behavior modeling, agent-based modeling and simulation of adult stem cells, and agents for traffic simulation. Tools presents a number of representative platforms and tools for MAS and simulation, including Jason, James II, SeSAm, and RoboCup Rescue. Complete with over 200 figures and formulas, this reference book provides the necessary overview of experiences with MAS simulation and the tools needed to

关键词： Distributed artificial intelligence Computer simulation Application software Intelligent agents (Computer software

来源：评论

学校读者我要写书评

暂无评论

Discrete-event modeling and simulation: a practitioner's approach 1

引用

丛书名： computational analysis, synthesis, and design of dynamic systems

2009年

作者： Gabriel A. Wainer

ISBN: (纸本)9781420053364;1420053361

Complex artificial dynamic systems require advanced modeling techniques that can accommodate their asynchronous, concurrent, and highly non-linear nature. Discrete Event systems Specification (DEVS) provides a formal framework for hierarchical construction of discrete-event models in a modular manner, allowing for model re-use and reduced development *** Event Modeling and Simulation presents a practical approach focused on the creation of discrete-event applications. The book introduces the CD++ tool, an open-source framework that enables the simulation of discrete-event models. After setting up the basic theory of DEVS and Cell-DEVS, the author focuses on how to use the CD++ tool to define a variety of models in biology, physics, chemistry, and artificial systems. They also demonstrate how to map different modeling techniques, such as Finite State Machines and VHDL, to DEVS. The in-depth coverage elaborates on the creation of simulation software for DEVS models and the 3D visualization environments associated with these tools.A much-needed practical approach to creating discrete-event applications, this book offers world-class instruction on the fields most useful modeling tools.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共1页 << < 1 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：