干涉型光纖陀螺儀技術

《干涉型光纖陀螺儀技術》是中國宇航出版社2010年出版的圖書，作者是王巍。

基本介紹

• 書名：干涉型光纖陀螺儀技術
• 作者：王巍
• ISBN：9787802189140
• 出版社：中國宇航出版社
• 出版時間：2010-10-1

內容簡介

本書從陀螺儀表研究和設計的角度，系統論述了干涉型光纖陀螺儀的工作原理、誤差機理、設計與工藝技術等方面的理論、方法與技術。全書共14章，主要包括光纖陀螺儀的基本原理；光纖陀螺儀自身及物理場和套用環境引起的誤差機理及抑制方法：光電子器件與光纖陀螺儀性能的關係；光纖陀螺儀信號檢測方法及提高陀螺儀性能的方法與技術：光纖陀螺儀的設計與工藝技術：光纖陀螺儀的誤差模型等，另外還討論了其他類型的光纖陀螺儀、光纖陀螺儀的技術發展動向以及相關技術在感測器等方面的推廣套用。

本書研究內容、理論方法與工程實踐緊密結合，可供從事光纖陀螺儀及干涉型光纖感測技術研究、產品研製與套用的科技人員和高等院校相關專業師生參考。

作品目錄

第1章航天型號軟體與軟體工程概述(1)

1?1概述(1)

1?1?1軟體概述(1)

1?1?2航天軟體及航天型號軟體的組成及特點(2)

1?1?3航天型號軟體的關鍵性劃分原則(4)

1?2軟體工程的基本原則及工作內容(5)

1?2?1軟體工程與系統工程(5)

1.2.2軟體工程的工作內容(6)

1.2.3軟體能力成熟度模型(8)

1.3航天型號軟體工程化(12)

1.3.1軟體設計與系統設計的關係(12)

1.3.2航天型號軟體研製的分階段過程(12)

1.3.3型號軟體研製各階段的技術工作(14)

1.4型號軟體研製的組織與管理(18)

1.4.1型號軟體研製的組織與職責(18)

1.4.2型號軟體研製的策劃(19)

1.4.3型號軟體研製各階段的管理任務(19)

1.5本章小結(23)

第2章軟體需求分析(24)

2.1概述(24)

2.1.1軟體需求分析階段的目的和任務(24)

2.1.2軟體需求分析的重要性(24)

2.2軟體任務書的一般要求(25)

2.2.1系統需求分析與設計階段與軟體任務書有關的任務(25)

2.2.2軟體任務書的基本要求(26)

2.2.3軟體任務書的格式及內容要求(27)

2.3軟體需求分析的工作過程(28)

2.3.1需求信息的獲取和記錄(29)

2.3.2需求規格說明的編寫(30)

2.3.3需求規格說明的檢查與確認(31)

2.3.4需求評審(31)

2.3.5需求分析管理(31)

2.4編寫“軟體需求規格說明”的要求(31)

2.4.1需求規格說明的主要內容(31)

2.4.2“軟體需求規格說明”的格式(32)

2.4.3需求規格說明的質量要求(42)

2.5軟體需求的編寫要點(42)

2.5.1功能需求的編寫(42)

2.5.2性能需求的編寫(46)

2.5.3可靠性需求和安全性需求的編寫(47)

2.6軟體需求文檔中經常出現的問題(47)

2.6.1一般問題(47)

2.6.2軟體功能方面的問題(47)

2.6.3需求中實體方面的問題(47)

2.6.4性能需求方面的問題(47)

2.6.5安全性、可靠性方面的問題(48)

2.7“軟體需求規格說明”的檢查和驗證方法(48)

2.7.1人工檢查(48)

2.7.2採用結構化方法檢查(50)

2.7.3採用仿真模型檢查(51)

2.7.4採用形式化方法檢查(51)

2.8本章小結(52)

第3章軟體概要設計(53)

3.1概述(53)

3.2結構化設計的概念和原則(54)

3.2.1抽象與細化求精(54)

3.2.2模組化與信息隱蔽(54)

3.2.3有效的模組設計——模組獨立性(54)

3.2.4軟體的體系結構(57)

3.2.5程式結構(57)

3.3概要設計階段的工作過程(57)

3.3.1覆核並理解軟體需求文檔(58)

3.3.2建立物理模型(58)

3.3.3編寫概要設計說明(59)

3.3.4編寫組裝測試初步計畫(59)

3.3.5概要設計階段評審(59)

3.4軟體的結構化設計的圖形工具(60)3.4.1HIPO圖(60)

