邏輯狀態表 的英文怎麼說

中文拼音 [luózhuàngtàibiǎo]
邏輯狀態表 英文
logic state table
  • : Ⅰ動1. (巡察) patrol 2. [書面語] (遮攔) blockⅡ名詞1. (巡察) patrol 2. [書面語] (山溪的邊緣) edge
  • : Ⅰ動詞(編輯; 輯錄) collect; compile; edit Ⅱ名詞(整套書籍、資料的各個部分) part; volume; division
  • : Ⅰ名詞1 (形狀) form; shape 2 (情況) state; condition; situation; circumstances 3 (陳述事件或...
  • : 名詞1. (形狀; 狀態) form; condition; appearance 2. [物理學] (物質結構的狀態或階段) state 3. [語言學] (一種語法范疇) voice
  • : Ⅰ名詞1 (外面;外表) outside; surface; external 2 (中表親戚) the relationship between the child...
  • 邏輯 : logic
  • 狀態 : status; state; condition; state of affairs: (病的)危險狀態 critical condition; 戰爭狀態 state o...
  1. Firstly, related research work on agent, multi - agent system ( mas ), robot, multi - robot system ( mrs ) and auv are described. then, based on the famous bdi theory, extended bdi model ( xbdi model ) is presented. in xbdi model, every robot or agent has own mental states, such as beliefs, desires, goals, intentions and behavioral property, such as roles, capabilities, plans, know - hows

    本文在簡要介紹agent及mas 、機器人及多機器人,尤其是水下機器人技術的研究現及發展趨勢之後,在目前廣為使用的bdi模型基礎之上,提出了適用於水下機器人的擴展bdi模型( exendedbdimodel ,以下簡稱為xbdi模型) ,描述了xbdi - agent的結構和功能、定義了xbdi語言l _ x 、給出了xbdi - agent的心智示及處理方法、並給出了xbdi系統的運行演算法。
  2. The model dmswf focuses on procedure definition with a certain subject, procedure modeling based on finite automation and resource model figured as logic tree

    其中包括具有主題意義的過程定義、基於有窮機的過程建模以及示的資源模型等。
  3. It includes : dynamic show of technics flow, real time data acquirement and show, history data save and print, fault alarm, etc. the plc control system mainly accomplishes the wastewater technics flow control, harmonizes the logical relationship among local intelligent control instruments and transmits the state of each local equipment to the industrial computer simultaneously, the plc control station receives the control commands from the industrial computer ; the local intelligent units take charge of the correlated parameters measure, disposal and control, and it will transmit the related parameters to the computer, etc. in this thesis, introduced municipal wastewater treatment technics, the integrated application program development of computer, the design method of plc control station, the communication between plc control system and computer, and the network of wastewater treatment with profibus - dp was also discussed

    上位計算機主要實現遠程監測和管理功能,具體包括:工藝流程動顯示、實時數據獲得及顯示、歷史數據存儲與列印、故障報警等功能plc控制系統主要完成工藝流程式控制制以及協調現場各智能儀之間的關系,將現場各設備的運行通過通訊網路傳輸到上位計算機,並接收上位計算機的控制指令;現場各智能儀單元負責各相關參數的監測和處理、控制,並將有關參數送往上位監控計算機進行處理、保存等。本文以莎車污水處理項目為例,介紹了城市污水處理工藝、上位監控計算機的綜合應用程序開發、城市污水處理自動控制系統plc控制站的設計和採用profibus系列中廣泛應用於現場設備的profibus - dp總線。
  4. The reason why peop1e give very close attention and research interesting is that both scientific approach and rationa1 logic had shoen it ' s limitation to explain human behavior, operationa1 state, and development and reyolution vitelity, ithin organization. so the scholars attempt to find out another approach to explain the inner cultural dynamic reason of organization ' s daily operational procedure and revolution vitality

    人們之所以對其示出極大的關注與濃厚的研究興趣,個中緣由在於:傳統的科學主義研究線路與理性的推演,在涉及到對組織內部人的行為、組織的基本運作、以及組織發展與變革活力等方面的解釋上,越來越顯露其解釋力的蒼白與理論「精緻」的荒誕。
  5. Herein we designed and synthesized three photoinduced electron transfer ( pet ) phosphoroionophores, ( 1 - bromo - naphthalen - 2 - ylmethyl ) - bis - ( 2 - hydroxyl - ethyl ) - amine ( bnd ), ( 1 - bromo - naphthalen - 2 - yl - methyl ) - bis - ( 2 - cholor - ethyl ) - amine ( bnc ) and 7, 16 - bis - ( 1 - bromo - naphthalen - 2 - ylmethyl ) - 1, 4, 10, l3 - tetraoxa - 7, l6 - diaza - cyclooctadecane and their phosphorescent characteristics were studied, compared with 1 - bromo - 2 - methylnaphthalene. the experimental results showed that strong p hosphorescence could be observed in p - cyclodextrin aqueous solution only at low ph value. this system combined and and not function to produce a three - input inhibit ( inh ) logic gate

    實驗結果明,在環糊精水溶液中只有在較低ph時,才能有效抑制分子內的pet過程,使磷光體發射強的磷光,體系的磷光為off - on ,同時體系包含了and ( - cdandproton )和not ( o _ 2 )功能,可作為一種三輸入的inhibit開關。
  6. It induces logic and delay to waveform, and describes the continuous states of nodes in netlist by waveform. it can realize simulating continuous states for integrated circuits by computing waveforms

    它把和延遲有機地結合起來歸納為波形,並用波形來描述電路網中節點的連續時間,通過對波形的計算實現整個電路的連續時間模擬。
  7. This thesis takes the resettlement action of zhuzhou hydropower junction as a project, and makes the use of the project management theory, the fundamental principal of project post - assessment and the sustainable development theory, and builds up the principals and standards of the resettlement, and analyzes the concrete content of post - assessing the resettlement project, and designs the sustainable post - assessment index body, and lists the computer formula of the quantitative index, and makes the use of ahp and lfa to post - assess the resettlement project. we obtain the conclusion that the sustainability of resettlement project is not in good state. in order to improve it, this thesis digs the passive elements, and supplies some suggestions to sustain the sustainable development of the resettlement project, such as increasing investment, carrying out the agriculture economy industry of resettlement district

    本文將株洲航電樞紐工程移民工作看作成一個項目,運用項目管理和項目后評價的基本原理,結合可持續發展理論,建立了移民項目可持續后評價的原則和標準,分析了移民項目后評價的具體內容,設計了移民項目可持續后評價的指標體系,列出了定量化指標的計算公式,並探討用層次分析法和框架法對移民項目的可持續進行后評價,后評價得出的結果明株洲航電樞紐工程移民項目的可持續性處于次強,為增強該項目的可持續性,本文通過研究挖掘出影響該項目可持續性的負面因素,提出了一些保持移民項目可持續發展的對策和建議,例如增加移民安置的投入、實行移民安置區的農業經濟產業化等等。
  8. According to the basic idea of p - grid, peers exchange their information and split the search space when they meet each other. at last, each peer is only responsible for an interval of the whole search space and ma kes responses to the query requests for the data in this interval

    根據p - grid基本思想,節點間每次相遇就交換雙方的信息,對搜索空間不斷進行分割,使每個節點負責管理某一區間上數據信息並負責響應針對這些數據的查詢請求,最終搜索空間的劃分上可以用一棵二進制搜索樹示。
  9. One of two possible logic conditions ; in computer operation it is represented by a 0bit

    兩個可能的中的一個,在計算機操作中以一個0位來示。
  10. 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

    它通常採用空間搜索的方法來檢測一個給定的計算模型是否滿足某個用時序公式示的特定屬性。它是一個自動檢驗有限並發系統的技術。
  11. It builds up a feature model to represent the internal states of the feature and its transition with a finite - state machine and to represent the intrinsic properties of the features with temporal logic

    能力件模型採用有限機和時序分別示能力件的內部及其轉移關系和能力件所具有的不變性。
  12. 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 )建立模型,並討論了模型向關系型數據庫支持的物理模型的轉換。
  13. Two perpendicular polarized light states and a no - light state are applied to express information in the ternary optical computer. the three states are transformed via two - dimension liquid crystal element and polarizators, and ternary arithmetic operation and ternary logical calculus completed directly in this way. the ternary optical computer will possess enormously number of bit ( easy to 104 ), light processor, light transmission path and electric control system

    三值光計算機用相互垂直的兩個線偏振光和零光強三個獨立的光示信息;用二維液晶器件和偏振器實現此三個間的轉換;採用三進制算術運算;直接處理三值運算;擁有巨大的數據位數(容易超過10 ~ 4位) ;具有光運算、光傳送、電控制等結構特色,具有很強的空間、時間并行性。
  14. The thesis also introduces the virtual instrument ’ s concept, system architecture, etc. the development of virtual instrument ’ s application software is discussed in detail. it includes virtual instrument software architecture ( visa ), and virtual instrument ’ s software platforms. the thesis discusses the principle and mechanism of work of the simulation of embedded system. by comparing with the principle of traditional logical analyzer, it draw a conclusion that the virtual logical analyzer will work in synchronous way when it is used for both logical state analyzer and logical time analyzer. the thesis

    論文接著探討了嵌入式模擬平臺的原理和工作機制,通過與傳統分析儀原理的比較,得出了嵌入式模擬平臺下分析儀無論是做定時分析,還是做分析都工作在同步方式下;並重點剖析了探頭原理,采樣定理和毛刺,數據的建立和保持時間等分析儀的重要技術指標,得出了虛擬環境對虛擬分析儀的功能和各項技術指標的影響,還提出了流水線的思想和實現機制。
  15. Logic computing is boole expression - based computing on level. it can realize simulating the instantaneous state of digital circuits. but it cannot simulate circuits continuously which have complex delay properties

    運算是基於布爾達式的逐級運算,它能夠實現對數字電路瞬間的模擬,但對具有復雜延遲特性的電路進行連續時間的模擬就無能為力了。
  16. The industrial computer mainly implements the functions of long - range supervision and management it includes : dynamic show of technics flow, real time data acquirement and show, history data save and print, fault alarm, etc ; the plc control system mainly accomplishes the wastewater technics flow control, harmonizes the logical relationship among local intelligent control instruments and transmits the state of each local equipment to the industrial computer, simultaneously, the plc control station receives the control commands from the industrial computer ; the local intelligent units take charge of the correlated parameters " measure > disposal and control, and it will transmit the related parameters to the computer, etc. in this thesis, introduced municipal wastewater treatment technics, the integrated application program development of computer, the design method of plc control station, the communication between plc control system and computer, and the network of wastewater treatment with industrial ethernet was also discussed

    上位計算機主要實現遠程監測和管理功能,具體包括:工藝流程動顯示、實時數據獲得及顯示、歷史數據存儲與列印、故障報警等功能; plc控制系統主要完成工藝流程式控制制以及協調現場各智能儀之間的關系,將現場各設備的運行通過通訊網路傳輸到上位計算機,並接收上位計算機的控制指令;現場各智能儀單元負責各相關參數的監測和處理、控制,並將有關參數送往上位監控計算機進行處理、保存等。本論文介紹了城市污水處理工藝、上位監控計算機的綜合應用程序開發、城市污水處理自動控制系統plc控制站的設計和採用工業以太網技術的污水處理通信網路。
  17. The non - ontological interpretation of rawls ' theory of justice by the theoretical circle is not fully correct since his theory has not only inherited rousseau ' s and kant ' s contract methods of rationalism but contain deep ontological essence, which is shown by primary logic setting, dictionary order with the priority of justice, ontological context of anti - logical positivism and argumentation way of " introspective balance "

    摘要理論界關于羅爾斯正義論的非本體論解讀是不確切的,羅爾斯的正義論不僅繼承了盧梭和康德的理性主義契約論方法,而且有著深刻的本體論意蘊,它現在原初設定、正義優先性的詞典性秩序和反實證主義的本體論語境以及「反思的平衡」的論證方法等方面。
  18. At the same time j2ee platform technologies are discussed deeply, such as j2ee platform technologies, communication technologies, ejb component technologies and so on. the design model based on the mvc frame is applied in the system development, so that the separation between the present logic and the business logic in the application is realized. finally, according to the problems found in the development process, the paper explains particularly the kay technologies in the realization : the uniform naming service is realized by realizing the service locator partten using the value object pattern, all the status data is encapsulated into a serializable object, then transferred among the client, sessionbean and entitybean in order to decrease the potential network traffic caused by reference of entitybean ; in order to improve the performance of data storing and taking, we introduce the facade model to escapsulate the ejbs which delegate the data model

    本論文結合了杭州市財政局的會計人員從業資格管理系統的升級項目,研究了基於j2ee的ejb組件模型的多層分散式體系結構的設計與實現:深入探討了三種分散式處理技術( rmi , corba , com )的區別,將j2ee平臺的ejb技術與windowsdna體系的com +技術從多個角度進行了比較;詳細闡述了在系統開發過程中j2ee平臺的幾項核心技術(如: j2ee平臺的服務技術、通信技術、 ejb組件技術等)的應用;引入了源於mvc三部件框架的設計模式,實現了應用中與業務的分離;最後,結合在開發過程中遇到的問題,詳細解釋了開發過程中實現的關鍵點:用servicelocator模式實現了統一的命名服務管理;運用valueobject模式將所有數據包裝成一個可序列化對象vo ,然後在客戶機、 sessionbean與entitybean之間傳遞,減少了使用實體bean造成的潛在網路通信量;以及引入sessionfacade模式,用sessionbean封裝了entitybean ,改善了數據存取的性能。
  19. Boolean a logical system used to express one of two states, such as on or off ( yes or no, 1 or 0, etc

    布爾類型用於示2種之一的系統,例如開或關(是或否, 1或0等) 。
分享友人