模型檢驗(yàn)常用方法有哪些？

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

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

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

高效性分析：時(shí)空復(fù)雜度分析與現(xiàn)有進(jìn)行比較

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

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

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

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

你說(shuō)得有點(diǎn)復(fù)雜，我?guī)湍憷碇币幌拢?/p>

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

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

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

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

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

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

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

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

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

8、完成上級(jí)交辦的其他工作。

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

2、負(fù)責(zé)本行政區(qū)域內(nèi)重大動(dòng)物疫病的診斷、監(jiān)測(cè)；動(dòng)物流行病學(xué)調(diào)查，疫情評(píng)估，重大動(dòng)物疫病防控風(fēng)險(xiǎn)評(píng)估和重大動(dòng)物疫情預(yù)報(bào)、預(yù)警工作；

3、疫情測(cè)報(bào)站的管理；

4、動(dòng)物疫情信息收集、匯總、分析、報(bào)告；對(duì)獸醫(yī)實(shí)驗(yàn)室進(jìn)行技術(shù)指導(dǎo)、培訓(xùn)和管理；

5、動(dòng)物疫病預(yù)防與控制技術(shù)的推廣、指導(dǎo)、培訓(xùn)；

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

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

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

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

10、動(dòng)物疫病檢測(cè)、檢驗(yàn)方法的研究開(kāi)發(fā)和推廣等。

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

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