正反例證法 的英文怎麼說

中文拼音 [zhēngfǎnlìzhèngfǎ]
正反例證法 英文
method of positive and negative cases
  • 正 : 正名詞（正月） the first month of the lunar year; the first moon
  • 反 : Ⅰ名詞1 （方向相背） reverse side 2 （造反） rebellion 3 （指反革命、反動派） counterrevolutionari...
  • 證 : Ⅰ動詞（證明） prove; verify; demonstrate Ⅱ名詞1 （證據） evidence; proof; testimony; witness 2 （...
  • 法 : Ⅰ名詞1 （由國家制定或認可的行為規則的總稱） law 2 （方法; 方式） way; method; mode; means 3 （標...
  • 正反 : positive and negative
  1. In this thesis, we study some open problems and conjectures about the linear complementarity problem. it consists of the next three aspects : firstly, we study murthys " open problem whether the augmented matrix is a q0 - matrix for an arbitary square matrix a, provide an affirmable answer to this problem, obtain the augmented matrix of a sufficient matrix is a sufficient matrix and prove the graves algorithm can be used to solve linear complementarity problem with bisymmetry po - matrices ; secondly, we study murthys " conjecture about positive semidefinite matrices and provide some sufficient conditions such that a matrix is a positive semidefinite matrix, we also study pang ' s conjecture, obtain two conditions when r0 - matrices and q - matrices are equivelent and some properties about e0 q - matrices ; lastly, we give a counterexample to prove danao ' s conjecture that if a is a po - matrix, a e " a p1 * is false, point out some mistakes of murthys in [ 20 ], obtain when n = 2 or 3, a e " a p1 *, i. e. the condition of theorem 3. 2 of [ 25 ] that a p0 can be deleted and obtain a e " a is an almost e - matrix if a is a co - matrix or column sufficient matrix

    本文分為三個部分，主要研究了線性互補問題的幾個相關的公開問題以及猜想： （ 1 ）研究了murthy等在[ 2 ]中提出的公開問題，即對任意的矩陣a ，其擴充矩陣是否為q _ 0 -矩陣，給出了肯定的回答，得到充分矩陣的擴充矩陣是充分矩陣，並討論了graves演算法，證明了若a是雙對稱的p _ 0 -矩陣時， lcp （ q ， a ）可由graves演算法給出； （ 2 ）研究了murthy等在[ 6 ]中提出關於半正定矩陣的猜想，給出了半正定矩陣的一些充分條件，並研究了pang ~ -猜想，得到了只r _ 0 -矩陣與q -矩陣的二個等價條件，以及e _ 0 q -矩陣的一些性質； （ 3 ）研究了danao在[ 25 ]中提出的danao猜想，即，若a為p _ 0 -矩陣，則，我們給出了反例證明了此猜想當n 4時不成立，指出了murthy等在[ 20 ]中的一些錯誤，得到n = 2 ， 3時，即[ 25 ]中定理3 . 2中a p _ 0的條件可以去掉。
  2. This thesis is planed to analyze and demonstrate this obligation in detail, and tries to clarify the issues below : 1, the differences in the obligation standards among the carrier, the common carrier and the bailee, and the differences in the obligation standards between care of cargo and making the ship seaworthy ; 2, combined with the cases and shipping practice, solving the problems which is produced in fulfilling the obligation ; 3, with the principle of law, analyzing the character of the responsibility which should assume when the care of cargo obligation is breached ; 4, introducing the provisions about care o f cargo obligation in preliminary draft instrument on the carriage of goods by sea and expressing my opinions

    本文擬對這一義務進行詳細的分析和論證，試圖闡明以下幾個方面的問題： 1 、承運人管貨義務所要求的「妥善和謹慎」的標準與公共承運人、託管人管貨義務的標準的區別，與承運人適航義務的標準「克盡職責」的區別； 2 、結合有關案例和航運實務，分析該條文字面所表述的管貨義務的各個環節在實際運用中的相關問題； 3 、從法理的角度分析違反管貨義務所應承擔的責任的性質； 4 、介紹正在制訂的《海上貨物運輸法》 （草案）中關于承運人管貨義務的規定，並提出自己的意見。
  3. 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 ）應用本文的層狀地基體系理論對一個工程實例進行了計算分析，並與傳統的計算方法的計算結果和有限單元方法的計算結果進行了對比分析，結果表明利用層狀地基理論計算更能反映地基中附加應力分佈的實際情況。
  4. Notwithstanding condition 5. 4, unless and until the bank receives any instructions to the contrary, the bank shall be authorised to present to the extent that the bank has actual notice thereof for payment all securities which are called, redeemed or retired or otherwise become payable and all coupons and other income items held by it for the account of the customer which call for payment upon presentation and shall hold such cash as is received by it upon such payment for the account of the customer ; hold for the account of the customer hereunder all stock dividends, rights and similar securities issued with respect to any securities held by it hereunder ; exchange interim receipts or temporary securities for definitive securities and hold such definitive securities for the account of the customer ; and deduct or withhold any sum on account of any tax required, or which in its view is required to be deducted or withheld or for which it is in its view, liable or accountable, by law or practice of any relevant revenue authority of any jurisdiction

    盡管有第5 . 4 a條之規定，除非及直至本行收到任何相反之指示，本行將被授權i只限於本行有實際通知之范圍內把所有被催交贖回或收回或其他成為應支付之證券及所有息票及由本行代客戶之賬戶而持有並在出示時成為應付的其他收入項目出示以取得付款，及在取得該付款後代客戶之賬戶持有該些現金ii在此等條件下代客戶之賬戶持有一切就本行在此等條件下所持有的任何證券而發行之股票股息優惠認股權證及類似證券iii以中期收據或臨時證券兌換正式證券及為客戶之賬戶持有該正式證券及iv扣減或預扣任何稅務規定之款項或本行認為須扣減或預扣之款項或本行認為根據任何司法管轄權區之任何有關稅務機構之法律或慣例須支付或負責之款項。
  5. Method of positive and negative cases

    正反例證法
  6. Through comparing field data with the calculated results by the program designed by optimization algorithm, the result shows that the method is correct and reliable

    採用優化反演方法編制計算程序，對預測方法進行實例計算，驗證了本文預測方法的正確性和可靠性。
  7. Abstract : using a new method and software ( spawgis ) which is developed for evaluating water delivery system damage states and serviceability, the seismic performance of the teda ( tianjin economic developed area ) water delivery system has been assessed. the method is involved the expert system for predicting damage of water delivery system and software based on gis. the example demonstrates that the program is robust and efficient

    文摘:用天津開發區供水系統作為實例，研究了地震作用下該系統的震害，及震后供水功能失效狀態.實例研究表明，所採用的最新研製的供水系統地震反應分析軟體（ spawgis ）是可靠的，同時還證明，該軟體所基於的方法，包括震害預測專家系統及失效流分析等方法是正確的
  8. Considering practical application, some control methods brought forward by predecessors have been improved in order to realize them more easily. because it is difficult to control chaos and hyperchaos to high - period by simple linear feedback in experiments, the ordinary linear feedback method is modified to local control, further more, we prove its feasibility and find out the controllable parameter range theoretically. the improved linear feedback method is applied to circuit experiments, and the results of numerical simulation and circuit experiment are all in accordance with theory, which validate this method effective

    概括起來有兩個層面的內容：針對前人已經提出的一些控制方法，結合實際應用的需要提出改進的方案，使之更易於實際應用中的實現，這部分包括：基於簡單的線性反饋控制低維混沌和超混沌系統的高周期態難以在實驗中實現而提出的局部控制的改進方案；結合具體實例，從理論上分析了改進控制方案的有效性及系統可控制的參數條件；並且用電路實驗實現了改進的控制方案，實驗結果也驗證了理論的正確性和可行性；在應用非線性反饋方法控制混沌系統的研究中，我們也得到了前人沒有討論過的高周期結果。
  9. Abstract : a new method, collaborative allocation ( ca ), is proposed to solve the large - scale optimum allocation problem in aircraft conceptual design. according to the characteristics of optimum allocation in aircraft conceptual design. the principle and mathematical model of ca are established. the optimum allocation problem is decomposed into one main optimization problem and several sub - optimization problems. a group of design requirements for subsystems are provided by the main system respectively, and the subsystems execute their own optimizations or further provide the detailed design requirements to the bottom components of aircraft, such as spars, ribs and skins, etc. the subsystems minimize the discrepancy between their own local variables and the corresponding allocated values, and then return the optimization results to main optimization. the main optimization is performed to reallocate the design requirements for improving the integration performance and progressing toward the compatibilities among subsystems. ca provides the general optimum allocation architecture and is easy to be carried out. furthermore, the concurrent computation can also be realized. two examples of optimum reliability allocation are used to describe the implementation procedure of ca for two - level allocation and three - level allocation respectively, and to validate preliminarily its correctness and effectiveness. it is shown that the developed method can be successfully used in optimum allocation of design requirements. then taking weight requirement allocation as example, the mathematical model and solution procedure for collaborative allocation of design requirements in aircraft conceptual design are briefly depicted

    文摘:探討了一種新的設計指標最優分配方法- -協同分配法，用於處理飛機頂層設計中的大規模設計指標最優分配問題.分析了飛機頂層設計中的設計指標最優分配特徵，據此給出了協同法的原理並建立了數學模型.協同法按設計指標分配關系將最優分配問題分解為主系統優化和子系統優化，主優化對子系統設計指標進行最優分配，子優化以最小化分配設計指標值與期望設計指標值之間的差異為目標，進行子系統最優設計，或對底層元件（如飛機翼梁、翼肋和翼盒等）進行設計指標最優分配，並把最優解信息反饋給主優化.主優化通過子優化最優解信息構成的一致性約束協調分配量，提高系統整體性能，並重新給出分配方案.主系統與子系統反復協調，直到得到設計指標最優分配方案.兩層可靠度指標分配算例初步驗證了本文方法的正確性與可行性，三層可靠度指標分配算例證明了本文方法的有效性.最後，以重量指標分配為例，簡要敘述了針對飛機頂層設計中設計指標協同分配的數學模型和求解思路
  10. A new method, collaborative allocation ( ca ), is proposed to solve the large - scale optimum allocation problem in aircraft conceptual design. according to the characteristics of optimum allocation in aircraft conceptual design. the principle and mathematical model of ca are established. the optimum allocation problem is decomposed into one main optimization problem and several sub - optimization problems. a group of design requirements for subsystems are provided by the main system respectively, and the subsystems execute their own optimizations or further provide the detailed design requirements to the bottom components of aircraft, such as spars, ribs and skins, etc. the subsystems minimize the discrepancy between their own local variables and the corresponding allocated values, and then return the optimization results to main optimization. the main optimization is performed to reallocate the design requirements for improving the integration performance and progressing toward the compatibilities among subsystems. ca provides the general optimum allocation architecture and is easy to be carried out. furthermore, the concurrent computation can also be realized. two examples of optimum reliability allocation are used to describe the implementation procedure of ca for two - level allocation and three - level allocation respectively, and to validate preliminarily its correctness and effectiveness. it is shown that the developed method can be successfully used in optimum allocation of design requirements. then taking weight requirement allocation as example, the mathematical model and solution procedure for collaborative allocation of design requirements in aircraft conceptual design are briefly depicted

    探討了一種新的設計指標最優分配方法- -協同分配法，用於處理飛機頂層設計中的大規模設計指標最優分配問題.分析了飛機頂層設計中的設計指標最優分配特徵，據此給出了協同法的原理並建立了數學模型.協同法按設計指標分配關系將最優分配問題分解為主系統優化和子系統優化，主優化對子系統設計指標進行最優分配，子優化以最小化分配設計指標值與期望設計指標值之間的差異為目標，進行子系統最優設計，或對底層元件（如飛機翼梁、翼肋和翼盒等）進行設計指標最優分配，並把最優解信息反饋給主優化.主優化通過子優化最優解信息構成的一致性約束協調分配量，提高系統整體性能，並重新給出分配方案.主系統與子系統反復協調，直到得到設計指標最優分配方案.兩層可靠度指標分配算例初步驗證了本文方法的正確性與可行性，三層可靠度指標分配算例證明了本文方法的有效性.最後，以重量指標分配為例，簡要敘述了針對飛機頂層設計中設計指標協同分配的數學模型和求解思路
  11. Then, this paper empirically tested the validation and predictive accuracy of different var risk management model in the domestic financial market. finally, with the analysis of modem financial risk management development trend and the current domestic financial risk management situation, this paper made a prospect for the application of this model in the construction of domestic financial risk management system. through the analysis, the main conclusions are as follows : ( l ) the traditional mean - variance model is the special example of the portfolio selection based on the var risk management model for the case that the returns of the portfolio are assumed to be normally distributed ; compared with the mean - variance model, the var risk management model is more comprehensive and accurate in the measurement of the portfolio risk, so based on the var model, the investors can allocate the asset more effectively. ( 2 ) the var risk management model can provide the timely and comprehensive risk information for the top risk manager, so it is very helpful to the improvement of total risk management efficiency. ( 3 ) based on the var model, the raroc performance valuation approach can reflect the real performance of the portfolio manager and provide the coherent standard for the allocation of risk limitation and the construction of the incentive compatibility constraint mechanism in the financial instiutions

    通過研究分析，本文主要得出如下結論： （ 1 ）傳統的markowitz均值? ?方差模型僅僅是在資產組合收益率正態分佈假設條件下基於var風險管理模型進行資產組合選擇的特例，與均值? ?方差模型中的方差風險度量方法相比， var風險管理模型能夠更全面、更貼切地衡量資產組合的風險，且基於此模型能夠更有效地進行資產配置決策； （ 2 ） var風險管理模型能夠滿足更高層次風險管理者對風險信息的需求，有助於整體風險管理效率的提高； （ 3 ）基於var風險管理模型的raroc績效評價能夠反映資產組合管理人的真實業績，從而為金融機構風險限額的分配和激勵約束機制的制定提供統一的標準； （ 4 ）國內證券市場資產組合收益率服從正態分佈的假設明顯不成立，實證檢驗表明基於資產組合收益率正態分佈假設條件下的方差? ?協方差模型對國內資產組合風險的預測存在較大的偏差，由於文中證明在收益率正態分佈假設條件下基於方差? ?協方差模型進行資產組合選擇的結果等價于markowitz的均值? ?方差模型，因此，均值? ?方差模型對國內資產組合風險的預測同樣會存在著較大的偏差，而半參數var風險管理模型則能夠取得較好的預測衡量效果； （ 5 ） var風險管理模型符合未來金融風險管理的發展趨勢，基於var風險管理模型建立內容提要風險限額內控體系、風險信息披露體系和業績評價體系，並進行金融監管，將有助於國內金融機構內部風險管理方法和外部監管技術跟上國際金融風險管理的發展潮流。
  12. Single - layer model is convenient to apply but the unclear relationship between radiative and aerodynamic temperatures is still a bottleneck in this field. a new method was developed to derive reliable surface heat fluxes from radiative temperature viewed from arbitrary zenith angle. aerodynamic and radiative temperatures are connected through a so - called optimum component fraction ( ocf ) parameter - the fraction of vegetation in the field of view when the two temperatures are equivalent in oblique viewing

    該方法利用表面熱輻射方向性和顯熱通量都是源於土壤和植被溫度的貢獻這一共同點，發現在一定傾斜角度的觀測下，視場中植被與土壤的比例可以較好地反映植被和土壤與大氣進行湍流熱交換的貢獻率，所以稱該方法為最佳組分面積比法，用最佳組分面積比可以將任意角度下觀測到的輻射溫度訂正為空氣動力學溫度，經過地面和遙感數據驗證表明，用該方法計算的通量精度高於普通的單層模型。
  13. At the same time, monitored data in situ can be considered as dynamic serials related to time, and a dynamic back analysis method is tried to determine the seepage and mechanical parameters in fem analysis of the dynamic couple problem. on the basis of the above theories, universal computer codes are developed separately to deal with the static and dynamic parameter inverse problem. and a typical fractured rock slope case study is carried out

    基於以上的研究理論，本文編制了滲流場與應力場靜態、動態耦合三維有限元分析程序，並結合本文提出的混合遺傳演算法編制了相應的參數反演分析程序；典型裂隙岸坡工程算例驗證了以上程序的正確性。
  14. Based on inverse equation, the forward solution model of position is presented in this thesis through method of successive approximation, for parallel robots possess characteristic of easy inverse solution and difficult direct solution. the method is proved to be highly effective by simulation example

    根據6 - sps並聯機器人反解容易、正解較難的特點，本論文基於位置反解方程，通過桿長逐次逼近的思路建立了位置正解模型，並對該方法進行了實例驗證。
  15. Moreover, it adopts modularization structure and clear flow. some numerical results form this pa per compared with these from sap93 to not only reflect correctly characteristic of curved girder but also be proved its reliability

    用cbsa對彎梁橋算例進行分析並與sap93程序計算結果相比較，結果正確反映了彎梁橋的受力特性，並驗證了cbsa計算程序及空間曲梁單元法的可靠性。
  16. It is more suitable to the practice using qlf to measure quality. this paper discusses the defect of quadratic loss function and studies the models of inverted normal and inverted gamma loss function. we explore the relationship between qlf and signal - to - noise ( sn ), put forward multivariate qlf model based on sn, which overcome the flaw that single - characteristic can not reflect multi - characteristic in practice

    本文討論了二次損失函數模型的局限，在此基礎上研究了逆正態、逆伽瑪損失函數模型；探討了質量損失函數與信噪比的關系，提出了基於信噪比的多元質量損失函數模型，克服了單質量屬性不能反映實際中多維質量屬性的質量損失的弊端，實例證明該方法是可行的。
  17. An improved distribution method of the horizontal lateral forces to the planar structures and a new one to the structures with torsional responses are presented. the example of the pushover analysis testifies the validity and feasibility of the studied distribution method, and the potentiality of the use of static pushover analysis method to irregular structures is also proved. the capacity spectrum method of the structural performance evaluation is discussed in this paper

    對鋼筋混凝土結構靜力推覆分析（ push ? over ）的研究，主要討論了靜力推覆分析中水平側向力的分佈形式，提出了一種平面結構的改進水平側向力分佈形式和樓層平面出現不可忽略扭轉反應的空間結構的水平側向力分佈方法，並用推覆分析實例驗證了所提出的水平側向力分佈形式的正確性和可行性以及靜力推覆分析適用於不規則結構的可能性，同時也驗證了結構變形控制抗震設計方法的合理性。
分享友人
分享到 Line

分享到臉書