3.4.2結構圖(60)

3.4.3狀態轉移表(60)

3.5面向數據流的設計方法(61)

3.5.1變換型結構映射(61)

3.5.2事務型結構映射(63)

3.5.3最佳化程式結構設計(64)

3.6實時嵌入式系統軟體的設計(66)

3.6.1實時系統概述(66)

3.6.2任務調度策略(68)

3.6.3實時系統的軟體任務結構化設計(71)

3.7概要設計的質量要求(73)

3.8概要設計文檔的基本內容(74)

3.8.1GB/ T 8567-2006格式的“軟體概要設計說明”模板(74)

3.8.2QJ 1912.7-2003格式的“軟體概要設計說明”的內容安排(78)

3.9本章小結(80)

第4章軟體詳細設計與實現(81)

4.1概述(81)

4.1.1詳細設計的基本概念(81)

4.1.2詳細設計的任務和內容(81)

4.1.3詳細設計文檔的用途(82)

4.1.4詳細設計的質量要求(82)

4.2詳細設計工作過程(83)

4.2.1理解概要設計(83)

4.2.2細化軟體部件，形成軟體單元(83)

4.2.3規定軟體單元間接口(84)

4.2.4設計算法和細節(84)

4.2.5進行過程描述(84)

4.2.6進行可靠性、安全性設計(84)

4.2.7編寫詳細設計說明(84)

4.2.8編寫初步單元測試計畫(84)

4.2.9建立並填寫單元開發卷宗(85)

4.2.10詳細設計評審(85)

4.3詳細設計方法和技術(85)

4.3.1結構化程式設計（簡稱SP方法）(85)

4.3.2軟體可靠性、安全性設計(86)

4.3.3詳細設計工具(86)

4.4詳細設計文檔格式(91)

4.5軟體實現的任務與過程(91)

4.5.1理解“詳細設計”(92)

4.5.2編程和編譯/ 彙編(92)

4.5.3代碼調試(93)

4.5.4靜態分析與單元測試(93)

4.5.5安全性關鍵單元檢查和評審(93)

4.6軟體實現的技術和方法(93)

4.6.1結構化編程方法(93)

4.6.2一般軟體的編程規則(94)

4.6.3安全性關鍵軟體的編程規則(98)

4.6.4“太空飛行器軟體編程約定”簡介(98)

4.7編程的質量要求(99)

4.8本章小結(99)

第5章軟體測試(100)

5.1概述(100)

5.1.1軟體測試的基本概念(100)

5.1.2軟體測試的基本原則(100)

5.1.3軟體測試的重要性和局限性(101)

5.2各軟體研製階段的測試活動及要求(102)

5.2.1軟體測試的基本活動(102)

5.2.2單元測試(105)

5.2.3組裝測試(107)

5.2.4確認測試(108)

5.2.5第三方獨立確認測試(109)

5.2.6系統聯試(110)

5.2.7回歸測試(111)

5.2.8其他階段的測試(113)

5.3主要測試內容(113)

5.3.1功能測試(114)

5.3.2性能測試(115)

5.3.3邊界測試和餘量測試(116)

5.3.4強度測試(116)

5.3.5可靠性測試和安全性測試(117)

5.3.6其他常見測試類型(117)

5.4軟體測試技術及工具(117)

5.4.1靜態測試技術(118)

5.4.2測試用例設計技術(119)

5.4.3測試覆蓋率分析技術(121)

5.4.4嵌入式測試環境搭建技術(123)

5.4.5軟體測試工具與環境(123)

5.5測試質量的控制(125)

5.5.1測試過程的控制要素(125)

5.5.2測試機構的組織管理(126)

5.5.3測試組織的測試能力成熟度模型(126)

5.6本章小結(128)

第6章軟體驗收、交付與維護(129)

6.1概述(129)

6.2軟體產品的驗收和交付(129)

6.2.1驗收的級別和條件(129)

6.2.2驗收和交付過程(129)

6.2.3軟體研製報告(132)

6.3軟體定型(133)

6.3.1軟體定型的級別(133)

6.3.2軟體定型程式(133)

6.4軟體維護(136)

6.4.1軟體維護的相關知識(136)

6.4.2航天型號軟體維護的一般要求(138)

6.4.3軟體可維護性(139)

6.4.4提高軟體可維護性的方法(140)

6.4.5軟體維護的過程(142)

6.5星載軟體的在軌維護問題(144)

6.6軟體維護的其他問題(145)

6.6.1維護工具(145)

