干涉型光纖陀螺儀技術(shù)

本書從陀螺儀表研究和設(shè)計(jì)的角度，系統(tǒng)論述了干涉型光纖陀螺儀的工作原理、誤差機(jī)理、設(shè)計(jì)與工藝技術(shù)等方面的理論、方法與技術(shù)。全書共14章，主要包括光纖陀螺儀的基本原理;光纖陀螺儀自身及物理場和應(yīng)用環(huán)境引起的誤差機(jī)理及抑制方法:光電子器件與光纖陀螺儀性能的關(guān)系;光纖陀螺儀信號檢測方法及提高陀螺儀性能的方法與技術(shù):光纖陀螺儀的設(shè)計(jì)與工藝技術(shù):光纖陀螺儀的誤差模型等，另外還討論了其他類型的光纖陀螺儀、光纖陀螺儀的技術(shù)發(fā)展動向以及相關(guān)技術(shù)在傳感器等方面的推廣應(yīng)用。

本書研究內(nèi)容、理論方法與工程實(shí)踐緊密結(jié)合，可供從事光纖陀螺儀及干涉型光纖傳感技術(shù)研究、產(chǎn)品研制與應(yīng)用的科技人員和高等院校相關(guān)專業(yè)師生參考。

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

1?1概述(1)

1?1?1軟件概述(1)

1?1?2航天軟件及航天型號軟件的組成及特點(diǎn)(2)

1?1?3航天型號軟件的關(guān)鍵性劃分原則(4)

1?2軟件工程的基本原則及工作內(nèi)容(5)

1?2?1軟件工程與系統(tǒng)工程(5)

1.2.2軟件工程的工作內(nèi)容(6)

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

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

1.3.1軟件設(shè)計(jì)與系統(tǒng)設(shè)計(jì)的關(guān)系(12)

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

1.3.3型號軟件研制各階段的技術(shù)工作(14)

1.4型號軟件研制的組織與管理(18)

1.4.1型號軟件研制的組織與職責(zé)(18)

1.4.2型號軟件研制的策劃(19)

1.4.3型號軟件研制各階段的管理任務(wù)(19)

1.5本章小結(jié)(23)

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

2.1概述(24)

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

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

2.2軟件任務(wù)書的一般要求(25)

2.2.1系統(tǒng)需求分析與設(shè)計(jì)階段與軟件任務(wù)書有關(guān)的任務(wù)(25)

2.2.2軟件任務(wù)書的基本要求(26)

2.2.3軟件任務(wù)書的格式及內(nèi)容要求(27)

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

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

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

2.3.3需求規(guī)格說明的檢查與確認(rèn)(31)

2.3.4需求評審(31)

2.3.5需求分析管理(31)

2.4編寫"軟件需求規(guī)格說明"的要求(31)

2.4.1需求規(guī)格說明的主要內(nèi)容(31)

2.4.2"軟件需求規(guī)格說明"的格式(32)

2.4.3需求規(guī)格說明的質(zhì)量要求(42)

2.5軟件需求的編寫要點(diǎn)(42)

2.5.1功能需求的編寫(42)

2.5.2性能需求的編寫(46)

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

2.6軟件需求文檔中經(jīng)常出現(xiàn)的問題(47)

2.6.1一般問題(47)

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

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

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

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

2.7"軟件需求規(guī)格說明"的檢查和驗(yàn)證方法(48)

2.7.1人工檢查(48)

2.7.2采用結(jié)構(gòu)化方法檢查(50)

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

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

2.8本章小結(jié)(52)

第3章軟件概要設(shè)計(jì)(53)

3.1概述(53)

3.2結(jié)構(gòu)化設(shè)計(jì)的概念和原則(54)

3.2.1抽象與細(xì)化求精(54)

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

3.2.3有效的模塊設(shè)計(jì)--模塊獨(dú)立性(54)

3.2.4軟件的體系結(jié)構(gòu)(57)

3.2.5程序結(jié)構(gòu)(57)

3.3概要設(shè)計(jì)階段的工作過程(57)

3.3.1復(fù)核并理解軟件需求文檔(58)

3.3.2建立物理模型(58)

3.3.3編寫概要設(shè)計(jì)說明(59)

3.3.4編寫組裝測試初步計(jì)劃(59)

3.3.5概要設(shè)計(jì)階段評審(59)

3.4軟件的結(jié)構(gòu)化設(shè)計(jì)的圖形工具(60)3.4.1HIPO圖(60)

3.4.2結(jié)構(gòu)圖(60)

3.4.3狀態(tài)轉(zhuǎn)移表(60)

3.5面向數(shù)據(jù)流的設(shè)計(jì)方法(61)

3.5.1變換型結(jié)構(gòu)映射(61)

3.5.2事務(wù)型結(jié)構(gòu)映射(63)

