可計算模型是2006年公布的地理學名詞。
中文名稱 | 可計算模型 |
英文名稱 | computable model |
定 義 | 關於地理現象與過程的可以套用計算機模擬或者計算處理的模型。 |
套用學科 | 地理學(一級學科),數量地理學(二級學科) |
基本介紹
- 中文名:可計算模型
- 外文名:computable model
- 所屬學科:地理學
- 公布年度:2006年
可計算模型是2006年公布的地理學名詞。
中文名稱 | 可計算模型 |
英文名稱 | computable model |
定 義 | 關於地理現象與過程的可以套用計算機模擬或者計算處理的模型。 |
套用學科 | 地理學(一級學科),數量地理學(二級學科) |
可計算模型是2006年公布的地理學名詞。定義關於地理現象與過程的可以套用計算機模擬或者計算處理的模型。出處《地理學名詞》。...
可計算一般均衡模型包括三個顯著特徵。首先它是“一般的(General)”,即對經濟主體行為作了外在設定。在這個模型中,代表性家戶的特徵是追求效用最大化,廠商遵循成本最小化的決策原則,還包括政府、貿易組織、進出口商等經濟主體,這些...
可計算的一般均衡(Computable General Equilibrium,CGE)模型作為政策分析的有力工具,經過30多年的發展,已在世界上得到了廣泛的套用,並逐漸發展成為套用經濟學的一個分支。背景介紹 世界上第一個CGE模型應是約翰森(Johansen)1960年提出...
可計算理論的計算模型主要包括: ( 1)Turing 機; ( 2) 遞歸函式 ; ( 3) λ演算 ;( 4) POST 系統;( 5) 正則算法。 第一個模型是程式設計語言 S,該程式語言定義了 1) 變數;2) 標號; 3)語句; 4) 指令;5) 程式...
《可計算一般均衡建模初級教程》是中國人口出版社出版的圖書,作者是潘浩然 內容簡介 可計算一般均衡模型(CGE模型)是基於一般均衡理論、巨觀經濟結構關係和國民經濟核算數據而建立起來的一套全景描述經濟系統運行的數量模擬系統,以個體經濟學...
《可計算的一般均衡模型》是2008年8月1日機械工業出版社出版的圖書,作者是李洪心。內容簡介 本書在介紹CGE模型的基本理論和組成的基礎上,首先詳細地介紹了利用通用數學建模系統(GAMS)進行仿真所需要的基本知識,並利用實例幫助讀者學習...
基於這些模型,可以實現包括普通放射學以及核醫學等許多情形下的輻射劑量仿真的模擬計算,眾多的仿真模擬計算的結果已被用於制定被國際放射防護委員會(ICRP)採納的標準。程式化模型 第一代仿真人體模型被用於更好地評估工人或病人體內沉積的...
並行計算模型通常指從並行算法的設計和分析出發,將各種並行計算機(至少某一類並行計算機)的基本特徵抽象出來,形成一個抽象的計算模型。從更廣的意義上說,並行計算模型為並行計算提供了硬體和軟體界面,在該界面的約定下,並行系統硬體...
可逆計算(英語:Reversible Computing),是一種計算模型,它的計算過程是可逆的。在這種計算模型中,使用的能量很低,熵的增加會最小化,換句話說,它幾乎不會產生額外的熱。在可逆計算模型中,轉換函式的前一個狀態,與下一個狀態...
《產業動態計算模型》是2019年經濟科學出版社出版的圖書,作者是(美)張明勛(myong-hun chang)。該書所提出的可計算模型能夠復現來自產業組織實證研究的多個典型事實,特別是關於企業進入和退出動態。模型所採用的基於有限理性主體的可...
《可計算非線性動態投入產出模型》是2000年11月1日由清華大學出版社出版的圖書,作者是張金水。作品目錄 導 論 第一章 消費者需求理論 1. 1 效用函式及其數字表達式 1. 2 等效用線或無差異曲線 1. 3 效用最大法則與需求函式 1....
使用可計算函式來討論可計算性而不提及任何具體的計算模型,如圖靈機或暫存器機。但是它們的定義必須提及某種特殊的計算模型。在可計算函式的精確定義之前,數學家經常使用非正式術語可有效計算的。這個術語因此可以被認同為可計算函式。儘管...
分散式計算模式比較特殊,它具有客戶機/伺服器流模式的相反特性,或者該模式是對等模式和客戶機/伺服器流模式的混合。在該模式中,流量主要發生在任務管理器及其計算設備之間(與客戶機/伺服器模型相似),或者發生在計算設備之間(與對等模式...
由邱奇-圖靈論題(Church-Turing thesis),所有的一致的計算模型與圖靈機在多項式時間意義下是等價的。而由於我們一般將多項式時間作為有效算法的標誌,該論題使得我們可以僅僅關注圖靈機而忽略其它的計算模型。判定型問題和可計算性 我們...
隱私計算(Privacy compute)是面向隱私信息全生命周期保護的計算理論和方法,是隱私信息的所有權、管理權和使用權分離時隱私度量、隱私泄漏代價、隱私保護與隱私分析複雜性的可計算模型與公理化系統。技術特點 具體是指在處理視頻 、音頻、...
混合計算機模型(hybrid computational models)是由計算機與其所控制的物理部件構成的,具有既隨時間連續變化的變數又受事件驅動的離散變數的系統的數學模型。在已有的計算理論基礎上,已陸續出現多種混合計算模型。大體上可分為邏輯、程式...
多重參考模型(MRF 模型)是一種定常計算模型,模型中假定格線單元做勻速運動,這種方法適用於格線區域邊界上各點的相對運動基本相同的問題。大多數時均流動都可以用MRF 模型進行計算,特別是運動格線區域與靜止格線區域間的相互作用比較...
《並行計算:模型與算法》是2016年7月1日機械工業出版社出版的圖書,作者是張雲泉、袁良。內容簡介 本書系統介紹了三代並行計算模型,包括共享存儲並行計算模型、分散式存儲並行計算模型和存儲層次並行計算模型,並介紹了大量針對並行計算模型...
流是不間斷的、連續的、移動的元素佇列,其中元素是指相關數據的集合組成。流計算模型簡稱流模型,是對流進行處理的模型,其主要思想是將套用分解成一連串對流進行操作的計算核心,流在計算核心之間傳遞,在計算核心內部完成對流中元素的處理...
即時間數列數值Y=T(趨勢成分)*C(周期成分)*I(不規則成分)。同時,在運用乘法模型計算的時候,我們也可以將其轉化為加法模型進行計算。Y=T*S*C*I 可以轉化為 log Y = log T + log S + log C + log I ...
可計算論,是一個數理邏輯分支,起源於可計算函式和圖靈度的研究,其領域增長為包括一般性的可計算性和可定義性的研究。在這些領域中,這門理論同證明論和能行描述集合論(effective descriptive set theory)有所重疊。簡介 可計算論,是...
實際上DTM是柵格數據模型的一種。它與圖像的柵格表示形式的區別主要是:圖像是用一個點代表整個像元的屬性,而在DTM中,格網的點只表示點的屬性,點與點之間的屬性可以通過內插計算獲得。建立方法 建立DEM的方法有多種。從數據源及...
《M-可解性、M-計算複雜性與計算機科學的模型理論》是依託上海交通大學,由傅育熙擔任項目負責人的重點項目。項目摘要 在分析計算模型和互動模型(如進程演算)的共性和特性的基礎上,提出並研究計算機科學的模型理論,該理論有如下特點:...
如果這樣,一個問題類的可計算性就依賴於模型,而不是問題類本身的性質了。著名的丘奇-圖靈論題回答了這個問題。這個論題說:“凡是合理的計算模型都是等價的,即一個模型能算的問題類別的模型也能算,一個模型不能算的別的模型也不...
1、 隱私計算的概念 隱私計算是面向隱私信息全生命周期保護的計算理論和方法,是隱私信息的所有權、管理權和使用權分離時隱私度量、隱私泄漏代價、隱私保護與隱私分析複雜性的可計算模型與公理化系統。隱私計算涉及6個因素 (X,S,R,C,φ...
模型中不必每一項都是非線性的 ,可以納入線性等參數項 ,因為每個解釋變數的關係如都用非參數擬合會出現計算量大 、過擬合等問題 ,有時因變數與某個預測變數的關係簡化成參數形式會更便於解釋 ,這樣就出現了半參數廣義加性模型 ( ...
DPark的計算模型 DPark 並行計算模型基於上節講到的DPark 的兩個基本概念,一是基於對RDD 的分散式計算,二是基於計算過程中能夠通過不同的機器訪問的共享變數。共享變數必須很容易在現存的分散式檔案系統中實現。RDD 能夠在多次循環計算過程...
而當前被廣泛使用的MapReduce 計算框架,在並行執行多任務的時候,要求各個任務之間相互獨立,任務執行期間不需要相互之間進行數據通信,所以MapReduce 不適合數據依賴性強的任務,而且MapReduce 並行計算模型也不能高效表達疊代型算法。這種...