连续Domain的基与权 被引量：15

1

作者 赵彬 《工程数学学报》 CSCD 北大核心 2000年第4期91-95,共5页

给出了连续 Domain基的一些等价刻划。引入了连续 Domain权的概念 ,并且讨论了它与连续Domain带上 Scott拓扑构成的拓扑空间权的关系。

关键词 连续DOMAIN 基 权 SCOTT拓扑 指称语义 程序语言

下载PDF 职称材料

安全进程代数基础 被引量：5

2

作者 周伟 尹青 郭金庚 《信息工程大学学报》 2004年第2期43-45,52,共4页

安全进程代数可以作为信息流安全的基础理论框架。本文引入了一种基于CCS的安全进程代数,描述了它的语义及等价模型。

关键词 安全进程代数 操作语义 指称语义 进程等价

下载PDF 职称材料

UML顺序图形式化语义的研究综述 被引量：6

3

作者 郭艳燕 张楠 童向荣 《计算机科学》 CSCD 北大核心 2017年第2期17-30,64,共15页

为UML顺序图构建形式化语义,不仅有利于精确描述软件系统的动态交互过程,而且有利于进行基于UML模型的分析和验证,是有效提高软件系统可靠性的重要保障。结合近年来国内外对UML顺序图形式化语义的研究工作,分类阐述了各种方法,综合分析... 为UML顺序图构建形式化语义,不仅有利于精确描述软件系统的动态交互过程,而且有利于进行基于UML模型的分析和验证,是有效提高软件系统可靠性的重要保障。结合近年来国内外对UML顺序图形式化语义的研究工作,分类阐述了各种方法,综合分析和比较了不同方法的工作机制和优缺点,指出了定义UML顺序图语义时需重点关注的问题。最后,对未来的研究工作与研究思路进行了梳理与展望。 展开更多

关键词 统一建模语言UML 形式化方法 顺序图 组合交互片段 指称语义 操作语义

下载PDF 职称材料

硬件描述语言VHDL指称语义的研究 被引量：3

4

作者 王维维 严晓浪 《微电子学与计算机》 CSCD 北大核心 2002年第11期61-64,共4页

VHDL是一种广泛使用的硬件描述语言。但长期以来缺乏严格的形式语义。文章介绍并分析了若干具有代表性的VHDL指称语义的研究工作。在此基础上,简要介绍了作者提出的基于时段逻辑的VHDL语义的框架时对VHDL指称语义的看法。

关键词 硬件描述语言 VHDL 指称语义 时段逻辑 程序设计语言

下载PDF 职称材料

纯函数式语言的状态转换器与调用 被引量：3

5

作者 石跃祥 袁华强 《湘潭大学自然科学学报》 CAS CSCD 2000年第3期25-29,34,共6页

针对PeytonJones&Wadler在IOMonad设计的一个基于状态转换的函数I/O系统中 ,存在着某状态没有显式地反应在IO类型中 ,为了克服诸于此类问题 ,定义了状态转换器及其状态组合子 ,统一处理了PeytonJones&Wadler的IO类型 ,并给出了... 针对PeytonJones&Wadler在IOMonad设计的一个基于状态转换的函数I/O系统中 ,存在着某状态没有显式地反应在IO类型中 ,为了克服诸于此类问题 ,定义了状态转换器及其状态组合子 ,统一处理了PeytonJones&Wadler的IO类型 ,并给出了基本I/O操作ccall的指称语义 . 展开更多

关键词 状态转换器 纯函数语言 状态组合子 指称语义

下载PDF 职称材料

XML树模式查询的描述语言及形式语义 被引量：3

6

作者 廖湖声 李小青 《计算机科学与探索》 CSCD 2013年第5期431-441,共11页

