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

1

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

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

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

在线阅读 下载PDF 职称材料

有穷自动机中的等价性与等价归并算法 被引量：12

2

作者 秦永彬 许道云 《济南大学学报（自然科学版）》 CAS 2006年第4期354-358,共5页

通过引入等价性原则,简化了对正则语言判定的步骤,并在有限自动机的状态集上引入等价关系,利用等价归并算法将给定的自动机中的等价状态进行归并,生成与其等价的最小自动机。

关键词 自动机 正则语言 等价 可区分 不可区分

在线阅读 下载PDF 职称材料

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

3

作者 廖湖声 李小青 《计算机科学与探索》 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 职称材料

合成型语言FOPL的语义研究 被引量：2

4

作者 梅宏 孙永强 《电子学报》 EI CAS CSCD 北大核心 1995年第2期12-16,共5页

函数式面向对象程序设计语言ＦＯＰＬ，是笔者设计并实现的一种同时支持函数式程序设计和面向对象程序设计的合成型智能语言，本文在一个全称抽象域上描述了它的指称语义，进而讨论了一个和该指称语义计算一致的按值调用的操作语义。

关键词 FOPL语言 程序设计 面向对象 合成语言 语义

在线阅读 下载PDF 职称材料

过程式语言到函数式语言的抽象方法 被引量：1

5

作者 金成植 刘磊 《计算机学报》 EI CSCD 北大核心 1997年第8期731-736,共6页

本文给出了从过程式程序到函数式程序的转换规则，这些转换规则是从语言的接续指称语义推导出来的．我们考虑了ＧＯＴＯ语句的处理，因此，我们的方法可以处理非结构化程序．由于这些转换规则是从指称语义导出的，其正确性得到了保证．

关键词 过程式语言 函数式语言 目录代码

在线阅读 下载PDF 职称材料

函数式面向对象语言FOPL的指称语义 被引量：1

6

作者 梅宏 孙永强 《计算机学报》 EI CSCD 北大核心 1994年第7期513-520,共8页

函数式面向对象程序设计语言ＦＯＰＬ是笔者设计并实现的一种合成语言．本文在一个全称的抽象域上描述了ＦＯＰＬ语言的指称语义．

关键词 面向对象 程序语言 FOPL语言

在线阅读 下载PDF 职称材料

“言意之辨”与古典阐释学的意义生成 被引量：1

7

作者 郑伟 杨彩丹 《中州学刊》 CSSCI 北大核心 2023年第9期140-147,共8页

“言意之辨”几乎囊括了中国古代关于语言符号认知的全部观念,也几乎包含了古人如何认识、体验和言说世界的全部经验,因而也就奠定了中国古典阐释学的思想基础。在古代学术思想史上,“言意之辨”的核心是意义的存在方式问题,并由此形成... “言意之辨”几乎囊括了中国古代关于语言符号认知的全部观念,也几乎包含了古人如何认识、体验和言说世界的全部经验,因而也就奠定了中国古典阐释学的思想基础。在古代学术思想史上,“言意之辨”的核心是意义的存在方式问题,并由此形成了古典阐释学的方法论特征。它不仅为人们提供了处理文本问题的基本经验,而且将阐释行为本身从一种还原性的“解经”活动转变为向着经典去建构和开辟意义世界的“读书”的过程,进而生发出一种此在的形而上的阐释学意味。 展开更多

关键词 言意之辨 名实之辨 阐释学 解经 读书

在线阅读 下载PDF 职称材料

“一带一路”与外语学科的外延发展 被引量：9

8

作者 罗良功 《山东外语教学》 2019年第5期48-53,共6页

“一带一路”倡议为我国高等学校的学科建设提供了新的契机和空间。就外语学科而言,“一带一路”倡议一方面拓展了外语学科规划和建设的国际视野,另一方面也拓展了外语学科范围,使国别区域研究等社会服务领域成为外语学科的应有之意。... “一带一路”倡议为我国高等学校的学科建设提供了新的契机和空间。就外语学科而言,“一带一路”倡议一方面拓展了外语学科规划和建设的国际视野,另一方面也拓展了外语学科范围,使国别区域研究等社会服务领域成为外语学科的应有之意。本文认为,外语学科要主动对接国家战略,加强国别区域研究等社会服务功能;而在进行外延式发展的同时也要立足于外国语言文学的学科内涵,即外国文学、外国语言学及应用语言学、翻译学、比较文学与跨文化研究。这是保证外语学科合法性的需要,也是体现外语学科对国别区域研究独特贡献的关键要素。 展开更多

关键词 “一带一路” 外语学科 外延式发展 学科内涵

在线阅读 下载PDF 职称材料

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

9

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

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

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

在线阅读 下载PDF 职称材料

对外汉语教学中的“笔画组合方式辨字”问题 被引量：6

10

作者 何洪峰 《汉语学习》 北大核心 2005年第3期61-63,共3页

