代数语言的二维可视界面

1

作者 王孝通 华承相 《计算机工程》 CAS CSCD 北大核心 1994年第S1期575-579,共5页

本文对代数语言可视化作了深入的研究,提出了代数语言可视化的规则和框架。这种可视化有效地反映了模型的层次结构和明确的物理语义,填补了数学模型和概念模型之间的鸿沟,从而增强了建模过程的可操作和透明性,它易被所有的决策者接受和... 本文对代数语言可视化作了深入的研究,提出了代数语言可视化的规则和框架。这种可视化有效地反映了模型的层次结构和明确的物理语义,填补了数学模型和概念模型之间的鸿沟,从而增强了建模过程的可操作和透明性,它易被所有的决策者接受和理解。 展开更多

关键词 数学规则模型 代数语言 可视化

在线阅读 下载PDF 职称材料

代数语言规约的ML原型翻译系统

2

作者 蔡家楣 《计算机科学》 CSCD 北大核心 1998年第4期14-17,共4页

形式化的规约说明对于提高软件开发的正确性和效率有很大作用,一个形式化的规约说明语言开发环境如图1所示。目前有的原型系统是用常规高级语言,即一般的过程语言来写的,如C。这种原型环境涉及大量低层细节.程序繁琐冗长,且和计算机状... 形式化的规约说明对于提高软件开发的正确性和效率有很大作用,一个形式化的规约说明语言开发环境如图1所示。目前有的原型系统是用常规高级语言,即一般的过程语言来写的,如C。这种原型环境涉及大量低层细节.程序繁琐冗长,且和计算机状态相联系,破坏了原有规约的证明特性。 展开更多

关键词 软件开发 代数语言规约 ML语言 原型翻译系统

在线阅读 下载PDF 职称材料

区间约束及其代数查询语言 被引量：8

3

作者 王宇君 汪卫 施伯乐 《计算机学报》 EI CSCD 北大核心 1999年第5期550-554,共5页

提出了区间约束和基于区间约束的代数查询语言．区间约束与密序约束相比，增加了简单的加减运算，具有更强的描述能力．同时区间约束元组有简洁、唯一的规范区间表示．文中给出了计算区间约束的规范区间表示的算法．针对区间约束关系，... 提出了区间约束和基于区间约束的代数查询语言．区间约束与密序约束相比，增加了简单的加减运算，具有更强的描述能力．同时区间约束元组有简洁、唯一的规范区间表示．文中给出了计算区间约束的规范区间表示的算法．针对区间约束关系，定义了基本代数操作的语法及语义，研究了代数查询语言，并证明代数约束查询语言满足封闭性．最后讨论了区间约束的实现与应用． 展开更多

关键词 约束数据库 代数查询语言 区间约束 数据库

在线阅读 下载PDF 职称材料

基于Vague数据库的代数查询语言 被引量：4

4

作者 赵法信 马宗民 吕艳辉 《小型微型计算机系统》 CSCD 北大核心 2008年第10期1893-1899,共7页

基于Vague集理论的Vague关系数据库与其他模糊数据库一样,由于所含信息的模糊性,对应着现实世界的多种状态.虽然此类数据库能够更加真实地反映现实世界,但是在基于这些数据库的查询语言的有效性和计算过程的复杂性等方面却存在着一定的... 基于Vague集理论的Vague关系数据库与其他模糊数据库一样,由于所含信息的模糊性,对应着现实世界的多种状态.虽然此类数据库能够更加真实地反映现实世界,但是在基于这些数据库的查询语言的有效性和计算过程的复杂性等方面却存在着一定的问题.本文基于Vague关系数据模型,对其代数查询语言中的选择、投影和连接操作进行了研究,指出基于一般Vague关系数据模型的查询语言中所存在的问题,并提出相应的解决方法,引入一种嵌套机制,对Vague关系模型进行了进一步扩展,进而对新模型查询语言中的三种操作在不同情况下进行了讨论,并给出了相应的定义. 展开更多

关键词 模糊集 VAGUE集 vague关系数据模型 嵌套机制 代数查询语言

在线阅读 下载PDF 职称材料

DFA模型及其语言的结构化代数规约 被引量：1

5

作者 张维石 《小型微型计算机系统》 CSCD 北大核心 1999年第7期517-520,共4页

本文首先阐述了利用ＤＦＡ模型技术进行状态转换系统描述存在的主要问题，提出了利用代数规约技术解决这些问题的可行性．然后介绍了新一代具有松散语义的代数规约语言ＳＰＥＣＴＲＵＭ及其主要规约操作符的语法和语义，并根据ＤＦＡ模... 本文首先阐述了利用ＤＦＡ模型技术进行状态转换系统描述存在的主要问题，提出了利用代数规约技术解决这些问题的可行性．然后介绍了新一代具有松散语义的代数规约语言ＳＰＥＣＴＲＵＭ及其主要规约操作符的语法和语义，并根据ＤＦＡ模型及其语言的数学定义，给出了它们的结构化代数规约。 展开更多

