Petri网语言表达式及其求解算法 被引量：2

1

作者 张继军 范昊 耿霞 《计算机科学》 CSCD 北大核心 2009年第11期136-139,216,共5页

Petri网语言是描述网系统动作序列的集合。为了给出一个网系统语言的形式描述,基于Petri网的状态转换图,分析了Petri网的行为特征,定义了α闭包表达式和Petri网语言表达式,给出了求解Petri网语言表达式的算法,为Petri网语言的形式化描... Petri网语言是描述网系统动作序列的集合。为了给出一个网系统语言的形式描述,基于Petri网的状态转换图,分析了Petri网的行为特征,定义了α闭包表达式和Petri网语言表达式,给出了求解Petri网语言表达式的算法,为Petri网语言的形式化描述和分析提供了一种新方法。 展开更多

关键词 Petri网状态转换图 重复序列的依赖性 Petri网语言表达式 算法

在线阅读 下载PDF 职称材料

自然价值观与英汉语言表达式 被引量：2

2

作者 张从益 雷建武 《中南工业大学学报（社会科学版）》 2002年第4期406-410,共5页

我们对周围世界的知觉体验与站在我们身旁的讲别种语言的人可以大不相同,其原因就在于人们自然价值观(即宇宙观或时空观)的差异。这种差异蕴藏在我们的语言模式之中,并对语言表达式有着绝对的强制作用。正因为如此,语言表达式就有规律... 我们对周围世界的知觉体验与站在我们身旁的讲别种语言的人可以大不相同,其原因就在于人们自然价值观(即宇宙观或时空观)的差异。这种差异蕴藏在我们的语言模式之中,并对语言表达式有着绝对的强制作用。正因为如此,语言表达式就有规律可循。英汉语言事实足以证明这一点。 展开更多

关键词 英语 汉语 自然价值观 语言表达式

在线阅读 下载PDF 职称材料

广义有界上下文无关语言与Petri网语言 被引量：6

3

作者 张继军 吴哲辉 《系统仿真学报》 CAS CSCD 北大核心 2005年第z1期26-29,共4页

提出了广义有界上下文无关语言的概念,该类语言是上下文无关语言的真子集;证明了广义有界上下文无关语言与上下文无关Petri网语言的等价性;进一步给出了上下文无关Petri网语言的一种形式描述--上下文无关Petri网语言表达式,对上下文无关... 提出了广义有界上下文无关语言的概念,该类语言是上下文无关语言的真子集;证明了广义有界上下文无关语言与上下文无关Petri网语言的等价性;进一步给出了上下文无关Petri网语言的一种形式描述--上下文无关Petri网语言表达式,对上下文无关Petri网语言给出了较完整的结构特征. 展开更多

关键词 上下文无关语言 广义有界上下文无关语言 PETRI网 Petri网语言表达式

在线阅读 下载PDF 职称材料

推导可交换上下文无关语言 被引量：1

4

作者 张继军 吴哲辉 《小型微型计算机系统》 CSCD 北大核心 2008年第2期368-372,共5页

提出了推导可交换上下文无关语言及其文法,证明了正规语言类和有界上下文无关语言类都是推导可交换上下文无关语言类的子集,而推导可交换上下文无关语言类是上下文无关语言类的一个子集;定义了该类语言的α闭包等有关运算,给出了推导可... 提出了推导可交换上下文无关语言及其文法,证明了正规语言类和有界上下文无关语言类都是推导可交换上下文无关语言类的子集,而推导可交换上下文无关语言类是上下文无关语言类的一个子集;定义了该类语言的α闭包等有关运算,给出了推导可交换上下文无关语言表达式,证明了推导可交换上下文无关文法、推导可交换上下文无关语言表达式之间的等价转换. 展开更多

关键词 推导可交换上下文无关语言 文法 语言表达式

在线阅读 下载PDF 职称材料

蒯因的语言哲学 被引量：11

5

作者 陈波 《北京社会科学》 CSSCI 1996年第4期31-34,共4页

