正確性定理 的英文怎麼說

中文拼音 [zhēngquèxìngdìnglǐ]
正確性定理 英文
correctness theorem
  • 正 : 正名詞（正月） the first month of the lunar year; the first moon
  • 確 : 形容詞1. （符合事實; 真實） true; reliable; authentic 2. （堅固; 堅定） firm
  • 性 : Ⅰ名詞1 （性格） nature; character; disposition 2 （性能; 性質） property; quality 3 （性別） sex ...
  • 定 : Ⅰ形容詞1 （平靜; 穩定） calm; stable 2 （已經確定的; 不改變的） fixed; settled; established Ⅱ動詞...
  • 理 : Ⅰ名詞1 （物質組織的條紋） texture; grain （in wood skin etc ） 2 （道理;事理） reason; logic; tru...
  • 正確性 : accuracy
  • 正確 : exactness; correct; right; proper; rightness; rectitude; validity
  1. In order to determine their merit or validity, such conventional wisdoms must be related to real world conditions.

    為了確定它們的合理性或正確性，一般必須結合客觀實際情況進行分析。
  2. In order to insure the correctness of analysis of miler theorem, i use simulation to verify and simulative result shows the analysis is correct

    為了確保用密勒定理分析電路的正確性，還用模擬來驗證，模擬結果表明了分析的正確性。
  3. With the progress of the absolute doctrine of a legally prescribed punishment for a specified crime to the comparative, the neoclassicism think, there are subjective elements in the constitution of crime, purpose means much to the criminality type of crime with purpose

    目的犯在我國刑法中的設立仍具有某些不盡規范和合理的地方，同時由於目的犯的內隱性為司法機關的舉證增加了一定的難度，應當採用司法推定的方法正確認定目的犯的目的，並對司法推定進行必要的規范。
  4. A dynamic hierarchical description method for workflow is presented. the method provides a dynamic hierarchical way to define a workflow with non - determinate or dynamic factors. with this method, the main process defined at build - time can be reified and extended by the principle of the sub - organizations at either the build - time or the run - time. to ensure the consistency and integrity of the description, a series of constraint rules are also discussed to realize seamless integration between a decomposed process and its original one. this approach supports the description of unpredictable uncertainties, the dynamic hierarchy of business process, and the dynamic modification of enterprise organizations, and all of these improve the flexibility and extendability of workflow management systems dramatically

    為支持流程中不確定性因素和動態因素的描述，提出了柔性工作流的動態層次描述方法，使得流程設計人員在流程定義階段定義的主流程可以在任意時刻由子組織的負責人進行細化和擴充.為保證動態層次描述的正確性和完整性，討論了動態層次描述的一系列約束規則，確保分解后的流程與原有流程實現無縫銜接.該描述方法支持對不可預知的非確定性因素的描述，支持業務流程的動態層次描述以及組織機構的變化，極大地增加了工作流管理系統的柔性和可擴展性
  5. This paper starts the research of the liquid floated pendulous accelerometer testing system according to the engineering. at first, this paper gives the brief introduction of the history and present status of accelerometer and its testing technology, the working principium and math model of the liquid floated pendu - lous accelerometer, and then, decides the binary width pulse force retrim loop as the design proposal of testing system, researches the transfer function of every part in the system emphasizly, analyses the stability of the whole accelerometer testing system from the angle of control theoretics by the open loop transfer function of system, and designed the correcting net, analyses the basal problems such as resolution, sampling restraint, precision and so on, designs the hardware testing circuits such as preamplification, band - pass filter, alternating amplifier, phase sensitive demodulatorn, pulse - width modulation, frequency scale circuit, moment current generator. finally, using the graphics program language labv - iew which is designed for testing field especially by ni accomplishes the solfware design of testing system, realized the testing functions

    首先對加速度計及其測試技術的發展歷史和現狀，液浮擺式加速度計的工作原理和數學模型等作了簡要的介紹，然後確定了以二元調寬脈沖再平衡測試迴路為設計方案，並從控制理論的角度進行了分析，著重研究了系統中各部分的傳遞函數，利用系統開環傳遞函數分析了系統的穩定性，同時設計了系統的校正網路;分析了二元調寬脈沖再平衡測試迴路的解析度、采樣約束以及測試精度等基本問題，並按照系統分析的結果設計了包括前置放大、帶通濾波、交流放大、相敏解調、脈寬調制、頻標電路以及力矩電流發生器等測試系統各部分硬體電路，驗證了電路的正確性，最後按照測試系統的要求，採用了美國ni公司專為測試領域所開發的虛擬儀器工具? ? labview作為測試軟體開發工具，利用該圖形化編程語言完成了測試系統軟體部分的設計，實現了測試功能。
  6. Secondly, in phase unwrapping to overcome the spread of wrong point, changing the patch of unwrapping phase is done to improve the correctness of it. then, the relation between the unwrapping phase and the height of reconstructed object is discussed detailedly. the data processing, algorithm analysis and reconstructing object are done for the collecting fringe image which are all based on matlab language, in all these achievements, the improvement and innovation aspect are following : a ) in order to stabilize the interference fringe, a new equivalent shifting object method is presented by using fringe stabilizing device to stabilize the interference fringe though moving object and ccd camera which fixed on a precise moving platform together, the experimental result shows the fringe drift is less than a / 20 in five minutes, and the equivalent phase shifting precision is x / 100

    論文在全面闡述了光學三維輪廓位相測量術的發展、應用現狀、研究熱點及未來發展趨勢的基礎上，簡要介紹了傅立葉變換和相移位相輪廓測量術的基本原理，對兩種測量方法存在的問題及誤差進行詳細分析和比較；針對位相解包裹錯誤點的傳播問題，作者通過改變解包裹路徑來提高位相解包裹的正確性；分析討論從解包裹位相（ x ， y ）到再現物體的高度h （ x ， y ）物理量之間的關系，研究相應的演算法，利用matlab平臺，對實際採集的條紋圖像進行處理和輪廓重構，其中改進及創新工作主要表現在以下兩個方面： （ a ）針對干涉型結構光場干涉條紋出現的漂移抖動對相移的影響，提出了一種用條紋穩定器穩定干涉條紋，用精密移動平臺使物體和ccd攝像頭同步移動實現等效相移的方法，建立了相應的測量系統，系統的條紋穩定可以達到。
  7. In this paper, besides the simulation of the normal physiological condition, ecg waveforms under pathological conditions due to cell membrane ionic channel mutation such of as long - qt syndrome, short - qt syndrome, t wave alternans and brugada syndrome also be simulated and researched, which validated this ecg model, at the same time be beneficial to further research on

    文中除了模擬正常生理狀態下的心電圖以外，對長qt間期綜合癥、短qt間期綜合征、 t波電交替和brugada綜合癥等幾種由細胞膜離子通道改變所引起的病態心電圖波形也進行了模擬研究，充分驗證了模型的正確性，同時也為進一步在此上進行疾病治療藥物的研究奠定了基礎。
  8. In order to accomplish proper conclusions of state crime in particular cases, i discussed some concern theories of accomplice in state crime, especially indirect crime, identification crime, common intention, criminal purpose and the different connections of action patterns of accomplice

    但關于其共犯形態的專門性研究尚屬少見，為了實現司法實踐中對事態犯罪具體案件的正確認定，本文著力探討了事態犯罪共犯的相關理論，重點論述了事態犯罪的間接正犯、身份犯問題，事態犯罪的共同故意和犯罪目的問題，以及共犯行為方式的不同結合等幾個問題。
  9. The main work included : the classical lambda calculus was modified to describe the character of dynamic fuzzy ; the abstract syntax of dfl programming language was described through bnf notation ; an operational semantics model of dfl programming language was proposed with a ternary array < dfsc, dfo, dfss > and then some basic data types and several mechanisms of constructing new data types were defined ; the frame of dfl progaramming language was provided ; it was described how to solve some problems applying the operational semantics model ; the correctness and reliability of the operational semantics model were proved by hoare logic and denotational semantics

    主要內容包括:變形傳統的演算，以更好地描述具有動態模糊性的問題;通過bnf描述了dfl程序設計語言的抽象語法;通過一個三元組< dfsc ， dfo ， dfss >給出了dfl程序設計語言的操作語義模型;給出了dfl程序設計語言的基本框架結構;給出了該操作語義模型的一些應用實例;通過hoare邏輯和基本指稱語義對本文所定義的操作語義模型的正確性和可靠性進行了證明。由此可見，本文從全新的角度定義了一種可以處理動態模糊問題的程序設計語言。
  10. Adopting the method of top - down, the virtual memory is divided into memory mange related unit ( segment unit and page unit ) and protection mode related unit ( protection test unit, debug test unit and exception detect unit ). data buses and control bused are designed separately for all of the units. vhdl codes are written and simulated

    Amex86的虛擬存儲器採用自頂向下的設計方法，把虛擬存儲器劃分為地址管理相關單元（又包括分段單元和分頁單元） 、保護模式相關單元（又包括保護測試單元、調試異常單元利異常檢測單元等） ，分別確立其數據通路和控制通路，完成了vhdl的編碼和模擬工作，通過測試程序模擬驗證了其功能的正確性並測定了基本性能。
  11. ? to make the solid have realistic surface, we adopt advanced solid modeling method - constructive solid geometry. ? to free end - user from overwork, we presents and realizes many auto - processing algorithms, such as searching of inner - point, definition of polygon ' s counter - clockwise direction, as well as generation of numeric control codes. ? to checkout the collision and interference between cutter and part, we accomplish numeric control machining simulation, which can help end - user validate the correctness and rationality of numeric control codes, so it is needless that do repetitive test - cut before normal manufacture

    正如將在後續章節中所講述的那樣，我們在系統中採用了許多先進的技術，其中主要包括以下幾點：採用分層設計思想，使三維物體的設計得到了簡化；採用先進的實體造型方法，使所建立的實體真實感強；實現了內點自動查找、多邊形方向自動定義等演算法，提高了系統的自動化水平；實現了刀具軌跡的自動生成、優化；實現了數控代碼的自動編寫，克服了手動編寫的缺點；實現了數控加工模擬，能檢驗數控代碼的正確性和合理性，並能自動檢測刀具與工件之間的干涉。
  12. Abstract : according to the theory of difference analysis, this paper proposed using mixed - f statistic to determine the optimal class number of fuzzy cluster, and using fuzzy partition entropy to verify whether the class number is optimal, the optimal class number can be determined by the two statistics mentioned above correctly

    文摘:根據方差分析理論，提出應用混合f統計量來確定最佳分類數，並應用模糊劃分熵來驗證最佳分類數的正確性，綜合運用上述兩個指標可以準確確定最佳聚類數。
  13. As a result, to define it correctly, the " history of buddhism ” is confined to the manmade “ phenomenal aspect of things " rather than the " essential aspect of dharma ; " the " phenomenal aspect of things " refers largely to the manmade " handing - down and constitution of dharma, records of documents, and right / wrong explications about the meanings of dharma " by all the different doctrines

    因為法的實際具有普遍性、恆常性、唯一性的特質，並無所謂的思想本質之演變現象，而只有諸家傳持者對教法理解的正訛深淺廣狹的差別；因此，對佛教史一語的正確界定，只能局限在世問人為操作之事相的現象面上，而不能指涉法性的本質面。
  14. Abstract : a class of general nonlinear neutral differential equations for its special cases are discussed. sufficient conditions for all solutions of the equations to be oscillatory are obtained. it can be treated in the extreme limite theorem

    文摘:在特定條件下討論了一階非線性中立型的微分方程振動問題，產生了一階非線性中立型微分方程的振動準則，並用極限理論證明了該振動準則的正確性
  15. At first, the general theory of synthesis angular acceleration and velocity with linear accelerometers is researched and proved in this paper. on the foundation of analyzing the applied barrier in platform stabilized system of angular locomotion, a new method that changes the installation structure from alterable space into plane, is put forward to solve the problems, so that the application of this theory in moep becomes possible

    本文首先對線加速度合成角速度、角加速度的一般理論進行了研究，從理論上證明這一方法的正確性，為進一步深入研究奠定了理論基礎；在此基礎上，本文分析了角運動合成一般方法在平臺穩定系統中應用存在的困難，在此基礎上提出了一種改進方法；這種方法的特點是變空間結構的安裝方式為平面結構，使角運動合成理論在工程實踐中應用成為可能。
  16. 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

    給出了鏟刀下移推土機前端抬起，鬆土器下移推土機所端抬起，鏟刀、鬆土器同時下移推土機整機抬起等三種靜態試驗工況，對推土機臺車架進行了靜態試驗，並將實驗結果與有限元計算結果進行了比較，驗證了力學模型及有限元分析結果的正確性，為臺車架的設計提供了一定的理論依據。
  17. The control tactics of space voltage vector are investigated, and the simplified algorithm which judges the sector location of reference vector and calculates switch operation time is put forward. by analyzing the current hysteresis control, the relation between switch frequency, and hysteresis bandwidth and input inductance of pwm rectifier is deduced. by applying instantaneous power theory, the principle of pwm rectifier power control is analyzed, and the direct power control by matlab toolbox through estimating active power and reactive power with virtual flux is realized, and the simulation results prove that it is correct

    對常用空間電壓矢量控制策略進行分析，提出了給定參考矢量所在區間判斷的簡化方法，以及電壓矢量作用時間的求取方法；分析了電流滯環控制策略，推導出開關頻率與滯環帶寬以及整流器輸入電感之間的關系；應用瞬時功率理論分析pwm整流器功率控制原理，通過虛擬磁鏈估計有功功率和無功功率，用matlab實現了直接功率控制，並驗證了該控制方法的正確性。
  18. The relations between the mechanism parameters and some performance parameters of stewart platform such as leg position workspace, pose workspace, flexibility ratio and so on is studied. the leg mechanism is researched through space model theory, area performance atlas of leg position workspace is done and some conclusions are drew. the correctness of the preliminary mechanism parameters is proved by all of above

    研究了並聯腿機構結構參數對腿位置運動空間、姿態運動空間的影響，應用空間模型理論對腿部機構作了研究，作出了腿位置工作空間面積性能圖譜，得出了一些結論，並且定義了並聯腿機構性能指標靈活度，驗證了選取初步結構參數的正確性。
  19. Thirdly, the paper researchs the application of single electron transistor and the synthesis theory of cicuit based on quantum dot cellular automata by synthesis example of quantum cellular neural network based on build schr ? dinger equation of coupling quantum dot. at last, the paper researchs digital integrated circuit design based on quantum dot cellular automata and design a 8 - bit quantum dot cellular adder by qcadsign based on a method of majority logic reducetion for quantum cellular automata, it prove this designer of 8 - bit quantum dot cellular adder is correctly

    Dinger ）方程為基礎的量子點細胞自動機電路綜合理論，本文以量子細胞神經網路為綜合實例，建立耦合量子點的薛定鄂（ schr ? dinger ）方程組，通過化簡得到類似細胞神經網路的非線性電路方程。最後研究了基於量子點細胞自動機數字集成電路設計，通過建立邏輯方程，簡化邏輯方程，並設計基於精簡qca擇多邏輯門8位加法器，並用qcadesign進行了模擬，實驗證明設計正確性。
  20. 5. the modal experiment analysis on vibration mechanism will be completed by inv306 intellectualized signal collection and process analysis system for validating the finite element analysis model

    利用inv306型智能信號採集和處理分析系統對振動機構進行模態驗證試驗分析，以確定模擬模型和分析數據的正確性。
分享友人
分享到 Line

分享到臉書