关键词 代数规约 DFA模型 代数规约语言

在线阅读 下载PDF 职称材料

语言真值格蕴涵代数的蕴涵不可约元

6

作者 赖家俊 徐扬 《电子学报》 EI CAS CSCD 北大核心 2014年第10期1998-2003,共6页

本文提出了语言真值格蕴涵代数的蕴涵不可约元、有限蕴涵分解元、有限蕴涵分解不可约元的定义,并研究了它们的结构特征,证明了语言真值格蕴涵代数中的部分元素可由蕴涵不可约元通过张量积运算生成.

关键词 语言真值格蕴涵代数 蕴涵不可约元 有限蕴涵分解元 有限蕴涵分解不可约元

在线阅读 下载PDF 职称材料

基于语言真值格值命题逻辑系统l_(νpl)的推理规则 被引量：8

7

作者 赖家俊 徐扬 《计算机科学》 CSCD 北大核心 2008年第9期230-232,共3页

一个逻辑系统在实际应用中,推理规则的选取往往很重要。本文基于语言真值格值命题逻辑系统lνpl,提出了几种推理规则,这些推理规则包含有语义和语法,且它们之间具备协调水平的特性,证明了推理规则在一定程度上具备闭性特性。

关键词 语言真值蕴涵代数 语言真值命题逻辑 推理规则 闭性

在线阅读 下载PDF 职称材料

语言真值格值命题逻辑系统中广义文字的归结判定 被引量：7

8

作者 许伟涛 徐扬 《计算机科学》 CSCD 北大核心 2013年第2期237-240,273,共5页

自动推理是人工智能研究的一个重要内容,基于归结原理的自动推理是自动推理研究的重要分支。基于语言真值格蕴涵代数的格值逻辑系统能处理带有可比较项和不可比较项的信息或知识,为自动推理研究提供了严格的逻辑基础。给出了语言真值格... 自动推理是人工智能研究的一个重要内容,基于归结原理的自动推理是自动推理研究的重要分支。基于语言真值格蕴涵代数的格值逻辑系统能处理带有可比较项和不可比较项的信息或知识,为自动推理研究提供了严格的逻辑基础。给出了语言真值格蕴涵代数LV(n×2)的一些性质,在基于十八元语言真值格蕴涵代数LV(9×2)的格值命题逻辑系统LV(9×2)P(X)框架下,刻画了1-IESF和2-IESF型对应广义文字的结构,给出了其广义文字的可归结性。这些工作将为基于语言真值格值逻辑系统的归结自动推理提供重要的研究基础。 展开更多

关键词 自动推理 格值逻辑系统 语言真值格蕴涵代数 广义文字 归结

在线阅读 下载PDF 职称材料

语言真值直觉模糊逻辑的知识推理 被引量：8

9

作者 邹丽 谭雪微 张云霞 《计算机科学》 CSCD 北大核心 2014年第1期134-137,共4页

针对格蕴涵代数、直觉模糊集及知识表示、基于语言真值直觉模糊代数的相关性质及运算方法,提出了六元语言真值直觉模糊代数的相关逻辑性质,并在六元语言真值直觉模糊知识表示的基础上,将模糊推理的CRI方法进行扩展,研究得出了六元语言... 针对格蕴涵代数、直觉模糊集及知识表示、基于语言真值直觉模糊代数的相关性质及运算方法,提出了六元语言真值直觉模糊代数的相关逻辑性质,并在六元语言真值直觉模糊知识表示的基础上,将模糊推理的CRI方法进行扩展,研究得出了六元语言真值直觉模糊推理的方法即6LTV-CRI算法。而后将直觉模糊推理与六元语言真值直觉模糊推理方法进行对比分析,验证了6LTV-CRI推理算法的合理性,并分析了其优缺点。 展开更多

关键词 直觉模糊知识推理 语言真值直觉模糊代数 语言真值直觉模糊逻辑

在线阅读 下载PDF 职称材料

语言真值格值命题逻辑中的α-语义归结方法 被引量：1

10

作者 张家锋 徐扬 陈琴 《计算机科学》 CSCD 北大核心 2015年第11期123-129,共7页

