正規邏輯 的英文怎麼說

中文拼音 [zhēngguīluó]
正規邏輯 英文
regular logic
  • 正 : 正名詞（正月） the first month of the lunar year; the first moon
  • 規 : Ⅰ名詞1 （畫圓形的工具） instrument for drawing circles 2 （規則; 成例） rule; regulation 3 [機械...
  • 邏 : Ⅰ動1. （巡察） patrol 2. [書面語] （遮攔） blockⅡ名詞1. （巡察） patrol 2. [書面語] （山溪的邊緣） edge
  • 輯 : Ⅰ動詞（編輯; 輯錄） collect; compile; edit Ⅱ名詞（整套書籍、資料的各個部分） part; volume; division
  • 正規 : regular; standard; normal正規部隊 regular troops; regulars; 正規教育 regular education; proper ed...
  • 邏輯 : logic
  1. We first present a number of desiderata for an xml - based query language, and based on this criterion, we introduce the syntax of a simple core ian - guage for semistructured data and then describe four extensions that have resulted in working prototypes. second, we present the algorithm for computing the result of a regular expression on data graph with cycles, the first - order interpretation of querying language for semistructured data, and explore structural recursion and bisimulation in semistructured data and propose an efficient and systematic way to computing a bisimulation between the two graphs. we also proposed and implemented a web querying system with database features

    基於這些準則，對一個簡單的半結構數據查詢核心語言的語法提出了兩方面擴充；給出了計算數據圖中正規表達式的演算法；對半結構數據查詢語言的一階邏輯描述、結構遞歸和數據圖的雙態模擬（ bisimulation ）等問題進行了研究，提出了一種判定數據圖的bisimulation演算法；在xml數據查詢語言研究的基礎上，設計並實現了一種具有數據庫查詢特性的web查詢系統原型。
  2. Several semi - active control algorithms used in the semi - active suspension system with mr dampers are proposed and developed including the " on - off " voltage controller, the continuously linear variable voltage controller, the modulated continuously linear variable voltage controller based on " sky - hook " damping concept and the hybrid controller based on the combination of " sky - hook " damping concept and " ground - hook " damping concept and the fuzzy logic controllers using measurements of the relative displacement between the sprung and unsprung mass or the absolute acceleration of the sprung mass as the input variables of fuzzy logic controllers. the simulation models were prepared in matlab ? simulink ? fuzzy toolbox programs. the experiment setup of the semi - active suspension system with mr dampers in the lab has been designed and developed

    根據磁流變阻尼器特性和對懸架系統動力學特性的規律性研究，為磁流變阻尼器設計了基於「天棚」阻尼控制概念的「 on - off 」 、線性連續和修正的線性連續控制策略，基於「地棚」阻尼控制概念的磁流變阻尼線性連續控制策略， 「天棚」阻尼和「地棚」阻尼控制概念線性組合起來的磁流變阻尼混合控制策略，根據模糊控制原理設計了以簧載質量和非簧載質量間相對位移或簧載質量加速度分別作為輸入變量的模糊邏輯控制器用於磁流變阻尼半主動懸架的智能控制。
  3. After discuss the structure and character of operating system qnx and inter - process communication between pc ' s running qnx or windows, the paper describes the structure, function and flow chart of mission planning software which is developed in qnx, and narrates the course of simulation co - debug experiment, dynamically showing the results of the mission planning in the case of " ocean physiognomy reconnaissance ", and proving the logical correctness and feasibility of task serial produced by mission planning

    在論述了多任務、實時操作系統qnx的結構特點以及基於qnx與windows運行的pc機之間網路進程通信的基礎上，本文描述了在qnx上開發的使命規劃軟體的結構功能和流程圖，並敘述了模擬聯調實驗的過程，動態地顯示了「海洋地貌勘測」這一案例使命規劃的結果，並證明了使命規劃所得的任務序列在實際運行中邏輯的正確性與可行性。
  4. Secondly, in the theory of gl with the four rules of producing such as generator rule, generating radix rule, rule of basis space changing, developing order rule, gpl can produce all kinds of basic operation model with other logic such as classical propositional logic, three - value logic, fuzzy logic and broad sense fuzzy logic. finally, it proved that a material logic can be produce by gpl. and it shows the universality gpl can contain most logic

    眾所周知，邏輯學家正是利用這些定義證明了該邏輯的全部推理規則，建立起了整個命題邏輯體系；然後我們直接利用命題泛邏輯學的生成規則，通過對廣義相關系數h的不同取值也同樣生成了這些運算模型，也就是說直接生成了這個命題邏輯；這個生成過程還揭示了各種運算模型的物理意義和使用條件，也就是說揭示了各種命題邏輯的物理意義和使用條件。
  5. Proceed from process angle governed by law of our country, correlate with others the relatively looking of document from civil case judgement, the civil court verdict especially demands to reason0 besides, for promote civil case judgement improvement, the article argue and analyze of present civil case judgement about the focus question, propose to argue and should combine china traditional culture civil case judgement, pay attention to for the view to human feeling, argumentation of reason, and so on o

    從我國法治進程角度出發，從民事判決書與其他相關文書的比較來看，民事判決書尤其要求說理。同時，為促進民事判決書說理的改進，在司法實踐中應強化法官對法律規范的解釋權，民事判決理由部分對情理、事理的闡述可以考慮將非正式法律淵源作為民事判決說理的依據；判決說理中除應運用好語言與邏輯之外，可考慮寫作「法官后語」 。
  6. Finally, compared with the existing similar studies, the paper is creative in research method, that is interpreted a paradex of the reformation logic in china telecommunition industry through game theory, when we realize the really causality, maybe we can formulate a policy to promote the development of china telecommunication industry

    與已有同類研究相比，論文在研究方法上有所創新，即對于中國電信改革邏輯的不一致提出了一個博弈論意義上的解讀，即如果電信管制機構本身就是電信博弈格局中與受管制企業有利益正相關性的一方當事人，那麼它不可能制定出一個公平的、有效的博弈規則，從而電信有效競爭格局無法形成。
  7. In this paper, through the research of the mental model of agent and the analyses of a few kinds of " belief - desire - intention " ( bdi ) model of agent from the logical view, we explain the agent theoretically. on the base of analyzing the organ structure of agent, we put forward the kernel agent concept. the kernel concept abstracted from common properties of agent, contribute to construct agent and multi - agent system. we have also studied the kqml ( knowledge query and manipulation language ) and communication mechanism of agent, and bring forth the ontology researching will become the emphasis in construction of abstract knowledge exchanging between the agents. at last, we construct a multi - agent system, which exchange kqml message by a mobile agent, by the development tools of agelt and jkqml

    當前，對agent和多agent系統的研究正在掀起熱潮，是當今計算機科學技術領域、信息工程領域和網路與通信領域十分活躍的前沿研究方向之一。本文通過對agent心智模型的研究，從邏輯學的角度分析並總結了幾種agent 「信念?願望?意圖」 （ bdi ）模型，在理論上對agent進行了解釋。總結了現有邏輯模型存在的問題，提出去掉規則n形成的一種非正規模態邏輯的語義上的新的解釋，解決了「邏輯全知」問題和由此帶來的問題，避免了一般非正規模態邏輯系統語義解釋對agent的bdi描述的弱點。
  8. To help you to organize and perform common tasks on the items that you are developing, visual studio projects are used as containers within a solution to logically manage, build, and debug the items that comprise your application

    為了幫助您對正在開發的項進行組織和執行常規任務，將visual studio項目用作解決方案內的容器，以通過邏輯方式管理、生成和調試構成應用程序的項。
  9. This paper was accomplished by means of the methods of historical analysis law. logic analysis law, law of abstract analysis, law of system analysis, normal analysis law and empirical analysis law under such macroscopic and microscopic background. this article is made up of 7 parts

    本文正是在這樣的宏觀和微觀背景下寫作的，所運用的方法包括：歷史分析法、邏輯分析法、抽象分析法、系統分析法、規范分析和實證分析法等。
  10. Note : a maximum is specified that is the most - positive value of low - level input voltage for which operation of the logic element within specification limits is to be expected

    注：在限定的工作條件下，所規定的最大輸入電壓是極不容易保證邏輯單元所期望的低電平輸入電壓的最大正電壓值。
  11. Note : a minimum is specified that is the least positive value of high - level input voltage for which operation of the logic element within specification limits is to be expected

    注：在限定的工作條件下，規定的最小輸入電壓是極不容易保證邏輯單元所期望的高電平輸入電壓的最小正電壓值。
  12. This dissertation is composed of follows : a ) introducing new logic operator into the traditional agent bdi model, including bel, asm, des, goal and int, in order to describe the dynamic restrictions and interactive triggering relations between belief, desire and intention of agent. a new intentional model was built in complementation of the kd45 regular modal logic axiom, which is the base of agent self - control interaction with the outer environment

    在傳統的理性agent的bdi形式化邏輯模型中作者引入新的邏輯運算元bel 、 asm 、 des 、 goal和int等，表達了信念、願望和意圖三者間的動態約束與相互激發關系，補充了正規模態邏輯的kd45公理，建立agent從信念到動作選擇的的意圖模型，為研究agent與環境交互的自主行為模式提供了理性化模型。
  13. Ti ? the voltage level at a transition - operated input that causes operation of the logic element according to specification, as the input voltage falls from a level above the positive - going threshold voltage, vt +

    輸入電壓從正向門限電壓以上的電平vt ?開始下降，躍變后的輸入電平使得邏輯元素（單元）按照規范完成工作。
  14. Based on large numbers of train examples, we adopt learning from examples approach which implement produce rules by using extended ocat algorithm to realize classification of text. at the same time, we put forward rules for special word to calculate the credibility of text

    我們採用實例學習方法，在大量訓練實例的基礎上，將改進的用於邏輯規則提取的ocat挖掘演算法用於文本分類規則的提取，分別產生針對正例集和反例集的識別規則，對文本進行二分分類。
  15. The scale, facility, setup mode and the topper application are increasing, but the network management system still adopts a centralizing structure based on manager / agent model. in the centralizing structure, the network management system can ’ t change with the scale and complexity, which made the system bigger and bigger. all management logic is computing in one workstation, that will occupy too many bandwidth, depress performance and made the workstation become the weakest part, if the workstation overrun or dead, agent can ’ t come back because it must wait manager ’ s command

    目前，我國電信網路正處于高速發展中，網路的規模越來越大，設備種類越來越多，組網方式越來越多樣化，應用越來越復雜，但是網路管理系統仍然普遍採用管理員/代理的集中式管理方法，在集中式網路管理模式中，網管系統不能隨著網路規模和復雜度的變化而變化，致使網管系統越來越龐大;網路管理邏輯全部集中在一個管理工作站中計算，需要佔用大量的帶寬來傳輸設備數據，有效性差，同時管理工作站是系統中最脆弱的部分，一旦管理方超負荷或死機，代理方因為必須等待管理方的指令而無法恢復系統，導致系統崩潰。
  16. To fill the iii completeness of data relation, we need negative association rules, just as it needs negative real number in real number system, negative proposition in logic system

    正如實數系統中需要負實數、邏輯系統中需要否命題一樣，為了滿足數據關系的完備性，我們需要負關聯規則。
  17. This introduces three - value logic to comparison operators, which can be difficult to manage correctly

    此規定在比較運算符中引入了三值邏輯，而要正確運用該邏輯很困難。
  18. As i have said above, the draft party constitution does not differ in fundamental principle from the constitution adopted by the seventh congress, and furthermore, it must be said that the fundamental spirit of the draft constitution is just the logical development of the various principles laid down by the seventh congress to govern the party ' s work

    像我在前面所已經說過的，黨章草案同第七次大會所通過的黨章，並沒有根本原則上的不同，而且應當說，草案的基本精神，正是第七次大會所規定的關于黨的工作的各項原理的邏輯發展。
  19. Normalizing a logical database design involves using formal methods to separate the data into multiple, related tables

    規范化邏輯數據庫設計包括使用正規的方法來將數據分為多個相關的表。
  20. Meanwhile, a new general examination model is created and a full set of core examination rules are designed to meet different examination needs and make the heavy examination work more automatized, standard, universalized, just and improve efficiency greatly and bring management great convenience, too. the structure of this system bases on browser / server

    同時通過構建通用考試管理系統模型，設計考試管理業務邏輯規則及其流程工作模式，滿足不同考試報考及其考試業務管理，使繁瑣的考試管理自動化、規范化、通用化、公正化，極大提高考試管理效率，給管理帶來極大方便。
分享友人
分享到 Line

分享到臉書