language semantics 中文意思是什麼
language semantics
解釋
語言的語義-
Among all the skills, the following constitute a special attractive style in xiao hong ' s novel, which are a demonstration of xiao hong ' s discovery and development in her novel language as well, such as, complicated narration " against with concision ", " contrary narration of implication instead of superficial semantics, intended a " aberrational " organization of sentences, circumbendibus of meanings and flavors with artful organization of sounds and rhythms, and etc
其中,與簡潔「背道而馳」的繁復敘述,以內在含義扭轉表層語義的「悖反敘述」 ,有意「越軌」的句子組合方式,以及巧借聲韻的婉約傳達意味與情趣等特點,構成了蕭紅後期小說文體的獨特魅力,也顯示了蕭紅在小說語言藝術上的探索與變化。 -
In this dissertation we present a general, extensible methodology that examines cryptographic protocols. our approach is specify a protocol in cpal ( cryptographic protocol analysis language ), apply hoare and dijkstra ? theory of formal semantics to it, analysis it ? forma ] semantics, define weakest precondition of each kind of language statement
我們的方法就是用cpal ( cryptographicprotocolanalysislanguage )語言來表示協議,將hoare和dijkstra在形式語義方面的理論應用到該語言,分析該語言的形式語義,定義每種語句的最弱前置條件。 -
Owl ' s semantics is limited to description logic, which cannot capture semantics of arbitrary rules. therefore, owlrule + is designed. its syntax extends owl and its semantics is based on carin, a representation language combining description logic and horn rules
針對語義web層次結構中webontology語言owl在一般規則表達能力方面的不足,在其基礎上設計了一種語義web規則標記語言? ? owlrule + ,作為語義web的邏輯規則層。 -
To paraphrase netrexx inventor mike cowlishaw, netrexx is a programming language derived from both rexx and the java language : its rules of syntax closely follow those of rexx while its semantics are closer to those of the java language
Netrexx的發明人mike cowlishaw對它的解釋是: netrexx是從rexx和java語言這兩者發展而來的編程語言,它的語法規則幾乎完全遵循rexx的語法規則,而它的語義則更接近於java語言的語義。 -
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 )的操作語義模型,以期形成解決動態模糊性問題的程序設計方法。 -
Through the intensional interpretation, first - order language gets more close to the semantics of natural language, and is truly neutral to all kinds of subject matter
比之於外延語義的解釋,內涵語義的解釋使一階語言更接近於自然語言的語義,而且也使一階邏輯對各種題材真正保持了邏輯的中立性。 -
Dsssl document style semantics and specification language amendment 2
文獻語義和規范語言 -
Dsssl document style semantics and specification language amendment 1
文件文體語義學和規范語言 -
Dsssl information technology. processing languages. document style semantics and specification language
信息技術.處理語言.文獻類型句法和規范語言 -
Dsssl information technology - processing languages - document style semantics and specification language
信息技術.處理語言.文件文體語義學和規范語言 -
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作為構件描述語言,這種語言能夠描述構件的靜態語義和動態執行,並且能在不同抽象層次上對系統進行形式化描述。 -
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在實施這些行動的時候的得失效應值在此,把點概率的效應理論擴展到了區間概率的情況,並借用模糊數學中區間數的方法,給出了比較區間最大期望效應的方法再次,關于實用推理的不確定性的繁殖,使用了基於預設決策理論的預設邏輯方法。 -
Like microsoft s visual basic, netrexx s simple, english - like syntax and intuitive semantics make it an accessible language for end user programming
與microsoft的visual basic類似, netrexx簡單的、英語式的語法和直觀的語義,使其成為最終用戶編程容易使用的語言。 -
Therefore, the situation theory can serve as a unified theoretical framework for constructing the lexical semantics and the natural language semantics built upon it, as mentioned above
我們用情境做認知圖式的數學模型,把情境理論當作上述的辭匯語義學和建基於其上的語義學的統一理論的框架,於是得出情境理論的一系列新課題。 -
The natural language semantics should reproduce the basic framework of natural language in their theoretic realms to represent these three functions and their relationships
自然語言的語義學必須再現語言的這三項基本功能及它們之間的關系,因此自然語言的語義學必須以它的辭匯語義學為核心與基礎。 -
Warn when strict language semantics are not respected
不遵從嚴格語言語義時發出警告。 -
Enforces strict language semantics
強制執行嚴格的語言語義。 -
Specifies that the compiler should warn when strict language semantics are not respected
指定編譯器應在未遵照嚴格的語言語義時發出警告。 -
Can your jit transform tail recursion on code while preserving language semantics
清單4 .您的jit會在保持語言語義的同時轉換尾遞歸代碼嗎?
分享友人