蒯因的语言哲学陈波蒯因（ＷｉｌａｒｄＶａｎＯｒｍａｎＱｕｉｎｅ，１９０８－），当代著名的美国哲学家和逻辑学家，他的主要著作《语词和对象》有人称之“２０世纪影响最大的两部哲学著作之一”。①在蒯因那里，语言既是他从事哲学... 蒯因的语言哲学陈波蒯因（ＷｉｌａｒｄＶａｎＯｒｍａｎＱｕｉｎｅ，１９０８－），当代著名的美国哲学家和逻辑学家，他的主要著作《语词和对象》有人称之“２０世纪影响最大的两部哲学著作之一”。①在蒯因那里，语言既是他从事哲学研究的主要领域，又是他思考和处理其... 展开更多

关键词 行为主义 刺激意义 蒯因 语言表达式 本体论的相对性 语言哲学 不可测知 分离部分 翻译不确定性 观察句

在线阅读 下载PDF 职称材料

语言自指与语法悖论 被引量：2

6

作者 柳广民 《社会科学研究》 CSSCI 北大核心 1996年第2期74-79,共6页

本文在逻辑语言学领域第一次提出了“语法悖论”的概念，丰富了悖论研究的内容，解决了语法研究中经常遇到的理论内容的自我悖反问题。作者在前人区分无语言与对象语言的基础上，把外延与内涵的概念引入自然语言逻辑，提出外延分级观点... 本文在逻辑语言学领域第一次提出了“语法悖论”的概念，丰富了悖论研究的内容，解决了语法研究中经常遇到的理论内容的自我悖反问题。作者在前人区分无语言与对象语言的基础上，把外延与内涵的概念引入自然语言逻辑，提出外延分级观点，定义了一级外延、二级外延、三级外延，区分了语言表达式的显性外延与隐性外延，并制定了严格的形式化表示方法，详细划分了语言自指的各种类型，指出了元语法和对象语法的分野。其中语言的直接自指可以导致语法体论，间接自指的两种类型则分别可以导致逻辑型停论与语义型体论。 展开更多

关键词 语言表达式 对象语言 元元语言 内涵与外延 语言单位 自指 子成分分析 单独作主语 无语言 外延集

在线阅读 下载PDF 职称材料

语言逻辑与语义分析问题 被引量：1

7

作者 曹予生 《上海师范大学学报（哲学社会科学版）》 1987年第3期126-131,共6页

语言逻辑研究什么?人们正在研究,众说纷纭。但是,如果说语言逻辑是从语言的指谓性和交际性两个方面来研究自然语言的逻辑问题的话,那么语言逻辑就不能不重视自然语言的语义分析问题。

关键词 语言逻辑 自然语言 语义表达 语言学习 逻辑研究 语言表达式 不合逻辑 交际性 有效交际 特定语境

在线阅读 下载PDF 职称材料

支持协作的轻量级模板语言的设计与实现

8

作者 陈忞 叶丹 《计算机工程与设计》 CSCD 北大核心 2009年第24期5594-5596,5662,共4页

为了提高Web开发中前后台开发人员之间的协作效率,提出并实现了一种新的Web表示层模板语言。该语言通过对XHTML语言进行的扩展,加入了一组特定的动态属性,使得采用该技术的页面代码既可在浏览器中直接显示静态内容,也可在应用服务器环... 为了提高Web开发中前后台开发人员之间的协作效率,提出并实现了一种新的Web表示层模板语言。该语言通过对XHTML语言进行的扩展,加入了一组特定的动态属性,使得采用该技术的页面代码既可在浏览器中直接显示静态内容,也可在应用服务器环境下呈现动态内容。通过兼顾双方的开发习惯和工具要求,该语言为前后台工程师提供了一个协作开发的统一表示层语言,可以有效地降低他们之间开发协作成本。 展开更多

关键词 模板语言 协作 XHTML XML解析 表达式语言

在线阅读 下载PDF 职称材料

语境层级与语义阐释 被引量：37

9

作者 王建华 《外国语文》 1996年第2期47-53,共7页

语境具有层级性，各级语境对语义的阐释功能并不相同，层级越高，阐释功能越重要，亦更具隐性。根据语境对语义阐释功能的大小，语境可区分为四级：句级语境、句群语境、文化语境和背景语境。

关键词 背景语境 文化语境 语义阐释 话语意义 语言表达式 语言单位 句子意义 国俗语义 语境研究 语境的分类

