邏輯定時圖 的英文怎麼說

中文拼音 [luódìngshítú]
邏輯定時圖 英文
logic timing diagram
  • 邏 : Ⅰ動1. （巡察） patrol 2. [書面語] （遮攔） blockⅡ名詞1. （巡察） patrol 2. [書面語] （山溪的邊緣） edge
  • 輯 : Ⅰ動詞（編輯; 輯錄） collect; compile; edit Ⅱ名詞（整套書籍、資料的各個部分） part; volume; division
  • 定 : Ⅰ形容詞1 （平靜; 穩定） calm; stable 2 （已經確定的; 不改變的） fixed; settled; established Ⅱ動詞...
  • 時 : shí］Ⅰ名1 （比較長的一段時間）time; times; days:當時at that time; in those days; 古時 ancient tim...
  • 圖 : Ⅰ名詞1 （繪畫表現出的形象; 圖畫） picture; chart; drawing; map 2 （計劃） plan; scheme; attempt 3...
  • 邏輯 : logic
  1. This thesis aims to carry out a profound study on the " government interference complex " in the ethnic regions from the pointview of executive philosophy. it tries to expose the complex ' s theoretical origin - misunderstanding on " economy determinism " and insistence on " straight development of history " ; its empirical origin - modernization effect ; practical motive - desire for synchronization and the promotion function given by the mainstream management ideas to the " complex ". based on these, the thesis reveals the realistic characteristics of " government interference " : firstly, it examines whether ethnic regions get some progress under the guidance of " straight development of history " ; secondly, government interference brings about the destruction and change in the fields of natural ecology, cultural ecology and ethics as well ; finally, government interference leads to the systematic lies and will involve the ethnic regions in the sequela caused by the interference

    ）對民族地區行政「政府干預情結」進行深度研究，試圖通過民族地區行政「政府干預情結」問題中隱含的邏輯線索，揭示民族地區行政「政府干預」理論起點：對經濟決定論的曲解、對歷史發展單線論的真理化，揭示民族地區行政「政府干預」經驗起點：后發現代化效應，揭示民族地區行政「政府干預」實踐動力： 「共時性」訴求，以及政府主流管理思想對民族地區行政「政府干預」的推動作用；在此基礎上，進而梳理出民族地區「政府干預情結」多方面的現實表徵：一方面，在單線歷史進化論考察下的民族地區進步；在另一方面，政府干預帶來了民族地區自然生態觀的沖擊與毀滅、文化生態的濫用與消亡、民族地區倫理道德的流失與嬗變、民族心理的依賴與失衡，再一方面，政府干預帶來民族地區的制度性說謊，並讓民族地區陷入了邏輯的怪圈：政府干預「政府干預后遺癥」 。
  2. This paper researches laying out mode and procedure of manual drawing, describs in bfn constructing elements and their structure of working drawing, and determines factors which affect drawing effect. it introduces simply that functions of an interactive drawing software, which are basic and special laying out characters, methods of modification and logical order of normal drawing. also an example is given. the paper formulates out a helpful method with which engineering drawing is drawed under interactive system

    研究了傳統繪圖模式的構圖方式和過程，用巴科斯範式描述了零件圖的構圖元素與結構，確定了影響繪圖效率的因素.文中簡要介紹了交互圖形軟體具有的基本的和特有的功能，在交互繪圖中的構圖特點，圖形的生成與修改，一般作圖的邏輯順序，同時給出了示例.該文歸納出用交互圖形系統生成工程圖樣的便捷方法
  3. The system design includes information model, function design and dada - base logical relation. the information model is established by entity - relation method, and the e - r picture is ploted, and the in - out diagram is gived out ; the fuction designed is established by idef0 method, the subsystems are designed according to the model in detail, we give out the explaining document and explain the calculation method for the model ; we design the data - base logical relation by the above models, decide the distributing and partition the relation diagram of the data - base, then define the logical structure of the diagrams

    其中信息建模採用實體-聯系的方法建立系統的信息模型，並用idef1x圖表示出該信息模型，同時給出電泵物資管理系統輸入輸出信息表；功能設計用idef _ 0方法建立電泵物資管理系統分系統功能模型，參照功能模型對內部各子系統進行詳細設計，給出分系統功能模塊的詳細說明書及相應功能演算法描述；數據庫邏輯設計依據系統分析結果、信息模型及功能模型，確定電泵物資管理系統數據庫分佈，劃分數據庫內部關系表，定義表的具體邏輯結構。
  4. Cmos image sensor consists of image array logic registers, memory, timer pulse generator and converter

    Cmos圖像傳感器包括圖像陣列邏輯寄存器、存儲器、定時脈沖發生器和轉換器在內的全部系統。
  5. Verifying the soundness of the uml statecharts model can be translated into the verification of the soundness of the global reachable state transition diagram, and the algorithms verifying the soundness and the properties of semantic - related are given. at the aspect of verifying the consistency of temporal constraints of workflow, the time events are added into the uml statecharts, then the rules translating the extended uml statecharts into timed automata are given. the upper constraints ( the most time interval between two tasks ), lower constraints ( the least time interval between two tasks ) and deadline constraints are defined by tctl. the consistency of these constraints in build time, instantiation time and run - time are defined respectively

    在驗證工作流時序約束一致性方面，在uml狀態圖中加入了時間事件，給出了將擴展后的uml狀態圖轉化為時間自動機的規則，用時間計算樹邏輯定義了兩個任務間的最大、最小時間間隔（上、下界約束）和工作流的最終期限約束，並給出了這三類約束分別在創建階段、實例化階段和運行階段的一致性定義，通過alur的演算法對時序約束一致性進行驗證。
  6. Based on these, this paper explores a new way which combines the visual modeling language and formal method to describe software architecture through combining uml 2. 0 and xyz / adl. in this paper, the disadvantage of several main methods of software architectural description is analysed, the advantage of uml 2. 0 compared with uml 1. x in the software architecture description is analysed, the corresponding relationship between uml 2. 0 and xyz / adl in the architectural description is given and uml 2. 0 model elements which used to describe the according architectural conception are determined, then a new way to describe software architecture which combine uml 2. 0 and xyz / adl through defining the semantics of xyz / e for uml 2. 0 is composed. in order to realize this method, the formal semantics of uml 2. 0 sequence diagram and state diagram based on xyz / e are defined. in final, the arcitectural description of a simple dask manager system which uses our method is given

    本文分析和比較了當前國內外常用的軟體體系結構描述方法，指出了它們各自存在的問題;分析了uml2 . 0與uml1 . x相比在軟體體系結構描述方面的優勢，確定了用uml2 . 0描述軟體體系結構概念元素所使用的相關模型元素，給出了uml2 . 0與xyz / adl在體系結構描述中的元素對應關系;提出了一種通過定義uml2 . 0相關視圖的xyz / e語義，把uml2 . 0與xyz / adl結合起來描述軟體體系結構的新方法，並分別定義了uml2 . 0的順序圖和狀態圖的xyz / e時序邏輯語義;最後通過對一個簡單的任務管理系統的體系結構進行描述，把本文提出的結合思想運用到實例系統的描述當中。
  7. In the part of overall design, the functional model and seven sub - system structured charts are given, in which the functions of each model are defined and specific descriptions are given out for the overall and eight sub - system models. according to the specific situation of cac, client / sever mode is adopted for cac - hrmes. in database design, identification of database and supporting software of cac - hrmis are given, the logic and physical design of database is carried out

    在總體設計部分，本文給出了cac - hrmis功能模塊結構總圖以及7個子系統結構圖，規定了各個模塊的功能，同時對主控模塊以及子系統中8個模塊的設計進行了具體的說明；依據成飛公司的具體情況，將cac - hrmis的拓撲結構設計為客戶機服務器模式；在數據庫結構設計部分，依次給出了cac - hrmis數據庫的標志符、支持軟體，並進行了數據庫的邏輯設計和物理設計。
分享友人
分享到 Line

分享到臉書