檢測系統模型的方法

❶ 如何不用ctc實現ltl模型檢測演算法

模型檢測是一種基於模型的、自動的、對系統性質進行驗證的方法，它預期用於並發的、反應式系統，最初作為一種開發後方法論出現，是一種對有限狀態並發系統進行自動檢測的方法。模型檢測是基於時態邏輯的，主要涉及到兩種時態邏輯：
一種是線性時態邏輯LTL(LinearTemporalLogic)
另一種是分支時間邏輯，即計算樹邏輯CTL(ComputationalTreeLogic)。
模型檢測方法檢測給定系統的初始狀態是否滿足LTL或CTL公式。

❷ 面向形式化規格語言模型檢測工具和面向源程序模型檢測工具的區別

根據說明目標軟體系統的方式，形式化方法可以分為兩類：1）面向模型的形式化方法。面向模型的方法通過構造一個數學模型來說明系統的行為。2）面向屬性的形式化方法。面向屬性的方法通過描述目標軟體系統的各種屬性來間接定義系統行為。

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

正確性分析：（模型穩定性分析，穩健性分析，收斂性分析，變化趨勢分析，極值分析等）
有效性分析：誤差分析，參數敏感性分析，模型對比檢驗
有用性分析：關鍵數據求解，極值點，拐點，變化趨勢分析，用數據驗證動態模擬。
高效性分析：時空復雜度分析與現有進行比較

❹ 系統分析方法有哪幾種

系統分析方法（System Analysis Method）

什麼是系統分析方法
系統分析方法是指把要解決的問題作為一個系統，對系統要素進行綜合分析，找出解決問題的可行方案的咨詢方法。蘭德公司認為，系統分析是一種研究方略，它能在不確定的情況下，確定問題的本質和起因，明確咨詢目標，找出各種可行方案，並通過一定標准對這些方案進行比較，幫助決策者在復雜的問題和環境中作出科學抉擇。

系統分析方法來源於系統科學。系統科學是20世紀40年代以後迅速發展起來的一個橫跨各個學科的新的科學部門，它從系統的著眼點或角度去考察和研究整個客觀世界，為人類認識和改造世界提供了科學的理論和方法。它的產生和發展標標志著人類的科學思維由主要以「實物為中心」逐漸過渡到以「系統為中心」，是科學思維的一個劃時代突破。

系統分析是咨詢研究的最基本的方法，我們可以把一個復雜的咨詢項目看成為系統工程，通過系統目標分析、系統要素分析、系統環境分析、系統資源分析和系統管理分析，可以准確地診斷問題，深刻地揭示問題起因，有效地提出解決方案和滿足客戶的需求。

