正邏輯系統 的英文怎麼說

中文拼音 [zhēngluótǒng]
正邏輯系統 英文
positive logic system
  • : 正名詞(正月) the first month of the lunar year; the first moon
  • : Ⅰ動1. (巡察) patrol 2. [書面語] (遮攔) blockⅡ名詞1. (巡察) patrol 2. [書面語] (山溪的邊緣) edge
  • : Ⅰ動詞(編輯; 輯錄) collect; compile; edit Ⅱ名詞(整套書籍、資料的各個部分) part; volume; division
  • : 系動詞(打結; 扣) tie; fasten; do up; button up
  • : Ⅰ名詞1 (事物間連續的關系) interconnected system 2 (衣服等的筒狀部分) any tube shaped part of ...
  • 邏輯 : logic
  • 系統 : 1. (按一定關系組成的同類事物) system 2. (有條理的;有系統的) systematic
  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. In the hardware design, the paper completes modules ’ design like outside memory, patulous a / d, patulous d / a, rs232 communication, ecan communication, led control, keyboard control, distant control, emulation, reset, logic voltage switch, dsp supply power regulate and ac - dc power circuit, as well as room layout design like anterior panel, back panel etc. and dsp transfers data with peripheral equipments except outside memory using serial ports. besides, the whole circuit is configured in interrupt response. thus, it can meet system demand as well as take full advantage of tms320f2812 ’ s hardware resource. in the software design, the paper finishs programs like the interface programms intercommunicates with people, the distant control program, ad and da modules ’ control program, in addition, the paper select the velocity and acceleration state - feedback algorithm and is written in the program. the software design uses dsp integrate exploiting environment named ccs2. 2 of ti inc. as software instrument, and programs with the combination of c language and assembly language. moreover, in order to maintenance or modify the software expediently and shorten software ’ s exploitation time, the design adopt software modularization technique. finally, some air cylinder experiments are carried out to proved that the pneumatic controller is very practical

    在硬體設計中,本文完成了片外存儲器擴展、 a / d擴展、 d / a擴展、 rs232通信介面、 ecan通信總線介面、液晶顯示控制、鍵盤控制、遠程控制、模擬、復位、電平轉換、 dsp工作電源校電路和ac - dc電源等模塊設計以及控制器前面板、後面板等的空間布局設計。其中dsp與除外部存儲器的外圍設備之間的數據傳送全部採用串口通信,同時電路配置成中斷響應方式,這樣既滿足了要求,又充分利用了tms320f2812的硬體資源。在軟體設計中,本文完成了人機界面功能模塊、遠程控制模塊、 ad擴展模塊、 da擴展模塊、速度和加速度狀態反饋的控制演算法的程序設計。
  3. 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 」 、線性連續和修的線性連續控制策略,基於「地棚」阻尼控制概念的磁流變阻尼線性連續控制策略, 「天棚」阻尼和「地棚」阻尼控制概念線性組合起來的磁流變阻尼混合控制策略,根據模糊控制原理設計了以簧載質量和非簧載質量間相對位移或簧載質量加速度分別作為輸入變量的模糊控制器用於磁流變阻尼半主動懸架的智能控制。
  4. This is based on a system of logic that has subsequently been adopted by most of the other indian schools ( orthodox or not ), much in the same way that western science and philosophy can be said to be largely based on aristotelian logic

    這是基於一個,隨后被大多數其他印度學派(或非)所採用,可以說很大程度上就像西方科學和哲學是以亞里士多德的為基礎一樣。
  5. The systematic, formal, axiomatic development of the logic of all forms and models of being

    事物的所有表示和模型的的,的,式的,和公理性的開發。
  6. The hierarchization of peasant communicative objects, diversification of relations between communicative subjects, and " the pattern of difference sequence " reflected in trust relation all reflected this kind of logic : the communicative behavior choice of peasant is a kind of rational choice on the basis of the the traditional " pattern of difference sequence " and the traditional " pattern of difference sequence " is heading for rationalization

    農民交往對象的等級化、交往主體間關的多元化、信任關的「差序格局」都反映出這樣一種:農民的交往行為選擇是在傳「差序格局」基礎上的一種理性選擇,傳的「差序格局」在走向理性化。
  7. An important later development in nyaya is the system of navya nyaya ( new logic )

    理派后來的一個重要發展就是新
  8. 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上開發的使命規劃軟體的結構功能和流程圖,並敘述了模擬聯調實驗的過程,動態地顯示了「海洋地貌勘測」這一案例使命規劃的結果,並證明了使命規劃所得的任務序列在實際運行中確性與可行性。
  9. Following, on the basis of above - mentioned theoretic analysis this thesis points out that the inherent logic contradiction in conservatism is the essence of its paradox. because conservatism itself possesses unavoidable inherent logic inconsistency, a great deal of contradictions and conflicts were brought about in accounting system in the application iv of conservatism to accounting system. it may be said, these contradictions and conflicts are the representation of the conservatism ' s paradox

    接下來,筆者在上述理論分析的基礎上指出,謹慎性原則本身的內在矛盾是形成其悻論的本質內容,是由於謹慎性原則本身具有不可避免的內在不一致性,才使得其運用於會計中產生了諸多矛盾和沖突,可以說,這些矛盾和沖突是謹慎性原則悼論的外在表現。
  10. In order to ensure to process regularly the daily maintenance management, this paper is based on the theory and method of database design and the theory of pavement management system, combining the application environment and operation flow of the expressway maintenance system, bringing forward the four stages of the expressway maintenance system design which are the requirement analysis of consumers, conception framework design, logic framework design and physical framework design, scheming out an optimum database mode applied to all kinds of expressway maintenance systems, and establishing a common database application system, so that the expressway maintenance system can evaluate the pavement performance, forecast the pavement performance and make decisions of the pavement maintenance

    為了保證高速公路日常養護管理常有序的進行,本文根據數據庫的設計原理、方法及路面管理原理,結合高速公路養護管理的實際應用環境和操作業務流程,提出了高速公路養護管理數據庫設計的4個階段? ?用戶實際需求分析、概念結構設計、結構設計和物理結構設計,設計出適用於各種高速公路養護管理最優的數據庫模式,並建立了通用的數據庫應用,使得養護管理能夠進行路面性能評價、性能預測和養護維修決策
  11. At the same time, we have discovered some bug in cooperate between the two type protection, analyzed different result in different condition as config with different logic protection, show that the incorrect relay act result from these bug only appear when line is in incompletely phase operation and occur fault, furthermore the mass computer protection have comprehensive incompletely phase logic, so this condition can not seriously threaten the power system

    同時,也發現了兩種保護裝置在配合上存在一些缺陷,分析了這種上的不配合在不同情況下所造成的不同後果,並且指出由於這些缺陷所造成的保護裝置不確動作的情況僅在線路非全相運行時又故障的情況下才可能出現,而且現有的成套微機保護的都具有較為完善的非全相,在保護裝置常投運的情況下,還不致對安全構成重大隱患。
  12. The system uses the permanent magnet synchronous machine as the driver motor based on the idea of polygonal flux linkage locus and the permanent magnet brush - less motor is as the momentum balance motor by means of speed and current loop in order to track driver motor precisely and rapidly. the harmonious control of driver motor and balance motor is realized by making full use of the dsp hardware resource and complicated programmable logic device. the software design is composed of c and assembly language to realize motor control arithmetic of polygonal flux linkage locus

    衛星天線伺服控制弦波永磁同步電機作為驅動電機,採用多邊形磁鏈軌跡法(電壓空間矢量法)的控制策略;動量平衡電機採用永磁無刷直流電機,通過電流環、速度環達到快速、精確跟蹤驅動電機的目的,確保了衛星姿態恆定;設計方案中充分利用了dsp硬體資源和復雜陣列實現了驅動電機和平衡電機的協調控制,並通過c語言和匯編語言的混合編程實現了電機的多邊形磁鏈軌跡控制演算法。
  13. 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描述的弱點。
  14. The dissertation refers to comparatively full literatures in the field of vsc, and the development history and characteristics of vsc are summarized, and the elementary concepts, elementary definitions, elementary properties, elementary principles and design methods are particularly introduced, and the causes of the chattering phenomenon are systematically analysed, and the study status of the chattering phenomenon and the main methods to eliminate the chattering are elaborated. for the deficiencies of traditionary methods, three improved methods are developed, which are improved exponent reaching law solution, variable boundary layer solution and the solution by adding an auxiliary continuous control term. for uncertain linear systems, an adaptive fuzzy integral variable structure control stategy ( afivsc ) is put forward to eliminate the chattering around the sliding plane, which introduces fuzzy logic to soften the non - linear discontinuous sig nal in the control variable and utilizes adaptive theory to adjust output membership function according to how much the uncertainty of the system is

    比較全面地查閱了關于變結構控制理論的文獻,總結了滑模變結構控制的發展歷史和特點,詳細介紹了變結構控制的基本概念、基本定義、基本性質、基本原理以及設計方法;分析了變結構控制抖振產生的機理,並闡述了國內外目前對抖振問題的研究現狀以及消除抖振的主要方法;針對傳抑制和消除抖振方法的不足,改進了傳方法,得到了三種新的消除抖振的方法? ?即改進的指數趨近律法、可變邊界層法和附加連續項法;針對不確定性線性,在變結構控制策略中引入模糊和自適應理論來消除滑動平面上的抖振,提出了一種自適應模糊積分變結構控制方案( afivsc ) ,利用模糊來柔化控制量中非線性不連續部分,採用自適應理論,根據不確定性大小在線調整模糊輸出量的隸屬函數,另外,鑒于模糊控制本質上是有靜差的,所以本文選擇了帶積分項的切換函數,由於積分項的存在使為無靜差
  15. Using petri nets theory, this thesis carries out lift controller ' s normal running petri net model and function running petri net model. it is successful to use logic fault diagnosis petri net model, which is brought forward by the thesis, into lift controller fault diagnosing

    本文運用petri網理論建立了電梯控制常運行故障檢測petri網模型及其功能運行故障檢測petri網模型;提出故障診斷petri網模型,並將其運用到電梯控制故障診斷中,取得良好效果。
  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. In 1997, based on rq implication operator professor wang guojun proposed revised kleene system. again in 1998, professor wang proposed the concept of generalized tautology and discussed the classes of generalized tautologies deeply in revised kleene system

    1997年,王國俊教授基於蘊涵運算元r _ 0提出了修的kleene,又於1998年引入了廣義重言式的概念,對修的kleene中的廣義重言式類進行了深刻而細致的討論,建立了廣義重言式理論,為模糊提出了新的研究方向。
  18. Conclusion using the regular fuzzy implication is very important to construct logical system

    結論則蘊涵運算元對于建立完備的至關重要。
  19. The time range of this research is from 1840 to 2003, the recent times is about 160 years. according to educational system, curriculum planning, physical education curriculum standard of primary and middle schools issued by chinese governments in recent times, the author makes systemic description and analysis on the course of developing evolvement of physical education curriculum over one hundred years in recent times through the method of document, investigation, historical studying, logical analysis and comparative study. based on it, the historical experience and lesson of physical education curriculum developing evolvement are discussed and summed up, and makes prospect on chinese characteristic physical education curriculum in the future

    本課題研究對象的時間跨度涉及到從1840年鴉片戰爭到2003年,中國近現代約160餘年的時間,本課題以近代以來歷屆中國政府頒布的有關普通中小學教育的學制、課程(教學)計劃、體育課程標準(體育教學大綱)為主要歷史發展線索(研究對象實體) ,在馬克思主義辯唯物主義和歷史唯物主義理論的指導下,遵循歷史與一、歸納與演繹的一、經驗與思辨的一等基本研究原則,運用文獻資料法、調查研究法、歷史研究法、分析法、比較研究法等,討一百多年來我國近現代體育課程的發展演變過程,進行的描述和深入的分析,並在此基礎上,探討總結我國近現代體育課程發展演變的歷史經驗和教訓,並對未來有中國特色的體育課程做出展望。
  20. 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

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