“笔画组合方式辨字”就是某一笔画组合方式不同构成不同的形近字。在对外汉字教学中应该注意笔画组合方式辨字问题。

关键词 对外汉语 汉字 笔画辨字 组合方式

在线阅读 下载PDF 职称材料

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

11

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

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

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

在线阅读 下载PDF 职称材料

智能神经网络程序设计语言中规则的指称语义

12

作者 金军 李涛 伍良富 《四川大学学报（工程科学版）》 EI CAS CSCD 2001年第2期106-109,共4页

智能神经网络程序设计语言NIPL是应用智能神经网络系统理论、开发智能神经网络应用系统的有力工具。着重讨论了NIPL中有关规则的指称语义 ,从而建立了NIPL中逻辑规则的数学模型 ,为使用该语言来方便地建立智能神经网络应用系统奠定了基础。

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

在线阅读 下载PDF 职称材料

六朝“文”的观念辨析 被引量：1

13

作者 贾奋然 《首都师范大学学报（社会科学版）》 2003年第1期81-89,共9页

六朝人对“文”的观念辨析包含对“文”外延的界定和对“文”的内涵探讨两方面的重要内容。泛文学文体观念和纯文学文体观念被戏剧性定位于六朝 ,它们之间具有内在张力性 ,但都表现出重采、重情的对纯审美内核的追求。

关键词 泛文学 纯文学 文笔之辨

在线阅读 下载PDF 职称材料

一个说明语言的设计和其子集编译器的开发

14

作者 江国华 张庆明 《南京航空航天大学学报》 CAS CSCD 1996年第3期419-426,共8页

基于软件文档可执行的想法，设计了一个适用于指称语义描述的可执行规范说明语言——ＪＺＣ，并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念，使得抽象文法易于在程度中体现。模块概念的... 基于软件文档可执行的想法，设计了一个适用于指称语义描述的可执行规范说明语言——ＪＺＣ，并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念，使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。作为对严格开发方法的一个尝试，ＪＺＣ核心子集编译器的开发采用了该种方法，其中一个“结果正确性定理”的证明是开发过程的重点工作。本文通过一个示例语言简介ＪＺＣ的语言特点。 展开更多

关键词 编译程序 程序语言 形式语言 指称语义

在线阅读 下载PDF 职称材料

“言意之辨”与中国传统哲学

15

作者 余卫国 《南通师范学院学报（哲学社会科学版）》 2004年第4期9-13,共5页

“道”是中国传统哲学的最高本体，也是通过主体的心性修养所达到的一种状态或境界。“道”不是实体，不可言说，不可分析，只能诉诸于主体的心性直觉。通过对“道”的直觉思维来把握和表达人的超越性理想和形上追求，是中国传统哲学通... “道”是中国传统哲学的最高本体，也是通过主体的心性修养所达到的一种状态或境界。“道”不是实体，不可言说，不可分析，只能诉诸于主体的心性直觉。通过对“道”的直觉思维来把握和表达人的超越性理想和形上追求，是中国传统哲学通往形上境界的特有门径和思维特质，而这种思维特质的形成，正与肇端于先秦时期的“言意之辨”有着深刻的关联。可以说“言意之辨”既是这种超越而内在的直觉思维形成的深层原因，也是其成为传统和特质的内在根据。 展开更多

关键词 中国传统哲学 言意之辨 直觉思维

在线阅读 下载PDF 职称材料

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

16

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

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

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

在线阅读 下载PDF 职称材料

知识经济视角下语言产业的内涵和外延 被引量：6

17

作者 殷志平 《语言战略研究》 CSSCI 北大核心 2021年第1期68-76,共9页

语言产业内涵与外延的界定是语言产业研究的前提。本文基于知识经济的定义,将语言产业定义为从事语言知识的生产、分配、使用和消费,或者以语言知识为主要服务内容满足他人语言消费需要的产业,将语言产业划分为语言工业和语言服务业,将... 语言产业内涵与外延的界定是语言产业研究的前提。本文基于知识经济的定义,将语言产业定义为从事语言知识的生产、分配、使用和消费,或者以语言知识为主要服务内容满足他人语言消费需要的产业,将语言产业划分为语言工业和语言服务业,将语言服务业划分为语言服务产业和语言服务事业,同时将语言翻译、语言培训、语言出版、语言会展、语言康复、语言文字信息处理、语文能力测评、语言艺术和速录等确认为语言产业的业态,将语言创意划归广告业。认识到语言产业的知识经济属性具有重要的理论意义和实践意义,语言产业视角下的语言学研究要基于语言产业发展对语言知识的要求确定研究方向,发现研究问题;语言产业的发展,应该以满足不同语言产业和业态不同的语言知识消费需要为导向。 展开更多

关键词 语言产业 内涵和外延 知识经济 语言知识

在线阅读 下载PDF 职称材料