時間語義結構 的英文怎麼說

中文拼音 [shíjiānyǔyìjiēgòu]
時間語義結構 英文
time semantic structure
  • 時 : shí］Ⅰ名1 （比較長的一段時間）time; times; days:當時at that time; in those days; 古時 ancient tim...
  • 間 : 間Ⅰ名詞1 （中間） between; among 2 （一定的空間或時間里） with a definite time or space 3 （一間...
  • 語 : 語動詞[書面語] （告訴） tell; inform
  • 義 : Ⅰ名詞1 （正義） justice; righteousness 2 （情誼） human ties; relationship 3 （意義） meaning; si...
  • 結 : 結動詞（長出果實或種子） bear （fruit）; form （seed）
  • 構 : Ⅰ動詞1 （構造; 組合） construct; form; compose 2 （結成） fabricate; make up 3 （建造; 架屋） bui...
  • 時間 : time; hour; 北京時間十九點整19 hours beijing time; 上課時間school hours; 時間與空間 time and spac...
  • 語義 : semanteme; semantics
  • 結構 : 1 （各組成部分的搭配形式） structure; composition; construction; formation; constitution; fabric;...
  1. 11 katoen j - p, langerak r, latella d, brinksma e. on specifying real - time systems in a causality - based setting. lecture notes in computer science 1135, 1996, pp. 385 - 405. 12 fecher h, majster - cederbaum m, wu j. refinement of actions in a real - time process algebra with a true concurrency model

    在系統模型的結構表示上，本文擴充了傳統的事件結構，使用一種帶時間信息的捆綁式事件結構來模擬系統行為，在系統模型的語言刻畫上，本文採用的是帶時間的類lotos進程代數描述語言，對于動作精化，我們同樣採用運算元的觀點，將動作精化定義為一個操作運算元。
  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. By the browser / web server / database structure and the technology of asp. net and xml, we achieve the expert system running on the network, extend the application and ensure its backward compatibility ; we have the deep research to the representation of knowledge and apply it to the system, extend the traditional method of rule based knowledge representation ; introduce the fuzzy sets, analyze the generalized possibility interval sets, and combine the linguistic variables and fuzzy sets ; the system adopts the forward and backward chaining, researches the reasoning under uncertainty and inexact reasoning ; and we depart knowledge base and inference engine, make the upgrade simple and maintenance convenient. in the last, we construct the potato produce manage system according to the phases of potato ' s growth to give a detailed instruct to its produc e

    Net和xml技術，實現了網路化的專家系統，同時擴大了專家系統的應用范圍，提高了系統的後向兼容性；對專家系統中的知識表示技術作了深入探討，在傳統的基於規則的知識表示方法的基礎上，提出了基於規則擴展的知識表示方法，並較好地將其應用到本系統中；引入了模糊集合，分析並推導了廣義可能區間集，將其應用於模糊知識的表示，將語言變量和模糊集合結合起來；提出對系統採用互動式知識獲取途徑、雙向推理控制策略，對不精確推理和不確定性推理的傳播演算法作了一定的研究，成功地將其應用到馬鈴薯專家系統的構建之中；採用知識庫和推理機相分離的方法，使得系統升級簡單易行。
  4. Existent automatic grading model of programs can not deal with the programs with structural body. in this paper, we study the syntax and concept of structural body based on an existed model, and improve the original model in the following aspects : increasing the middle representation form of structural body in analysis of morphology and syntax and system dependence graph and abstract syntax tree, adding standardization rules, mainly including type definition, nesting structure, initialization, function invocation, renaming and sequence of program sentence, besides standardization rules of bit operation and program with enumeration, enhancing the function of inspecting syntax error and improving matching strategies

    本文在原有的編程題自動評分模型的基礎上，對結構體的語法結構和實現原理進行研究，並在以下幾個方面完善原有模型:在詞法和語法分析、程序的系統依賴圖建立和抽象語法樹生成三個方面增加結構體類型的中間表示形式;擴充程序的標準化規則，主要包括類型定義標準化、結構體嵌套結構標準化、結構體初始化的標準化、結構體作為函數參數時函數調用標準化、結構體變量名稱標準化、結構體語句排列順序標準化等等;另外，還增加了位運算標準化、枚舉標準化以及文件的處理;增強學生程序中語法錯誤的檢測和改進程序匹配策略。
  5. So, date management is improved and a lot of complex semantic information is defined availably. the objected - oriented engineering template con structs organic relation between design and manufacture, realizes opposition and consolidate of integration and separation of geometry & manufacture information. for complex object, its hierarchical structure and dynamic data structure can be expressed effectively by simple and tight - knit way

    同時結合模板的知識表達方式，定義了語義對象工程模板，在模板中將設計信息按照對象之間的關系組織起來，加強了對數據的管理，並能表達多種復雜的語義等知識信息，建立了設計和製造活動的有機聯系，實現了幾何信息和製造信息的集成和分離的對立統一，將復雜對象、層次結構及動態的數據結構用一些相對簡單且組織嚴密的方式組織起來。
  6. 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兩者之間的區別與聯系；然後構建了一階語言系統，並在其中定義了狀態描述、結構描述、量程等重要概念與定理，以便使在考察歸納邏輯前提與結論時，能在該系統中根據確切的規則進行準確的分析。
  7. The goal of this article is : work over the language which is matched the common teaching process based on xml, do research on the logical structure of the courseware, analysis the time, layout element of it and the relationship between these elements. based on these research work, design and implement the authoring system which is based on xml, and then we can quickly generate and usher the xml courseware file

    本文的研究目標是：研究符合教學過程的xml形式的課件語言，對課件的邏輯結構形式進行研究，同時分析課件包含元素的時間、空間、以及元素關系等因素，定義符合以上內容的xml文檔結構形式；在以上基礎之上，設計並實現基於xml的課件創作系統，能夠實現基於xml的課件文檔的快速生成和展示。
  8. The initiative rule based on eeca can preferablely resolve semantic and structural collision when objects are communicated and transferred each other. the object cluster mechanism based on ccrm overcome the disadvantage of traditional strong class a nd weak class. in this way, the model is more flexible and steadier

    基於eeca的主動規則可較好地解決對象之間通信和轉換時的語義和結構沖突；基於ccrm的對象聚類機制克服了傳統的弱類型和強類型的缺點，使模型更具靈活性和穩定性。
  9. In this paper, it first defines the rule of basic structures in xyz / e, analyzes the analogies between xyz / adl design elements and uml modeling elements and defines the conversion rule, and uses uml extension mechanism and object constraint language to perfect the conversion. and then it selects class diagram and composite structure new in uml2. 0 for research, defines how to convert them to xyz / adl. there has been some research for the conversion from uml state machine diagram, activity diagram and sequence diagram to xyz / e

    本文具體工作如下:從xyz / adl到uml的轉換，首先定義了xyz / adl的語義基礎? ? xyz / e的基本結構到uml的轉換規則，接著通過分析xyz / adl的設計元素和uml建模元素之間的語義相似，定義了二者之間的轉換規則，並用uml的擴展機制和對象約束語言ocl描述進一步的約束來完善相應的轉換過程;另外對于從uml到xyz / adl的轉換，本文著重對uml類圖進行研究，定義了從uml類圖到xyz / adl的轉換機制，也對uml2 . 0新增加的組成結構圖到xyz / adl的轉換進行了定義，同時亦對國內已經開展的uml狀態圖、活動圖、順序圖到xyz / e的轉換機制研究作了簡要介紹。
  10. ( 4 ) facing the data volume we faced are enormous, full of noise and different possible meanings, textminer chooses some data structures, such as hash set, cross indexing, and other redundant measures for the time performance trade - off

    由於中文文本處理面對的文檔個體數據量大、噪聲多、語義歧義充斥，幾xtminer選擇了較為合理的數據結構，如哈希存儲、雙向索引和適當的冗餘存儲方案用於處理時間性能的改善。
  11. Based on the background of cultural globalization and city cultural similarity, this paper puts forward that transmitting civil fork - lore culture is one of the main approachs to keep local cultural character of city. it mentions that city leisure space is one of the main place where local fork - lore culture transmits as regard of the leisure time ' s feature. to reserve local culture character of chong qing city this paper researchs the lesure places of civilian in street, especially analyses the functions of leisure space in traditional street and civil fork - lore culture each other, mainly discovers the discipline of leisure space in traditional street composing based on history culture and civil fork - lore of chong qing city

    在文化全球化、城市地域文化趨同化的前提下，本文論述了市民習俗文化的傳承是保持城市地方文化特色的重要途徑之一；針對休閑時代的特徵，提出了城市休閑空間是市民習俗文化傳承的主要空間載體之一；在如何保持重慶城市地方特色的命題下，結合重慶的自然、歷史、文化等因素，以重慶街巷休閑空間和市民的生活習俗為研究對象，在揭示傳統街巷休閑空間與市民習俗文化「互為同構」關系的基礎上，剖析了傳統街巷休閑場所的內在構成規律，以針對重慶現代街巷休閑空間面臨消失和場所中文化「語義」缺失的危機，呼喚現代休閑生活向城市街巷的回歸，提出了與傳承市民習俗文化相對應的現代街巷休閑空間的設計目標、原則和對策，為實現城市地方文化的傳承，探索了一種新思維。
分享友人
分享到 Line

分享到臉書