中图网(原中国图书网)：网上书店，尾货特色书店，30万种特价书低至2折！

歡迎光臨中圖網(wǎng) 請(qǐng) | 注冊(cè)
> >>
信息物理系統(tǒng)應(yīng)用與原理

包郵 信息物理系統(tǒng)應(yīng)用與原理

出版社：機(jī)械工業(yè)出版社出版時(shí)間：2018-06-01
開本： 16開 頁數(shù)： 224
中 圖 價(jià):¥50.8(6.4折) 定價(jià)  ¥79.0 登錄后可看到會(huì)員價(jià)
加入購物車 收藏
開年大促， 全場(chǎng)包郵
?新疆、西藏除外
本類五星書更多>

信息物理系統(tǒng)應(yīng)用與原理 版權(quán)信息

信息物理系統(tǒng)應(yīng)用與原理 本書特色

本書討論了大量的理論進(jìn)展以及每個(gè)領(lǐng)域的挑戰(zhàn)。一些進(jìn)展源于應(yīng)用領(lǐng)域的具體挑戰(zhàn)，另一些進(jìn)展帶來了新的發(fā)展機(jī)會(huì)。全書分為兩部分。第 一部分介紹了當(dāng)前CPS的3個(gè)典型領(lǐng)域（醫(yī)療、能源、無線傳感器網(wǎng)絡(luò)），這些應(yīng)用領(lǐng)域推動(dòng)了CPS的技術(shù)革命。第二部分介紹了CPS發(fā)展中使用的多學(xué)科理論基礎(chǔ)。本書可作為高等院校信息物理系統(tǒng)相關(guān)課程的教材，也可作為CPS應(yīng)用領(lǐng)域相關(guān)從業(yè)者的參考書。

信息物理系統(tǒng)應(yīng)用與原理 內(nèi)容簡(jiǎn)介

本書討論了大量的理論進(jìn)展以及每個(gè)領(lǐng)域的挑戰(zhàn)。一些進(jìn)展源于應(yīng)用領(lǐng)域的具體挑戰(zhàn)，另一些進(jìn)展帶來了新的發(fā)展機(jī)會(huì)。全書分為兩部分。第 一部分介紹了當(dāng)前CPS的3個(gè)典型領(lǐng)域（醫(yī)療、能源、無線傳感器網(wǎng)絡(luò)），這些應(yīng)用領(lǐng)域推動(dòng)了CPS的技術(shù)革命。第二部分介紹了CPS發(fā)展中使用的多學(xué)科理論基礎(chǔ)。本書可作為高等院校信息物理系統(tǒng)相關(guān)課程的教材，也可作為CPS應(yīng)用領(lǐng)域相關(guān)從業(yè)者的參考書。

信息物理系統(tǒng)應(yīng)用與原理 目錄

