抽象模型（abstract model）是2003年公布的自然辯證法名詞。
基本介紹
- 中文名：抽象模型
- 外文名：abstract model
- 所屬學科：自然辯證法
- 公布時間：2003年
公布時間,出處,
抽象模型
相關詞條
- 抽象模型
抽象模型（abstract model）是2003年公布的自然辯證法名詞。公布時間2003年，經全國科學技術名詞審定委員會審定發布。出處《自然辯證法名詞》第一版。1...
- 色彩空間(抽象數學模型)
色彩模型是描述使用一組值（通常使用三個、四個值或者顏色成分）表示顏色方法的抽象數學模型。例如 三原色光模式(RGB) 和印刷四分色模式(CMYK) 都是色彩模型。但是一個與絕對色彩空間沒有函式映射關係的色彩模型或多或少地都是與特定...
- 模型抽象方法
模型抽象方法是將現實的對象簡化成與其相似的替代物再加以研究的方法。通常把現實的對象叫作“原型”，而把原型的相似替代物叫作模型。在科學研究中，一些微觀、巨觀和宇觀的較為複雜的研究對象，由於受到時間、空間、人的感官以及因果...
- 公共信息模型
公共信息模型（CIM）是一個抽象模型，描述電力企業的所有主要對象，特別是與電力運行有關的對象。通過提供一種用對象類和屬性及他們之間關係來表示電力系統資源的標準方法，CIM方便了實現不同賣方獨立開發的能量管理系統（EMS）套用的集成，...
- 抽象司法程式模型
抽象司法程式模型是指適用於各種電子取證方法，且立足於我國現行的司法程式制度的一種模型。繼2012年中華人民共和國刑事訴訟法修訂實施後，電子數據在刑事司法證明中發揮的作用越來越重要。確定電子數據基本範疇，並對電子數據在偵查，起訴，...
- 法制系統模型
法制系統模型是現實法制系統的一種描述或抽象。模型的種類通常分為形象模型和抽象模型兩大類，其中，後者又分為模擬模型、數學模型、概念模型等。任何法制系統模型都是現實法制系統的一種描述，必須在一定程度上能夠確切地反映和符合系統客觀...
- 數據抽象
數據抽象結構是對現實世界的一種抽象從實際的人、物、事和概念中抽取所關心的共同特性,忽略非本質的細節把這些特性用各種概念精確地加以描述這些概念組成了某種模型。中文名 數據抽象 用途 需求分析階段收集到的數據進行分類、組織(聚集)...
- 軟體工程卷1:抽象與建模
《軟體工程卷1：抽象與建模》介紹了抽象與建模的基本原理和技術。首先，本卷給出了離散數學的基本介紹，包括數、集合、笛卡爾、類型、函式、入-演算、代數和數理邏輯，然後講授基本的面向屬性與面向模型的規約的基本原理和技術。一些其他的...
- 模型化
例如計算機模擬就是一個基於特性相似的通用性電模型。數學模型是一個抽象的模型．數學模型就是系統或過程有關變數之間的關係所映成的數學結構。例如，代數方程（組）、微分方程（組），或圖形、數表等。描述一個動態系統的數學模型通常是...
- 模型結構
模型是指對於某個實際問題或客觀事物、規律進行抽象後的一種形式化表達方式。模型結構是指為解決某種問題而創建的模型自身各種要素之間的相互關聯和相互作用的方式，包括構成要素的數量比例、排列次序、結合方式和因發展而引起的變化。簡介 ...
- 遙感模型
遙感模型又稱遙感信息模型，是集地形模型、物理模型和數學模型之大成，套用遙感信息和地理影像化的方法建立起來的一種模型，它由集合相似律、物理相似律、數學方程組成，是形象模型與抽象模型的結合。用遙感技術研究地球的實質是以各種數字或...
- 基於模型檢驗的測試用例生成方法研究
基於危險跡概念，提出了安全性質測試的建模方法和基於圖結構覆蓋的安全性質測試準則；結合反例引導的抽象精化框架和組合驗證方法，組合抽象構件產生構件組合的抽象模型，從抽象模型生成抽象測試用例，利用反例引導的抽象精化框架產生具體的測試...
- 學會抽象與建模
《學會抽象與建模》將現實生活的實例用數學的思想和方法緊密聯繫在一起，其中許多數學模型都是日常生活中我們身邊的例子，有一部分是中學數學課堂教學的實例，還有一部分是由中學生從自己周圍的具體事例中抽象概括出來的數學模型和他們的獲獎...
- 軟體測試——原理、模型、驗證與實踐
4.2.4運用抽象解釋理論對（抽象模型）標準方法的改良 4.2.5抽象模型檢驗總結 4.3綜合方法 4.3.1謂詞抽象 4.3.2模型檢驗和定理證明 4.3.3其他方面的努力 4.4套用和其他重要方法概覽 4.4.1模型檢驗理論在程式分析中的套用簡介...
- 設計模型
設計模型是系統實施的抽象。它用於構想和記錄軟體系統的設計。它是全面的組合工件，包括所有設計類、子系統、包、協作和它們之間的關係。模型是一種將構思形象化的有效手段，同時也將三維概念的空間關係準確地表達出來，利用模型可以引發更多...
- 抽象數據結構
抽象數據結構（Abstract Data Type，ADT）是計算機科學中具有類似行為的特定類別的數據結構的數學模型；或者具有類似語義的一種或多種程式設計語言的數據類型。抽象數據類型是間接定義的，通過其上的可執行的操作以及這些操作的效果的數學約束...
- 自由質點模型
質點模型，是用一個具有同樣質量，但沒有大小和形狀的點來代替實際物體，這是對實際物體的一種科學抽象。模型簡介 質點模型，是用一個具有同樣質量，但沒有大小和形狀的點來代替實際物體，這是對實際物體的一種科學抽象。物體的形狀和...
- 數據模型
利用模型對事物進行描述是人們在認識和改造世界過程中廣泛採用的一種方法。計算機不能直接處理現實世界中的客觀事物，而資料庫系統正是使用計算機技術對客觀事物進行管理，因此就需要對客觀事物進行抽象、模擬，以建立適合於資料庫系統進行管理...
- 概念模型
概念模型是一種或多或少的形式化描述，描述的內容包括建立軟體組件時，所用到的算法、架構、假設與底層約束。這通常是對實際的簡化描述，包括一定程度的抽象，顯式或隱式地按照頭腦中的確切使用方式進行構建。對概念模型的驗證包括確保所...
- 圖形模型
圖形模型 圖形模型是比實際模型更加抽象地描述實物的一種模型。它可用各種圖來表示系統的信息流程、物質流程、時間順序、邏輯關係以及相互聯繫的結點和支路組成的網路圖，如電路圖、信息流程圖、網路分析的網結圖等。
- ADT(數學模型及該模型上的一組操作)
抽象數據類型的定義取決於它的一組邏輯特性，而與計算機內部如何表示無關。介紹 抽象數據類型( ADT，Abstract Data Type)是指一個數學模型以及定義在此數學模型上的一組操作。它通常是對數據的某種抽象，定義了數據的取值範圍及其結構形式...
- IOTA(大數據架構)
貫穿整體業務始終的數據模型，這個模型是整個業務的核心，要保持SDK、cache、歷史數據、查詢引擎保持一致。對於用戶數據分析來講可以定義為“主-謂-賓”或者“對象-事件”這樣的抽象模型來滿足各種各樣的查詢。以大家熟悉的APP用戶模型為例...
- MapReduce
MapReduce改變了我們組織大規模計算的方式，它代表了第一個有別於馮·諾依曼結構的計算模型，是在集群規模而非單個機器上組織大規模計算的新的抽象模型上的第一個重大突破，是到所見到的最為成功的基於大規模計算資源的計算模型。
- GDAL/OGR
GDAL(Geospatial Data Abstraction Library)是一個在X/MIT許可協定下的開源柵格空間數據轉換庫。它利用抽象數據模型來表達所支持的各種檔案格式。它還有一系列命令行工具來進行數據轉換和處理。簡介 OGR是GDAL項目的一個分支，功能與GDAL類似...
- GEF
這些變數並不是模型本身必須的信息，維護它們使模型變得不夠清晰，但你可以通過構造一些抽象模型類（例如讓所有具有連線的模型對象繼承Node類）來維持它們的可讀性。相對來講GEF中模型是MVC中最簡單的一部分。控制器：我們知道，在MVC結構...
- tModel
t模型是一個抽象的服務類型技術規範；它把服務類型的信息組織起來並做成一個可訪問的登記資料庫。另一個UDDI數據結構，綁定模版把信息按照特定的服務類型示例來分類。企業想要讓他們的分類能適應服務的註冊的話，他們就需要在他們的綁定模版...
