邏輯代數基礎 的英文怎麼說

中文拼音 [luódàishǔjīchǔ]
邏輯代數基礎 英文
logic base
  • 邏 : Ⅰ動1. （巡察） patrol 2. [書面語] （遮攔） blockⅡ名詞1. （巡察） patrol 2. [書面語] （山溪的邊緣） edge
  • 輯 : Ⅰ動詞（編輯; 輯錄） collect; compile; edit Ⅱ名詞（整套書籍、資料的各個部分） part; volume; division
  • 代 : Ⅰ動詞1 （代替） take the place of; be in place of 2 （代理） act on behalf of; acting Ⅱ名詞1 （歷...
  • 數 : 數副詞（屢次） frequently; repeatedly
  • 礎 : 名詞（墊在房屋柱子底下的石頭） plinth
  • 邏輯 : logic
  1. Based on the production of other researchers such as professor xu yang and professor qin keyun, this paper discusses the structure and properties of lattice implication algebra, tautologies in some lattice - valued systems, automated reasoning methods, lattice - valued prepositional logic system

    本文的工作是在徐揚教授、秦克雲教授等研究成果的基礎上，對格蘊涵代數的性質、結構、格值命題邏輯系統中的重言式、自動推理方法、格值命題邏輯系統等進行了一些研究。
  2. In the aspect of theoretical research : firstly, general descriptive format of controlling rule is discussed based on trait of intelligent control ; secondly, principle and tactic of basic logical controller are discussed based on panboolea algebra, and then control rules of basic logical controller are symbolized by using panboolea algebra ; at last, control idea of nine - points controller is presented based on basic logic controller, and control tactic is also analyzed based on phase - plane method

    在理論研究方面：首先從智能控制的自身特點討論了其控制規律的一般描述形式；然後以泛布爾代數為理論基礎，討論了基本型邏輯控制器的控制原理與策略，將邏輯控制器的控制規則用泛布爾代數符號化；最後以基本邏輯型控制器為基礎，討論了九點控制器的控制思想，並從相平面的角度對控制器的控制策略進行了分析。
  3. 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

    根據現代公路管理決策分析的需求，提出了基於公路管理業務數據庫基礎之上的公路管理數據倉庫的系統目標、邏輯設計、體系結構和實現方法。
  4. The logical control model is built based on pal - bool algebra based on a good deal of empirical data and characteristics of firing process of ceramic kiln. then simulation on this algorithm by matlab and shows the feasibility of the algorithm, and the result shows that this algorithm is much advantageous over traditional algorithms in stability

    在分析了大量經驗數據的基礎上，針對陶瓷窯燒成過程的特點，建立了基於泛布爾代數的邏輯控制模型，然後以matlab為模擬工具，對該邏輯演算法進行模擬，驗證了該演算法的可行性。
  5. 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

    借鑒市場營銷學中「營銷程序」這一基本概念，以營銷管理過程為邏輯，同時在對現代企業營銷非道德性主要表現分析的基礎上，能構建出一個包括營銷哲學道德性、營銷調研道德性、營銷戰略道德性、產品策略道德性、價格策略道德性、分銷策略道德性、促銷策略道德性和營銷管理道德性這八個營銷道德評價維度的「現代企業營銷道德指數綜合評價模型」和相應的指標體系及評價模式，並可以結合一個案例對其應用進行分析。
  6. We pointed out the features of this infrastructure, analyzed the basis of modern applied software - mvc mode, elaborated the j2ee system infrastructure used by this system, and analyzed the integrated infrastructure system. then from the system ' s real requirement, with the object - oriented method, we used an advanced modeling tool - rose to model the system ' s requirement and logic design, then finally implemented the system design. this system uses powerdesigner to do the data modeling, jbuilder as the development tool, and struts framework to realize the separation of the expressing layer, the logic layer and the data layer

    通過研究和開發寬帶boss ，了解了有關boss的基本概念、模型、發展現狀及發展趨勢；然後分析了現代應用軟體的架構： b s架構，指出了此種架構的特點，並分析了現代應用軟體架構的基礎? ? mvc模式，詳細介紹了本系統所採用的j2ee體系架構，對組成本系統的整體架構體系進行分析；隨后從本系統的實際需求出發，以面向對象的方法，採用先進的建模工具rose對系統的需求及邏輯設計進行建模；最後對系統設計加以實現，本系統用powerdesigner對數據建模，以jbuilder為開發工具，採用struts框架實現表示層、邏輯層及數據層的分離，數據層採用數據持久化技術hibernate ，從而可以隱藏訪問數據源的數據訪問api ，簡化開發。
  7. In order to describe thermotical character and mechanical charater of compressor, mechanism model is developed according to the construction and principle of compressor. this model may substitute the usual regress model and logic model, and more roundly describes the running law of centrifugal compressor

    本論文在熟悉和掌握離心式壓縮機結構和原理的基礎上建立了反映壓縮機熱力特性和機械特性的數學模型，取代了以往常用的回歸模型和邏輯模型，較全面地描述了離心式壓縮機的運行規律。
  8. 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來完成介面晶元設計。
  9. However, because the automobile breakdown is characterized by suddenness, comprehensiveness and difference, at the time of failure detection, we still need concrete analysis of concrete conditions, that is, we should choose appropriate detection facilities or testing tools with correct logic fault analysis, and then establish the data of failure detection and diagnosis, by which we can locate the failure and carry out trouble shooting accurately and promptly

    所以在檢測故障時，我們仍需要具體的情況具體分析即選擇適當的檢測設備或檢測工具輔以正確的故障分析邏輯，並在此基礎上建立故障檢測與診斷數，才能準確、及時地對故障進行定位與故障排除。汽車智能檢測系統的研究與開發目的是為了解決汽車故障的智能化檢測，而現代汽車故障診斷的基礎是汽車用傳感器的測試。
  10. Analyzing much experiment result, the paper presents a logical controlling method based on pan - bool algebra and constructs the controlling model in allusion to the non - linear, time - varying, delaying do control system

    在分析了大量實驗數據的基礎上，針對微生物深層發酵過程中非線性、大滯后、時變的溶解氧系統，建立了基於泛布爾代數的邏輯控制模型。
  11. The concept of basic implication algebra and implication algebra on a partial ordered set are obtained by studying the conditions which the implicative operator in a logic system should be satisfied. then the basic properties with different conditions and the characterizes of implication algebra are given. the iff conditions of a ( basic ) implication algebra to be regular are discussed

    基於對邏輯系統中蘊涵運算元應滿足條件的分析，引進了偏序集上基礎蘊涵代數和偏序集上蘊涵代數的概念，得到了其在不同條件下的基本性質，給出了（基礎）蘊涵代數的特徵刻畫，以及偏序集上（基礎）蘊涵代數成為正則的充分必要條件。
分享友人
分享到 Line

分享到臉書