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

定　價(jià)：￥79.00

作　者：	[印度] 拉杰·拉杰庫馬爾著，李士寧譯
出版社：	機(jī)械工業(yè)出版社
叢編項(xiàng)：	計(jì)算機(jī)科學(xué)叢書
標(biāo)　簽：	暫缺

購買這本書可以去

ISBN：	9787111598107	出版時(shí)間：	2018-06-01	包裝：	平裝
開本：	16開	頁數(shù)：	240	字?jǐn)?shù)：

內(nèi)容簡介

　　本書討論了大量的理論進(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è)者的參考書。

作者簡介

　　關(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》。

圖書目錄

目錄
CyberPhysical Systems
出版者的話
譯者序
前言
關(guān)于作者
關(guān)于其他貢獻(xiàn)者
第一部分CPS應(yīng)用領(lǐng)域
第1章醫(yī)療CPS
1.1引言
1.2系統(tǒng)描述與操作場景
1.2.1虛擬醫(yī)療設(shè)備
1.2.2臨床場景
1.3關(guān)鍵設(shè)計(jì)驅(qū)動(dòng)與質(zhì)量屬性
1.3.1發(fā)展趨勢
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)描述與操作場景
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)描述與操作場景
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)