3.5.3優(yōu)化程序結(jié)構(gòu)設(shè)計(jì)(64)

3.6實(shí)時嵌入式系統(tǒng)軟件的設(shè)計(jì)(66)

3.6.1實(shí)時系統(tǒng)概述(66)

3.6.2任務(wù)調(diào)度策略(68)

3.6.3實(shí)時系統(tǒng)的軟件任務(wù)結(jié)構(gòu)化設(shè)計(jì)(71)

3.7概要設(shè)計(jì)的質(zhì)量要求(73)

3.8概要設(shè)計(jì)文檔的基本內(nèi)容(74)

3.8.1GB/ T 8567-2006格式的"軟件概要設(shè)計(jì)說明"模板(74)

3.8.2QJ 1912.7-2003格式的"軟件概要設(shè)計(jì)說明"的內(nèi)容安排(78)

3.9本章小結(jié)(80)

第4章軟件詳細(xì)設(shè)計(jì)與實(shí)現(xiàn)(81)

4.1概述(81)

4.1.1詳細(xì)設(shè)計(jì)的基本概念(81)

4.1.2詳細(xì)設(shè)計(jì)的任務(wù)和內(nèi)容(81)

4.1.3詳細(xì)設(shè)計(jì)文檔的用途(82)

4.1.4詳細(xì)設(shè)計(jì)的質(zhì)量要求(82)

4.2詳細(xì)設(shè)計(jì)工作過程(83)

4.2.1理解概要設(shè)計(jì)(83)

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

4.2.3規(guī)定軟件單元間接口(84)

4.2.4設(shè)計(jì)算法和細(xì)節(jié)(84)

4.2.5進(jìn)行過程描述(84)

4.2.6進(jìn)行可靠性、安全性設(shè)計(jì)(84)

4.2.7編寫詳細(xì)設(shè)計(jì)說明(84)

4.2.8編寫初步單元測試計(jì)劃(84)

4.2.9建立并填寫單元開發(fā)卷宗(85)

4.2.10詳細(xì)設(shè)計(jì)評審(85)

4.3詳細(xì)設(shè)計(jì)方法和技術(shù)(85)

4.3.1結(jié)構(gòu)化程序設(shè)計(jì)(簡稱SP方法)(85)

4.3.2軟件可靠性、安全性設(shè)計(jì)(86)

4.3.3詳細(xì)設(shè)計(jì)工具(86)

4.4詳細(xì)設(shè)計(jì)文檔格式(91)

4.5軟件實(shí)現(xiàn)的任務(wù)與過程(91)

4.5.1理解"詳細(xì)設(shè)計(jì)"(92)

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

4.5.3代碼調(diào)試(93)

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

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

4.6軟件實(shí)現(xiàn)的技術(shù)和方法(93)

4.6.1結(jié)構(gòu)化編程方法(93)

4.6.2一般軟件的編程規(guī)則(94)

4.6.3安全性關(guān)鍵軟件的編程規(guī)則(98)

4.6.4"航天器軟件編程約定"簡介(98)

4.7編程的質(zhì)量要求(99)

