欧洲处破女www人鲁,亚洲无玛,国产bbaaaaa片,三年片在线观看免费播放大全电影国语版

百檢網首頁 我的訂單 400-101-7153

GB/T 30880-2014 信息技術 通用邏輯（CL）：基于邏輯的語言族框架

作者：百檢網 時間：2022-10-24

標準簡介

本標準規定了用來對不同的計算機系統間的數據和信息進行表示和交換的邏輯語言族。下列特征對本標準的設計至關重要:———族內的語言具有公開的語義,無需借助于解釋器來執行語言中的表達式就可以理解這些表達式的含義;———族內的語言在邏輯上是全面的,能為任意的一階邏輯語句規定表達式;———在異構計算機系統間交換信息。下列內容屬于本標準的范圍:———本體和知識庫中的信息表示;———推理引擎輸入或輸出表達式的規范;———語言中符號的形式化解釋。下列內容超出本標準的范圍:———證明論和推理規則的規范;———各異構計算機系統符號間翻譯器的規范;———提供邏輯“論域”的符號與“現實世界”的個體間關系的基于計算機的操作方法。本標準給出了通用邏輯的語法和語義。本標準定義了通用邏輯的抽象語法并為一階邏輯的特定擴展定義了與之關聯的模型理論化的語義。其目的是使用一階邏輯的任何系統的內容都能夠以本標準表達,從而促進系統間基于一階邏輯的信息的交換。本標準不考慮計算能力相關的問題(如效率、優化等)。
英文名稱：Information technology—Common Logic(CL):a framework for a family of logic-based languages
標準狀態：現行
中標分類：電子元器件與信息技術>>信息處理技術>>L72數據元表示方法
ICS分類：信息技術、辦公機械設備>>35.060信息技術用語言
發布部門：國家質量監督檢驗檢疫.
發布日期：2014-09-03
實施日期：2015-02-01
出版日期：2015-02-01
頁數：72頁

前言

本標準按照 GB/T1.1—2009給出的規則進行起草。本標準使用翻譯法等同采用ISO/IEC24707:2007《信息技術 通用邏輯:基于邏輯的語言族框架》(英文版)。請注意本文件的某些內容可能涉及專利。本文件的發布機構不承擔識別這些專利的責任。本標準由全國信息技術標準化技術委員會(SAC/TC28)提出并歸口。本標準起草單位:中國標準化研究院、北京科迪智標信息技術有限公司,環境保護部信息中心。本標準主要起草人:孫廣芝、邢立強、劉彥東、婁曉琳、劉定。

相關標準

百檢網專注于為第三方檢測機構以及中小微企業搭建互聯網+檢測電商服務平臺，是一個創新模式的檢驗檢測服務網站。百檢網致力于為企業提供便捷、高效的檢測服務，簡化檢測流程，提升檢測服務效率，利用互聯網+檢測電商，為客戶提供多樣化選擇,從根本上降低檢測成本提升時間效率，打破行業壁壘，打造出行業創新的檢測平臺。

百檢能給您帶來哪些改變？

1、檢測行業全覆蓋，滿足不同的檢測；

2、實驗室全覆蓋，就近分配本地化檢測；

3、工程師一對一服務，讓檢測更精準；

4、免費初檢，初檢不收取檢測費用；

5、自助下單 快遞免費上門取樣；

6、周期短，費用低，服務周到；

7、擁有CMA、CNAS、CAL等權威資質；

8、檢測報告權威有效、中國通用；

客戶案例展示

  • 上海朗波王服飾有限公司
  • 浙江圣達生物藥業股份有限公司
  • 天津市長慶電子科技有限公司
  • 桑德斯微電子器件（南京）有限公司
  • 上海嘉疊貿易有限公司
  • 上海紐特絲紡織品有限公司
  • 無錫露米婭紡織有限公司
  • 東方電氣風電（涼山）有限公司
  • 寧波圖米文具用品有限公司
  • 江蘇力之創特種裝備制造有限公司

相關資訊

最新資訊

百檢網
主站蜘蛛池模板： 梓潼县| 都江堰市| 旬邑县| 麦盖提县| 桐柏县| 永德县| 股票| 夏河县| 喀喇沁旗| 科尔| 哈密市| 衡水市| 荆门市| 凌云县| 萨嘎县| 西盟| 张北县| 古田县| 邯郸县| 哈尔滨市| 大姚县| 晋宁县| 绥阳县| 天峨县| 繁昌县| 淄博市| 漳州市| 南平市| 九龙城区| 天峻县| 普格县| 柯坪县| 伊川县| 沛县| 三河市| 抚顺市| 阿克| 江门市| 仪征市| 朔州市| 任丘市|