语言值智能信息处理是人工智能的一个重要研究方向,基于归结原理的自动推理因易于在计算机上实现而得到广泛研究。为了提高基于语言真值格值逻辑的α-归结原理的效率,将语义归结策略应用于α-归结原理,研究了基于格值逻辑的归结自动推... 语言值智能信息处理是人工智能的一个重要研究方向,基于归结原理的自动推理因易于在计算机上实现而得到广泛研究。为了提高基于语言真值格值逻辑的α-归结原理的效率,将语义归结策略应用于α-归结原理,研究了基于格值逻辑的归结自动推理方法。首先给出了语言真值格值命题逻辑系统的α-语义归结与LnP(X)中相应归结水平的语义归结之间的等价性,并通过实例说明其有效性。接着,给出了语言真值格值命题逻辑系统的α-语义归结算法,并证明了该算法的可靠性和完备性。 展开更多

关键词 自动推理 语义归结 语言真值格蕴涵代数 格值逻辑

在线阅读 下载PDF 职称材料

基于语言真值直觉模糊推理的公共交通资源投入评估方法 被引量：2

11

作者 王洪东 潘畅 +1 位作者 温欣 邹丽 《济南大学学报（自然科学版）》 CAS 北大核心 2018年第3期204-211,共8页

为了在智能信息处理中能够对具有可比性和不可比性的语言值信息进行处理,从而对推理过程中的正、反2个方面证据进行处理,提出一种语言真值直觉模糊推理方法;基于格蕴涵代数和2n元语言真值直觉模糊格,研究了语言真值Kleene-Dienes蕴涵算... 为了在智能信息处理中能够对具有可比性和不可比性的语言值信息进行处理,从而对推理过程中的正、反2个方面证据进行处理,提出一种语言真值直觉模糊推理方法;基于格蕴涵代数和2n元语言真值直觉模糊格,研究了语言真值Kleene-Dienes蕴涵算子和语言真值Zadeh蕴涵算子,讨论两者之间的性质和运算关系;利用所提的蕴涵算子构建一种基于模糊语言值推理的公共交通评估方法,以公共交通资源投入实例来说明方法的合理性。结果表明,与传统的模糊蕴涵算子相比,所提的2种蕴涵算子对具有语言值信息的公共交通资源投入评估分析中的信息应用更加全面,所得的具有语言值信息的评估结果更加接近人类思维。 展开更多

关键词 语言真值直觉模糊代数 蕴涵算子 模糊推理 公共交通资源投入

在线阅读 下载PDF 职称材料

《现代语言学流派》评介 被引量：2

12

作者 张敏 《语文建设》 CSSCI 北大核心 1989年第4期59-61,共3页

一20世纪在语言学史上是一个令人振奋而又使人眼花缭乱的时代。一方面,索绪尔之后的现代语言学摆脱了古老传统的重负,几十年间异军突起,成就斐然,在西方人文科学中获得了“领先科学”的美称,留下了一笔丰厚的遗产;另一方面,近20年来不... 一20世纪在语言学史上是一个令人振奋而又使人眼花缭乱的时代。一方面,索绪尔之后的现代语言学摆脱了古老传统的重负,几十年间异军突起,成就斐然,在西方人文科学中获得了“领先科学”的美称,留下了一笔丰厚的遗产;另一方面,近20年来不同的学术流派和新兴学科层见叠出,理论翻新极为迅速,让人目不暇接。人们在渴求了解、吸收现代语言学最新成果的同时,面对这种千头万绪的局面,极易感到茫然和困惑。冯志伟先生的《现代语言学流派》 展开更多

关键词 语言学流派 语言学史 描写语言学 学术流派 冯志伟 代数语言学 形式语言理论 成就斐然 转换生成语法 使人

在线阅读 下载PDF 职称材料

G－交换本原字及其代数性质

13

作者 黄骏敏 《上海交通大学学报》 EI CAS CSCD 北大核心 1996年第11期1-4,共4页

引进Ｇ－交换本原字的概念，这里Ｇ是一个置换群，甚至是全对称群Ｓｎ的一个子集合，给出判断并且构作一个本原字是Ｇ－交换本原字的方法．

关键词 置换群 本原字 代数语言 G-交换本原字

在线阅读 下载PDF 职称材料

基于语言值聚合算法的数据去重产品选择 被引量：2

14

作者 梁律 《控制工程》 CSCD 北大核心 2018年第1期176-182,共7页

针对语言真值直觉模糊信息环境下的数据去重产品选择问题，构建了一种基于语言真值直觉模糊集成算法的多属性决策方法。该方法首先在语言真值直觉模糊代数的基础上，运用语言真值直觉模糊对来表达既有可比性又有不可比性的模糊语言值信... 针对语言真值直觉模糊信息环境下的数据去重产品选择问题，构建了一种基于语言真值直觉模糊集成算法的多属性决策方法。该方法首先在语言真值直觉模糊代数的基础上，运用语言真值直觉模糊对来表达既有可比性又有不可比性的模糊语言值信息：其次提出了语言真值直觉模糊加权平均算子和语言真值直觉模糊有序加权平均算子，并讨论了其相关性质，同时利用两种聚合算子对语言真值直觉模糊信息进行加权聚合，将聚合结果进行排序：然后引入了参照相近度用以处理排序过程中出现的不可比情况：最后构建一种语言真值直觉模糊多属性群决策方法，并通过数据去重产品的选择实例说明提出的决策方法是合理和有效的。 展开更多

