掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
公路車寶典(ZINN的公路車維修與保養秘籍)
-
>
晶體管電路設計(下)
-
>
基于個性化設計策略的智能交通系統關鍵技術
-
>
花樣百出:貴州少數民族圖案填色
-
>
山東教育出版社有限公司技術轉移與技術創新歷史叢書中國高等技術教育的蘇化(1949—1961)以北京地區為中心
-
>
鐵路機車概要.交流傳動內燃.電力機車
-
>
利維坦的道德困境:早期現代政治哲學的問題與脈絡
形式化方法在構件組裝實時系統中的應用研究 版權信息
- ISBN：9787566016683
- 條形碼：9787566016683 ; 978-7-5660-1668-3
- 裝幀：一般膠版紙
- 冊數：暫無
- 重量：暫無
- 所屬分類：>
形式化方法在構件組裝實時系統中的應用研究 內容簡介
"隨著軟件系統復雜性的增加、規模的擴大，以及軟件開發機構對開發成本、開發周期要求的提高，繼面向對象開發方法之后，基于構件的軟件開發( Component - Based Software Development, 簡稱CBSD)方法[1,2), 即將外部開發的構件集成到具體應用環境中來構建面向特定應用的軟件系統，已經成為當前軟件領域的主流技術和研究熱點。這種CBSD的思想將制造業中的組裝生產模式引人軟件開發中，為軟件裝配定制提供了理論和技術基礎。CBSD不僅僅能避免大量的重復勞動，減少財力浪費，提高生產效率，還能促進分工合作，顯著提高軟件產品的質量。因此，構件技術在軟件開發過程中得到了越來越廣泛的應用，并逐漸滲透到諸如航空航天、軍事過程控制等領域的實時系統開發中。 實時系統(real-time systems)是指能對來自所控制的外部環境(物理過程)的交互作用做出及時響應以達到預定目的的計算機系統，是一種定量的反應式系統[3。如過程控制、指揮通信、鐵路調度、敏捷制造、核反應堆等很多計算機控制系統都屬于實時系統。這類系統的任何一個錯誤都會帶來不可預料的經濟損失、環境破壞，甚至威脅到生命安全。2003 年8月14日,在美國電力檢測與控制管理系統中，由于分布計算機系統試圖同時訪問同-資源引起軟件失效，造成美國東北部大面積停電損失超過60億美元; 2009年9月14日，由于空管軟件中的時鐘管理缺陷，美國洛杉磯機場400余架飛機與機場指揮系統度失去聯系，給幾萬名旅客的生命安全造成威脅。 "
形式化方法在構件組裝實時系統中的應用研究 目錄
章 緒論-------1
1．1 研究背景和含義-------1
1．2 研究問題--------------1
1．3 研究內容--------------2
1．4 本書篇章結構---------3
1．5 本章小結--------------6
-----------
展開全部
書友推薦
- >
月亮與六便士
- >
二體千字文
- >
莉莉和章魚
- >
中國歷史的瞬間
- >
上帝之肋:男人的真實旅程
- >
新文學天穹兩巨星--魯迅與胡適/紅燭學術叢書(紅燭學術叢書)
- >
推拿
- >
我與地壇
本類暢銷