4.8本章小結(jié)(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確認(rèn)測試(108)

5.2.5第三方獨(dú)立確認(rèn)測試(109)

5.2.6系統(tǒng)聯(lián)試(110)

5.2.7回歸測試(111)

5.2.8其他階段的測試(113)

5.3主要測試內(nèi)容(113)

5.3.1功能測試(114)

5.3.2性能測試(115)

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

5.3.4強(qiáng)度測試(116)

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

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

5.4軟件測試技術(shù)及工具(117)

5.4.1靜態(tài)測試技術(shù)(118)

5.4.2測試用例設(shè)計(jì)技術(shù)(119)

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

5.4.4嵌入式測試環(huán)境搭建技術(shù)(123)

5.4.5軟件測試工具與環(huán)境(123)

5.5測試質(zhì)量的控制(125)

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

5.5.2測試機(jī)構(gòu)的組織管理(126)

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

5.6本章小結(jié)(128)

第6章軟件驗(yàn)收、交付與維護(hù)(129)

6.1概述(129)

6.2軟件產(chǎn)品的驗(yàn)收和交付(129)

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

6.2.2驗(yàn)收和交付過程(129)

6.2.3軟件研制報告(132)

6.3軟件定型(133)

6.3.1軟件定型的級別(133)

6.3.2軟件定型程序(133)

6.4軟件維護(hù)(136)

6.4.1軟件維護(hù)的相關(guān)知識(136)

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

6.4.3軟件可維護(hù)性(139)

6.4.4提高軟件可維護(hù)性的方法(140)

6.4.5軟件維護(hù)的過程(142)

6.5星載軟件的在軌維護(hù)問題(144)

6.6軟件維護(hù)的其他問題(145)

6.6.1維護(hù)工具(145)

6.6.2軟件維護(hù)與軟件重新設(shè)計(jì)(145)

6.7程序維護(hù)手冊文檔(145)

6.8本章小結(jié)(145)

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

7.1概述(146)

7.1.1軟件可靠性(146)

7.1.2軟件安全性(147)

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

7.1.4軟件的可靠性和安全性與其他產(chǎn)品的可靠性和安全性(148)

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

7.2.1軟件失效機(jī)理(150)

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

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

7.3.1系統(tǒng)需求分析和設(shè)計(jì)階段(154)

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

7.3.3軟件概要設(shè)計(jì)階段(156)

7.3.4軟件詳細(xì)設(shè)計(jì)階段(157)

7.3.5軟件實(shí)現(xiàn)階段(158)

7.3.6軟件集成和驗(yàn)收測試階段(158)

7.3.7軟件運(yùn)行和維護(hù)階段(159)

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

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

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

7.4.3恢復(fù)塊(166)

7.4.4數(shù)據(jù)冗余(167)

7.4.5軟件可靠性和安全性設(shè)計(jì)檢查單(168)

7.4.6軟件可靠性度量(171)

7.4.7軟件可靠性評價(178)

7.5本章小結(jié)(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配置管理的組織結(jié)構(gòu)和職責(zé)(183)

8.1.6配置管理工具(184)

8.2配置管理活動(184)

8.2.1配置標(biāo)識(184)

8.2.2配置控制(186)

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

8.2.4配置審核(審計(jì))(188)

8.2.5產(chǎn)品發(fā)放及其他(189)

8.3配置管理計(jì)劃(189)

8.3.1配置管理計(jì)劃的必要性(189)

8.3.2配置管理計(jì)劃格式(189)

8.4本章小結(jié)(194)

第9章軟件工程環(huán)境(198)

9.1概述(198)

9.2軟件工程環(huán)境的構(gòu)成(198)

9.2.1軟件工程環(huán)境的主要組成及其關(guān)系(198)

9.2.2軟件工程環(huán)境主要構(gòu)成工具介紹(199)

9.3軟件工程環(huán)境的集成和應(yīng)用(203)

9.3.1軟件工程環(huán)境的集成(203)

9.3.2軟件工程環(huán)境的應(yīng)用(204)

9.4本章小結(jié)(205)

第10章軟件產(chǎn)品保證(206)

10.1概述(206)

10.2軟件產(chǎn)品保證管理(206)

10.2.1工作體系(206)

10.2.2組織和職責(zé)(207)

10.2.3軟件產(chǎn)品保證程序(207)

10.2.4軟件問題報告系統(tǒng)(209)

10.2.5風(fēng)險管理和關(guān)鍵項(xiàng)控制(210)

10.2.6外協(xié)單位的控制(210)

10.2.7評估和改進(jìn)過程(210)

10.3軟件產(chǎn)品過程保證(211)

10.3.1軟件生存周期(211)

10.3.2適用于所有軟件工程過程的產(chǎn)品保證(211)

10.3.3適用于單個軟件工程過程的產(chǎn)品保證(214)

10.3.4培訓(xùn)(217)

10.4軟件產(chǎn)品質(zhì)量保證(218)

10.4.1產(chǎn)品質(zhì)量需求(218)

10.4.2產(chǎn)品度量(219)

10.4.3驗(yàn)證和確認(rèn)(219)

10.4.4評審(220)

10.4.5軟件質(zhì)量與可靠性數(shù)據(jù)包(223)

10.4.6質(zhì)量數(shù)據(jù)收集分析(223)

10.5本章小結(jié)(223)

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

11.1概述(224)

11.2航天型號軟件工程發(fā)展動態(tài)(224)

11.2.1推進(jìn)軟件產(chǎn)品化(224)

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

11.2.3廣泛采用工具環(huán)境(225)

11.2.4實(shí)施基于CMMI的過程改進(jìn)(225)

11.3用系統(tǒng)工程方法提升航天軟件工程化水平(226)

11.3.1開展型號信息系統(tǒng)總體分析與設(shè)計(jì)(226)

11.3.2加強(qiáng)軟件工程的系統(tǒng)管理(226)

11.3.3系統(tǒng)提高軟件工程技術(shù)水平(227)

11.4本章小結(jié)(227)

附錄縮略語列表(228)

參考文獻(xiàn)(230)

作 者:王巍 著

出 版 社:中國宇航出版社

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

出版時間:2010-10-1

版 次:1

頁 數(shù):586

字 數(shù):525000

印刷時間:2010-10-1

開 本:大32開

紙 張:膠版紙

印 次:1I S B N:9787802189140

包 裝:精裝

目前常見的干涉型光纖傳感器有如下四種: