邏輯形式 的英文怎麼說

中文拼音 [luóxíngshì]
邏輯形式 英文
lf （logical form）
  • 邏 : Ⅰ動1. （巡察） patrol 2. [書面語] （遮攔） blockⅡ名詞1. （巡察） patrol 2. [書面語] （山溪的邊緣） edge
  • 輯 : Ⅰ動詞（編輯; 輯錄） collect; compile; edit Ⅱ名詞（整套書籍、資料的各個部分） part; volume; division
  • 式 : 名詞1 （樣式） type; style 2 （格式） pattern; form 3 （儀式; 典禮） ceremony; ritual 4 （自然科...
  • 邏輯 : logic
  1. The most plausible instances of a priori concept are the formal concepts of logic.

    先驗概念的最似乎有道理的例子是邏輯的形式概念。
  2. The simple sentences in news titles have such patterns as subject - predicate structure, modifier - keyword structure, verb - object structure, parataxis structure, structure with consecutive predicates, appositive structure, and single - word structure. subject - predicate structure is the major one in simple sentence. the logical relations between clauses of main titles that are complex sentences, or between shoulder titles and main titles, or between main titles and subtitles are : parataxis, continuity, illustration, causality, transition, progression, purpose, hypothesis, condition, and so on

    新聞標題單句一般由主謂、偏正、動賓、並列、連謂、同位、獨詞等結構形式構成，其中主謂結構是新聞標題單句的主要結構形式;新聞標題復句中，主題復句各分句之間、引題與主題之間、主題與副題之間、引題與主題與副題之間存在著並列、順承、解說、因果、遞進、轉折、目的、條件、假設等邏輯關系。
  3. In addition, because there is internal relationship between the formalism of relational database, " relational algebra ", and the clausal logic used by ilp, ilp methods can directly deal with mining task involved in multiple tables of relational database

    此外，由於關系數據庫的形式描述? 「關系代數」與ilp的子句邏輯有著內在的關聯性， ilp技術可被直接用於涉及關系數據庫中多個關系（表）的數據挖掘任務。
  4. 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

    並在布爾過程論中定義波形的基礎上，說明了邏輯與時序在波形多項式中的結合方法，建立了接近實際電路的解析延遲模型。
  5. The parallel form of the input sequence is decoded by means of a logical decoding circuit.

    此并行形式序列通過邏輯解碼電路輸入。
  6. On the application of legal principles in judicial process - on the logical form of legal reasoning

    兼從法律推理的邏輯形式角度
  7. On the three types of logic forms of the nature of beauty

    論美本質的三種邏輯形式
  8. In mathematics, a form of logic in which the variable may assume a continuum of values between1 and0

    數學中的一種邏輯形式，其中變量被認為是在0和1之間的連續值。
  9. It is regarded as a radical revolution against traditional philosophy in terms of its subject and logical form

    無論它的研究對象和其邏輯形式，都是傳統哲學的根本革命。
  10. 0233 if two objects have the same logical form, the only distinction between them, apart from their external properties, is that they are different

    0233如果兩個對象具有相同的邏輯形式，除了它們外在性質的差異之外，它們之間唯一的區別就是：它們是不同的。
  11. 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網中的所有變遷都可以並發。
  12. And two questions are raised at the end of the chapter, which 1 found when i was observing and recording on the construction site, namely if the form from construction logic is the same as the form of architecture or not

    並在結尾處列出了兩個在觀察和記錄中發現的問題，即：建造的邏輯形式是否等價于建築的形式?為什麼計算機模擬的建造過程和個案的實際建造過程並不一致
  13. It is effective to synthesis a controller to satisfy the constrains with the forms of or - logic based on colored petri nets. however there is usually an assumption in the reported literatures that the transitions in the net are not concurrent

    在已有的文獻中，通過有色petri網來實現具有或邏輯形式約束條件的petri網控制器是非常有效的，但以往的文獻通常假設petri網中的變遷是不能並發的。
  14. 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

    但通過吸納社會領域消解事實與價值絕對二分的合理主張，並根據人類生態實踐而擴展道德論證的可合理接受性標準，在分析生命共同體中事實與價值的復雜關系的基礎上，創設一種非線性思維的綜合論述的證明方式，而不是沿用傳統的演繹模型的證明方式，就既可以避免「自然主義謬誤」 ，又能夠對生態倫理學做出一種非邏輯形式的合理論證。
  15. 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邏輯形式分析和論證，結果表明該協議是安全的；改進后的訪問控制方案用單鑰-鎖對方案實現，除保持了一般單鑰-鎖對方案的良好動態特性外，在不需要訪問權限遞增假設下，實現了用戶對文件的多種訪問控制權限，並大大減小了溢出問題的發生可能
  16. It can be used to validate the unsatisfiability and satisfiability of propositional logic formulae quickly

    這種方法可以對邏輯公式的原始形態直接進行計算，無需化簡。
  17. The characteristics and forms of describing properties of uml models with linear temporal logic are also studied

    研究了線性時態邏輯公式表達uml模型性質的特點和形式。
  18. Thirdly, we need to build up database to keep the data for data mining, and based on the analysis of economic data warehouse, data table and the problems of data granularity, data partition and the structure of data warehouse, we set the star structure of regional macro economic analysis, and we design the fact table and dimension table for data warehouse. so we design and construct economic data warehouse and fulfill economic data entry, transfer, store and management

    在這章中我們給出了一個關于pse的數據倉庫屬性的定義，即：數據倉庫是一種來源於各種渠道的單一的、完整的、穩定的、集成的數據存儲，這個儲存的數據本質上是面向主題的、集成的、非易失的和可動態更新的，數據的邏輯形式是提供公式數據和組織數據。
  19. Lots of research results are acquired in this field and have been applied in many aspects after analyzing the development of current image processing technology in the field of pattern recognition and the application of information recognition technology in logistic storage, the author puts forward a point that the image information of a target should be utilized for logistics pattern - recognition according to the logic mode of humankind ' s cognition, the thesis consists of two main parts : the first part is about the appearance recognition

    圖像識別與處理長期以來都是備受關注的研究課題，其研究成果甚多，應用領域十分廣泛，作者在分析了當前圖像處理技術在模式識別中的發展和信息識別技術在物流倉儲中的應用后，結合其優缺點，提出了利用對象的圖像信息進行物流模式識別這一研究內容。根據人類認知的邏輯模式，論文的整個體系主要從兩個部分加以探討：第一部分是外形的識別。
  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

分享到臉書