A formal semantics of VHDL based on duration calculus;
一种基于时段演算的VHDL的形式语义
The modeling method and the models given in IEC 61850 are investigated from the point of view of formal semantics.
文中从形式语义的角度出发,对IEC 61850的建模方法和所给出的模型进行了研究。
A topological space structure of component sets is proposed on the basis of component and reference formalization, and a new method based on topological dynamical systems is used to study the formal semantics with parallel recursive reference of components.
在组件和引用形式模型的基础上给出了组件集的拓扑空间结构,从而在组件并行递归引用形式语义的研究中引入一种新的基于拓扑动力系统的观点和方法,将其指称对象的存在性归结于一个动力系统的吸引子和泛函不动点,同时将引用过程描述为系统的轨迹。
In this article, the interoperability of semantic information modeling of IEC61850 is investigated from formal semantic theory.
这里尝试从形式语义学的角度对标准的语义信息模型的互操作性进行分析,认为标准的语义信息模型为各种技术的展开奠定了基础;同时,各技术的实施应该基于标准信息模型完备集的同构才能从完全意义上实现标准的互操作性。
In this paper,according to the internal and international research development about formal semantic expression in existed digital right expression models,we give a new model that has some dynamic reasoning abilities and is based on the theory of finite automation.
该文的主要工作是依据国内外已有数字权限描述模型关于形式语义的研究进展,提出一种数字权限描述模型,该模型通过描述动作的状态及其变迁来表达数字权限证书动态语义。
Fuzzy Semantic Pattern and Its Application in the Lexical Selection for English Generation;
模糊语义模式及其在汉英机译系统英文生成选词中的应用
This paper presents the concept of semantic pattern,and constructs semantic pattern base of English preposition phrases and sentences,major parameter base and knowledge base of English set phrases.
在研究英语介词相关短语和句式的基础上,给出了语义模式的概念,构建了介词相关短语语义模式库、相关句式语义模式库、主虚量库和固定搭配知识库。
This paper describes a model of English lexical selection,based on example comparison and with the help of semantic pattern match.
本文描述了一种基于实例比较 ,辅以语义模式匹配的英文选词模型的设计。
semantic prototype model
语义原形模式 语意原形模式
Defining Methods and Principles of General-Purpose English Dictionaries;
英语通用词典的定义模式和定义原则
Formal Semantics of Architecture Model of Collaborative Systems
协同系统体系结构模型的形式化语义
Semantics Based Formal Model for Security Protocols
一种基于语义的安全协议形式化模型
The cognitive models and gestalt principles can also help us in knowing of Chinese words color including of its derivation and its division.
认知语言学的认知模式、完形原则可以帮助我们理解汉语词色彩义的生成和划分。
Meta-linguistic Research on Adjectival Paraphasing Models in Modern Chinese Dictionary;
《现代汉语词典》形容词释义模式的元语言研究
The Difference Between English and Chinese Mode of Thinking--Basic Reason for Chinglish;
英汉思维模式差异—中国式英语形成的根本原因
Formal Semantics of Component-Based Architecture Model Mapping
构件式体系结构模型映射的形式化语义
A Study on the Pattern of Soviet Socialism and Its Disintegration;
苏联社会主义模式形成与失误的原因探析
Prototype Semantics: From "Family Resemblance" to "Idealized Cognitive Models;
原型语义学:从家族相似性到理想化认知模式
A Formal Semantic Study of the Work Flow Based on Activity Graph Model;
基于活动图模型的工作流形式化语义研究
On Pairings of Form and Meaning:A Comparative Study of Four Construction Grammar Models;
形义匹配种种——四种构架语法模式的比较研究
Paronomasia: A Mode of Humor;
音形趋同 语义偏离——幽默的结构模式之一
Formal Semantic Analysis of Quantifier Scope Ambiguity in English;
英语量化词辖域歧义的形式语义分析
The phonological forms and implicature of morphological changes in English and Chinese;
英汉语言形态变化的语音形式及意义
"Focus on Form" or "Focus on Forms"?
“以语言形式为纲”还是“语言形义兼顾”
A Study on Focus on Form in College English Classroom;
大学英语课堂中“意义与形式兼顾”的教学模式研究
An Interface between Focus on Meaning and Focus on Forms-FonF;
平衡以意义为中心和以语法形式为中心的教学模式
