Goedel語言是一種說明性邏輯程序設計語言。該語言基于一階邏輯，引入了一個多態多類的類型系統和多種新的語言成分，支持抽象數據類型和模塊化程序設計等技術，語言本身也具有很強的說明性語義。詳細介紹了Goedel語言的類型系統及其構造，對在邏輯程序設計語言中引入類型系統的作用進行了一些深入的分析和討論。[
標簽： Goedel 語言 邏輯 程序設計語言
上傳時間： 2014-11-26
上傳用戶：BIBI
FPGA時鐘分析，包括門控時鐘與時鐘偏儀分析，邏輯設計時鐘分析，毛刺分析．
標簽： FPGA 時鐘 分
上傳時間： 2015-10-14
上傳用戶：lps11188
一:需求分析 1．本程序需掌握樹和二叉樹的概念及工作原理，運用其原理及概念完成實驗.。 2．問題描述： 一個邏輯表達式如果對于其變元的任一種取值都為真，則稱為重言式；反之，如果對于其變元的任一種取值都為假，則稱為矛盾式；然而，更多的情況下，既非重言式，也非矛盾式。試寫一程序，通過真值表判斷一個邏輯表達式屬于那一類。 3．基本要求： （1）邏輯表達式從終端輸入，長度不超過一行。邏輯運算符包括“|”，“&”和“~”, 分別表示或、與和非，運算優先程度遞增，但可以有括號改變，即括號內的運算優先。邏輯變元為大寫字母。表達式中任何地方都可以含有多個空格符。 （2）若是重言式或矛盾式，可以只“顯示True forever”或“False forever”，否則顯示“Satisfactible”以及變量名序列，與用戶交互。若用戶對表達式中變元取一組值，程序就求出并顯示邏輯表達式的值。
標簽： 分 二叉樹 程序 樹
上傳時間： 2015-11-14
上傳用戶：sz_hjbf
硬盤FAT文件系統原理的詳細分析 硬盤由很多盤片(platter)組成，每個盤片的每個面都有一個讀寫磁頭。如果有N個盤片。 就有2N個面，對應2N個磁頭(Heads)，從0、1、2開始編號。每個盤片被劃分成若干個同心圓磁道(邏輯上的，是不可見的。)每個盤片的劃分規則通常是一樣的。這樣每個盤片的半徑均為固定值R的同心圓再邏輯上形成了一個以電機主軸為軸的柱面(Cylinders)，從外至里編號為0、1、2⋯ ⋯ 每個盤片上的每個磁道又被劃分為幾十個扇區(Sector)，通常的容量是512byte，并按照一定規則編號為1、2、3⋯ ⋯ 形成Cylinders×Heads×Sector個扇區。這三個參數即是硬盤的物理參數。我們下面的很多實踐需要深刻理解這三個參數的意義。
標簽： platter FAT 硬盤 文件系統
上傳時間： 2013-12-05
上傳用戶：集美慧
簡易邏輯分析儀的設計制作流程，完整的報告，和可行性分析
標簽： 邏輯分析 儀的設計 制作流程
上傳時間： 2014-01-27
上傳用戶：wxhwjf
可編程邏輯器件的開發與應用實驗教學大綱 本課程是高等院校電氣、信息、通信類專業的一門技術基礎課。通過本課程的學習，使學生獲得數字系統設計和可編程邏輯器件方面的基本概念、基本知識和基本技能，培養他們對數字系統的分析與設計的能力，為后續課程的學習及今后的實際工作打下良好的基礎。
標簽： 可編程邏輯器件 實驗 教學大綱 技術基礎
上傳時間： 2016-02-04
上傳用戶：希醬大魔王
煉鋼廠作業管理子系統數據庫設計 目錄 1系統目標 1 1.1 背景介紹 1 1.2系統目標 2 2需求分析 3 2.1 組織結構分析 3 2.2業務流程分析 3 2.3數據流程分析 8 2.4數據字典 13 3概念結構設計 14 4 邏輯結構設計 18 5 物理結構設計 18
標簽： 1.1 1.2 2.1 2.2
上傳時間： 2016-03-14
上傳用戶：cc1015285075
本文首先分析了自動組卷系統在具體的教學活動過程中的實際需求，然后以高中英語的教學為背景，設計與實現了一個實際的自動組卷系統，對其中的數據庫結構設計以及各個主要模塊的實現進行了詳細的介紹。本系統可以從試題庫中自動的查找和組織出一些不同類型、不同難度、不同章節范圍內的試題來組成一份合理的試卷。它采用的是利用試卷自動生成算法記錄試題的一組特征值，根據用戶提供的試卷題目類型、章節分布、難易程度等條件，借助于系統中的一系列數據文件，使具體課程的相關數據動態地抽象成邏輯數據，用以解決通用問題，線性的規劃出一份約束滿足的、合理的試卷。
標簽： 分 自動組卷系統 過程
上傳時間： 2016-05-10
上傳用戶：2525775
本在線考試系統采用了面向對象的分析和設計，整體上采用了三層架構的設計方式，并結合了Ajax技術在客戶端實現部分邏輯，使用了NHibernate作為數據訪問層，大大改善了代碼的重用性和可讀性并改善了用戶體驗和系統性能，而且簡化了系統的開發。本系統實現了試題管理、根據知識點制定出題策略、根據出題策略隨機抽題、考試計時、自動交卷、客觀題自動閱卷、在線閱卷、查看分數等功能。開發工具主要是Visual Studio 2005。
標簽： 面向對象的分析
上傳時間： 2017-01-24
上傳用戶：wff
本文主要分析了FIR數字濾波器的基本結構和硬件構成特點,簡要介紹了FIR濾波器實現的方式優缺點 結合Altera公司的Stratix系列產品的特點,以一個基于MAC的8階FIR數字濾波器的設計為例,給出了使用Verilog硬件描述語言進行數字邏輯設計的過程和方法,并且在QuartusⅡ的集成開發環境下編寫HDL代碼,進行綜合 利用QuartusⅡ內部的仿真器對設計做脈沖響應仿真和驗證。
標簽： FIR Stratix Altera MAC
上傳用戶：Miyuki
蟲蟲下載站版權所有 京ICP備2021023401號-1
<input id="24ueq"></input>
