自定理明 的英文怎麼說

中文拼音 [zìdìnglǐmíng]
自定理明 英文
automated theorem proving
  • 自 : Ⅰ代詞（自己） self; oneself; one s own Ⅱ副詞（自然;當然） certainly; of course; naturally; willin...
  • 定 : Ⅰ形容詞1 （平靜; 穩定） calm; stable 2 （已經確定的; 不改變的） fixed; settled; established Ⅱ動詞...
  • 理 : Ⅰ名詞1 （物質組織的條紋） texture; grain （in wood skin etc ） 2 （道理;事理） reason; logic; tru...
  • 明 : Ⅰ形容詞1 （明亮） bright; brilliant; light 2 （明白;清楚） clear; distinct 3 （公開;顯露在外;不隱...
  1. Some properties of compactness on fuzzy metric spaces are studied, especially sequentially compactness, totally bounded sets, compact sets and compactness on the kind of spaces, and several theorems on compactness of fuzzy metric spaces are proved

    摘要研究了模糊度量空間的緊性，主要討論了列緊性、全有界性、自列緊性和緊性等，證明了幾個關于模糊度量空間緊性的命題和定理。
  2. " we also propose providing the director of agriculture, fisheries and conservation with powers to enable her to impose a requirement for health or sanitary certification when a genuine risk to public or veterinary health arises from the import of fish, meat, animal fodder or other items used with animals, birds and fish, " dr wong said

    我們也建議授權漁農自然護理署署長，使她能施加規定，訂明當進口的魚類、肉類、動物飼料或連同動物、禽鳥和魚類使用的其他物品，確實會對公眾或動物健康帶來危害時，該等物品均須附有有效的健康或?生證明書才可進口。
  3. Them, the thesis has chosen three china ' s cases as object of study, corporatism and social resource theory as theoretical perspective, and the function of npo integrating social welfare resources as the point of study to research the mechanism of npo integrating social welfare resources, the factors which bring down its effects, the motive power of the development of npo in social welfare field. then, the conclusion comes into being : the instituting and running of a npo which has specific object is a effective mechanism to integrate social welfare resources ; in practice, npo can integrate social welfare resources by instituting former and informer social network ; the factors which bring down its effects include policy and themselves ; and there is several kind of power which can motive the development of npo in social welfare field

    本文選取了在發展程度上呈梯次性的中國三個個案為研究對象，以合作主義和社會資源理論為理論視角，以非營利組織對社會福利資源的整合功能為切入點，探討了非營利組織整合社會福利資源的機制、其效果的制約性因素、以及在社會福利領域推動非營利組織發展的動力，認為定位明確的非營利組織的成立與運營為社會福利資源的整合提供了一條可供選擇的有效的途徑，發現在實踐中非營利組織可利用正式的和非正式的兩種網路建構來開發整合社會福利資源，而現階段其整合效果受到政策環境和自身能力等因素的制約，推動非營利組織發展與能力健全的力量源泉主要來自需求推動、政策推動、專業知識推動和國際交往推動。
  4. Describes the steps used to configure custom check - in notes associated with team foundation source control check - ins

    描述用於配置與team foundation源代碼管理簽入關聯的自定義簽入說明的步驟。
  5. You must apply for disembarkation to japan in 3 months from the day the " certificate of eligibility " issued. if you miss to apply during this term, you will never be allowed to apply for pre - college student visa again

    若自在留資格認定證明書簽發之日起個月內尚未赴日並於機場等地申請入境，過后將無法辦理入境手續，敬請注意。
  6. Jiang accomplished all of this was far before wiles made his final announcement that he has eventually proved flt in 1995

    蔣春暄實現所有這些遠在威爾斯1995宣布自己最終證明費馬大定理之前。
  7. This paper introduces first - order predicate calculus and assertion method from precondition to postcondition into the research of refactoring. and a logic deduction system is put forward in this paper : refactoring reliability deduction system

    引入了一階謂詞演算和前後斷言方法，並且自定義了一個重構可靠性證明的邏輯推理系統：重構可靠性推演系統。
  8. Chapter 2 of this paper, by using a new method of proof, we obtain the weak ergodic convergence theorem for general semigroups of asymptotically nonexpansive type semigroups in reflexive banach space. by theorem 2. 1 of chapter 1 we get the weak ergodic convergence theorem of almost orbit for general semigroups of asymptotically nonexpansive type semigroups in reflexive banach space. by this method of proof, we give the weak ergodic convergence theorems for right reversible semigroups. by theorem 2. 1 of chapter l, we generalize the result to almost orbit case. so we can remove a key supposition that almost orbit is almost asymptotically isometric. it includes all commutative semigroups cases. baillon [ 8 ], hirano and takahashi [ 9 ] gave nonlinear retraction theorems for nonexpansive semigroups. recently mizoguchi and takahashi [ 10 ] proved a nonlinear ergodic retraction theorem for lipschitzian semigroups. hirano and kido and takahashi [ 11 ], hirano [ 12 ] gave nonlinear retraction theorems for nonexpansive mappings in uniformly convex banach spaces with frechet differentiable norm. in 1997, li and ma [ 16 ] proved the ergodic retraction theorem for general semitopological semigroups in hilbert space without the conditions that the domain is closed and convex, which greatly extended the fields of applications of ergodic theory. chapter 2 of this paper, we obtain the ergodic retraction theorem for general semigroups and almost orbits of asymptotically nonexpansive type semigroups in reflexive banach spaces. and we give the ergodic retraction theorem for almost orbits of right reversible semitopological semigroups

    近年來， bruck [ 5 ] ， reich [ 6 ] ， oka [ 7 ]等在具frechet可微范數的一致凸banach空間中給出了非擴張及漸近非擴張映射及半群的遍歷收斂定理。 li和ma [ 13 ]在具frechet可微范數的自反banach空間中給出了一般交換漸近非擴張型拓撲半群的遍歷收斂定理，這是一個重大突破。本文第二章用一種新的證明方法在自反banach空間中，研究了揚州大學碩士學位論文2一般半群上的（ r ）類漸近非擴張型半群的弱遍歷收斂定理，即:定理3 . 1設x是具性質（ f ）的實自反banach空間， c是x的非空有界閉凸子集， g為含單位元的一般半群， s =仕工， 。
  9. Also, if x -, tnen [ xk, ] = 1 and x ( 1 ) / ( l ) = ( l ) / ( l ). this paper consists of three parts : first, this paper gives an expansion for above famous theorem. among it characteristic condition of and separately being invariant in g and k weakens general and ordinary relationship : ik ( ) = ik ( ) - secondly, we have proved that when there exists b ( n ) and is a fong character associated with, the correspondence relationship automatically becomes the correspondent of b - character and fong character

    本文首先給出isaacs上述著名對應定理的一個推廣，把其中關于和分別為g -不變的和k -不變的特徵標的條件減弱為更為一般和常見的慣性群關系i _ k （ ） = i _ k （ ） ，其次，我們證明了當為n的一個b _ -特徵標而恰為一個與相伴的fong特徵標時，相應的對應關系自動成為b _ -特徵標和fong特徵標的對應。
  10. Because of the complex of the copyright, most related universal copyright conventions do n ' t make any stipulation to it, and the most important international convention at present " agreement on trade related intellectual copyright " which offers protection to intellectual copyright directly provids evasion to it, showing the complex of the problem, that means each country should settle the problem by itself

    基於版權用盡的復雜性，大多數國際有關版權公約對此不作任何規定，而作為目前保護知識產權最重要的國際條約《與貿易有關的知識產權協議》 （ agreementontraderelatedintellectulpropertyright ，簡稱trips協議）更是直接規定了迴避原則，表明該問題復雜，由各國自行理解，自行解決。
  11. Therefore, it can be used as an efficient new model for geometric design in the fields of cad / cam. at last, the spatial definition of periodic spline and natural spline constructed by polynomial and hyperbolic functions is given ; the dimension law and zero properties are demonstrated ; and therefore the non - uniform algebraic - hyperbolic period and natural spline curves are obtained. the applications of the low order are given in details

    三、給出代數雙曲周期樣條及自然樣條空間定義，證明其維數定理和零點定理，構造具有最小緊支撐的非均勻代數雙曲周期及自然樣條函數，進而定義非均勻代數雙曲周期及自然樣條曲線，最後具體給出低階的表示和應用
  12. An assembly custom attribute was not processed by al. exe for the specified reason

    出於所指明的原因， al . exe沒有處理某個程序集自定義屬性。
  13. Besides, the covariance of a single exponent function deduced according to residue theorem, which provides the correctness of the formula of zhou and hu

    此外，還用留數定理推導了單指數函數的時變自相關方差表達式，證明了該公式的正確性。
  14. By resorting to the residue method, the asymptotic formulas for the eigenvalues and the expansion theorems of dirac eigenvalue problems are proved under the self - adjoint and non - self - adjoint boundary conditions

    本文用留數方法證明了自伴和非自伴的dirac運算元的特徵值估計和特徵展開定理。
  15. 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年吳文俊院士提出了吳?微分特徵列法，為微分幾何定理的機械化證明和自動推理的理論研究奠定了理論基礎。
  16. A c compiler could emit a custom modifier to describe how a byte should be treated in cases where the jit compiler treats bytes in a manner that is not compatible with c by default

    C + +編譯器可發出一個自定義修飾符來說明應如何處理位元組，以防jit編譯器在默認情況下以與c + +不兼容的方式處理位元組。
  17. For the expansion theorems of self - adjoint dirac operator, it is difficult to prove it by using the method of integral equation

    對于自伴dirac運算元的特徵展開定理的證明，用積分方程方法有一定的困難。
  18. 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

    本文第一作者于上世紀七十年代末開始從事數學機械化研究，致力於實現推理與方程求解的自動化，並創立了幾何定理機器證明的吳方法與方程求解的特徵列方法。
  19. The article also makes a comprehensive evolution about the brand traits of famous international cosmetics as well as their marketing strategies and gives suggestions for domestic enterprises to improve their marketing. it also put forward the following points for solving the problems : ( 1 ) making full use of self - superiority and having a clear understanding about self - resources ; ( 2 ) making correct competition position. regional market choosing and market segmentation are crucial for taking market opportunities ; ( 3 ) choosing right orientation for the r & d ; ( 4 ) making objective and timely self - evolution ; ( 5 ) the manager of cosmetics enterprises must change the old sense and have a right viewpoint and fairly good capabilities, implementing scientific human resources management and establishing enterprise culture ; ( 6 ) implementing marketing and brand management

    本文對世界名牌化妝品及其營銷狀況進行了綜合分析評價，總結出提高我國化妝品營銷水平的途徑： （ 1 ）國內化妝品企業應發揮自身優勢，正確認識自身資源； （ 2 ）正確確定企業的競爭定位，明確界定企業的進入領域，實施市場細分和區域市場選擇策略，並以此獲得市場機會； （ 3 ）以科學的態度開發產品，樹立正確的產品研發方向； （ 4 ）正確、及時地評估自己； （ 5 ）化妝品企業經營者應改變經營觀念並具備較高的素質，對企業進行科學的人力資源管理和企業文化建設； （ 6 ）實施正確的營銷管理和品牌管理策略。
  20. G ? del incompleteness theorem definitely reveals and proves the ability limit for oneself to master " truth "

    哥德爾不完全性定理明確揭示和證明自己把握「真」的能力限度。
分享友人
分享到 Line

分享到臉書