目錄
CyberPhysical Systems
出版者的話
譯者序
前言
關(guān)于作者
關(guān)于其他貢獻(xiàn)者
**部分CPS應(yīng)用領(lǐng)域
第1章醫(yī)療CPS
1.1引言
1.2系統(tǒng)描述與操作場(chǎng)景
1.2.1虛擬醫(yī)療設(shè)備
1.2.2臨床場(chǎng)景
1.3關(guān)鍵設(shè)計(jì)驅(qū)動(dòng)與質(zhì)量屬性
1.3.1發(fā)展趨勢(shì)
1.3.2質(zhì)量屬性以及MCPS領(lǐng)域的挑戰(zhàn)
1.3.3MCPS的高可信度開發(fā)
1.3.4按需醫(yī)療設(shè)備及其安全保障
1.3.5智能報(bào)警以及醫(yī)療決策支持系統(tǒng)
1.3.6閉環(huán)系統(tǒng)
1.3.7安全案例
1.4從業(yè)者的影響
1.4.1MCPS開發(fā)者角度
1.4.2MCPS管理者角度
1.4.3MCPS用戶角度
1.4.4患者角度
1.4.5MCPS監(jiān)管機(jī)構(gòu)角度
1.5總結(jié)與挑戰(zhàn)
參考文獻(xiàn)
第2章能源CPS
2.1引言
2.2系統(tǒng)描述與操作場(chǎng)景
2.3關(guān)鍵設(shè)計(jì)驅(qū)動(dòng)與質(zhì)量屬性
2.3.1關(guān)鍵系統(tǒng)原則
2.3.2架構(gòu)1的性能目標(biāo)
2.3.3未來的方向
2.4可持續(xù)性SEES的網(wǎng)絡(luò)范例
2.4.1在SEES中基于物理的CPS組合
2.4.2在SEES中基于DyMonDS的CPS標(biāo)準(zhǔn)
2.4.3交互變量自動(dòng)建模與控制
2.5從業(yè)者的影響
2.5.1性能目標(biāo)的IT演化
2.5.2分布式優(yōu)化
2.6總結(jié)與挑戰(zhàn)
參考文獻(xiàn)
第3章基于無線傳感器網(wǎng)絡(luò)的CPS
3.1引言
3.2系統(tǒng)描述與操作場(chǎng)景
3.2.1媒介訪問控制
3.2.2路由
3.2.3節(jié)點(diǎn)定位
3.2.4時(shí)鐘同步
3.2.5電源管理
3.3關(guān)鍵驅(qū)動(dòng)設(shè)計(jì)與質(zhì)量屬性
3.3.1物理感知
3.3.2實(shí)時(shí)感知
3.3.3運(yùn)行時(shí)驗(yàn)證感知
3.3.4安全感知
3.4從業(yè)者的影響
3.5總結(jié)與挑戰(zhàn)
參考文獻(xiàn)
第二部分CPS基礎(chǔ)理論
第4章CPS的符號(hào)化合成
4.1引言
4.2基礎(chǔ)技術(shù)
4.2.1預(yù)備知識(shí)
4.2.2問題定義
4.2.3合成問題的解決
4.2.4符號(hào)模型構(gòu)建
4.3高級(jí)技術(shù)
4.3.1構(gòu)建符號(hào)模型
4.3.2連續(xù)時(shí)間控制器
4.3.3軟件工具
4.4總結(jié)與挑戰(zhàn)
參考文獻(xiàn)
第5章反饋控制系統(tǒng)中的軟件和平臺(tái)問題
5.1引言
5.2基礎(chǔ)技術(shù)
5.2.1控制器定時(shí)
5.2.2資源效率控制設(shè)計(jì)
5.3高級(jí)技術(shù)
5.3.1減少計(jì)算時(shí)間
5.3.2降低采樣頻率
5.3.3基于事件的控制
5.3.4控制器的軟件結(jié)構(gòu)
5.3.5計(jì)算資源共享
5.3.6反饋控制系統(tǒng)的分析與仿真
5.4總結(jié)與挑戰(zhàn)
參考文獻(xiàn)
第6章混合系統(tǒng)的邏輯正確性
6.1引言
6.2基礎(chǔ)技術(shù)
6.2.1離散驗(yàn)證
6.3高級(jí)技術(shù)
6.3.1實(shí)時(shí)驗(yàn)證
6.3.2混合驗(yàn)證
6.4總結(jié)與挑戰(zhàn)
參考文獻(xiàn)
第7章CPS的安全
7.1引言
7.2基礎(chǔ)技術(shù)
7.2.1網(wǎng)絡(luò)安全需求
7.2.2攻擊模型
7.2.3應(yīng)對(duì)策略
7.3高級(jí)技術(shù)
7.3.1系統(tǒng)理論
7.4總結(jié)與挑戰(zhàn)
參考文獻(xiàn)
第8章分布式CPS的同步
8.1引言
8.1.1CPS的挑戰(zhàn)
8.1.2一種降低同步復(fù)雜度的技術(shù)
8.2基礎(chǔ)技術(shù)
8.2.1軟件工程
8.2.2分布式一致性算法
8.2.3同步鎖步執(zhí)行
8.2.4時(shí)間觸發(fā)架構(gòu)
8.2.5相關(guān)技術(shù)
8.3高級(jí)技術(shù)
8.3.1物理異步、邏輯同步系統(tǒng)
8.4總結(jié)與挑戰(zhàn)
參考文獻(xiàn)
第9章CPS的實(shí)時(shí)調(diào)度
9.1引言
9.2基礎(chǔ)技術(shù)
9.2.1固定時(shí)間參數(shù)的調(diào)度
9.2.2內(nèi)存效應(yīng)
9.3高級(jí)技術(shù)
9.3.1多處理器／多核調(diào)度
9.3.2適應(yīng)可變性和不確定性
9.3.3其他資源的管理
9.3.4間歇任務(wù)調(diào)度
9.4總結(jié)與挑戰(zhàn)
參考文獻(xiàn)
第10章CPS模型集成
10.1引言
10.2基礎(chǔ)技術(shù)
10.2.1因果關(guān)系
10.2.2時(shí)間語義域
10.2.3計(jì)算過程的交互模型
10.2.4CPS DSML建模語言的語義
10.3高級(jí)技術(shù)
10.3.1ForSpec語言
10.3.2CyPhyML系統(tǒng)建模語言的語法
10.3.3語義的形式化
10.3.4形式化的語言集成
10.4總結(jié)與挑戰(zhàn)
參考文獻(xiàn)
展開全部

