期刊文献+
共找到62篇文章
< 1 2 4 >
每页显示 20 50 100
语义转换——直接指称语义到接续指称语义 被引量:1
1
作者 吕江花 金成植 《计算机研究与发展》 EI CSCD 北大核心 2004年第6期972-978,共7页
指称语义分为直接指称语义和接续指称语义 ,其中后一种语义描述的难度较大 给出了直接指称语义描述到接续指称语义描述的转换方法 ,这就使得这种语义转换的自动化成为可能 转换算法揭示了直接指称语义与接续指称语义之间的内在关系 ,同... 指称语义分为直接指称语义和接续指称语义 ,其中后一种语义描述的难度较大 给出了直接指称语义描述到接续指称语义描述的转换方法 ,这就使得这种语义转换的自动化成为可能 转换算法揭示了直接指称语义与接续指称语义之间的内在关系 ,同时也提供了写接续指称语义描述的有效方法 当需要检验同一种语言的直接指称语义描述和接续指称语义描述是否等价时 。 展开更多
关键词 直接指称语义 接续指称语义 语义指派函数 接续 顺序化
下载PDF
Tabular表达式的指称语义研究 被引量:2
2
作者 张鹏 刘磊 +1 位作者 刘华虓 金英 《软件学报》 EI CSCD 北大核心 2014年第6期1212-1224,共13页
Tabular表达式是一种采用表格化结构组织函数或关系的形式化描述工具,在需求工程领域中具有广泛的应用,为Tabular表达式建立形式的语义模型是非常必要的.针对Tabular表达式通用模型,给出了Tabular表达式的形式文法及指称语义.通过定义... Tabular表达式是一种采用表格化结构组织函数或关系的形式化描述工具,在需求工程领域中具有广泛的应用,为Tabular表达式建立形式的语义模型是非常必要的.针对Tabular表达式通用模型,给出了Tabular表达式的形式文法及指称语义.通过定义形式文法中各语法单元的语义指派方程,描述了Tabular表达式的指称语义,分别对传统类型Tabular表达式和新类型Tabular表达式中一些典型表类型的指称语义进行了描述,并与其他几种Tabular表达式的语义描述方法进行了比较.分析结果表明:该语义描述方法不仅准确描述了Tabular表达式的语义,而且不再受Tabular表达式模型和Tabular表达式类型的限制,打破了现有方法的局限性,是一种非常有效的方法. 展开更多
关键词 Tabular表达式 指称语义 软件说明文档
下载PDF
硬件描述语言VHDL指称语义的研究 被引量:3
3
作者 王维维 严晓浪 《微电子学与计算机》 CSCD 北大核心 2002年第11期61-64,共4页
VHDL是一种广泛使用的硬件描述语言。但长期以来缺乏严格的形式语义。文章介绍并分析了若干具有代表性的VHDL指称语义的研究工作。在此基础上,简要介绍了作者提出的基于时段逻辑的VHDL语义的框架时对VHDL指称语义的看法。
关键词 硬件描述语言 VHDL 指称语义 时段逻辑 程序设计语言
下载PDF
主动数据库中基于图的规则的指称语义研究 被引量:1
4
作者 徐长醒 刘云生 许贵平 《计算机科学》 CSCD 北大核心 2002年第3期78-79,62,共3页
1 引言主动数据库的主动特性一般使用E-C-A(Event-Condi-tion-Action)规则模型描述.我们用CA规则表示ECA规则模型中的Condition和Action部分,ECA规则语言的语义可描述为:事件E的发生可触发CA规则的执行,该CA规则的执行又可导致其它事件... 1 引言主动数据库的主动特性一般使用E-C-A(Event-Condi-tion-Action)规则模型描述.我们用CA规则表示ECA规则模型中的Condition和Action部分,ECA规则语言的语义可描述为:事件E的发生可触发CA规则的执行,该CA规则的执行又可导致其它事件的发生,进而触发其它CA规则的执行,形成触发规则集.主动规则源于人工智能的知识表示的产生式系统(OPS5[1]),许多主动数据库规则系统的执行语义均源于OPS5产生式规则语言的recognize-act cycle算法(如图1). 展开更多
关键词 主动数据库 CA规则 ECA规则 指称语义 规则图
下载PDF
子类型的指称语义 被引量:1
5
作者 梅宏 黄柏素 张路 《电子学报》 EI CAS CSCD 北大核心 1999年第8期46-48,共3页
继承被认为是面向对象程序设计的重要特征之一,如何解释继承一直是面向对象形式语义研究的难题.本文针对继承关系的一种形式一一对象间行为规范的继承,即子类型关系,探讨了其指称语义.基本思想是将子类型关系视为类型强制,通过类... 继承被认为是面向对象程序设计的重要特征之一,如何解释继承一直是面向对象形式语义研究的难题.本文针对继承关系的一种形式一一对象间行为规范的继承,即子类型关系,探讨了其指称语义.基本思想是将子类型关系视为类型强制,通过类型强制函数将子类型对象解释父类型域中. 展开更多
关键词 面向对象 指称语义 子类型 类型强制 程序设计
下载PDF
Smalltalk-80的指称语义研究 被引量:1
6
作者 李舟军 王兵山 《软件学报》 EI CSCD 北大核心 1995年第7期385-390,共6页
Smalltalk—80是原型的面向对象程序设计语言和环境.本文简要地给出了Smalltalk-80的形式模型,并基于该模型描述了Smalltalk—80的静态和动态指称语义.
关键词 面向对象 指称语义 Smalltalk语言 程序语言
下载PDF
智能神经网络程序设计语言中规则的指称语义 被引量:1
7
作者 刘晓洁 《计算机应用研究》 CSCD 北大核心 2004年第10期44-45,共2页
就语言的指称语义分别讨论了智能神经网络程序设计语言NIPL中有关规则的动、静态语义,从而建立了NIPL中规则的数学模型。
关键词 神经网络 规则 指称语义 程序设计语言
下载PDF
基于指称语义的UML序列图的形式化分析 被引量:2
8
作者 刘玥波 《吉林建筑工程学院学报》 CAS 2011年第2期87-89,共3页
统一建模语言UML是当前软件工程领域的研究热点,提供了多种图元从不同角度和应用层次刻画系统的特性以及复杂的运行环境,其中包括大量具有模糊、稀疏语义的标准元素.本文针对UML半形式化的特点主要研究如何采用指称语义学方法对UML序列... 统一建模语言UML是当前软件工程领域的研究热点,提供了多种图元从不同角度和应用层次刻画系统的特性以及复杂的运行环境,其中包括大量具有模糊、稀疏语义的标准元素.本文针对UML半形式化的特点主要研究如何采用指称语义学方法对UML序列图进行形式化描述,以提高UML序列图语义的准确性.本文采用指称语义学方法定义了UML序列图的语法域和抽象语法,为进一步定义UML序列图的语义域及语义函数奠定了基础. 展开更多
关键词 形式化 UML序列图 指称语义
下载PDF
接续到直接的指称语义转换
9
作者 吕江花 马世龙 +1 位作者 潘静 金成植 《计算机研究与发展》 EI CSCD 北大核心 2006年第7期1304-1308,共5页
接续和直接指称语义之间的转换的主要难点在于不保函数基调.基于Monad思想推导出的接续语义函数和直接语义函数之间的关系,给出了基于规约的从接续指称语义描述形式到直接指称语义描述形式的转换技术,分别考虑了接续函数在不同情形下的... 接续和直接指称语义之间的转换的主要难点在于不保函数基调.基于Monad思想推导出的接续语义函数和直接语义函数之间的关系,给出了基于规约的从接续指称语义描述形式到直接指称语义描述形式的转换技术,分别考虑了接续函数在不同情形下的处理.最后给出了转换算法的Haskell实现系统,验证了转换的可行性. 展开更多
关键词 指称语义 接续函数 基调 语义转换
下载PDF
命令的指称语义在谓词域上的一种表示
10
作者 丁志义 李全德 +1 位作者 宋国新 邵志清 《计算机科学》 CSCD 北大核心 2008年第7期157-160,共4页
文中讨论了谓词转换器和状态转换器之间的对应关系,将谓词转换器作为命令的指称,刻画了IMP语言命令的指称语义,并证明与状态转换器形式的指称语义是等价的。
关键词 谓词转换器 状态转换器 指称语义
下载PDF
算法语言L的指称语义
11
作者 王岩冰 张家重 刘弘 《计算机研究与发展》 EI CSCD 北大核心 1998年第3期240-245,共6页
文中为算法语言L定义了动态指称语义,在描述中避免了含有函数空间构造运算的递归论域方程.指称语义可以说明L的一些良好的数学性质,也可以说明指称语义技术可以达到更好的直观性和实用性.
关键词 算法语言L 抽象文法 程序语言 指称语义
下载PDF
智能神经网络程序设计语言中规则的指称语义
12
作者 金军 李涛 伍良富 《四川大学学报(工程科学版)》 EI CAS CSCD 2001年第2期106-109,共4页
智能神经网络程序设计语言NIPL是应用智能神经网络系统理论、开发智能神经网络应用系统的有力工具。着重讨论了NIPL中有关规则的指称语义 ,从而建立了NIPL中逻辑规则的数学模型 ,为使用该语言来方便地建立智能神经网络应用系统奠定了基础。
关键词 神经网络 规则 指称语义 程序设计语言
下载PDF
一个面向对象的实时分布式语言的指称语义
13
作者 左志宏 龚天富 《软件学报》 EI CSCD 北大核心 1996年第4期244-251,共8页
本文给出了一个面向对象的实时分布式语言的指称语义,在不同层次L给出了语句、对象和程序的清晰描述.提出了实时状态的概念.借助于它,在指称语义的框架内,简洁地刻画了语言的实时特性.
关键词 实时 指称语义 面向对象 分布式语言
下载PDF
并发进程指称语义的几种基于Trace模型的定义方法
14
作者 王生原 杨萍 《兰州大学学报(自然科学版)》 CAS CSCD 北大核心 1996年第1期49-52,共4页
Trace模型是定义并发进程指称语义的基本方法之一.在Trace模型的基础上,为获得更广泛的表达能力,通过进程指称论域的各种变化,派生出了一系列的语义模型.并对于这些模型进行了综述.
关键词 形式语言 指称语义 Trace模型 进程论域
下载PDF
Repeat-until语句的操作语义与指称语义的等价性证明
15
作者 王纪川 侯迪 齐勇 《西安工程科技学院学报》 2006年第6期763-766,共4页
在计算机科学中,形式语义学以数学为工具,精确地定义和解释计算机程序设计语言的含义或语义.其中操作语义学和指称语义学是形式语义学的两大类别.本文使用简单的命令式语言IMP的语法,首先给出了repeat-until循环语句的操作语义,然后详... 在计算机科学中,形式语义学以数学为工具,精确地定义和解释计算机程序设计语言的含义或语义.其中操作语义学和指称语义学是形式语义学的两大类别.本文使用简单的命令式语言IMP的语法,首先给出了repeat-until循环语句的操作语义,然后详细推导出了其指称语义,并在此基础上详细证明了它们二者之间的语义等价性. 展开更多
关键词 Repeat—until循环语句 操作语义 指称语义 语义等价性
下载PDF
基于轨迹的指称语义方法
16
作者 林治 《新疆师范大学学报(自然科学版)》 2007年第3期129-131,共3页
文章提出一种基于轨迹的指称语义框架,该框架结合了操作语义和代数语义的特征,避免使用专门的数学理论,将静态语义和动态语义结合在一起统一处理.文章引入了轨迹概念和模型语言,然后讨论该语言的各句法成分所对应的语义论域,并对过程和... 文章提出一种基于轨迹的指称语义框架,该框架结合了操作语义和代数语义的特征,避免使用专门的数学理论,将静态语义和动态语义结合在一起统一处理.文章引入了轨迹概念和模型语言,然后讨论该语言的各句法成分所对应的语义论域,并对过程和函数进行了一些描述。 展开更多
关键词 轨迹 指称语义 静态论域
下载PDF
基于事件结构的SystemVerilog指称语义
17
作者 贺彦琨 《微计算机信息》 2009年第9期171-172,165,共3页
本文利用形式化的方法对System Verilog的指称语义进行研究,采用EBES(extended bundle event structure)作为抽象模型,以便更好的描述System Verilog真并发的特点。我们的主要工作是:首先,通过对System Verilog语言的认真学习,从中抽取... 本文利用形式化的方法对System Verilog的指称语义进行研究,采用EBES(extended bundle event structure)作为抽象模型,以便更好的描述System Verilog真并发的特点。我们的主要工作是:首先,通过对System Verilog语言的认真学习,从中抽取出一个尽可能多的包含其语法的真并发子集;其次,利用进程代数LOTOS描述其基于EBES模型的指称语义,以提供一个准确的、无二义性的System Verilog文档,避免硬件设计中的逻辑性错误。 展开更多
关键词 SYSTEMVERILOG 指称语义 EBES 进程代数
下载PDF
基于指称语义的UML序列图的语义分析
18
作者 刘玥波 《赤峰学院学报(自然科学版)》 2012年第23期33-35,共3页
统一建模语言UML是近年来软件工程领域的重要成果之一.在UML规范中,静态语义是用OCL语言和自然语言描述的,而动态语义基本上是用自然语言来描述的,因此UML缺乏一个严格的动态语义定义.本文针对UML半形式化的特点,在采用指称语义学方法... 统一建模语言UML是近年来软件工程领域的重要成果之一.在UML规范中,静态语义是用OCL语言和自然语言描述的,而动态语义基本上是用自然语言来描述的,因此UML缺乏一个严格的动态语义定义.本文针对UML半形式化的特点,在采用指称语义学方法对序列图进行形式规范的基础上,采用了可扩展的标记语言XML文档格式对UML序列图进行存储,并给出了UML序列图语义处理的算法,实现了对序列图的语义分析. 展开更多
关键词 UML序列图 指称语义 语义分析
下载PDF
动态模糊逻辑程序设计语言的指称语义 被引量:2
19
作者 韩小芬 李凡长 《计算机科学》 CSCD 北大核心 2009年第1期153-157,共5页
文献[8]借鉴Dijkstra的监督命令程序结构,给出了动态模糊逻辑程序设计语言的基本框架结构。在此基础上,进一步扩充和完善,并根据指称语义的原理和方法,用结构归纳法给出动态模糊逻辑程序设计语言的指称语义,主要包括:动态模糊程序设计... 文献[8]借鉴Dijkstra的监督命令程序结构,给出了动态模糊逻辑程序设计语言的基本框架结构。在此基础上,进一步扩充和完善,并根据指称语义的原理和方法,用结构归纳法给出动态模糊逻辑程序设计语言的指称语义,主要包括:动态模糊程序设计语言的语义域、语义函数及其指称语义。最后给出了一个动态模糊程序设计语言的例子以观察程序的运行过程。 展开更多
关键词 动态模糊逻辑 动态模糊逻辑程序设计语言 指称语义
下载PDF
使用延时演算的时间化RSL的指称语义(英文) 被引量:1
20
作者 李黎 何积丰 《软件学报》 EI CSCD 北大核心 2001年第6期802-815,共14页
使用扩展的持续时间演算 ( EDC)模型 ,给出了时间化的 RAISE描述语言 ( RSL )的一个子集的指称语义 .在扩展的持续时间演算模型中加入了一些新的特征 ,并探究了它们的代数定律 .这些定律在形式化实时程序和验证实时性质中起着重要作用 ... 使用扩展的持续时间演算 ( EDC)模型 ,给出了时间化的 RAISE描述语言 ( RSL )的一个子集的指称语义 .在扩展的持续时间演算模型中加入了一些新的特征 ,并探究了它们的代数定律 .这些定律在形式化实时程序和验证实时性质中起着重要作用 .最后还给出了时间化 RSL的一些代数定律 .这些定律可以从其指称语义证明 。 展开更多
关键词 延时演算 指称语义 实时系统 RSL语言 代数定律 时间化
下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部