关键词 多属性决策 语言真值直觉模糊代数 语言值聚合算子 参照相近度 数据去 重产品

在线阅读 下载PDF 职称材料

数理语言学

15

作者 Z.W. 《语文建设》 1985年第2期61-,共1页

数理语言学是用数学思想和数学方法来研究语言现象的一门新兴的语言学科。这门新兴学科的出现,使语言学与现代数学、计算机科学、控制论、信息论以及人工智能挂上了钩,逐渐走上了现代化的道路。数理语言学是由于机器翻译、情报自动检索... 数理语言学是用数学思想和数学方法来研究语言现象的一门新兴的语言学科。这门新兴学科的出现,使语言学与现代数学、计算机科学、控制论、信息论以及人工智能挂上了钩,逐渐走上了现代化的道路。数理语言学是由于机器翻译、情报自动检索、自然语言理解。 展开更多

关键词 数理语言学 语言学科 自然语言理解 数学方法 计算机科学 代数语言学 现代数学 现代信息科学 自动检索 统计语言学

在线阅读 下载PDF 职称材料

非共振双Hopf分叉系统的规范形及其应用 被引量：2

16

作者 张琪昌 梁以德 陈予恕 《振动工程学报》 EI CSCD 1998年第3期351-355,共5页

利用接近恒同的非线性变换，计算出了非共振双Ｈｏｐｆ分叉系统规范形和系数。利用广义坐标变换，将非共振单自由度非线性强迫振动系统变换为双Ｈｏｐｆ分叉系统，用规范形理论给出了一种计算该类系统定常解及分叉特性的方法。

关键词 HOPF分叉 规范形 非线性振动 代数语言 非共振

在线阅读 下载PDF 职称材料

有限长弹性地基梁地基系数的识别 被引量：2

17

作者 虞爱民 李享荣 柏健锋 《噪声与振动控制》 CSCD 2000年第6期2-3,13,共3页

本文通过实测弹性地基梁的固有频率 ,以传递矩阵法为基础 ,利用计算机代数语言 ,导出以支承刚度为未知数的高次方程 ,从而识别出地基系数 ,并通过实验验证该方法的正确性。

关键词 地基系数 支承刚度 计算机代数语言 弹性地基梁

在线阅读 下载PDF 职称材料

圆环板支承刚度的识别

18

作者 李享荣 陈方泉 王航 《噪声与振动控制》 CSCD 北大核心 2007年第1期31-34,共4页

给出圆板弹性支承的传递矩阵,并用计算机代数语言编写圆板环形条元及支承元件的传递矩阵,通过试验模态分析,确定圆板轴对称振型及频率,将该频率代入含待识别支承刚度的传递矩阵法中去,就可直接识别其刚度,并通过实验验证了此法的有效性。

关键词 振动与波 支承刚度 传递矩阵法 计算机代数语言

在线阅读 下载PDF 职称材料

交叉梁系支承刚度的识别

19

作者 李享荣 李俊 《噪声与振动控制》 CSCD 北大核心 2005年第2期47-49,共3页

通过实测交叉梁系低阶的固有频率,以传递矩阵法为基础,由计算机代数语言推导出含待识别支承刚度的高次方程或非线性方程组,解此方程就能识别出支承刚度,并通过实验来验证该方法的有效性。

关键词 支承刚度 交叉梁系 识别 计算机代数语言 非线性方程组 传递矩阵法 固有频率 高次方程

在线阅读 下载PDF 职称材料

一边弹性支承三边自由矩形板对接处角刚度的识别

20

作者 李享荣 张雷 《中国工程机械学报》 2009年第3期290-293,共4页

通过试验模态分析,寻找一边弹性支承三边自由对接长方形板的最低阶弯曲振型及对应的固有频率,将对接板的动力学问题转化为一边弹性支承的对接梁来求解,借助计算机代数语言,编写对接梁的传递矩阵法程序,推导出对接处含角刚度作为符号的方... 通过试验模态分析,寻找一边弹性支承三边自由对接长方形板的最低阶弯曲振型及对应的固有频率,将对接板的动力学问题转化为一边弹性支承的对接梁来求解,借助计算机代数语言,编写对接梁的传递矩阵法程序,推导出对接处含角刚度作为符号的方程,输入板的最低阶弯曲振型所对应的固有频率就可识别出该处的角刚度,并通过实例验证此法的有效性. 展开更多

关键词 角刚度 传递矩阵法 计算机代数语言

在线阅读 下载PDF 职称材料