机读格式显示(MARC)

• 000 01628nam0 2200289 450

• 001 0000231317

• 005 20230719101900.0

• 010 __ |a 978-7-03-066990-2 |d CNY88.00

• 100 __ |a 20210312d2020 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a ak z 000yy

• 106 __ |a r

• 200 1_ |a 信息物理融合系统协同设计方法 |A xin xi wu li rong he xi tong xie tong she ji fang fa |f 陈付龙, 刘超著

• 210 __ |a 北京 |c 科学出版社 |d 2020.12

• 215 __ |a 178页 |c 图 |d 24cm

• 312 __ |a 英文并列题名取自封面

• 314 __ |a 陈付龙, 博士, 安徽师范大学教授、博士生导师。刘超, 硕士, 安徽师范大学信息管理中心工程师。

• 330 __ |a 信息物理融合系统作为一种新型复杂信息系统, 涉及多种计算模型的集成和协同工作, 面临设计方法不统一、计算模型多样化、重用性差、复杂性高、难以验证等问题, 使得开发较复杂系统的工作变得十分困难, 甚至无法进行; 或因为系统需求的不断变化或小组成员的流动导致项目失败, 其协同设计是一个亟待解决的难题。针对异构环境下信息物理融合系统的协同设计, 本书提出了一种结构化、可描述行为的开放性普适组件模型, 用统一方法进行建模, 引入可扩展描述方法, 对各类组件用统一语法进行系统描述, 并提出了多级开放组件模型的协同验证方法, 确保模型真实地反映设计者的建模意图, 尽早检测出可能会导致建模失败的设计错误。

• 333 __ |a 从事信息物理融合系统建模与验证研究的科技工作者, 从事物联网应用系统开发的设计者和工程师, 计算科学与技术专业研究生、本科生

• 510 1_ |a Collaborative design method of cyber-physical systems |z eng

• 606 0_ |a 异构网络 |A yi gou wang luo |x 研究

• 690 __ |a TP393.02 |v 5

• 701 _0 |a 陈付龙 |A chen fu long |4 著

• 701 _0 |a 刘超 |A liu chao |4 著

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

• 905 __ |a GDPTC |d TP393.02/20