在线阅读 下载PDF 职称材料

“多维结构的意义理论”论纲（一） 被引量：2

10

作者 邓生庆 《社会科学研究》 CSSCI 北大核心 1995年第4期68-74,86,共8页

本文论述一种新的意义理论的基本框架，这种理论批判地吸取了传统意义理论─—指称论、观念论、行为论、用法论等的合理成分，构建起了意义的多维度的结构，其基本思想在于：语言作为传播信息的工具，具有多种功能，诸如指代、指令、情... 本文论述一种新的意义理论的基本框架，这种理论批判地吸取了传统意义理论─—指称论、观念论、行为论、用法论等的合理成分，构建起了意义的多维度的结构，其基本思想在于：语言作为传播信息的工具，具有多种功能，诸如指代、指令、情感、交流、美学、元语言等等，而每一方面的功能在传播过程（言语活动）中都表现为语言表达式的某一维度的意义；不同的语境（言语活动、文本）所侧重表达的意义不同。 展开更多

关键词 语言表达式 意义理论 言语活动 指称对象 多维结构 语言哲学 元语言 自然语言 观念论 语言的意义

在线阅读 下载PDF 职称材料

语境简论 被引量：1

11

作者 庄杰 《上海大学学报（社会科学版）》 CSSCI 1991年第2期40-43,共4页

语境是语用学的核心课题,也是逻辑分析的重要依据。语用学从符号学的角度来研究语言和语言使用者之间的关系,主要是研究在不同的语言交际环境下如何理解和运用语言。逻辑学是关于思维形式及其规律的科学,而思维是籍助语言来表达的,逻辑... 语境是语用学的核心课题,也是逻辑分析的重要依据。语用学从符号学的角度来研究语言和语言使用者之间的关系,主要是研究在不同的语言交际环境下如何理解和运用语言。逻辑学是关于思维形式及其规律的科学,而思维是籍助语言来表达的,逻辑分析是不可能越过语言分析这个中介环节的,而自然语言是多义和模糊的,因此,只有结合特定的语言交际环境才能弄清语言所表达的具体的思维内容,及思维形式结构的真假和对错。所以,无论从语用学的角度还是从逻辑学的角度讲,我们都应该重视语境的研究。 展开更多

关键词 语境 语用学 逻辑分析 语言交际 语言形式 语言表达式 自然语言 交际环境 逻辑学 语义信息

在线阅读 下载PDF 职称材料

现代西方哲学的可能世界理论

12

作者 罗毅 《现代哲学》 1987年第3期68-70,共3页

可能世界理论是现代西方哲学中的一个热门话题,本文简单谈谈这方面情况,以利于我们对其进行批判和借鉴。1.分析哲学可能世界理论起源于弗雷格的意义理论。弗雷格在他的著名文章“论涵义与指称”中。

关键词 可能世界理论 弗雷格 语言表达式 克里普克 外延 涵义 函项 模态逻辑语义学 现代西方哲学 分析哲学

在线阅读 下载PDF 职称材料

SQL Server 2000中的数据仓库和OLAP解决方案 被引量：1

13

作者 钱慎一 张杰 李学桥 《郑州轻工业学院学报》 2002年第1期71-74,共4页

