等值命題 的英文怎麼說
中文拼音 [děngzhímìngtí]
等值命題
英文
biconditional proposition-
The meaningfulness and exploring inbeing of learning and its being an individual experience and etc. when " inquiry learning " is seen as an idea of learning, it should be superior to other orientations because that it has being in itself for a long time and is a new time spirit for us when pondering the basic education
本文還具體談到「研究性學習」作為一種新的學習理念的事實判斷和價值判斷，如「研究性學習」早已存在的事實、時代呼喚學習革命、 「研究性學習」作為學習理念優于其他定位等。基於上述分析，本研究也重點探討了「研究性學習」理念的實踐問題。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法，蒙特卡羅方法，與地下水資源變值系統理論相結合，探討了地下水動態資料分析和地下水資源預測預報的新思路；綜合分析了現今各類地下水管理模型的特點及缺陷，將數學規劃、數理統計、隨機過程等與地下水變值系統理論相結合進行地表水地下水或多水源的聯合優化調度，使模型更準確、更實用；對保證地下水資源可持續開發的內部條件和外部條件進行了分析，內部河海人學博卜學位論文前言、摘要、目錄條件主要是正確的資源觀，科學的資源計算與評價方法，可靠的資源預測預報技術，可操作的資源管理措施，外部條件主要是高層發展思路、管理體制的變革、配套的政策法規、經濟杠桿的調節、人文素質的提高、節水意識的增強及具體節水措施、人口增長的控制、水體污染的防治、生態的恢復和重建等;從宇宙科學、地球系統科學及哲學的高度審視地下水資源的可持續開發;指出了地下水資源可持續開發的進一步研究方向。Questions about whether the adsorbent is endurable and whether the adsorption refrigeration equipment has effect on the performance of diesel are answered with theoretical analysis and test. numerical simulation is used in optimum design of adsorbent bed of an adsorption refrigeration prototype which is driven by exhaust heat of gas electric generator
分析了吸附製冷系統是否增加內燃機能耗和吸附劑使用壽命等問題，並採用數值模擬方法，對以燃氣渦輪發電機尾氣為熱源的吸附式製冷樣機，進行了吸附床結構的優化設計。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
本文的工作是在徐揚教授、秦克雲教授等研究成果的基礎上，對格蘊涵代數的性質、結構、格值命題邏輯系統中的重言式、自動推理方法、格值命題邏輯系統等進行了一些研究。A new prestressed bowshaped structure strain multiplier was designed to solve problem which strain amplitude is much lower than the threshold of fatigue life gage, and this strain multiplier take the advantages of entire structure, lower stiffness, good reliability and convenience to use
設計出一種弓形預應力結構應變倍增器，解決了橋梁應變幅值遠遠低於疲勞壽命計門檻值這一關鍵問題，此倍增器具有整體性強、剛度低、可靠性好、使用方便等優點。Then the application of cauchy - inequality is illustrated by proving a proposition or an inequation, solving a triangle, and finding a solution to an equation or the maximum value & minimum value of a function
然後給出了柯西不等式在命題證明、不等式證明、求解三角形問題、函數最值、解方程等方面的應用。It brings in main financing structure theories, such as durand theory, mm theory, trade - off theory, and informational asymmetry theory and illustrates and comments on their basic viewpoints, propositions, and related hypotheses. although they possess considerable theoretical value, they are subject to challenges from practice now and then. generally speaking, they are far from perfection
本章介紹了durand融資結構理論、 mm理論、權衡理論、不對稱信息理論等主要融資結構理論，闡述了這些理論的基本觀點、命題及其相關假設，並對這些理論進行了評述，總體上說，這些理論具有相當的理論價值，但在實踐中仍不時受到挑戰，融資結構理論遠未完善。Upon backgrounds of the research, academic points and so on, chinese and foreign academic circles have much in differences at the same time. starting with the basic hypothesis like " " spirit " and " " motivation ", this thesis brings out a new concept of spiritual motivation and holds the - view that corresponded with the material motivation ; spiritual motivation is the basic means of mental reconstruction and behavior improvement. it ' s a conduct mechanism of the transformation " from knowledge to practice ", a direct way of transforming the morale value and releasing the energy of spirit
學界關于精神激勵的學術成果較少，且散見于不同的學科領域，在研究背景、學術觀點等方面中西方又有分野，本文從「精神」和「激勵」等基本命題著手，提出精神激勵新概念，認為精神激勵是與物質激勵相對應的精神構建和行為驅動的基本方式，是「知?行」轉化的誘發機制，也是精神價值轉換和能量釋放的直接途徑，它揭示精神與行為的相關性，表徵精神因素對個體行為選擇的干預和影響。The immersion electrical heater is chiefly applied in the direct contact mode of fluid heating. it features fast heat exchange and high thermal efficiency. it has the varieties of water heater, oil heater and gas heater. its heating element power density, i. e. the power per unit of heating area of the heating element, is an important parameter of the electrical heating element, which has a direct bearing on the performance and working life. the working out of the value is a highly specialized problem, being under the influence of many factors ( media flow rate, tempt, physical and chemical properties and direction in which the medium flows past the element etc )
浸入式電加熱器主要用於直接對流體接觸加熱的場合，具有熱交換快，熱效率高等特點，分為水用加熱器、油用加熱器、氣體用加熱器，加熱元件的功率密度：即電加熱元件單位發熱面積上的功率，它是電加熱元件極重要的參數，直接影響加熱器的使用性能及使用壽命，它的取值是一個非常專業的問題，受到許多因素的影響（如介質的流速、溫度、物理和化學性質及介質流過加熱元件的方向等等） 。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 + +程序設計語言，分析了命題公式的邏輯結構，設計出用廣義表單鏈表的存儲結構，並在此基礎上探討了如何實現其基本操作，從而進一步闡明了復雜等值演算的計算機實現演算法。Every logical model defined on the continuous interval [ 0, 1 ] alters continuously following generalized correlative coefficient he [ 0, l ] and generalized self - correlative coefficient he [ 0, l ]. for example fuzzy logic is only one of the exceptions of gl when h = l. firstly, in this paper it is described that gpl and, or and negation operations can be realized mathematics using a few of forms, such as exponential form, polymorphous form and triangular function form
由於在建立命題泛邏輯學時，包含了已知各種命題邏輯的邏輯學要素（如真值域，命題連接詞等） ，而在每一個邏輯學要素中又包含了已知的全部可能性（如從最大負誤差到最大正誤差等） ，所以不僅已知的各種命題邏輯是命題泛邏輯學的特例，而且還可以生成新的命題邏輯。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上的等值和互推公式，這對于處理不完全信息數據庫的查詢優化有著重要作用。To standardize thi s means of psc inspection and to increase its vitality and to fulfill the purpose of protecting the life at sea & preventing the sea pollution and also to pursue the value of the relative laws of the port state and the international conventions, the thesis made the following research and study : the stardy on the conventions and resolutions of the international maritime organizations, and choosing the relative clauses and content from the convention which is related to the port state control ; summing up the laws and the procedures on which the port state control was based ; conparison on the application and the limitations of the conwentions in deferent port state ; analysis on the technical specifications of the psc inspection ; discussion on the questions met carrying out the psc inspection ; the duties and the rights of the relative parties under the present psc legal systerm ; discussion on the urgency and necessity of the legislation
本文通過對國際海事組織相關的公約和決議的學習，擇取公約中與港口國監督相關的條款和內容；綜合港口國監督的法律依據，港口國監督的程序；比較各公約在港口國監督實施的適用情況、制約性；分析港口國監督檢查的技術規范；探討研究在實施港口國監督過程中遇到的問題；討論目前港口國監督法律體系相關利益群體的權利和義務；論述港口國監督立法的緊迫性和必要性；以期規范這種監督手段，增強生命力，真廳達到保障海人命安全和聽止海洋污染的l ； l的，追求港！囚監督法規及公約等國際法規的價值。Unauthorized developments ( uds ) contribute to environmental degradation in the rural areas causing nuisances to local community and damage to habitats of ecologically sensitive areas, and in particular, have created a number of problems such as flooding hazard, air and water pollution, traffic congestion and safety problem ; and even threat to life and property
違例發展導致鄉郊地區的環境質素下降，除了滋擾區內居民外，還破壞生態易受影響地區的生境，引起不少問題，其中以水浸、空氣污染、水質污染、交通擠塞和安全等問題，尤其值得關注。此外，違例發展還會危及公眾的生命和財產。The relation between the philosophy and true - life can be outspreaded through such issues as philosophy and demos, philosophy and social practice, truth and value, knowledge and belief, rationality and non - rationality, vision of philosophers
哲學與現實生活的關系可以通過哲學與民眾、哲學與社會實踐、真理與價值、知識與信仰、理性與非理性、哲學家的使命感等問題展開出來。In this thesis, the strain - hardening model of contact surface layer, the numerical theories and computational methods for shakedown analyses of contact body are systematically studied and applied to the aero - gear. the mentality is that the effects of the surface hardening and contact fatigue on contact surface layer under cycle contact loading are investigated by using shakedown analysis methods considering in a quantitative way the details of stress - inelastic strain responses, residual stress and residual strain computations
在國家「航空基金」 、 「總裝預研基金」等課題的資助下，本文以接觸體安定分析與接觸表面層疲勞裂紋萌生壽命預測一般演算法研究為手段，深入、系統研究了接觸體安定分析的數值理論和計算方法，全面研究了影響航空齒輪表面強化層失效的原因並提出了齒輪表面強化層裂紋萌生壽命的預測方法。With the rapid development of modern computer science and information technology, and with the marvelous renovation of image identification, mtt comes out into the open and is of great practical value in the field of military defence, medical research, traffic monitoring, astronomical prediction, intelligent supervision etc. particle filter, as a nonlinear filtering based on bayesian estimate, has an advantage in the field of nonlinear moving target tracking
隨著現代計算機和信息技術的飛速發展及圖形識別演算法的革命性改進，多目標的實時追蹤技術脫穎而出，在軍事國防、交通監視、天文預測、智能監控等領域有著非常重要的實用價值。粒子濾波作為一種基於貝葉斯估計的非線性濾波演算法，在處理非線性運動目標跟蹤問題方面有獨到的優勢。The case analysis is consist of five parts, the first is the foundation, i. e. the strategy theory view of base on resources, of writing paper theory. the strategy question is, the second, consist of corporation mission and conditions of carrying value. the third is analyzing feasibility by industry circumstance analysis, boter ' s five compete forces, strategy groups, swot, value chain from industry ' s foreground and corporation ' s resources
案例分析分為五部分，第一部分為論文寫作的理論依據：基於資源和范圍的戰略理論，第二部分提出公司所面臨的戰略問題，分公司使命和實現價值創造的條件兩章闡述，第三部分是可行性分析，運用行業環境分析、波特的五種競爭力量、戰略群體、 swot 、價值鏈等分析方法分別從行業前景和公司資源進行分析論述，第四部分是戰略體系的選擇，分別是競爭戰略選擇分析和營造競爭優勢，第五部分為戰略實施建議。分享友人