自動程序證明 的英文怎麼說

中文拼音 [zìdòngchéngxùzhèngmíng]
自動程序證明 英文
automatic program certification
  • 自 : Ⅰ代詞（自己） self; oneself; one s own Ⅱ副詞（自然;當然） certainly; of course; naturally; willin...
  • 程 : 名詞1 （規章; 法式） rule; regulation 2 （進度; 程序） order; procedure 3 （路途; 一段路） journe...
  • 證 : Ⅰ動詞（證明） prove; verify; demonstrate Ⅱ名詞1 （證據） evidence; proof; testimony; witness 2 （...
  • 明 : Ⅰ形容詞1 （明亮） bright; brilliant; light 2 （明白;清楚） clear; distinct 3 （公開;顯露在外;不隱...
  • 自動 : 1 （自己主動） voluntarily; of one s own accord 2 （不憑借人為的力量） automatic; spontaneous 3 ...
  • 程序 : 1 （進行次序） order; procedure; course; sequence; schedule; ground rule; routing process 2 [自動...
  • 證明 : 1 （表明 、 斷定真實性） prove; testify; bear out 2 （證明書或信） certificate; identification; t...
  1. Based on consider hereinbefore, this dissertation discusses several aspects on the problem of the sustainable and optimum exploitation of groundwater resources as follows : ( 1 ) reviewed entirely the origin and evolvement of the concept " sustainable development ", stated and commented the study status in queue on " sustainable development " around national and international range, thorough discussed the science connotation about the concept " sustainable development " ; ( 2 ) looked back and commented across - the aboard some furthest basic concept and proposition related to groundwater resources, put forward self opinions on a few existent mistake points of view and chaos understandings ; ( 3 ) expatiated entirely on the content and meaning of the theory of changeable groundwater resources system, contrast with the traditional methods of groundwater resources calculation and evaluation, combined example to show the application of this theory ; ( 4 ) thorough analyzed the difficult and complexity to forecast the groundwater resources, fully stated the traditional methods of groundwater resources forecasting, pointed out the characteristic and applying condition of these forecasting method, introduced the main ideas and methods of wavelet analysis developed recently, and the matlab software be known as the fifths era computer language, and its accessory wavelet analysis toolbox, applied these methods and tools to analyze the groundwater dynamic curve, adopted the b - j method and morte - carlo method, combined with the theory of changeable groundwater resources system, discussed the new view on the forecast of groundwater resources ; ( 5 ) synthetically analyzed the characteristics and limitations of the present all kind of groundwater manage model, combined mathematical programming mathematical statistics random process and the theory of variation system of groundwater resources on the unite optimum attempter of surface water and groundwater, emphasized how to make the model more nicety, more simple, more practicality ; ( 6 ) analyzed the inside condition and outside condition to assure the sustainable and optimum exploi tation of groundwater resources, the inside conditions are the follows : correct resources idea, scientific methods of resources calculation and evaluation, credible forecast methods of resources, exercisable measures of resources management, the outside conditions are the follows : the development idea of high layer, the transform of manage system, the matched policy and rule of law, the adjusted of economy lever, the improve of cultural diathesis, the boosting up of water - saving consciousness and detail measures, the control of population rising, the prevention and cure of water pollute, the renew and rebuild of ecology ; ( 7 ) scan the sustainable and optimum exploitation of groundwater resources from the high level of metagalaxy, earth system science, and philosophy ; lint out the more directions on groundwater resources

    基於以上考慮，論文主要從以下幾方面對地下水資源可持續開發問題進行了比較深入的探討：全面回顧了「可持續發展」概念的由來與演變，對國內外「可持續發展」的研究現狀進行了述評，並對「可持續發展」概念的科學內涵進行了深入探討；對涉及地下水資源的一些最基本的概念和命題進行了全面的回顧和評述，對目前仍然存在的一些錯誤觀點和混亂認識提出了自己的見解；全面闡述了地下水資源變值系統理論的內容和意義，並與傳統的地下水資源計算評價方法進行了對比分析，結合實例具體說明了方法的應用；深入分析了地下水資源預測預報工作的極端重要性和復雜性，對傳統的地下水資源動態預測方法進行了全面的評述，指出了各類預測預報方法的特點及適用條件，對最近二十多年剛發展起來的小波分析技術的主要思想和方法及其應用范圍，以及號稱第五代計算機語言的matlab軟體和附帶的小波分析工具箱進行了介紹，並應用於地下水動態過程線的分析，採用時間序列中的b ? j法，蒙特卡羅方法，與地下水資源變值系統理論相結合，探討了地下水動態資料分析和地下水資源預測預報的新思路；綜合分析了現今各類地下水管理模型的特點及缺陷，將數學規劃、數理統計、隨機過程等與地下水變值系統理論相結合進行地表水地下水或多水源的聯合優化調度，使模型更準確、更實用；對保證地下水資源可持續開發的內部條件和外部條件進行了分析，內部河海人學博卜學位論文前言、摘要、目錄條件主要是正確的資源觀，科學的資源計算與評價方法，可靠的資源預測預報技術，可操作的資源管理措施，外部條件主要是高層發展思路、管理體制的變革、配套的政策法規、經濟杠桿的調節、人文素質的提高、節水意識的增強及具體節水措施、人口增長的控制、水體污染的防治、生態的恢復和重建等;從宇宙科學、地球系統科學及哲學的高度審視地下水資源的可持續開發;指出了地下水資源可持續開發的進一步研究方向。
  2. A important result is the one - orde r expression of ar ( p ) yt = dyt - 1 + e, from paralleling a high - order differential equation transformation into a one - order differential equation system, the one - order expression exposes that the ar ( p ) is only a certain more - multivariable power series process and, if a process is described as an ar ( p ), the sufficient and necessary condition is the spectrum norm a of the coefficient matrix d less than one. simplification of ar ( p ) not only brings about orthogonal f ( h ) but also provides global foretelling formula

    作者用高階微分方程化一階微分方程組的方法，獲得多元弱平穩序列p階自回歸模型的一步滑動平均表達式，證明了ar （ p ）的是一個更高維的冪級數的線性過程，從而，說明了ar （ p ）關于序列依概率成立的充要條件是：該模型更高維的冪級數的線性過程的表達式中系數矩陣d的譜范數1 。
  3. China shall report annually to the committee on import licensing on its automatic import licensing procedures, explaining the circumstances which give rise to these requirements and justifying the need for their continuation

    中國應每年向進口許可程序委員會報告其自動進口許可程序的情況，說明產生這些要求的情況，並證明繼續實行的需要。
  4. The value of pretrial procedure. pretrial procedure is the litigation activity in which parts of the cases will be solved before brought to court after the people ' s court accepts it, under the instruction and supervision of judges, in order to justly and efficiently get ready for a centralized trial at court through exchanging opinions and claims between clients, collecting and exchanging evidences, sifting and separating evidences to exclude some undisputable evidences, facts and requests, making clear of the facts, evidences and focus of dispute

    審前程序是指人民法院受理民事案件后至開庭審理前，在法官的指導監督下，通過當事人相互交換各自的主張、請求，收集、交換證據，發揮過篩分流作用，使一部分案件于庭前獲得解決，對需要開庭審理的案件通過排除無爭議的證據、事實、主張，明確事實問題、證據問題和案件的爭議焦點即審理對象，為公正高效地集中庭審作好準備的訴訟活動。
  5. Abstract : since nearly all of the dimension parameters in technological process planning are coupled together, manual method in the process dimension parameter planning ( pdpp ) is not always efficient and effective. in order to increase design efficiency and effect, an essential mathematic model about pdpp is established, and two basic constraint sets are given. this model is not only helpful to realize the automation and optimization of pdpp, but also useful to verify the correctness of existing pdpp methods and to find better pdpp methods

    文摘:由於工藝過程設計所涉及到的所有尺寸參數幾乎都是耦合著的，因此採用人工的、憑借經驗的方法進行工序尺寸參數設計常常效率甚低.為了提高設計效率及經濟效果，建立了一種工序尺寸參數設計的基本數學模型，並給出了兩個基本可行域的結構.該模型的建立不僅可用於實現工序尺寸參數設計的最優化和自動化，而且可用於證明已有方法的正確性及發現更好的設計方法
  6. In fact, we misunderstand judicial review. on the contrary, the limited intervention turns out to make school run better. to balance the relationship among judicial review, running a school dependently and the protection of right to receive education, the key is the limited judicial review, which includes : 1 ) the limited scope of accepting cases which means only acts seriously encroaching right to education may be brought to court ; 2 ) the limited essentials of review which means that administrative reconsideration is the preceding procedure ahead of administrative litigation ; 3 ) the limited standard of

    司法介入、自主辦學與受教育權的保障完全可以保持良性互動，其關鍵是審查的有限性，它包括： 1 、受案范圍有限，只有嚴重影響受教育權的部分事項才可提起訴訟； 2 、審查條件有限，指行政復議為行政訴訟的必經前置程序； 3 、審查標準有限，指正當程序為案件的主要審查標準，告知、聽取相對意見與說明理由是最低標準，聽證是其核心制度。
  7. Then ansys will be run automaticly to solve problems though the ansys has been encapsulated. so the strong postprocess functions of ansys are used by vfem. the following instance proves that it is convenient to analyse 2d electromagnetic field of doubly salient motor by using vfem

    成功編制vfem與ansys的程序介面，通過vfem封裝ansys並自動運行ansys進行求解，充分利用ansys強大的后處理功能，通過實例證明利用vfem進行雙凸極電機二維電磁場的分析具有很大的方便性和快捷性。
  8. The paper proposes a method using finite state automation describing programming system call action via analyzing system call character, proving the finite state automation ' s completeness and giving the result of arithmetic performance

    摘要通過分析系統調用行為特徵，提出了程序的系統調用行為可以用有限狀態自動機來描述的方法，證明了演算法產生的自動機的完整性，並給出演算法性能分析結果。
  9. Practical performance shows that web application is correct and cogent, and also proves it can be used as typical web server application model

    實際運行證明，該應用程序的正確與合理性。同時表明，此web應用程序可以作為基於internet變電站自動化軟體中， web應用程序的典型模式。
  10. Demonstrated from 2 angles, to illustrate conviction ' s legality in the macroscopic stand, to find the effect what judge brings to conviction ' s justification in the judge ' s point, which involves four elements : the body of the judge, the standard of the judge, the process of the judge and the conclusion of the judge. part 4 addresses much about three elements exists in conviction and the relationship of them in the proceeding of conviction : crime ' s definition, crime ' s constitution, and principal of legality ; part 5 will suggest a possible method to dissolve the problem about which the legality and the reasonability of conviction seems sometimes contradict with each other : guided by the conception of principal of legality, unite crime ' s definition and crime ' s constitution and take use of each of these two ' s function in conviction, thus a reasonable judgment maybe attained

    的問題，並圍繞著這兩個問題分別從宏觀層面和刑事裁判方面進行了論述：在宏觀層面上論述了定罪的合法性，闡明了刑事法律制度的法治化和定罪根據的合理確定對支撐定罪的合法性的意義，同時為定罪自身贏得公眾的合法性信仰；在刑事裁判的層面上從裁判的主體、裁判的根據、裁判的程序和裁判的結論四個角度論證刑事裁判對定罪活動的正當性、定罪結論的合法性意義；第四部分重點論述了定罪中涉及到的三個重要參量：犯罪概念、犯罪構成、罪刑法定原則以及三者在定罪中的相互關系及其各自對定罪的作用：首先考察了「罪的本體」 ，即作為定罪前提的犯罪究竟是什麼
分享友人
分享到 Line

分享到臉書