命題的合取 的英文怎麼說
中文拼音 [mìngtídegěqǔ]
命題的合取
英文
conjunction of propositions- 題 : Ⅰ名詞1. (題目) subject; title; topic; problem 2. (姓氏) a surname Ⅱ動詞(寫上) inscribe; write
- 的 : 4次方是 The fourth power of 2 is direction
- 合 : 合量詞(容量單位) ge, a unit of dry measure for grain (=1 decilitre)
- 取 : Ⅰ動詞1 (拿到身邊) take; get; fetch 2 (得到; 招致) aim at; seek 3 (採取; 選取) adopt; assume...
- 命題 : 1 (出題目) assign a topic; set a question 2 [邏輯學] (表達判斷的句子) proposition; statement;...
-
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 ]的基礎上,給出了命題邏輯中任一命題公式的主析取範式和主合取範式的自動生成演算法,並實現了多個命題公式主範式的同時形式化輸出。Lenis explains the basic concepts of how to create non - toxic meals ( this type of cooking is sometimes called slow food or low temperature cooking ) then goes to the kitchen where everyone gets a hand on experience of how to make delicious foods that are quick, easy, and healthy. you will also learn the basics of nutrition including eating for blood sugar and metabolism regulation ( key for weight control ), protein and carbohydrate requirements, healthy fat intake, vitamin and mineral requirements, calorie counting methods, understanding the effects of alcohol, identifying sources of toxins, and many important subjects for healthy nutrition
您也會學習到有關于營養的基本知識,包括能控制體重的血糖和新陳代謝機制的飲食方法、蛋白質和碳水化合物、健康脂肪、維他命及礦物質的正確攝取量,和計算熱量的方法,並且能夠理解酒精對人體的影響、認識毒素的來源還有許多有關于營養健康的議題。After generalizing the characteristic of modern equipment, the mission of equipment management and general situation of chinese equipment management, basied on two forms of equipment management - - - - - - practicality & value, the author combined quantitative & qualitative methods with example to analyze and discuss questions, especially the reasonable update & depreciation, accordingly achieving the optimization of the technical efficiency & economic benefit 0 one of emphases of the thesis is methods application of equipment reasonable update, that is starting with economic benefit to looking for reasonable using fixed number of year. the thesis used inferior - converted numeric method and rate equation which based on the theory square and combined with harbor loading machines & tugboat ' s actual facts, calculated the economic life of the same machine in order to make sure harbor machines " reasonable using fixed number of year. at the same time, the author made use of midpoint value regress method and stochastic trapeziform forecast method to calculate and analyze and gain the reasonable conclusion o the other emphases is questions of harbor equipment
本文概括介紹了現代設備的特點、設備管理的任務以及我國設備管理發展的概況后,作者從設備經濟管理的兩種形態? ?實物形態和價值形態出發,採取定量與定性相結合,以定量為主,結合實例進行分析與論述,對港口設備的合理更新與折舊問題進行了著重研究,從而實現設備的技術效能和經濟效益的最優化。本文研究的重點之一是設備合理更新的方法應用,即從經濟效益出發,來尋求設備的合理使用年限。本文結合港口裝卸機械和港作拖輪的實際,運用以正方形理論為基礎的低劣化數值法和費用方程兩種方法,計算了同一種機械設備的經濟壽命,從而確定港機合理的使用年限,同時,運用了中點值回歸法和隨機梯形預測法進行計算和分析,得到了合理的結論。In order to adapting to the challenge of new military revolution oriented from the information technique, speed up our army information - based construction, the thesis make a design of the conducting and controlling network in the armor mechanization troops. included in the “ group army information - based experiment for military revolution ”, according to the basic regulation of the information processing, the network breaks the original tree - scheme network structure and sets up a principle grid architecture, which realizes the platform of vehicle - to - vehicle, crossing organization or arms of services, and meets the command of synthesizing function unit, integrating system and sharing the information and network construction in the transformation period of army constructing, by the means of obtaining, delivering, processing, utilizing and feed - backing information
為適應以信息技術為核心的世界新軍事革命的挑戰,加快我軍信息化建設,本課題就適應轉型期的陸軍指揮控制網路建設的需求,在集團軍小型試驗群架構下,對裝甲機械化部隊野戰指揮控制網路進行設計,旨在打破原有的樹型結構,按照信息流程的基本規律,構建一個縱向到單車、橫向跨建制與兵種,具備信息獲取、信息傳輸、信息處理、信息使用和信息反饋功能的原理性區域柵格狀的新型指揮控制網路,實現功能綜合化、系統一體化、信息共享化的要求。Based on the current research achievements on durability under chloride environment, probability theory, structural reliability theory, concrete structures theory, neural network theory and structure dynamic theory are employed comprehensively in this dissertation. some problems of durability of reinforced concrete structures under chloride environment were studied through the exploitation of experimental data, the rule of chloride ingress and steel bar corrosion, the performance of corroded member, and residual life prediction. the main issues and results in this dissertation are as follows : 1 、 the probability method for the prediction of durable life based on the stipulated reliability index for concrete structures under chloride environment is presented in this dissertation
本論文在國內外對氯離子侵蝕環境下混凝土結構耐久性研究成果的基礎上,綜合運用概率理論、結構可靠性理論、混凝土結構理論、神經網路理論、結構動力學理論等基本理論和方法,結合實際檢測數據,按照氯離子侵蝕、鋼筋銹蝕、銹蝕構件性能、銹蝕構件壽命預測的思路對氯離子侵蝕環境下鋼筋混凝土結構耐久壽命預測的有關問題進行了深入系統地研究,完成以下主要研究工作並取得相應成果: 1 、提出了氯離子侵蝕下基於規定可靠指標的混凝土結構耐久壽命的概率計算方法。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
把近代最優控制論方法引入軸流透平葉片的設計,在優化的軸流透平子午通道內,建立包括透平級內所有性能參量的最優流型命題的完整的物理模型及其數學表達式,並歸化為一個在給定初始狀態、自變量終端固定、部分狀態變量終端受有約束的條件下,使級的某一性能指標(如級的功率)達到最優的最優控制問題,應用「代價函數法」及「共軛梯度法」編制計算程序,計算得到符合給定約束條件、並使目標函數取極值的最優環量分佈,結果是令人滿意的。Using the strain gauge to acquire data of the stress time history under current operating condition on the critical location of the vane wheel, and using the fatigue theory to evaluate its residual working life is one of the effective engineering methods on fatigue problems study
摘要通過在葉片危險部位粘貼應變片進行數據採集以獲取其在當前運行工況下的應力時間歷程,結合疲勞理論來預估其剩餘工作壽命是工程中有效的疲勞問題研究方法。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 )
浸入式電加熱器主要用於直接對流體接觸加熱的場合,具有熱交換快,熱效率高等特點,分為水用加熱器、油用加熱器、氣體用加熱器,加熱元件的功率密度:即電加熱元件單位發熱面積上的功率,它是電加熱元件極重要的參數,直接影響加熱器的使用性能及使用壽命,它的取值是一個非常專業的問題,受到許多因素的影響(如介質的流速、溫度、物理和化學性質及介質流過加熱元件的方向等等) 。A method of co - simulation based fatigue life prediction was put forward to resolve the problems of parts operating mechanism analysis, such as load - time - history extracting
摘要針對運動機構部件多軸疲勞載荷歷程提取困難等問題,提出了基於聯合模擬的疲勞壽命預測方法。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的,追求港!囚監督法規及公約等國際法規的價值。In prepositional calculus, the property is new arrangement of simple statements in a clause or a term
返口到p中來看,這種「特殊性」實質上是對p中於句或者合取式中的原子命題的一種重新排列。Conjunction of propositions
命題的合取The profound question existing in the current schooling in china is the overlook to the individual life, and the reform on schooling shows the characteristics of segregation and superficiality the statu quo that reflects the great dislocation between value - direction and transition challenges us to have a theoretical study on value - direction in schooling in china
當代中國現有學校教育的深層次問題正是在於對個體生命的忽視,而現有的學校教育改革又體現出分散和流於表面的特徵。這種現狀體現出價值取向與時代轉型間的巨大錯位,迫切需要進行認真的理論研究,以合理地重建當代中國學校教育的價值取向。At the same time j2ee platform technologies are discussed deeply, such as j2ee platform technologies, communication technologies, ejb component technologies and so on. the design model based on the mvc frame is applied in the system development, so that the separation between the present logic and the business logic in the application is realized. finally, according to the problems found in the development process, the paper explains particularly the kay technologies in the realization : the uniform naming service is realized by realizing the service locator partten using the value object pattern, all the status data is encapsulated into a serializable object, then transferred among the client, sessionbean and entitybean in order to decrease the potential network traffic caused by reference of entitybean ; in order to improve the performance of data storing and taking, we introduce the facade model to escapsulate the ejbs which delegate the data model
本論文結合了杭州市財政局的會計人員從業資格管理系統的升級項目,研究了基於j2ee的ejb組件模型的多層分散式體系結構的設計與實現:深入探討了三種分散式處理技術( rmi , corba , com )的區別,將j2ee平臺的ejb技術與windowsdna體系的com +技術從多個角度進行了比較;詳細闡述了在系統開發過程中j2ee平臺的幾項核心技術(如: j2ee平臺的服務技術、通信技術、 ejb組件技術等)的應用;引入了源於mvc三部件框架的設計模式,實現了應用中表現邏輯與業務邏輯的分離;最後,結合在開發過程中遇到的問題,詳細解釋了開發過程中實現的關鍵點:用servicelocator模式實現了統一的命名服務管理;運用valueobject模式將所有狀態數據包裝成一個可序列化對象vo ,然後在客戶機、 sessionbean與entitybean之間傳遞,減少了使用實體bean造成的潛在網路通信量;以及引入sessionfacade模式,用sessionbean封裝了entitybean ,改善了數據存取的性能。Specimen of typical hard spot in aluminum alloy die casting is analyzed. the cause for formation of hard spots is discussed and effective methods to prevent hard spot are proposed
切削加工鋁合金壓鑄件時,經常會碰到硬質點打刀現象,嚴重影響刀具壽命和加工質量,針對這個問題,對壓鑄件中出現的典型硬質點取樣分析,探討了硬質點的形成原因,並提出了有效的解決措施。分享友人