解析證明法 的英文怎麼說
中文拼音 [jiěxīzhèngmíngfǎ]
解析證明法
英文
analytic demonstration- 解 : 解動詞(解送) send under guard
- 析 : Ⅰ動詞1. (分開; 散開) divide; separate 2. (分析) analyse; dissect; resolve Ⅱ名詞(姓氏) a surname
- 證 : Ⅰ動詞(證明) prove; verify; demonstrate Ⅱ名詞1 (證據) evidence; proof; testimony; witness 2 (...
- 明 : Ⅰ形容詞1 (明亮) bright; brilliant; light 2 (明白;清楚) clear; distinct 3 (公開;顯露在外;不隱...
- 法 : Ⅰ名詞1 (由國家制定或認可的行為規則的總稱) law 2 (方法; 方式) way; method; mode; means 3 (標...
- 解析 : analysis; resolution; analyzing; resolving解析幾何 [數學] analytic geometry; cartesian geometry; ...
- 證明 : 1 (表明 、 斷定真實性) prove; testify; bear out 2 (證明書或信) certificate; identification; t...
-
According to assignment problem and its solution ( hungarian method ) that contain strict theoretic proof and practical value, the thesis sets up assignment model of antiaircraft artillery group ' s firepower optimal allotment in the case of one - to - one - gunshot and multiply - to - one gunshot, discusses the solution of the model, analyzes practical application of the model, and primarily validate the model through the example
依據有嚴格理論證明和實用價值的指派問題及其解法(匈牙利法) ,構建了一對一射擊和多對一射擊情形下的高炮群火力優化分配的指派模型,探討了該模型的求解,分析了該模型的實際應用,並通過具體實例對該模型進行了初步驗證。The changing tendencies of the relative contents of phosphorous contained substances have been detected by in - vivo " p magnetic resonance spectroscopy ( in - vivo " p mrs ) during the whole hatching process. in - vivo ] p mrs proved the catabolism of adenosine 5 ' - triphosphate ( atp ), phosphorous ester and phosphocreatine ( pcr ) when the embryo dead. the results could be used to deduce the conversion of phosphorous contained metabolites during the chicken embryo developed
用活體核磁共振定域氫譜( in - vivohmagneticresonancespectroscopy , in - vivohmrs )對胚胎發育過程中羊水和蛋白、蛋黃的成分進行了分析;用活體磷譜( in - vivo 』 』 pmrs )的方法分析了在整個胚胎發育過程中含磷代謝物的相對含量隨時間的變化,表明了磷脂類物質及三磷酸腺苷( atp ) 、磷酸肌酸( pcr )在此過程中的變化及可能的相互轉化的趨勢,胚胎死亡后的磷譜也證明了磷脂類物質及三磷酸腺苷( atp ) 、磷酸肌酸( pcr )在死亡過程中降解為無機磷的現象。Analysis the cause of channel disaccord of gain and phase, give four methods of gain and phase calibration, computer simulation illustrate the that the methods are effective. in the chapter 4, the basic relation of phase interferometer of one dimension, two dimensions, and the measurement accuracy and the approach of solving the phase ambiguity in the phase interferometers have been discussed in detail
第四章對相位干涉儀進行了較為詳細和系統的研究,給出一維相位干涉儀的基本關系式,分析了五通道相位干涉儀測向定位演算法及其性能指標,對解相位模糊問題進行了探討,在ccss中模擬了測向演算法,模擬結果證明了演算法的正確性。In all kinds of complicated network, oriented linking and unlinking, communication frequency resource is strained, and bandwith to transmitting audio frequency signal is too restricted, complicated and fluky, while audio frequency data exponential have been increased in the last several years. under the circumstances, based on the research of predecessor, this paper studies wavelet analysis ' s maths gist and practices significance on signal process, and puts forward a optimized wavelet package condensation arithmetic to process audio frequency data, which gives attention to coding efficiency, multirate and compression delay. simulation experiment on the arithmetic has been done by matlab
針對無連接和面向連接的各種復雜網路環境下,通信頻帶資源緊張,音頻傳輸帶寬有限且復雜多變,而各種音頻數據又日益增多的局面,本文研究小波分析在信號處理方面的數學依據和在數據壓縮方面的實際意義,在前人不斷工作的基礎上,提出了一種優化小波包變換編碼方案用於音頻數據的壓縮演算法,兼考慮了編碼效率、多碼率和壓縮時延多個方面,並在matlab環境下做了模擬實驗,對各種音頻信號及多種小波函數做了模擬結果比較,實驗結果證明該演算法可以在一定計算復雜度下可以很好地改進壓縮效果,達到多碼率下實現實時編解碼的過程,在高速dsp晶元等硬體設備支持下,可以有效應用於實際復雜多變信源編碼。This thesis is to recommend a important class of regularized strategies for solving inverse problems - mollifier method. it anaysises the consistency, numerical stability and error estimates of mollified solution. similar to tikhonov regularization, a discrepancy principle for selecting the mol - lifier parameter is proven and applications to numerical differentiation and numerical inversion of abel transform and also given
本文將介紹求解反問題的一類重要的正則化策略?緩鎮法,並基於用gauss核構造的緩鎮運算元,分析了緩鎮解的相容性、數值穩定性和誤差估計,與tikhonov正則化類似,我們證明了決定緩鎮參數的偏差原理。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 )應用本文的層狀地基體系理論對一個工程實例進行了計算分析,並與傳統的計算方法的計算結果和有限單元方法的計算結果進行了對比分析,結果表明利用層狀地基理論計算更能反映地基中附加應力分佈的實際情況。The elastic foundation model is considered as two - parameter elastic foundation model and its effect to moderate - thick plates are taken into account by a set of governing differential equations. united with hu hai - chang ’ s function, least squares collocation weighted residual method which uses b - spline function as trial function is put forward for solving the bending problems. compare with the results of finite element method of lines, spline finite strip method, accurate solution of series etc. it is proved that the method in this article has adequate accuracy and practical feasibility
本文採用瑞斯納中厚板理論求解彈性地基板,建立雙參數地基與中厚板相互作用的控制微分方程,結合胡海昌的解耦函數,運用雙五次b樣條函數作為試函數的離散型最小二乘加權殘值法分析了雙參數地基上的中厚板的彎曲問題,並將結果與有限元線法、有限條法、級數精確解等進行比較,證明本文方法具有足夠的精確性與實際的可行性。The results show that it is the numerical method of high analyzable degree for the hybrid tvd scheme combinated with fvm, and the scheme is not only sufficiently accurate and nonoscillatory, but also capable of treating automatically hydraulic jump
算例驗證表明:應用組合型tvd ? muscl格式配合有限體積法是一種高解析度的數值方法,且tvd ? muscl格式對于自動捕捉激波和抑制間斷附近的數值解波動十分有效,它對間斷具有高解析度。The research aims at the demonstration and the mend of the design on the new purifier and presents a calculation method for solving the two - phase flow in fluid machine by the finite element method. after analyzing the two - phase flow in the new purifier by means of the continuum model, poisson equation, navier - stokes equation and continuous equation are derived and solved by using the finite element method. the solution on pressure, velocity and particle concentration simulates the departure well between oil and water, which proves the accuracy of the design on the new purifier
本文採用兩相流連續介質模型,由兩相分離流動理論得到控制方程,採用chorin的直接速度-壓力mac法的思路,對新型油水分離裝置內油水兩相流動作了細致的分析,同時首次把科氏慣性力引入兩相流模型中,進行分析和計算,將研究擴展到三維,並用有限元法分別解poisson方程、 n - s方程、連續方程的方法,對流場內壓力場、速度場、濃度場進行了分析和計算,較好地模擬了新型油水分離裝置內油水分離的現象,證明了設計方案的正確性。First it gives a general economic explanation on this problem, using the basic methods such as cost - effect analysis, equilibrium analysis, the framework of the new institutional economies ; then mainly utilizing the popular games models, offers a theoretical verification to all kinds of normalizing possibilities ; finally it explores the financial reporting on the internet, and designs a structural model for the normalizing entities
本文將在這些研究的基礎上,結合經濟學的基本分析方法(成本效益分析、均衡分析)和新制度經濟學範式,首先對規范財務報告問題給予一個一般意義上的經濟學解釋;然後著重利用已被社會學廣泛應用的博弈模型(張維迎1999 )對財務報告的各種規范可能性給予理論上的證明;最後探討了網路財務報告問題,並提出規范主體結構模式。The equations of the mean value functions and the covariance functions are established for dynamical systems whose inputs are fuzzy stochastic processes. an existence and uniqueness theorem of ito fuzzy stochastic differential equations is proved, some explicit representations of solutions and the equations of statistical characteristics are deduced for linear fuzzy stochastic differential equations, and numerical methods to nonlinear fuzzy stochastic differential equations are proposed, the conditions for stability and observability of fuzzy linear systems are derived. the kalman filter algorithms of linear fuzzy stochastic systems are brought forward
主要成果包括:提出了模糊隨機變量協方差和反向協方差的概念;研究了二階模糊隨機變量的均方收斂性,並在此基礎上得到了均方模糊隨機分析、平穩模糊隨機過程及其譜分解的若干定理;根據均方模糊隨機分析理論,得到了輸入為模糊隨機過程的線性系統的輸出輸入統計特徵關系方程;證明了ito型模糊隨機微分方程解的存在唯一性,並給出了ito型線性模糊隨機微分方程解的表達式,統計特徵方程以及非線性模糊隨機微分方程的數值解法;得到了模糊線性系統的穩定性和可觀性條件、線性模糊隨機系統統計特徵方程和線性模糊隨機系統的kalman濾波演算法;研究了當觀測值是模糊數據時,線性回歸模型的建立。In order to avoid spectrum error due to energy leakage, the thesis research on identification of parameters of two close frequency components in discrete spectrum analysis, and simulation result shows the validity of the method
針對由於能量泄漏造成的頻譜誤差,深入研究了密集頻譜的頻域參數識別法,從理論上加以推導,並通過模擬證明了該方法的有效性,可以識別1個頻率解析度以內的兩臨近頻率分量。Then a 16dof rotors system with 2. span, 4. disk and 4. support is modeled in the form of plural ode, considering the unbalance of mass, external damping, nonlinear oil film forces as well as elevation of the bearings
( 4 )針對求復數ode周期解及穩定性分析,討論了復數打靶法和floquet理論的應用問題,證明了復數ode與實數ode對應jacobian和單值矩陣的關系。Network forensics is an important extension to present security infrastructure, and is becoming the research focus of forensic investigators and network security researchers. however many challenges still exist in conducting network forensics : the sheer amount of data generated by the network ; the comprehensibility of evidences extracted from collected data ; the efficiency of evidence analysis methods, etc. against above challenges, by taking the advantage of both the great learning capability and the comprehensibility of the analyzed results of decision tree technology and fuzzy logic, the researcher develops a fuzzy decision tree based network forensics system to aid an investigator in analyzing computer crime in network environments and automatically extract digital evidence. at the end of the paper, the experimental comparison results between our proposed method and other popular methods are presented. experimental results show that the system can classify most kinds of events ( 91. 16 ? correct classification rate on average ), provide analyzed and comprehensible information for a forensic expert and automate or semi - automate the process of forensic analysis
網路取證是對現有網路安全體系的必要擴展,已日益成為研究的重點.但目前在進行網路取證時仍存在很多挑戰:如網路產生的海量數據;從已收集數據中提取的證據的可理解性;證據分析方法的有效性等.針對上述問題,利用模糊決策樹技術強大的學習能力及其分析結果的易理解性,開發了一種基於模糊決策樹的網路取證分析系統,以協助網路取證人員在網路環境下對計算機犯罪事件進行取證分析.給出了該方法的實驗結果以及與現有方法的對照分析結果.實驗結果表明,該系統可以對大多數網路事件進行識別(平均正確分類率為91 . 16 ? ) ,能為網路取證人員提供可理解的信息,協助取證人員進行快速高效的證據分析When the moving platform is in horizontal posture, the rank primary element crout solution is employed and the analytic solutions of errors dispersion is extracted, the nonsingular coefficient matrix is also proved
當活動平臺處於水平姿態時,應用列主元crout分解法解出了誤差分佈解析解,並證明了系數矩陣是非奇異的。Based on the above - mentioned matter, the application of toc to the product mix problem was studied home in this article. the product mix decision problem was divided into simplex resource constrains and manifold resources constrains by enterprise ’ constrain resources, and their solution steps according to toc ’ s five key steps ameliorated were presented. some material examples were solved by toc ’ s five steps technique, linear programming ’ s simplex method and familiar accounting technique ( variational cost technique and full cost technique )
文章依據企業約束資源的多寡,將產品組合決策問題分單一資源約束與多種資源約束兩種情況進行了討論,通過對約束理論五步驟法的適當調整,給出了它們各自的約束理論解法的解題步驟,結合具體的算例,分別利用約束理論五步驟法、線性規劃的單純形解法和常見的會計學的變動成本法和完全成本法進行了求解,並對約束理論解法、線性規劃解法和會計學解法進行了適當的比較分析,證明了產品組合決策問題約束理論解法的有效性和先進性。The paper proposes one kind of modeling method which is based on object - oriented time petri net, the method combines object - oriented technology with time petri net theory, thus utilizing advantage of petri net " figure expressing clearly and mathematics analysizing and proving rigorously, also leading time parameter into petri net to validly appraise dynamic performance of system, these not only resolve state exploding in setting up complicated system modeling, but also make the modeling system reusable and maintainable
本文提出了一種基於面向對象時間petri網( object - orientedtimepetrinet : otpn )的建模方法,該法將面向對象技術與時間petri網理論相結合,既可以利用petri網圖形表達直觀和嚴謹數學分析證明的優勢,又在petri網中引入時間參數以有效評價系統的動態性能,這不僅有效解決了用petri網建立復雜系統模型所遇到的狀態爆炸問題,也使得建模系統具有可重用性和易維護性。An upper bound of the closed loop performance statistic given by the index of quadratic performance is found for all admissible parameter uncertainties. the poles of the closed loop systems is described by the delta operator models in the specified stable region of the complex plane which makes the poles in the specified region when the sampling period is becoming shorter
採用線性矩陣不等式處理方法及李亞普諾夫二次穩定性理論,分析、證明了極點約束控制的存在條件,並利用lmi方法把delta運算元系統的極點配置在一個穩定的區域內,解決了delta域內的極點配置問題,使得期望的極點始終在這個穩定的區域內。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
在程序設計部分,根據煙機零件的形狀和特點,分別設計了相應的通用測量程序,有效的解決了大量疑難零件的測量,為煙機零件的國產化開發提供了可靠的數據支持,並通過實際加工和精度分析,證明了本文提出的方法是可行的,有效的。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方法導出的邊界積分方程的解與邊值問題基本解導出的常規邊界方程的解是相同的。分享友人