咨詢工具
安索夫矩陣
案例面試分
析工具/框架
ADL矩陣
安迪·格魯夫的
六力分析模型
波士頓矩陣
標桿分析法
波特五力分析
模型
波特價值鏈
分析模型
波士頓經驗曲線
波特鑽石理論模型
貝恩利潤池
分析工具
波特競爭戰略
輪盤模型
波特行業競爭結構
分析模型
波特的行業組織
模型
變革五因素
BCG三四規則矩陣
產品/市場演變
矩陣
差距分析
策略資訊系統
策略方格模型
CSP模型
創新動力模型
定量戰略計劃矩陣
大戰略矩陣
多點競爭戰略
杜邦分析法
定向政策矩陣
德魯克七種
革新來源
二元核心模式
服務金三角
福克納和鮑曼的
顧客矩陣
福克納和鮑曼的
生產者矩陣
FRICT籌資分析法
GE矩陣
蓋洛普路徑
公司層戰略框架
高級SWOT分析法
股東價值分析
供應和需求模型
關鍵成功因素
分析法
崗位價值評估
規劃企業願景的
方法論框架
核心競爭力分析
模型
華信惠悅人力
資本指數
核心競爭力識別
工具
環境不確定性分析
行業內的戰略群體
分析矩陣
橫向價值鏈分析
行業內戰略集團
分析
IT附加價值矩陣
競爭態勢矩陣
基本競爭戰略
競爭戰略三角模型
競爭對手分析論綱
價值網模型
績效稜柱模型
價格敏感性測試法
競爭對手的成本分析
競爭優勢因果關系
模式
競爭對手分析工具
價值鏈分析方法
腳本法
競爭資源四層次模型
價值鏈信息化管理
KJ法
卡片式智力激勵法
KT決策法
擴張方法矩陣
利益相關者分析
雷達圖分析法
盧因的力場分析法
六頂思考帽
利潤庫分析法
流程分析模型
麥肯錫7S模型
麥肯錫七步分析法
麥肯錫三層面理論
麥肯錫邏輯樹分析法
麥肯錫七步成詩法
麥肯錫客戶盈利性
矩陣
麥肯錫5Cs模型
內部外部矩陣
內部因素評價矩陣
諾蘭的階段模型
牛皮紙法
內部價值鏈分析
NMN矩陣分析模型
PEST分析模型
PAEI管理角色模型
PIMS分析
佩羅的技術分類
PESTEL分析模型
企業素質與活力分析
QFD法
企業價值關聯分析
模型
企業競爭力九力分析
模型
企業戰略五要素分析法
人力資源成熟度模型
人力資源經濟分析
RATER指數
RFM模型
瑞定的學習模型
GREP模型
人才模型
ROS/RMS矩陣
3C戰略三角模型
SWOT分析模型
四鏈模型
SERVQUAL模型
SIPOC模型
SCOR模型
三維商業定義
虛擬價值鏈
SFO模型
SCP分析模型
湯姆森和斯特克蘭
方法
V矩陣
陀螺模型
外部因素評價矩陣
威脅分析矩陣
新7S原則
行為錨定等級評價法
新波士頓矩陣
系統分析方法
系統邏輯分析方法
實體價值鏈
信息價值鏈模型
戰略實施模型
戰略鍾模型
戰略地位與行動
評價矩陣
戰略地圖
組織成長階段模型
戰略選擇矩陣
專利分析法
管理要素分析模型
戰略群模型
綜合戰略理論
縱向價值鏈分析
重要性-迫切性模型
知識鏈模型
知識價值鏈模型
知識供應鏈模型
組織結構模型
[編輯]
系統分析方法的分類
1）系統特徵分析方法；

2）系統邏輯分析方法；

3）系統工程技術。

系統分析方法的步驟
系統分析方法的具體步驟包括：限定問題、確定目標、調查研究收集數據、提出備選方案和評價標准、備選方案評估和提出最可行方案。

1、 限定問題

所謂問題，是現實情況與計劃目標或理想狀態之間的差距。系統分析的核心內容有兩個：其一是進行「診斷」，即找出問題是及其原因；其二是「開處方」，即提出解決問題的最可行方案。所謂限定問題，就是要明確問題的本質或特性、問題存在范圍和影響程度、問題產生的時間和環境、問題的症狀和原因等。限定問題是系統分析中關鍵的一步，因為如果「診斷」出錯，以後開的「處方」就不可能對症下葯。在限定問題時，要注意區別症狀和問題，探討問題原因不能先入為主，同時要判別哪些是局部問題，哪些是整體問題，問題的最後確定應該在調查研究之後。

2、確定目標

系統分析目標應該根據客戶的要求和對需要解決問題的理解加以確定，如有可能應盡量通過指標表示，以便進行定量分析。對不能定量描述的目標也應該盡量用文字說明清楚，以便進行定性分析和評價系統分析的成效。

3、調查研究，收集數據

調查研究和收集數據應該圍繞問題起因進行，一方面要驗證有限定問題階段形成的假設，另一方面要探討產生問題的根本原因，為下一步提出解決問題的備選方案做准備。

調查研究常用的有四種方式，即閱讀文件資料、訪談、觀察和調查。

