模型檢驗常用方法有哪些？

正確性分析：（模型穩(wěn)定性分析，穩(wěn)健性分析，收斂性分析，變化趨勢分析，極值分析等）

有效性分析：誤差分析，參數(shù)敏感性分析，模型對比檢驗

有用性分析：關(guān)鍵數(shù)據(jù)求解，極值點，拐點，變化趨勢分析，用數(shù)據(jù)驗證動態(tài)模擬。

高效性分析：時空復雜度分析與現(xiàn)有進行比較

模型檢測(model checking)是一種很重要的自動驗證技術(shù)。它最早由Clarke和Emerson以及Quielle和Sifakis在1981年分別提出，主要通過顯式狀態(tài)搜索或隱式不動點計算來驗證有窮狀態(tài)并發(fā)系統(tǒng)的模態(tài)/命題性質(zhì)。由于模型檢測可以自動執(zhí)行，并能在系統(tǒng)不滿足性質(zhì)時提供反例路徑，因此在工業(yè)界比演繹證明更受推崇。盡管限制在有窮系統(tǒng)上是一個缺點，但模型檢測可以應(yīng)用于許多非常重要的系統(tǒng)，如硬件控制器和通信協(xié)議等有窮狀態(tài)系統(tǒng)。很多情況下，可以把模型檢測和各種抽象與歸納原則結(jié)合起來驗證非有窮狀態(tài)系統(tǒng)(如實時系統(tǒng))。

模型檢測(model checking)是一種很重要的自動驗證技術(shù)。它最早由Clarke和Emerson以及Quielle和Sifakis在1981年分別提出，主要通過顯式狀態(tài)搜索或隱式不動點計算來驗證有窮狀態(tài)并發(fā)系統(tǒng)的模態(tài)/命題性質(zhì)。由于模型檢測可以自動執(zhí)行，并能在系統(tǒng)不滿足性質(zhì)時提供反例路徑，因此在工業(yè)界比演繹證明更受推崇。盡管限制在有窮系統(tǒng)上是一個缺點，但模型檢測可以應(yīng)用于許多非常重要的系統(tǒng)，如硬件控制器和通信協(xié)議等有窮狀態(tài)系統(tǒng)。很多情況下，可以把模型檢測和各種抽象與歸納原則結(jié)合起來驗證非有窮狀態(tài)系統(tǒng)(如實時系統(tǒng))。

模型檢測的基本思想是用狀態(tài)遷移系統(tǒng)(S)表示系統(tǒng)的行為，用模態(tài)邏輯公式(F)描述系統(tǒng)的性質(zhì)。這樣“系統(tǒng)是否具有所期望的性質(zhì)”就轉(zhuǎn)化為數(shù)學問題“狀態(tài)遷移系統(tǒng)S是否是公式F的一個模型”，用公式表示為S╞F。對有窮狀態(tài)系統(tǒng)，這個問題是可判定的，即可以用計算機程序在有限時間內(nèi)自動確定。

獸醫(yī)、動物衛(wèi)生監(jiān)督所，動物疾病預防控制中心，畜牧獸醫(yī)站，動物檢疫站這些部門的主要職能和關(guān)系

你說得有點復雜，我?guī)湍憷碇币幌拢?/p>

一、獸醫(yī)，一般是指人，如官方獸醫(yī)（負責檢疫監(jiān)督等工作）、執(zhí)業(yè)獸醫(yī)（開診所、醫(yī)動物等）

二、.動物衛(wèi)生監(jiān)督所和動物疾病預防控制中心，一般只有縣級以上才設(shè)置，鄉(xiāng)鎮(zhèn)級沒有。

A.動物衛(wèi)生監(jiān)督所：1、根據(jù)畜牧獸醫(yī)行政主管部門的要求，提出有關(guān)畜牧獸醫(yī)的法規(guī)和政策建議，承擔全市畜牧獸醫(yī)行政執(zhí)法工作，提出行政執(zhí)法工作措施。

2、實施對動物防疫、動物及動物產(chǎn)品檢疫的監(jiān)督和管理，承擔全市動物衛(wèi)生監(jiān)督工作的業(yè)務(wù)指導。

3、實施種畜禽生產(chǎn)經(jīng)營的監(jiān)督和管理。

4、實施對草山草坡的建設(shè)、保護、開發(fā)利用的監(jiān)督和管理。

5、實施對違反畜牧獸醫(yī)法律法規(guī)案件的調(diào)查和處理。

6、承擔全市動物及動物產(chǎn)品安全、獸藥、飼料、飼料添加劑等的監(jiān)督管理工作。

7、依法對畜牧獸醫(yī)發(fā)放的相關(guān)證照進行監(jiān)督和管理。

8、完成上級交辦的其他工作。

B、動物疾病預防控制中心：1、組織實施動物疫病防治規(guī)劃，負責監(jiān)督實施重大動物疫病的預防、控制、撲滅和處置工作。

2、負責本行政區(qū)域內(nèi)重大動物疫病的診斷、監(jiān)測；動物流行病學調(diào)查，疫情評估，重大動物疫病防控風險評估和重大動物疫情預報、預警工作；

3、疫情測報站的管理；

4、動物疫情信息收集、匯總、分析、報告；對獸醫(yī)實驗室進行技術(shù)指導、培訓和管理；

5、動物疫病預防與控制技術(shù)的推廣、指導、培訓；

6.實驗室生物安全監(jiān)管網(wǎng)絡(luò)管理；

7、動物免疫用生物制品的組織供應(yīng)；

8、動物防疫、檢疫技術(shù)爭議的鑒定和仲裁；

9、獸藥、飼料質(zhì)量和畜產(chǎn)品有害物質(zhì)殘留檢驗、監(jiān)測；

10、動物疫病檢測、檢驗方法的研究開發(fā)和推廣等。

三、鄉(xiāng)鎮(zhèn)級的畜牧獸醫(yī)站或動物檢疫站

這個就不要說得太多了，主要是負責檢疫及動物防疫工作。。。。這些工作由縣級畜牧獸醫(yī)局及動物衛(wèi)生監(jiān)督所委托