本原命題 的英文怎麼說

中文拼音 [běnyuánmìngtí]
本原命題 英文
primary sons
  • 本 : i 名詞1 （草木的莖或根）stem or root of plants 2 （事物的根源）foundation; origin; basis 3 （本錢...
  • 原 : Ⅰ形容詞1 （最初的; 原來的） primary; original; former 2 （沒有加工的） unprocessed; raw Ⅱ動詞（原...
  • 題 : Ⅰ名詞1. （題目） subject; title; topic; problem 2. （姓氏） a surname Ⅱ動詞（寫上） inscribe; write
  • 命題 : 1 （出題目） assign a topic; set a question 2 [邏輯學] （表達判斷的句子） proposition; statement;...
  1. During the research of this paper, the author try to find out the institutional evaluationary theory, the transition theory and the reasonable part of policies of the northeast district transition, and make the research rooted in the actuality relatively lagging of the development and transition of the economy in the northeast district. this paper creates the theoretical framework and countermeasures of the integration of internality transition mechanism and institutional evaluationary and aim at the theoretical proposition of the northeast district transition mechanism, fully studies informality restrict mechanism as culture concept, market structure evaluationary mechanism and state - own enterprises in the northeast district, which make the paper innovative and instructive both in theory and in practice

    在本文研究過程中，深入挖掘制度演化理論、經濟轉軌理論以及東北地區轉軌政策的合理成分，並且將論文的研究深植于東北地區經濟轉軌相對滯后的現狀及其原因之中，在此基礎上系統提出了經濟轉軌內在機理的制度演化一般性分析框架及其針對東北地區轉軌機理的理論命題，完整研究了東北地區文化觀念等非正式制度約束機理、東北地區市場結構演化機理和東北地區國有企業改革演化機理。
  2. Therefore, this dissertation based on the pre - research defense projects of “ research on longevous service and high reliability of satellite ” of the national tenth - five - year plan, study the method of uncertainty inference, and the application of rough set theory in the development of the satellite fault diagnosis system, the main content of this dissertation is as follows : first, this paper incorporate the status in quo of the technology of fault detecting and diagnosis and the artificial intelligence ( ai ), realize the newest trend of the technology of fault detecting and diagnosis is that using the technology of artificial intelligence to solve the certainty and uncertainty problem in the actual engineering area

    為此，本文以國家武器裝備「十五」預研「衛星長壽命高可靠技術」研究項目為背景，研究不確定性推理理論中的粗糙集理論在衛星故障檢測和診斷中的應用，並開發相應的系統。主要研究內容包含以下幾個方面:論文首先結合故障診斷技術及人工智慧技術的發展現狀，明確了故障診斷的發展方向是使用人工智慧的最新研究成果去解決實際應用中更為常見的各種確定和不確定問題。分析了解決不確定推理技術的主要方法及各自的原理並進行了比較。
  3. In this thesis, reasning based medel and resolution principle are deeply studied, and using netal network partly driplement automated reasoning

    本文在對命題邏輯系統的模型推理和歸結原理研究的基礎上，嘗試利用神經網路部分實現自動推理。
  4. The thesis provides systematic study on theory and technique of design about adhm from main aspects after exploring the source and evolution of it : first, the thesis categorizes adhm and sum up its basic model from four distinct perspectives - - presenting forms of historical material, organizing construct of question, and requiring ability of answer and method of paying score. second, the thesis makes an exhaustive analysis to examine function of adhm from four levels - - memory - distinguish, comprehension - annotation, analysis - synthesis and evaluation - argument

    本文在對材料分析論證題出現的原因、演變作簡要探討后，著重從四個方面對材料分析論證題的命題理論與技術進行了系統研究：首先，從材料的表現形式、題問的組織結構、答題的能力要求和答案的賦分方式四個不同視角對材料分析論證題進行了分類，概括了材料分析論證題的基本模式，從而為整個研究奠定了基礎。
  5. About theorem, the paper introduces the syntax of ideal, also the first time uses concept of honest ideal to define secrecy goal of protocol and utilizes honest ideal logic to specify secrecy property. at the same time, this paper corrects one not so perfect lemma proving in a literature written by f " abrega, herzog and guttman

    在理論上，本文引入了理想的語義，並首次使用了理想的概念對安全協議的秘密性進行嚴格的定義，同時使用理想的命題邏輯公式表示安全協議的秘密性；另外，本文修正了f ' abrega 、 herzog和guttman三人文獻中的一個引理的證明，原有的證明是不完善的。
  6. An analysis of the proposition " water is arche " shows that rational power and life instinct can coexist to some extent, which is the characteristic of philosophy

    從性別角度分析「水是原則」命題我們可以看到，理性力量和生命本能在某種程度上同時存在，是哲學構成的特徵。
  7. The text is under the instructions of the theories of the new courses, and takes some examples of the advanced texts and the educates with psychology as theory basis. also the text define the method of setting up questions which shows ability. the text includes combination of my actual work and includes the discussion of the background, the ability and the ways of questioning and how too set questions. according to the theories above, it give principle of setting up questions and a set of trying methods. also it makes certain study with thoughts about questions which show ability. according to these theories, i try to fulfill the establishment of the questions. it gives out the methods of setting questions with maneuverability, taking information questions, synthesize questions and designing experimental questions for example

    本文是在以新課程的理念指導下，以目前高考實施的理科綜合考試的試題為範例，以教育心理學的理論為理論依據，對以能力立意的命題方式作了界定，並結合自身工作實際，對以能力立意命題提出的背景、能力立意命題的方式和如何編制以能力立意的試題作了理論探討，根據上述理論提出綜合考試能力立意的命題原則、命題方法及突出能力立意的試題類型作了一定的探討和思考，在此理論的指導下進行了試題編制的實踐，以信息給予題、綜合試題、設計性物理實驗題為例給出了具有可操作性的命題模式。
  8. According to the principles of " gradient consume " and " moderate consume ", the concept of comfortable degree is introduced systematicely. then a thorough research on the comfortable degree of small / middle dwelling unite, that is, small / middle dwelling unite - high comfortable degree is studied, from the viewpoint of the content of design theory and design method. behavior units and design skill is carried out, which is based on the exquisite design

    本著「梯度消費」和「適度消費」的原則，本文在對「舒適度」概念作系統研究的前提下，以適用型商品房和舒適型商品房為重點，在設計理念和設計對策兩方面來探討中小套型的舒適度的問題，即「中小套型?高舒適度」的命題。
  9. 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 ）的-歸結原理，給出了計算-直接歸結式和-自歸結式的規則，並總結出具體的歸結方法。
  10. In proposbonal calculus, the processing ofresoluhon pdriciple have combination explosion naturally so, how to eltw combinaion explosion in the processing of resolution ( genetal showed computationaily hard problem ) is an in1portan subject in automated theorem proving

    命題邏輯系統中的歸結原理本質上存在組合問題，因此，如何避免組合問題（通常以計算復雜性的形式出現）是自動推理研究中的一個重要課題。
  11. In this article the author discusses the relationship between science / technology and ethics, the basic principles of bioethics and the difference between morality and ethics, and then addresses ethical issues in stem cell research, gene therapy, reproductive genetics, xenotransplantation, biomedical research and clinical trials

    摘要本文在討論科學技術與倫理學關系、生命倫理學基本原則以及道德與倫理學之間的異同后，探討了人的克隆和幹細胞研究、基因治療、生殖遺傳學、異種移植、生物醫學和臨床研究中的倫理問題。
  12. Here stiglitz ’ s thoughts on trasition economics can be generalized into three points : ( 1 ) stiglitz bring forward “ the new points on government interventions ” based on the up - to - date developments of information economics ( which includes not only developing markets, but also strong government ). ( 2 ) stiglitz especially emphasizes on the ideology of economics and economic policies, i. e. so - called “ market fundamentalism ”. ( 3 ) in terms of the relation between equity and efficiency which is the permanent economic theme, stiglitz avers that equity and efficiency cannot be completely separated, and they are coequal, so while he emphasizes the economic growth, he emphasizes employment and distributions which embodies his attentions on the interests of the needy countries and estates

    在本章里，筆者將斯蒂格利茨的轉軌經濟學思想概括成三個方面: （ 1 ）斯蒂格利茨藉助于信息經濟學的最新進展建立了「新政府干預觀」 （既要有發達的市場，也要有強大的政府） ; （ 2 ）斯蒂格利茨特別強調經濟學和經濟政策的意識形態（ ideology ）屬性，即所謂的「市場原教旨主義」 （ marketfundamentalism ） ; （ 3 ）在公平和效率的關系這一經濟學的永久命題上，斯蒂格利茨主張公平與效率是不能截然分離的，而是同等重要的，因此他在重視經濟增長的同時，特別強調就業和分配，對貧窮國家和貧窮階層的利益給予了特殊的關注。
  13. This paper takes the conclusion ? human capital can help or promote economy increase as a basic topic. on the basis of t. w. schultz and gray becker ' s human capital theory, in the light of shenyang ' s human resources situation, we further study the problems during the transmission from human resources to human capital in shenyang. at the same time, we analyze and discuss and put forward proposals and strategies : promote the problems of changing the human resources into human capital ; deepen the reform of the system of education and enlarge the decision making power of school running ; according to the capital distribution and compensation principle, carry out the idea of higher education capital compensation system reform ; strengthen the investment of enterprise " human capital ; reform the traditional country and countryside census register isolation system, develop and improve human flow medium ; establish a reasonable, scientific inspiration and restriction mechanism ; enlarge the government ' s investment and management of public hygiene service

    本文的研究是將人力資本投資有利於或能夠推動經濟增長這一結論作為基本命題，在學習吸納現代經濟學特別是西奧多?舒爾茨和加里?貝克爾等人的「人力資本理論」的基礎上，結合當前沈陽市人力資源的實際情況，分析研究沈陽地區人力資源轉化為人力資本工作中存在的問題，同時展開分析討論，並提出一些建議和對策：促進人力資源轉化為人力資本的教育發展問題；深化教育體制改革，擴大學校辦學自主權以有效地培養人才為經濟建設服務；根據成本分擔和補償的原則，實行高等教育成本補償制度改革的高等教育的發展思路；加大企業的人力資本投資力度；改革傳統的城鄉戶籍隔離制度，發展和完善勞動力流動的中介組織；建立一個合理的、科學的激勵與約束機制以及加大政府對公共衛生服務的投資和管理力度等。
  14. The thesis analyses the deep - rooted reasons that affect the application of the judgement criteria, clarifies the proposition that the economy, industry policy or competition policy weighs very much in the process of the application of the illegality judgment criteria in concentration control. basing on the proposition, the thesis brings forward some suggestions to china ' s concentration control

    通過考察美國、日本以及歐盟的企業集中規制過程中影響違法性判斷標準適用的深層次原因，闡明了企業集中規制中的違法性判斷標準的適用要受到該國經濟的發展要求以及該國實行的產業政策或競爭政策的影響? ?這一命題。
  15. Abstract : this paper criticizes 4 specious propositions about current controversy on theory of value ： （ 1 ） the proposition that labor is the only resource of value needn ' t to be verified ; ( 2 ) value is created by live labor, but distributed by ownerships of production factors ; ( 3 ) value is determined in the process of production, but realized in the circulation ; ( 4 ) value is a kind of social relationship, where there is no atom of use - value

    內容提要本文剖析了當前有關價值爭論中的4個似是而非的命題： （ 1 ）勞動是價值的惟一源泉無需證明； （ 2 ）價值是由活勞動創造的，價值的分配是按生產要素所有權進行的； （ 3 ）價值是在生產過程中決定的，在流通中實現的； （ 4 ）價值是一種社會關系，其中不包含任何使用價值原子。
  16. This dissertation is devoted to some key issues of semantic web and to kms ( knowledge management system ) in the context of semantic web. the author ' s contributions of presented in this thesis include : defining the ontology semantics for description primitives of logical formula and relational axioms markup languages are employed to describe the objects and resources in a web environment. in order to represent knowledge, logical formula, relational axioms and rules, there is a need for primitives specifying prepositional formula, predictive formula and horn clause, and relations between properties and relational axiomx

    本文對web語義化過程中部分關鍵問題和基於語義化web的kms進行了研究，主要的創新性工作包括：定義了邏輯公式及關系公理描述原語的ontology語義： web環境中用標記語言描述對象和資源，為了在語義化web上表示知識、邏輯公式、關系公理和規則，需要定義描述命題邏輯公式、謂詞邏輯公式、 horn邏輯的邏輯原語以及描述屬性之間關系的關系原語。
  17. 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 ]的系統科學思想的啟發，創造性的提出了一個結合目標函數期望，不確定度和後悔度的三目標魯棒優化命題，本優化命題可作為原不確定系統優化命題的替代命題。
  18. On basis of other scholars " academic achievements, with urban interaction and its evolvements through the whole paper, this dissertation expounds systematically and makes a case study on the principles of urban integrative development, spatial and geographic process of urban integration, and object adjustment during urban integration, in the cross view of urban geography and spatial economic geography. a tentative theory system for urban interaction and integration has been set up

    本文在前人諸多相關研究成果基礎上，以城市相互作用關系及其演變為主線，從城市地理與區域經濟地理學科交叉的視角，對近域城市整合發展的基本原理、城市整合的地理空間和地理過程、城市整合發展過程的目標調控等命題進行了比較系統的論述和實證，初步構建了城市相互作用與整合發展研究的理論體系。
  19. Based on the background of cultural globalization and city cultural similarity, this paper puts forward that transmitting civil fork - lore culture is one of the main approachs to keep local cultural character of city. it mentions that city leisure space is one of the main place where local fork - lore culture transmits as regard of the leisure time ' s feature. to reserve local culture character of chong qing city this paper researchs the lesure places of civilian in street, especially analyses the functions of leisure space in traditional street and civil fork - lore culture each other, mainly discovers the discipline of leisure space in traditional street composing based on history culture and civil fork - lore of chong qing city

    在文化全球化、城市地域文化趨同化的前提下，本文論述了市民習俗文化的傳承是保持城市地方文化特色的重要途徑之一；針對休閑時代的特徵，提出了城市休閑空間是市民習俗文化傳承的主要空間載體之一；在如何保持重慶城市地方特色的命題下，結合重慶的自然、歷史、文化等因素，以重慶街巷休閑空間和市民的生活習俗為研究對象，在揭示傳統街巷休閑空間與市民習俗文化「互為同構」關系的基礎上，剖析了傳統街巷休閑場所的內在構成規律，以針對重慶現代街巷休閑空間面臨消失和場所中文化「語義」缺失的危機，呼喚現代休閑生活向城市街巷的回歸，提出了與傳承市民習俗文化相對應的現代街巷休閑空間的設計目標、原則和對策，為實現城市地方文化的傳承，探索了一種新思維。
  20. Based on the concept of order and regret, a new tri - multi - objective optimization model is developed which is alternative used to solve the uncertainty optimization system with interval model parameter ? in particular, the uncertainty optimization model exits in many fields, such as economic and industrial fields. the tri - multi - objective optimization model include three functions : the first function is used to express the mathematical expectation in the uncertainty environment, the second function is used to express the robust property through a uncertainty degree function, the final function is used to express the mind of the decision maker through a regret function 2

    針對模型參數為區間數的不確定系統優化命題，在總結前人工作的基礎上，本文基於序和後悔度的概念，受顧基發研究員的「物理?事理?人理（ wsr ） 」 guj . ， zhuz . ， （ 1995 ）的系統科學思想的啟發，創造性的提出了一個結合目標函數期望，不確定度和後悔度的三目標魯棒優化命題，本優化命題可作為原不確定系統優化命題的替代命題。
分享友人
分享到 Line

分享到臉書