收集的數據和信息包括事實（facts）、見解(opinions)和態度(attitudes)。要對數據和信息去偽存真，交叉核實，保證真實性和准確性。

4、提出備選方案和評價標准

通過深入調查研究，使真正有待解決的問題得以最終確定，使產生問題的主要原因得到明確，在此基礎上就可以有針對性地提出解決問題的備選方案。備選方案是解決問題和達到咨詢目標可供選擇的建議或設計，應提出兩種以上的備選方案，以便提供進一步評估和篩選。為了對備選方案進行評估，要根據問題的性質和客戶具備的條件。提出約束條件或評價標准，供下一步應用。

5、備選方案評估

根據上述約束條件或評價標准，對解決問題備選方案進行評估，評估應該是綜合性的，不僅要考慮技術因素，也要考慮社會經濟等因素，評估小組應該有一定代表性，除咨詢項目組成員外，也要吸收客戶組織的代表參加。根據評估結果確定最可行方案。

6、提交最可行方案

最可行方案並不一定是最佳方案，它是在約束條件之內，根據評價標准篩選出的最現實可行的方案。如果客戶滿意，則系統分析達到目標。如果客戶不滿意，則要與客戶協商調整約束條件或評價標准，甚至重新限定的問題，開始新一輪系統分析，直到客戶滿意為止。

系統分析方法的案例分析
案例一:某鍛造廠系統分析方法分析
某鍛造廠是以生產解放、東風140和東風130等汽車後半軸為主的小型企業，現在年生產能力為1.8萬根，年產值為130元。半軸生產工藝包括鍛造、熱處理、機加工、噴漆等23道工序，由於設備陳舊，前幾年對某些設備進行了更換和改造，但效果不明顯，生產能力仍然不能提高。廠領導急於要打開局面，便委託M咨詢公司進行咨詢。M咨詢公司採用系統分析進行診斷，把半軸生產過程作為一個系統進行解剖分析。通過限定問題，咨詢人員發現，在半軸生產23道工序中，生產能力嚴重失調，其中班產能力為120-190根的有9道工序，主要是機加工設備。班產能力為70-90根的有6道工序，主要是淬火和矯直設備。其餘工序班產能力在30-45根之內，都是鍛造設備。由於機加工和熱處理工序生產能力大大超過鍛造工序，造成前道工序成為「瓶頸」，嚴重限制後道工序的局面，使整體生產能力難於提高。所以，需要解決的真正問題是如何提高鍛造設備能力？

在限定問題的基礎上，咨詢人員與廠方一起確定出發展目標，即通過對鍛造設備的改造，使該廠汽車半軸生產能力和年產值都提高1倍。

圍繞如何改造鍛造設備這一問題，咨詢人員進行深入調查研究，初步提出了四個備選方案，即：新裝一台平鍛機；用軋同代替原有夾板錘；用軋制機和碾壓機代替原有夾板錘和空氣錘；增加一台空氣錘。

咨詢人員根據對廠家人力物力和資源情況的調查分析，提出對備選方案的評價標准或約束條件，即：投資不能超過20萬元；能與該廠技術水平相適應，便於維護；耗電量低；建設周期短，回收期快。咨詢小組吸收廠方代表參加，根據上述標准對各備選方案進行評估。第1個方案（新裝一台平鍛機），技術先進，但投資高，超過約束條件，應予以淘汰。對其餘三個方案，採取打分方式評比，結果第4方案（增加一台空氣錘）被確定為最可行方案，該方案具有成本低，投產周期短，耗電量低等優點，技術上雖然不夠先進，但符合小企業目前的要求，客戶對此滿意，系統分析進展順利，為該項咨詢提供了有力的工具。

本條目對我有幫助
70
分享到：

❺ 有哪些建立控制系統數學模型的方法