数据仓库具有海量数据存储能力 ,并可应用在其之上的OLAP和数据挖掘技术进行强大的多维数据分析 ,实现决策支持功能 .Microsoft公司推出的SQLServer 2 0 0 0提供了完整的数据仓库和OLAP的解决方案 :用一组数据仓库组件 (DTS ,OLAP ,数... 数据仓库具有海量数据存储能力 ,并可应用在其之上的OLAP和数据挖掘技术进行强大的多维数据分析 ,实现决策支持功能 .Microsoft公司推出的SQLServer 2 0 0 0提供了完整的数据仓库和OLAP的解决方案 :用一组数据仓库组件 (DTS ,OLAP ,数据挖掘支持 )来建立数据仓库 .该方案提供了多维表达式语言 (MDX) 展开更多

关键词 数据仓库 联机分析处理 多维表达式语言 OLAP

在线阅读 下载PDF 职称材料

名称的指称和意义

14

作者 尹树广 《求是学刊》 CSSCI 北大核心 1989年第6期12-15,共4页

关键词 摹状词理论 指号 弗雷格 日常语言 同义性 语言形式 词的意义 罗素 语词表达 语言表达式

在线阅读 下载PDF 职称材料

不明确指称词的逻辑语义初探

15

作者 唐晓嘉 《西南师范大学学报（哲学社会科学版）》 CSSCI 1989年第4期42-47,共6页

形式逻辑同一性原理的基本定律之一是可替换定律,这个定律指出:如果a和b都是指称同一个对象的词项,即a=b,则可以在关于a的陈述Φ(a)中用b替换a。得到Φ(b),若Φ(a)真则Φ(b)真。这个定律的可靠性是显而易见的。既然a和b都是指称的同一... 形式逻辑同一性原理的基本定律之一是可替换定律,这个定律指出:如果a和b都是指称同一个对象的词项,即a=b,则可以在关于a的陈述Φ(a)中用b替换a。得到Φ(b),若Φ(a)真则Φ(b)真。这个定律的可靠性是显而易见的。既然a和b都是指称的同一个对象,关于a的陈述也就是关于b的陈述,即都是关于这同一个对象的陈述。只要这个陈述是关于对象的真陈述,用a或用b,它都真。然而,在某些情况下却有例外,看如下几个推理: 展开更多

关键词 指称性 假语句 可能世界 语言表达式 行星 形式逻辑 可替换 函数 陈述 词项

在线阅读 下载PDF 职称材料

试论形式逻辑的对象及几个有关问题

16

作者 苏天辅 《西南师范大学学报（哲学社会科学版）》 1988年第3期51-57,50,共8页

本文拟对形式逻辑作一初浅的界说,这不可避免地要涉及几个有关的问题.一、形式逻辑及其研究对象17世纪末,波尔·罗亚尔的逻辑问世,这是一本修道院学生用的逻辑教科书.该书论述了名词、命题、推理等.在推理中既包括了三段论,也包括... 本文拟对形式逻辑作一初浅的界说,这不可避免地要涉及几个有关的问题.一、形式逻辑及其研究对象17世纪末,波尔·罗亚尔的逻辑问世,这是一本修道院学生用的逻辑教科书.该书论述了名词、命题、推理等.在推理中既包括了三段论,也包括了假言推理、选言推理;此外还论述了方法论,其中涉及到了归纳推理.这本书对以后逻辑教材的编著产生了深远的影响.现在通常所说的形式逻辑,既包括三段论、假言推理、选言推理,也包括归纳推理,这似乎可以说是从波尔·罗亚尔逻辑开始.这种形式逻辑是一个教科书体系,演绎与归纳虽是不同的科学体系,但作为教科书,没有什么不可以把它们编辑在一起的.本文所要界说的形式逻辑就是这种包括传统演绎与归纳在内的,教科书体系的逻辑. 展开更多

关键词 形式逻辑 选言推理 命题组合 语言表达式 归纳推理 判断 教科书体系 思维形式 思想 逻辑学家

在线阅读 下载PDF 职称材料

基于聚类的OLAP多维分析查询推荐方法研究 被引量：2

17

作者 陈元中 《计算机工程与设计》 CSCD 北大核心 2010年第15期3503-3505,共3页

为提高用户在使用OLAP(联机分析处理)时的查询效率,改善用户体验,对OLAP中的MDX(多维表达式)查询语言进行了研究,提出了在MDX查询语言的基础上,对OLAP用户的历史查询记录进行聚类的方法,建立了查询操作的分级推荐机制,提供给当前用户候... 为提高用户在使用OLAP(联机分析处理)时的查询效率,改善用户体验,对OLAP中的MDX(多维表达式)查询语言进行了研究,提出了在MDX查询语言的基础上,对OLAP用户的历史查询记录进行聚类的方法,建立了查询操作的分级推荐机制,提供给当前用户候选查询作为推荐,帮助用户设计下一步查询操作。介绍了该方法的推荐机制构架,并表明了该方法的可行性。 展开更多

关键词 联机分析处理 多维表达式查询语言 查询推荐 聚类 分级推荐

在线阅读 下载PDF 职称材料