證幾何定理 的英文怎麼說
中文拼音 [zhèngjīhédìnglǐ]
證幾何定理
英文
demonstrate a geometric theorem- 證 : Ⅰ動詞(證明) prove; verify; demonstrate Ⅱ名詞1 (證據) evidence; proof; testimony; witness 2 (...
- 幾 : 幾代詞1. (多少, 用於詢問數量和時間) how many 2. (表示不定的少數目) a few; several; some
- 定 : Ⅰ形容詞1 (平靜; 穩定) calm; stable 2 (已經確定的; 不改變的) fixed; settled; established Ⅱ動詞...
- 理 : Ⅰ名詞1 (物質組織的條紋) texture; grain (in wood skin etc ) 2 (道理;事理) reason; logic; tru...
-
Two concepts of critical length of slope and maximum buckling place is defined here to evaluate its stability. applications of two practical projects demonstrate this method ' s accuracy and feasibility. at the same time, all the factors which maybe infect the slope ' s stability, such as the mechanical performance of joint and rock, physical and geometrical character of slope, are considered
並以兩個實際工程實例驗證了本文方法的精確性及可行性;與此同時,本文對各影響因素如結構面的力學特性、巖體的力學特性及坡體的一些物理幾何特徵對該類邊坡穩定性的影響作了分析。Abstract : the theory of variable structure control of sing ular nonlinear control systems was considered based on the singular nonlinear systems itself by employing the method of geography, and gives the sufficient condition of existence of variable structure control and approximation theory of real sliding mode. it is shown that sliding condition only guarantee the slow - varying state of real sliding mode approach that of ideal sliding mode but not guarantee the fast - varying state of real sliding mode approach that of ideal sliding mode. the method applied for studying normal nonlinear system can not be used directely to singular nonlinear system
文摘:利用幾何方法,從廣義非線性系統本身出發,研究了廣義非線性控制系統的變結構控制理論,給出了系統存在變結構控制的充分條件及實際滑動模的近似定理.從所得結論可知,滑動條件僅能保證實際滑動模的慢變狀態趨近於理想滑動模的慢變狀態,而不能保證實際滑動模的快變狀態趨近於理想滑動模的快變狀態,研究正常非線性系統的方法已不能簡單地被利用到廣義非線性系統The invent of irrational numbers, calculus, and the found of non - geometry, the prove of fermat theorem. examples like this are uncountable in the history. with the help of it, people will understand better the real process of math creation, which was fixed in our textbook in form of principles, therefore, we can benefit a lot from our ancestors and be very confident of ourselves
無理量的發現、微積分和非歐幾何的創立,乃至費馬大定理的證明, … … ,這樣的例子在數學史上不勝枚舉,它們可以幫助人們了解數學創造的真實過程,而這種過程在通常的教科書中是以定理到定理的形式被包裝起來的。This paper is concerned with, the existence and stability of travelling wave solutions for the viscous balance law which is an extension of viscous conservation law where a reaction term g ( u ) is added. l ) the existence of travelling wave solutions by geometric singular perturbation method, we investigate the existence of travelling waves ( a2 ) connecting a saddle point and a sink point and the existence of viscous shock waves c connecting two adjacent or disadjacent saddle points. by giving a detailed analysis of the fast and slow manifolds and verifying the transversality of the intersection of singular stable and unstable manifolds of the reduced problem along the singular heteroclinic orbit, we obtain the existence of travelling waves ( a2 ) in the case of a convex flow function / and that of viscous shock waves c under the assumption that f " is bounded
主要結果如下: 1 )行波的存在性本文利用[ 37 ]中幾何奇異攝動理論,通過仔細分析= 0時的快流、慢流,驗證= 0時慢流方程的穩定與不穩定流形橫截相交於奇異異宿軌道,先在f為凸的條件下嚴格證明了( )存在連接不相鄰的鞍點、結點的行波( a2 ) ;然後在地f有界的條件下得到( )存在連接鞍點(包括相鄰和不相鄰)的粘性沖擊波c ,彌補了[ 11 ]缺少嚴格證明的不足,並推廣了[ 11 ]在f為凸的條件下得到的粘性沖擊波的存在性結果。And a dynamic searching system of geometric theorem has been implemented, which can solve elementary geometric problems efficiently, including some non - constructive problems
該系統不但可以證明構造性的初等平面幾何命題,而且也實現了對非構造性幾何命題的定理搜索。The geometric explanation of the image principle presented in “ a new method to determine the transient stability boundary using nonlinear theory 1 is given. a theorem to determine the critical clearance time is derived. from the calculation results of two examples, the correctness of the theories put forward by this paper and paper 1 is verified
對論文《運用非線性系統理論確定電力系統暫態穩定域的一種新方法》 1中所提出的映射機理作了幾何解釋;提出了確定電力系統臨界切除時間的定理;通過對一簡單電力系統和電科院6機22節點算例的計算,驗證了本文及文1所提出的理論的正確性。Based on the analysis about the test requirements and the saturated magnetization of the armor plate, the excitation magnetic circuit satisfying the testing condition and a validation system are designed. because the geometric, of the magnetic leakage at the direction of the normal of the roundness fault has the feature of two peaks : a positive and a negative, using the linear regression and the software matlab, two regression equation are proposed : one is about the peak value of the magnetic leakage and the diameter and depth of the roundness fault ; the other is the distance between the two peaks and the diameter of the roundness fault. the result of the validation system proves that the two equations are valid, and an applied method using for quantificationally inspecting the roundness faults is proposed according to the two equations
根據實驗要求,通過對鋼板達到飽和磁化的必要性進行的分析,設計了符合試驗條件的勵磁磁路,並設計了一套實驗驗證系統;根據圓形缺陷法線分量漏磁場幾何圖形正負雙峰值的特點,採用線性回歸擬合的原理和matlab軟體及其統計工具箱中的相關函數,給出了圓形缺陷漏磁場幾何圖形的峰峰值與圓形缺陷的直徑和深度以及峰峰值間距與圓形缺陷直徑的兩個回歸擬合方程,並通過實驗驗證系統驗證了擬合方程的正確性,利用這兩個簡單實用的擬合方程,提出了一種工程定量檢測圓形缺陷的應用方案。The creator of geometry, he wrote a seminal math textbook in which he proved theorems by logical deduction, the backbone of all mathematics
歐幾里德是幾何學的創始人,他帶給我們第一本數學課本,在課本中,他通過邏輯推論證明了各種定理,他是我們所有數學的「基石」 。14 gallo g, mishra b. efficient algorithms and bounds for wu - ritt characteristic sets. effective methods in algebraic geometry, progress in mathematics, 1991, : 119 - 142. 15 gao x s, chou s c. a zero structure theorem for differential parametric systems
本文簡要介紹了代數方程組的特徵列方法及其在幾何定理機器證明發現與含參數代數方程求解中的應用,進一步給出了基於特徵列方法代數閉域上的一階邏輯公式的判定演算法。In this paper, the gdop ( geometric dilution of precision ) expression of area navigation system is deduced. using the matrix theory the lowest gdop and that gdop is smaller with more navigation stations are proved in theory
本論文推導了區域導航定位系統的幾何精度因子,並用矩陣理論對其最小值及其隨導航臺個數增加而減小進行了證明。In 1989, academician wu wen - tsun forwards wu differential characteristic method which establish theoretical basis for mechanical theorem proving of differential geometry and the research of automatic reasoning
1989年吳文俊院士提出了吳?微分特徵列法,為微分幾何定理的機械化證明和自動推理的理論研究奠定了理論基礎。The models of the stock price fluctuation is a mathematics model discribing the fluctuation of the stock price, it is all along the question financial scholars research over a long period of time, the models existing at present are mainly the model of randonm walk and the model of lognormal distribution etc. economists analyse the two models by authentic proof, which indicates that this two models do not fully qualify the actual stock market. in view of the above - mentioned facts, at the time some scholar have studied a new model of the stock price that even conforms to the actual stock market - that is the model of lognormal distribution
股票價格波動模型是用於描述股票價格波動的數學模型,一直是金融學者們長期研究的問題。目前存在的模型主要有隨機遊走模型、對數正態模型等,鑒于股價波動的隨機遊走模型和對數正態模型均經過實證分析,表明不完全符合現實的股票市場,目前理論研究者提出一種更符合實際股票市場的股價模型-股價波動源模型(文[ 5 ]的作者將股價異常變化帶來的短期收益率函數附加在幾何brown運動上,推廣了對數正態模型)及研究出了另一種混合形式下(見文[ 15 ] )的期權定價方程。1 wu w t. on the decision problem and the mechanization of theorem - proving in elementary geometry. scientia sinica, 1978, : 159 - 172. re - published in em automated theorem proving : after 25 years, 1984, pp. 213 - 234
本文第一作者于上世紀七十年代末開始從事數學機械化研究,致力於實現推理與方程求解的自動化,並創立了幾何定理機器證明的吳方法與方程求解的特徵列方法。The method not only provides a new application for the 3d facial reconstruction, but also can be realized on pc plat easily and quickly. a lot of experiment results have demonstrated the efficiency of our approach for editing 3d human faces
實驗證明,本演算法不但在重建人臉器官模型庫的基礎上可快速、簡單地實現三維人臉模型的定製,而且在對特定人臉模型在幾何與紋理上的編輯,也均能獲得令人滿意的合成結果。On the basis of the test result of a section of jing - xiang freeway ' s swelling soil examination, the paper analyses the mechanical mechanism of swelling soil side slope ' s collapse and establishes the geometry shape of swelling soil subgrade ' s collapse. on the other hand, the paper applies this result to analyses and calculates the stability of swelling soil ' s subgrade
本文以襄荊高速公路膨脹土試驗路段的試驗結果為基礎,分析了膨脹土路段邊坡滑塌的力學機理,建立並驗證了膨脹土路基邊坡滑塌的幾何形態,將其應用於膨脹土路基邊坡的穩定性分析計算中。Another 20 kinds of non - designed contact points are given for the first time. contact determining algorithm of all the above contact types is given using z - buffer algorithm for 3 - d observation, and simulation results show high accordance with results of vector - associated method. simulation for non - designed contact mode with random initial conditions has been done too, and statistics from the simulation indicates that it is important to predict non - designed contact points in practical rvd efforts
全文的工作包括以下幾個方面的內容: 1 .建立了周邊式對接機構的復雜幾何外形的數學描述,描述了對接初始條件范圍內,兩對接機構相互接近、捕獲過程中可能出現的20種設計接觸模式,並針對初始接觸點首次提出20種非設計接觸模式;利用計算機圖形學中可見面判別的z -緩沖演算法原理,給出了所有接觸模式的檢測演算法,該演算法的模擬結果與輔助向量法高度一致,驗證了演算法的有效性;進行了300組確定首次接觸點的隨機模擬,統計結果表明,在飛船上實時進行非設計接觸模式的預測是非常重要的。The laws of geometric perspective guarantee that in a concave - mirror projection of a symmetric chandelier onto van eyck ' s support all parallel lines would meet at a vanishing point, just as the image of train track rails meet on the horizon in a photograph
幾何透視定理保證,形狀對稱工整的吊燈經過凹面鏡投射到范艾克的屏臺時,所有平行線會在消逝點上交會,就好像照片上的火車鐵軌會在地平線上交會。At the meantime, the rock mass may alternate between loading and unloading and it exists in certain kind of liquid, such as surface water, unconfined water, confined water etc for its intrinsic crannies. the practical rock mass concerned project must solve the key stability pr oblem after the understanding of the complicated mechanical characteristic and the deformation trends to guide the following project design and construction for the demand of security, economy, feasibility and validity. however, the intrinsic nonlinearness and complexity of the engineering rock mass become the main difficulty to predict the stability and deformation, the corresponding structure design must ensure enough safety with all the determinate or random force combination, so a model without the geometry distortion and constitutive equation warp is necessary to be built for the quantificational analysis of practical structure ' s stress, for the simulation of the real process and for the determinate evaluation system and optimization
由於實際工程巖體其固有的非線性和復雜性,使得求解對應的諸如其穩定性、變形等問題面臨較大的困難,而有關的工程結構的設計必須保證該結構在外來因素的作用下具有足夠的安全度、經濟性和合理性,這必然要求對巖體及其工程結構的受力與變形有一套量化評判體系和優化技術,抓住實際工程問題的本質特徵並建立可行的符合幾何模擬、本構模擬、受力模擬、過程模擬四原則的求解模型,通過該模型的數值模擬成果來指導巖體工程的設計、施工及運營、管理;而巖體結構面的存在使得基於傳統連續介質力學理論的理論分析和數值模擬面臨巨大的挑戰,物理模擬的試驗周期和成本也大大增加,而巖土體工程問題則成為典型的數據有限、了解程度有限類問題,這類問題的解決需要綜合應用理論分析、經驗判斷、物理模擬和數值模擬等方法,數值模擬可以完成目前許多技術手段無法完成的實驗,如參數控制,復雜條件下的邊界條件的處理,同時數值模擬具有高可重復性,且數值模擬的成本和人力開銷等遠低於物理模擬,因此研究巖土體工程問題的流形元數值模擬方法是一項具有理論和實際工程應用價值的重要課題。Unlike traditional differential geometrical method, the robust adaptive neural net - based control emphasizes on the theory and application of intelligence control in nonlinear system that is weighed by robust performance index. the problem of robust reliability and stability in a kind of weak nonlinear system is first proposed in the dissertation, and then it deeply analyses and discusses the problem of how to design track controller in strong nonlinear system with uncertainties and external disturbance on the premise of guaranteeing the whole system ' s robust performance index. the distributed 3d flight simulation platform is mainly used to validate real - time program and evaluate the efficiency of advanced flight control laws, therefore, some theories and techniques related to the platform are also introduced
基於神經網路的魯棒自適應控制研究和分散式三維飛行模擬平臺的構建是本論文研究的兩個主要內容,與傳統微分幾何方法不同的是,基於神經網路的魯棒自適應控制側重於智能控制方法在以魯棒性為性能指標的非線性系統中的理論和應用研究,論文以一類弱非線性系統的魯棒可靠鎮定問題為引線,逐步深入地分析和探討了在保證整個被控系統魯棒性能指標的前提下,對于幾類具有不確定性和外部擾動的強非線性系統跟蹤控制器的設計問題;分散式三維飛行模擬平臺主要用於先進飛行控制律的實時程序驗證和效能評估之用,因此關于平臺的一些開發原理和技術方法也在文中給出了介紹。With reference to calculation methods of solar radiation within domestic and abroad literature and with the help of our country ' s dem ( with its resolution is 1 km x 1 km ), we build a new model for potential solar radiation calculation combining with pci geomatica ' s platform. in the calculation, hypothesis is that insofar one clear day in more than one year as the biggest value of solar radiation of one day in many years is defined as potential value of daily global solar radiation, we also consider the infection of the slope, aspect and its geometry relations affect on solar radiation. we calculate potential solar radiation which maybe useful for research the distribution of solar energy and build large - scale grid database of our country ' s solar radiation
本研究試圖在借鑒國內外已有的太陽輻射計算方法的基礎上,利用全國的1 : 100萬數字高程模型數據( grid大小1km 1km )為數據源,以pcigeomatica為計算平臺,以全國多年的太陽輻射日觀測數據進行模式驗證,在晴天無雲的理想條件下,根據太陽光線與實際地形間的幾何關系,研究坡度、坡向等地形因子對太陽輻射的影響,探討太陽輻射在復雜地表上的分配規律,力求尋找潛在太陽總輻射合理的計算方法,為研究太陽輻射時空分佈特徵和建立全國尺度的太陽輻射柵格氣象數據庫奠定基礎,為大尺度上的生態學過程研究提供基礎信息。分享友人