邏輯系統 的英文怎麼說

中文拼音 [luóxìtǒng]
邏輯系統 英文
logic system
  • 邏 : Ⅰ動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. A doubting logic system containing descartes axiom

    上的一個懷疑邏輯系統
  2. A kind of downgrade algorithm and its properties in gainse - rescher logic system

    邏輯系統中的一種降級演算法及其性質
  3. Part three the study of lattice - valued modal first - order logic system and its resolution principle in this part, we introduced quantifiers and predicate into lmp ( x ), put up lattice - valued modal first - order logic system lmf ( x ), and gave its semantic interpretation and syntax structure, proved soundness theorem and consistence theorem. moreover, in order to judge the satisfiability of formula, defined skolem standard type and h - interpretation. based on these work, made a primary discussion of a - resolution principle based on lmf ( x )

    第三部分：關于格值模態一階邏輯系統及其歸結原理的研究第n頁西南交通大學博士研究生學位論文這一部分主要是在格值模態命題邏輯系統lmp隊）中引進量詞和謂詞，建立格值模態一階邏輯系統lmf （廣並給出其語又解釋和語法結構，證明了系統的可靠性和協調性；另外，為了判斷公式的可滿足性，定義了格值模態一階公式的skolem標準型和體解釋；在此基礎上，對基於系統lmf （ ）的a一歸結原理進行了初步探討
  4. It was well known that rq t - norm which rq implication operator residuated to was left - continuous. in fact, any left - continuous t - norm has its own residuum - implication operator. and many - valued system could be obtained from implication operator

    事實上，任一左連續t -模都可確定一個與之伴隨的蘊涵運算元，並且，不同的蘊涵運算元就可以構建不同的多值邏輯系統。
  5. Generalized tautologies in product logical systems

    積邏輯系統中的廣義重言式
  6. Theory ofgeneralized tautology in lukasiewicz logic system

    邏輯系統中的廣義重言式理論
  7. Theory of generalized tautology in g amp; ouml ; del s logic system

    邏輯系統中的廣義重言式理論
  8. Subalgebras and generalized tautologies of many - valued logic systems

    多值邏輯系統中的子代數與廣義重言式
  9. In this thesis, reasning based medel and resolution principle are deeply studied, and using netal network partly driplement automated reasoning

    本文在對命題邏輯系統的模型推理和歸結原理研究的基礎上，嘗試利用神經網路部分實現自動推理。
  10. It can be extended to fuzzy logic systems and some lattice - valued logic systems. 3. the study on automated reasoning a new automated reasoning method based on path searching was proposed

    2 、提出一種利用神經邏輯單元動態地構造神經網路的演算法來對一些邏輯系統中的邏輯公式的真值進行計算。
  11. 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

    本文的工作是在徐揚教授、秦克雲教授等研究成果的基礎上，對格蘊涵代數的性質、結構、格值命題邏輯系統中的重言式、自動推理方法、格值命題邏輯系統等進行了一些研究。
  12. The other is an improved fuzzy neural network that is joined a compensative operation layer and adopts the improved center - or - gravity defuzzication in feedforward fuzzy neural network based on gaussian fuzzy logical system

    其二是改進的補償模糊神經網路。該網路在基於高斯模糊邏輯系統的前饋模糊神經網路中加入了補償運算層和採用了改進型中心反模糊化器。
  13. On the reduction of deontic logic and the interrelated problems

    論道義邏輯系統的歸約及其相關問題
  14. In this paper, the belief logic system gny and it ' s related implementation tool spearii are utilized, ssl protocol is a focused instance, then the detailed analysis procedure from initial protocol model to various evolution protocol models is given, later the final evolution protocol model and ssl protocol are contrasted and thus the security analysis conclusion is drawn for ssl. during the analysis procedure two practical security authentication solutions are designed based on evolution protocol models

    本文採用著名的信念邏輯gny邏輯系統及其相關的形式化工具spear ，以ssl協議為分析實例，詳細闡述了從初始協議模型到各個進化協議模型的分析過程，並將最終的進化模型與ssl協議作比較，給出ssl協議的安全分析，同時在分析過程中以協議模型為基礎設計了兩個實用的安全認證方案。
  15. In the adaptive algorithm, the parameter adjusting laws of the fuzzy logic systems are derived by the tracking error and the identification error

    自適應演算法中，不但跟蹤誤差而且辨識誤差都參與模糊邏輯系統中的參數調節。
  16. The tool mr barth is employing to effect this transition is linear temporal logic, a system of mathematical logic that can express detailed constraints on the past and the future

    巴斯先生用來實現這一轉化過程的工具是線性時序邏輯，一種可以表達過去和未來的詳細約束的數理邏輯系統。
  17. Part two the study of lattice - valued tense propositional logic system and its resolution method the main work of this part is to introduce four tense operators e ( ever ), f ( will ), h ( ever always ) and g ( will always ) into lp ( x ), put up lattice - valued tense propositional logic system ltp ( x ) which takes time axis as language circumstance, gave detailed semantic interpretation and syntax structure, and discussed some properties of it, then proved soundness theorem and consistence theorem. furthermore, studied ( a, t ) - resolution principle which is related to time, gave some rules of computing tense resolvent, and put forward the method of tense resolution

    第二部分：關于格值時態命題邏輯系統及其歸結方法的研究此部分的主要工作是在格值命題邏輯系統lp （ x ）中引進時態運算元e （曾經） 、 f （將會）及其對偶運算元h （曾經總是） 、 g （將會總是） ，提出了以時軸為語境的格值時態命題邏輯系統ltp （ x ） ，並給出其具體的語義解釋和語法結構，並討論了它的一些性質，證明了該系統的可靠性和協調性。
  18. An important later development in nyaya is the system of navya nyaya ( new logic )

    正理派后來的一個重要發展就是新邏輯系統。
  19. With turning the scale of asic ( appl ication specified integrated circuits ) to s0c ( system on chip ), which conunon1y is composed of mcu, specified function ip cores, memory, periphery interface etc, the ip reuse techno1ogy is very important in s0c design flow, which can realize the constructions of different levels components. the approach of configurable system, method and design f1ow for udsm ( u1tra deep sub micron ) asic, logic system design using hdl 1anguage, coding style, static and dynamic verification strategy are a1so presented in chapter 2. in chapter 3 we study the vlsi - - dsp architecture design, dense computation and high speed high performance digital signal processing unit structure, which includes high speed mac components and distributed arithmetic unit

    在工程設計方法及結構化設計和高層次綜合的研究中，介紹了在深亞微米工藝條件使用的方法和asic設計流程，討論了高層次綜合的核心如何從描述推出電路構成的設計思路，針對不同目標的設計技巧討論了採用hdl語言進行邏輯系統設計的方法，給出了用vhdl語言進行代碼設計時的規范和風格，在面向soc的驗證策略討論了動態和靜態的驗證技術，提出了進行單獨模塊驗證、晶元的全功能驗證和系統軟硬體協同驗證的整體策略。
  20. The medium logic propositional calculus system mpm and the medium logic predicate calculus system mfm are new logic systems. they are fit for dealing with incomplete information

    中介邏輯命題演算系統mp ~ m和中介邏輯謂詞演算系統mf ~ m是一種適用於處理不完全信息的新的邏輯系統。
分享友人
分享到 Line

分享到臉書