信息物理系統(tǒng)應(yīng)用與原理 作者簡(jiǎn)介

關(guān)于作者CyberPhysical SystemsRagunathan (Raj) Rajkumar是卡內(nèi)基·梅隆大學(xué)電氣和計(jì)算機(jī)工程的George Westinghouse教授。他是TimeSys等眾多公司的創(chuàng)始人之一，包括Ottomatika（專注于無人駕駛汽車的軟件研究，后被Delphi收購）。他主持過多次國際會(huì)議，擁有專利三項(xiàng)，出版書籍一本，在會(huì)議和期刊上發(fā)表論文170多篇，其中8篇獲得佳論文獎(jiǎng)。Rajkumar教授于1984年在印度Madras大學(xué)獲得本科學(xué)位，碩士和博士學(xué)位分別于1986年和1989年在美國賓夕法尼亞州匹茲堡的卡內(nèi)基·梅隆大學(xué)獲得。他的研究興趣涵蓋了信息物理系統(tǒng)的所有方面。
Dionisio de Niz是卡內(nèi)基·梅隆大學(xué)軟件工程研究所的首席研究員。他在卡內(nèi)基·梅隆大學(xué)信息網(wǎng)絡(luò)學(xué)院獲得信息網(wǎng)絡(luò)科學(xué)碩士學(xué)位，后又獲得了電氣和計(jì)算機(jī)工程博士學(xué)位。他的研究興趣包括信息物理系統(tǒng)、實(shí)時(shí)系統(tǒng)和基于模型的工程。在實(shí)時(shí)領(lǐng)域，他近專注于多核處理器和混合關(guān)鍵性調(diào)度，為私營行業(yè)和政府組織領(lǐng)導(dǎo)了許多基本研究和應(yīng)用研究項(xiàng)目。de Niz 博士還致力于實(shí)時(shí)Java規(guī)范的商業(yè)版本和參考實(shí)現(xiàn)。關(guān)于作者CyberPhysical SystemsRagunathan (Raj) Rajkumar是卡內(nèi)基·梅隆大學(xué)電氣和計(jì)算機(jī)工程的George Westinghouse教授。他是TimeSys等眾多公司的創(chuàng)始人之一，包括Ottomatika（專注于無人駕駛汽車的軟件研究，后被Delphi收購）。他主持過多次國際會(huì)議，擁有專利三項(xiàng)，出版書籍一本，在會(huì)議和期刊上發(fā)表論文170多篇，其中8篇獲得佳論文獎(jiǎng)。Rajkumar教授于1984年在印度Madras大學(xué)獲得本科學(xué)位，碩士和博士學(xué)位分別于1986年和1989年在美國賓夕法尼亞州匹茲堡的卡內(nèi)基·梅隆大學(xué)獲得。他的研究興趣涵蓋了信息物理系統(tǒng)的所有方面。
Dionisio de Niz是卡內(nèi)基·梅隆大學(xué)軟件工程研究所的首席研究員。他在卡內(nèi)基·梅隆大學(xué)信息網(wǎng)絡(luò)學(xué)院獲得信息網(wǎng)絡(luò)科學(xué)碩士學(xué)位，后又獲得了電氣和計(jì)算機(jī)工程博士學(xué)位。他的研究興趣包括信息物理系統(tǒng)、實(shí)時(shí)系統(tǒng)和基于模型的工程。在實(shí)時(shí)領(lǐng)域，他近專注于多核處理器和混合關(guān)鍵性調(diào)度，為私營行業(yè)和政府組織領(lǐng)導(dǎo)了許多基本研究和應(yīng)用研究項(xiàng)目。de Niz 博士還致力于實(shí)時(shí)Java規(guī)范的商業(yè)版本和參考實(shí)現(xiàn)。
Mark Klein是軟件工程研究所的高級(jí)技術(shù)人員，并且是其關(guān)鍵系統(tǒng)能力理事會(huì)的技術(shù)總監(jiān)，從事信息物理系統(tǒng)和先進(jìn)的移動(dòng)系統(tǒng)研究。他的研究已經(jīng)跨越了軟件工程、可靠的實(shí)時(shí)系統(tǒng)和數(shù)值方法的各個(gè)方面。Klein近的工作重心在于系統(tǒng)規(guī)模的設(shè)計(jì)和分析原理，包括信息物理系統(tǒng)。之前，作為基于架構(gòu)的工程項(xiàng)目的技術(shù)領(lǐng)導(dǎo)者，他的研究方向包括以下幾個(gè)方面：軟件體系結(jié)構(gòu)分析、體系結(jié)構(gòu)演化、經(jīng)濟(jì)驅(qū)動(dòng)架構(gòu)設(shè)計(jì)、架構(gòu)能力、架構(gòu)權(quán)衡分析、屬性驅(qū)動(dòng)的架構(gòu)設(shè)計(jì)、調(diào)度理論和應(yīng)用機(jī)制設(shè)計(jì)。他在實(shí)時(shí)系統(tǒng)中的工作涉及單調(diào)速率分析（RMA）的發(fā)展、RMA理論基礎(chǔ)的擴(kuò)展及應(yīng)用。Klein早期的工作涉及在油藏模擬中通過高階有限元方法求解流體流動(dòng)方程。他是很多論文及下列三本書的作者之一：《 A Practitioner’s Handbook for RealTime Analysis: Guide to Rate Monotonic Analysis for RealTime Systems》《Evaluating Software Architecture: Methods and Case Studies》及《UltraLargeScale Systems: The Software Challenge of the Future》。