作为XML(extensible markup language)数据查询的核心操作,树模式查询的应用前景广泛,其研究具有重要意义。针对扩展的树模式GTP++(generalized tree pattern)提出了一种树模式描述语言XTPL(XML tree pattern language),采用指称语义方... 作为XML(extensible markup language)数据查询的核心操作,树模式查询的应用前景广泛,其研究具有重要意义。针对扩展的树模式GTP++(generalized tree pattern)提出了一种树模式描述语言XTPL(XML tree pattern language),采用指称语义方式给出其完整的语义描述,使得形式化方法可以用于分析树模式查询的行为特征,有助于验证XML查询的正确性,以及提高查询处理方法的可靠性和鲁棒性。同时以路径表达式为例,以指称语义的方式给出了从路径表达式提取树模式的算法。 展开更多

关键词 可扩展标记语言(XML) 树模式 XML树模式描述语言(XTPL) 指称语义 树模式提取

下载PDF 职称材料

基于指称语义的UML序列图的形式化分析 被引量：2

7

作者 刘玥波 《吉林建筑工程学院学报》 CAS 2011年第2期87-89,共3页

统一建模语言UML是当前软件工程领域的研究热点,提供了多种图元从不同角度和应用层次刻画系统的特性以及复杂的运行环境,其中包括大量具有模糊、稀疏语义的标准元素.本文针对UML半形式化的特点主要研究如何采用指称语义学方法对UML序列... 统一建模语言UML是当前软件工程领域的研究热点,提供了多种图元从不同角度和应用层次刻画系统的特性以及复杂的运行环境,其中包括大量具有模糊、稀疏语义的标准元素.本文针对UML半形式化的特点主要研究如何采用指称语义学方法对UML序列图进行形式化描述,以提高UML序列图语义的准确性.本文采用指称语义学方法定义了UML序列图的语法域和抽象语法,为进一步定义UML序列图的语义域及语义函数奠定了基础. 展开更多

关键词 形式化 UML序列图 指称语义

下载PDF 职称材料

Tabular表达式的指称语义研究 被引量：2

8

作者 张鹏 刘磊 +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 职称材料

施语者话语含义及语用分析的哲学思辨 被引量：2

9

作者 熊欣 《湖南社会科学》 CSSCI 北大核心 2012年第3期188-190,共3页

话语是特定的社会语用环境中人与人之间从事沟通的具体言语行为,及一定的施语者与受语者之间在特定语用环境中展开沟通和交流的言语活动。包括施语者、受语者、文本、语境等诸多要素。话语内容由词或句(或者说名称)构成。话语始终出自... 话语是特定的社会语用环境中人与人之间从事沟通的具体言语行为,及一定的施语者与受语者之间在特定语用环境中展开沟通和交流的言语活动。包括施语者、受语者、文本、语境等诸多要素。话语内容由词或句(或者说名称)构成。话语始终出自具体的施语者,即具体的个人。施语者的内在思想付诸现实则必然离不开将内在抽象的语言思维外化为具体的话语形式。外化的话语形式在客观语用中所蕴含的施语者的话语含义必须具备的显性功能决定了语后行为的效度。语言效度离不开从哲学角度分析话语这一社会活动中的语言活动。话语具有连贯性,有意识的话语行为中语言的使用必然有着某种目的、意义和辩证联系。 展开更多

关键词 话语语用分析 哲学 话语含义 语用效度 指称语义

下载PDF 职称材料

动态模糊逻辑程序设计语言的指称语义 被引量：2

10

作者 韩小芬 李凡长 《计算机科学》 CSCD 北大核心 2009年第1期153-157,共5页

文献[8]借鉴Dijkstra的监督命令程序结构,给出了动态模糊逻辑程序设计语言的基本框架结构。在此基础上,进一步扩充和完善,并根据指称语义的原理和方法,用结构归纳法给出动态模糊逻辑程序设计语言的指称语义,主要包括:动态模糊程序设计... 文献[8]借鉴Dijkstra的监督命令程序结构,给出了动态模糊逻辑程序设计语言的基本框架结构。在此基础上,进一步扩充和完善,并根据指称语义的原理和方法,用结构归纳法给出动态模糊逻辑程序设计语言的指称语义,主要包括:动态模糊程序设计语言的语义域、语义函数及其指称语义。最后给出了一个动态模糊程序设计语言的例子以观察程序的运行过程。 展开更多

