邏輯定時分析 的英文怎麼說
中文拼音 [luódìngshífēnxī]
邏輯定時分析
英文
logic timing analysis- 邏 : Ⅰ動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. (成分) component 2. (職責和權利的限度) what is within one's duty or rights Ⅱ同 「份」Ⅲ動詞[書面語] (料想) judge
- 析 : Ⅰ動詞1. (分開; 散開) divide; separate 2. (分析) analyse; dissect; resolve Ⅱ名詞(姓氏) a surname
- 邏輯 : logic
-
At the same time, it also illustrates the superiority of this kind of communication by introducing the profibus field bus. take the transformation of focke packaging machine as an example, the main content is as follows : 1st, to analyze the plc control system of s5 series, and determine the concrete functions that the new plc control system hopes to achieve as well as how to achieve the goal through studying the work program of the original one ; 2nd, to demonstrate the advantage of the field bus in the process of digital alternation by introducing the principle agreement of field bus profibus ; 3rd, to achieve each function of the original control system through using siemens ' s plc control system in the design of hardware and step 7 in the software as well as designing and compiling control system of focke packaging machine ; 4th, to use fm455 for controlling temperature not only can meet the system ’ s severe request for temperature and efficiently avoid many demerits of the temperature control instrument but also can bring convenience for operation and maintenance ; 5th, to use the intouch configuration software to compile monitor and control program can accomplish the goal for real - time surveillance and control of the production line, while setting some parameters can provide a powerful alarming function
以改造focke包裝機為例,主要內容如下: 1 、通過熟悉原有控制系統的工作流程,分析了原s5系列可編程邏輯控制器的控制系統,確定新的可編程邏輯控制器控制系統需要實現的具體功能以及其實現方法; 2 、在本系統數據交互中,通過介紹profibus現場總線原理協議,論述了現場總線在工業通訊中的優點; 3 、下位機硬體設計上使用西門子可編程邏輯控制器控制系統,軟體平臺採用西門子step7 ,設計和編制了focke包裝機控制軟體,實現了原有控制系統的各項功能; 4 、本系統對溫度要求嚴格,採用溫控儀表控制溫度不能滿足系統要求,而且溫控儀表操作和維護都不方便,因此採用fm455溫度控制模塊進行溫度控制,滿足了系統對溫度的要求,同時又有效地避免了溫控儀表在操作和維護上的缺陷; 5 、在監控系統上,使用intouch組態軟體設計了系統的監控界面,從而實現了對生產線的實時監控,並且可以通過界面設置系統的一些參數,同時提供了較強大的報警功能。In the second part, we analyzed the speciality of the vogue journal, compared to other media, and point out the industry chain that confined them. in the third part, we analyzed the typical cases, according to supply chain, source chain, brand chain, service chain, and point out the regularity of the vogue journal. in the last part, we offered some advice to develop the chinese vogue journal, pointed out that we should associate globalization and gentilitial, capitalize on the regularity of industry chain in order to develop chinese vogue journal at the background of economy globalization
論文分為四個部分展開:第一部分,是對時尚期刊范疇的界定,從理論和市場的雙重視角對時尚期刊進行分析,以期達到邏輯和歷史的統一性;第二部分,是對時尚期刊特點的分析,通過它與其他媒體的深入比較,從現代產業的角度,指出其內部深刻制約它的產業鏈;第三部分,是對時尚期刊產業鏈的研究,通過典型案例的分析,從供應鏈、資源鏈、品牌鏈、服務鏈等多重角度,提煉出時尚期刊產業鏈的規律;第四部分,是對中國時尚期刊產業的前瞻性戰略思考和對策性建議,指出在經濟全球化的大背景下,中國時尚期刊產業的發展,必定要在全球化和民族化的結合中,充分利用產業鏈的規律,壯大自身的實力。Based on the analyses of scheduling strategy and scheduling framework of tao ( the ace orb ), this paper studies the real - time scheduling and management of global priory in droce : how to determine the global priory of the dro ( distributed real - time object ) according to its timeliness and level of importance ; logical presentation and transparent transfer of the global priory ; the consistent mapping from global priory to local server priory ; the prevention of priory inversion, etc.
本文在分析tao調度服務的調度策略和調度框架的基礎上,研究了分佈實時環境下的全局優先級調度和管理:即如何根據分佈實時應用的時間特性和重要程度確定分佈實時應用對象的全局優先級別;全局優先級的邏輯表示與透明傳遞;全局優先級與服務器局部優先級的一致性映射;防止優先級反轉等問題。Based on the endogenous growth theory, this paper views technologica 1 progress as an endogenous variable in the comparative advantage model, and therefore s ets up a more systematic comparative advantage theory to the extent of investment, divisi on of labor and institution. third, it has analyzed the trade structures based on different c omparative advantage strategy, made an empirica l study of china ' s foreign trade structure, and concluded that although china ' s export structure at present is characterized by capita l - technology intensive goods, these goods have the comparative disadvantages from now to the near future in china, which means that trade structure transformation in less develo ped countries should be based on endogenous comparative advantages. finally, it has disc ussed the strategy and paths of china ' s transformation of foreign trade structure
本文借鑒內生經濟增長理論的邏輯思路,將技術進步在比較優勢模型中內生地決定,分別從投資、分工與制度三個層面建立了較為系統的內生比較優勢理論;再次,對其于不同比較優勢理論的貿易結構進行了剖析,對中國外貿結構進行了實證分析,認為盡管中國現在出口商品結構是以資本技術密集型產品為主,但中國在目前乃至將來的一定時期內的資本及技術密集型產品上仍將處于比較劣勢,發展中國家貿易結構的轉換必須基於內生比較優勢;最後,探討了中國對外貿易結構轉換戰略與路徑。To understand and deal with deflation becomes a new task. deflation has been paid close attentain to by academic circles and govern ment departments around the globe. on the basis of investigating the related literature of deflation at home and abroad, the auther of this paper puts emphasis on studying china ' s deflation, including its cause of formation, mechanism of the formation and effectiveness of monetary policy during deflation by qualitative and quantitative analyses, positive and normative analyses, theoretical analysis and case confirmation ; then points out the orientation of china ' s monetary policy by raising the efficiency of monetary policy in the future and avoiding deflation
本文在分析研究國內外在通貨緊縮判斷標準、形成機理、治理對策等方面研究方法及研究現狀的基礎上,採用實證分析與規范分析相結合,定性分析與定量分析相結合,理論概括與實踐歸納相結合的方法,從多方位、多角度對產生中國目前通貨緊縮的原因進行分析,從理論上梳理出中國目前通貨緊縮形成的邏輯過程,並對通貨緊縮時期貨幣政策的效果及未來貨幣政策的取向進行了深入分析和有效探索。Chapter three is about the experimental research of the real time optimal position system ( see chapter two ), emphasis on the high performances of 196mx pts interrupt response and safe design of ipm module. the analysis of perfect experimental waveforms and basic algorithm are also provided. chapter four focus on the properties and application of ekf estimator
論文第三章對點對點快速定位系統進行了實驗研究,重點介紹了196mxpts中斷系統對高速處理實時邏輯信號和消除編碼盤光電頭邊緣振蕩效應所起的作用、 ipm模塊的安全性分析設計等,同時給出了完整的實驗波形分析以及基本演算法。In the design, we make use of two eda tools max + plus ii and protel99. because of the using of complex programmable logical device ( cpld ), we can keep untuched the original hard circuit in design and realization of counting card, so it inherited the advantage of its predecessor. in order to quantitatively analyze the performance of data acquisition system with fifo cache, we introduced the queueing theory to build mathematic model to test its quality
在設計中藉助了max + plusii和protel99兩個eda設計軟體。由於採用了復雜可編程邏輯器件cpld ,使得在計數卡的設計和實現中不用更改原硬體電路,對原設計的優點有很好的繼承。在驗證系統改進性能時,引入排隊論建立了數學模型對系統的工作性能進行定量分析,證明其達到了設計要求。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方法建立電泵物資管理系統分系統功能模型,參照功能模型對內部各子系統進行詳細設計,給出分系統功能模塊的詳細說明書及相應功能演算法描述;數據庫邏輯設計依據系統分析結果、信息模型及功能模型,確定電泵物資管理系統數據庫分佈,劃分數據庫內部關系表,定義表的具體邏輯結構。Then studis on new models and new approaches based on boolean process in delay automation are made. analytical delay model is improved with the new concept of sensitization, based on which delay matrix is proposed to describe the delay of circuit modules. then introducing hierarchical delay analysis methods into delay matrix analysis, a novel exact hierarchical delay ananlysis method is presented
在組合邏輯電路精確定時方面,本文用波形多項式偏導定義的敏化概念改進了解析延時模型,在此基礎上建立了基於敏化的延時矩陣以描述電路模塊的延時,隨后將層次化延時分析方法引入基於延時矩陣的延時分析中,形成一種新的精確的通用電路層次化延時分析方法。Carnap ' s inductive logical system of the theory of probability confirmation is introduced in the second part of paper. firstly, some basical and important concepts are explained such as confirmation and degree of confirmation, probability1 and probability2. in carnap ' s opinion, the difference between verifiability and confirmation is that verifiability means the hypothesis is finally proved to be true, but confirmation means it be true nowerdays. then carnap analyzed the distinction and relationship between probabilityi and probability2
他認為,證實是決定性地最後為真,而確證只是現階段得到確定,並不保證以後也確定為真;繼而分析了概率1與概率2兩者之間的區別與聯系;然後構建了一階語言系統,並在其中定義了狀態描述、結構描述、量程等重要概念與定理,以便使在考察歸納邏輯前提與結論時,能在該系統中根據確切的規則進行準確的分析。Because to calculate the shadow prices of the agriculture production factors give the feasible methods to help government use economic lever to effectively dispose the agriculture production factors, so it is significant in theory and in practice. 2. approaches to use the interrelated index to compare the history trends, so we can recognize the situation about the scarce agriculture production factors, to use the principle logical to analyze the supply - demand mechanism of the main agriculture production factors in china, to use stochastic frontier production function and marginal productivity theory to calculate the shadow prices of the production factors, to use drc index to assess international competitive of the china main agriculture products
本文的主要研究方法為:在分析中國主要生產要素的稀缺度變化時,進行同類指標的歷史變化比較研究,從而認識主要農業生產要素稀缺性變化的趨勢與規律;在分析中國主要生產要素的供需機制時,進行相關概念為基礎的理論邏輯分析,建立供需機制決定的理論模型;在測算農業生產要素的價格時,使用邊際生產力理論和隨機前沿生產函數方法;在評價中國主要農產品的國際競爭力時,使用國內資源成本系數方法。The goal of this article is : work over the language which is matched the common teaching process based on xml, do research on the logical structure of the courseware, analysis the time, layout element of it and the relationship between these elements. based on these research work, design and implement the authoring system which is based on xml, and then we can quickly generate and usher the xml courseware file
本文的研究目標是:研究符合教學過程的xml形式的課件語言,對課件的邏輯結構形式進行研究,同時分析課件包含元素的時間、空間、以及元素關系等因素,定義符合以上內容的xml文檔結構形式;在以上基礎之上,設計並實現基於xml的課件創作系統,能夠實現基於xml的課件文檔的快速生成和展示。In this paper an fault simulator for iddt testing is presented, which can detect concurrently the multi - faults. due to the subtle error among equipment manufacturing, the gate delays of circuits are not the same but range within limits. which induces the uncertainty of the waveform transforming time
本文從故障激活的條件入手,利用五值邏輯,對瞬態電流測試中的延時變化進行波形分析和波形計算,採用並發模擬演算法,編程實現了一個iddt測試的故障模擬器。實際電路中由於製造工藝的限制,邏輯門的延時並不相同,而是在一定范圍內變化,引起波形變化的時間不確定。And achieve the real - time reconstruction of linux kernel schedule mechanism and small granularity timer by studying the real - time schedule policy edf and rm. meanwhile, the thesis analyses the method of linux schedule mechanism and double kernel mechanism. research and achieve the quicklaunch mechanism in embedded qt, aimed to the demand of embedded system to embedded gui. it is based on mpc5200 environment, so i also describe the embedded linux system about mpc5200 and achieve the logic address and function design of hardware and construct the development environment of software
研究了實時調度策略edf和rm ,結合linux定時器原理,實現了實時化改造linux內核調度機制和細粒度定時器,有效提高了linux系統的實時性,並詳細分析了linux調度策略的實現和雙內核實時化改造機制。針對嵌入式系統對嵌入式gui的要求,分析並實現了基於嵌入式qt的quicklaunch機制。本文的研究工作都是基於mpc5200嵌入式系統開發基礎之上,所以本文又對基於mpc5200的嵌入式linux系統設計進行了描述,實現了硬體的邏輯地址和功能設計以及軟體開發環境的搭建。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
論文接著探討了嵌入式模擬平臺的原理和工作機制,通過與傳統邏輯分析儀原理的比較,得出了嵌入式模擬平臺下邏輯分析儀無論是做定時分析,還是做狀態分析都工作在同步方式下;並重點剖析了探頭原理,采樣定理和毛刺,數據的建立和保持時間等邏輯分析儀的重要技術指標,得出了虛擬環境對虛擬邏輯分析儀的功能和各項技術指標的影響,還提出了流水線狀態表的思想和實現機制。The goal we must achieve, when designing distributed parallel file system, was analyzed also. the thesis present the logic structure of dpfs, the structure and the flush strategy of the module of directory cache and its role in the read - write operation, duplicate table ' s physical and logical structure, the management and synchronization algorithm of the duplicate table, and the model and the management algorithm of the module of intelligent duplicate management. also the effects that dpfs exerts to the system reliability and the read and write performance compared to ext2 were analyzed
本文首先介紹了數據存儲的發展概況與新的需求,分散式文件系統對其發展的重要影響以及設計分散式文件系統需要考慮的各種問題;然後分析了為滿足分散式并行服務器的功能需求, dpfs應實現的目標;接著介紹了dpfs設計的總體邏輯結構,目錄緩存管理模塊的結構設計、刷新策略以及該模塊在文件讀寫重定向中的作用,副本表的邏輯、物理結構、對其緩存的管理和同步演算法的實現,以及副本智能管理的設計模型及其管理演算法的設計與實現,還分析了dpfs對系統可靠性的影響以及在讀寫文件時與ext2文件系統性能的比較。These stages are feasibility, investigation of current environment, business system options, definition of requirements, technical system options, logical design and physical design
結構化系統分析及設計方法把整個系統分析及設計過程分為七個階段,即可行性、調查現時環境、業務系統選擇、需求定義、技術系統選擇、邏輯設計及實體設計。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時序邏輯語義;最後通過對一個簡單的任務管理系統的體系結構進行描述,把本文提出的結合思想運用到實例系統的描述當中。Starting from the time theory and the temporal logic, and taking into account the dynamic properties of multimedia performance, the extended uncertain interval relationships set adapting to describe the multimedia system is proposed. by deducing in theory, it is simplified to a very plain temporal model that has only 6 canonical operation symbols. 2
從時間理論和時態邏輯的途徑出發,結合多媒體表現的動態特性,通過分析推導得出適合多媒體系統的非確定的時間片關系的擴展集,並將其簡化為只有6個操作符規范的、非常直觀的多媒體時態模型。The mixed - signal oscilloscopes, with 2 analog channels and 16 digital channels, uniquely combine the detailed signal analysis of a scope with the multichannel timing measurements of a logic analyzer
這些多功能示波器具2個示波器通道和16個邏輯定時通道,它們把示波器對信號的詳盡分析與邏輯分析儀的分享友人