商品評(píng)論(0條)
暫無評(píng)論……
書友推薦
本類暢銷
返回頂部
中圖網(wǎng)
在線客服
主站蜘蛛池模板： 中开泵,中开泵厂家,双吸中开泵-山东博二泵业有限公司 | 范秘书_懂你的范文小秘书| 【连江县榕彩涂料有限公司】官方网站| 酒万铺-酒水招商-酒水代理 | 灌木树苗-绿化苗木-常绿乔木-价格/批发/基地 - 四川成都途美园林 | 电动球阀_不锈钢电动球阀_电动三通球阀_电动调节球阀_上海湖泉阀门有限公司 | 北京征地律师,征地拆迁律师,专业拆迁律师,北京拆迁律师,征地纠纷律师,征地诉讼律师,征地拆迁补偿,拆迁律师 - 北京凯诺律师事务所 | 河南中专学校|职高|技校招生-河南中职中专网 | 卡诺亚轻高定官网_卧室系统_整家定制_定制家居_高端定制_全屋定制加盟_定制家具加盟_定制衣柜加盟 | 便携式XPDM露点仪-在线式防爆露点仪-增强型烟气分析仪-约克仪器 冰雕-冰雪世界-大型冰雕展制作公司-赛北冰雕官网 | 变压器配件,变压器吸湿器,武强县吉口变压器配件有限公司 | 北京开业庆典策划-年会活动策划公司-舞龙舞狮团大鼓表演-北京盛乾龙狮鼓乐礼仪庆典策划公司 | 超声波电磁流量计-液位计-孔板流量计-料位计-江苏信仪自动化仪表有限公司 | SF6环境监测系统-接地环流在线监测装置-瑟恩实业 | 「钾冰晶石」氟铝酸钾_冰晶石_氟铝酸钠「价格用途」-亚铝氟化物厂家 | PO膜_灌浆膜及地膜供应厂家 - 青州市鲁谊塑料厂 | 铝箔-铝板-花纹铝板-铝型材-铝棒管-上海百亚金属材料有限公司 | 14米地磅厂家价价格,150吨地磅厂家价格-百科 | 老城街小面官网_正宗重庆小面加盟技术培训_特色面馆加盟|牛肉拉面|招商加盟代理费用多少钱 | 道达尔润滑油-食品级润滑油-道达尔导热油-合成导热油，深圳道达尔代理商合-深圳浩方正大官网 | 翰香原枣子坊加盟费多少钱-正宗枣核糕配方培训利润高飘香 | 广州云仓代发-昊哥云仓专业电商仓储托管外包代发货服务 | 语料库-提供经典范文,文案句子,常用文书,您的写作得力助手 | 重庆私家花园设计-别墅花园-庭院-景观设计-重庆彩木园林建设有限公司 | 橡胶接头|可曲挠橡胶接头|橡胶软接头安装使用教程-上海松夏官方网站 | 汽车水泵_汽车水泵厂家-瑞安市骏迪汽车配件有限公司 | 伸缩节_伸缩器_传力接头_伸缩接头_巩义市联通管道厂 | CTP磁天平|小电容测量仪|阴阳极极化_双液系沸点测定仪|dsj电渗实验装置-南京桑力电子设备厂 | 仓储货架_南京货架_钢制托盘_仓储笼_隔离网_环球零件盒_诺力液压车_货架-南京一品仓储设备制造公司 | 东莞动力锂电池保护板_BMS智能软件保护板_锂电池主动均衡保护板-东莞市倡芯电子科技有限公司 | 塑料异型材_PVC异型材_封边条生产厂家_PC灯罩_防撞扶手_医院扶手价格_东莞市怡美塑胶制品有限公司 | 上海单片机培训|重庆曙海培训分支机构—CortexM3+uC/OS培训班，北京linux培训，Windows驱动开发培训|上海IC版图设计，西安linux培训，北京汽车电子EMC培训，ARM培训，MTK培训,Android培训 | 贵州科比特-防雷公司厂家提供贵州防雷工程,防雷检测,防雷接地,防雷设备价格,防雷产品报价服务-贵州防雷检测公司 | 动库网动库商城-体育用品专卖店:羽毛球,乒乓球拍,网球,户外装备,运动鞋,运动包,运动服饰专卖店-正品运动品网上商城动库商城网 - 动库商城 | 碳钢法兰厂家,非标法兰,定制异型,法兰生产厂家-河北九瑞管道 | 新疆乌鲁木齐网站建设-乌鲁木齐网站制作设计-新疆远璨网络 | 双工位钻铣攻牙机-转换工作台钻攻中心-钻铣攻牙机一体机-浙江利硕自动化设备有限公司 | 球形钽粉_球形钨粉_纳米粉末_难熔金属粉末-广东银纳官网 | 深圳APP开发_手机软件APP定制外包_小程序开发公司-来科信 | 线材成型机,线材折弯机,线材成型机厂家,贝朗自动化设备有限公司1 | 板框压滤机-隔膜压滤机配件生产厂家-陕西华星佳洋装备制造有限公司 |