关键词 动态模糊逻辑 动态模糊逻辑程序设计语言 指称语义

下载PDF 职称材料

Smalltalk－80的指称语义研究 被引量：1

11

作者 李舟军 王兵山 《软件学报》 EI CSCD 北大核心 1995年第7期385-390,共6页

Ｓｍａｌｌｔａｌｋ—８０是原型的面向对象程序设计语言和环境．本文简要地给出了Ｓｍａｌｌｔａｌｋ－８０的形式模型，并基于该模型描述了Ｓｍａｌｌｔａｌｋ—８０的静态和动态指称语义．

关键词 面向对象 指称语义 Smalltalk语言 程序语言

下载PDF 职称材料

命令式模糊程序语言的语义 被引量：1

12

作者 吴恒洋 《计算机学报》 EI CSCD 北大核心 2013年第4期862-869,共8页

文中关注计算机语言的形式语义学,旨在建立一种命令式模糊程序语言的指称语义与最弱(线性)前置条件语义.首先,借助模糊逻辑中的三角模、三角余模、非、蕴含以及模糊关系的合成等成功地完成了这两种语义的建模.这种方法为形式语义学的研... 文中关注计算机语言的形式语义学,旨在建立一种命令式模糊程序语言的指称语义与最弱(线性)前置条件语义.首先,借助模糊逻辑中的三角模、三角余模、非、蕴含以及模糊关系的合成等成功地完成了这两种语义的建模.这种方法为形式语义学的研究提供了一个新的视角.其次,证明了该语言的一些重要性质并讨论了最弱前置条件语义与最弱线性前置条件语义之间的关系.最后,证明了指称语义与最弱(线性)前置条件语义之间的对偶,该对偶表明了这两种语义可以相互诱导. 展开更多

关键词 模糊程序语言 命令式语言 指称语义 最弱(线性)前置条件语义 模糊逻辑

下载PDF 职称材料

Repeat-until语句的操作语义与指称语义的等价性证明

13

作者 王纪川 侯迪 齐勇 《西安工程科技学院学报》 2006年第6期763-766,共4页

在计算机科学中,形式语义学以数学为工具,精确地定义和解释计算机程序设计语言的含义或语义.其中操作语义学和指称语义学是形式语义学的两大类别.本文使用简单的命令式语言IMP的语法,首先给出了repeat-until循环语句的操作语义,然后详... 在计算机科学中,形式语义学以数学为工具,精确地定义和解释计算机程序设计语言的含义或语义.其中操作语义学和指称语义学是形式语义学的两大类别.本文使用简单的命令式语言IMP的语法,首先给出了repeat-until循环语句的操作语义,然后详细推导出了其指称语义,并在此基础上详细证明了它们二者之间的语义等价性. 展开更多

关键词 Repeat—until循环语句 操作语义 指称语义 语义等价性

下载PDF 职称材料

使用延时演算的时间化RSL的指称语义(英文) 被引量：1

14

作者 李黎 何积丰 《软件学报》 EI CSCD 北大核心 2001年第6期802-815,共14页

使用扩展的持续时间演算 ( EDC)模型 ,给出了时间化的 RAISE描述语言 ( RSL )的一个子集的指称语义 .在扩展的持续时间演算模型中加入了一些新的特征 ,并探究了它们的代数定律 .这些定律在形式化实时程序和验证实时性质中起着重要作用 ... 使用扩展的持续时间演算 ( EDC)模型 ,给出了时间化的 RAISE描述语言 ( RSL )的一个子集的指称语义 .在扩展的持续时间演算模型中加入了一些新的特征 ,并探究了它们的代数定律 .这些定律在形式化实时程序和验证实时性质中起着重要作用 .最后还给出了时间化 RSL的一些代数定律 .这些定律可以从其指称语义证明 。 展开更多