6.6.2軟體維護與軟體重新設計(145)

6.7程式維護手冊文檔(145)

6.8本章小結(145)

第7章軟體可靠性與安全性(146)

7.1概述(146)

7.1.1軟體可靠性(146)

7.1.2軟體安全性(147)

7.1.3軟體可靠性與軟體安全性(147)

7.1.4軟體的可靠性和安全性與其他產品的可靠性和安全性(148)

7.2軟體失效機理與軟體可靠性和安全性措施(150)

7.2.1軟體失效機理(150)

7.2.2軟體可靠性和安全性措施(152)

7.3軟體研製各階段的軟體可靠性和安全性要求(154)

7.3.1系統需求分析和設計階段(154)

7.3.2軟體需求分析階段(155)

7.3.3軟體概要設計階段(156)

7.3.4軟體詳細設計階段(157)

7.3.5軟體實現階段(158)

7.3.6軟體集成和驗收測試階段(158)

7.3.7軟體運行和維護階段(159)

7.4軟體可靠性和安全性方法(159)

7.4.1故障樹分析(SFTA)(159)

7.4.2軟體故障模式及影響分析(SFMEA)(162)

7.4.3恢復塊(166)

7.4.4數據冗餘(167)

7.4.5軟體可靠性和安全性設計檢查單(168)

7.4.6軟體可靠性度量(171)

7.4.7軟體可靠性評價(178)

7.5本章小結(180)

第8章軟體配置管理(181)

8.1概述(181)

8.1.1配置和配置管理(181)

8.1.2配置管理的基本要求(182)

8.1.3基線(182)

8.1.4配置管理庫(183)

8.1.5配置管理的組織結構和職責(183)

8.1.6配置管理工具(184)

8.2配置管理活動(184)

8.2.1配置標識(184)

8.2.2配置控制(186)

8.2.3配置記錄和狀態報告(188)

8.2.4配置審核（審計）(188)

8.2.5產品發放及其他(189)

8.3配置管理計畫(189)

8.3.1配置管理計畫的必要性(189)

8.3.2配置管理計畫格式(189)

8.4本章小結(194)

第9章軟體工程環境(198)

9.1概述(198)

9.2軟體工程環境的構成(198)

9.2.1軟體工程環境的主要組成及其關係(198)

9.2.2軟體工程環境主要構成工具介紹(199)

9.3軟體工程環境的集成和套用(203)

9.3.1軟體工程環境的集成(203)

9.3.2軟體工程環境的套用(204)

9.4本章小結(205)

第10章軟體產品保證(206)

10.1概述(206)

10.2軟體產品保證管理(206)

10.2.1工作體系(206)

10.2.2組織和職責(207)

10.2.3軟體產品保證程式(207)

10.2.4軟體問題報告系統(209)

10.2.5風險管理和關鍵項控制(210)

10.2.6外協單位的控制(210)

10.2.7評估和改進過程(210)

10.3軟體產品過程保證(211)

10.3.1軟體生存周期(211)

10.3.2適用於所有軟體工程過程的產品保證(211)

10.3.3適用於單個軟體工程過程的產品保證(214)

10.3.4培訓(217)

10.4軟體產品質量保證(218)

10.4.1產品質量需求(218)

10.4.2產品度量(219)

10.4.3驗證和確認(219)

10.4.4評審(220)

10.4.5軟體質量與可靠性數據包(223)

10.4.6質量數據收集分析(223)

10.5本章小結(223)

第11章航天型號軟體工程發展展望(224)

11.1概述(224)

11.2航天型號軟體工程發展動態(224)

11.2.1推進軟體產品化(224)

11.2.2全面保證軟體可信性與安全性(225)

11.2.3廣泛採用工具環境(225)

11.2.4實施基於CMMI的過程改進(225)

11.3用系統工程方法提升航天軟體工程化水平(226)

11.3.1開展型號信息系統總體分析與設計(226)

11.3.2加強軟體工程的系統管理(226)

11.3.3系統提高軟體工程技術水平(227)

11.4本章小結(227)

附錄縮略語列表(228)

參考文獻(230)

作品影響

該作品獲得第三屆“三個一百”原創出版工程科學技術類作品獎。

版本信息

作　者：王巍 著

出 版 社：中國宇航出版社

叢 書 名：航天科技圖書出版基金

出版時間：2010-10-1

版　次：1

頁　數：586

字　數：525000

印刷時間：2010-10-1

開　本：大32開

紙　張：膠版紙

印　次：1I S B N：9787802189140

包　裝：精裝