邏輯方式 的英文怎麼說

中文拼音 [luófāngshì]
邏輯方式 英文
logical course
  • 邏 : Ⅰ動1. （巡察） patrol 2. [書面語] （遮攔） blockⅡ名詞1. （巡察） patrol 2. [書面語] （山溪的邊緣） edge
  • 輯 : Ⅰ動詞（編輯; 輯錄） collect; compile; edit Ⅱ名詞（整套書籍、資料的各個部分） part; volume; division
  • 方 : Ⅰ名詞1 （方形; 方體） square 2 [數學] （乘方） involution; power 3 （方向） direction 4 （方面） ...
  • 式 : 名詞1 （樣式） type; style 2 （格式） pattern; form 3 （儀式; 典禮） ceremony; ritual 4 （自然科...
  • 邏輯 : logic
  • 方式 : way; fashion; pattern
  1. This dissertation takes feuerbachs meticulous logical structure as masterstroke, explains his whole deduction process, which from the conception of civil penalty to the theory of psychological coercion, again from law deterrence to the principle of legally prescribed punishment for a specified crime. and it also states that, feuerbach takes the external behavior for condemnatory object, obviates the intervention of sentiment, abandons moral punishment or moral principles, moreover, excludes judiciary arbitrariness by means of law restriction, besides, emphasizes law deterrence and creates the theory of psychological coercion, and as a result establishes the principle of legally prescribed punishment for a specified crime

    本文以費爾巴哈嚴謹縝密的邏輯結構為主線，梳理了其從市民刑罰概念的構築到心理強制說的提出、再到確定刑罰法規中法律威懾思想的確立直至罪刑法定主義原則的整個推論過程，闡釋了費爾巴哈把客觀的、外部的行為作為處罰的對象，排除情操的介入，把法律置於可罰性的絕對根據之中，擯棄道德性刑罰或道德性原理，通過把法官約束在法律之中的方式排斥了法官的恣意專斷，又強調法律的威懾，創立心理強制說，從而確立了罪刑法定主義的刑法思想。
  2. The method of connecting timing into 1ogic i s explained in waveform po1ynomia1 on the basis of waveform concept in boo1ean process theory. and an ana1ytica1 de1ay mode1 that is close to practice circuits is found

    並在布爾過程論中定義波形的基礎上，說明了邏輯與時序在波形多項式中的結合方法，建立了接近實際電路的解析延遲模型。
  3. 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查詢系統原型。
  4. As we know, the ritual is often taken as " the traditional container ", which means ritual has a very special capable to contain the ethnic, historical and traditional interpretative ability for itself as well as multicultural, multiethnic exchange events and " facts ". in this case, dionysus pattern is a typical example, many aspects showed that there existed a very complicated relations among the arche - type : the origin of the western tragedy, the exhibition of relation between man, nature and culture, the expression of literary themes etc. main purpose of this research will be concentrated on the combination of the dionysus ritual pattern and analyses relative eastern factors including historical texts, the drama literature using the method of literary anthropology

    作為一個經典範例，酒神祭耙儀式被視為一種跨民族、跨區域、多元文明的遺產：西方戲劇起源的濫骯哲學美學類型上的二元對峙關系的基本要件：西方文學敘事中不可或缺的原型；更重要的是，它是人類生命體驗的「自然之性」的展示… …本文通過對酒神的個案的人類學資料，同時結合狄奧尼索斯祭祝儀、戲劇文學以及相關的歷史文本分析，旨在對比較文學中「西方中心」的歷史邏輯進行梳理和反思。
  5. As we all known, with the founding of euclidean geometry in ancient greece, with the development of analytic geometry and other kinds of geometries, with f. kline " s erlanger program in 1872 and the new developments of geometry in 20th century such as topology and so on, man has developed their understand of geometry. on the other hand, euclid formed geometry as a deductive system by using axiomatic theory for the first time. the content and method of geometry have dramatically changed, but the geometry curriculum has not changed correspondingly until the first strike from kline and perry " s appealing

    縱觀幾何學發展的歷史，可以稱得上波瀾壯闊：一方面，從古希臘時代的歐氏綜合幾何，到近代解析幾何等多種幾何的發展，以及用變換的方法處理幾何的埃爾朗根綱領，到20世紀拓撲學、高維空間理論等幾何學的新發展，這一切都在不斷豐富人們對幾何學的認識；另一方面，從歐幾里得第一次使用公理化方法把幾何學組織成一個邏輯演繹體系，到羅巴切夫斯基非歐幾何的發現，以及希爾伯特形式公理體系的建立，極大地發展了公理化思想方法，不管是幾何學的內容還是方法都發生了質的飛躍。
  6. By using the yearly data of water - sand that is gotten by a couple of adjacent hydrologic station in yellow river lower reaches, this paper makes use of kinds of math methods looking for the nonlinear disturbance among all of the factors, and introduces the thinking of analysis, logic, conclusion, inference, and random to nonlinear hydrologic forecasting. it realizes the valid approximation of the water level process in erodible - bed channel

    本文選擇黃河下游兩對相鄰水文站多年水沙資料，藉助多種數學方法尋找其中的非線性擾動項，將隨機數學中分析、邏輯、歸納、演繹、隨機的思考問題方式引入到非線性水文預報中，實現沖淤河道相應水位過程的有效擬合。
  7. Taking books copied on silk which was unearthed in the middle time of the han dynasty comparing with the related contents in " yi wen zhi of han book " and treading the documents before the time of liuxiang with the line logic pattern are two mistakes of methodology

    將新出土的漢代中期以前的簡帛文獻比附《漢書?藝文志》相關篇目、以線性的邏輯模式處理劉向之前或其同時代的互見文獻，是目前古籍流傳和學術史研究中兩個比較常見的方法論誤區。
  8. In this programme, the database of many stored foods and experiential database are described by using production system, and, inexact reasoning is settled down with the method of fuzzy logic, finally, by separating the control knowledge and field knowledge, the design clue of expert in field is incarnated in the form of rules - base. the expert system created can simulate the thought and decision - making of expert in hvac field, and get the anticipative results

    該程序中用產生式規則系統建立了冷藏食品信息庫和經驗數據庫，並運用模糊邏輯方法進行不精確推理，採用控制知識和領域知識分離控制流的方法，以規則庫的形式，體現了領域專家設計思路。該專家系統模擬專家進行符號推理及選取經驗數據，得到了較好的設計結果。
  9. As you ll see, the basic elements are arranged logically, and most elements follow similar patterns for nesting child elements

    您將看到，基本元素是以邏輯方式排列的，大多數元素都遵循類似的模式來嵌套子元素。
  10. 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項目用作解決方案內的容器，以通過邏輯方式管理、生成和調試構成應用程序的項。
  11. By depicting the customary law concerning respecting the elders and harmonizing clansmen, part ii shows that the traditional customary law is not simply left over by history but a logical way adopted in order to exist. it not only exists in reality and performs the social function of the law but links clansmen

    第二部分通過描述這一群體社會中存在的尊重老人和父母的習俗法、和睦族人的習俗法來說明：傳統的習俗法不是簡單的歷史保留和遺存，是生活賦予他們生存所必須採用的一種邏輯方式；它不僅客觀的存在於現實社會中，發揮著法的社會功能，而且還是這一民族維系民族情結的紐帶。
  12. In this paper, a control method for discrete event systems ( des ) based on colored petri nets is proposed. the constrains with the forms of or - logic are enforced and all of the transitions in the net are permitted to be concurrent

    本文提出的利用有色petri網控制離散事件系統的方法，不但實現了或邏輯形式的約束，而且允許petri網中的所有變遷都可以並發。
  13. But by absorbing the reasonable viewpoint of eliminating the fact / value dichotomy, going in line with the standard of rational acceptability extended by humans ' ecological practice and being based on the analysis of the complex relations of fact and value in life community, rather than by following the traditional deductive model of justification we can create a way of justification with nonlinear thinking and integrative arguments, and thus we can not only avoid " the naturalistic fallacy ", but also put forward a non - logical justification for ecological ethics

    但通過吸納社會領域消解事實與價值絕對二分的合理主張，並根據人類生態實踐而擴展道德論證的可合理接受性標準，在分析生命共同體中事實與價值的復雜關系的基礎上，創設一種非線性思維的綜合論述的證明方式，而不是沿用傳統的演繹模型的證明方式，就既可以避免「自然主義謬誤」 ，又能夠對生態倫理學做出一種非邏輯形式的合理論證。
  14. After strict formal analysis with ban logic, the result have proved that the authentication protocol is secure. the improved access control scheme is realized by the mode of single - key - lock - pair. under new access control scheme, user can own several kinds of access right upon one file under the new scheme without the supposition that the access rights is increase by degrees, and the possibility of overflow problem is significantly reduced by our new method

    作為對原雙向認證訪問控制方案的改進，改進后的雙向身份認證協議可以很好的抵抗中間人攻擊和重放攻擊，經過嚴密的ban邏輯形式分析和論證，結果表明該協議是安全的；改進后的訪問控制方案用單鑰-鎖對方案實現，除保持了一般單鑰-鎖對方案的良好動態特性外，在不需要訪問權限遞增假設下，實現了用戶對文件的多種訪問控制權限，並大大減小了溢出問題的發生可能
  15. 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

    本文簡要介紹了代數方程組的特徵列方法及其在幾何定理機器證明發現與含參數代數方程求解中的應用，進一步給出了基於特徵列方法代數閉域上的一階邏輯公式的判定演算法。
  16. It can be used to validate the unsatisfiability and satisfiability of propositional logic formulae quickly

    這種方法可以對邏輯公式的原始形態直接進行計算，無需化簡。
  17. The method of model checking is a formal verification technique using the method of state - space search to verify if the behaviors of a given system ( the model ) satisfy a certain property that represented by temporal logic formulas, while the system presented as a kripke structure

    它通常採用狀態空間搜索的方法來檢測一個給定的計算模型是否滿足某個用時序邏輯公式表示的特定屬性。它是一個自動檢驗有限狀態並發系統的技術。
  18. This thesis is concerned with fault detection and isolation problem for dynamic systems such as norm - bounded uncertain systems, state - delayed uncertain systems, linear parameter - varying systems with time delays, time - delay systems with markovian jump parameters and nonlinear systems by using fault detection filter, threshold selection method and linear matrix inequalities

    本論文研究了動態系統的魯棒故障檢測與分離問題，基於故障檢測濾波器和閾值邏輯方法，採用線性矩陣不等式技術，研究了范數有界不確定系統、時滯不確定系統、時滯lpv系統、時滯馬爾可夫跳躍系統、非線性系統的魯棒故障檢測與分離問題。
  19. After - transforming the labeled transition system of operational semantics and linear temporal logic formula into btlchi automata respectively, the correctness of uml statecharts can be verified using automaton - based model checking method

    在把根據eha操作語義得到的標記遷移系統和表示性質的線性時態邏輯公式分別轉換為b chi自動機后，用基於自動機理論的模型檢驗方法驗證umlstatecharts的正確性。
  20. Improve on traditional lsm flatness pattern recognition, direct recognition method has been built, it ' s simple, applied and high precision. in conclusion, this paper not only puts forward two new methods of pattern recognition, but also solves the problem that traditional or fuzzy logic pattern recognition can not solve or solve well. it enlarges the range of pattern recognition and gets over the defect and deficiency in the traditional shape pattern recognition based on the least square

    改進了傳統最小二乘板形模式識別方法，建立了基於勒讓德正交多項式的板形模式識別直接法，方法簡單、實用，識別精度較高；不僅增加了一種新的模式識別方法，而且解決了傳統模式識別、模糊邏輯模式識別方法解決不好和解決不了的問題，大大擴展了模式識別的應用范圍，克服了傳統的基於最小二乘法板形模式識別的缺點和不足。
分享友人
分享到 Line

分享到臉書