命題演算 的英文怎麼說

中文拼音 [mìngtíyǎnsuàn]
命題演算 英文
calculus of proposition
  • 題 : Ⅰ名詞1. （題目） subject; title; topic; problem 2. （姓氏） a surname Ⅱ動詞（寫上） inscribe; write
  • 演 : 動詞1 （演變; 演化） develop; evolve 2 （發揮） deduce; elaborate 3 （依照程式練習或計算） drill;...
  • 算 : Ⅰ動詞1 （計算數目） calculate; reckon; compute; figure 2 （計算進去） include; count 3 （謀劃;計...
  • 命題 : 1 （出題目） assign a topic; set a question 2 [邏輯學] （表達判斷的句子） proposition; statement;...
  • 演算 : perform mathematical calculations; calculation; calculus演算器 exerciser
  1. Based on paper [ 1 ] and [ 2 ], this paper gives two generating algorithms to calculate and output the special conjunctive normal forms and special disjunctive forms of given propositional formulas automatically and formally

    摘要在文[ 1 ]和文[ 2 ]的基礎上，給出了命題邏輯中任一命題公式的主析取範式和主合取範式的自動生成演算法，並實現了多個命題公式主範式的同時形式化輸出。
  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. Using these algorithms, we can use computer mechanically to list truth value table of a group of propositional formulae, determine that if a given propositional formula is a tautology, a contradiction, or if the formula is satisfiable

    給出了命題邏輯中任一命題公式的真值表的生成演算法與命題公式類型的判定演算法，實現了利用計算機對有限多個命題公式的真值表的直接計算和輸出，以及對一個命題公式是重言式、矛盾式或可滿足式的機械判定。
  4. Topics covered include : specification and verification, concurrent algorithms, synchronization, naming, networking, replication techniques ( including distributed cache management ), and principles and algorithms for achieving reliability

    其中包含以下的主題：規格與驗證、同步演演算法、同步化、命名、網路、復制技術（包括分散式快取管理） ，以及確保系統可靠度的設計原則與演演算法。
  5. On the base of thorough analysis of fault characters, the petri net model is introduced and changed into fault petri net ( fpn ) that can be used to settle some critical problems such as complicated faults, degradation competition and one cause with multiple consequence according to the characters of fault evolvement and spreading. in order to predicate the remained life of particular machine under special working conditions, an algorithm was also providcd to analyse the timely characters of the fpn. it is demonstrated that the method provided in this paper can simulate the dynamic evolvement process more appropriate than tranditional methods such as fault tree analysis ( fta ) and can predicate the remained life of the particular machine under special working conditions

    為此，深入分析了機械設備的故障特性，把以描述離散事件動態系統見長的petri網分析技術引入到機械設備剩餘壽命預測領域，並根據故障的演變和傳播特點，將petri網加以改造，提出適用於對機械設備復合故障動態演變歷程進行模擬的「故障petri網」 ，解決了「並發故障」 、 「劣化競爭」和「一因多果」等問題，並給出故障petri網的時間特性分析演算法，用於單機具體工況下的剩餘壽命預測。
  6. Genetic algorithm ( ga ) is a set of new - global - optimistic search algorithm repeatedly which simulate the process of creature evolution that of darwinian ' s genetic selection and natural elimination

    遺傳演算法是模擬達爾文的遺傳選擇和自然淘汰的生物進化過程的一種新的迭代的全局優化搜索演算法，已經廣泛地應用到組合優化問題求解、自適應控制、規劃設計、機器學習和人工生命等領域。
  7. The medium logic propositional calculus system mpm and the medium logic predicate calculus system mfm are new logic systems. they are fit for dealing with incomplete information

    中介邏輯命題演算系統mp ~ m和中介邏輯謂詞演算系統mf ~ m是一種適用於處理不完全信息的新的邏輯系統。
  8. Finally, bayesian fusion algorithm with weibull distribution has been studied in detail by using he - ne laser life test data., which includes three aspects, that is, the selection of weibull distribution model, the posterior distribution of weibull parameters with multiple a priori information and the dynamic modeling method of weibull distribution parameters under the condition of different test environments

    最後，結合he - ne激光器壽命試驗數據，重點研究了威布爾分佈的bayes融合估計演算法，主要包括以下三個方面的問題，即:威布爾分佈模型選擇、多源驗前信息的威布爾分佈參數的驗後分布、不同環境下的威布爾分佈參數的動態建模方法。
  9. ( 3 ) it is well known that the determinant problem in classic proposition logic is a np complete problem, and the first order logic is a half determinant one. so both the analysis of computing complexity and the realization of it are the most important fields

    （ 3 ）眾所周知，經典命題邏輯中的判定問題是np完全問題，而一階邏輯是半可判定問題，關于非經典邏輯特別是非單調邏輯的計算復雜性分析和演算法實現是一個重要的研究領域。
  10. Based on the experiences of the developed countries and the th theory brought forward by the forthgoers, the main contributing conclusion of the dissertation includes : firstly, it elaborates the inner structure and the pedigree within the th of university - industry - government. secondly, it points out the disfigurements and flaws in chinese university - industry - government relationship and then puts forward the mission and countermeasures to cope with these problems. last by not least, it finishes a quantitative analysis of chinese th model with the scientometric, the webometric and the triple helix algorithm and then according to the arithmetic result, it compares the chinese th with some other typical countries " and finally draws some valuable conclusions

    結合發達國家區域的實踐經驗與前人已有的理論工作，本文深入研究了網路時代的三方合作主題，主要貢獻有：給出大學?產業?政府三重螺旋體的內部結構和圖式譜系；指出國內「產學研」缺陷與紕漏，明晰了「官產學」的應對與使命；最後運用th演算法和科學計量、網路計量手段實現了一個有關中國三重螺旋模型的定量分析，並與其他典型的國家地區三重螺旋作出比較，得到若干有價值的結論。
  11. The medium logic propositional calculus system mpm and the medium logic predicate calculus system mfm is a new logic system modified from the existing medium logic system. this system is fit for dealing with incomplete information. it can act as the theory foundation for dealing with incomplete information

    中介邏輯命題演算系統mpm和中介邏輯謂詞演算系統mfm是在改造原有的中介邏輯系統的基礎上提出的一種新的邏輯系統，該邏輯系統特別適用於處理不完全信息，可以作為處理不完全信息的理論基礎。
  12. On one hand, although the traditional methods to solve the electromagnetic scattering form the target by the so called high frequency methods such as po ( physical optics ), go ( geometry optics ), have the less memory and computational requirement, they also have the fatal defection that the accuracy of these methods are too poor to use in real applications

    一方面傳統的高頻電磁分析方法雖然計算較快，內存需求較低。但是其存在的致命缺陷是計算結果精度較低，在許多場合下的計算結果的精度遠遠不能達到應用的要求。另一方面基於積分方程的多層快速多極子方法是一種求解電磁散射問題的快速演算法。
  13. According to those practical problems mentioned above, this subject mainly deals with problems as follow : 1 ) carrying out lots of theoretical experiments and systematizing some theory knowledge of the detecting system. 2 ) studying the correlativity between the referring signal and the primary signal of the adaptive filter. 3 ) studying the effects of constraining the self - dithering interference based on fixed step - size ( fss ) and variable step - size ( vss ) lms algorithms. 4 ) designing the subsystem including hardware and software, developing the software and optimizing the adaptive algorithms for constraining the self - dithering interference of the non - contact life - parameter detection system

    本課題根據實際中出現的上述問題，主要從事了以下工作： 1 、非接觸生命參數檢測系統的原理性實驗、野外實驗及部分理論知識的整理； 2 、自適應處理參考信號與原始信號相關性的研究； 3 、基於固定步長和可變步長兩類lms自適應演算法抑制非接觸生命參數檢測系統自抖動干擾效果的研究； 4 、非接觸生命參數檢測系統自抖動于擾抑制系統設計、軟體研製和演算法的優化。
  14. Bassing on the theory of equivalent calculates, this paper utilizes the data structure and c + + program design language, to analyze the logic structure of proposition formula, designs the saving structu - re that use the broad sense menu chained list, and explored to beg for in this foundation how to carry out its basic operation, thus and further clarifying the computer implementation algorithm of the complicated equivalent calculation

    本文針對等值演算理論，通過數據結構和c + +程序設計語言，分析了命題公式的邏輯結構，設計出用廣義表單鏈表的存儲結構，並在此基礎上探討了如何實現其基本操作，從而進一步闡明了復雜等值演算的計算機實現演算法。
  15. This paper presents the realization of the non - revision method which is based on proposition logic

    本文將定量非修正處理方法建立在命題邏輯意義下，給出其實現演算法。
  16. 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上的等值和互推公式，這對于處理不完全信息數據庫的查詢優化有著重要作用。
  17. In 1996, professor wang guojun built formal deductive system l * of fuzzy prepositional calculus, then in the frame of system l *, constructed the logical base for fuzfcy reasoning rules from sematics

    王國俊教授於1996年建立了模糊命題演算的形式系統l ~ * ，之後在系統l ~ *的框架中，從語義上為模糊推理規則構建了邏輯基礎。
  18. 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的（弱）完備性
  19. This paper proposed a problem - solving theory based formal model, introduced the basic syntax and p - calculus based semantics of the model, and presented some pivotal concepts and propositions in the deduction of the model

    摘要提出了一種基於問題求解理論的密碼協議模型，給出了模型的基本語法以及基於演算的形式語義，明確了模型推理過程中涉及到的一些關鍵性的概念和命題。
  20. This paper shows three aspects as follow : 1. an algorithm of attribute reduction based on discernibility matrix - - - - ardm is presented. through analyzing to the algorithm of attribute reduction based on discernibility matrix, the facts that affect time efficiency are found, and the absorptivity in the proposition calculation is used to the process of constructing the discernibility matrix, then the effectless repeated elements are deleted, accordingly the efficiency of attribute reduction is improved

    本文的主要研究成果有以下三個方面： 1 .提出了一種基於區分矩陣的屬性約簡演算法ardm通過對基於區分矩陣的屬性約簡演算法進行分析，找出影響時間效率的因素並將命題演算中的吸收率用於構造區分矩陣的過程中，從而去掉了在區分函數中不起作用的「重復」元素，提高了屬性約簡的效率。
分享友人
分享到 Line

分享到臉書