邏輯系統(logical system)2008年公布的信息科學技術名詞。
系統中用於執行功能邏輯的決策和轉換部分。一個邏輯系統為回響外部的輸入和內部的邏輯而提供特別順序的輸出。
基本介紹
- 中文名:邏輯系統
- 外文名:logical system
- 所屬學科:信息科學技術
- 公布時間:2008年
- 審定機構:全國科學技術名詞審定委員會
邏輯系統(logical system)2008年公布的信息科學技術名詞。
系統中用於執行功能邏輯的決策和轉換部分。一個邏輯系統為回響外部的輸入和內部的邏輯而提供特別順序的輸出。
帶有時序邏輯電路的數字電路主要故障分析:(1)時鐘:時鐘是整個系統的同步信號,當時鐘出現故障時會帶來整體的功能故障。時鐘脈衝丟失會導致系統數據匯流排、地址匯流排或控制匯流排沒有動作。時鐘脈衝的速率、振幅、寬度、形狀及相位發生變化均...
自適應邏輯系統(adaptive logic system,簡稱ALS)並不是通常意義上的邏輯系統,而是一個形式化的證明框架。自適應邏輯的主要特點是它能夠靈活地適應具體的前提集合,根據特定的異常標準“儘可能正常地”解釋前提集合,為被解釋的推理過程界定...
可判定邏輯系統(decidable logic system)具有能行判定算法的邏輯系統一個邏輯系統S是可判定的,是指存在一個能行的算法,使得該算法能夠判定S中的任何公式是否可證.若使用哥德爾編碼,則可以得到更為精確的描述。 [1] ...
他建立了第一個邏輯系統,即三段論理論。其論述形式邏輯的代表作有《形上學》和《工具論》。邏輯思維是亞里士多德在眾多領域建樹卓越的支柱,這種思維方式自始至終貫穿於他的研究、統計和思考之中。形式邏輯學被認為是研究演繹推理及其...
不可判定邏輯系統是指不具有能行判定算法的邏輯系統一個邏輯系統。 不可判定邏輯系統(undecidable logic system)不具有能行判定算法的邏輯系統一個邏輯系統S是不可判定的,是指不存在一個能行的算法,使得該算法能夠判定S中的任何公式...
邏輯測試系統是一種用於電子與通信技術領域的電子測量儀器,於2005年12月1日啟用。技術指標 測試頻率:10MHz IO 通道:128pins 測量時間:100ns~3sec晶圓規格:4寸 5寸 6寸移動範圍:11.68寸(X) 8.4寸(Y)移動速度:10.16寸...
二進制邏輯系統 二進制邏輯系統(binary-logic system)是1998年公布的電氣工程名詞,出自《電氣工程名詞》第一版。公布時間 1998年,經全國科學技術名詞審定委員會審定發布。出處 《電氣工程名詞》第一版。
《數字邏輯系統分析與設計》是2015年機械工業出版社出版的圖書,作者是崔琛。內容簡介 本書主要內容包括:通用常規集成晶片尤其是可程式晶片及套用的介紹,突出器件與集成晶片的特性與參數、分析與設計,由中規模或大規模集成器件構成的數字...
邏輯驗證系統 邏輯驗證系統(logic verification system)是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。定義 用來模擬和檢驗邏輯設計是否正確的系統。出處 《計算機科學技術名詞 》第三版。
計算機科學的邏輯:系統的建模與推理 《計算機科學的邏輯:系統的建模與推理》是機械工業出版社出版的圖書,作者是(英)胡思(Huth,M.)。
《生成的邏輯:系統科學“整體論”思想研究》是2013年12月中國社會科學出版社出版的圖書,作者是劉敏。內容簡介 《生成的邏輯:系統科學“整體論”思想研究》從整體論的發展歷史出發,闡述了“整體論”這一與人們的世界觀、認識論、及...
數字邏輯與系統 《數字邏輯與系統》是中國鐵道出版社出版的圖書,作者是侯建軍
《Stateflow邏輯系統建模》是2007年西安電子科技大學出版社出版的圖書,作者是張威。本書既可作為需要完成動態邏輯系統建模和仿真的工程人員的參考書,也可作為在校本科生、碩士研究生和博士研究生的教材,還可作為MATLAB相應產品培訓課程的...
《數字邏輯系統與設計——學習指導及習題解析》是2005年科學出版社出版的圖書,作者是徐維。 內容簡介 本書目錄 專家評論 讀者評論 我要留言 本書是依據目前國內廣泛使用的《數字電子技術基礎》教材編寫的教學輔導資料。本書每章由四部分...
構造邏輯是一種非經典的邏輯系統。它主要由對數學持直覺主義、構造主義或致力於構造性數學研究和發展的數學家和邏輯學家建立和使用。在數理邏輯和數學基礎中,“構造性”一詞有幾種不同的理解並在幾種不同的意義下使用,其共同之處...
《數字邏輯系統與設計:學習指導及習題及解析》是2011年科學出版社出版的圖書,作者是徐維。內容簡介 《數字邏輯系統與設計:學習指導及習題及解析》是依據目前國內廣泛使用的《數字電子技術基礎》教材編寫的教學輔導資料。《數字邏輯系統與...
積體電路邏輯測試系統 積體電路邏輯測試系統是一種用於電子與通信技術領域的電子測量儀器,於2005年11月25日啟用。技術指標 測試頻率 10MHzIO通道 128pins。主要功能 積體電路測試。
自由邏輯建構於20世紀50-60年代,是對經典謂詞邏輯系統作某種修正的結果。經典謂詞邏輯系統在作解釋和構造模型時有兩個要求:(1)個體域非空;(2)個體常項及每一自由出現的個體變項指稱的是個體域中的一個個體。這使得經典邏輯在處理...
由於它精確、無二義性,所以容易為計算機理解和操作,同時又與自然語言相似,故一階謂詞邏輯系統可以用來表示人類的某些知識。一階邏輯作為形式語言存在局限性,其遠遠不能表示人類自然語言所能表達的全部知識,而人類所認識的知識類比自然...
fuzzy logic 模糊邏輯 programmable logic 可程式序邏輯 logic control 邏輯控制 programmable logic controller 可程式序邏輯控制器 control logic 控制邏輯 logic system 邏輯系統 logic circuit 邏輯電路 fuzzy logic control 模糊邏輯控制 di...