滿足證明 的英文怎麼說

中文拼音 [mǎnzúzhèngmíng]
滿足證明 英文
satisfaction proof
  • 滿 : Ⅰ形容詞1 （全部充實; 達到容量的極點） full; filled; packed 2 （滿足） satisfied; contented; conte...
  • 足 : Ⅰ名詞1 （腳; 腿） foot; leg 2 （姓氏） a surname Ⅱ形容詞（充足; 足夠） sufficient; ample; enough;...
  • 證 : Ⅰ動詞（證明） prove; verify; demonstrate Ⅱ名詞1 （證據） evidence; proof; testimony; witness 2 （...
  • 明 : Ⅰ形容詞1 （明亮） bright; brilliant; light 2 （明白;清楚） clear; distinct 3 （公開;顯露在外;不隱...
  • 滿足 : 1. （感覺足夠） satisfied; content; contented 2. （使滿足） satisfy; fulfil; wreak; meet
  • 證明 : 1 （表明 、 斷定真實性） prove; testify; bear out 2 （證明書或信） certificate; identification; t...
  1. Fundamenta informaticae, 2004, 62 : 1 - 23. 10 kleine b " uing h, lettmann h. propositional logic : deduction and algorithms, cambridge university press, 1999. 11 hilbert d, ackermann w. principles of mathematical logic

    2提出了一個演算法把ctl在有界語義下滿足性的檢測規約到一個qbf quantified boolean formulas問題的滿足性的判定上，同時證明了演算法的正確性。
  2. An optimization example showed that the method was valid and satisfied the design requirement of some related structure and performance parameters on the conditions of minimum volume, concordant gears and rotors cavity structure

    實例分析證明，該方法可以在保證泵體積小、齒輪腔與轉子腔結構協調的情況下，滿足有關結構和性能參數的設計要求。
  3. The trial demonstrates the map symbolic library is complete, normative and perfect in functions. the output digital map in don format can satisfy the needs of map publishing as well as data convert and meet the demands of system devisal

    試用證明，系統符號齊全規范，功能完善，產生的dgn格式數字地圖可以滿足地圖出版和數據轉換的需要，達到了系統設計的要求。
  4. So far, the main frame of the conjugation of betrand are established, on the basis of which, it is given that the primary condition the directrix line must be satisfied, the relative curvature of the conjugating surfaces, the relations between non - interventional condition and curvature axle of the directrix line, and so on. the transmission of normal circular - arc gear is a typical bertrand conjugation. in order to promote the transformation from theory to technology, the general principle of this kind of transmission is studied

    為了使研究更加貼近於工程，便於解析處理，提出準面的概念，並確立由準面到準線的研究路線，給出了各種傳動形式下準面與準線的具體特徵，證明了共軛準面上兩準線的誘導測地曲率等於零的這一不干涉條件，進而指出，當準面為平行軸和相交軸傳動的節曲面時，不干涉條件自然滿足。
  5. The experiments indicate that the gripper can work reliably and safely, and can satisfy the needs of microassembly tasks

    實驗證明該微夾鉗工作可靠，能夠滿足微裝配機器人裝配任務的要求。
  6. The system run - time result prove that the book superintendence system that text design can satisfy the loan to read the, the library functionary and three requirements of the sides of deluxe intendant

    系統運行結果證明，本文所設計的圖書管理系統可以滿足借閱者、圖書館工作人員和高級管理員三方面的需要。
  7. Part three the study of lattice - valued modal first - order logic system and its resolution principle in this part, we introduced quantifiers and predicate into lmp ( x ), put up lattice - valued modal first - order logic system lmf ( x ), and gave its semantic interpretation and syntax structure, proved soundness theorem and consistence theorem. moreover, in order to judge the satisfiability of formula, defined skolem standard type and h - interpretation. based on these work, made a primary discussion of a - resolution principle based on lmf ( x )

    第三部分：關于格值模態一階邏輯系統及其歸結原理的研究第n頁西南交通大學博士研究生學位論文這一部分主要是在格值模態命題邏輯系統lmp隊）中引進量詞和謂詞，建立格值模態一階邏輯系統lmf （廣並給出其語又解釋和語法結構，證明了系統的可靠性和協調性；另外，為了判斷公式的可滿足性，定義了格值模態一階公式的skolem標準型和體解釋；在此基礎上，對基於系統lmf （ ）的a一歸結原理進行了初步探討
  8. The novel vertical carrier - free linear cluster system phoebus for the economical deposition of amorphous and microcrystalline silicon light absorbers by pecvd ideally combines the strengths of proven vacuum production platforms to precisely focus on the needs of solar cell producers : process stability, productivity, yield, footprint, costs of ownership

    新的立式無載體線團系統」菲波斯」 （ phoebus ） ，以pecvd方法經濟地鍍膜無定形的和微晶硅吸光體，理想地結合各種證明可靠的真空生產平臺的優點來精確的聚焦于滿足太陽能電池生產者的需求:工藝的穩定性，生產效率，合格產量率，佔地面積和擁有運營的總成本
  9. Abstract : a cad tool based on a group of efficient algorithms to verify, design, and optimize power / ground networks for standard cell model is presented. nonlinear programming techniques, branch and bound algorithms and incomplete cholesky decomposition conjugate gradient method ( iccg ) are the three main parts of our work. users can choose nonlinear programming method or branch and bound algorithm to satisfy their different requirements of precision and speed. the experimental results prove that the algorithms can run very fast with lower wiring resources consumption. as a result, the cad tool based on these algorithms is able to cope with large - scale circuits

    文摘:介紹了一個基於標準單元布圖模式的電源線/地線網路的輔助設計集成工具.它應用了一系列高效的演算法，為用戶提供了電源線/地線網路的設計、優化和驗證的功能.非線性優化技術、分枝定界演算法和不完全喬萊斯基分解的預優共軛梯度法是該工作的三個主體部分.用戶可以選擇使用非線性規劃的方法或者幾種分枝定界方法來滿足他們對于精度和速度方面的不同需求.實驗結果表明，文中所提供的演算法可以在很快的運行速度下實現更低的布線資源佔用.因此，在這些有效演算法基礎上實現的輔助設計工具具有處理大規模電路的能力
  10. 6301 portable explosion - proof search light is newly designed to meet the indoors and outdoors mobile lighting reauirement for army and factory etc. it has got the authentication of national explosive - proof authority, and can work in kinds of explosive, inflammable plasces and underwater environment

    本公司為了滿足部隊及工礦企業室內外移動照明需要，最新開發生產6301手提式防爆探照燈，經國家權威機構防爆認證，可在各種易燃易爆場所及水下安全工作。
  11. To prove its reasonableness of existence, the spirit damage compensation is inferred to have " penalty function ", “ compensational function ", " function of satisfaction ", " function of adjustment ", " surmountable function ", and so on, from disciplines such as sociology, legal science, medicine, psychology, so on and so forth

    人們從社會學、法學、醫學、心理學等學科出發推導出精神損害賠償具有「懲罰功能」 、 「補償功能」 、 「滿足功能」 、 「調整功能」 、 「克服功能」等作用，以證明其存在的科學合理性。
  12. In addition to any warranty expressed or implied by fact or law, seller expressly warrants all items to be free from defects in design, workmanship, and materials ; to conform strictly to applicable specifications and approved sample, if any ; and to be fit and sufficient for the purpose intended whether expressed or reasonably implied

    除任何法律或事實明文或不成文規定的保證外，賣方需確保所有貨品不存在因設計、工藝或材質引致的缺陷；賣方需明確確認有關貨品的適用規格及（如有）經認證的樣品或範例；賣方需確保所有貨品必須符合併滿足其所有明文的功能或其他任何對產品功能上的合理期待。
  13. The synchronization of frequency hopping method referenced the jtrs radio system of usa military, and designed a synchronization method used in our radio include creating the frequency hopping map and the base band frame architecture in frequency hopping mode. the paper also analyzed the synchronization capability on theory. it has been proved correct on theory by showing the false probability, capture probability and the synchronization time

    對跳頻圖案的產生和跳頻的幀結構，本文不僅從理論上分析了同步性能，給出了虛警概率和檢測概率，估算了同步的捕獲時間，證明均能滿足系統指標要求，而且通過與合作單位進行的整機聯調和實測證實了該方案的可行性。
  14. The thesis consists of four sections. in section one, we introduce some background of the topic, in section two we review some basic and recent results about the structure and hierarchies of the computably enumerable degrees which are closely related to our topic - the algebraic structure of the plus cupping turing degrees, in section three, we outline the basic principles of the priority tree argument, one of the main frameworks and tools of theorem proving in computability theory, and in section four, we prove a new result concerning the algebraic structure of the plus cupping turing degrees that there exist two computably enumerable degrees a, b such that a, b ? pc, and the join a v b of a and b is high

    本篇論文分為4個部分：第一部分介紹了這個領域的一些背景知識；第二部分主要回顧了前人在研究可計算枚舉度的結構和層譜時所取得的一些基本和最新結果，這些結果與我們的主題?加杯圖靈度的代數結構密切相關；在第三部分中，我們概要的描述了優先樹方法的基本原理，此方法是可計算性理論中定理證明的一個重要框架和工具；第四部分證明了一個加杯圖靈度代數結構的新結果：存在兩個可計算枚舉度a ， b ，滿足a ， b pc ，而且a和b的並a b是一個高度。
  15. Actual operation shows that, using the stabilizer can secure the concentration ratio in the process and corrosion speed and meet the design requirements

    現場實際運行結果表明，該水質穩定劑能保證該系統運動時的濃縮倍率及腐蝕速率滿足設計要求。
  16. In the paper, a special class of quasidifferentiable functions - subsuper differentiable functions is introduced, which satisfies the conditions of the existence of high dimensional kernels, and the formula of kernels is deduced

    摘要引入了一個特殊的擬可微函數類一次超可微函數，證明了其滿足具有高維核的條件，並且推導出了高維核的計算公式。
  17. We first show that the solution operator s ( t ) is lipschitz continuous, then prove the discrete solution operator s _ ( * ) = 5 ( t _ ( * ) ) satisfy the squeezing property, finally, we get the existence of the exponential attractor m. whose fractal dimensionality is finite

    第四章，研究ginzburg - landau方程在三維空間的指數吸引子的存在性。首先證明解運算元s （ t ）是lipschitz連續的，然後證明離散解運算元s _ * = s （ t _ * ）滿足擠壓性，從而得到指數吸引子m的存在性。
  18. By complementing the proposed scheme with methods to estimate the fractional code delay, the acquisition unit an provide high quality delay estimates such that it can instead of the delay locked loop in the traditional ds receiver. after dispreading successfully, this dissertation introduces a method to estimate the doppler - shift directly from some samples based maximum likelihood estimation, and then revise it forwardly

    在成功解擴之後，本文利用最大似然估計從l個樣點中直接估計出殘余多普勒頻偏，並進行前向頻偏校正，來代替傳統擴頻接收機中的科斯塔斯環，經模擬證明該方法的估計精度完全滿足解調的要求。
  19. The divergent sequences of rdna from s. costatum are used to design primers meeting the requirements of the rfq - pcr. seven pairs of primers are designed and designated as primer 1 ( f / r ) ~ primer 7 ( f / r ), respectively, among which primer 1 ( f / r ), primer 2 ( f / r ), primer 5 ( f / r ), primer 6 ( f / r ) showed high level of specificities to s. costatum. then, the pcr products primed by primer6 ( f / r ) are sequenced

    首先以中肋骨條藻的rdna序列為設計種特異性引物的靶區域，共設計出7對適合rfq - pcr的引物（依次命名為primer1 （ f r ） primer7 （ f r ） ） ，並用常規pcr實驗初步證明其中有4對引物（ primer1 （ f r ） 、 primer2 （ f r ） 、 primer5 （ f r ） 、 primer6 （ f r ） ）可作為中肋骨條藻特異性引物的候選者；然後測定了以primer6 （ f r ）為引物的pcr產物的序列，序列分析表明，中肋骨條藻的pcr產物序列與其他藻的pcr產物序列差別較大，從中可設計出滿足rfq - pcr需要的taqman探針（命名為taqman6 ） ；進一步的核酸雜交實驗表明， taqman6隻與中肋骨條藻的pcr產物雜交，不與其他藻的pcr產物雜交。
  20. The environment problem is an ancient problem. after entering the industrialization, the mankind face the increasingly serious pollution of the environment. the antinomy that solves the economy growth and environmental protections must have the right economic theories to guide. although theoretically we can prove that government control and emission taxes and tradable emission permits have similar efficiency, they have big dissimilarity in practice. this explain that three assumption conditions of the three means have different contended degree in actual live, and this must to be explained theoretically

    解決經濟增長和環境保護的矛盾必須有正確的經濟理論指導。雖然理論上我們可以證明政府管制、排污稅和排污權交易具有相同的效率，但在實際中運用效果有著很大的不同。這說明三者假設條件在現實生活中的滿足程度不同，為此理論上必須加以解釋。
分享友人
分享到 Line

分享到臉書