模態命題 的英文怎麼說

中文拼音 [mótàimìngtí]
模態命題 英文
modal proposition
  • 模 : 模名詞1. （模子） mould; pattern; matrix 2. （姓氏） a surname
  • 態 : 名詞1. （形狀; 狀態） form; condition; appearance 2. [物理學] （物質結構的狀態或階段） state 3. [語言學] （一種語法范疇） voice
  • 題 : Ⅰ名詞1. （題目） subject; title; topic; problem 2. （姓氏） a surname Ⅱ動詞（寫上） inscribe; write
  • 命題 : 1 （出題目） assign a topic; set a question 2 [邏輯學] （表達判斷的句子） proposition; statement;...
  1. First, the theory of fretting wear and studies on fretting fatigue were introduced and the parametric method was used in the process of creating the model of dovetail joints in ug software. the elastic contact problem is analyzed in finite element method ( fem ) and is used to the parameters " distribution and contact stress of the joint are obtained on the base of ansys code. with the effect factor of load frequency, the prediction method of fretting fatigue life of dovetail joint under low and high / low cycle complex load is proposed

    本文介紹了微動損傷的機理和微動疲勞壽命的研究方法；利用ug軟體對燕尾榫聯接結構創建了參數化實體模型；基於ansys軟體平臺求解彈性接觸問題，獲得了榫聯接結構接觸應力及接觸狀態量的分佈；在已有微動疲勞壽命預測模型的基礎上，引入載荷頻率影響因子，對低周、高低周復合載荷作用下的燕尾榫聯接結構進行了微動疲勞壽命的預測，與試驗結果對比表明採用本文提出的方法預測榫聯接結構的微動疲勞壽命是有效的。
  2. Part three the study of lattice - valued modal first - order logic system and its resolution principle in this part, we introduced quantifiers and predicate into lmp ( x ), put up lattice - valued modal first - order logic system lmf ( x ), and gave its semantic interpretation and syntax structure, proved soundness theorem and consistence theorem. moreover, in order to judge the satisfiability of formula, defined skolem standard type and h - interpretation. based on these work, made a primary discussion of a - resolution principle based on lmf ( x )

    第三部分：關于格值模態一階邏輯系統及其歸結原理的研究第n頁西南交通大學博士研究生學位論文這一部分主要是在格值模態命題邏輯系統lmp隊）中引進量詞和謂詞，建立格值模態一階邏輯系統lmf （廣並給出其語又解釋和語法結構，證明了系統的可靠性和協調性；另外，為了判斷公式的可滿足性，定義了格值模態一階公式的skolem標準型和體解釋；在此基礎上，對基於系統lmf （ ）的a一歸結原理進行了初步探討
  3. 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法，蒙特卡羅方法，與地下水資源變值系統理論相結合，探討了地下水動態資料分析和地下水資源預測預報的新思路；綜合分析了現今各類地下水管理模型的特點及缺陷，將數學規劃、數理統計、隨機過程等與地下水變值系統理論相結合進行地表水地下水或多水源的聯合優化調度，使模型更準確、更實用；對保證地下水資源可持續開發的內部條件和外部條件進行了分析，內部河海人學博卜學位論文前言、摘要、目錄條件主要是正確的資源觀，科學的資源計算與評價方法，可靠的資源預測預報技術，可操作的資源管理措施，外部條件主要是高層發展思路、管理體制的變革、配套的政策法規、經濟杠桿的調節、人文素質的提高、節水意識的增強及具體節水措施、人口增長的控制、水體污染的防治、生態的恢復和重建等;從宇宙科學、地球系統科學及哲學的高度審視地下水資源的可持續開發;指出了地下水資源可持續開發的進一步研究方向。
  4. 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網的時間特性分析演算法，用於單機具體工況下的剩餘壽命預測。
  5. Up to now, there has been ten years for the research of dynamic fuzzy logic ( dfl ) and a series of achievements have been made. in order to further expand the applications of dfl, this thesis followed dijkstra ’ s guarded commands and put forward an operational semantics model of dfl programming language which can solve dynamic fuzzy problems

    動態模糊邏輯（ dfl ）的研究已有十年的時間了，目前已取得了一系列研究成果，為了進一步拓展這些研究成果的應用，本文借鑒dijkstra的監督命令程序結構，通過結構化操作語義描述方法從軟體理論方面進行研究，提出了動態模糊邏輯程序設計語言（ dflprogramminglanguage ）的操作語義模型，以期形成解決動態模糊性問題的程序設計方法。
  6. Targeting to the real requirements of refrigerator production in the strong competition of the current globalised marketplace, this thesis introduced the principle of the agile virtual enterprise into new refrigerator development project to meet the diverse needs of customers. based on the idea of concurrent engineering ( ce ), new product development must be taken into consideration in order to adapt the rapid marketing change, to obtain agile responsiveness and reduce the time to market, to achieve lower price and better product quality and high chance to hit target

    本課題的研究針對美的冰箱項目的實際需要，根據當前冰箱市場競爭的態勢，把敏捷虛擬企業的理論運用美的冰箱項目oem模式之中，根據市場需求的多樣性，提出了新產品開發模式必須適應市場需求，快速反應，開發周期要短，性價比要優，命中率要高，因此必須引入敏捷開發模式。
  7. 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融合估計演算法，主要包括以下三個方面的問題，即:威布爾分佈模型選擇、多源驗前信息的威布爾分佈參數的驗後分布、不同環境下的威布爾分佈參數的動態建模方法。
  8. The main research work and achievements in the dissertation are given as follows : 1 using dynamic programming techniques and two different criterions ( maximum probability of hit criterion and maximum expected no. of penetrators criterion ), the author investigates optimal allocation of tactical missiles between a primary target and a secondary target under the condition that the primary target is defended by the secondary target ( only " normal " defensive mode can be used by the defender ), presents the optimal policy of tactical missiles attacking the primary target

    本文所進行的研究工作和取得的創新性成果主要為： 1利用動態規劃理論和兩個不同的準則（最大命中概率準則和最大期望突防數量準則） ，研究了一個主要目標在一個次要目標防衛下（次要目標採用「常規」防守模式） ，戰術導彈對這兩個目標打擊的優化分配問題，給出了導彈對目標打擊的最優分配策略。
  9. 2 based on dynamic programming techniques, using three different criterions ( maximum probability of hit criterion, maximum expected no. of penetrators criterion, and minimum expected cost criterion ), the author investigates optimal allocation of tactical missiles between a ( several ) primary target ( s ) and several secondary targets under the condition that the primary target ( s ) is defended by the secondary targets ( only " normal " defensive mode can be used by the defender ). the optimal allocation policies of tactical missiles between the primary target ( s ) and the secondary targets are given

    2基於動態規劃理論，採用三個不同的準則（最大命中概率準則、最大期望突防數量準則以及最小期望費用準則） ，研究了一個和多個主要目標在多個次要目標防衛下（次要目標採用「常規」防守模式） ，戰術導彈對這兩類目標打擊的優化分配問題，給出了導彈對目標打擊的最優分配策略。
  10. The bottleneck problem that has long obstructed possible breakthroughs in chinese language teaching is that the established subject - object thinking pattern reduces the teaching process to teachers " one - way conveyance of knowledge, and further on makes it a lifeless monologue. this to a certain extent goes against the basic law of chinese language teaching

    長期以來困擾語文教學取得突破性進展的瓶頸問題是：以主? ?客單一的思維模式把語文教學看作是教師單向的傳輸過程，從而導致語文教學呈現出死氣沉沉的獨語狀態，與本應充滿生命活力、其樂融融的語文教學的本真狀態大相徑庭，在一定程度上背離了語文教學的本質規律。
  11. From the angle of utility of environmental resources, it points out that the reality of conflicts between the environment and the economy results from the competition between the productive utility and the survival utility of environmental resources. it puts forward that it is the key to sustainable development of the environment to achieve equilibrium of two kinds of utility. it also studies the character of dynamic equilibrium between the sustainable developing environment with the economy and works out a dynamic equilibrium model in all conditions

    第二部分主要是論文的第二章，研究了可持續發展關于環境的命題，從環境資源的效用研究角度，提出了環境與經濟之間沖突的實質，是環境資源的「生產性效用」和「生存性效用」之間的競爭性引起的觀點；揭示了環境資源兩種效用沖突引起環境與經濟沖突的現實表現，指出實現兩種效用的均衡是實現環境可持續發展的關鍵；研究了可持續發展環境與經濟的動態均衡特性，提出了各種狀態下的動態均衡模型，本部分的研究為研究環境政策提供了理論依據。
  12. 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

    把近代最優控制論方法引入軸流透平葉片的設計，在優化的軸流透平子午通道內，建立包括透平級內所有性能參量的最優流型命題的完整的物理模型及其數學表達式，並歸化為一個在給定初始狀態、自變量終端固定、部分狀態變量終端受有約束的條件下，使級的某一性能指標（如級的功率）達到最優的最優控制問題，應用「代價函數法」及「共軛梯度法」編制計算程序，計算得到符合給定約束條件、並使目標函數取極值的最優環量分佈，結果是令人滿意的。
  13. The classification of propositions on the basis of whether they assert or deny the possibility, impossibility, contingency, or necessity of their content

    模態邏輯命題的限制條件，建立在其內容的肯定或否定其可能性，不可能性，偶然性或必然性基礎之上
  14. Based on lattice - valued propositional logic system lp ( x ) and lattice - valued first - order logic system lf ( x ), the author studied semantic and syntax properties of generalized lattice - valued modal logic system, and probed into a - resolution principle. the specific contents are as follows : part one the study of lattice - valued modal propositional logic system and its resolution method in this part, we introduced modal operators n ( necessary ) and p ( possible ) into lattice - valued propositional logic system lp ( x ), set up a new lattice - valued modal propositional logic system lmp ( x ), studied its semantic properties and syntax structure, proved the soundness and consistence of this system. based on these work, discussed a - resolution principle of lattice - valued modal propositional logic system lmp ( x ), gave out the rules of computing a - direct resolvent and a - self resolvent, and proposed detailed resolution method

    本文在格值命題邏輯系統lp （ x ）和格值一階邏輯系統lf （ x ）的基礎上，討論了廣義格值模態邏輯系統的語義及語法性質，並對其-歸結原理做了初步探討，主要在下述三個方面取得了研究成果：第一部分：關于格值模態命題邏輯系統及其歸結方法的研究在此部分，把模態運算元n （必然）和p （可能）引入格值命題邏輯系統lp （ x ） ，建立了新的格值模態命題邏輯系統lmp （ x ） ，並研究了它的語義刻畫及語法結構，證明了在此語義解釋和語法框架下的系統仍是-可靠的和協調的；在此基礎上，進一步研究了基於格值模態命題邏輯系統lmp （ x ）的-歸結原理，給出了計算-直接歸結式和-自歸結式的規則，並總結出具體的歸結方法。
  15. In practical application, the m10 180 bolts, which are installed in the head cover of the torque divider of ts5560 special automobile, sometimes fracture all of a sudden. according to the tests of acceleration, stress and strain, and the exciting test, it is resonance vibration that leads to the compound - bending fatigue fracture of the bolts. the exciting force caused by drive system, transmitted through the torque divider, produces a 1000 - 1500hz cyclical excitation at the junction of the bolts and head cover, which causes the first order bending resonance vibration of the bolts

    通過加速度、應力應變測試實驗和激振試驗的研究，發現ts5560特種車分動器取力器氣缸端蓋m10 180螺栓斷裂問題是由於共振引起的雙向彎曲疲勞斷裂：傳動系統工作所產生的激勵，經過分動器結構的傳遞（特別是分動器一階扭轉模態的放大） ，在螺栓的連接處產生1000 1500hz的振動激勵，其導致螺栓一階彎曲共振，在螺栓一階彎曲模態的阻尼比較小的情況下，使得螺栓產生較大的共振響應，導致螺紋處的彎曲動應力較大，疲勞壽命較低。
  16. In first part of the thesis, by a review of the research on aircraft sonic fatigue, the formulas for calculating natural frequencies of the typical aircraft skin - panel structure with four edges simply - supported or four edges fixed - supported were drawn, the response of displacement and stress was analysed under the condition of random white noise loading with the steady - state or unsteady - state. the procedure how to use data of s - n curve under constant loading for predicating the fatigue life of skin - panel subjected to random loading was shown

    通過對聲疲勞問題研究的回顧，根據典型飛機蒙皮壁板模型，整理了四邊固支，四邊簡支兩種邊界條件下多階模態固有頻率，非平穩及平穩隨機白噪聲載荷下的位移和應力響應，以及如何從等幅s ? n曲線求得隨機載荷應力下的疲勞壽命。
  17. Formal reasoning system based on fuzzy propositional modal logic

    基於模糊命題模態邏輯的形式推理系統
  18. The options in command mode are broad and varied, and they are the subject of a number of book - length texts

    在命令模態的選擇項是寬廣又不同的，而且他們是一些書長文本的主題。
  19. Furthermore, in the original of michael porter, analysis was made on the strategic efficiency based on a given value chain, with no emphasis on the strategic basis of the value chain structure. this was perhaps the main reason of miss - reading, misunderstanding and misusing of the value chain by the business circle or even the academic circle. confronting with this blank in the research area and the present status of the mechanical application, conscientiously or non - conscientiously, of the concept, this paper set forth a goal of clarifying the relation of strategy and value chain and of laying a solid foundation for the value chain structure

    為此本文以嚴守價值鏈的基本概念的態度，遵循企業經營管理展開始於戰略的基本路徑，沿著價值鏈的構造必須建築于深入的戰略分析研究的基礎之上的思路，展開了對價值鏈優化構造的戰略基礎這一命題的研究，並以價值鏈是應對激烈競爭、改變傳統經營模式和恢復或提升競爭能力的現實要求中產生的研究結果作為引導，通過正確的解釋價值鏈的概念、結構和性質，告訴試圖應用價值鏈以解決企業經營實際問題的企業家和管理者們，價值鏈是一個將企業/事業競爭戰略與戰略實施展開的底層作業結合在一起的模式框架，所以缺失了哪一個層面的細致深入的研究而構造的價值鏈都不可能具有內在的有效性。
  20. In this par t, we mainly discuss production systems whose left part is a fuzzy phenomenon, but right part is a state or proposition. especially, right with certain factor

    在本文中我們主要針對產生式的左部是一模糊現象，而右部是一個狀態或命題的形式進行討論，特別是右部帶有可信度的形式。
分享友人
分享到 Line

分享到臉書