邏輯的先在性 的英文怎麼說
中文拼音 [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
-
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
在邏輯理論的證成問題上, 「概念的雙重作用」要求邏輯理論的建構必須堅持后驗性與先驗性的統一。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從邏輯意義上說,沒有什麼是附屬:如果一個事物出現在原始事實中,則原始事實的可能性必定先驗地存在於事物中。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調度服務的調度策略和調度框架的基礎上,研究了分佈實時環境下的全局優先級調度和管理:即如何根據分佈實時應用的時間特性和重要程度確定分佈實時應用對象的全局優先級別;全局優先級的邏輯表示與透明傳遞;全局優先級與服務器局部優先級的一致性映射;防止優先級反轉等問題。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
本文首先從謹慎性原則與會計中不確定性的關系出發,論證了謹慎性原則產生的本源及其內在邏輯矛盾問題。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
研究是按照如下分析邏輯展開:以鄉鎮財政的供給與需求為切入點,首先對鄉鎮規模變動進行分省區分析,並從鄉鎮財政體制的具體形式存在的利弊進行了分析;其次對鄉鎮財政收入體制進行了質量和數量分析,研究了鄉鎮財政體制形式的歷史發展軌跡,分析其作用和適宜范圍,對預算內、預算外和制度外三塊資金的變動規律進行了定量描述;再次,對鄉鎮財政支出事權進行了定量分析,明確了鄉鎮財政支出事權重點是教育事權和行政管理事權;對教育支出和行政管理支出彈性分析。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
在系統地介紹智能控制理論中的模糊控制和神經網路控制理論之後,引入了模糊控制和神經網路控制相結合的產物? ?神經模糊控制,將模糊邏輯推理的強大結構性知識表達能力與神經網路的強大自學習能力集於一體,彌補了模糊控制需要系統先驗知識且缺乏自學習功能的不足。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
因此,為了利於研究,筆者首先對庫恩範式進行解構,把範式看作是由觀念範式、規則範式和操作範式三要素構成的範式系統,其中觀念範式是核心,是始發之源,規則範式是中層結構,而操作範式是聯結外部自然的「外圍」 ,在範式系統的層次結構中觀念範式是最穩定的,不易發生變化的,一旦觀念範式發生變化,則整個範式系統發生「格式塔轉換」使其明確化;然後通過分析經濟學的研究邏輯,認為經濟學的研究邏輯由對象邏輯、思想邏輯、和發展邏輯構成,通過對經濟學對象邏輯和思想邏輯的研究,找到經濟學研究與範式的結合點,即觀念範式與規范性問題是具有同等意義的概念,而規則範式和操作範式是武漢理工大學碩士學位論文對分析性問題的細分,從而使範式理論應用於經濟學理論的研究成為可能。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
最後,在前面工作基礎上,針對化學物質觀的特點,認為培養學生化學物質觀教學策略應遵循發展性、直接講解與間接滲透相結合、注重運用化學實驗教學、科學邏輯思維和科學方法的滲透以及加強化學學科內外綜合的聯系等五項原則,可以運用直接教學策略、先行組織者教學策略、自然科學方法論教學策略和培養對化學物質觀認知的教學策略等在課堂上促進學生化學物質觀的發展。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編制實現上位機監控程序。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來對兩個特定領域的問題進行了自動驗證:一方面的問題是驗證對弈中的必勝策略,即驗證對弈中的行棋雙方是否存在著必然獲勝的走法;另一方面的問題是驗證基於知識的安全協議,而這類協議的安全特性依賴于協議參與者的知識推理。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
由於卡爾納普的概率邏輯確證理論建立在概率先驗性基礎上,因而不能精確刻畫確證函數的值,遭到了格萊憬爾等人的批評,從而使人們認識到歸納邏輯的研究應與人類的認識規律相結合。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年預算完成情況分析入手,作者分析了其預算管理存在的問題和原因;最後,運用預算管理理論、借鑒其他發電企業管理經驗,作者從預算組織體系、編制、執行和考核方面,分別提出了具體改進措施。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
按照歷史和邏輯相統一的觀點,這一過程可以刻畫為以下三個階段或層次:首先是一次型企業知識創新過程,它揭示了不存在內部知識創新路徑的條件下,企業對外部技術、制度等方面知識的依賴性,說明企業重西北大學經管學院博士學位論文復模仿背後的實質是吸納能力缺失。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
文中首先分析了管理信息系統的開發方法和體系結構,然後分階段地介紹了具體的開發過程。該系統的開發嚴格遵守軟體工程的要求,文檔規范完善,在開發過程中堅持實用性和科學性相結合的原則。系統採用快速原型法進行開發,首先通過對鋼管生產企業業務流程和數據流程的分析,建立了系統的邏輯模型;接著針對該模型進行系統設計,包括對系統的網路平臺、開發工具、數據庫、編碼、軟體模塊、系統安全及用戶界面等方面的設計;然後在設計的基礎上實現了系統原型;通過對原型的評價和改進,使原型最終成為實際產品。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模擬環境下藉助其模糊邏輯工具箱進行了系統的模擬,與採用線性二次最優控制的系統模擬結果進行比較,改善了系統超調量及快速響應性。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系統之間的信息交換和共享。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的轉換方法和原理;最後應用timedb的api ,成功開發了「車隊管理系統」 ,驗證timedb的先進性及其在時態數據管理上的不足。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
第五章分析了兩個方面的內容,首先是企業協調發展戰略形成過程邏輯分析,在這里說明了戰略形成的目的在於創造價值,而創造價值的關鍵依靠企業所積累的戰略資源,所以企業戰略形成的關鍵在於不斷地積累戰略資源,策略、組織結構、組織特性都是為了積累戰略資源,為創造價值而服務。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 "
摘要本文對康德先驗邏輯與形式邏輯的關系進行了分析和澄清,指出康德表面上是從形式邏輯的判斷機能中引出先驗邏輯的諸范疇,實際上卻是以先驗邏輯的范疇為形式邏輯的諸判斷形式莫基,從而使形式邏輯建立在認識主體的能動性上而「認識論化」了。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電路和其它各種常用邏輯電路在採用深亞微米器件時的性能表現。分享友人