合於邏輯的 的英文怎麼說
中文拼音 [gěyúluóde]
合於邏輯的
英文
sequacious- 合 : 合量詞(容量單位) ge, a unit of dry measure for grain (=1 decilitre)
- 於 : 於名詞(姓氏) a surname
- 邏 : Ⅰ動1. (巡察) patrol 2. [書面語] (遮攔) blockⅡ名詞1. (巡察) patrol 2. [書面語] (山溪的邊緣) edge
- 輯 : Ⅰ動詞(編輯; 輯錄) collect; compile; edit Ⅱ名詞(整套書籍、資料的各個部分) part; volume; division
- 的 : 4次方是 The fourth power of 2 is direction
- 合於 : consist with
- 邏輯 : logic
-
On january 25th he accused his detractors of trying to put the nation under a state of emergency and described their demands for a return to the old order as “ ahistoric and illogical ”
1月25日他指責他的批評者試圖將國家置於緊急狀態下,形容他們要求回到舊的秩序是「無歷史記載也不合邏輯的」 。Legal logic is useful in the processes of commanding legal concept, using legal concept, upbuilding and grasping proposition logically and carrying on legal reasoning accordingly, and doing logic reasoning for the legal arbitrament and legal ideas which are to be made
法律邏輯有助於準確掌握和運用法律概念,合乎邏輯地建立和把握命題並進行法律推理,對即將作出的法律裁決或法律意見進行邏輯論證。When listening to mechanism of inferior public security to represent a report, should to it look communication, show the posture movement that oneself listen attentively to seriously in order to nod first class what match, the person that can ask in time to report to the very not clear problem in the report repeats, explanation, also can quiz appropriately, but the problem that should notice to carry is logical, unapt the train of thought that interrupts report of the other side
聽取下級公安機關代表匯報時,應與之目光交流,配之以點頭等表示自己認真傾聽的體態動作,對匯報中不甚清楚的問題可及時要求匯報者重復、解釋,也可以適當提問,但要注重所提的問題合乎邏輯,不至於打斷對方匯報的思路。To quote from albert einstein , science is the attempt to make the chaotic diversity of our sense experience correspond to a logically uniform system of thought
引用阿爾伯特。愛因斯坦的話來說,科學是試圖使我們頭腦中一大堆雜亂無章的感性經驗,符合於邏輯上前後一致的思維體系。Is it possible that that player shakespeare, a ghost by absence, and in the vesture of buried denmark, a ghost by death, speaking his own words to his own son s name had hamnet shakespeare lived he would have been prince hamlet s twin is it possible, i want to know, or probable that he did not draw or foresee the logical conclusion of those premises : you are the dispossessed son : i am the murdered father : your mother is the guilty queen
身為演員的莎士比亞,由於外出而做了鬼魂,身穿死後做了鬼魂的墓中的丹麥先王的服裝93 ,他可不可能就是在對親生兒子的名字倘若哈姆奈特莎士比亞不曾夭折,他就成為哈姆萊特王子的雙生兄弟了,說著自己的臺詞呢?我倒是想知道,他可不可能,有沒有理由相信:他並不曾從這些前提中得出或並不曾預見到符合邏輯的結論:你是被廢黜的兒子,我是被殺害的父親,你母親就是那有罪的王后, 94娘家姓哈撒韋的安莎士比亞One minor disadvantage to this approach is that, since tempnam can be used insecurely, various compilers and security scanners may give you spurious warnings about its use
這種方法有一個小的缺點,由於可能無法安全使用tempnam ,所以各種編譯器和安全掃描器可能都會向您發出使用不合邏輯的警告。First, it applies fuzzy logical in the abstract and non - linear dealing ability ; second, it applies neural net in the self - study and any functions approaching ability ? through combining above two ability, it can find a best p i d non - linear controlling regularity and achieve controlling on line of the unknown subject etco therefore, it not only can strengthen robust and intelligence of the system, but also make design simple and easily be requiredo in addition, the thesis also does many works on procedure of upper - computer and basic - controller and the whole system designed can be put into work immediately
根據啤酒發酵過程具有大慣性、時滯和非線性等特點,本論文還提出一種基於神經網路的模糊自適應pid控制方案,它一方面利用模糊邏輯的「概念」抽象能力和非線性處理能力,另一方面利用神經網路的自學習能力和任意函數的逼近能力,通過兩者的有機結合尋找一個最佳的p 、 i 、 d非線性組合控制規律,以實現對未知對象進行在線控制,並具備適應控制環境變化的能力和自學習能力等。In this paper, paradigm is firstly analyzed and regarded as a system that consists of idea paradigm, rule paradigm and practice paradigm ; then, a combined point between the western economics and paradigm is found out by analyzing economics, that is to say, idea paradigm has the same meaning as the regulative problems, and rule paradigm and practice paradigm are branches of analyzed problems. so author thinks that it is possible to appear the natural development law of economics by analyzing economics theory introduced by kuhn ' s thoughts. in this paper, the possibility of applying kuhn ' s thoughts in the researches on western economics is proved and conformed by studying the development history of western economics, and institutional economics, the development trend of western economics is deduced
因此,為了利於研究,筆者首先對庫恩範式進行解構,把範式看作是由觀念範式、規則範式和操作範式三要素構成的範式系統,其中觀念範式是核心,是始發之源,規則範式是中層結構,而操作範式是聯結外部自然的「外圍」 ,在範式系統的層次結構中觀念範式是最穩定的,不易發生變化的,一旦觀念範式發生變化,則整個範式系統發生「格式塔轉換」使其明確化;然後通過分析經濟學的研究邏輯,認為經濟學的研究邏輯由對象邏輯、思想邏輯、和發展邏輯構成,通過對經濟學對象邏輯和思想邏輯的研究,找到經濟學研究與範式的結合點,即觀念範式與規范性問題是具有同等意義的概念,而規則範式和操作範式是武漢理工大學碩士學位論文對分析性問題的細分,從而使範式理論應用於經濟學理論的研究成為可能。The defects and mendings of carnap ' s logical system of the theory of probability confirmation are accounted in the forth part of paper. firstly, carnap ' s theory is based on priori, so his theory does not give exact number to the degree of confirmation, which leaded the study of induction collected with people ' s cognitive ability
由於卡爾納普的概率邏輯確證理論建立在概率先驗性基礎上,因而不能精確刻畫確證函數的值,遭到了格萊憬爾等人的批評,從而使人們認識到歸納邏輯的研究應與人類的認識規律相結合。The most complex part of the compound class parser is the interpretation of logical conjunctions and disjunctions
復合類解析器最復雜的部分在於邏輯合取和析取的解釋。Then the axiomatic of negotiating logic is presented to give the system a formal description, and then appropriateness of axioms is interpreted
之後給出基於模態邏輯的協商推理邏輯公理體系來形式化地描述多agent系統,再對公理的合理性進行充分的解釋。In order to add logic to the library s bean class it is necessary to visualize the ejb bean class for the library bean which is done by selecting the library bean in the visual editor and selecting the
為了向library的bean類中加入邏輯信息,必須使適合於library bean的ejb bean類能夠可視化。這通過在可視化編輯器中選擇library bean並在context菜單中選擇Combining with co - evolution mechanism, we renewedly defined the several aspect of the co - evolutionary agent, such as the belief, action, communication, decision maker, and so on. we made the co - evolutionary agent model and actual world model become a uniform closed loop system, and established the symbol deduction theory model of multi - agent system based on co - evolution mechanism
結合協進化機制,從符號演繹邏輯的角度重新定義了協進化智能體的信念、動作、通信、決策器等各個方面,將協進化智能體模型與實際世界模型形成一個統一的閉環系統,並建立了基於協進化的多智能體系統的符號演繹理論模型。So, in this paper, it does the research of the bidirectional conversion between uml and xyz / adl. in this way it combines the oo visual modeling language and formal method based on temporal logic together to describe software architecture, and so to find how to apply the formal method to real software development to promote the research not only on main technologies in software but also on formal method
基於此,本文開展了對基於時序邏輯的軟體體系結構描述語言xyz / adl和uml之間的雙向轉換問題的研究,通過研究二者之間的轉換,實現將基於時序邏輯的形式化方法與面向對象的可視化建模語言相結合描述軟體體系結構,來探討如何將形式化方法應用於實際的軟體開發過程中,這樣不但能促進對當前軟體主流技術的研究,而且能促進對形式化開發方法的研究。3. apply industrial process hybrid model mixed with logical and rule to simplify activated sludge process model in wastewater treatment and deduce to a reduced model adapted to control. the simulation result show that this method can combine mechanism model of activated sludge process and expert knowledge and operational experience and can get better effect of optimization and control. moreover, the computational time is short and suitable for real - time control in wastewater treatment by applying mixed integer nonlinear programming mixed with logical rules
應用結合邏輯規則的工業過程混雜模型的方法,對城市污水處理中活性污泥法過程模型進行簡化,得出適用於控制目的的簡化模型,模擬結果證明:這種方法可充分利用對活性污泥法過程機理模型,又可利用專家及操作過程的經驗,從而更利於對活性污泥法過程的優化和控制,而且採用結合約束邏輯的混合整數非線性規劃演算法,計算時間較短,可適用於污水處理過程實時控制中。For examp1e, the sort arithmetic so1ves 1eve1 partition of combination 1ogic ; the computing input waveform of sensitized path makes the possib1e of conf1rm the minimum c1ock circ1e ; the cyc1e - - based method for synchronous op tajg1fyjct7 : @ + $ { 4it x sequentia1 circuits improve the speed of waveform simu1at ion
其中,編排級數法確定了組合邏輯的層次關系;通路敏化輸入波形方法決定了最小時鐘周期;基於周期的同步時序電路的模擬演算法加快了模擬的速度等。This paper composes a new way to describe software architecture through combining the visual modeling language which is object oriented and the formal method which based on temporal logic. it contributes to the research of software architecture description and the research of formal semantics of uml as well as the application of formal method in the software development
本文通過將面向對象的可視化建模語言與基於時序邏輯的形式化方法結合起來描述軟體體系結構,對軟體體系結構描述研究、 uml形式語義研究和形式化方法在軟體開發中的應用等方面都有一定的推動作用。Carnap ' s theory has important value. firstly, carnap answered the famous question of inductive logic problem which is also called " hume problem " in philosophy history in particular way. i. e, he made the format of inductive logic into reality, though his theory had some limitations and could n ' t solve this problem completly. he also supplied the logical basis to science ' s reason
卡爾納普的概率確證理論通過對歸納邏輯的形式化對「休謨問題」作出了有價值的回答,為科學理論的合理性提供了邏輯基礎,但由於他的理論存在的缺陷,使二油已0碩士學位論文iymasdr 』 s幾回s這個問題並沒有得到解決。Again in 1999, based on rq implication operator prof. wang proposed triple - i method of fuzzy reasoning, which is more reasonable than the cri method that was proposed by zadeh and now is widely applied in control field
1999年又基於只。蘊涵運算元提出了模糊推理的全蘊涵三i演算法,這是比zadeh提出的如今在控制領域中廣泛應用的cri方法更為合理,邏輯基礎更強的推理演算法。To be able to sift evidence impartially, to take the facts and look at them as facts - that seems to me the only logical method of arriving at the truth
能夠公平的審查證據,讓事實說話這對於我來說是唯一獲知真相的合乎邏輯的方法。分享友人