在控制系統的分析和設計中,首先要建立系統的數學模型.控制系統的數學模型是描述系統內部物理量(或變數)之間關系的數學表達式.在靜態條件下(即變數各階導數為零),描述變數之間關系的代數方程叫靜態數學模型；而描述變數各階導數之間關系的微分方程叫數學模型.如果已知輸入量及變數的初始條件,對微分方程求解就可以得到系統輸出量的表達式,並由此可對系統進行性能分析.因此,建立控制系統的數學模型是分析和設計控制系統的首要工作
建立控制系統數學模型的方法有分析法和實驗法兩種.分析法是對系統各部分的運動機理進行分析,根據它們所依據的物理規律或化學規律分別列寫相應的運動方程.例如,電學中有基爾霍夫定律,力學中有牛頓定律,熱力學中有熱力學定律等.實驗法是人為地給系統施加某種測試信號,記錄其輸出響應,並用適當的數學模型去逼近,這種方法稱為系統辨識.近幾年來,系統辨識已發展成一門獨立的學科分支,本章重點研究用分析法建立系統數學模型的方法.
在自動控制理論中,數學模型有多種形式.時域中常用的數學模型有微分方程、差分方程和狀態方程；復數域中有傳遞函數、結構圖；頻域中有頻率特性等.

❻ 在誤用檢測技術的實現中常見五種方法

特徵檢測又稱誤用檢測，主要有以下五種方法：
(1)基於專家系統的誤用入侵檢測

專家系統是基於知識的檢測中運用最多的一種方法。該方法將有關入侵的知識轉化成if-then結構的規則，即將構成入侵所要求的條件轉化為if部分，將發現入侵後採取的相應措
施轉化成then部分。當其中某個或某部分條件滿足時，系統就判斷為入侵行為發生。其中的if-then結構構成了描述具體攻擊的規則庫。條件部分，即if後的規則化描述，可根據審計事件得到，然後根據規則和行為進行判斷，執行then後的動作。
在具體實現中，專家系統需要從各種入侵手段中抽象出全面的規則化知識，需處理大量數據，在大型系統上尤為明顯。因此，大多運用與專家系統類似的特徵分析法。特徵分析不是將攻擊方法的語義描述轉化為檢測規則，而是在審計記錄中能直接找到的信息形式。這樣大大提高了檢測效率。這種方法的缺陷也和所有基於知識的檢測方法一樣，即需要經常為新發現的系統漏洞更新知識庫，而且由於對不同操作系統平台的具體攻擊方法和審計方式可能不同，特徵分析檢測系統必須能適應這些不同。
(2)基於模型推理的誤用入侵檢測

模型推理是指結合攻擊腳本來推斷入侵行為是否出現。其中有關攻擊者行為的知識被描述為：攻擊目的，攻擊者為達到此目的可能的行為步驟，以及對系統的特殊使用等。基於模
型推理的誤用檢測方法工作過程如下：

①根據攻擊知識建立攻擊腳本庫，每一腳本都由一系列攻擊行為組成；

②用這些攻擊腳本的子集來匹配當前行為模式，發現系統正面臨的可能攻擊；

③將當前行為模式輸入預測器模塊，產生下一個需要驗證的攻擊腳本子集，並將它傳給決策器；
④決策器根據這些假設的攻擊行為在審討記錄中的可能出現方式，將它們轉換成與特定系統匹配的審計記錄格式，然後在審計記錄中尋找相應信息來判斷這些行為模式是否為攻擊行為。

假設的初始攻擊腳本子集應易於在審計記錄中識別，並且出現頻率很高。隨著一些腳本被確認的次數增多，另一些腳本被確認的次數減少，從而攻擊腳本不斷地得到更新。
模型推理方法對不確定性的推理有合理的數學理論基礎，同時決策器使得攻擊腳本可以與審計記錄的上下文無關。另外，這種檢測方法減少了需要處理的數據量。但其創建入侵檢
測模型的工作量比較大，並且決策器轉換攻擊腳本比較復雜。

(3)基於狀態轉換分析的誤用入侵檢測

