構造性邏輯 的英文怎麼說

中文拼音 [gòuzàoxìngluó]
構造性邏輯 英文
constructive logic
  • 構 : Ⅰ動詞1 （構造; 組合） construct; form; compose 2 （結成） fabricate; make up 3 （建造; 架屋） bui...
  • 造 : Ⅰ動詞1 （做; 製作） make; build; create; produce 2 （假編） cook up; fabricate; concoct 3 [書面語...
  • 性 : Ⅰ名詞1 （性格） nature; character; disposition 2 （性能; 性質） property; quality 3 （性別） sex ...
  • 邏 : Ⅰ動1. （巡察） patrol 2. [書面語] （遮攔） blockⅡ名詞1. （巡察） patrol 2. [書面語] （山溪的邊緣） edge
  • 輯 : Ⅰ動詞（編輯; 輯錄） collect; compile; edit Ⅱ名詞（整套書籍、資料的各個部分） part; volume; division
  • 構造 : structure; construction; constructional detail; tectonic; structural; makeup; anatomy; constituti...
  • 邏輯 : logic
  1. Based on the rent - seeking theory and theory of relation between government and market, the thesis studies the rent - seeking activities, their macroscopical and microcosmic backgrounds, the rent - creating mechanism, and the performance by the principals of security offering, agency, investing, and government, then analyzed their origin and influence and concluded the countermeasures. the framework of this thesis is as follows : chapter 1 is the pandect, mainly about the issues, the train of thought, the hypothesis, and the methodology ; chapter 2 is the academic groundwork, introducing the theories on rent - seeking, the development of relation between government and market, and security market ; chapter 3 studies the macroscopical and microcosmie backgrounds of the rent - seeking activities in chinese security market ; chapter 4 studies the rent - creating mechanism, which premise the activities ; chapter 5 analyzes the performance and characteristics of the activities. ; chapter 6 studies the origin and influence of the rent - seeking activities, probes into their deep roots, and reveals the harms from the activities through investigation in the resource lavishment and impact on the security market and the whole society, which come in the wake of rent - seeking ; chapter 7 gives the conclusions and countermeasures

    本文研究結構如下：第一章為總論，主要介紹了研究的問題、思路、假設和方法；第二章為研究的理論基礎，介紹了尋租理論、政府與市場關系理論的演變以及證券市場的基本理論；第三章考察了中國證券市場尋租活動的宏觀和微觀經濟背景，為研究證券市場尋租行為作了鋪墊；第四章研究了證券市場租金產生的機制亦即創租機制，它是尋租活動存在的邏輯前提；第五章則從證券市場不同參與者的角度具體分析了尋租活動的表現和特點；第六章研究了證券市場尋租活動的原因和影響，探討了證券市場尋租問題所產生的深層次和一般性的原因並從尋租活動本身造成的資源浪費、對證券市場的影響和對整個社會的影響三個方面闡述了尋租活動的危害；第七章得出了研究結論並提出了解決尋租問題的對策思路。
  2. Abstract : for a precise dataflow analysis within the framework of the computation function model, the logical relationship of branch conditions is represented as the coverage relationship of regions. in this paper, the authors discuss how to represent, compute and propagate the region, region of the conditional reference. meanwhile, the methods of resolving the nondeterminism caused by conditional branch statements are also presented in order to get more precise dataflow information

    文摘:用計算函數模型進行精確的數據流分析，條件謂詞之間的邏輯關系被轉化為空間區域之間的覆蓋關系.該文討論在各種常見的程序構造下如何表示、計算和傳遞區域、區域，並在數據流分析過程中，利用區域、區域之間的覆蓋關系消除條件分支語句帶來的不確定性，以得到更精確的數據流信息
  3. Does the constructive logic negate the law of cxcluded middle

    構造性邏輯否定排中律嗎
  4. Abstract : this paper successfully with a logical method have stu died a series of fundamental problems on the mechanism. and ( 1 ) presented a new viewpoint on mechanism s class order : original - function s mechanism and conpositive - function s mechanism. ( 2 ) exposed and showed that the re are two kinds of the constructive logic in all mechanism : function - compoundin g and function - creating. ( 3 ) reasoned out that the originalifunction s mechani sm is the basic mechanism

    文摘:在成功地用邏輯理性方法對機構學一系列基本問題進行研究的基礎上， （ 1 ）提出了「原始功能機構」和「組合功能機構」的機構層次看法； （ 2 ）揭示了機構中存在有兩種不同的「構造邏輯」 ： 「功能合成」和「功能組建」 ； （ 3 ）論證了「原始功能機構」才是「基本機構」 。
  5. The main contributions of the second part of this dissertation are focused on the cryptographic properties of logical functions over finite field, with the help of the properties of trace functions, and that of p - polynomials, as well as the permutation theory over finite field : the new definition of chrestenson linear spectrum is given and the relation between the new chrestenson linear spectrum and the chrestenson cyclic spectrum is presented, followed by the inverse formula of logical function over finite field ; the distribution for linear structures of the logical functions over finite field is discussed and the complete construction of logical functions taking on all vectors as linear structures is suggested, which leads to the conception of the extended affine functions over finite field, whose cryptographic properties is similar to that of the affine functions over field gf ( 2 ) and prime field fp ; the relationship between the degeneration of logical functions and the linear structures, the degeneration of logical functions and the support of chrestenson spectrum, as well as the relation between the nonlinearity and the linear structures are discussed ; using the relation of the logical functions over finite field and the vector logical functions over its prime field, we reveal the relationship between the perfect nonlinear functions over finite field and the vector generalized bent functions over its prime field ; the existence or not of the perfect nonlinear functions with any variables over any finite fields is offered, and some methods are proposed to construct the perfect nonlinear functions by using the balanced p - polynomials over finite field

    重新定義了有限域上邏輯函數的chrestenson線性譜，考察了新定義的chrestenson線性譜和原來的chrestenson循環譜的關系，並利用一組對偶基給出了有限域上邏輯函數的反演公式；給出了有限域上隨機變量聯合分佈的分解式，並利用隨機變量聯合分佈的分解式對有限域上邏輯函數的密碼性質進行了研究；給出了有限域上邏輯函數與相應素域上向量邏輯函數的關系，探討了它們之間密碼性質的聯系，如平衡性，相關免疫性，擴散性，線性結構以及非線性度等；討論了有限域上邏輯函數各類線性結構之間的關系，並給出了任意點都是線性結構的邏輯函數的全部構造，由此引出了有限域上的「泛仿射函數」的概念；考察了有限域上邏輯函數的退化性與線性結構的關系、退化性與chrestenson譜支集的關系；給出了有限域邏輯函數非線性度的定義，利用有限域上邏輯函數的非線性度與相應素域上向量邏輯函數非線性度的關系，考察了有限域上邏輯函數的非線性度與線性結構的關系；利用有限域上邏輯函數與相信息工程大學博士學位論文應素域上向量邏輯函數的關系，揭示了有限域上的廣義bent函數與相應素域上的廣義bent函數的關系，以及有限域上的完全非線性函數與相應素域上向量廣義bent函數之間的關系;給出了任意有限域上任意。
  6. This study puts the industrial structure theory and firm ability theory in the background of modern competition and, by logic reasoning and case study, converts the industrial selection approach of porter to the industrial innovation approach. the framework to create and sustain the competition advantages is to follow the external path of industrial innovation - opportunity finding - strategic alliance and the internal path of industrial innovation - asset reinforcing - strategic alliance, through the interaction of opportunity finding and assets reinforcing, basing upon the internal resources and ability and taking the advantage of those of other firms according to the rapidly changes of circumstances

    本研究進一步在現代競爭環境下認識產業結構理論和企業能力理論，通過邏輯推理和案例分析的研究方法過渡波特的「產業選擇觀」至「產業創新觀」 ，以「產業創新?機會開發?戰略聯盟」為外部路徑， 「產業創新?資產互補?戰略聯盟」為內部路徑，創新性地探討戰略聯盟在變化的外部環境條件下，立足自身擁有的資源與能力，調配其他企業的資源和能力，在機會開發與資產互補的交互作用過程中創造和保持競爭優勢的途徑和機理，構建戰略聯盟持續競爭優勢創造的理論框架。
  7. At the same time, visual image produces attacks towards traditional aesthetic images : in traditional literature, image is a system of profound model of meaning expressing, but visual image obeys the principle of destroying depth and demolishing meaning. the formation of traditional aesthetic image is based on the principle of subject, which is a personal process, while the formation of visual image is based on the principle of technology, which is a non - personal process. while evaluating popular culture, we should put it into the historical transferring process of chinese society

    與此同時，視像對傳統的審美意象也造成了沖擊和瓦解：傳統文學中的意象是一種追求深度模式表意系統，而視像所遵循的邏輯則是抹平深度，消解意義；意象的能指和所指之間存在著無限張力，為意義的凝聚和生發創造了可能，視像的構成邏輯則是一種直接的合一，取消了能指和所指之間復雜的張力和差異，意義的生成空間被擠壓成一個平面；意象的形成依據的是主體性原則，其形成過程也即一個個人化過程，視像所依據的是技術理性原則，是一個非個人化過程。
  8. Symbol logic method is unable to guarantee the complement of knowledge description, which leads to complicated deducing process. we introduce fuzzy cognitive map into agent modeling and deducing, substitute symbolic description and inference with simple mathematical computing, achieving agent intelligent decision - making in complex environment

    針對現有符號邏輯描述方法難以保證知識表達的完整性，推理過程陷於復雜的邏輯演繹的問題，作者引入了模糊因果關系的網路模型，基於模糊認知圖理論構造agent推理模型，用簡單的數值計算代替復雜符號系統的表示和演繹推理過程，實現了復雜環境下的agent智能決策。
  9. Followed the proving of validness of axioms is the proving of soundness and consistency for the negotiation logic. based on a series of propositions and lemmas, the completeness of the negotiation logic is proved by construction. then the logic completeness and the consistency of ctn system are presented

    在對公理的有效性進行證明之後，證明了協商推理邏輯的可靠性和無矛盾性；在得出的一系列命題和引理基礎上，以構造的方法證明了協商推理邏輯的完全性，最後得出協商推理邏輯的完備性和整個ctn系統的無矛盾性。
  10. The double circular - arc gears cad systems designed in vb language combines the accuracy and high speed operation abilities of computer, a great deal memory and manage data abilities of computer and abundant chart dispose abilities of computer with creating thinking and colligating analysis ability and logical judge ability of human being. it is a tight cooperate system

    以vb語言設計的雙圓弧齒輪cad系統，將計算機高速、精確的運算功能、大量存貯和處理數據的能力、豐富而靈活的圖形、文字處理功能與設計者的創造性思維、綜合分析能力、邏輯判斷能力結合起來，構成了一個人與計算機各發揮所長，又緊密結合的系統。
  11. The primary contents and innovations of this article are introduced below. in order to take advantage of the high speed of calculation, and at the same time, improve the accuracy and dynamic - range of the algorithm, three kinds of multi - input floating point adder algorithm ( fpa ) are summarized and a high - performance multi - input fpa structure is put forward with a self - defined floating point format. the performance of the high - performance structure on calculation speed and logic resource consuming is better than the normal structure

    論文的主要工作及創新點如下:為了充分利用fpga處理速度快的特點，同時盡量提高演算法的精度及動態范圍，本文在對浮點加法器演算法進行深入研究的基礎上，規納總結了三種不同的多輸入浮點加法器演算法，並創造性地提出了一種高效的多輸入浮點加法器結構及一種適合於fpga實現的自定義浮點數格式，這種高效的結構在所需的邏輯資源和運算速度上均遠優于傳統的多輸入結構。
  12. But by analyzing the data warehouse architecture, it can be found that the load imbalance of computational logical result in overload for the integrator, not enough positivity for information sources, and high price for view maintenance

    但是分析他們的體系結構發現，計算邏輯負載的不平衡造成集成器負擔過重，信息源的主動性不強，系統的維護開銷大等缺點。
  13. If the technicians applied technology in the wrong, even achieving the business logic, but probably leading to many vices including low performance, low scalability, close coupling, low software duplication. so how to assemble the j2ee technology reasonable and achieve a system with high performance and high expansibility is my research emphasis in the thesis. in order to solve the problems and implement efficient web application, the paper put forward ejs _ mvc model according mvc pattern and we can assemble component by using ejs _ mvc model, it can solve many problems of web application and improving system with clear flow and clear function partition, in addition, due to controller is the most importance in the ejs _ mvc model, so the thesis also discuss some problems about controller design ; if the model is not designed accurately, system performance will encounter fatal influence, so the article lucubrate ejb technology from ejb choice, ejb optimized design, database access, design pattern etc and bring forward some strategies and methods about how to build efficient business tier ; finally based on ejs _ mvc model, a example that contains simple business logic is developed according to the object - orient software engineering thinking and some strategies and methods proposed by the thesis, in the process of achieving system function, the emphasis is probing into how t o assemble and apply technology reasonable and providing a new thinking thread and method contributing to build high effective and flexible j2ee application

    由於j2eeweb應用是由組件組成，因此為了解決上述問題，實現高效的應用，本文首先從如何合理組合組件入手，找到一種方法使各組件能具體分工而又緊密合作，在深入研究各組件基礎上，根據mvc模提出了ejs _ mvc模型概念，指出可按此模型組合各層組件，該模型可以解決傳統web開發中存在的問題，而且具有系統流程與系統功能劃分清晰，可擴展性、可維護性強等優點，另外由於控制器是ejsmvc模型的重中之重，它起到承上啟下的作用，它設計好壞直接關繫到整個應用的性能、伸縮性與擴展性，因此又探討了控制器設計的有關問題；另外如果模型設計不當的話，對系統性能造成的影響可能是致命的，因此本文又從ejb組件選擇、 ejb調優設計、數據庫訪問和設計模式等方面對ejb技術作了全面的分析研究，指出在業務層中如何避免太多網路遠程調用和提高業務層性能，特別是根據前面的分析總結出了業務層的優化分層組合模型，這個模型的使用無疑會使業務層具有較高的性能與伸縮性；最後選擇一個業務邏輯較簡單的系統，使注意力集中到運用的j2ee技術上來，按照ejs _ mvc模型與軟體工程流程以及本論文所提出的方法與策略實現業務邏輯，在實現過程中具體探討如何合理運用組合技術，就多層j2ee體系結構的設計思想作深入的探討實踐，為實現高效、靈活的多層j2ee應用提供一種新的思路及方法。
  14. 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上的等值和互推公式，這對于處理不完全信息數據庫的查詢優化有著重要作用。
  15. Basic theories used in the research are agricultural economics, environmental economics, welfare economics, public economics, finance, sustainable developing economics, etc. main research methods are mathematical logic analyzing method, figure and graph analyzing method, philological method, combining definition and ration, etc. using for reference of foreign advanced experience about supporting sustainable agriculture, combing related agricultural policy in wto, basing new funds supporting system upon current situation of chinese agricultural investment, i lodge a agricultural sustainable supporting system which is consonant with chinese agricultural feature

    從「世界是事實的總和，而非事物的總和（ wittgenstein關于科學的命題之一） 」角度出發，本論文在研究過程中力求堅守事實的客觀性。研究思路遵循著：研究問題的提出? ?農業可持續發展研究? ?農業可持續發展資金支持研究? ?中國農業可持續發展資金支持體系的設計與對策分析的路徑。研究邏輯服從于：核心概念界定? ?農業可持續發展與資金支持構造解析? ?中國農業可持續發展資金支持體系的建構? ?中國農業可持續發展資金支持體系構建整合，這個從一般到特殊的過程。
  16. The author mainly does the following work : the construction of optical database ' s mainframe and the decision of design scheme ; the designs of concept structure model, logic structure model, physics structure and safety structure after the analysis of system demand ; the classification of optics which is adapted to search optical papers is advocated ; in order to solve the problems of converting heterogeneous data, the optical standards are designed ; the data input program of c / s architecture for optical database is developed, the work of inputting data and simply management of database can be done by this program

    作者重點作了以下工作： ?構造了光學數據庫的主體結構和設計方案； ?經過系統需求分析，對數據庫進行了概念模型設計、邏輯設計以及數據庫的物理設計、安全性設計； ?提出了適合光學論文查詢的光學學科分類； ?為了能解決異構數據的相互轉換問題，嘗試性制定了光學的元數據標準。 ?用visualc + +語言開發了c s模式的光學數據庫的數據錄入程序，該程序能進行數據錄入和簡單的數據庫管理。
  17. The author, with a comprehensive study method combining comparative study with quantitative analysis and qualitative analysis, and positive study with standardized study, starts from the scientific definition of incentive mechanism, creates an analytical environment for incentive mechanism, conducts an all - round humanistic study on logistic cadres, forwards a hypothesis of humanity of " satisfying - human ", and further examines the theory

    作者採用比較研究、定量分析與定性分析相結合、實證研究與規范研究相結合的方法，以對激勵機制基本命題的科學界定為邏輯起點，構造激勵機制的分析環境，通過對後勤幹部比較全面的人性分析，提出了「滿足人」的人性假設，並進行理論準備。
  18. It urged me to the ontology ' s opposite polarity, namely the representational angle on " tectonics ", and again i examined the works of three architects in the second chapter. where forms ca n ' t be explained with logical reasoning of construction it can still be allowed because of the reasonableness of its expression

    它推動我走到建構本體論的反面，從建構表現論的角度對前述的建築作品進行再次的分析，在此那些超出了「建造邏輯」可以推理范疇的形式可以因為「表現的合理性」而存在。
  19. In this thesis the theory and method of intelligent fault diagnosis for a large turbo - pump fed liquid - propellant rocket engine ( lre ) is innovatively proposed and developed, based on the hybrid reasoning strategy and the hybrid knowledge models including mathematical model, logic model, graphic model and qualitative model. the theory and method are constructed in the way of intelligent modeling technique and creative application of knowledge engineering, and focus on the difficult problems and critical techniques such as the unified treatment of lre knowledge ( experience, facts, rules, graph, system structure, behavior, model knowledge and measured data ), the integration and translation of qualitative and quantitative knowledge, and the knowledge - based intelligent fault diagnosis reasoning methods. firstly, besides the correlation of different knowledge, the concept and the types of lre diagnosis knowledge are systematically described

    本文以某大型泵壓式液體火箭發動機為研究對象，以智能建模技術和知識工程的創造性應用為主要技術手段，圍繞著發動機知識（經驗、事實、規則、圖形、結構、行為、模型知識與測量數據信息等）的統一處理技術、定性定量知識的集成與轉化和基於知識的智能故障診斷推理等關鍵技術和難點，創新地研究發展了發動機基於混合知識模型（數學模型、邏輯模型、圖形模型及定性模型）和混合推理策略的智能故障診斷理論和方法。
  20. Logic control unit based on computer technologies is able to better the control performances of locomotive and improve its reliability dramatically, compared with traditional relay control system

    採用計算機技術構造的邏輯控制單元（ lcu ）取代電力機車繼電器控制電路能夠極大地改善機車的控制性能，提高機車運行的可靠性。
分享友人
分享到 Line

分享到臉書