現代數理邏輯 的英文怎麼說
中文拼音 [xiàndàishǔlǐluó]
現代數理邏輯
英文
modern mathematical logic- 現 : Ⅰ名詞1 (現在; 此刻) present; now; current; existing 2 (現款) cash; ready money Ⅱ副詞(臨時; ...
- 代 : Ⅰ動詞1 (代替) take the place of; be in place of 2 (代理) act on behalf of; acting Ⅱ名詞1 (歷...
- 數 : 數副詞(屢次) frequently; repeatedly
- 理 : Ⅰ名詞1 (物質組織的條紋) texture; grain (in wood skin etc ) 2 (道理;事理) reason; logic; tru...
- 邏 : Ⅰ動1. (巡察) patrol 2. [書面語] (遮攔) blockⅡ名詞1. (巡察) patrol 2. [書面語] (山溪的邊緣) edge
- 輯 : Ⅰ動詞(編輯; 輯錄) collect; compile; edit Ⅱ名詞(整套書籍、資料的各個部分) part; volume; division
- 現代 : 1 (現在這個時代) modern times; the contemporary age [era]2 (現代的) modern; contemporary現代...
- 數理 : mathematical physics
- 邏輯 : logic
-
The reasoning process called for by boolean algebra are implemented through switches, acting as electronics logic circuits
布爾代數所需的推理過程是通過開關來實現的,這些開關起著邏輯電路的作用。L. t. f gamut : logic, language, and meaning. the university of chicago press, 1991
李小五:數理邏輯? ?現代邏輯學講義,中山大學出版社2005 。There are advantages and disadvantage in both induction and deduction, and they are intertwined
究其實,爭論是由邏輯觀傳統形式邏輯和現代數理邏輯的不同引起的。This paper has adopted several scientifically studying analysing and reasoning methods to illustrate the features, back ground, purposes, restrcting and founding conditions, and the reforms of the electronicalized government. the challenges and responsibilities of the government in the network economy have also been emphasized. how to plan the network construction, and how to improve computer administration are all included in this paper, aiming at offering valuable proposals and suggestions for the government to meet the future demands and to show a completely new government image to the public
本篇論文採用唯物辯證法、實證分析法、邏輯推理法、理論聯系實際方法、調查研究法、數字分析法、對比分析法等研究方法,通過對電子化政府的含義、特徵、產生背景、意義及中國實施中的「政府網上工程」 ,電子化政府與政府改革,電子化政府的制約因素及建立條件以及面對網路化經濟政府所遇到的機遇和挑戰等作具體詳盡的分析論述,旨在提出網路時代政府的網上責任以及今後政府在規劃網路建設,實現政府網路化的主要對策,即如何推行電子政務,目的是為政府今後的建設和發展出謀劃策,使政府能適時調整自身的職能,盡快向新型管理服務職能轉變,以順應社會的呼喚,滿足公眾的需求。In the paper, the object - oriented technique in the modem software engineering and the unified modeling language is adopted. the analysis model of the product data management according to the rational unified process is built. this is more satisfying people ' s logical thinking
本文採用現代軟體工程中的面向對象技術,按照統一開發過程,利用統一建模語言uml對產品數據管理系統作了比較詳細的分析建模,使分析過程更符合人們的思維邏輯,具有更清晰的思路。The foxboro dcs is regarded as main reference object, it does n ' t same as the traditional simulator. the logic protect and control are separated from model and the configuration control system be exploited in the paper. and the configuration of logic protect and control is operatised at operation station administration system, not to be added into model, not to build control sound code also
其邏輯保護和控制部分的組態在操作站管理系統進行,不用加入模型,也不用生成控制源代碼,因此很自然的就實現了在線調整、實時控制等類同於實際現場的模式。在本課題中,控制、邏輯保護和電氣邏輯模擬軟體主要包含熱工控制中一些常用的代數和邏輯運算。14 gallo g, mishra b. efficient algorithms and bounds for wu - ritt characteristic sets. effective methods in algebraic geometry, progress in mathematics, 1991, : 119 - 142. 15 gao x s, chou s c. a zero structure theorem for differential parametric systems
本文簡要介紹了代數方程組的特徵列方法及其在幾何定理機器證明發現與含參數代數方程求解中的應用,進一步給出了基於特徵列方法代數閉域上的一階邏輯公式的判定演算法。According to the requirements of the analysis of modern highway management decision, the systematic objective, logical design, systematic construction and the way to put data warehouse into practice of highway management are presented, those are based on the highway management databases
根據現代公路管理決策分析的需求,提出了基於公路管理業務數據庫基礎之上的公路管理數據倉庫的系統目標、邏輯設計、體系結構和實現方法。Furthermore, by establishing and using the concept of modern enterprise ’ s marketing ethics evaluation index, a synthetic index which can be used to evaluate whether modern enterprise ’ s marketing is ethical and how ethical it is, we can evaluate marketing ethics synthetically. with the marketing basic concept “ marketing process ” and the marketing management process logic, and based on the analysis to the main exhibitions of modern enterprises ’ unethical marketing behaviors, this paper establishes the modern enterprise ’ s marketing ethics evaluation model, which consists of eight
借鑒市場營銷學中「營銷程序」這一基本概念,以營銷管理過程為邏輯,同時在對現代企業營銷非道德性主要表現分析的基礎上,能構建出一個包括營銷哲學道德性、營銷調研道德性、營銷戰略道德性、產品策略道德性、價格策略道德性、分銷策略道德性、促銷策略道德性和營銷管理道德性這八個營銷道德評價維度的「現代企業營銷道德指數綜合評價模型」和相應的指標體系及評價模式,並可以結合一個案例對其應用進行分析。Symbol logic method is unable to guarantee the complement of knowledge description, which leads to complicated deducing process. we introduce fuzzy cognitive map into agent modeling and deducing, substitute symbolic description and inference with simple mathematical computing, achieving agent intelligent decision - making in complex environment
針對現有符號邏輯描述方法難以保證知識表達的完整性,推理過程陷於復雜的邏輯演繹的問題,作者引入了模糊因果關系的網路模型,基於模糊認知圖理論構造agent推理模型,用簡單的數值計算代替復雜符號系統的表示和演繹推理過程,實現了復雜環境下的agent智能決策。Modern designs use at least three partitions : a presentation module that handles all user - interface logic, a business logic module that takes care of data processing and integration issues, and a dbms that handles all details of data management
現代的(軟體)設計至少採用了三塊:表示模塊(處理所有的用戶介面邏輯操作) 、業務邏輯模塊(負責數據處理和集成)和數據庫管理系統模塊(完成所有數據管理的細節) 。Aimed at performance improvement for the iocp multimedia network server in large - scale complex environment, this paper presents the methods concerned with network base development, configuration design and the logical module design as follows : elevate data processing efficiency by optimizing the data package and transmission, enhance code reusability and extendibility by modular construction, and further optimize the logical module performance through port dispatch
摘要面臨iocp多媒體網路服務器所的大復雜度環境設計問題,本文論述該網路服務器的網路底層開發、結構設計及邏輯模塊設計,提出提高其性能的方法:優化數據封裝以及投遞方式,增加數據的處理效率;整體結構模塊化設計,提高代碼的可重用性以及可擴展性;通過埠分流的方式,實現對邏輯模塊性能改進。The research of this task comes from key projects in scientific research of the tenth " five - year plan " ( ( the technology of color spray - paint graph plotter for military use ) ). a further study has been made of pci2. 2 bus protocol, and a theoretical summarization of the protocol needed in the design of pci system is presented from the viewpoint of engineering application. on the basis of a good knowledge of pci bus protocol, this paper suggests a new method of data transmission based on pci on high - speed spray - paint graph plotter, and then designs hardware logic according to the methed, puts pcb board into practice. finally, the wdm drive progam of the hardware device is designed
論文深入研究了pci2 . 2總線協議,並在工程角度上對pci總線協議中項目相關的協議的進行了理論總結。本論文在深刻理解pci總線協議的基礎上,提出了高速大幅面新一代彩色噴墨繪圖機上基於pci數據傳輸技術的一種新穎的解決方案,並基於這種方案設計出硬體邏輯,實現pcb板,最後設計出該硬體設備的wdm驅動程序。本文在設計硬體邏輯時,擺脫了傳統設計思路,應用了一種新穎的設計方法,應用了quicklogic公司的嵌入式可編程介面晶元q15030來完成介面晶元設計。In this project, the actual three - tier architecture was realized and the business logic was packed into ejb components, which acted as an agent between presentation tier and resource tier ; the separation between business logic and system service was realized, which enabled developers to devote their mind to the realization of business logic and improved the software quality and efficiency ; the stretchable enterprise application was realized through tier - dispatched pattern, which has relax coupling relationship between tiers and each tier has its own role and the methods inside the tier will be changed without affection to the call - up relationship between tiers
主要成果是: ( 1 )實現了真正意義上的三層體系結構,將業務邏輯封裝在ejb組件中, ejb組件作為表現層的代理對數據層進行數據操作; ( 2 )使用ejb技術,實現了業務邏輯和系統服務之間的分離,使得開發人員可以專注于業務邏輯的開發,從而提高軟體的質量和開發效率; ( 3 )通過分層模式,實現了可伸縮的企業應用程序。層與層之間鬆散耦合,每個層針對特定的角色,每一層內部實現方法的變化不影響層與層之間的調用關系,可以更好地適應客戶需求的變化。However, the logic analysis instrument captures data rapidly and replays slowly and this mode goes against real - time processing, not to mention the real - time cooperation between digital signal generator and logic analysis instrument. thus more powerful high - speed digital testing instruments are needed
但邏輯分析儀是採用快速捕捉,慢速回放處理方式,難以實現實時處理,更難以實現數字信號發生器和邏輯分析儀復雜的實時聯動配合,所以現代數字測試系統中需要功能更為強大的高速數字測試儀器。In this thesis, we would present theory research and its implementation about mpeg - 2 ts stream “ health ” check analyzer. a brief narration about the background of our research and its mean would be put in the beginning. and then we would analyze structure of ts stream and its definition in iso / iec 13818 - 1, data structure of system layer and mechanism of decode would be stressed in this section, later, we would introduce principles and methods of mal - function check in mpeg - 2 ts network, parameters being presented by etsi tr 101 290 would be emphasized in this part
本文將對mpeg - 2ts碼流「健康」檢測儀的理論研究和數字電路設計作出如下介紹:本課題研究的時代背景及研究現狀和意義; mpeg - 2ts碼流的數據結構,在iso / iec13818 - 1中的定義和描述,其系統層的數據結構及解碼機理; mpeg - 2ts碼流在網路中故障檢測的原理和方法, etsitr101290規定檢測參數分類; mpeg - 2ts碼流「健康」檢測儀實現的總體方案,基於fpga的數字邏輯電路實現方案總體模塊劃分,模塊劃分的依據,模塊實現功能;總體方案的具體實現,幾個重要參數如pcr間隔及精度檢測,快速crc檢測等的實現;設計實現的驗證方法,典型參數檢測實現的驗證模型及驗證結果。( 2 ) in order to validate the efficiency of algorithm, this paper design and implement a testing, platform rule processor based on sql server. the main function of the processor is to translate the first order logic rule into embedded - sql programs, which make sql server dbms possess the capability in expressing recursive query with logic language
( 2 )為驗證演算法的有效性,該文設計實現了一個測試平臺? ?基於sqlserver的規則處理器,其主要功能為自動把一階邏輯規則轉換為含有sql語句的過程代碼,這使得sqlserver數據庫管理系統有了用邏輯數據語言表示遞歸查詢的能力。分享友人