狀態轉換分析是將狀態轉換圖應用於入侵行為分析，它最早由R．Kemmerer提出。狀態轉換法將入侵過程看作一個行為序列，這個行為序列導致系統從初始狀態轉到被入侵狀態。
分析時首先針對每一種入侵方法確定系統的初始狀態和被入侵狀態，以及導致狀態轉換的轉換條件，即導致系統進人被入侵狀態必須執行的操作(特徵事件)；然後用狀態轉換圖來表示每一個狀態和特徵事件，這些事件被集成於模型中，所以檢測時不需要一個個地查找審計記錄。但是，狀態轉換是針對事件序列分析，所以不宜於分析十分復雜的事件，而且不能檢測與系統狀態無關的入侵。
(4)基於條件概率的誤用入侵檢測

基於條件概率的誤用入侵檢測方法將入侵方式對應於一個事件序列，然後通過觀測事件發生的情況來推測入侵的出現。這種方法的依據是外部事件序列，根據貝葉斯定理進行推理。
令ES表示某個事件序列，發生入侵的先驗概率為P(Intrusion)，發生入侵時該事件序列ES出現的後驗概率為P(ES Intrusion)，該事件序列出現的概率為e(ES)，則有

由於通常情況下網路安全專家可以給出先驗概率P(intrusion),由入侵報告及審計數據可得P(ESㄧintrusion)和於是有

故可以通過事件序列的觀測，推算出P(IntrusionㄧES)。

基於條件概率的誤用入侵檢測方法是在概率理論基礎上的一個普遍方法。它是對貝葉斯方法的改進，其缺點是先驗概率難以給出，而且事件的獨立性難以滿足。
(5)基於鍵盤監控的誤用入侵檢測

該方法假設入侵對應特定的擊鍵序列模式，然後監測用戶擊鍵模式，並將這一模式與入侵模式匹配，即能檢測入侵。這種方法在沒有操作系統支持的情況下，缺少捕獲用戶擊鍵的
可靠方法，而且同一種攻擊存在無數擊鍵方式表示。另外，假如沒有擊鍵語義分析，用戶使用別名命令很容易欺騙這種檢測技術。例如，用戶注冊的SHELL提供了簡寫命令序列工具，可以產生所謂的別名，類似宏定義。因為這種技術僅僅分析擊鍵，所以不能夠檢測到惡意程序執行結果的自動攻擊。但該方法相對容易實現。

❼ 系統辨識的方法

