時序驗證 的英文怎麼說

中文拼音 [shíxùyànzhèng]
時序驗證 英文
timing verification
  • 時 : shí］Ⅰ名1 （比較長的一段時間）time; times; days:當時at that time; in those days; 古時 ancient tim...
  • 驗 : 動詞1. （察看; 查考） examine; check; test 2. （產生預期的效果） prove effective; produce the expected result
  • 證 : Ⅰ動詞（證明） prove; verify; demonstrate Ⅱ名詞1 （證據） evidence; proof; testimony; witness 2 （...
  • 時序 : [地質學] sequence; sequential; time sequence; timing sequence; sequence in time
  • 驗證 : test and verify; checking; proving; testing; confirmation; [數學] corroboration; inspection; veri...
  1. And the deficiencies are pointed out in present researches, such as highway capacity, level - of - service, influence factor of road alignments, etc. from these, it has confirmed that the thesis should be studied from rational analysis, quantitative analysis of level - of - service, impact on capacity of road alignments, setting - up simulation model, etc. the high - accuracy gps dynamic data acquisition appearance is proposed to be used for the first time to carry on the experiment of overtaking on two - lane highways, and experiment scheme is designed according to the driver ' s perceive to judge each overtaking course. based on the experiment data, it can get two important parameters of acceptant gap ? the critical gap of overtakable time headway and returnable time headway through data processing, which can offer the strong support to the research of two - lane highway capacity with qualitative and quantitative analysis. besides, the experiment methods is provided to observe overtaking ratio and to measure the

    研究中首次提出了運用高精度gps動態數據採集儀對雙車道公路上的超車行為進行觀測，設計了根據駕駛員感受度來衡量超車過程的實驗方案，並通過後期數據處理得到了超車過程中兩個重要的可接受間隙參數-可超車車頭時距和可回車車頭時距的臨界間隙值，為定性和定量分析雙車道公路通行能力提供有力的數據支持;同時，還提出了觀測超車率的實驗方法以及測量加速度干擾的實驗方案，統一了計算加速度干擾的時間統計間隔，為雙車道公路的服務水平量化研究奠定基礎;最後還簡單介紹了駕駛員問卷調查法和模擬程序中模型參數標定和驗證的數據採集方法。
  2. Then, the program is used to simulate the flow across the backward - step, and the conclusion is testified that the circumfluence length is related to the reyonlds number

    同時，利用程序對后臺階繞流流動進行計算，驗證了后臺階繞流迴流長度和雷諾數有關的結論。
  3. The paper studied tests on three epiboly profiled bar concrete beams, bearing capacity of normal section, stiffness and behavior of cracks, and put forward formulas as advise. based on extant nonlinear concrete theory, a fem model was built by ansys program. the results of fem analysis was verified by tests data. some parameters in fem model were changed to build different models and the analysis results were compared with the advised formulas

    本文通過三根外包型鋼混凝土梁試驗，研究了其正截面承載能力、剛度以及裂縫方面的性質，並提出了一些相關建議公式。同時在現有混凝土非線性分析理論的基礎上，採用ansys有限元分析程序建立了外包型鋼混凝土梁的有限元模型，結合試驗數據對模型進行了驗證，另外還改變了一些參數建立了有限元模型，並和建議公式的結果進行了對比。
  4. Thus, the vhdl is carried to make a design for the forenamed algorithms, and the design is validated by simulation

    因此，本文用vhdl語言實現了ca邊緣檢測演算法模型的基本內核設計，並通過時序模擬，進行了演算法的硬體設計與效果驗證。
  5. These character based on sichuan power network ' s practice operation experience, in allusion to the config of the carrier wave protection in bypass breaker operating, through the study of protection ' s typical config : one side lfp - 902a, one side csl - 101a, proceeded comprehensive act module test, noted plenty of first hand test data and wave picture, proceeded detailed theory analyses, plenitude demonstration atresic type carrier wave distance protection when twain side atresic type logic is not completely same, basically can fill power network ' s requirement to relay of reliability selectivity speedly and sensitively

    本文結合四川電網的實際運行經驗，針對旁路開關代路運行時的保護配置情況，通過對旁路代路時保護典型配對組合：一側lfp - 902a ，一側csl - 101a的保護配置情況的深入研究，做了全面的動模試驗，記錄了大量的第一手試驗數據和波形，進行了詳細的原理分析，充分驗證了高頻閉鎖式距離零序保護在兩側閉鎖式邏輯不盡一致的情況下，基本能夠滿足電網對繼電保護的可靠性、選擇性、快速性以及靈敏性的要求。
  6. Verification of sequential circuit design based on obdd

    時序電路設計的驗證
  7. The international standard sequential circuits iscas ' 89 ( addendum ' 93 included ) is used to verify the algorithm, and the results are better than other algorithms "

    採用國際標準時序電路iscas 』 89 （包括addendum 』 93 ）進行了演算法驗證，取得了優于文獻中其它演算法的結果。
  8. 3. numerical simulations of the flexural process of the trisection specimens of concrete were executed, as well as the influence of configuration of aggregates on computing results was analyzed, by which showed that the method proposed is valid and feasible

    3 .通過全級配混凝土試件三分點彎拉損傷破壞過程的數值試驗，驗證了所編程序的正確性。同時，討論了骨料形態對混凝土動彎拉強度的影響。
  9. This design for mvbc system adopts top - down eda common design flow. circuit design adopts veriloghdl coding description. function simulation and timing verification adopt simulation tool vcs of synopsys inc, the logic synthesis tool and fpga programming tool adopt the quartus ii of altera inc, and the fpga advice stratix ii ep2s15

    該mvbc系統設計採用業界通用的自上而下的eda設計方法，電路邏輯實現採用veriloghdl硬體語言描述，功能和時序驗證的動態模擬採用synopsys公司的vcs ，而邏輯綜合與fpga實現採用altera公司的集成開發環境quartusii軟體以及stratixiiep2s15的fpga器件。
  10. The whole correlation - inheritance coding circuit system is designed, simulated and verified in verilog hdl on the candence systems

    採用了硬體描述語言verilog對整個相關繼承矢量量化圖像編碼電路系統在cadence系統上進行了西安理工大學碩士論文設計、模擬及時序驗證。
  11. One timing verification approach with the aid of the timing check system

    一種藉助時序檢測系統進行時序驗證的方法
  12. Based on a comprehensive research of image coding algorithm for correlation vq, novel algorithms are presented on two aspects in this paper, and corresponding vlsi coding circuit system is designed, simulated and verified

    本論文在對相關矢量量化圖像編碼演算法進行深入分析的基礎上，在兩個方面提出了基於vlsi技術的新演算法，並進行了vlsi硬體設計、模擬模擬和時序驗證。
  13. A 10 - bits system ( the result of the estimated speed is a 10 - bits digital ) and a 12 - bits one are presented and, their precisions and lc usages are compared, experimental results are given to show its effectiveness. max + plusii emulation assures the circuit structure

    本文研製了10bit和12bit兩種精度的基於模型參考自適應的速度估算ip核，並進行功能和時序驗證，比較了它們所佔用的晶元資源的大小， max + plus的模擬確定了實際的電路硬體結構。
  14. In the positive - issue research of bird impact, the thesis carefully explores the basic theories, finite element numerical method and key techniques of the solution process in ls - dyna3d software system for contact - impact issue of viscoelastic bodies at large deformation. the well - chosen cases examine the accuracy of solutions in ls - dyna3d for large deformation impact issues. under the proof work, the incremental constitutive equation of bilinear and nonlinear viscoelastic materials are derived, coded and verified in ls - dyna3d

    在鳥撞正問題的研究中，本文詳細推導了大變形粘彈性接觸-碰撞有限元分析的基本理論、數值計算方法、求解過程、關鍵技術以及上述內容在ls - dyna3d中的具體應用，算例考察了ls - dyna3d在求解碰撞以及大變形問題上的計算精度，同時推導了線彈性材料、雙線性彈塑性材料以及非線性粘彈性材料增量法迭代方程，編制了相應的用戶自定義材料子程序，並進行了子程序驗證。
  15. The result shows that this kind of adaptive control method has robust performance to a great extent because of the special dynamic compensation for external disturbance in these two systems. lastly, this dissertation introduces the main development techniques used for exploring distributed 3d flight platform which can validate advanced flight control laws in theory and method. based on windows 2000 / xp os ( operation system ), it synthetically applies real - time simulation arithmetic of control system, oop ( object oriented program ) development technique, tcp / ip protocol - based net - communication technique and api development technique of 3d virtual reality opengl to exploring the distributed simulation platform with friendly a

    本文對于驗證先進飛行控制理論的分散式三維飛行模擬平臺主要開發技術進行了原理和方法上的介紹，文中在基於windows2000 xp操作系統下，綜合運用了控制系統實時模擬演算法、面向對象的軟體oop開發技術、基於tcp ip協議的網路通訊技術及三維虛擬現實opengl的api開發技術，在vc + +應用程序框架的范圍內，開發了具有友好互動式三維界面的分散式模擬平臺，該平臺除了用於先進飛行控制理論的實南京航空航天大學博士學位論文時程序驗證之外，也可以用於航空院校的飛行控制系統教學實踐和飛行訓練的課程，由於開發這一平臺並不需要大量的資金投入，因此具有非常廣泛的應用前景。
  16. Finally the method using supervision statistics is represented in excavation construction, which predict the critical axial force of bracing in enclosure structure

    用非線性流變有限元程序驗證了結論的正確性。最後提出施工時運用監測數據預估圍護支撐的方法。
  17. Unlike traditional differential geometrical method, the robust adaptive neural net - based control emphasizes on the theory and application of intelligence control in nonlinear system that is weighed by robust performance index. the problem of robust reliability and stability in a kind of weak nonlinear system is first proposed in the dissertation, and then it deeply analyses and discusses the problem of how to design track controller in strong nonlinear system with uncertainties and external disturbance on the premise of guaranteeing the whole system ' s robust performance index. the distributed 3d flight simulation platform is mainly used to validate real - time program and evaluate the efficiency of advanced flight control laws, therefore, some theories and techniques related to the platform are also introduced

    基於神經網路的魯棒自適應控制研究和分散式三維飛行模擬平臺的構建是本論文研究的兩個主要內容，與傳統微分幾何方法不同的是，基於神經網路的魯棒自適應控制側重於智能控制方法在以魯棒性為性能指標的非線性系統中的理論和應用研究，論文以一類弱非線性系統的魯棒可靠鎮定問題為引線，逐步深入地分析和探討了在保證整個被控系統魯棒性能指標的前提下，對于幾類具有不確定性和外部擾動的強非線性系統跟蹤控制器的設計問題；分散式三維飛行模擬平臺主要用於先進飛行控制律的實時程序驗證和效能評估之用，因此關于平臺的一些開發原理和技術方法也在文中給出了介紹。
  18. Application verifier is a runtime verification tool for unmanaged code

    應用程序驗證程序是用於非託管代碼的運行時驗證工具。
  19. In order to validate the validity of the result in the paper, the result of zhou and uang ( 2000 ) is used to contrast with the result

    並與其它己有的研究結果做了對比，驗證了本文所計算能量反應港及統計擬合使用程序的正確性，同時也驗證了本文結果的正確性。
  20. When application verifier stops occurs

    在發生應用程序驗證程序停止時
分享友人
分享到 Line

分享到臉書