靜態邏輯 的英文怎麼說

中文拼音 [jìngtàiluó]
靜態邏輯 英文
static logic
  • 靜 : Ⅰ形容詞1. （安定不動; 平靜） still; calm; motionless 2. （沒有聲響; 清靜） silent; quiet Ⅱ名詞（姓氏） a surname
  • 態 : 名詞1. （形狀; 狀態） form; condition; appearance 2. [物理學] （物質結構的狀態或階段） state 3. [語言學] （一種語法范疇） voice
  • 邏 : Ⅰ動1. （巡察） patrol 2. [書面語] （遮攔） blockⅡ名詞1. （巡察） patrol 2. [書面語] （山溪的邊緣） edge
  • 輯 : Ⅰ動詞（編輯; 輯錄） collect; compile; edit Ⅱ名詞（整套書籍、資料的各個部分） part; volume; division
  • 靜態 : [物理學] static state; quiescent condition; steady state; statics; dead level; akinesis; akynesis...
  • 邏輯 : logic
  1. In my opinion, the strategy of pera ' s rhetoric of science aims to, through the rhetorical context, save and rebuild the rationality and achieve the inner unity of rational reason and rhetorical persuasion and breaks thoroughly the rigid bounds both between the logical demonstration and the argumentative persuasion and between the static norms and the dynamic exchange evaluation. at the same time, it also provides a way in which some dilemmas such as formal logical presuppositions and irrationalism can be solved, gives the specific strategically psychological direction and much broader room for language creation to bring a fresh motive power for the development of contemporary philosophy of science

    本文認為，佩拉所倡導的科學修辭學戰略的目的在於，通過修辭學語境空間來拯救或重塑理性，以達到理性的「理由」和修辭學的「有理由」的內在統一，從而徹底打破邏輯證明力與論述說服力、靜態規范標準和動態交流評價之間的僵化界限；同時，也為走出形式邏輯的預設和非理性主義困境提供了一條出路，並從科學論述的境遇、選擇、辯護中，給出戰略性的心理定向和更廣闊的語言創造的可能空間，為當代科學哲學的發展注入新的活力。
  2. The high - speed data buffer is designed by adopting cpld and general high - speed static memory. 5

    採用cpld控制邏輯外加通用靜態高速存儲器來實現採集后數據的高速緩存。
  3. Experiment results show that this algorithm can identify static crosstalk that destroy circuits function and provide accurate information for ic back - end optimization

    實驗表明，通過驗證噪聲幅值和寬度指標，演算法準確地識別出對電路邏輯功能產生影響的靜態串擾噪聲，為ic設計的後端優化提供了準確信息。
  4. Traditional static crosstalk identification methods identify crosstalk targets only using coupling capacitance and noise amplitude information, which lead to the pessimistic results and induce a long time to ic design convergence

    摘要傳統的靜態串擾噪聲識別演算法只驗證耦合電容和噪聲幅值信息，沒有考慮噪聲寬度對電路邏輯功能的影響，所以給出的結果過于保守，導致設計收斂的時間被延長。
  5. Describes the design and realization of partial run - time reconfigurable fpga in detail. in order to reduce the affect of the reconfiguration time on system execution time, mostly static circuit design method in logical design stage and incremental routing method in component implementation stage are proposed. the fft parallel processing algorithm is examined through vvp platform

    本章詳細闡述了基於vvp平臺的多sharc功能插板的具體硬體實現，以動態重構fpga設計為核心，論述了局部動態重構fpga設計流程和方法，提出了極大靜態電路邏輯設計方法和遞增式布線方法，以達到減小動態重配置時間，提高系統運行效率的目的。
  6. With turning the scale of asic ( appl ication specified integrated circuits ) to s0c ( system on chip ), which conunon1y is composed of mcu, specified function ip cores, memory, periphery interface etc, the ip reuse techno1ogy is very important in s0c design flow, which can realize the constructions of different levels components. the approach of configurable system, method and design f1ow for udsm ( u1tra deep sub micron ) asic, logic system design using hdl 1anguage, coding style, static and dynamic verification strategy are a1so presented in chapter 2. in chapter 3 we study the vlsi - - dsp architecture design, dense computation and high speed high performance digital signal processing unit structure, which includes high speed mac components and distributed arithmetic unit

    在工程設計方法及結構化設計和高層次綜合的研究中，介紹了在深亞微米工藝條件使用的方法和asic設計流程，討論了高層次綜合的核心如何從描述推出電路構成的設計思路，針對不同目標的設計技巧討論了採用hdl語言進行邏輯系統設計的方法，給出了用vhdl語言進行代碼設計時的規范和風格，在面向soc的驗證策略討論了動態和靜態的驗證技術，提出了進行單獨模塊驗證、晶元的全功能驗證和系統軟硬體協同驗證的整體策略。
  7. Traditional fault tree analysis method is an effective method to analyze system reliability that is based on static logic and static failure mechanism. but it cannot be used to analyze the reliability of systems with dynamic random and dependency

    傳統的故障樹分析方法是基於靜態邏輯和靜態故障機理提出的一種有效的系統可靠性分析方法，但不適用於具有動態隨機性故障和相關性的系統的可靠性分析。
  8. Based on static logic or static failure mechanism, the traditional fault tree analysis is a effective method to analyze system reliability. but it can not be used to analyze the reliability of systems with dynamic randomicity and dependency, such as fault tolerant system, repairable system with redundance ( cold spare or hot spare ), sequence dependency system and system with spare pool

    傳統故障樹分析方法是基於靜態邏輯和靜態故障機理提出的一種有效的系統可靠性分析方法，不適用於對具有動態隨機性故障和相關性的系統，如容錯系統、冗餘（或冷、熱備件）可修系統、公用資源庫系統，具有順序相關性的系統的可靠性分析。
  9. We use temporal logic language xyz / e as our component description language for components may have different abstract hierarchy and different granularity. xyz / e is able to describe the dynamic semantics and static operations of component, and to formally describe system in different hierarchy

    由於構件可能具有不同的抽象層次和粒度，我們採用了時序邏輯語言xyz e作為構件描述語言，這種語言能夠描述構件的靜態語義和動態執行，並且能在不同抽象層次上對系統進行形式化描述。
  10. Finally, i have afforded the using view which is reflected by the static structure in order to show the high logical model of this system

    最後，給出由靜態架構反射出來的用例視圖用於表示系統功能的高層邏輯模型。
  11. We use different commercial eda tools in order to achieve better implementation in different design phase, which include silicon ensemble of cadence, design compiler and design primer of synopsys and so on

    在設計的不同階段使用了不同的主流eda工具進行輔助設計和驗證，包括synopsys公司的邏輯綜合工具designcompiler 、靜態時序分析工具designprimer和cadence公司的自動布局布線工具siliconensemble等。
  12. A algorithm is presented to identify dynamic crosstalk noise. in the course of dynamic crosstalk noise identification, hybrid timing analysis is used to provide accurate signal arrival time, which can provide more accurate timing information than static timing analysis. at the same time, a novel test generation is chosen to verify the correlation of signals. so dynamic crosstalk noise can be identified by these accurate timing and logic information

    提出了動態串擾噪聲的識別演算法.針對基於傳統靜態時序分析的結果過于保守的缺點，本演算法引入了混合時序分析，縮小了時間窗區間，為動態串擾噪聲的識別提供了準確的時序信息，與此同時，通過測試生成來驗證信號間的邏輯關系，根據這些準確的時序及邏輯信息，識別出動態串擾噪聲
  13. Second, temporal logic is adopted to describe the temporal attributes of the static knowledge and the temporal relations, constraints of the dynamic knowledge, with which are dealt as isolated temporal knowledge

    二、採用時態邏輯描述靜態知識的時態屬性以及動態知識的時態關系和約束，把它們獨立出來作為時態知識進行處理。
  14. This kind of controller is easy to design and operate, and has improved convergence rates and less overshoot than pid controller, but has stable error. in order to improve the properties of the fuzzy controllers, fine - tune - rule fuzzy controller, fine - tuned parameter fuzzy controller and fuzzy - pi controller were designed respectively based on the simple fuzzy controller. then fuzzy logic inferential system is established by using toolbox of fuzzy logic in matlab7. 0. secondly, in simulink6. 0, through the instance of the template of s - function, the module of s - function for optimizing fuzzy control and corresponding control model are constructed, and the parameters of simulation are set

    這種控制器易於設計、實現方便，較傳統pid控制有更快的響應速度和更小的超調，但其存在靜態誤差;為了進一步提高模糊控制器的控制特性，在此基礎上分別設計了可調整控制規則模糊控制器、參數自整定模糊控制器和模糊- pid復合控制器;然後利用matlab7 . 0模糊邏輯工具箱圖形用戶界面建立模糊邏輯推理系統，在simulink6 . 0系統模擬設計平臺中通過實例化s函數模板創建旨在優化模糊控制的s函數功能模塊，並構建模糊控制系統框圖模型，設置系統模擬參數，最終對系統進行動態模擬。
  15. Therefore, according to the basic characteristics of structural complexity, this paper takes the modern enterprise group as the research object, applies modularity management theory, follows the consecution of " structure analysis - static analysis - dynamic analysis - open analysis ", and studies the structural complexity of the modern enterprise group and its growth mechanism. the major contents are as follows : 1

    因此，論文以現代企業集團為研究對象，根據結構復雜性的基本特徵，運用模塊化管理思想，遵循「結構分析? ?靜態分析? ?動態分析? ?開放分析」邏輯順序，研究現代企業集團結構復雜性及其成長機理，主要內容如下： （ 1 ）揭示了現代企業集團結構復雜性的基本特徵，構建了現代企業集團結構模塊化分析模型。
  16. So the sta ( static timing analysis ) step and the iteration between synthesis and p & r ( place & route ) were integrated in the dsm design flow

    因此，需要在深亞微米設計流程中加入靜態時序分析環節，以及邏輯綜合和布局布線之間的迭代過程。
  17. The digital one includes spec, verilog coding, simulation, synthesis, floorplan, routeing, static timing analyze and drc / lvs check

    數字電路設計流程則包括：制定spec ， verilog代碼編寫，模擬，邏輯綜合，布局，布線，靜態時序綜合和drc lvs檢查。
  18. From the duple angles of dynamic and static view, supported by the theory on man - land relationship and the logic between capacity and its main body, and based on the scientific cognition on the growing course, this paper parsed the growing course of urban sustainable development capacity ( usdc ) into three - dimensional and coupling courses - main body course, dynamic course and system course, and constructed corresponding usdc models according to the industrialization fact of developed and developing countries, which provides bran - new theoretic supports for the correlative research on usdc

    摘要基於系統（靜態）與過程（動態）的雙重視角，以人地關系理論和能力與主體關系邏輯為支撐，基於事物成長過程推進質量與水平的高低從根本上決定了事物及其能力成長的客觀、科學認知，對于城市可持續發展能力成長動因與過程進行了系統、全面、科學的理論解析，並結合發達國家與發展中國家實際構建了「自然過渡」和「雙峰逼近」型城市可持續發展能力成長過程理論模型，為城市可持續發展能力研究提供了全新的理論支撐。
  19. But it must be understood that xsp is just a piece of the framework : exactly like how formatting objects mix style and content, xsp objects mix logic and content

    在動態內容生成技術中，內容和程序邏輯是混在一起的：在每一個頁面，需要混合靜態內容和動態邏輯一起工作最終生成終端結果，通常要利用運行時或者時間相關的輸入。
  20. Static virtual topology design using genetic algorithm

    基於遺傳演算法的靜態邏輯拓撲設計
分享友人
分享到 Line

分享到臉書