邏輯的先在性 的英文怎麼說

中文拼音 [luódexiānzàixìng]
邏輯的先在性 英文
logical priority
  • : Ⅰ動1. (巡察) patrol 2. [書面語] (遮攔) blockⅡ名詞1. (巡察) patrol 2. [書面語] (山溪的邊緣) edge
  • : Ⅰ動詞(編輯; 輯錄) collect; compile; edit Ⅱ名詞(整套書籍、資料的各個部分) part; volume; division
  • : 4次方是 The fourth power of 2 is direction
  • : 名詞1 (時間或次序在前的) earlier; before; first; in advance 2 (祖先; 上代) elder generation; ...
  • : Ⅰ名詞1 (性格) nature; character; disposition 2 (性能; 性質) property; quality 3 (性別) sex ...
  • 邏輯 : logic
  1. Considering the problem of the justification of logical theory, feng ' s such a theory requires that the construction of a logical theory adhere to the unity of a posteriority and a priority

    理論證成問題上, 「概念雙重作用」要求理論建構必須堅持后驗統一。
  2. In logic nothing is accidental : if a thing can occur in an atomic fact the possibility of that atomic fact must already be prejudged in the thing

    12從意義上說,沒有什麼是附屬:如果一個事物出現原始事實中,則原始事實可能必定驗地存於事物中。
  3. Based on the analyses of scheduling strategy and scheduling framework of tao ( the ace orb ), this paper studies the real - time scheduling and management of global priory in droce : how to determine the global priory of the dro ( distributed real - time object ) according to its timeliness and level of importance ; logical presentation and transparent transfer of the global priory ; the consistent mapping from global priory to local server priory ; the prevention of priory inversion, etc.

    本文分析tao調度服務調度策略和調度框架基礎上,研究了分佈實時環境下全局優級調度和管理:即如何根據分佈實時應用時間特和重要程度確定分佈實時應用對象全局優級別;全局優表示與透明傳遞;全局優級與服務器局部優一致映射;防止優級反轉等問題。
  4. First of all, this thesis proceeds from relation between conservatism principle and uncertainty in accounting system. it expounds the fountain from which the conservatism principle comes into being and it ' s inherent logic contradiction

    本文首從謹慎原則與會計中不確定關系出發,論證了謹慎原則產生本源及其內矛盾問題。
  5. At first, analyze township scale change with two provinces and advantages and disadvantages of specific township financial system forms. secondly, analyze the quality and quantity of township financial revenue, study the historic developing locus of township financial system, and its function and the proper scope, holding the quantitative description of in - budget, off - budget and off - system financial funds. thirdly, it has a quantitative analysis of township fiscal expenditure duties rights, explicit educational duties rights and administrative management duties rights, having the elasticity analysis of educational expenditure administrative management expenditure

    研究是按照如下分析展開:以鄉鎮財政供給與需求為切入點,首對鄉鎮規模變動進行分省區分析,並從鄉鎮財政體制具體形式存利弊進行了分析;其次對鄉鎮財政收入體制進行了質量和數量分析,研究了鄉鎮財政體制形式歷史發展軌跡,分析其作用和適宜范圍,對預算內、預算外和制度外三塊資金變動規律進行了定量描述;再次,對鄉鎮財政支出事權進行了定量分析,明確了鄉鎮財政支出事權重點是教育事權和行政管理事權;對教育支出和行政管理支出彈分析。
  6. On the basis of introducing the theory of fuzzy control ( fc ) and neural network ( nn ) as a whole, this paper presented a new mixed control method, which was called as neural network - fuzzy control. ( nn - fc ). the nn - fc method combined the strong self - study ability of neural network and powerful experience - expressing ability of fuzzy control to meet the need of real - time control

    系統地介紹智能控制理論中模糊控制和神經網路控制理論之後,引入了模糊控制和神經網路控制相結合產物? ?神經模糊控制,將模糊推理強大結構知識表達能力與神經網路強大自學習能力集於一體,彌補了模糊控制需要系統驗知識且缺乏自學習功能不足。
  7. In this paper, paradigm is firstly analyzed and regarded as a system that consists of idea paradigm, rule paradigm and practice paradigm ; then, a combined point between the western economics and paradigm is found out by analyzing economics, that is to say, idea paradigm has the same meaning as the regulative problems, and rule paradigm and practice paradigm are branches of analyzed problems. so author thinks that it is possible to appear the natural development law of economics by analyzing economics theory introduced by kuhn ' s thoughts. in this paper, the possibility of applying kuhn ' s thoughts in the researches on western economics is proved and conformed by studying the development history of western economics, and institutional economics, the development trend of western economics is deduced

    因此,為了利於研究,筆者首對庫恩範式進行解構,把範式看作是由觀念範式、規則範式和操作範式三要素構成範式系統,其中觀念範式是核心,是始發之源,規則範式是中層結構,而操作範式是聯結外部自然「外圍」 ,範式系統層次結構中觀念範式是最穩定,不易發生變化,一旦觀念範式發生變化,則整個範式系統發生「格式塔轉換」使其明確化;然後通過分析經濟學研究,認為經濟學研究由對象、思想、和發展構成,通過對經濟學對象和思想研究,找到經濟學研究與範式結合點,即觀念範式與規范問題是具有同等意義概念,而規則範式和操作範式是武漢理工大學碩士學位論文對分析問題細分,從而使範式理論應用於經濟學理論研究成為可能。
  8. Finally, at the base of these research, aiming at characteristics of views about chemical substance, we think that the teaching strategy that is used to cultivate students " views about chemical substance, should follow five principles, which are respectively expansibility, integrating straightly explain and effect, paying attention to chemical experimentation, influence from scientific logic thinking and scientific methods, enhancing relations inside and outside of chemistry. four kinds of effective teaching strategy could promote the development of students " views about chemical substance in class

    最後,前面工作基礎上,針對化學物質觀特點,認為培養學生化學物質觀教學策略應遵循發展、直接講解與間接滲透相結合、注重運用化學實驗教學、科學思維和科學方法滲透以及加強化學學科內外綜合聯系等五項原則,可以運用直接教學策略、行組織者教學策略、自然科學方法論教學策略和培養對化學物質觀認知教學策略等課堂上促進學生化學物質觀發展。
  9. The basic working principles and characteristics of srm will be described firstly in this paper, as well as its developing survey and researching directions. and then the srd system will be separated into several function parts to be introduced respectively in details : ( 1 ) to analyze the basic characteristics of the srm including electromagnetism, current and torque of every angle field of the rotor based on the subsection - linearized inductance characteristics of stator windings and several idealized supposes. ( 2 ) how to design and realize the h - bridge converter, and the method to use it ; ( 3 ) how to design and realize the controller based on dsp ( tms320f240 ) and the control strategies, as well as the program ; ( 4 ) to introduce the monitor program running in a pc, which is programmed by delphi

    本文首介紹了srm基本工作原理和特點以及srd系統發展概況和研究方向,然後以srd功能構成為線索分部分進行介紹: ( 1 ) srm及控制策略分析,電感分段線化等簡化條件下分析得出了各個轉子位置角度區間電磁、電流和轉矩特並分析了控制策略; ( 2 )分析設計了h橋式功率變換器設計和工程實現方法,並設計了基於這種功率變換器換相; ( 3 )分析設計了以dsp為核心控制器以及控制方法,並介紹了該控制器軟硬體實現; ( 4 )介紹了如何用delphi編制實現上位機監控程序。
  10. In this thesis, we ’ ve first introduced some conceptions of model checkingand knowledge reasoning. then we ’ ve mainly introduced my tutor ’ s methodof model checking temporal logic of knowledge. lastly, we ’ ve applied thismethod to two specific areas with our tool mctk : one problem is to verifythe winning strategies in the zero - sum games, which is to automatically findout whether there exists a way ensuring the necessarily win of players ; theother problem is to verify the knowledge based security protocols, whosesecure properties rely on the knowledge reasoning of the anticipants in theprotocol

    本文首介紹了模型檢測和知識推理基本概念,然後著重介紹了我導師所提出模型檢測時態知識方法,最後使用本實驗室研製相關工具mctk來對兩個特定領域問題進行了自動驗證:一方面問題是驗證對弈中必勝策略,即驗證對弈中行棋雙方是否存著必然獲勝走法;另一方面問題是驗證基於知識安全協議,而這類協議安全特依賴于協議參與者知識推理。
  11. The defects and mendings of carnap ' s logical system of the theory of probability confirmation are accounted in the forth part of paper. firstly, carnap ' s theory is based on priori, so his theory does not give exact number to the degree of confirmation, which leaded the study of induction collected with people ' s cognitive ability

    由於卡爾納普概率確證理論建立概率基礎上,因而不能精確刻畫確證函數值,遭到了格萊憬爾等人批評,從而使人們認識到歸納研究應與人類認識規律相結合。
  12. The thesis is written in logic order of “ question asking - - question analysis - - question solution. ” first, on the basis of analyzing the operational environment for the power - generating companies after power sector restructuring, the author claims the necessity of budget management for these enterprises. then, by summarizing the extent of fulfillment of its budget targets from 2000 to 2004, she analyzes the problems and reasons in budget management in sr. at last, with the help of budget management theories and successful experience, she puts forward the detailed improvements separately in the budget structure, formation, fulfillment and evaluation

    寫作思路上,本文按「提出問題、分析問題、解決問題」順序進行:首分析我國電力改革后發電企業經營環境基礎上,作者提出了發電企業加強預算管理必要;然後,從sr發電公司2000年- 2004年預算完成情況分析入手,作者分析了其預算管理存問題和原因;最後,運用預算管理理論、借鑒其他發電企業管理經驗,作者從預算組織體系、編制、執行和考核方面,分別提出了具體改進措施。
  13. The absorptive capability comes into being and promotes along with the knowledge innovation process of enterprise, this can be scored in three phases or administrative levels in the light of historical and logistic development. first of all, the once knowledge innovation, which opens out how firms rely on out world technique and system knowledge without its inner knowledge innovation path, this kind of innovation must cause repeated imitate activity and virtually the lack of absorptive capability

    按照歷史和相統一觀點,這一過程可以刻畫為以下三個階段或層次:首是一次型企業知識創新過程,它揭示了不存內部知識創新路徑條件下,企業對外部技術、制度等方面知識依賴,說明企業重西北大學經管學院博士學位論文復模仿背後實質是吸納能力缺失。
  14. This thesis mainly introduce a development process of mis of steel tube enterprise producing. a universal mis of adapting to our country middle and small producing enterprise is developed in accordance with the practical situations of our country producing enterprise. the structure and developing method of the mis are analyzed, followed by the introduction of the development process in stages. the system development abides strictly by the requirements of software engineering, with all the files standard and complete. during the process of the development, we took into consideration practicality as well as scientific principles. the system is development under a quick prototype method. first, the logic module of the system is established through the analysis of the business flow process and the information flow concerning productive enterprise of steel tube ; secondly, in light of the module, the system is set up including the design of the system ' s network platform, developing tools, database, system code, software modules, system security, user ' s interface and so on. finally, the prototype of the system is implemented on the basis of the design

    文中首分析了管理信息系統開發方法和體系結構,然後分階段地介紹了具體開發過程。該系統開發嚴格遵守軟體工程要求,文檔規范完善,開發過程中堅持實用和科學相結合原則。系統採用快速原型法進行開發,首通過對鋼管生產企業業務流程和數據流程分析,建立了系統模型;接著針對該模型進行系統設計,包括對系統網路平臺、開發工具、數據庫、編碼、軟體模塊、系統安全及用戶界面等方面設計;然後設計基礎上實現了系統原型;通過對原型評價和改進,使原型最終成為實際產品。
  15. The method of fuzzy modeling can be taken as a good candidate of this problem in this thesis, the inverted - pendulum system is firstly analyzed by using t - s fuzzy model due to its property of arbitrary approximation for the non - linearity. based on the parameters identification, simulations of system are made by using fuzzy logic toolbox of matlab. the results of comparison with lq approach show the performance improvement in the aspects of overshoot and fast response

    本文首利用模糊模型非線逼近能力,採用t - s模糊模型對小車-倒擺控制系統分析並實現了該系統模糊建模及模糊模型各部分參數辯識,matlab模擬環境下藉助其模糊工具箱進行了系統模擬,與採用線二次最優控制系統模擬結果進行比較,改善了系統超調量及快速響應
  16. After analyzing the product data exchange and share among cax, pdm and erp, this paper expounded three arrangements of ideas to carry out system integration between pdm and erp at present, then, broadly combining with the last research achievements of information integration theory and method and synthetically considering technical advancement and practical needs of domestic medium and small - scale enterprises. advanced and analyzed three plans to solve the integration problems. in view of reasonable method to organize product information, the paper adopted express model language to describe integrated logic data structure, built integrated data model with o - o feature to support system integration, discussed the method to bring about integrated data model on rdbms, and at last, according to the implementation of cims in yunnei power co., ltd, developed a integrated data model to exchange and share information between pdm and erp by means of transforming ebom to mbom

    本文首對cax 、 pdm 、 erp之間產品數據交換與共享作了分析,闡述了現階段pdm與cax應用系統之間實現集成三個層次:結合國內外信息集成理論及方法最新研究成果,綜合考慮技術上和國內中小企業實際需要,提出並分析了三種解決集成問題方案;基於產品信息合理組織方法,採用express模式語言描述集成數據結構,建立了具有o - o特徵集成數據模型以支持系統集成,並討論了集成數據模型rdbms上實現方法;最後開發了一個以雲內動力股份有限公司cims工程為應用背景集成數據模型,通過利用ebom向mbom轉換技術來實現pdm系統與erp系統之間信息交換和共享。
  17. Secondly, the thesis analyzes the logic of the source codes of timedb to research the constructive methods and principles of temporal database management system. it shows how timedb can translate the tddl, tdml and tdql into standard sql statements. finally, a prototype, vehicle team system, is successfully developed using the timedb ' s apis

    分析timedb支持時態查詢語言atsql2擴展方法和原理,同時結合實例說明atsql2使用方法;接著深入分析timedb源代碼結構,深層次地分析tddl 、 tdml 、 tdql轉換方法和原理;最後應用timedbapi ,成功開發了「車隊管理系統」 ,驗證timedb及其時態數據管理上不足。
  18. To some degree, this is a new view of analyzing and studying company strategy. in the fifth chapter, two aspects are paid more attention to, the first is the logic of analyzing the process of forming strategy. the main logic is that strategy serves the creation of value, which depend on the strategic resource, thus the key to strat

    第五章分析了兩個方面內容,首是企業協調發展戰略形成過程分析,這里說明了戰略形成於創造價值,而創造價值關鍵依靠企業所積累戰略資源,所以企業戰略形成關鍵於不斷地積累戰略資源,策略、組織結構、組織特都是為了積累戰略資源,為創造價值而服務。
  19. This essay is intended to analyze and clarify the relationship between kant ' s transcendental logic and the formal logic, by pointing out that kant appeared to elicit the categories of the transcendental logic from the judgements of the formal logic, but actually he laid a foundation for the latter by virtue of the categories of the transcendental logic, basing the formal logic on the initiative of the perceiver and making it " epistemologized "

    摘要本文對康德與形式關系進行了分析和澄清,指出康德表面上是從形式判斷機能中引出諸范疇,實際上卻是以范疇為形式諸判斷形式莫基,從而使形式建立認識主體能動上而「認識論化」了。
  20. As the technology entered the era of deep - submicron ( dsm ) technologies, the second order effects of cmos device are having more and more influence on the performance of the cmos logic circuits. this dissertation compared the performance of four popular logic families against mcml under dsm technology

    隨著工藝發展進入深亞微米時代, cmos器件二階效應對電路能產生著越來越重要影響,論文首對比討論了mcml電路和其它各種常用電路採用深亞微米器件時能表現。
分享友人