時序驗證器 的英文怎麼說

中文拼音 [shíxùyànzhèngqì]
時序驗證器 英文
verifier timing
  • 時 : 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 （...
  • 器 : 名詞1. （器具） implement; utensil; ware 2. （器官） organ 3. （度量; 才能） capacity; talent 4. （姓氏） a surname
  • 時序 : [地質學] sequence; sequential; time sequence; timing sequence; sequence in time
  • 驗證 : test and verify; checking; proving; testing; confirmation; [數學] corroboration; inspection; veri...
  1. In this report, we mainly covered the following aspects of " tissue organ regeneration and replication in situ " : 1 ) procedures of tissue organd regeneration and replication and replication in clnical practice ; 2 ) the discover and existence of potentiald regenerative cell ( prc ) ; 3 ) the proliferation, differentiation and regeneration law of potential law of potential regenerative cells ; 4 ) study procedure on tissue organ regeneration and replication from prcs in vitro based on the model of full skin organ regeneration in situ after extensive in vitro, set up the method and technology of searching life regenerative substance required in tissue organ regeneration and replication in situ. in this study, first, the whole human body is divided into 206 function units, which are the " tissue organ " in regeneration study. then the histology foundation of tissue organ regeneration and replication in situ is set up. in ordre to prove the existence of the potential regenerative cells and their potential baility and function, we established clinical tracking rechnique of skin organ regeneration in situ ; meanwhile, several tissue organ regeneration and replication in vitro models which represent different kinds of runctions were sucessfully set up, with all these techniques and models, we confirmed : 1 ) the existence, function and ability of pptemtoa regenerative cells ; 2 ) the importance of life regenerative substance ; 3 ) the feasibility of tissue organ regeneration and replication in situ ; 4 ) the big value of tissue organ regeneration and replication in situ in life science and medicine progerss. we also showed the possible foreground of capture cancer with this method and technologh. in this report, nearly 200 photographs of several tissue organ regeneration and replication in situ or in vitro demonstrated the whole process of tissue organ and big organ entities regeneration and replication from cells. the results of tissue organ regeneration and replication in situ mainly include : 1 ) whole skin organ regeneration and replication in situ ; 2 ) gastrointestinal mucosa tissue organ regeneration in vitro ; 3 ) hair follicle tissue organ regeneration in situ or in vitro ; 4 ) never tissue organ regeneration in situ ; 5 ) pancreas tissue organ regeneration and replication in vitro ; 5 ) marrow tissue regeneration in vitro ; 6 ) renal glomerulus and tubule tissue organ tugeneraation in vitro ; 7 ) heart muscle regeneration in vitro, etcl. in order to let more and more people know and understand this technology of tissue organd regeneration and replication in situ, herein, for the first time, we publicize the key points of actualizing this technology. also, we publicized the technology procedures and the frame constitute of life substances. we bilieve this is a big contribution to human science

    本研究報告，重點報道了組織器官的原位再生復制的臨床程序，報道了組織潛能再生細胞的發現和存在，以及該細胞的增殖分化和形成組織器官的變化規律.以燒傷后皮膚組織器官的原位再生復制為模型，研究出了體外組織潛能再生細胞復制組織器官的培養方法;以體外組織器官的復制為模型，建立了尋找原位組織器官再生復制所需生命物質的方法和技術.本研究，首先按人體的器官功能，分解為206個功能單位，確立了所復制的人體器官中的組織功能單位為組織器官，從而建立了原位組織器官再生復制的組織學基礎.為了驗證組織潛能再生細胞的再生潛能，建立了皮膚器官原位再生的實體臨床跟蹤技術，同時又建立了能代表有關器官功能類別的代表組織器官的原位和體外復制模型，以多組織器官的成功復制確定潛能再生細胞的作用，確定生命研究再生物質的重要性，確定組織器官原位再生復制的可行性，確定了組織器官原位再生復制的生命科學研究和醫學進步的重大應用價值，同時展示了用此方法和技術攻克癌癥的前景.本研究報告，以近二百幅多個組織器官原位和體外再生復制的實體圖片，展示了潛能再生細胞復制的組織器官和大器官司實體;展示了細胞再生復制器官的全過程.真實的報告了組織器官原位再生復制的成果.所公布的主要成果為:皮膚器官的原位再生復制;胃腸黏膜組織器官的原位和體外再生復制;毛囊組織器官的原位和體外再生復制;神經組織器官的原位復制;胰腺組織器官的體外復制;骨髓組織的體外復制;腎小球小管組織器官的體外復制;心肌的體外復制等.為了讓更多的人學會和掌握組織器官原位再生復制技術，本報告首次公布實施技術的重要環節和技術流程;首次公布了生命再生物質的框架和組成.作者自費研究成果對人類生命科學的一大貢獻
  2. This paper mainly focuses on the noise limiting by means of the direct sequence spread spectrum ( dsss ) and the analysis of the transmission performance of the plc and some digital modulation technology. the contents of the paper is as follows : 1 ) the technical feasibility is proved after simulating noise limiting principle of dsss by means of systemview, the simulation software ; 2 ) a kind of band pass filter ( bpf ) is realized according to the requirement of filter and the principle of butterworth approximation, which satisfies the index of performance of dsss. 3 ) the low voltage plc system includes the sc1128, the specific modulation / demodulation ic, the bpf filter and other circuit components, furthermore, the control function of system is realized by means of the personal computer and the microcontroller

    本課題在對低壓電力線的傳輸特性和數字調制技術進行分析的基礎上，將通信理論中的直接序列擴頻技術（ dsss ）用於解決低壓電力線通信的干擾問題，主要研究內容如下： （ 1 ）用通信模擬軟體systemview對dsss技術的通信和抗干擾原理進行模擬分析，分別對時域和頻域下採用dsss技術前後接收信號的頻譜進行分析，驗證dsss技術在本系統中的可行性； （ 2 ）由dsss技術對濾波系統的要求，根據濾波理論分析了巴特沃思型濾波器的逼近原理並設計了合適的濾波電路； （ 3 ）用調制解調晶元sc1128和自行設計的濾波器加之輔助外圍電路，構造出低壓電力線載波通信系統，並採用atmel公司的單片機設計了接收和發射電路的微控制器； （ 4 ）分別對採取抗干擾措施前後輸入和輸出信號進行對比實驗，並對結果進行分析，驗證了dsss技術對干擾信號的抑制作用。
  3. 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器件。
  4. In chapter 4 we discuss the design of the high speed and high performance vlsi and its imp1ementation, firstly we ana1yze and compare the features and ru1es of al1 kinds of fft algorithm, adopt complex radix 4 butterfly calcu1ation as basic alu, then discuss all kinds of process architectures, the design thoughts, rule, method, technique way, the characteristics of the design are r4 dit algorithm, pingpong ram design method and pipeline structure between stages. we also analyze the limited word length effect and the method to avoid overflow of the fixed points fft process, bring out the expandable platform mode

    第四章主要討論了高速高性能的快速傅立葉變換處理器的設計和實現，首先分析和比較了各種快速傅立葉變換演算法的特性和規律，提出基4蝶算的演算法具有最好的性價比，討論了順序、級聯、并行和陣列的處理結構，闡述了設計高速高性能快速傅立葉變換處理器時的設計原則、設計思路、所採用的技術路線，驗證並測試fft處理器，分析了定點fft處理過程由於有限字長效應所產生的量化誤差的范圍及防溢出控制辦法，提出了可擴展平臺模式。
  5. Between mathematics inferential result and programmer simulation result, we can see that they are consistent. thus proof our network - level routing protocol is feasible and has the merit of consuming energy equably while saving energy when the wireless sensor network is working

    在理論推導結論和程序模擬結果中，我們可以看出，二者結論相符，從而驗證本文所改進的無線傳感器網路網路層路由協議的可行性，驗證了在無線傳感器網路工作過程中，節點能夠在節省能量的同時相對均勻地消耗能量的優點。
  6. It presents the verification strategy used in the whole eda design flow of the chip. the simulation on module level ( inc. post - layout ) uses the software event - driven simulator, the simulation of the associated modules or whole system uses cycle - based simulator and hardware emulator, for the gate - level netlist produced by using top - down design flow, the sta tool can analyze the static timing, and more formal verification is used to ensure the correct function

    本章還提出了系統在整個eda設計流程中的設計驗證策略方法：模塊級的模擬（包括布線后的模擬）全部採用事件驅動式的軟體模擬工具來驗證，各大模塊的聯合模擬及整個晶元的功能驗證（寄存器傳輸級與門級）使用基於周期的模擬工具和硬體模擬器；對于採用top - down的設計方法得到的門級網表使用專門的靜態時序分析工具來進行時序分析以及採用形式驗證來保證正確的功能。
  7. The finite precision effect brought by the digital realization of cs and the deterioration of the sequence ' s properties caused by interception have been studied. moreover, after analyzing the effect of the existing ways to improve the performance of cs, especially the perturbation, the effectness of a kind of chaos sequence generator by means of software high - precision computation ( shpc ) has been disscussed

    在數字混沌序列方面，本文驗證了混沌擴頻序列由於數字化所產生的有限精度效應、截短所造成的性能下降，同時對目前的改進方法，主要是加擾法，進行效果分析，並對利用軟體高精度計算實現數字混沌序列產生器的方法進行了探討。
  8. An application can save time by preauthenticating the user with the resource, thus eliminating at least one round trip to the server

    應用程序可以通過用資源預驗證用戶的身份，從而消除至少一次與服務器間的往返行程並因而節省時間。
  9. To validate the performance of the proposed scheme, the scheme is simulated with fpga, and the simulation result indicates that compared with the conventional pn acquisition schemes, the pn acquisition using auxiliary sequence and binary search can decrease the acquisition time greatly on the same condition

    同時，為了進一步驗證該同步捕獲方案的捕獲性能，文中採用fpga器件對捕獲方案進行模擬，分析結果表明：與傳統的序列捕獲方案相比，基於輔助序列和二分法的同步捕獲方案可以在系統復雜度和性能不變的前提下，大大縮短捕獲時間，實現擴頻序列的快速捕獲。
  10. The algorithm of strapdown inertial navigation system is also discussed and then use the flight - track generator to give a simulation, since a closed loop feedback integrated navigation system is designed in this paper, and the output of the filter must feed back to the strapdown inertial navigation system, the analysis of the algorithm in strapdown inertial navigation system is important. the scheme to design the trajectory of gps and the simulation of gps constellation are then studied, the simulation of gps constellation is given from the calculation of vernal equinox base on the principle of celestial mechanics, this method of different from other methods given by other paper and is useful to the research of satellite navigation system. a new method to abstract noise modal in integrated navigation system is proved to be useful in practice, this method, which is given by use the principles of stochastic processes, statistics, time series analysis, and system identification, is suitable for the kalman filter in integrated navigation system

    如航跡產生器的設計，該航跡產生器是研究組合導航問題的前提，從國外一些研究組合導航系統的文獻中可以看出，設計這樣一個航跡產生器是非常必要的，所以本文自行設計了這樣一個系統；還討論了捷聯慣性導航系統中捷聯解算的方法，並進行了模擬研究，由於在本文設計的閉環反饋式組合導航系統中，對捷聯慣導系統的平臺誤差進行閉環控制，需要將濾波器輸出的校正量反饋到捷聯解算內部，所以必須對捷聯解算進行深入的研究和分析，更何況捷聯解算問題本身也是導航界的一個熱門研究課題；另外，本文還介紹了gps軌道及其星座模擬的設計思想和方案，與以往gps軌道和星座模擬不同的是本文從天體力學中計算春分點開始，逐步進行gps軌道及其星座模擬，這樣的設計方法對從事衛星導航的研究工作是有價值的；還對組合導航中誤差建模方法進行了研究，綜合運用隨機過程、概率統計、時序分析及系統辯識等方面的理論提出了一套適合組合導航卡爾曼濾波的誤差建模方法，並運用實際研究工作中的測量數據對該方法進行了驗證。
  11. The validity and superiority of all these are proved by use the parallel converter of novel upfc to implement reactive current compensation, zero sequence and negative sequence currents compensation, harmonic currents compensation and the mixed compensation of them. this thesis also studies that use novel upfc to implement two phases operating in high - voltage transmission lines by theory analyze and simulation testify

    提出了基於多電平變換器的廣義大功率有害電流補償的概念，提出了適合於它的多環定時滯環控制方案，通過用新型upfc的並聯變換器實現無功補償、零序和負序補償、諧波補償及它們的綜合補償來驗證了其有效性和優越性。
  12. Automatic docking is one of the most important actions for msr robot ’ s self - reconfiguration and is one of the technologys about the robot researching, because it supports almost all practical advantages of such robot. in this thesis, automatic docking system and the module structure are first analyzed ; for searching the reason why the actual docking system run unsteadily, some validate and test thing are done, such as docking algorithm test, sensor unit test, drive unit test, and so on

    自動對接是模塊化自重構機器人完成自重構的一個基本步驟，也是這種機器人研究的關鍵技術之一，是模塊化自重構機器人具有實際應用價值的基礎。本文對自動對接系統結構進行了分析，為尋找實際對接系統工作不穩定的原因，做了一些驗證與調試方面的工作，包括自動對接演算法正確性與有效性的驗證，串口電路設計，編寫實時跟隨對接模塊運動的程序以及傳感器建模程序等。
  13. Its premise is pci bus specification and its sticking point is to analysis the function and architecture of pci bus controller. this dissertation finishes the design of pci bus controller, and it has also completed the function simulation of this module as well as timing simulation and a pcb card for test which prove it rightness at last

    通過本論文的研究，完成了pci總線控制器的設計，並且通過編寫測試激勵程序完成了總線控制器功能模擬，以及布局布線后的時序模擬，並設計了pcb實驗板進行了測試，證明所實現的pci目標控制器完成了要求的功能。
  14. In the part of voice encryption, spatiotemporal chaotic system ( ocoml model ) and lfsr are used to generate multidimensional pseudo - random sequence. this sequence has a longer period, better randomicity, passing the verification of fips 140 - 2 security requirements. using the key stream generated by it to encrypt the voice gets a better security

    在語音加密方面，本文利用時空混沌系統（單向耦合映象格子模型）與線性移位寄存器產生了高維的偽隨機序列，該序列周期很長，具有更強的隨機性，通過了fips140 - 2的安全性能驗證，利用其作為密鑰流對語音信號進行加密，獲得了更高的保密性。
  15. The disease in jaw surface will be drop the bite force ; the bite force in the patient who disease in temporal jaw joint descent obviously than normal person ; serious mistake in join deformity, the acute damage in the area arthritis can also drop the bite force evidently ; compare to normal children, wenneberg fund that the bite force lower and the duration of the biggest bite force shorter in the children who fall ill of the chronic arthritis ; the bite force also be used in appraise of the recovery condition in surgical operation 、 disorder in jaw arthritis and the serious bone offset in bite lopsided etc. some materials, it will be produce polarization phenomenon inside when suffered some force in certain direction, at the same time, it produce opposite electric charge in two of the surface ; and resume to the station of on - electrification when removed the outside force ; change the direction of the outside force, the polarity of the electric charge also be changed, this kind of phenomenon is called as “ piezoelectric effect ”

    本文設計了石英晶體壓電傳感器，以它作為傳感元件把咬合力信號轉變成電信號;利用ts5860型準靜態電荷放大器把傳感器的電荷信號轉變成電壓信號;選用usb7822數據採集卡，編寫該數據採集卡的驅動程序，採集該電壓信號並送到計算機里;編寫labview程序對該信號進行處理，得出咬合力值和咬合力曲線，並把測量結果以電子表格的形式保存，以便做進一步的分析和研究。通過對該測量儀的靜態標定、動態標定、溫度漂移標定以及實際測量試驗，證實了本測量儀具有較高的靈敏度、受動態力和溫度變化的影響比較小、能實時地顯示咬合力曲線和較準確地顯示咬合力值，滿足了咬合力測量的要求。
  16. This paper analyze the architecture of amex86 microprocessor, including the analyzer of instruction system, addressing mode, scheduling and clock of instruction, the integration and validation of amex86 architecture. this paper mainly discusses the design and realization of data path and instruction decoder in detail

    本論文將對amex86體系結構的微處理器進行體系結構分析，包括指令系統的分析、尋址方式的分析，指令時序以及指令時鐘拍數的分析和amex86系統的集成及驗證等。
  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. According to the sample theory, applied the time terminated test plan, the reliability compliance test plan was brought forward. the reliability compliance test plan was divided into two parts, residual current protection test and operation reliability test. in this paper, the test plan, the failure criterion and the program of reliability test were introduced

    本文由抽樣理論，採用定時截尾試驗方案確定了漏電保護器的可靠性驗證試驗方案，漏電保護器的可靠性驗證試驗由成功率驗證試驗和失效率驗證試驗組成；本文還給出了漏電保護器可靠性驗證試驗的試驗條件、試驗檢測方法、失效判據，以及可靠性驗證程序。
  19. And software simulator is used to simulate the behavior of the program running on the real chip with software. the simulator can not only bring convenience to the user of the chip, but also make the software developing synchronous with the design of hardware

    軟體模擬器對用軟體來模擬應用程序在目標晶元上的行為，用高級語言強大的表達力來模擬晶元的功能，不僅能為晶元的用戶帶來便利，而且能使晶元的設計者在晶元硬體設計的同時進行軟體開發，以驗證晶元的結構。
  20. This is one kind project of hardware multiplexer based on the high - performance system on a programmable chip ( sopc ). in the project author integrate with the software and the hardware on a field programmable gate array ( fpga ), not only simplifying the overall system design, moreover realizing stably, high speed, low cost multiplexer ’ s design. the dissertation carry on three verification step that include function verification 、 time verification and prototype verification to guarantee each ip can work normally to satisfy the system performance requirement. then author introduce the realization of the multiplexer in detail, as well as the test and the debugging questions met in practice and solution of the questions

    本方案是一種基於可編程片上系統（ sopc ）的硬體復用器設計方案，其特點是將系統的軟體和硬體集成在一款現場可編程門陣列（ fpga ）上，使用該方案不但簡化了整個系統，而且實現了穩定、高速、低成本的復用器設計。對系統中各個功能模塊的整合和驗證採用功能模擬、時序模擬、原型驗證三個步驟進行，保證系統中各個功能模塊可以正常工作，並滿足系統的性能要求。然後詳細介紹了復用器的實現，以及測試和調試中遇到的問題及解決方法。
分享友人
分享到 Line

分享到臉書