預設邏輯 的英文怎麼說

中文拼音 [yùshèluó]
預設邏輯 英文
default logic
  • 預 : Ⅰ副詞（預先; 事先） in advance; beforehand Ⅱ動詞（參與） take part in
  • 設 : Ⅰ動詞1 （設立; 布置） set up; establish; found 2 （籌劃） work out : 設計陷害 plot a frame up; fr...
  • 邏 : Ⅰ動1. （巡察） patrol 2. [書面語] （遮攔） blockⅡ名詞1. （巡察） patrol 2. [書面語] （山溪的邊緣） edge
  • 輯 : Ⅰ動詞（編輯; 輯錄） collect; compile; edit Ⅱ名詞（整套書籍、資料的各個部分） part; volume; division
  • 預設 : default material and textures
  • 邏輯 : logic
  1. Poincare ' s criticism on " the expected reason ", justification for the existence of mathematical object and opposition to the postulate of real infinite provide the developmental approach for the intuitionism in philosophy of mathematics

    摘要彭加勒對邏輯主義「預期理由」的批判，對數學對象存在性的辯護和對實無窮假設的反對，都為數學哲學中直覺主義學派的發展開辟了道路。
  2. In my opinion, the strategy of pera ' s rhetoric of science aims to, through the rhetorical context, save and rebuild the rationality and achieve the inner unity of rational reason and rhetorical persuasion and breaks thoroughly the rigid bounds both between the logical demonstration and the argumentative persuasion and between the static norms and the dynamic exchange evaluation. at the same time, it also provides a way in which some dilemmas such as formal logical presuppositions and irrationalism can be solved, gives the specific strategically psychological direction and much broader room for language creation to bring a fresh motive power for the development of contemporary philosophy of science

    本文認為，佩拉所倡導的科學修辭學戰略的目的在於，通過修辭學語境空間來拯救或重塑理性，以達到理性的「理由」和修辭學的「有理由」的內在統一，從而徹底打破邏輯證明力與論述說服力、靜態規范標準和動態交流評價之間的僵化界限；同時，也為走出形式邏輯的預設和非理性主義困境提供了一條出路，並從科學論述的境遇、選擇、辯護中，給出戰略性的心理定向和更廣闊的語言創造的可能空間，為當代科學哲學的發展注入新的活力。
  3. Modern contract theory : evolution and logical empiricism methodology

    邏輯經驗主義的本體論預設
  4. On the base of unification of history and logic, this dissertation aim to illustrate the science value of historical institutionalism in political science on the standpoint of the developing of political science. the postulation of this dissertation is that political science is a special social science. this particularity decides that the standard about the knowledge of political science is the unification of practice and technicality

    本論文在歷史與邏輯相統一的方法論指導下的一個基本理論預設是，政治科學是一門特殊的科學，政治科學的這種特殊性決定了，衡量政治科學知識體系的有效性時有著獨特的標準，即政治科學的實踐性和學術性的統一。
  5. In chapter three, the all sub - circuits including uvlo, current bias, ldo, oscillator, green mode, slop compensation, power limiting, pwm, ovp, blanking time generator, logic controller are designed and simulated. as a result, all of the sub - circuits are satisfied the requirements

    本文第三章對集成電路內各個模塊包括欠壓保護、電流偏置、 ldo 、振蕩器、綠色模式、斜坡補償、功率限制、脈寬調制、過壓保護、前沿消隱、邏輯控制電路等進行了設計與模擬，且達到了預定的設計目標。
  6. Logic postulates the possibility of universal truth ( a concept that independently of its objects remains unchangeable, eternal and unaffected by rhetoric )

    邏輯預先設定了普遍真理。 （客體是不可被修辭改變的、永久的和不可影響。 ）
  7. And, the thesis mainly presents the research on the key technique of the dataflow control, including the realization of the pci interface control, the control of the sram memory that read or written by fpga, the pretreatment and the output control of the image and the intercommunication between pc and fpga. and then, it presents the design and the realization of the pc application program. in the end, it presents the debugging stepps and the application of the system.

    本文的重點在於介紹高解析度實時圖像處理系統的fpga控制邏輯設計，主要研究了該數字圖像處理系統中影響系統實時處理速度的數據流控制技術，如pci介面控制、 fpga與外部ram的高速讀寫控制、圖像的採集預處理，圖像的輸出控制等，本文還介紹了高解析度實時圖像處理卡的上位機應用程序設計與實現，本文的最後介紹了系統的調試及應用。
  8. In order to ensure to process regularly the daily maintenance management, this paper is based on the theory and method of database design and the theory of pavement management system, combining the application environment and operation flow of the expressway maintenance system, bringing forward the four stages of the expressway maintenance system design which are the requirement analysis of consumers, conception framework design, logic framework design and physical framework design, scheming out an optimum database mode applied to all kinds of expressway maintenance systems, and establishing a common database application system, so that the expressway maintenance system can evaluate the pavement performance, forecast the pavement performance and make decisions of the pavement maintenance

    為了保證高速公路日常養護管理正常有序的進行，本文根據數據庫的設計原理、方法及路面管理系統原理，結合高速公路養護管理系統的實際應用環境和操作業務流程，提出了高速公路養護管理系統數據庫設計的4個階段? ?用戶實際需求分析、概念結構設計、邏輯結構設計和物理結構設計，設計出適用於各種高速公路養護管理系統最優的數據庫模式，並建立了通用的數據庫應用系統，使得養護管理系統能夠進行路面性能評價、性能預測和養護維修決策
  9. 11 luo x, zhang c, jennings n r. a hybrid model for sharing information between fuzzy, uncertain and default reasoning models in multi - agent systems. international journal of uncertainty, fuzziness and knowledge - based systems, 2002, 10 : 401 - 450. 12 hindriks k v, de boer f s, der hoek w van, meyer j j c. formal semantics of an abstract agent programming language

    Agent行動選擇和目標更新不僅依賴于agent的不確定信念，而且依賴于agent在實施這些行動的時候的得失效應值在此，把點概率的效應理論擴展到了區間概率的情況，並借用模糊數學中區間數的方法，給出了比較區間最大期望效應的方法再次，關于實用推理的不確定性的繁殖，使用了基於預設決策理論的預設邏輯方法。
  10. The main contribution and research works are as follows : 1. based on mechanism modeling basic state space equation was built. and then by exploiting expert knowledge, operational experience and logical constraints in systems, industrial process hybrid model was built. stability of this model was defined and the method of designing controller based on predictive control was present

    結合機理建模和數據建模，利用機理建模的方法建立系統的基本的狀態方程，再利用專家的知識、操作工的經驗、系統本身的邏輯關系，將這二者聯系在一起，建立系統的結合邏輯與規則的混雜模型，討論了此類混雜模型穩定性的定義，並給出了基於預測控制的設計控制器方法以及預測控制系統穩定性條件。
  11. Classical logic is established on the basis of a close world, and it can be used in reasoning only if all information is known

    摘要經典邏輯是建立在封閉世界預設的基礎上的，但邏輯系統也可以建立在開放世界預設的基礎上。
  12. Probe into the question of presuppositionto the logic of natural language

    自然語言邏輯預設問題探究
  13. We can see that the information of software enterprise can greatly liberate the productivity, improve the efficiency, and make the whole organization visualize to every items and each aspect of the organization, which will arrives the predictable of cmm4 and the durative improvement of cmm5, further more, it can improve the market competitive ability of the organization. this paper point out the idea that we must have a suitable and comprehensive software management information system to realize software process control base on deeply analyseing the software enterprise information and the background and key technology of the software process information

    研究和實踐表明，通過軟體企業信息化的建設，能夠極大解放軟體研發人員的生產力，提高軟體開發質量和工作效率，使整個軟體組織對于個體項目和全組織所關注的項目執行過程具有極高的可視性，更好的實現軟體業務邏輯過程的自動化，進一步提高軟體項目的定量管理、缺陷預防和持續過程改進的能力，達到cmm4可預測、 cmm5持續改進的過程能力，進而極大地提高企業的市場競爭力。
  14. A testbench program is edited to simulate the behavior of the fifo. after the software simulation is accomplished, a real hardware circuit is designed to multiplex two data channels ( 1553b data channel and 1394 data channel ) according to ccsds standard. during the experiment and hardware debugging, the output logic of the fpga is checked up

    設計中，用vhdl語言對高速復接器進行行為級建模，為了驗證這個模型，首先使用軟體進行模擬，通過編寫testbench程序模擬fifo的動作特點，對程序輸入信號進行模擬，在軟體邏輯模擬取得預期結果后，繼續設計硬體電路，設計出的實際電路實現了將來自兩個不同速率的信源數據（ 1394總線數據和1553b總線數據）復接成一路符合ccsds協議的位流業務數據。
  15. These questions are used to " characterise " the proposal being tested, and the in - built logic of the system uses the responses to these questions to trigger a list of relevant sustainability indicators for which the user is required to input responses on predicted magnitude and direction of change of the indicator and the level of uncertainty which they attach to that decision

    這些問題的設計具有鑒定測試中的建議所涉及的范疇的功能，系統的內置邏輯會利用使用者就這些問題所輸入的答案啟動一系列可持續發展指標，使用者必須輸入預期該項建議對指標所帶來的變動幅度和方向，同時列出他們認為該項回應存在的不明朗因素。
  16. If traffic flows are predictable enough that the network can be designed to keep 70 to 80 percent of the traffic within specific logical groups, virtual lans ( vlans ) can be used to create these logical groups

    如果流量能預測的程度足以設計在特定的邏輯組內保持70 %至80 %的流量的網路，那末虛擬局域網（ vlan ）就可被用來建立這些邏輯組。
  17. The main content includes exponent comparator, leading zeros detector and leading zeros anticipatory logic, while leading zeros anticipatory logic is the core

    主要內容包括：指數比較器設計、前導零檢測器和前導零預測邏輯，而前導零預測邏輯是本文的核心。
  18. In this respect they are no different to the asymmetrical tactics i challenged before, with the exception that they were built on logical frames that the game designers hadn ' t foreseen, rather than exploiting holes and gaps with weird arrows and positions

    出於以上幾些，除卻它們是構建於游戲設計者沒有預見到的邏輯框架之上的這點要強過憑借怪異的箭頭和位置去利用漏洞的做法之外，這類戰術和我之前所鄙視的非對稱流戰術沒有區別。
  19. Potential ( dynamic ) hardpoints : those are hardpoints that can be placed anywhere on the ship hull provided that it ' s flat enough ( try to be coherent, don ' t place hardpoints on details or where there are important details in the textures, such as windows ), and that there ' s enough room for it

    潛在（動態）掛載點：那些是可以設置在船殼任意平整位置（確保邏輯緊密，不要使掛載點覆蓋在船體的一些重要材質細節上，比如窗戶）上的掛載點，所以要事先為此預留足夠的的安裝空間。
  20. Software includes designing of the dsp initialization files, sampling and processing program of the synchronous signal, sampling and logic pre - processing program of the rectifier voltage, program of fault diagnosis and location, display and alarm program, delay and isr program

    軟體部分主要包括： dsp初始化程序的設計、同步信號的獲取及處理程序、整流電壓的采樣和邏輯預處理程序、故障診斷及定位演算法，顯示和報警程序及延時中斷服務程西安理工大學碩士學位論文序等。
分享友人
分享到 Line

分享到臉書