經典的系統辨識方法的發展已經比較成熟和完善，他包括階躍響應法、脈沖響應法、頻率響應法、相關分析法、譜分析法、最小二乘法和極大似然法等。其中最小二乘法(LS)是一種經典的和最基本的，也是應用最廣泛的方法。但是，最小二乘估計是非一致的，是有偏差的，所以為了克服他的缺陷，而形成了一些以最小二乘法為基礎的系統辨識方法：廣義最小二乘法(GI S)、輔助變數法(IV)、增廣最小二乘法(EI，S)和廣義最小二乘法(GI S)，以及將一般的最小二乘法與其他方法相結合的方法，有最小二乘兩步法(COR—I S)和隨機逼近演算法等。
經典的系統辨識方法還存在著一定的不足： (1)利用最小二乘法的系統辨識法一般要求輸入信號已知，並且必須具有較豐富的變化，然而，這一點在某些動態系統中，系統的輸入常常無法保證；(2)極大似然法計算耗費大，可能得到的是損失函數的局部極小值；(3)經典的辨識方法對於某些復雜系統在一些情況下無能為力。 隨著系統的復雜化和對模型精確度要求的提高，系統辨識方法在不斷發展，特別是非線性系統辨識方法。主要有：
1、集員系統辨識法
在1979年集員辨識首先出現於Fogel 撰寫的文獻中，1982年Fogel和Huang又對其做了進一步的改進。集員辨識是假設在雜訊或雜訊功率未知但有界UBB(Unknown But Bounded)的情況下，利用數據提供的信息給參數或傳遞函數確定一個總是包含真參數或傳遞函數的成員集(例如橢球體、多面體、平行六邊體等)。不同的實際應用對象，集員成員集的定義也不同。集員辨識理論已廣泛應用到多感測器信息融合處理、軟測量技術、通訊、信號處理、魯棒控制及故障檢測等方面。
2、多層遞階系統辨識法
多層遞階方法的主要思想為：以時變參數模型的辨識方法作為基礎，在輸入輸出等價的意義下，把一大類非
線性模型化為多層線性模型，為非線性系統的建模給出了一個十分有效的途徑。
3、神經網路系統辨識法
由於人工神經網路具有良好的非線性映射能力、自學習適應能力和並行信息處理能力，為解決未知不確定非線性系統的辨識問題提供了一條新的思路。
與傳統的基於演算法的辨識方法相比較，人工神經網路用於系統辨識具有以下優點：(1)不要求建立實際系統的辨識格式，可以省去對系統建模這一步驟；(2)可以對本質非線性系統進行辨識；(3)辨識的收斂速度僅與神經網路的本身及所採用的學習演算法有關；(4)通過調節神經元之間的連接權即可使網路的輸出來逼近系統的輸出；(5)神經網路也是系統的一個物理實現，可以用在在線控制。
4、模糊邏輯系統辨識法
模糊邏輯理論用模糊集合理論，從系統輸入和輸出的量測值來辨識系統的模糊模型，也是系統辨識的一個新的
和有效的方法，在非線性系統辨識領域中有十分廣泛的應用。模糊邏輯辨識具有獨特的優越性：能夠有效地辨識復雜和病態結構的系統；能夠有效地辨識具有大時延、時變、多輸入單輸出的非線性復雜系統；可以辨識性能優越的人類控制器；可以得到被控對象的定性與定量相結合的模型。模糊邏輯建模方法的主要內容可分為兩個層次：一是模型結構的辨識，另一個是模型參數的估計。典型的模糊結構辨識方法有：模糊網格法、自適應模糊網格法、模糊聚類法及模糊搜索樹法等。
5、小波網路系統辨識法
小波網路是在小波分解的基礎上提出的一種前饋神經網路口 ，使用小波網路進行動態系統辨識，成為神經網路辨識的一種新的方法。小波分析在理論上保證了小波網路在非線性函數逼近中所具有的快速性、准確性和全局收斂性等優點。小波理論在系統辨識中，尤其在非線性系統辨識中的應用潛力越來越大，為不確定的復雜的非線性系統辨識提供了一種新的有效途徑，其具有良好的應用前景。

❽ 入侵檢測系統異常檢測方法有什麼

入侵檢測技術基礎 1. IDS（入侵檢測系統）存在與發展的必然性 （1）網路安全本身的復雜性，被動式的防禦方式顯得力不從心。（2）有關供觸垛吠艹杜訛森番緝防火牆：網路邊界的設備；自身可以被攻破；對某些攻擊保護很弱；並非所有威脅均來自防火牆外部。（3）入侵很容易：入侵教程隨處可見；各種工具唾手可得 2. 入侵檢測（Intrusion Detection） ●定義：通過從計算機網路或計算機系統中的若干關鍵點收集信息並對其進行分析，從中發現網路或系統中是否有違反安全策略的行為和遭到襲擊的跡象的一種安全技術。入侵檢測的分類（1）按照分析方法/檢測原理分類 ●異常檢測（Anomaly Detection）：基於統計分析原理。首先總結正常操作應該具有的特徵（用戶輪廓），試圖用定量的方式加以描述，當用戶活動與正常行為有重大偏離時即被認為是入侵。前提：入侵是異常活動的子集。指標：漏報率低，誤報率高。用戶輪廓(Profile)：通常定義為各種行為參數及其閥值的集合，用於描述正常行為范圍。特點：異常檢測系統的效率取決於用戶輪廓的完備性和監控的頻率；不需要對每種入侵行為進行定義，因此能有效檢測未知的入侵；系統能針對用戶行為的改變進行自我調整和優化，但隨著檢測模型的逐步精確，異常檢測會消耗更多的系統資源 ●誤用檢測（Misuse Detection）：基於模式匹配原理。收集非正常操作的行為特徵，建立相關的特徵庫，當監測的用戶或系統行為與庫中的記錄相匹配時，系統就認為這種行為是入侵。前提：所有的入侵行為都有可被檢測到的特徵。指標：誤報低、漏報高。攻擊特徵庫：當監測的用戶或系統行為與庫中的記錄相匹配時，系統就認為這種行為是入侵。特點：採用模式匹配，誤用模式能明顯降低誤報率，但漏報率隨之增加。攻擊特徵的細微變化，會使得誤用檢測無能為力。

