命題代數 的英文怎麼說

中文拼音 [mìngtídàishǔ]
命題代數 英文
algebra of propositions
  • 題 : Ⅰ名詞1. （題目） subject; title; topic; problem 2. （姓氏） a surname Ⅱ動詞（寫上） inscribe; write
  • 代 : Ⅰ動詞1 （代替） take the place of; be in place of 2 （代理） act on behalf of; acting Ⅱ名詞1 （歷...
  • 數 : 數副詞（屢次） frequently; repeatedly
  • 命題 : 1 （出題目） assign a topic; set a question 2 [邏輯學] （表達判斷的句子） proposition; statement;...
  1. Metric structures on boolean algebras and an application to propositional logic

    代數上的度量結構及其在命題邏輯中的應用
  2. Based on consider hereinbefore, this dissertation discusses several aspects on the problem of the sustainable and optimum exploitation of groundwater resources as follows : ( 1 ) reviewed entirely the origin and evolvement of the concept " sustainable development ", stated and commented the study status in queue on " sustainable development " around national and international range, thorough discussed the science connotation about the concept " sustainable development " ; ( 2 ) looked back and commented across - the aboard some furthest basic concept and proposition related to groundwater resources, put forward self opinions on a few existent mistake points of view and chaos understandings ; ( 3 ) expatiated entirely on the content and meaning of the theory of changeable groundwater resources system, contrast with the traditional methods of groundwater resources calculation and evaluation, combined example to show the application of this theory ; ( 4 ) thorough analyzed the difficult and complexity to forecast the groundwater resources, fully stated the traditional methods of groundwater resources forecasting, pointed out the characteristic and applying condition of these forecasting method, introduced the main ideas and methods of wavelet analysis developed recently, and the matlab software be known as the fifths era computer language, and its accessory wavelet analysis toolbox, applied these methods and tools to analyze the groundwater dynamic curve, adopted the b - j method and morte - carlo method, combined with the theory of changeable groundwater resources system, discussed the new view on the forecast of groundwater resources ; ( 5 ) synthetically analyzed the characteristics and limitations of the present all kind of groundwater manage model, combined mathematical programming mathematical statistics random process and the theory of variation system of groundwater resources on the unite optimum attempter of surface water and groundwater, emphasized how to make the model more nicety, more simple, more practicality ; ( 6 ) analyzed the inside condition and outside condition to assure the sustainable and optimum exploi tation of groundwater resources, the inside conditions are the follows : correct resources idea, scientific methods of resources calculation and evaluation, credible forecast methods of resources, exercisable measures of resources management, the outside conditions are the follows : the development idea of high layer, the transform of manage system, the matched policy and rule of law, the adjusted of economy lever, the improve of cultural diathesis, the boosting up of water - saving consciousness and detail measures, the control of population rising, the prevention and cure of water pollute, the renew and rebuild of ecology ; ( 7 ) scan the sustainable and optimum exploitation of groundwater resources from the high level of metagalaxy, earth system science, and philosophy ; lint out the more directions on groundwater resources

    基於以上考慮，論文主要從以下幾方面對地下水資源可持續開發問題進行了比較深入的探討：全面回顧了「可持續發展」概念的由來與演變，對國內外「可持續發展」的研究現狀進行了述評，並對「可持續發展」概念的科學內涵進行了深入探討；對涉及地下水資源的一些最基本的概念和命題進行了全面的回顧和評述，對目前仍然存在的一些錯誤觀點和混亂認識提出了自己的見解；全面闡述了地下水資源變值系統理論的內容和意義，並與傳統的地下水資源計算評價方法進行了對比分析，結合實例具體說明了方法的應用；深入分析了地下水資源預測預報工作的極端重要性和復雜性，對傳統的地下水資源動態預測方法進行了全面的評述，指出了各類預測預報方法的特點及適用條件，對最近二十多年剛發展起來的小波分析技術的主要思想和方法及其應用范圍，以及號稱第五代計算機語言的matlab軟體和附帶的小波分析工具箱進行了介紹，並應用於地下水動態過程線的分析，採用時間序列中的b ? j法，蒙特卡羅方法，與地下水資源變值系統理論相結合，探討了地下水動態資料分析和地下水資源預測預報的新思路；綜合分析了現今各類地下水管理模型的特點及缺陷，將數學規劃、數理統計、隨機過程等與地下水變值系統理論相結合進行地表水地下水或多水源的聯合優化調度，使模型更準確、更實用；對保證地下水資源可持續開發的內部條件和外部條件進行了分析，內部河海人學博卜學位論文前言、摘要、目錄條件主要是正確的資源觀，科學的資源計算與評價方法，可靠的資源預測預報技術，可操作的資源管理措施，外部條件主要是高層發展思路、管理體制的變革、配套的政策法規、經濟杠桿的調節、人文素質的提高、節水意識的增強及具體節水措施、人口增長的控制、水體污染的防治、生態的恢復和重建等;從宇宙科學、地球系統科學及哲學的高度審視地下水資源的可持續開發;指出了地下水資源可持續開發的進一步研究方向。
  3. Based on the production of other researchers such as professor xu yang and professor qin keyun, this paper discusses the structure and properties of lattice implication algebra, tautologies in some lattice - valued systems, automated reasoning methods, lattice - valued prepositional logic system

    本文的工作是在徐揚教授、秦克雲教授等研究成果的基礎上，對格蘊涵代數的性質、結構、格值命題邏輯系統中的重言式、自動推理方法、格值命題邏輯系統等進行了一些研究。
  4. At present carbon fiber - reinforced composite is developed to use in some aero - engine components in our country. using the numerical method and fatigue damage theory, the buckling and fatigue on the composite materials and composites case are studied for aero - engine design

    本文從實際工程背景出發，利用板殼理論和現代數值分析技術的研究成果，結合疲勞累積損傷理論，對航空發動機用的復合材料及其機匣結構的屈曲與疲勞壽命問題開展了較為系統深入的研究。
  5. The author discusses the duality theorem of infinite dimensional hopf algebras in braided tensor categories in the first chapter, and shows the theorem by the use of braiding diagram

    本文第一章討論了辮子張量范疇中無限維hopf代數的對偶定理，應用辮子圖對此定理給出證明，得到如下結果：命題2
  6. Proposition 2. 10 the base graph of a " s algebraic quiver is one of extended dynkin diagrams, and one cycle added at each vertex

    命題2 10a ~的代數箭圖的基圖為拓廣dynkin圖，再在每個頂點處加一個圈。
  7. This brief note presents an easily conceivable inequality for analytic functions. as an application, a function - theoretic proposition involving the fundamental theorem of algebra ( fta ) is deduced immediately

    摘要本文關于解析函數給出了一個可作幾何理解的不等式，由此易得出一個有關解析函數零點的命題，而代數學基本定理成為它的直接推論。
  8. A full mathematical model of optimal flow pattern design withengineering constraints was put forward, based on modern optimal control theory. an optimal flow pattern design was presented for optimizing meridional channel of axial flow turbine. according to integral optimization of turbine stages, a full physical model and mathematical expression were put forward for proposition of optimal flow pattern, including all performance parameters in turbine stages. this problem was further recast into a typical form control to maximize specific performance index such as work or efficiency of stage with given initial state, fixed terminal condition and constraints for part of state terminal variables. the program was also worked out according penalty function method and conjugate gradient method. the optimal distribution of c1ur1 ( r1 ) was obtained according to constraint conditions and maximized objective function

    把近代最優控制論方法引入軸流透平葉片的設計，在優化的軸流透平子午通道內，建立包括透平級內所有性能參量的最優流型命題的完整的物理模型及其數學表達式，並歸化為一個在給定初始狀態、自變量終端固定、部分狀態變量終端受有約束的條件下，使級的某一性能指標（如級的功率）達到最優的最優控制問題，應用「代價函數法」及「共軛梯度法」編制計算程序，計算得到符合給定約束條件、並使目標函數取極值的最優環量分佈，結果是令人滿意的。
  9. In this paper we discuss the hopf structure of a class of skew group algebras, characterize some properties of an important skew group algebra

    本文討論了一類斜群代數的hopf結構，刻劃了一個重要的斜群代數的某些性質，得到的主要結果如下：命題1
  10. With the development of the computer and the constantly expanding of it ' s applied domain, symbol computation present gradually powerful bioenergy. in this paper, using the computer algebra as the tool and the differential algebra as the background, we discuss the theory of " ac = bd " and the differential characteristic method and their application in the differential equations

    隨著計算機的發展和應用領域的不斷擴大，符號計算在數學領域中體現出了日益強大的生命力，本文就是以計算機代數為工具，微分代數為理論背景，討論了「 ac = bd 」理論及微分特徵列法的相關理論問題以及它們在微分方程組中的應用。
  11. Lemma 7 h = be a weak hopf - coalgebra and is a normalized left integral of h1 ; then for all theorem 5 let h = be a finite - dimension weak hopf - coalgebra, then h is semisimple if and only if h1 is semisimple

    一余代數，則下列命題等價： （ hi半單問hi中存在正規左積分iehi問hi是可分的卜代數引理5對弱hopf7t一余代數h khalh ，八，乙）而言1是從的正規積分有： voe 。
  12. Syntactic system of lattice - valued propositional logic based on finite lattice implication algebra

    基於有限格蘊涵代數的格值命題邏輯語法系統
  13. In this paper, a new type algebra is introduced, it is the algebraic abstract of mpm system just as boolean algebra is the algebraic abstract of 2 - valued propositional calculus. the main purpose of this paper is to investigate the various properties of the new algebra. in addition, this paper constructs an axiom set based on the medium logic propositional calculus system mpm, and gives a proof of its completeness

    本文通過對mpm中介邏輯命題演算系統進行代數抽象，建立了一個新的代數系統，討論了該代數系統的性質，並利用該代數系統的代數性質構造了中介命題演算系統mpm上的一個公理完備集合，使用該公理集合可以方便的推導出mpm上的等值和互推公式，這對于處理不完全信息數據庫的查詢優化有著重要作用。
  14. Proving the conjecture false would have cast doubt on much of modern mathematics ? and everything that depends on it

    一旦證明猜想是偽命題，那將使人們對現代數學的許多部分產生質疑? ?當然也包括基於龐加萊猜想的一切。
  15. The second part builds a new algebra syetem rl, which in the definition of bl - algebra gets rid of the stronger condition and studies the properties of rl - algebra. in the same time, using rl - algebra as the true - value field this paper builds a more extentively formal deductive system of fuzzy prepositional calculus - - - - - - logic system rl. obtains a series of theorems, and studies the completeness of rl logic

    第二部分：在以bl邏輯為背景的bl代數的定義中去掉限制性較強的條件a b = a （ a b ） ，建立了一種新的代數系統rl ，並進一步研究了rl代數類的性質；以rl代數為賦值域建立了一種更為廣泛的模糊命題演算的形式系統? ?剩餘格值邏輯系統rl ，得到了一系列定理，同時研究了邏輯系統rl的（弱）完備性
  16. Semantic system of lattice - valued propositional logic based on finite lattice implication algebra

    基於有限格蘊涵代數的格值命題邏輯語義系統
  17. Study on lattice - valued logic system a lattice - valued propositional logic system lp ( x ) based on lattice implication algebra is proposed. the syntax and semantics of lp ( x ) are discussed. the soundness theorem is proved

    四、格值邏輯系統的研究建立了基於格蘊涵代數的格值命題邏輯系統l試x ） ，並討論了它的語法和語義問題，證明了可靠性定理。
  18. Algebraic structure of the disturbing fuzzy propositional logic and the properties of its generalized tautology

    擾動模糊命題邏輯的代數結構及其廣義重言式性質
  19. For the uncertainty optimization with interval coefficients in the objective function, a robust optimization framework is proposed, in which the concept of " regret " is incorporated. this framework is inspired by the methodology of " wuli - shili - renli " [ 26 ] raised by j. gu. through this method an uncertainty optimization problem may be transferred i

    5 .對不確定系統中的一類問題，即用區間數作為參數進行建模求解的區間數規劃問題，本文受顧基發研究員的「物理一事理一人理（ wsr ） 」 26 ]的系統科學思想的啟發，創造性的提出了一個結合目標函數期望，不確定度和後悔度的三目標魯棒優化命題，本優化命題可作為原不確定系統優化命題的替代命題。
  20. A formal definition of proposition formulae was provided by context - free grammar, and the conversion from proposition formulae to polynomials was solved automatically

    摘要該文將命題邏輯的定理證明轉換為多項式方程的求解問題，從而提出了一種基於非子句的代數化方法。
分享友人
分享到 Line

分享到臉書