時態邏輯語言 的英文怎麼說

中文拼音 [shítàiluóyǔyán]
時態邏輯語言 英文
tense logic language
  • 時 : shí］Ⅰ名1 （比較長的一段時間）time; times; days:當時at that time; in those days; 古時 ancient tim...
  • 態 : 名詞1. （形狀; 狀態） form; condition; appearance 2. [物理學] （物質結構的狀態或階段） state 3. [語言學] （一種語法范疇） voice
  • 邏 : Ⅰ動1. （巡察） patrol 2. [書面語] （遮攔） blockⅡ名詞1. （巡察） patrol 2. [書面語] （山溪的邊緣） edge
  • 輯 : Ⅰ動詞（編輯; 輯錄） collect; compile; edit Ⅱ名詞（整套書籍、資料的各個部分） part; volume; division
  • 語 : 語動詞[書面語] （告訴） tell; inform
  • 言 : Ⅰ名詞1. （話） speech; word 2. （漢語的一個字） character; word 3. （姓氏） a surname Ⅱ動詞（說） say; talk; speak
  • 邏輯 : logic
  • 語言 : language
  1. 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

    本文認為，佩拉所倡導的科學修辭學戰略的目的在於，通過修辭學語境空間來拯救或重塑理性，以達到理性的「理由」和修辭學的「有理由」的內在統一，從而徹底打破邏輯證明力與論述說服力、靜態規范標準和動態交流評價之間的僵化界限；同時，也為走出形式邏輯的預設和非理性主義困境提供了一條出路，並從科學論述的境遇、選擇、辯護中，給出戰略性的心理定向和更廣闊的語言創造的可能空間，為當代科學哲學的發展注入新的活力。
  2. Up to now, there has been ten years for the research of dynamic fuzzy logic ( dfl ) and a series of achievements have been made. in order to further expand the applications of dfl, this thesis followed dijkstra ’ s guarded commands and put forward an operational semantics model of dfl programming language which can solve dynamic fuzzy problems

    動態模糊邏輯（ dfl ）的研究已有十年的時間了，目前已取得了一系列研究成果，為了進一步拓展這些研究成果的應用，本文借鑒dijkstra的監督命令程序結構，通過結構化操作語義描述方法從軟體理論方面進行研究，提出了動態模糊邏輯程序設計語言（ dflprogramminglanguage ）的操作語義模型，以期形成解決動態模糊性問題的程序設計方法。
  3. This design for mvbc system adopts top - down eda common design flow. circuit design adopts veriloghdl coding description. function simulation and timing verification adopt simulation tool vcs of synopsys inc, the logic synthesis tool and fpga programming tool adopt the quartus ii of altera inc, and the fpga advice stratix ii ep2s15

    該mvbc系統設計採用業界通用的自上而下的eda設計方法，電路邏輯實現採用veriloghdl硬體語言描述，功能和時序驗證的動態模擬採用synopsys公司的vcs ，而邏輯綜合與fpga實現採用altera公司的集成開發環境quartusii軟體以及stratixiiep2s15的fpga器件。
  4. With turning the scale of asic ( appl ication specified integrated circuits ) to s0c ( system on chip ), which conunon1y is composed of mcu, specified function ip cores, memory, periphery interface etc, the ip reuse techno1ogy is very important in s0c design flow, which can realize the constructions of different levels components. the approach of configurable system, method and design f1ow for udsm ( u1tra deep sub micron ) asic, logic system design using hdl 1anguage, coding style, static and dynamic verification strategy are a1so presented in chapter 2. in chapter 3 we study the vlsi - - dsp architecture design, dense computation and high speed high performance digital signal processing unit structure, which includes high speed mac components and distributed arithmetic unit

    在工程設計方法及結構化設計和高層次綜合的研究中，介紹了在深亞微米工藝條件使用的方法和asic設計流程，討論了高層次綜合的核心如何從描述推出電路構成的設計思路，針對不同目標的設計技巧討論了採用hdl語言進行邏輯系統設計的方法，給出了用vhdl語言進行代碼設計時的規范和風格，在面向soc的驗證策略討論了動態和靜態的驗證技術，提出了進行單獨模塊驗證、晶元的全功能驗證和系統軟硬體協同驗證的整體策略。
  5. We use temporal logic language xyz / e as our component description language for components may have different abstract hierarchy and different granularity. xyz / e is able to describe the dynamic semantics and static operations of component, and to formally describe system in different hierarchy

    由於構件可能具有不同的抽象層次和粒度，我們採用了時序邏輯語言xyz e作為構件描述語言，這種語言能夠描述構件的靜態語義和動態執行，並且能在不同抽象層次上對系統進行形式化描述。
  6. I regard qsim as a kind of constraint satisfaction problem ( csp ), and improve the qualitative simulation algorithm by constraint logic programming ( clp ). fuzzy qualitative simulation develops conventional qsim on several facets, such as representation of qualitative value, state transition rule and filtering algorithms. it bridges the gap between pure qualitative and quantitative, and improve the efficien

    前者是將定性模擬演算法看作一類約束滿足問題，用約束邏輯程序加以改進，不僅為解決定性模擬問題提供了邏輯框架，而且也是一種規范化的程序描述語言；模糊定性模擬演算法則是對純定性模擬演算法在知識描述、狀態轉移規則、過濾演算法等方面的改進，是一類半定量描述方法，有利於在定性模擬領域綜合定量信息，同時提高演算法的效率。
  7. Carnap ' s inductive logical system of the theory of probability confirmation is introduced in the second part of paper. firstly, some basical and important concepts are explained such as confirmation and degree of confirmation, probability1 and probability2. in carnap ' s opinion, the difference between verifiability and confirmation is that verifiability means the hypothesis is finally proved to be true, but confirmation means it be true nowerdays. then carnap analyzed the distinction and relationship between probabilityi and probability2

    他認為，證實是決定性地最後為真，而確證只是現階段得到確定，並不保證以後也確定為真；繼而分析了概率1與概率2兩者之間的區別與聯系；然後構建了一階語言系統，並在其中定義了狀態描述、結構描述、量程等重要概念與定理，以便使在考察歸納邏輯前提與結論時，能在該系統中根據確切的規則進行準確的分析。
  8. While programs in the java language are theoretically immune from " memory leaks, " there are situations in which objects are not garbage collected even though they are no longer part of the program s logical state

    雖然用java語言編寫的程序在理論上是不會出現「內存泄漏」的，但是有時對象在不再作為程序的邏輯狀態的一部分之後仍然不被垃圾收集。
  9. 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的先進性及其在時態數據管理上的不足。
分享友人
分享到 Line

分享到臉書