邏輯等價 的英文怎麼說

中文拼音 [luóděngjià]
邏輯等價 英文
logical equivalence
  • : Ⅰ動1. (巡察) patrol 2. [書面語] (遮攔) blockⅡ名詞1. (巡察) patrol 2. [書面語] (山溪的邊緣) edge
  • : Ⅰ動詞(編輯; 輯錄) collect; compile; edit Ⅱ名詞(整套書籍、資料的各個部分) part; volume; division
  • : Ⅰ量詞1 (等級) class; grade; rank 2 (種; 類) kind; sort; type Ⅱ形容詞(程度或數量上相同) equa...
  • : 名詞1. (價格) price 2. (價值) value 3. [化學] (化合價) valence
  • 邏輯 : logic
  • 等價 : of equal value; equal in value; equivalence
  1. This article contains three parts, five chapters. the first part introduces the incentive models of actual bonus stock synoptically, analyses the stock on hand, option shares and stock option, the three kind of important incentive models, on rights and incumbencies, value and the incentive guidance by contrast. the second part discusses the difficulties and influential factors in the design of technical bonus stock, quests for the incentive models of technical bonus stock, analyses superiority and inferior position in action, difference and interosculation between them, discusses the need and significance for the technical bonus stock reanimation in the middle - small technicalfilms. in order to make use of the technical bonus stock distribution mechanism fully, inspire the talent of technologists, encourage their devotion to films, we have some important discussion on the technical bonus stock distribution policy, introduce the distributed models of technical bonus stock, point out the questions in the excutive course, and offer the solution correspondingly. in the third part, we discuss the technical stock option design on middle - small technical films, and consider the logical thoughtfulness in the course of reanimation as follows : the more outstanding achievement for the powered man the more increase on special target the lower price on technical option premium the more profit the more effective reanimation. in the parameter, a set of detailed program is designed, which includes establishment of incentive fund, institution of merit system for the plan ' s grantors, award of stock option, determination of premium, so as to reduce random in the incentive course, have a great effect on the mormative management for the

    本文內容共分為五章三大部分,第一部分概括性地介紹了現行股權激勵方式,對現股、期股和期權這三種重要的激勵方式,從權利義務、值和激勵導向三個方面進行了對比分析;第二部分探討了技術股權設計的難點和影響因素,討論了我國中小科技企業技術股權激勵的方式,分析它們在激勵中的優勢和不足,以及它們之間的區別與聯系,並對中小科技企業實施技術股權激勵的必要性和意義進行了探討。在文中還重點討論了中小科技企業技術股權分配的策略,介紹了技術股權紅利分配方式,指出在技術股權激勵過程中應注意的問題,並提出相應的解決辦法,目的在於充分利用技術股權分配機制,來激發技術人員潛在的創新能力,激勵他們為企業作貢獻;第三部分著重探討了中小科技企業技術股份期權的方案設計,在激勵方面,按照技術期權獲受人的業績越突出特定的指標增長越快行權越低獲利越多激勵效果越好的思路進行考慮;在參數設計方面,對技術期權計劃中激勵基金、授予和考核、行權參數進行了詳細地分析設計,旨在減少技術期權激勵過程中的隨意性,為中小科技企業的規范化管理起到一定的指導和借鑒作用。
  2. Via the investigation on the subjects such as philosophy of moral education, semasiology, logic, anthropology, psychology and so on, the author thinks that the ultimate goal is to cultivate the value character of our students. this character is an " attitude " dynamic system which consists of the subsystems such as " moral cognition ", " moral emotion ", " moral behavior ", etc. it is built on the basis of our traditional culture, which focuses on three dimensions of " learn to be ", " learn together " and " learn to act ". and it embodies the respect - responsibility ( individual to himself, to others, to society, to nature and so on ) value which is the students " core character as well as the goal of education that our moral education should pursue

    透過道德教育哲學、語義學、學、人類學、心理學多學科的考察,論文認為,學校道德教育的根本目的在於培養受教育者的德性品質(品格) ;受教育者的品格是由「道德認知」 、 「道德情感」 、 「道德行為」子系統組成的「態度」動力系統;建立在傳統文化基礎上,圍繞「立身」 、 「處世」 、 「行事」三個維度,體現「尊重?責任」關系(生命個體對自己、他人、社會、自然值觀,既是受教育者核心品格,也是學校道德教育應該追求的教育目標。
  3. Through the approach of investigative questionnaire and ability examination, considering both teachers " teaching practice in senior high school and students " need in analyzing and resolving problem, taking the method of fixing the quality and quantity, we make a demonstration research. at last, we draw a conclusion that the 19 manifestations of chemistry ability can be reduced to three levels : the basal level, called repeating thinking, includes distinguishing and judging the chemical fact and relations of quantity in chemical reaction, comparing and summarizing the chemistry fundamental knowledge ; innovative thinking level includes illogical thinking and logical thinking. illogical thinking mainly contains intuition, association and space imagination of micro - particle

    通過調查問卷、能力測試途徑,結合教師在中學化學的教學實踐和學生在分析、解決問題的實際需要,採用定性與定量結合的方法,進行實證研究,得出結論:化學學科能力的19種表現形式歸納為3個層次:最基礎的再造性思維能力層次包括對化學事實和化學反應中量的關系的識別和判斷、對化學基礎知識的比較概括;以培養創新能力為核心的創造性思維層次包括化學直覺思維、聯想、對微觀粒子的空間想象為主的非思維和靈活運用已學的化學知識通過分析、綜合地解決問題為主的思維;化學實驗能力層次是化學學科能力的最高層次,它以思維能力為基礎,集中體現了化學教學的基本特徵,實驗能力層次包括:選用實驗方法和設計實驗方案,對實驗的評,研究和處理實驗事實、資料、數據,發現規律,表達實驗及其結果,最終解決問題的能力和發散思維。
  4. The writer, as one of the ma i n members i n the job analysis group, handles some specific work in this project, such as design of questionnaires, design of interview questions, design of some forms and so on. in this thesis, above all, the writer studies some relative theory, then, researches the whole process of this job analysis. according to this logical order, there are four parts in the thesis as following : the firs part introduces some important concepts and theories, including the significance, the position, the history, the methods, and the value of job analysis in modern human resource management

    本著理論指導實踐,實踐升華理論的原則,在本論文中,筆者首先從工作分析的相關理論入手,然後在理論研究的基礎上對cssc公司銷售部工作分析的全過程進行深入細致的分析研究,按照這種順序本論文共分為五大部分:第一部分為文獻綜述,主要闡述了工作分析的相關概念、工作分析的意義和作用、工作分析在現代人力資源以及人力資本管理中的地位、工作分析的歷史沿革、工作分析的理論、工作分析的內容、工作分析的方法技術、工作分析的
  5. Many mature technologies on this level have been brought out, such as the relational algebra law, the improved logical query plan, the cost estimation of operation, the selective plan based on cost and order of joint, etc. although many methods have been tried out, no remarkable result or noteworthy technology has come to reality because of complexity of data decomposition and network effects

    例如,從物理查詢計劃的底層磁盤輸入輸出到語法分析階段的語法分析樹、用於改進查詢計劃的代數定律、查詢計劃的改進,以及操作代的估計、基於代的計劃和連接順序的選擇全過程,都進行了不懈的努力。在這方面的研究已經非常成熟。
  6. Bisimulation equivalence is considered as one of the fundamental notions of behavioural equivalence, and one of the important properties of bisimulation is its modal logic characterization

    互模擬是進程代數中刻畫行為的核心概念,而模態特徵是它的一個重要性質。
  7. However, because - bisimulation is not always an equivalence relation, such characterization in the usual style of hml does not always exist for - bisimulation associated with an arbitrary metric

    但由於不為超度量時-互模擬一般不為關系,所以無法得到一個具有hml經典形式的特徵。
  8. For describing the similarity of two processes, - bisimulation is introduced, its properties are associated with a metric and the modal logic characterization of - bisimulation when is an ultra - metric is given

    為了描述進程間的近似,最近文獻中提出了-互模擬的概念,並將其性質與度量聯系在一起,給出了為超度量時-互模擬的模態特徵。
  9. Functions of logic synthesis are to transform and optimize the combinational logic functions and produce the pure logic level structural description

    綜合的功能是對組合函數的描述進行轉換和優化,生成與功能描述的優化的級純結構描述。
  10. After clearing the concept of life, we explain from the angles of history, logic, reality and value why moral education should be founded on life. finally, we reflect upon the life - basis of moral education in theory so as to investigate its characteristics and potential problems. the third part puts forward a model of moral education based on life

    在此,我們首先對生活概念進行初步的廓清,之後分別從歷史、、現實和四個角度來論證道德教育何以要植根于生活,最後,對道德教育的生活基礎予以理論上的省視,來進一步考察生活基礎論的特點和可能存在的問題;第三部分,以生活為基礎的道德教育的基本構想。
  11. Its study methods are integrating theory and practice, unification of history and logic, from abstract to concrete, system and structure way, social investigation etc. it ' s belongs to study of human and cultural philosophy in broad sense

    主要研究方法有理論聯系實際、現實與統一、從抽象到具體、時空綜合和多維互補、理性分析與值評相結合、系統和結構方法、社會調查方法
  12. Some other conditions which the implicative operator of a implication algebra should satisfied in a logic system are given. the relations between mv - algebra and distributive implication algebra, implication algebra with condition ( s ) are gained. some equivalent theories about implication algebra and mv - algebra are proved

    對于偏序集上蘊涵代數中的蘊涵運算元引入了一些條件,得到了偏序集上具有不同條件的蘊涵代數與mv -代數之間的關系,給出了偏序集上蘊涵代數與mv代數之間的幾個定理。
  13. The software test, aim was elaborateed by the original, fundamental means and software test automation. the aim of software test chiefly is the fault discover in the software, in view of this target, the difference quiz means may be adoptd, in case white box testing ( logic is covered, way covers and so on ) and black box testing ( the meritorous service be able to be tested, regression testing, performance test.,

    軟體測試的目的主要是發現軟體中的缺陷,針對這一目標,可以採用不同的測試方法,如白箱測試(覆蓋,路徑覆蓋)和黑箱測試(功能測試、回歸測試,性能測試、類劃分和邊界值分析方法) ,設計測試用例,保證測試成功即找出軟體中的缺陷。
  14. And two questions are raised at the end of the chapter, which 1 found when i was observing and recording on the construction site, namely if the form from construction logic is the same as the form of architecture or not

    並在結尾處列出了兩個在觀察和記錄中發現的問題,即:建造的形式是否于建築的形式?為什麼計算機模擬的建造過程和個案的實際建造過程並不一致
  15. Herein lies the problem : digital signatures rely on byte - level equivalence, whereas it is possible to have two xml documents that are logically the same, but contain different byte sequences

    問題就在於此:數字簽名依賴于位元組級的測試,但是可能有兩個上相同但包含不同位元組序列的xml文檔。
  16. As for the existence of substance, the supporters of existential value debate with the supporters of personal value on two questions - - " what knowledge is of most worth " and " how to organize the knowledge ", which leads to the shift of concentration from substantial value to the functional value and the generation of new study field, including integrated curriculum, hidden curriculum and so on

    在課程本體存在的歷史中,存在性與個人性圍繞著「什麼知識最有值」 、 「怎樣對課程進行的組織」的問題展開爭論,促使人們從知識自為值走向知識功能值反思。這些問題的爭論產生了課程研究的新范疇,如整合課程、能力目標、隱蔽課程
  17. This thesis takes the resettlement action of zhuzhou hydropower junction as a project, and makes the use of the project management theory, the fundamental principal of project post - assessment and the sustainable development theory, and builds up the principals and standards of the resettlement, and analyzes the concrete content of post - assessing the resettlement project, and designs the sustainable post - assessment index body, and lists the computer formula of the quantitative index, and makes the use of ahp and lfa to post - assess the resettlement project. we obtain the conclusion that the sustainability of resettlement project is not in good state. in order to improve it, this thesis digs the passive elements, and supplies some suggestions to sustain the sustainable development of the resettlement project, such as increasing investment, carrying out the agriculture economy industry of resettlement district

    本文將株洲航電樞紐工程移民工作看作成一個項目,運用項目管理和項目后評的基本原理,結合可持續發展理論,建立了移民項目可持續后評的原則和標準,分析了移民項目后評的具體內容,設計了移民項目可持續后評的指標體系,列出了定量化指標的計算公式,並探討用層次分析法和框架法對移民項目的可持續進行后評,后評得出的結果表明株洲航電樞紐工程移民項目的可持續性處于次強狀態,為增強該項目的可持續性,本文通過研究挖掘出影響該項目可持續性的負面因素,提出了一些保持移民項目可持續發展的對策和建議,例如增加移民安置的投入、實行移民安置區的農業經濟產業化
  18. After confirming system goal, according to overall design rule, system overall design is to carry out system overall logic structural design and software and hardware design of system ; system function design includes data to get and edit modular, data inquiry and statistics modular, overall estimetion modular, function district estimetion modular and typical cadastral parcel estimetion modular, land optimization deployment modular as well as urban land grade and evaluation modular ; database detailed design includes the design of space database and property database as well as design for the connection of space data and property data ; system application model analysis mainly explains models for intensivism degree, unit comprehensive value, land area potential, land benifit potential as well as typical cadastral parcel estimetion

    系統總體設計是在確定系統目標后,按照總體設計準則,進行系統總體結構設計及系統的軟硬體配置設計;系統功能設計包括數據獲取及編模塊、數據查詢統計模塊、總體評模塊、功能區評模塊、樣地評模塊、土地優化配置模塊以及城鎮土地定級估模塊七大模塊的設計;數據庫詳細設計包括空間數據庫、屬性數據庫的設計以及空間數據與屬性數據的連接設計;系統應用模型分析部分主要對于集約度模型、單元綜合分值計算模型、用地面積潛力測算模型、用地效益潛力測算模型以及樣地潛力評模型做出了分析解釋。
  19. To ensure that you get success every time you try to verify the digital signatures of logically equivalent xml - irrespective of its physical representation - you must make sure that the xml is in an agreed - upon standard format

    要保證每次驗證邏輯等價的xml不管物理表示如何的數字簽名都能成功,您必須保證xml使用公認的標準格式。
  20. By means of the analysis of the dilemma in the traditional science covering epistemology and methodology, i spelt the fundamental cause and historic background of the birth of the strategy of pera ' s rhetoric of science out, furthered to study some problems such as the functions, the rational rebuilding and the logic of rhetoric of science systematically, finally gave my explanation of pera ' s dialectic model of science and my objective and comprehensive evaluation of pera ' s rhetorical thoughts

    本文通過對支撐傳統科學的兩根支柱? ?認識論和方法論困境的分析,闡述了佩拉的科學修辭學戰略產生的動因和歷史背景。在此基礎上,進一步對科學修辭學的功能、理性重建和問題進行了系統闡述,最後對佩拉提出的科學辨證圖景的合理性進行了說明,並對佩拉的科學修辭學戰略給予了客觀和全面的評
分享友人