关键词 延时演算 指称语义 实时系统 RSL语言 代数定律 时间化

下载PDF 职称材料

子类型的指称语义 被引量：1

15

作者 梅宏 黄柏素 张路 《电子学报》 EI CAS CSCD 北大核心 1999年第8期46-48,共3页

继承被认为是面向对象程序设计的重要特征之一，如何解释继承一直是面向对象形式语义研究的难题．本文针对继承关系的一种形式一一对象间行为规范的继承，即子类型关系，探讨了其指称语义．基本思想是将子类型关系视为类型强制，通过类... 继承被认为是面向对象程序设计的重要特征之一，如何解释继承一直是面向对象形式语义研究的难题．本文针对继承关系的一种形式一一对象间行为规范的继承，即子类型关系，探讨了其指称语义．基本思想是将子类型关系视为类型强制，通过类型强制函数将子类型对象解释父类型域中． 展开更多

关键词 面向对象 指称语义 子类型 类型强制 程序设计

下载PDF 职称材料

主动数据库中基于图的规则的指称语义研究 被引量：1

16

作者 徐长醒 刘云生 许贵平 《计算机科学》 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 职称材料

程序不动点的直观计算意义

17

作者 丁志义 吴庆涛 +1 位作者 宋国新 邵志清 《宁夏大学学报（自然科学版）》 CAS 北大核心 2007年第3期237-240,共4页

连续函数的不动点是指称语义的一个重要内容,它刻画了程序的计算性质.本文对完全偏序、连续函数和不动点等概念及其意义作出直观的解释,介绍了最小不动点的构造和逼近求解方法.

关键词 指称语义 不动点 完全偏序 连续函数

下载PDF 职称材料

函数式语言中赋值语句(之二) 被引量：1

18

作者 石跃祥 袁华强 《湘潭大学自然科学学报》 CAS CSCD 2001年第1期8-11,6,共5页

为了能够较好地处理函数式程序设计语言中的I/O问题 ,通过采用Monad方法将I/O加入到函数式程序设计语言中 ,来保持函数式程序设计语言的优点 .本文探讨了在函数式I/O系统中加入赋值操作与其引用透明性的问题 .

关键词 函数式程序设计语言 赋值操作 输入/输出 指称语义 赋值语句 引用透明性

下载PDF 职称材料

智能神经网络程序设计语言中规则的指称语义 被引量：1

19

作者 刘晓洁 《计算机应用研究》 CSCD 北大核心 2004年第10期44-45,共2页

就语言的指称语义分别讨论了智能神经网络程序设计语言NIPL中有关规则的动、静态语义,从而建立了NIPL中规则的数学模型。

关键词 神经网络 规则 指称语义 程序设计语言

下载PDF 职称材料

PROLOG的指称语义和操作语义(续)

20

作者 Saumya K.Debray Prateek Mishra 戴敏 《计算机科学》 CSCD 北大核心 1990年第5期31-37,共7页

4.含CUT的PROLOG语义 4.1 语言成份“cut”前面所讨论的PROLOG解释程序简单控制策略的问题之一是在子树中进行大量的回溯搜索有可能没有解(在极端情况下,对无限树形结构进行的穷尽搜索会使逻辑上正确的程序永不终止)。语言成份cut为用... 4.含CUT的PROLOG语义 4.1 语言成份“cut”前面所讨论的PROLOG解释程序简单控制策略的问题之一是在子树中进行大量的回溯搜索有可能没有解(在极端情况下,对无限树形结构进行的穷尽搜索会使逻辑上正确的程序永不终止)。语言成份cut为用户提供了控制这类回溯的手段。 展开更多

关键词 PROLOG语言 指称语义 操作语义

下载PDF 职称材料