❾ 如何對數學模型的可靠性進行檢測

數學建模是使用數學模型解決實際問題.
對數學的要求其實不高.
我上大一的時候,連高等數學都沒學就去參賽,就能得獎.
可見數學是必需的,但最重要的是文字表達能力
回答者：抉擇415 - 童生 一級 3-13 14:48
數學模型
數學模型是對於現實世界的一個特定對象,一個特定目的,根據特有的內在規律,做出一些必要的假設,運用適當的數學工具,得到一個數學結構.
簡單地說：就是系統的某種特徵的本質的數學表達式（或是用數學術語對部分現實世界的描述）,即用數學式子（如函數、圖形、代數方程、微分方程、積分方程、差分方程等）來描述（表述、模擬）所研究的客觀對象或系統在某一方面的存在規律.
數學建模
數學建模是利用數學方法解決實際問題的一種實踐.即通過抽象、簡化、假設、引進變數等處理過程後,將實際問題用數學方式表達,建立起數學模型,然後運用先進的數學方法及計算機技術進行求解.
數學建模將各種知識綜合應用於解決實際問題中,是培養和提高學生應用所學知識分析問題、解決問題的能力的必備手段之一.
數學建模的一般方法和步驟
建立數學模型的方法和步驟並沒有一定的模式,但一個理想的模型應能反映系統的全部重要特徵：模型的可靠性和模型的使用性.建模的一般方法：
機理分析：根據對現實對象特性的認識,分析其因果關系,找出反映內部機理的規律,所建立的模型常有明確的物理或現實意義.
測試分析方法：將研究對象視為一個「黑箱」系統,內部機理無法直接尋求,通過測量系統的輸入輸出數據,並以此為基礎運用統計分析方法,按照事先確定的准則在某一類模型中選出一個數據擬合得最好的模型.測試分析方法也叫做系統辯識.
將這兩種方法結合起來使用,即用機理分析方法建立模型的結構,用系統測試方法來確定模型的參數,也是常用的建模方法.
在實際過程中用那一種方法建模主要是根據我們對研究對象的了解程度和建模目的來決定.機理分析法建模的具體步驟大致如下：
1、 實際問題通過抽象、簡化、假設,確定變數、參數；
2、 建立數學模型並數學、數值地求解、確定參數；
3、 用實際問題的實測數據等來檢驗該數學模型；
4、 符合實際,交付使用,從而可產生經濟、社會效益；不符合實際,重新建模.
數學模型的分類：
1、 按研究方法和對象的數學特徵分：初等模型、幾何模型、優化模型、微分方程模型、圖論模型、邏輯模型、穩定性模型、統計模型等.
2、 按研究對象的實際領域（或所屬學科）分：人口模型、交通模型、環境模型、生態模型、生理模型、城鎮規劃模型、水資源模型、污染模型、經濟模型、社會模型等.
數學建模需要豐富的數學知識,涉及到高等數學,離散數學,線性代數,概率統計,復變函數等等 基本的數學知識
同時,還要有廣泛的興趣,較強的邏輯思維能力,以及語言表達能力等等
一般大學進行數學建模式從大二下學期開始,一般在九月份開始競賽,一般三天時間,三到四人一組,合作完成!