解析證明 的英文怎麼說

中文拼音 [jiězhèngmíng]
解析證明 英文
analytic proof
  • : 解動詞(解送) 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 (公開;顯露在外;不隱...
  • 解析 : analysis; resolution; analyzing; resolving解析幾何 [數學] analytic geometry; cartesian geometry; ...
  • 證明 : 1 (表明 、 斷定真實性) prove; testify; bear out 2 (證明書或信) certificate; identification; t...
  1. 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

    依據有嚴格理論和實用價值的指派問題及其法(匈牙利法) ,構建了一對一射擊和多對一射擊情形下的高炮群火力優化分配的指派模型,探討了該模型的求,分了該模型的實際應用,並通過具體實例對該模型進行了初步驗
  2. 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 )在死亡過程中降為無機磷的現象。
  3. 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

    為了使研究更加貼近於工程,便於處理,提出準面的概念,並確立由準面到準線的研究路線,給出了各種傳動形式下準面與準線的具體特徵,了共軛準面上兩準線的誘導測地曲率等於零的這一不干涉條件,進而指出,當準面為平行軸和相交軸傳動的節曲面時,不干涉條件自然滿足。
  4. 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中模擬了測向演算法,模擬結果了演算法的正確性。
  5. Taking a view of pure time field, this paper presents dissolvable signals and basic concepts of sampling ; and also gives the very condition of discrete of signal ; this paper uses linear algebra to analysis this kind of signal and then gives some results and relevant deductions ; based on these results, 1 made a further step to analysis some typical band - limited signals in order to proof the coherence of my theory of dissolvable signal to the typical sampling theory ; i made some preliminary study about the feasibility of sampling and recovering of this kind of signal

    本文從純時域角度出發,給出了可分信號及其采樣的基本概念;也指出了信號可離散化的條件;利用線性代數理論給出了對這類信號進行采樣的分理論及相應的推論;並用這些結論對典型的帶限信號進行了分可分信號采樣定理與經典采樣理論的一致性;初步探討了對這類信號的實行采樣與恢復的工程實現問題。
  6. 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晶元等硬體設備支持下,可以有效應用於實際復雜多變信源編碼。
  7. This paper introduces the spreading process of herbart ' s thought about education in china, and from which it analyzes why herbart ' s view on students is misunderstood and criticized by educational circles in china. meanwhile, it displays all aspects of herbart ' s view on students according to herbart ' s original work. so that this paper ensures that herbart ' s view on students is really misunderstood by educational circles in china, from which this paper can not only clarifies this misunderstanding but also makes people understand the essence and the practical significance of herbart ' s view on students so that it can give spiritual support and practical foundation to our education

    所以本文通過介紹赫爾巴特整個教育思想在中國的傳播過程,以此分赫爾巴特學生觀在中國教育界受到誤和批判的原因,並基於赫爾巴特原著逐一展現其學生觀的表現,從而中國教育界對赫爾巴特的學生觀的確存在著很深的誤。這樣不僅澄清了人們長期以來的誤,而且可使人們更清楚地了赫爾巴特學生觀的內涵及現實意義,從而為我們的教育事業提供精神支持和實踐依據。
  8. In chapter 3, we first provide a new perspective on the efficiency difference between soes and nses with the new theory of the anticommons. then we prove that the rapid growth of nses have not only reduced the proportion of soes in the economy and affected the latter ' s profit and productivity rate, but also have relaxed many restrictions disturbing soes reform, which helps to further improve the property rights reform of soes

    我們首先用反公共品理論對非國有企業同國有企業的效率差異給出了一個新的釋,然後通過理論和實,非國有企業的快速發展不僅減少了國有企業的市場份額,影響了其利潤率和生產效率,而且還通過放鬆改革的約束條件,促進了國有企業產權改革的提速。
  9. The output of hdlc data package was coded by nrzi, then conducts the modulation of gmsk baseband signal through dsp. the message was correctly analyzed by sabb receiver, which proved the interconnection and intercommunication between apparatus

    產生的hdlc數據包通過nrzi編碼后,再通過dsp進行gmsk基帶信號的調制,此消息被sabb接收機正確了設備的互連互通。
  10. 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分出了誤差分佈,並了系數矩陣是非奇異的。
  11. Abstract : the paper presents the study on problems of self - excitation , over - voltage , frequency and voltage stability , organizational measures and arrangement in the course of black start and restoration of the system. through simulation of black start on east china power system , above problems are analyzed and solved , it shows that working out strict black start scheme may not only speed up system restoration , reduce outage losses , but also have important significance to emergency release or power system islanding

    文摘:研究電力系統黑啟動的過程及恢復中存在的自勵磁、過電壓、頻率和電壓穩定、組織措施及安排等問題,並通過華東系統黑啟動模擬對上述問題進行分決,制定嚴格的黑啟動計劃不僅可以迅速恢復系統、降低事故損失,而且對處理緊急狀態或地區性裂有重要意義。
  12. Hot shock and cathode electrolysis experimental results indicate the interface adhesion strength between coating and aluminum matrix is excellent. the element electronic probe image provide that the two composition are co - deposition ; structure analysis by xrd ( x - ray diffraction ) demonstrated that cr exists in the way of solid solution in the coating

    Sem和金相觀測結果表浸鎳后鍍層結晶緻密、厚度均一;熱震及陰極電結果說鍍層與基體結合牢固緊密;鍍層元素電子探針掃描圖說鎳鉻兩種元素均勻沉積; xrd分鍍層中鎳鉻以固溶體的形式存在。
  13. When this fault is cutted off and the breaker is reclosed, this scheme ca n ' t start by mistake. the availability of this scheme is proved with matlab test. the single phase high - impedance grounding fault is settled properly

    Matlab模擬分了該方案耐受過渡電阻的能力強,在故障切除和重合閘時不會因出現的暫態信號而誤啟動,不受系統振蕩、頻率偏差的影響,克服了常規保護靈敏度不足的缺點,較好地決了單相高阻接地故障的難題。
  14. 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 )

    文章依據企業約束資源的多寡,將產品組合決策問題分單一資源約束與多種資源約束兩種情況進行了討論,通過對約束理論五步驟法的適當調整,給出了它們各自的約束理論法的題步驟,結合具體的算例,分別利用約束理論五步驟法、線性規劃的單純形法和常見的會計學的變動成本法和完全成本法進行了求,並對約束理論法、線性規劃法和會計學法進行了適當的比較分了產品組合決策問題約束理論法的有效性和先進性。
  15. In this article discuss the evolution in the past and the tendency in the future on the relationship between population and environment by the hierarchical theory, and demonstrate the hierarchical theory in empirical analysis, and analyze the future tendency on the relationship between population and environment in china

    摘要本文用人口與環境關系的層級理論闡述了人類社會人口與環境關系的歷史演進及其未來發展;用實了層級理論對人口與環境關系的發展具有較強的釋力;並指出了中國未來人口與環境關系演進的方向。
  16. Gs - ms method was employed to analyze the degrading pathway of carbofuran. the result showed that the initial degrading product was carbofuran - 7 - phenol, then 2, 4 - bis - tertiarybutylalcohol - phenol which had never been reported before. another red substance 2 4 - bis - tertiary butyl - quinone was also found in the mixture, as for its position in the pathway was n ' t to be determined yet

    通過氣-質聯機對cds - 1降呋喃丹的代謝產物進行了檢測分了呋喃酚是呋喃丹的降產物,同時還檢測到了一種未報道過的化合物,通過質譜譜圖分其就是呋喃酚的開環產物? 2 -羥基- 3 -叔丁醇基-苯酚。
  17. 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網建立復雜系統模型所遇到的狀態爆炸問題,也使得建模系統具有可重用性和易維護性。
  18. 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域內的極點配置問題,使得期望的極點始終在這個穩定的區域內。
  19. 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

    在程序設計部分,根據煙機零件的形狀和特點,分別設計了相應的通用測量程序,有效的決了大量疑難零件的測量,為煙機零件的國產化開發提供了可靠的數據支持,並通過實際加工和精度分了本文提出的方法是可行的,有效的。
  20. 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方法導出的邊界積分方程的與邊值問題基本導出的常規邊界方程的是相同的。
分享友人