語義操作 的英文怎麼說
中文拼音 [yǔyìcāozuò]
語義操作
英文
semantics operation-
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進程代數描述語言，對于動作精化，我們同樣採用運算元的觀點，將動作精化定義為一個操作運算元。Based on consider hereinbefore, this dissertation discusses several aspects on the problem of the sustainable and optimum exploitation of groundwater resources as follows : ( 1 ) reviewed entirely the origin and evolvement of the concept " sustainable development ", stated and commented the study status in queue on " sustainable development " around national and international range, thorough discussed the science connotation about the concept " sustainable development " ; ( 2 ) looked back and commented across - the aboard some furthest basic concept and proposition related to groundwater resources, put forward self opinions on a few existent mistake points of view and chaos understandings ; ( 3 ) expatiated entirely on the content and meaning of the theory of changeable groundwater resources system, contrast with the traditional methods of groundwater resources calculation and evaluation, combined example to show the application of this theory ; ( 4 ) thorough analyzed the difficult and complexity to forecast the groundwater resources, fully stated the traditional methods of groundwater resources forecasting, pointed out the characteristic and applying condition of these forecasting method, introduced the main ideas and methods of wavelet analysis developed recently, and the matlab software be known as the fifths era computer language, and its accessory wavelet analysis toolbox, applied these methods and tools to analyze the groundwater dynamic curve, adopted the b - j method and morte - carlo method, combined with the theory of changeable groundwater resources system, discussed the new view on the forecast of groundwater resources ; ( 5 ) synthetically analyzed the characteristics and limitations of the present all kind of groundwater manage model, combined mathematical programming mathematical statistics random process and the theory of variation system of groundwater resources on the unite optimum attempter of surface water and groundwater, emphasized how to make the model more nicety, more simple, more practicality ; ( 6 ) analyzed the inside condition and outside condition to assure the sustainable and optimum exploi tation of groundwater resources, the inside conditions are the follows : correct resources idea, scientific methods of resources calculation and evaluation, credible forecast methods of resources, exercisable measures of resources management, the outside conditions are the follows : the development idea of high layer, the transform of manage system, the matched policy and rule of law, the adjusted of economy lever, the improve of cultural diathesis, the boosting up of water - saving consciousness and detail measures, the control of population rising, the prevention and cure of water pollute, the renew and rebuild of ecology ; ( 7 ) scan the sustainable and optimum exploitation of groundwater resources from the high level of metagalaxy, earth system science, and philosophy ; lint out the more directions on groundwater resources
基於以上考慮，論文主要從以下幾方面對地下水資源可持續開發問題進行了比較深入的探討：全面回顧了「可持續發展」概念的由來與演變，對國內外「可持續發展」的研究現狀進行了述評，並對「可持續發展」概念的科學內涵進行了深入探討；對涉及地下水資源的一些最基本的概念和命題進行了全面的回顧和評述，對目前仍然存在的一些錯誤觀點和混亂認識提出了自己的見解；全面闡述了地下水資源變值系統理論的內容和意義，並與傳統的地下水資源計算評價方法進行了對比分析，結合實例具體說明了方法的應用；深入分析了地下水資源預測預報工作的極端重要性和復雜性，對傳統的地下水資源動態預測方法進行了全面的評述，指出了各類預測預報方法的特點及適用條件，對最近二十多年剛發展起來的小波分析技術的主要思想和方法及其應用范圍，以及號稱第五代計算機語言的matlab軟體和附帶的小波分析工具箱進行了介紹，並應用於地下水動態過程線的分析，採用時間序列中的b ? j法，蒙特卡羅方法，與地下水資源變值系統理論相結合，探討了地下水動態資料分析和地下水資源預測預報的新思路；綜合分析了現今各類地下水管理模型的特點及缺陷，將數學規劃、數理統計、隨機過程等與地下水變值系統理論相結合進行地表水地下水或多水源的聯合優化調度，使模型更準確、更實用；對保證地下水資源可持續開發的內部條件和外部條件進行了分析，內部河海人學博卜學位論文前言、摘要、目錄條件主要是正確的資源觀，科學的資源計算與評價方法，可靠的資源預測預報技術，可操作的資源管理措施，外部條件主要是高層發展思路、管理體制的變革、配套的政策法規、經濟杠桿的調節、人文素質的提高、節水意識的增強及具體節水措施、人口增長的控制、水體污染的防治、生態的恢復和重建等;從宇宙科學、地球系統科學及哲學的高度審視地下水資源的可持續開發;指出了地下水資源可持續開發的進一步研究方向。Jfs logging semantics are such that, when a file system operation involving meta - data changes - that is, unlink - returns a successful return code, the effects of the operation have been committed to the file system and will be seen even if the system crashes
Jfs日誌記錄的語義如下：當涉及元數據更改的文件系統操作- -例如， unlink （ ） - -返回成功執行的返回碼時，操作的結果已經提交到文件系統，即使系統崩潰了也可以發現。However, data manipulation language and data definition language statements execute atomically
但是，數據操作語言（ dml ）和數據定義語言（ ddl ）語句會自動執行。It offers syntactic interoperability, and provides the base layer for building a semantic web
它提供了句法的互操作性，還提供了構建語義web的基礎層。A manageability capability is a composable set of properties, operations, events, metadata, and other semantics that supports a particular management task
可管理性功能是一套可組合的屬性、操作、事件、元數據以及其它支持特殊管理任務的語義。Equivalence proving of operational and denotational semantics about repeat - until statement
語句的操作語義與指稱語義的等價性證明The main work included : the classical lambda calculus was modified to describe the character of dynamic fuzzy ; the abstract syntax of dfl programming language was described through bnf notation ; an operational semantics model of dfl programming language was proposed with a ternary array < dfsc, dfo, dfss > and then some basic data types and several mechanisms of constructing new data types were defined ; the frame of dfl progaramming language was provided ; it was described how to solve some problems applying the operational semantics model ; the correctness and reliability of the operational semantics model were proved by hoare logic and denotational semantics
主要內容包括:變形傳統的演算，以更好地描述具有動態模糊性的問題;通過bnf描述了dfl程序設計語言的抽象語法;通過一個三元組< dfsc ， dfo ， dfss >給出了dfl程序設計語言的操作語義模型;給出了dfl程序設計語言的基本框架結構;給出了該操作語義模型的一些應用實例;通過hoare邏輯和基本指稱語義對本文所定義的操作語義模型的正確性和可靠性進行了證明。由此可見，本文從全新的角度定義了一種可以處理動態模糊問題的程序設計語言。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 ）的操作語義模型，以期形成解決動態模糊性問題的程序設計方法。Now that you have a handle no pun intended on all the tools we ve shown you, here are some ways you can use them individually or together to improve your memory monitoring
現在您已經操作（不是雙關語， handle還有一個含義是句柄）了我們要介紹的所有工具，下面是您單獨或一起使用這些工具，改進內存監控的一些方法。This section covers data definition language statements, data manipulation language statements, and functions
本節涵蓋數據定義語言（ ddl ）語句、數據操作語言（ dml ）語句和函數。Finally they connect the grades with the teachers " salary, the professional post ' s appraisal and soon, in such atmosphere, the teachers have to pay more attention to the language points in the classroom teaching. the important things in the teaching programs are to detail the outlines for the language knowledge, to collect the good examination questions, and print them in the papers as the teaching materials. then the teachers force the students to read and learn them by heart. the teachers wo n ' t waste time in reforming the method of teaching, what they want is the high teaching efficiency by controlling the learning a ction with strict class disciplines
教學模式單一，教學任務極大地簡化了，變成了可操作性步驟：擬訂詳細的講課提綱，收集模擬試題，將重點、疑難點問題做成講義發給學生，組織學生反復練習，最後爛熟於心。為了追求「教學效率」課堂管理也就成為對課堂違紀行為的嚴格控制，並在控制過程中，不斷地標定並製造著偏差學生，人為地造成了英語教學兩極分化嚴重的現象。Vertical pumps for nomenclature, definitions, application and operation
立式泵.術語定義應用和操作Ship operation tank pipework - terms, definitions, symbols
船舶操作油箱管道.術語定義符號Secondly, based on the classification of fuzzy set semantics, we give a new definition on data type. thirdly, by new data types, we give a new fuzzy relational database management system ( frdbs ) database language ( dbl ) and a new quotient operator based on the semantics in fuzzy relational database
利用模糊集合的語義分類，本文提出了一種新的模糊數據類型劃分方法，在此基礎上提出了一種改進的模糊數據庫語言，並提出了一種基於語義的模糊關系除操作和用於數據類型之間進行轉換的上操作和下操作。To compensate for the difference in blank padding comparison semantics, for certain operations such as predicates, the federated system rewrites the predicates to ensure the same semantics when these predicates are sent to an oracle server
為了補償空白填充比較語義的差異，對于謂詞之類的一些操作，聯邦系統重新編寫謂詞，以確保當這些謂詞被送到oracle服務器時具有相同的語義。Because xslt operates on a per - element basis, guaranteeing that an element is syntactically and semantically equivalent across different source documents enables you to reuse xslt style sheet fragments
因為xslt以每元素為基礎進行操作，從而保證了跨不同源文檔的元素在語法和語義上是相同的，這使您可以重用xslt樣式表段。We summarize the barriers of protocols, functions, data structure and semantic. in turn analyse the key contents of interoperability - attribute and semantic interoperability, and outline method of attribute representation, semantic data model and the framework of interoperability
歸納了互操作需要解決的協議、功能、數據結構和內容上的障礙；對互操作中的核心問題做了深入剖析，給出了屬性的表示方法、語義數據模型和互操作框架。An identifying system is designed and implemented which can give every geometric element an exclusive identifier. from the identifier, corresponding geometric elements can be gotten
這就為進一步的應用（特徵表示模型、特徵編輯、語義操作等）提供了一個堅實的基礎。This paper discusses the theory and a method for spatial metadata interoperability based on the metadata interoperability of spatial information semantic level, and presents the technical framework of spatial information metadata interoperability
摘要從空間信息語義層中的元數據互操作角度出發，討論適用於空間信息元數據互操作的理論和方法，並提出基於擴展的元數據互操作協議的空間信息元數據互操作理論應用技術框架。分享友人