理論驗證 的英文怎麼說

中文拼音 [lǐlúnyànzhèng]
理論驗證 英文
theoretical examination
  • 理 : Ⅰ名詞1 （物質組織的條紋） texture; grain （in wood skin etc ） 2 （道理;事理） reason; logic; tru...
  • 論 : 論名詞（記錄孔子及其門徒的言行的「論語」） the analects of confucius
  • 驗 : 動詞1. （察看; 查考） examine; check; test 2. （產生預期的效果） prove effective; produce the expected result
  • 證 : Ⅰ動詞（證明） prove; verify; demonstrate Ⅱ名詞1 （證據） evidence; proof; testimony; witness 2 （...
  • 理論 : theory
  • 驗證 : test and verify; checking; proving; testing; confirmation; [數學] corroboration; inspection; veri...
  1. Considering the problem of the justification of logical theory, feng ' s such a theory requires that the construction of a logical theory adhere to the unity of a posteriority and a priority

    在邏輯理論的證成問題上， 「概念的雙重作用」要求邏輯理論的建構必須堅持后驗性與先驗性的統一。
  2. Then, the empiristic formula is gained by experimental data processing, making use of calculating by the com puter with the method of least squares

    然後對實驗數據用最小二乘法處理，來驗證理論推導公式的正確性。
  3. The principles of erasure codes used under binary erasure channels are summarized and erasure codes which belong to standard classes of rs codes are introduced with emphasis on cascaded low - density erasure codes with linear time encoding and erasure recover algorithms. thresholds of regular degree distributions are analyzed. it is shown that low - density erasure codes based on ( d, 2d ) - regular sequences of degree distribution are not close to optimal ( d 3 ). two pares of irregular degree distribution sequences are introduced and a pare of improved right regular sequences of low - density erasure codes are presented, it is testified that the new sequences are asymptotically quasi - optimal. in the meantime, simulations of cascaded low - density erasure codes based on a few types of special sequences of degree distribution available are given, together with performance analyses on these codes

    闡述了應用於刪除通道下的糾刪碼基本原理，介紹了兩類標準的rs碼類糾刪碼，重點分析了具有線性時間編碼和恢復演算法的漸近好碼?級聯型低密度糾刪碼，分析了正則度分佈的閾值，對正則低密度校驗碼在刪除通道下的糾錯性能進行了模擬，從理論上證明了基於（ d ， 2d ） -正則度序列的低密度糾刪碼都不是漸近最優碼（ d 3 ） ，同時還分析了非正則低密度校驗碼的度序列設計，基於右邊正則序列提出了一種改進型右邊正則序列，證明了此序列為漸近擬最優的，對基於幾類現有典型度分佈序列的級聯型低密度糾刪碼進行了模擬模擬及性能分析； 3
  4. 3 g 一 g g abasi 叱 加 ical pp 訕 howthe qquasi ghgsical 毗 quasi sociological methodmo 止 secondlx we uthuther nalsze the nhrsical model on which he quasi pnsical and quasi sociological methods for solving s 肛 problembased considering a physical hypothesis on this model ， we construct a counterexaxnple to showthatthe hypothesis is not eee ? howeve 二 itdoes notdamage the goodpractical effectof applpinp this phpsical model to solve s 盯 problem considering he existence of alsorithlnic region ， which reflects that the quasi sociological method is very necessw for ass 吶 ng the high efficient of theent whole algori 燦 m therefore deepens our comprehension on the quasi physical and quasi sociological methods mird1x we wpl … 叫 nas 恤 ysi 陰 1md q 阻 si 500i 吶 i0alm 毗 cd 引 0 咖 we mathematical problem ofcom 恤 non oforthogonal tmles m successfully es 恤 fish a physicalopttrizatbo model for sotring saturated o 汕 ogonal tables ， whwh ws provedto be correctintheo0 we thi 冰 。 w goodpersonated s 咖 egies forjumping out of the t 呷 oflocal minimum using quasi sociological method based onthe physical model thus wegetthe wholequasi physicaland quasi sociological algorim forthe problem ofconswction ofs 咖 med orthogonal tables he experimental results showthatthephysical model ishighly efficientthanthe conflmng nlllllber mode ！ based on me pure m 她 ematical 訕 kgfound 他 sucoes 訕 11y ? ? rk 咖 m 枷 ons 訕 卿 nal 郵 ie with 3 leve13 using th 叫 u 1 physical and quasi sociological algori 恤 we got some o 汕 ogonal t 勸 les ofl 。 ， （ 3 ’ ‘ ） which are not isomorphic moreove 乙 some ofour results are also not isomorphic to oe results pearedb 山 e open rekrences we got lip to now lastlx for 讓 卜 ancie 口 戊 扯 d importantproblemsofconstfutfuction oflatin square and orthogonal latin squares （ most of

    應用此演算法，我們成功地計算出難的三水平正交表本課題為國家重點基礎研究發展「九七三」規劃，國家「八六三」高技術發展計劃，高等學校博士學位點專項科研基金及中國科學院軟體研究所計算機科學開放研究實驗室課題基金資助項目1g一gs第四，應用擬物擬人方法嘗試求解古老而重要的拉丁方、正交拉丁方（它們事實上是正交表）問題。我們結合這些問題的特性，建立了新的物理模型，從理論上證明了這些物理模型的正確性，並設計出擬人化的「跳出局部極小值陷餅」的策略，得到了求解拉丁方、正交拉丁方的擬物擬人演算法。實驗表明， 」對某些問題演算法有好的效果。
  5. On the analysis of the theory of instantaneous reactive power, the paper brings forward a new harmonic detection method based on multiple frequency transform. the detection theory of positive sequence harmonic and negative sequence harmonic is respectively proved in detail. the correlative concepts are defined and the simulation validates the feasibility of this method

    本文在分析瞬時無功功率理論的基礎上，提出了一種基於倍頻旋轉變換的諧波測量方法，分別針對正序和負序分量，從理論上證明了該方法能分離出單個的諧波，給出了相關量的定義，最後通過模擬驗證了該方法的有效性。
  6. In the end, the thesis supplies the parameter of magnetic & susceptibility anomaly forecasting oil and gas reservoir and pointed out the association with the parameter and the compartmentalized oil & gas perspective region may improve the precision rate greatly in magnetic exploration searching oil and gas reservoir directly

    油井資料驗證了磁性資料探測油氣藏結論，驗證結果表明了資料的有效性和劃分的合理性。由此，本文給出了磁異常? ?磁化率異常聯合預測油氣藏量化因子，指出此因子配合油氣遠景區圖示可以大大提高磁性指標直接探測油氣藏的準確率。
  7. This paper is on the basis of analysedding and summarized that these projects were blown up and tested materials in the past, use fracture mechanics, the dynamics blast theory and finite element analytical method, have carried on the system, detailed analysis and describes to this kind of method of blasting, proving theoretically that can cut the base rock effectively in this kind of method of blasting, reduce base blowing up stress value inside the rock, play and protect underpart base rock blow up into the function influenced in vibration, and blew up mechanism and analysed the main influence factor blown up according to it, had put forward the rational optimization measure to the relevant parameter when implementedding and blown up

    本文在分析總結以往這些工程爆破試驗資料的基礎上，運用斷裂力學、爆破動力學理論及有限元分析方法，對這種爆破方法進行了系統、詳細的分析及論述，從理論上證明此種爆破方法可以有效地切割基巖面，降低基巖內部的爆破應力值，起到保護下部基巖不受爆破振動影響的作用，並根據其爆破機理分析了爆破的主要影響因素，對實施爆破時的相關參數提出了合理的優化措施。
  8. From the point of view of experiment, this article first calculates the spectrum power distribution of incandescent lamp, fluorescent lamp, high2pressure sodium lamp and the metal2halide lamp, then calculates the ratio of visible spectrum power to the whole spectrum power in order to prove theoretically that incandescent lamps have the low light efficiency, while the high2pressure sodium lamps and the metal2halide lamps have the higher light efficiency

    本文從實驗的角度，通過計算得到白熾燈、節能燈、高壓鈉燈和金鹵燈的光譜能量分布圖，並計算得到這四種燈的可見波段能量所佔總能量的比例，從而理論上證明了白熾燈光效低，而高壓鈉燈和金鹵燈的光效較高。
  9. And validate of this method for broadband signal is also checked

    對目標信號為寬帶時進行了理論驗證。
  10. Second, a virtual task set relevant to timing constraints is elicited from the object model, and it is validated against end - to - end timing constraints

    本文研究了從對象模型中提取出和時間約束有關的任務集合，並應用傳統的實時調度理論驗證端到端時間約束的方法。
  11. ( 3 ) the displacement field of filter cloth reinforcement fly - ash bank is observed with the apparatus tailing the displacement, it provides powerful evidences proving the theory

    （ 3 ）本文利用試制位移跟蹤裝置，觀察了土工織物加筋粉煤灰堤的位移場，為理論驗證提供了有力的工具。
  12. Now the work is to refactor the system and build a platform which adapt of industry fault diagnosis, and possess standard data format, high stability

    在完成理論驗證的基礎上，目前正在對系統進行重構，以開發出能夠適應工業領域的一個故障診斷系統，具有標準的數據表達和足夠的穩定性。
  13. There are several crucial questions for researchers to answer : how to model and validate the timing constraints ? how to guarantee the satisfaction of constraint in system implementation

    目前使用面向對象方法開發實時系統研究的熱點問題包括：時間約束在對象模型中如何描述、如何應用傳統的實時系統理論驗證時間約束、以及如何在系統實現中保障時間約束的滿足。
  14. The development of accelerometers in the world is summarized in this paper, and some kinds of them are discussed in detail. according to the formula of synthesis angular velocity and acceleration, this paper analyzes the desired measure precision of the acceleration and finds out the appropriate accelerometers for lab or engineering

    介紹了線加速度計發展狀況，著重討論了幾種適于平臺穩定系統中應用的加速度計；根據角速度、角加速度合成公式，分析了平臺穩定系統對線加速度測量精度的要求，並據此分別找出了適于實驗室理論驗證與工程應用的加速度計。
  15. After analyzing and testifying, researching and discussing character and connotation of economic entropy indicates that it conforms with the basic rules of the systematic science, reflects subjective basis ? prime contents ? periodicity and fluctuation of regional economic growth ; above all, providing subjective basis is a basic connotation of economic entropy, for function provides more solid micro - basis and new theoretical method for researching and exploring regional economics though it is a applied economics

    在數學分析和理論驗證后，論文對經濟熵的性質和內涵進行了理論研究，指出，應用經濟熵對區域經濟的研究符合系統科學的基本原則，經濟熵反映了區域經濟發展的主觀基礎、基本內涵、波動性和周期性。其中，提供區域經濟發展的主觀基礎是經濟熵的基本意義之一，這為研究區域經濟這門應用經濟學提供了更堅實的微觀基礎和新的理論方法;接下來，應用經濟熵分析了區域存在的主觀性和客觀性、區域的本質、區域差異的演化過程。
  16. In the face of the realistic challenge, many economists avoided this question, and a few economists proved it by experience, not in theory. this text has done a close examination to the public goods theory on the basis of inheriting the public goods theory ' s rational kernel, and done a conclusion that, the subject of public goods supply not belong to government itself, but pluralistic subjects including government, market and nonprofit organization ; further, this text make a deep analysis on the coordination between pluralistic subjects each other ; finally, this text make suggestion on public goods supply in our country

    本文在繼承公共物品理論合理內核的基礎上，對公共物品理論做了新的探討和審視，通過實踐和理論驗證，認為公共物品的供給主體不是政府一元化的，而是由包括政府、市場和非營利部門在內的多元化主體構成，並在充分論證公共物品多元化主體供給可能性的基礎上，進一步對多元化主體間如何相互協調供給進行了分析，最後對我國公共物品的供給提出了對策性建議。
  17. In this thesis, firstly, we give an introduction and analysis to the complexity adaptive system and artificial life which are the mainstream research harvest currently. secondly, we provide a supplement to some theory include stream, diversity and adaptive agent. at last, on the basis of the theories, we complete a validating to the nature selection and heredity variance in computer, a basic conceiving about learning species and a validate model of the theories of the origins of currency and price equilibrium

    本文對這方面最主流的研究成果復雜適應系統及人工生命的研究工作作了分析與介紹，並就其中的流、多樣性、適應性主體等理論作了自己的補充，最後我們結合對這些理論的認識，完成了自然選擇及遺傳變異的初步驗證、學習物種的基本構思、貨幣產生及市場價格均衡理論驗證的模型構建，在後續的工作中，我們除了繼續未完成的工作外，還將添加許多新的理論驗證。
  18. The test result shows that the robot wireless remote control system designed in this thesis reaches the design requests, which has friendly interface, easy operation and is a good environment for research on remote control and accurate attack. it also can be regarded as a good teaching platform for remote control course

    經過測試，本課題所開發的機器人無線遠程控制系統達到了設計的要求，界面友好、操作容易、理論驗證方便，是研究遠程控制和精確打擊相關理論良好的環境，並可以作為遠程控制課程的教學平臺。
  19. In succession, through testing, analyzing, diagnosing to diesel surface vibration signals for long time and experience piling up, a new practicability way for identifying cylinder pressure is discovered, and validated in brief. meanwhile, the experimental results confirm the validity and practicability of this way

    接著，通過對柴油機表面振動信號的長期進行測試、分析、診斷及經驗的積累，提出了一種實用型氣缸壓力識別的方法，並作了簡單理論驗證，該方法在柴油機故障診斷中起到了積極的作用。
  20. In view of that thought, thesis first gives the conceptions : microscopic state of economics, economic order, economic orderization and economic entropy, at the same time, defining the orderly degree, to describe the regional economic state and level during the course of regional economic growth and development. based on these conceptions, establishing economic entropy measure the orderly degree of regional economics using economic order as measuring index through economic order changing, the orderly degree of regional economics means harmonious and coordinative level reached by mutually contacting ? acting on and affecting thorough all essential factors and all subsystems contained in regional economic system to promote growth and development of regional economics, and micro - measuring means measuring the orderly degree of regional economics from individual welfare. the mathematic analyzing to the economic entropy indicates that the it reflects the long - term changing trend of the orderly degree of regional economics : it will increase during fluctuation

    基於這一思想，論文首先提出經濟微觀態、經濟序和經濟有序化概念，以描述區域經濟在有序化過程中某時刻所處的狀態和水平;在此基礎上定義經濟熵，以經濟序作為測度指標，以經濟序的變化度量區域經濟有序程度，即區域經濟系統各要素和各子系統通過相互聯系、相互作用和相互影響從而提高區域經濟系統整體發展效率和速度的協調水平，而微觀度量則是指該度量是從個體福利水平的角度進行的;接著對經濟熵進行了數學分析，證明其反映了區域經濟有序程度的變化趨勢，即在波動中趨向增加，並用經濟增長理論驗證了該結論。
分享友人
分享到 Line

分享到臉書