机读格式显示(MARC)

• 000 02198nam0 2200301 450

• 001 0000361552

• 005 20230831090404.1

• 010 __ |a 978-7-5124-4119-4 |d CNY99.00

• 100 __ |a 20230831d2023 em y0chiy50 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a afk a 000yy

• 106 __ |a r

• 200 1_ |a 赛博物理系统的多范式建模方法 |A sai bo wu li xi tong de duo fan shi jian mo fang fa |d = Multi-paradigm modelling approaches for cyber-physical systems |f (荷) Bedir Tekinerdogan等著 |g 孙智孝译 |z eng

• 210 __ |a 北京 |c 北京航空航天大学出版社 |d 2023.7

• 215 __ |a 276页, 2页图版 |c 图 (部分彩图) |d 24cm

• 306 __ |a 本书中文简体字版由Elsevier Inc.授权北京航空航天大学出版社在中国大陆地区独家出版发行

• 314 __ |a 责任者Tekinerdogan规范汉译姓: 特克纳多根

• 314 __ |a 贝迪尔·特克纳多根, (Bedir Tekinerdogan), 是荷兰瓦赫宁根大学信息技术组的正教授和主席。他在荷兰特文特大学获得MSc学位 (1994年) 和计算机科学博士学位 (2000年)。从2003年到2008年, 他在特文特大学担任教职员, 之后加入了比尔肯特大学, 直到2015年。他在软件工程研究和教育方面拥有超过20年的经验。他的主要研究领域包括智能软件密集型系统工程。孙智孝, 是我国无人系统领域的著名专家, 享受国务院特殊津贴, 荣获全国五一劳动奖章、中国青年五四奖章集体等荣誉, 荣获各级科技成果奖励数十项, 取得授权和受理专利百余件, 发表SCI、EI等论文十余篇, 出版多部无人系统相关著作。

• 320 __ |a 有书目

• 330 __ |a 本书呈现了国际相关研究团队在支持赛博物理系统多范式建模 (MPM4CPS) 方面的研究成果, 书中内容源于领先行业的实践经验以及研究性文献, 聚焦该领域最先进的研究方法和实践案例, 涵盖MPM4CPS研究团队创建的理论基础、形式化方法、工具以及相应教育资源和案例。读者将从本书中了解赛博物理系统 (CPS) 设计和运用的关键问题以及解决方案, 并可从必需的软件工具的介绍中得到有关模型建立、分析和管理的有益指导。

• 333 __ |a 本书可作为系统工程、自主系统等学科的研究生教材, 使学生系统地学习关于多范式建模本体框架的最新理论, 并通过案例研究领悟相应的工程实践中的建模方法和分析流程

• 500 10 |a Multi-paradigm modelling approaches for cyber-physical systems |m Chinese

• 606 0_ |a 虚拟现实 |A xu ni xian shi

• 690 __ |a TP391.98 |v 5

• 701 _1 |a 特克纳多根 |A te ke na duo gen |g (Tekinerdogan, Bedir) |4 著

• 702 _0 |a 孙智孝 |A sun zhi xiao |4 译

• 801 _0 |a CN |b 湖北三新 |c 20230831