日韩精品 中文字幕 动漫,91亚洲午夜一区,在线不卡日本v一区v二区丶,久久九九国产精品自在现拍





		



注冊  |  登錄讀書好，好讀書，讀好書！






        
讀書網(wǎng)-DuShu.com

        
         
                
      	
                
                	
                    
                    
                

                
            
        

        

               

				
				
				
       
        




















	當(dāng)前位置： 首頁出版圖書科學(xué)技術(shù)交通運(yùn)輸鐵路運(yùn)輸列車運(yùn)行控制系統(tǒng)規(guī)范建模與驗(yàn)證

	



    
    

    
列車運(yùn)行控制系統(tǒng)規(guī)范建模與驗(yàn)證

    

	
列車運(yùn)行控制系統(tǒng)規(guī)范建模與驗(yàn)證
	
	

	

	

	
定　價(jià)：￥30.00

	

			
					

						作　者：
						唐濤，徐田華，趙林 著
					

					

						出版社：
						中國鐵道出版社
					

					

						叢編項(xiàng)：
						
					

					

						標(biāo)　簽：
						鐵路運(yùn)輸
					

				
	
	

    
	
	

	

			
					

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

        

   

    
    
    
	
	
	
	
內(nèi)容簡介

	

	
　　《列車運(yùn)行控制系統(tǒng)規(guī)范建模與驗(yàn)證》主要介紹了實(shí)現(xiàn)列控系統(tǒng)需求規(guī)范的嚴(yán)格建模與驗(yàn)證所必須的理論、方法和關(guān)鍵技術(shù)，內(nèi)容包括現(xiàn)代列車運(yùn)行控制系統(tǒng)的特點(diǎn)和相關(guān)標(biāo)準(zhǔn)規(guī)范、系統(tǒng)規(guī)范的嚴(yán)格建模與驗(yàn)證體系、模型檢驗(yàn)相關(guān)基礎(chǔ)知識(shí)、需求規(guī)范的管理和追蹤、列控領(lǐng)域的UML建模以及針對(duì)CTCS－3系統(tǒng)規(guī)范展開的實(shí)例分析。《列車運(yùn)行控制系統(tǒng)規(guī)范建模與驗(yàn)證》內(nèi)容豐富，注重背景，可以作為研究生、教師以及軌道交通控制領(lǐng)域相關(guān)的科研人員了解列控系統(tǒng)規(guī)范的建模與驗(yàn)證的基本思想和方法的參考書。
	
	
	
   
	
	
	
作者簡介

	

	
暫缺《列車運(yùn)行控制系統(tǒng)規(guī)范建模與驗(yàn)證》作者簡介
	
	
	
	
	
	
圖書目錄

	

	
第一章　概  述
　第一節(jié)　軌道交通列控系統(tǒng)發(fā)展趨勢
　第二節(jié)　列控系統(tǒng)規(guī)范驗(yàn)證的意義
　第三節(jié)　列控系統(tǒng)規(guī)范的建模驗(yàn)證方法
　第四節(jié)　列控系統(tǒng)規(guī)范的嚴(yán)格建模與驗(yàn)證體系
　本章參考文獻(xiàn)
第二章  系統(tǒng)需求規(guī)范建模與驗(yàn)證基礎(chǔ)
  第一節(jié)　系統(tǒng)需求規(guī)范
  第二節(jié)　驗(yàn)證和確認(rèn)的概念
  第三節(jié)　系統(tǒng)開發(fā)模型
  第四節(jié)　UML基礎(chǔ)知識(shí)
  第五節(jié)　符號(hào)模型檢驗(yàn)
  本章參考文獻(xiàn)
第三章  列控系統(tǒng)的需求規(guī)范驗(yàn)證內(nèi)容與體系
　第一節(jié)　列控系統(tǒng)需求規(guī)范驗(yàn)證內(nèi)容
　第二節(jié)　列控系統(tǒng)需求規(guī)范驗(yàn)證方法體系
　第三節(jié)　列控系統(tǒng)需求規(guī)范驗(yàn)證流程
　本章參考文獻(xiàn)
第四章　需求規(guī)范的管理
　第一節(jié)　需求規(guī)范管理的概念與意義
　第二節(jié)　需求規(guī)范管理的任務(wù)
　第三節(jié)　需求規(guī)范管理流程
　本章參考文獻(xiàn)
第五章　列控系統(tǒng)的UML建模
　第一節(jié)　列控系統(tǒng)UML模型庫
　第二節(jié)　列控系統(tǒng)規(guī)范的UML模型
　本章參考文獻(xiàn)
第六章　列控系統(tǒng)的形式化驗(yàn)證
　第一節(jié)　列控系統(tǒng)規(guī)范UML模型到NuSMV的轉(zhuǎn)換
　第二節(jié)　列控系統(tǒng)模型的約簡
　第三節(jié)　列控系統(tǒng)規(guī)范驗(yàn)證結(jié)果分析
　本章參考文獻(xiàn)
第七章　實(shí)例分析
  第一節(jié)　背景介紹
  第二節(jié)　需求規(guī)范管理
  第三節(jié)　CTCS一3級(jí)系統(tǒng)需求規(guī)范的UML建模
  第四節(jié)　NuSMV轉(zhuǎn)換
  第五節(jié)　驗(yàn)證結(jié)果分析
  本章參考文獻(xiàn)
附錄A　NuSMV系統(tǒng)簡介
附錄B　系統(tǒng)開發(fā)模型介紹
	
	

	

    
       
    
	
	

   

   

   

    
   

   
本目錄推薦







掃描二維碼










    

        

            
        

        
Copyright ? 讀書網(wǎng) rgspecialties.com 2005-2020, All Rights Reserved.

        
鄂ICP備15019699號(hào)  鄂公網(wǎng)安備 42010302001612號(hào)