静态语义相关论文
SDL语言自身的形式化描述对于该语言的不断发展、完善将发挥重要的核心作用 ,而SDL- 92的形式语义已无法充分满足应用需要 ,本文分......
从认知的角度研究介词above静态和动态空间的语义及其意象图式.以静态空间的基本语义为基础,通过空间隐喻,介词above延伸出五种表......
Java虚拟机支持一种功能很强的动态加载类的机制,它具有惰性加载、类型安全连接、用户自定义加载策略、以及动态名字空间等特性.但......
针对已有时空数据模型在表达时空信息上存在的问题,提出基于一个新的历史拓扑和描述子的时空数据模型STORM。STORM采用结合显式表......
在分析当前SDL(Specification and Description Language)静态语义定义方法的基础 上,从另一角度给出了用抽象状态机(AS M:Abstrac......
UML活动图是一种特殊的状态机,被认为最适合描述软件过程建模,但其缺乏精确的语义,不利于对模型进行形式化分析和验证。针对传统描......
本文从认知的角度研究了介词over静态和动态的空间语义及其意象图式。介词over存在四种静态空间语义,在这四种语义的基础上,该词通......
为了有效地构造一个Java部分计值器,并且形式化地描述计值规则,提出了Java字节代码程序的静态语义,在此基础上构造了一个online的J......
根据统一建模语言（UML）顺序图的时序特征，提出一种基于时序描述逻辑ALCQIus的UML顺序图形式化方法。研究ALCQIus时序扩展部分的语法和......
提出直接用基本Abstract State Machine定义Specification and Description Language静态语义的形式方法,其主要特点是: 语法域中......
语境语义是指在言语交际中，由于语境的异化作用而使语言中某个词语产生异变的语义成分。本文借鉴西方语境论者的观点，从汉语语用角度......
时代的变迁，语言的发展，在阅读古代文献时存在诸多问题，怎样正确阅读理解古代文献的意义就是摆在我们面前的一个十分重要的问题，本文着......
介词学习是英语学习重要组成部分,本文从认知的角度研究和探讨了介词I N静态和动态的空间语义及其意象图式。本文还从射体(Traject......
词汇语义的参数化研究是建构词义动态模式的基本方法,这种分析方法与多义词的传统研究和认知研究迥异,它是从语言自身结构出发对词......
