解析程序證明 的英文怎麼說

中文拼音 [jiěxīchéngxùzhèngmíng]
解析程序證明 英文
analytic program proving
  • 解 : 解動詞（解送） send under guard
  • 析 : Ⅰ動詞1. （分開; 散開） divide; separate 2. （分析） analyse; dissect; resolve Ⅱ名詞（姓氏） a surname
  • 程 : 名詞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 （公開;顯露在外;不隱...
  • 解析 : analysis; resolution; analyzing; resolving解析幾何 [數學] analytic geometry; cartesian geometry; ...
  • 程序 : 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. In this thesis, studies are focused on as follows : ( 1 ) based on analyzing the general transfer - matrix, the conception of the generalized double layer soil model is proposed, and the transfer - matrix ( r ) of half - infinite elastic mass is introduce - d to the analytic expressions of stress and settlement under the uniform circular, rectangular and strip vertical loads in multi - layered soil ; ( 2 ) according to the analytic expressions of the additional stress and settlement under unifo - rm circular in multi - layered soil, rectangular and strip vertical loads, the programs are develop - ed to resolve and debugged. the results show that the programs are correct ; ( 3 ) through calculating the coefficient of additional stress on the central axis of uniform circ - ular vertical loads, under the corner point of the uniform rectangular vertical loads, and on the central axis of uniform strip vertical loads, and the settlement on the center of uniform circular vertical loads and uniform rectangular loads in double - layered soil, the characters of stress and settlement are discussed ; ( 4 ) a case, as an example, is studied with different calculation methods, such as traditional theory, fem. the results obtained are compared

    本文在已有研究成果的基礎上進一步開展了以下幾方面的研究： （ 1 ）在對層狀地基傳遞矩陣法中的總傳遞矩陣分析的基礎上，提出了廣義雙層地基模型的概念，並把半無限體的傳遞矩陣r引入到多層地基在圓形垂直均布荷載、矩形垂直均布荷載及條形垂直均布荷載作用下附加應力與沉降的解析式中； （ 2 ）根據多層地基在圓形荷載、矩形垂直均布荷載及條形垂直均布荷載作用下附加應力與沉降的解析式，編制了程序，調試通過並驗證了其正確性； （ 3 ）通過對雙層地基圓形垂直均布荷載中心軸線上的附加應力系數和荷載中心沉降，矩形垂直均布荷載角點下的附加應力系數和荷載角點沉降及條形垂直均布荷載中心軸線上的附加應力系數進行的計算，探討了雙層地基中的附加應力與沉降特性； （ 4 ）應用本文的層狀地基體系理論對一個工程實例進行了計算分析，並與傳統的計算方法的計算結果和有限單元方法的計算結果進行了對比分析，結果表明利用層狀地基理論計算更能反映地基中附加應力分佈的實際情況。
  3. Finally, the paper has designed the program of bp neural networks, neural networks based genetic algorithms and hybrid intelligence learning algorithms in vc + +, and applied those algorithms to the xor problem, the function approximating problem and the explaining high difference seismic data problem. the experiment results have showed that hybrid intelligence learning algorithm for training neural networks is better, faster and more accurate than bp algorithm and genetic algorithm

    最後，用vc + +語言設計了bp神經網路、基於遺傳演算法的神經網路和混合智能學習法神經網路實現和進行計算機模擬運行程序，並分別將它們應用於解決異或、函數擬合和高解析度地震資料解釋等問題，從實踐中證明混合智能學習法神經網路與bp神經網路和基於遺傳演算法的神經網路相比有更好的運算性能、更快的收斂速度和更高的精度。
  4. First, the paper researchs the spice simulation of single electron transistor based on curve approach and quasi - analytical model of single electron transisor, and simulate characteristic of single electon transistor with matlab tool. secondly, the paper combine spice simulation program with master equation of single electron transistor, put forward novel spice simulation method of single electron transistor based on master equation, by choose master state of single electron transistor and build master equation of single electron transistor, afterward gain nonlinear cortrolled source of spice model of single electron transistor by solve the master equation of single electron transistor and simulate v - i characteristic of single electon transistor by spice program, it ’ s result prove the method is availability precision comparing with master equation method

    然後在此基礎上提出了基於主方程法單電子晶體管spice模擬新方法，本論文結合當前電路模擬軟體spice程序和單電子晶體管主方程模擬演算法，通過選擇單電子島電子數的主要狀態，建立單電子晶體管主方程，然後求解主方程，求得單電子晶體管spice等效模型的受控源的非線性函數，然後利用集成電路輔助分析軟體spice的abm （模擬行為建模）建立單電子晶體管（ set ） spice等效模型，利用set的等效模型對單電子晶體管v - i特性進行模擬，實驗證明此方法與直接解主方程法相比具有一定的精度。
  5. And several conceptions, such as stability of waves and absorptivity, are given, which made it possible to evaluate the effectiveness of the wave - maker quantificationally the result of a series of experiments which using the new method certify that the methods are effective to resolve the problem of multi - reflection in wave flume

    使用這些概念和方法可以定量分析造波機的吸收效果。按照本文提出的方法編寫了造波機控製程序，並進行了吸收式造波實驗，結果證明這種方法能夠有效地解決波浪實驗過程中的多次反射的問題。
  6. Through the analysis and contrast on the examples, it proves that the methods of reliability computation, the improving of ga and program are reliable and efficient. it is a suitable new way to deal with probabilistic analysis and optimum design of structural systems

    通過算例的分析和比較，證明作者所採用的結構可靠性計算方法，對遺傳演算法的改進和開發的程序是有效的、可靠的，是解決大中型結構系統可靠性分析優化的一種較好途徑。
  7. Shifting the burden of proof of is the special provision and exception of the principle of burden of proof, during drafting " civil evidence code ", divergences about how to regulate the burden of proof appear, jurists have diffirent opinions on it, this paper set out from those divergences and disputes, discussing in detail with six sections : the disputes on the shifting the burden of proof, reasonable define the conception about shifting the burden of proof, the relation of shifting the burden of proof and deduction, shifting the burden of proof in present law and regulations, the function of shifting the burden of proof and the civil cases suitable for this regulation, legislative proposition. this artical elabrates the theoretical and realistic foundation of shifting the burden of proof. moreover, shifting the burden of proof is a phenomenon of proceeding and other regulations of solution to disputation, it is not confined to those laws and regulations of procedure, but also exist in substantial law

    舉證責任倒置是舉證責任分配規則中的特殊與例外，在民事證據法的草擬過程中對舉證責任倒置的存廢與否產生了分歧，法學界對此的觀點也呈現出百花齊放的態勢，本文從舉證責任倒置爭議與分歧的觀點出發，基於舉證責任倒置存在與否的爭議、舉證責任倒置概念的合理界定、舉證責任倒置與推定的關系、舉證責任倒置在我國現行法律中的體現、舉證責任倒置的功能及可適用民事案件的具體類型、舉證責任倒置立法完善的構想共六個部分具體闡述，從理論角度、司法實踐及立法構想三個不同的視角分析舉證責任倒置在我國的存在的理論意義、現實意義與立法前景，表明舉證責任倒置不僅在我國具有立法基礎而且有實踐環境，闡述舉證責任倒置雖然是出現于訴訟或是解決爭議的其他程序中的一個現象，但它又不局限於訴訟及其他解決爭議的程序規范，從現有的法律規范及法律實踐來看，舉證責任倒置與實體法是「同呼吸，共命運」的，用句老話說就是「皮之不存，毛將焉附? 」
  8. 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進行雙凸極電機二維電磁場的分析具有很大的方便性和快捷性。
  9. The slope runoff fem analysis program is developed based on the saint - venant equations. the numerical solutions are compared with the analytical solutions and the experiment data and the characteristic line method solutions, the result validate of the program

    編制了基於saint - venant控制方程的坡面徑流的有限元分析程序，利用解析解和試驗數據證明了程序的正確性。
  10. At designing of the measurement points adaptive localization, author advanced three points adaptive localization. tt solved the problem of the measurement points adaptive localization under the circumstances of cad modelis unknow. it also solced the problem of the measurement path with radius rack and tip rotativing track. in the part of program design, author designed corresponding measurement programs based on the part ' s shape and peculiarity and solved the problem of measuring complicated parts. it is proved that the ways in this artics is viale and effective

    在程序設計部分，根據煙機零件的形狀和特點，分別設計了相應的通用測量程序，有效的解決了大量疑難零件的測量，為煙機零件的國產化開發提供了可靠的數據支持，並通過實際加工和精度分析，證明了本文提出的方法是可行的，有效的。
  11. In this paper, firstly we present some results about of conventional bem, and multiple reciprocity method ( mrm ) for solving dynamics response of viscoelastic thin plate is given the whole plane expression and boundary integral equation for mrm, next we prove that the solution of the boundary integral equation obtained by mrm is the same as the one derived from the conventional fundamental solution of boundary value problem

    本文首先給出了常規邊界元方法的一些結果及在laplace變換區域中得到了由重調和運算元基本解序列給出了粘彈性薄板動力響應問題的多重互易法（ mrm方法） 。並對粘彈性薄板的動力響應問題的mrm方法給出了收斂性分析，證明了mrm方法導出的邊界積分方程的解與邊值問題基本解導出的常規邊界方程的解是相同的。
  12. A new method was given out in this paper, which is based on the singular value decomposition of the balance matrix of truss, followed by the method of optimization under linear constrained condition. an analysis program for this method was developed. the rightness o f t his method w as proven by the analysis and verify of engineering example

    本文從桁架理論的奇異值分解出發，結合有約束線性優化方法，提出了解決這一問題的另一途徑，編制了相應的分析程序，經過算例分析與驗證，證明了該方法的正確性。
  13. Its mathematical model is established, and the properties of existence and uniqueness of the optimal solution are discussed. furthermore, the explicit representation of the optimal solution is given. by matlab language, the program of obtaining the optimal solution is devised

    在假設投資收益率服從正態分佈的條件下，建立了其數學模型，討論了最優解的存在性與唯一性，得到了最優解的解析表達式，並用matlab語言給出求解程序，最後舉例予以說明並驗證了兩個重要結論。
分享友人
分享到 Line

分享到臉書