邏輯類型 的英文怎麼說
中文拼音 [luólèixíng]
邏輯類型
英文
logical type- 邏 : Ⅰ動1. (巡察) patrol 2. [書面語] (遮攔) blockⅡ名詞1. (巡察) patrol 2. [書面語] (山溪的邊緣) edge
- 輯 : Ⅰ動詞(編輯; 輯錄) collect; compile; edit Ⅱ名詞(整套書籍、資料的各個部分) part; volume; division
- 類 : Ⅰ名1 (許多相似或相同的事物的綜合; 種類) class; category; kind; type 2 (姓氏) a surname Ⅱ動詞...
- 邏輯 : logic
- 類型 : type; mold; form; cut類型論 theory of types; 類型語句 [計算機] type statements
-
In the end, by the logic theory of analogism, the paper gets the logistics optimized model of operation entropy in discrete manufacturing system of job - shop ordering type
最後,利用類比推理的邏輯學理論得出單件小批訂貨型離散製造系統物流優化運行熵模型。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
作為一個經典範例,酒神祭耙儀式被視為一種跨民族、跨區域、多元文明的遺產:西方戲劇起源的濫骯哲學美學類型上的二元對峙關系的基本要件:西方文學敘事中不可或缺的原型;更重要的是,它是人類生命體驗的「自然之性」的展示… …本文通過對酒神的個案的人類學資料,同時結合狄奧尼索斯祭祝儀、戲劇文學以及相關的歷史文本分析,旨在對比較文學中「西方中心」的歷史邏輯進行梳理和反思。Using these algorithms, we can use computer mechanically to list truth value table of a group of propositional formulae, determine that if a given propositional formula is a tautology, a contradiction, or if the formula is satisfiable
給出了命題邏輯中任一命題公式的真值表的生成演算法與命題公式類型的判定演算法,實現了利用計算機對有限多個命題公式的真值表的直接計算和輸出,以及對一個命題公式是重言式、矛盾式或可滿足式的機械判定。This thesis presents pc - base model motor automated testing system whose control part is consisted of pc and programmable logic device ( plc ) : pc controls the test process, intelligence measure instrument ; the plc executes the commands sent from pc. common three - coil motor, frequency motor, synchronal perpetuation magnetism motor can be tested by this system
本文介紹的電機測試系統是pc - base類型電機型式自動測試系統,它的邏輯控制部分由上位機( pc機)和可編程邏輯控制器( plc )構成: pc機主要實現對整個試驗過程的控制、智能儀器控制和邏輯運算, plc主要執行pc機命令,實現對系統的繼電控制。On the basis of that, the method of acquiring characteristics by infrared plane detection is given, according to the characteristics gained and the pattern recognition, a fuzzy - neural vehicle classifier based on the vehicle ' s length height and axles is carried out
採用二維紅外檢測技術獲取車輛外形幾何參數的方法,運用模式識別的理論,結合模糊邏輯和神經網路兩者的優點,進行車型自動分類器設計。Class used to logically host cells that indicate binary state
類的專用類型,用於邏輯承載指示二元狀態的單元格。After the selection is made, the designer modifies his system digital circuit requirements to match the characteristics of the selected logic family.
選擇好類型之後,設計人應該修改對系統數字電路的要求,以適應所選之邏輯電路參數。Evolution mechanism of logistic equation is studied, and is used in a kind of cobweb model. the stability and the characters are studied with the change of parameters. finally the parameters " regions in which the economic system reaches the stability and the chaos are determined
第五章:邏輯斯蒂方程在蛛網模型分析中的應用本章研究了邏輯斯蒂方程的演化機制,並將它應用在一類蛛網模型的研究中,對模型進行動態分析和穩定性分析,研究了各種參數條件下的性態,確定了經濟系統達到穩定狀態的參數范圍及進入混沌狀態的參數范圍。Control can display any type of hierarchical data, even if the data hierarchy is logical, as in a database, and not physical, as in an xml file
控制項可以顯示任何類型的分層數據,即使數據的層次結構是邏輯性的(如在數據庫中) ,而不是物理的(如在xml文件中) 。Datalink provides access to external resources, or urls, while the boolean type is logically equivalent to the bit type, but adds semantic meaning
Datalink提供對外部資源的訪問或url ,而boolean類型在邏輯上和bit類型是等同的,只是增加了在語義上的含義。Data type and how to declare variables to hold logical values
數據類型以及如何聲明變量以保存邏輯值。Parallel and distributed processing and applications, nanjing, china, 2005, pp. 503 - 513. 17 kemper d, kleinberg j, demers a. spatial gossip and resource location protocols. in proc
類似於symphony模型的設計原理,本文的理論成果可應用於大規模分散式網路的結構設計,比如peer - to - peer網路邏輯層的結構設計。First, the author in detail introduces the typology to substitute concept as a systematization method. the typology method not only acknowledges that the legal science about the pure economic loss is still pausing at a starting degree. moreover it has provided the research route as following : experience type - logic type - standard type
首先,筆者詳細介紹了類型替代概念的體系化方法,作為方法論的自省,類型化不僅承認了法學界對純粹經濟損失的研究程度尚停留在混沌狀態的現狀,而且提供了從「經驗類型」到「邏輯類型」再到「范類型」研究路線。Then a simple e - dealing system is devised to show the thoughts of the protocol. in order to formalize and verify the protocol, bzl logic model is built, which based on first - order logic and introduces many - sorted, dynamic and non - monotony logic
為了形式化驗證數字現金的安全性,本文在經典一階邏輯的基礎上,吸取了多類邏輯、動態邏輯和非單調邏輯的思想,提出了bzl邏輯模型。Shows how operator overloading can be used to implement a three - valued logical type
演示如何使用運算符重載實現三值邏輯類型。Leaders are classified into one of seven distinctive action logic categories ? the opportunists, diplomats and experts, and progressing gradually to the achievers, individualists, strategists and alchemists
領導人具有7種不同的行為邏輯類型機會主義者型、外交官型和專家型,然後進一步成就償型、個人主義者型、戰略家型和煉金術士型。Third, abbreviating and adapting the realistic case is the only way to the logic type. basing on the function and the relations, the european scholars classify the logic type of pure economic loss as the coexists loss, the reflecting loss, the third party causing loss, the shift loses, on this foundation, the author " describes " three basic characteristics about these five logical types
第三,對現實案例作適當的裁減和升華是經驗類型上升為思想層面的邏輯類型的必經之路,藉助歐洲學者基於功能和關系對純粹經濟損失的分類方法,純粹經濟損失的邏輯類型被概括為並存的損失、反射損失、第三方引起的經濟損失、瑕疵產品或建築物減損價值損失和轉移損失,在此基礎上,筆者「描述」了這五種邏輯類型的三個基本特徵。Based on the mechanism of uml modeling, we build a new enterprise modeling method and develop a system for managing assets. in particular, function view is expressed in use case diagram, information view is presented in class diagram, statechart diagram describes business process and we discuss the transformation from logical model in the system to physical model in the database
在工作流建模方面採用狀態機( statemachine )描述業務流程;在企業功能建模方面採用用例圖( usecasediagram )表達功能需求;在信息建模方面採用類圖( classdiagram )建立邏輯模型,並討論了邏輯模型向關系型數據庫支持的物理模型的轉換。Upon the above basis, the author detailed describes and analyses the order information flow control running on the cybermarketing application integration platform of zwz bearing corporation, emphasizes on the implementation of the chain of producing ? upplying ? ales, illustrates the characters and running sequence of order information flow by uml and builds up the webservices of data model, logic model, data service and order processing service, that involves in the order information flow, by. net development tools
在此基礎上,筆者對瓦軸製造企業網路營銷應用集成平臺下的訂單信息流進行了深入分析,著重討論了該公司在「產?供?銷」流程中訂單信息流的控制問題,並結合uml技術對訂單信息流的參與角色和執行序列加以細致描述,使用net開發工具設計了訂單信息流控制所涉及的數據模型、邏輯類、數據服務和訂單處理服務並加以實現。The heart of every application is the base model that describes it - a domain model, class model, logical model, entity model, or the like
每一個應用系統的核心是描述這個系統的基礎模型領域模型、類模型、邏輯模型、實體模型等等。分享友人