靜態分析器 的英文怎麼說
中文拼音 [jìngtàifēnxīqì]
靜態分析器
英文
static analyzer- 靜 : Ⅰ形容詞1. (安定不動; 平靜) still; calm; motionless 2. (沒有聲響; 清靜) silent; quiet Ⅱ名詞(姓氏) a surname
- 態 : 名詞1. (形狀; 狀態) form; condition; appearance 2. [物理學] (物質結構的狀態或階段) state 3. [語言學] (一種語法范疇) voice
- 分 : 分Ⅰ名詞1. (成分) component 2. (職責和權利的限度) what is within one's duty or rights Ⅱ同 「份」Ⅲ動詞[書面語] (料想) judge
- 析 : Ⅰ動詞1. (分開; 散開) divide; separate 2. (分析) analyse; dissect; resolve Ⅱ名詞(姓氏) a surname
- 器 : 名詞1. (器具) implement; utensil; ware 2. (器官) organ 3. (度量; 才能) capacity; talent 4. (姓氏) a surname
- 靜態 : [物理學] static state; quiescent condition; steady state; statics; dead level; akinesis; akynesis...
-
This paper deriving the theory work inflection point in the static stage characteristics curve of small measurement range linear dimension measurement. by the way of high pressure and back pressure pneumatic measure and designed the parameter of the mainly and measure spray head, which are the key component in the spray head - baffle pneumatic sensor. the different groups for the main - spray head and the measure spray head, will effect the dynamic and static stage characteristic parameter. the author have done contrast experiment and optimization design to test and verify the theory derivation whereby made the rang of show valve of pneumatic measure system measure range up to 40 u m, the sensitivity up to 100mv / u m, resolution up to 0. 05 p m, the uncertainly of measure is less than 0. o2 u m, satisfaction of requirement of groups the carboy hatch thickness size precise measure of soft shims
對高壓背壓式氣動測量用於小量程線性尺寸測量的靜態特性曲線的理論工作拐點進行了推導,對氣動測量系統中的噴嘴-擋板型氣動傳感器中的關鍵部件? ?主噴嘴和測量噴嘴的參數進行了理論設計,對主噴嘴和測量噴嘴的不同組合,將影響測量系統靜、動態特性指標的噴嘴參數進行了對比實驗和優化設計,並通過實驗驗證了理論推導,從而使氣動測量系統量程的示值范圍達到40 m ,靈敏度達到100mv m ,解析度達到0 . 05 m ,測量不確定度小於0 . 2 m ,滿足了壓縮機缸蓋軟體墊片厚度尺寸精密測量分組的要求。The ultrasonic dynamic contact of bolt - clamped transducer and rigid plane are modeled using hertzian contact theory, and the analyzing results reveal that the nodal plane of the bolt - clamped transducer is levitated in normal direction by the ultrasonic dynamic contact action, and the real area of contact of bolt - clamped transducer and rigid plane decreases in the same time
首先利用赫茲接觸理論建立了夾心式換能器和剛性平面的超聲動態接觸模型。通過對模型進行分析、求解表明,在縱向超聲頻率動態接觸作用下,換能器節面位置產生了上浮,換能器端面與剛性平面的動態真實接觸面積比靜態時減少了。Motion emulator 、 fem of static state and mode with cosmosmotion and cosmosworks. verify the result of theory. it is cae of the manufacture hyperboloid clutch with rollers and optimize hyperboloid clutch with rollers
利用cosmosmotion 、 cosmosworks分別對加載器進行了運動模擬及靜態和模態有限元分析,以分析加載器的靜態和模態特性,並為加載器的研製及其優化提供cae支持。The disassembler can be used to analyse the code statically, to remove the obfuscations, to decrypt binaries etc
反匯編器可以用來靜態分析代碼,移除陷阱,對二進制代碼進行解碼等。Static ir drop analysis is based on the average current of the devices. according to different ways of current extraction, static ir drop analysis can be categorized into two major types : area based ir drop analysis and activity based ir drop analysis
靜態irdrop分析是以器件的平均電流為基礎的,根據器件電流提取方式的不同又可分為基於面積的irdrop分析和基於活動率的irdrop分析兩種。The principle and the mechanical structure of the air - gap inductance - type transducer are analyzed in this article, and the static parameters are calibrated. dynamic calibration is applied to air - gap inductance - type transducer which is not good in dynamic capability, to obtain the dynamic parameters of the transducer and its measuring circuit. based on the result of the dynamic calibration, the transducer and its serving circuit are modeled so that the method of how to improve the dynamic performance can be found
本文對現有氣隙式電感傳感器在原理和機械結構上作了深入的分析,對其參數進行了靜態標定;並且針對常規電感傳感器動態響應低,不宜用於快速動態測量的缺點,引入測試系統動力學的思想,設計了一套動態校準系統,對現有傳感器進行多次動態校準,根據動態校準的實驗結果對現有傳感器建立數學模型,得到現有傳感器的動態特性;在此基礎上,根據磨床工件在線檢測的要求,設計一個硬體補償系統來提高整個測試系統的動態特性。In this paper, three kinds of static test operations are given such as the shovel descended with the front - end of the bulldozer lifted, the ridger descended with the rear - end of the bulldozer lifted, the shovel and the ridger descended with the whole body of the bulldozer lifted the static tests for the frame of ty220 bulldozer are proceeded. the result of finite element analysis is contrasted with that of experiment the mechanical model and the result of finite clement analvsis are verified by experiment and the theoretical bases are provided for the improving design of frames 4 according to the results of calculations and tests, the suggestion is presented for improving the design of the frame of ty220 bulldozer
給出了鏟刀下移推土機前端抬起,鬆土器下移推土機所端抬起,鏟刀、鬆土器同時下移推土機整機抬起等三種靜態試驗工況,對推土機臺車架進行了靜態試驗,並將實驗結果與有限元計算結果進行了比較,驗證了力學模型及有限元分析結果的正確性,為臺車架的設計提供了一定的理論依據。On the basis of theoretical analysis and numerical calculations using matlab language combined with a real instance, it is indicated that the improper electrical parameter coordination caused by the abundance of power cable lines result in fundamental frequency current resonance, in addition, the countermeasures based on svc to solve the problem are put forward
文中結合某變電站異常運行狀態實例,在理論分析和matlab語言數值計算的基礎上,指出由於電纜的大量使用導致了該系統參數配合不當,從而誘發了基波電流諧振,並提出裝設靜態補償器以防範該類諧振。In this paper, they are set forth at first that the kinds of computer - simulation of electronic devices, the development and the requirements of mosfet ' s model and the way of gain the models " parameters, the dc models have been bui it in chapter 2 and the models of big signals have been deduced in chapter 3, they are different from the equivalent circuit models in the traditional software pspice that they come from the numer i ca i - s i mu i at i on wh i ch is based on the essence equat i on, so the precision of simulation is enhanced ? mosfet ' s small signal models of low frequency, intermediate frequency and high frequency have been built in chapter 4 and chapter 5, although the equivalent circuit models in pspice are used for reference to bui id them, they have their own characteristics which are analyzed at a i i kinds of situations, so that the simulation software for mosfet can be written according them and it i s a i so benef i c i a i for us to catch the gen i us character i st i cs of mosfet and to d esign all kinds of applicable devices the correctness of the models is simply proved in chapter 6
本文首先介紹了電子器件計算機模擬的分類、 mosfet的建模發展動態、對器件模型的要求以及模型參數的提取方法。在第二章中建立了mos晶體管在直流端電壓條件下的工作模型;第三章推導了mosfet的大信號模型,這兩類模型不同於傳統模擬軟體例如pspice中的等效電路模型,而是從模型方程出發,採用數值模擬的方法,提高了模擬的精度。第四章和第五章分別建立了mos晶體管低頻、中頻、高頻的小信號模型,雖然借鑒了pspice模擬軟體中用等效電路模型的方法,但是本文分別討論了準靜態和非準靜態時器件的本徵部分以及包含非本徵部分工作于低頻、中頻和高頻條件時的模型,可以根據這些模型編寫相應的模擬軟體,這樣在做器件的模擬分析與器件設計的時候,就可以利用模擬軟體逐步深入地分析器件在不同的條件下和器件的不同部分在工作時的各種小信號特性,有利於抓住器件工作的本質特性,設計出符合要求的各類通用和特殊器件。The cla ic compiler optimizatio, such as dead code elimination, co tant folding, co tant propagation, elimination of partial redundancies, loop unrolling, etc., are static analyses
典型的編譯器最優化,如死代碼消除、常數合併、常數傳送、部分冗餘的消除、循環展開等等,是靜態分析。The classic compiler optimizations, such as dead code elimination, constant folding, constant propagation, elimination of partial redundancies, loop unrolling, etc., are static analyses
典型的編譯器最優化,如死代碼消除、常數合併、常數傳送、部分冗餘的消除、循環展開等等,是靜態分析。Novel stack cache architecture and data - forwarding mechanism between it and the execution unit are also presented. the relationship between the capacity and the backup frequency of the stack cache is analyzed too
文中還設計了一種由多體靜態存儲器構成的堆棧緩沖結構,並在堆棧緩沖和執行部件之間採用了數據重定向技術,還對緩沖容量和後援頻度的關系進行了理論分析。At first, the article describes the basic concept of testbench ; summaries general function verification approaches : white - box verification, black - box verification, and grey - box verification, and shows their different application situations ; examples general verification tools : linting tools, code review, simulator, waveform viewer and code coverage. after doing that, it discusses how to analysis the granularity for verification and how to specify the verification, and details the construct relations between verification specification, testcase and testbench
本文首先闡述了測試平臺的基本概念;歸納了常用的功能測試方法:白箱測試、黑箱測試和灰箱測試,並說明了其不同的應用場合;列舉了常用的測試工具:代碼靜態分析工具、代碼檢查、模擬器、示波器和代碼覆蓋;接著討論了如何在測試計劃中分析測試粒度、確定待測特徵;闡明了待測特徵、測試實例和測試平臺之間的結構關系。Then, focus on several methods to simulate the saw devices, including the saw filter, saw programmable tapped delay line which can be used various modulation including bpsk, msk, qpsk, resonator with saw delay line structure
然後重點介紹聲表面波器件,包括聲表面波濾波器和聲表面波抽頭延遲線的各種設計和分析方法。側重介紹了準靜態分析法,並編制了採用該方法分析濾波器的程序,實際製作的濾波器和設計模擬結果能很好吻合。Contact surfaces exist in structure of aircraft, which effect static and dynamic analysis
在飛行器結構中,連接面的存在將影響結構的靜、動態分析。After having analyzed the theory of the calculator circuit thoroughly, the author made use of the characteristic of the calendar circuit and put forward a new design method, namely replacing the static circuit with the dynamic circuit to reduce the area of whole chip. now the author has finished the design of the calendar circuit and accomplished the layout design with the full - custom method
本文作者在透徹分析計算器原理的基礎上,利用萬年歷電路的工作頻率的特點,提出了以cmos動態門代替靜態觸發器的設計方法,獨立設計出萬年歷部分電路,將其與計算器部分電路緊密融合,構成一塊完整的數字大規模集成電路,並以全定製的方法實現了整個晶元的版圖設計。The structure and character of deformable mirror were analyzed, and the conflict between the deformation band and the pitch of deformable cells was pointed out. the " two - time compensation " wave - front correct mode was introduced to settle that conflict. the method for allocating wave - front aberration and designing static corrector was found, and the " two - time compensation " wave - front correct mode was validated by simulation
分析了變形鏡的結構特點,初步給出了變形鏡本身驅動單元數與校正量之間的制約關系;引入「二次補償」波前校正方案,解決了變形鏡校正量有限與高功率固體激光系統波前誤差起伏量大的矛盾,建立了波前校正對象優化分配、靜態校正器優化設計等細節過程所需要的方法,通過模擬模擬驗證了「二次補償」波前校正方案對于降低變形鏡校正量要求和放寬光學元件加工精度的作用; 5Raft vibration - isolate simulation system of this paper can provide the functions as follows : 1. it can calculate the natural frequencies, vibration modes, modular state and dynamic response of the unit according to the given structural parameters of the selected raft vibration - isolating unit, the number of vibration isolators and their installation positions. and also, the design effect of the selected scheme can be displayed vividly
另外,本論文研製的「浮筏隔振裝置減振降噪模擬系統」 ( raftvibration - isolatesimulationsystem , rviss ) ,功能包括: 1 、計算根據使用者輸入的機組結構參數、減振器的選型參數,可分別進行系統固有頻率及振型、系統模態分析及靜力計算、動力響應計算等,並提供計算報告;利用三維計算機技術實時模擬,形象逼真、動態顯示計算效果。The static analysis works by traversing your code, starting at a set of methods called triggers
進行靜態分析時會遍歷您的代碼,從一組稱為「觸發器」的方法開始。In passive mode, it simply statically inspects the code
在靜態模式,掃描器只是的簡單的靜態分析代碼。分享友人