模型論語義 的英文怎麼說

中文拼音 [móxínglúnyǔyì]
模型論語義 英文
model-theoretic semantics
  • 模 : 模名詞1. （模子） mould; pattern; matrix 2. （姓氏） a surname
  • 論 : 論名詞（記錄孔子及其門徒的言行的「論語」） the analects of confucius
  • 語 : 語動詞[書面語] （告訴） tell; inform
  • 義 : Ⅰ名詞1 （正義） justice; righteousness 2 （情誼） human ties; relationship 3 （意義） meaning; si...
  • 模型 : 1 （仿製實物） model; pattern 2 （制砂型的工具） mould; pattern3 （模子） model set; mould patter...
  • 語義 : semanteme; semantics
  1. 2 ) nine analysis and optimization technologies, based on the syntax and semantics of process models, and integrated with bpi theory

    2 ）基於過程模型的語法和語義，結合過程改進理論，提出了九種過程模型的分析優化方法。
  2. Domain theory provides the mathematical foundation for denotation semantics of computer program languages. it is characterized by the close connection between order and topology, which makes it the common study field of both computer experts and mathematicians. weight, character and density are generally called cardinal functions

    一種domain范疇要成為某種語言的語義學模型其基本條件是笛卡爾閉的，因而研究domain范疇的笛卡爾閉性或者說尋找笛卡爾閉的domain范疇就自然成了domain理論中一個十分基本的問題。
  3. 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法，蒙特卡羅方法，與地下水資源變值系統理論相結合，探討了地下水動態資料分析和地下水資源預測預報的新思路；綜合分析了現今各類地下水管理模型的特點及缺陷，將數學規劃、數理統計、隨機過程等與地下水變值系統理論相結合進行地表水地下水或多水源的聯合優化調度，使模型更準確、更實用；對保證地下水資源可持續開發的內部條件和外部條件進行了分析，內部河海人學博卜學位論文前言、摘要、目錄條件主要是正確的資源觀，科學的資源計算與評價方法，可靠的資源預測預報技術，可操作的資源管理措施，外部條件主要是高層發展思路、管理體制的變革、配套的政策法規、經濟杠桿的調節、人文素質的提高、節水意識的增強及具體節水措施、人口增長的控制、水體污染的防治、生態的恢復和重建等;從宇宙科學、地球系統科學及哲學的高度審視地下水資源的可持續開發;指出了地下水資源可持續開發的進一步研究方向。
  4. We characterized the security issues in asp - based networked manufacturing system, especially the issue of the user access control. then the typical methods of access control were introduced, which include discretionary access control ( dac ), mandatory access control ( mac ), role - based access control ( rbac ), task - based access control ( tbac ), coalition - based access control ( cbac ) and relationship - driven access control ( rdac ) and so on. based on that, we provided an integrated user access control model, which was composed of rbac, tbac, rdac and cbac

    本章描述了asp和網路化製造系統的安全性問題，尤其是用戶訪問控制的問題；接著介紹了幾種浙江大學博士學位論文典型的訪問控制方法，包括強制訪問控制、任意訪問控制、基於角色的訪問控制、基於任務的訪問控制，以及基於公司關系的訪問控制、基於企業聯盟的訪問控制等;在前面描述的典型訪問控制模型基礎上，給出了一個網路化製造系統的綜合訪問控制模型，包括網路化製造系統的用戶和資源層次關系圖、訪問控制參考模型和訪問控制過程模型，並定義了各個模型中的相關元素和關系，給出了各級約束驗證和授權的表達;最後我們給出了以xacml為基礎的網路化製造系統的訪問控制描述語言。
  5. This framework is composed of semantic modeling of certain domain, semantic description of resources, extension search of semantic model, and etc. this paper emphasize on rdf inference mechanism, which is the fundamental of sematic retrieval

    該框架主要由特定領域的語義建模、信息資源的語義描述、語義模型擴展查詢等部分組成。 rdf的推理機制是本文研究的重點，也是進行語義檢索的理論基礎。
  6. This thesis studies the principle of ais, the types of its system structure and the key factors which affect its evolution, explains the necessity and feasibility of ais based on event approach, emphasizes how to use the entity - relation approach and the real ( r is for " resource ", e for " event ", a for " agent ", l for " location " ) semantic model to design the integrate event - driven database and expects intelligent decision support system ( idss ), the application of data warehousing and olap technology in decision support system ( dss )

    文章的研究思路是：從會計信息系統體系結構的角度，研究系統體系結構的類型及其演變的主要影響因素。論述了基於事項會計的會計信息系統的現實必要性和技術可行性；重點研究了現代信息技術環境下，基於事項會計的會計信息系統體系結構、如何運用e - r概念模型與real業務過程語義模型分析和設計集成業務數據庫、基於事項會計的會計信息系統原理和結構；並展望了數據倉庫和olap聯機分析處理技術在決策支持系統dss中的應用，即基於企業數據倉庫的智能決策支持系統（ idss ）前沿研究。
  7. Firstly, wscg ( web service composition graph ) model, a model for web service composition, is proposed, which consists of visual presentation model and executable model. according to this model, the interactions and execution sequences among web services are characterized by wscg nodes and edges and their attributes. based on attributed graph theory, we give the formal definition of wscg model

    本文首先提出了一個基於屬性圖理論的web服務復合模型? ? wscg模型，改進了現有web服務復合模型在可視化表示能力和執行語義的確定性等方面的不足；模型包括web服務復合的可視化表示模型和執行模型兩個方面。
  8. Since web service model can not be used directly in the traditional workflow model, the paper detailed describe the design of the encapsulate and structure workflow, this workflow is different from the traditional workflow which is modeled in a graph method, we use the idea of the object oriented to make the workflow more reusable and easy to be deployed in web service environment

    由於web服務模型並不能直接用在傳統的工作流模型中，因此就需要對傳統的工作流語言建模做相應的修改來適應web服務的特點。對此，本文就詳細討論了一種結構化封裝型工作流的設計，該工作流不同於以往工作流都是通過圖形化的方式建模，而是採用面向對象方法中的解釋器模式來設計一個封裝和結構化的定義流程。
  9. 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 ）的操作語義模型，以期形成解決動態模糊性問題的程序設計方法。
  10. Through analyzing several current - prevailing geography information types and gis data formats, this paper proposes a both user - oriented and multi - resource - heterogeneous - information - system - oriented scheme that describes the urban space semantic information entity based on ontology. moreover, ontology - based topology and semantic relationship of the urban space entity are provided. this paper also presents a synthetic query model of ontology - driven space information and a methodology of semantic integration

    本文在分析了國內外流行的gis系統的地理信息類型和數據格式的基礎上，提出基於本體論的，面向用戶應用、面向多源異構信息系統的城市空間語義信息實體的描述方法，提出基於本體的城市空間實體拓撲關系及語義關系，確立了本體驅動的空間信息的綜合查詢模型，以及語義信息集成方法。
  11. Many approaches developed offer approximation solutions, including principle - based, such as purely syntactic ones, semantic and pragmatic ones, and statistics - based ones. in this paper, we put forward a modal to resolve anaphora ( including empty pronoun ) based on the characteristics of chinese. in this method, we apply some corresponding rules on the sentences after their patterns distinguished in the text, then analyze the semantic relation of the components of the sentence and form a corresponding semantic network, get rid of some candidates according to the co - constrain of the nodes in that network, put every component which refers to people into forward - looking centers, ordered by their semantic role, ascertain the hierarchy of sentences, analyze the transition types resulted by the scheme of different resolutions, finally, choice the most possible scheme of resolution according to the precedence of the types

    本文針對漢語的特點建立了一個包括零代詞在內的代詞消解模型:在語義結構文法思想的指導下，對文本中的句子模式識別后，採用相應的規則式，然後分析句中成分之間的表層語義條件並產生相應的語義網路，利用語義網路中結點間的相互約束對代詞的某些候選先行詞進行排除，並且把每句中指人的語言成分放到前向中心列表中，以它們所充當的語義成分為排序依據，確定句子的層次結構，最後依據中心理論分析每個候選先行詞對代詞的不同消解所造成的層次相鄰的句子之間的過渡類型，利用過渡類型的優先順序對代詞的候選先行詞進行擇優。
  12. Requirements analysis, system frame design, algorithm design, code compile and software test of protection setting verifying and analysis system of sub power system are all accomplished. main research work of this paper is concentrated on three respects : ( 1 ) knowledge expressing of mathematic model and physics model of power system using relation database and object oriented language, ( 2 ) new methods of in - substation topology and net topology analysis based on topology of hierarchical model, ( 3 ) father research of protection coordination considering difference of protection setting verifying and fixing

    論文提出了進行保護定值在線校驗的意義和方法，並按照軟體工程的規范化開發的要求，完成了滄州地區電網保護定值在線校驗分析系統的需求分析、系統框架設計、演算法設計、代碼編寫和軟體測試的大部分工作，主要的研究工作集中在： （ 1 ）利用關系數據庫和面向對象語言對電網進行物理模型和數學模型上的知識表示。
  13. Therefore, the formal semantic study of uml is helpful for the improvement of the clarification, equivalence, consistency, and extendibility of the language, thus offers a powerful theoretical tool for the validity proof, transition of the model and the consistency check of the modeling tools supporting uml

    因此，對uml進行形式語義研究，對增進該語言的清晰性、等價性和一致性、可擴展性是十分有幫助的，為模型的正確性證明、轉換以及支持uml建模工具的一致性檢查提供了有力的理論工具。
  14. We investigated the architectures of three typical computer fault - tolerant systems such as triple modular admixture redundancy system, buildup dual computer comparing system and dual computer comparing system with hot standby, and descript them with the markov model. the reliability and safety model of these fault - tolerant systems are acquired through theoretical analyzing and calculating. with analyzing, we defined the systems " task interval available time section in reason, compared their reliability and safety and evaluated their reliabilities

    具體針對三模混合冗餘、增強型雙機比較及帶熱備份的雙機比較三種典型體系結構的計算機容錯系統進行了研究，統一用馬爾可夫模型進行描述，通過理論分析和計算，獲得各體系結構容錯系統的可靠度與安全度的數學模型；通過分析，合理定義了系統的任務工作期區間，並在此區間上比較分析了各體系結構容錯系統的可靠度與安全度情況，從而對各系統的可靠性指標進行了評價；根據上述三種系統的數學模型，在考慮系統故障覆蓋率與維修率兩個參數對系統可靠度與安全度影響的情況下，用matlab語言編制了計算機模擬程序。
  15. In this paper, through the research of the mental model of agent and the analyses of a few kinds of " belief - desire - intention " ( bdi ) model of agent from the logical view, we explain the agent theoretically. on the base of analyzing the organ structure of agent, we put forward the kernel agent concept. the kernel concept abstracted from common properties of agent, contribute to construct agent and multi - agent system. we have also studied the kqml ( knowledge query and manipulation language ) and communication mechanism of agent, and bring forth the ontology researching will become the emphasis in construction of abstract knowledge exchanging between the agents. at last, we construct a multi - agent system, which exchange kqml message by a mobile agent, by the development tools of agelt and jkqml

    當前，對agent和多agent系統的研究正在掀起熱潮，是當今計算機科學技術領域、信息工程領域和網路與通信領域十分活躍的前沿研究方向之一。本文通過對agent心智模型的研究，從邏輯學的角度分析並總結了幾種agent 「信念?願望?意圖」 （ bdi ）模型，在理論上對agent進行了解釋。總結了現有邏輯模型存在的問題，提出去掉規則n形成的一種非正規模態邏輯的語義上的新的解釋，解決了「邏輯全知」問題和由此帶來的問題，避免了一般非正規模態邏輯系統語義解釋對agent的bdi描述的弱點。
  16. In the end, the semantic maintenance model and inconsistency detection and mediation method proposed in the paper is experimented on some fore mentioned typical instances so as to validate their effectiveness

    最後，運用論文中的信息語義維護模型和語義不一致檢測、調解方法對所提到的語義一致性問題的典型示例進行了實驗，檢驗了模型的有效性。
  17. The special database management system prototype for accelerator rf cavity design, i. e. fishbase, has its own characteristics. especially, its query is different from that in traditional databases, and their operations are totally unlike. the adaptive genetic algorithm for design of accelerator rf cavity, i. e. sag, is also not the same as the classical genetic algorithm on both data structure and algorithm design

    並在理論上深入研究了基於ter模型的時態關系代數及類sql語言，為我們的加速器高頻腔設計系統打下了一個良好的理論基礎c論文建立的加速器高頻腔設計專用bms原型base具有自己的特色，特別是其查詢與傳統數據庫中的查詢意義不一樣，操作完全小同c論文給出的用於加速器高頻腔設計的自適應遺傳算潔g在數據結構和演算法設計上也與經典遺傳演算法不同，具有自動調整基因以保證不產生異類的功能。
  18. It shows that : ( 1 ) the semantic of ctn model is intuitive, rational and natural ; ( 2 ) the ctn model is a formal description by integrating the ability and thought status of agent, which can describe the difference among agents accessing the environment and performing actions, and the negotiation is also can be described when conflicts exist

    本文通過具體示例說明此邏輯的用途后，討論了ctn系統模型的特點： ctn系統模型的語義是直覺的、合理的和自然的； ctn系統模型是將agent的能力和思維狀態相結合，能夠描述agent訪問環境時的能力差異、執行動作時的權力差異和系統發生沖突時的協商過程。
  19. Criticisms of situation semantics on the extensional model theory and the possible world semantics

    情境語義學對外延模型論和可能世界語義學的批判
  20. By employing the theory and technology of ontology and oil / rdf ( s ) in gdss, it not only facilitate knowledge sharing and reuse but also provide the semantic interoperability for data and knowledge exchange. this adapt to the new development of gdss in current network

    把領域模型論和oil rdf （ s ）的理論和技術引入到群決策支持系統中，不僅便利了知識的共享和重用，而且為數據和知識交換提供了語義上的互操作性，很好的適應了群決策支持系統在當前網路環境中的新發展。
分享友人
分享到 Line

分享到臉書