期刊文献+
共找到8篇文章
< 1 >
每页显示 20 50 100
基于形式概念分析的多输入多输出真值表并行约简算法 被引量:2
1
作者 陈泽华 闫继雄 柴晶 《电子与信息学报》 EI CSCD 北大核心 2017年第9期2259-2265,共7页
真值表约简是数字逻辑电路分析与设计的关键问题之一,形式概念分析(Formal Concept Analysis,FCA)是一种从形式背景进行数据分析和规则提取的工具。该文将多输入多输出(Multiple-Input Multiple-Output,MIMO)真值表转化为决策形式背景,... 真值表约简是数字逻辑电路分析与设计的关键问题之一,形式概念分析(Formal Concept Analysis,FCA)是一种从形式背景进行数据分析和规则提取的工具。该文将多输入多输出(Multiple-Input Multiple-Output,MIMO)真值表转化为决策形式背景,将真值表的约简问题转化为决策形式背景的最简规则提取过程,提出一种基于FCA的MIMO真值表并行约简算法。通过理论证明、实例演示和算法的复杂性分析,说明了新算法的正确性、有效性和快速性。 展开更多
关键词 数字逻辑电路 真值表约简 形式概念分析 规则提取
在线阅读 下载PDF
基于逻辑合取的语言真值概念格合并算法 被引量:1
2
作者 杨丽 徐扬 《电子学报》 EI CAS CSCD 北大核心 2013年第11期2149-2155,共7页
针对人工智能领域中有关不确定性自然语言的研究,将格值逻辑引入概念格,提出了自然语言转换为语言真值的方法,并基于语言真值格蕴涵代数建立了语言真值概念格.通过对各语言真值形式背景及形式概念间关系的分析,演示了由多个语言真值概... 针对人工智能领域中有关不确定性自然语言的研究,将格值逻辑引入概念格,提出了自然语言转换为语言真值的方法,并基于语言真值格蕴涵代数建立了语言真值概念格.通过对各语言真值形式背景及形式概念间关系的分析,演示了由多个语言真值概念格的合并而构造完整概念格的具体过程,进而给出了语言真值概念格基于逻辑合取的合并定理与算法.实验表明,与Bordat算法相比,当属性个数增多时,适当的合并算法能够使其时间复杂度呈指数型降低. 展开更多
关键词 概念格 语言真值概念格 不确定性自然语言 逻辑合取 合并算法
在线阅读 下载PDF
绘画的终极——绘画形式观念与语言的意义 被引量:3
3
作者 蒋跃 《文化艺术研究》 2009年第1期205-210,共6页
我们正处在一个视觉文化多样化的时代,在这样的背景和语境中,反思绘画艺术存在的基础和终极意义十分必要。本文从绘画形式语言存在的基础、其价值和意义、东西方民族在形式语言上的共通性等角度展开论证。主要的观点是:绘画的终极就是... 我们正处在一个视觉文化多样化的时代,在这样的背景和语境中,反思绘画艺术存在的基础和终极意义十分必要。本文从绘画形式语言存在的基础、其价值和意义、东西方民族在形式语言上的共通性等角度展开论证。主要的观点是:绘画的终极就是绘画本身,即对形式语言的建设和追求,这是我们在绘画创作实践中应掌握的根本。 展开更多
关键词 绘画观念 形式语言 终极
在线阅读 下载PDF
创造的观念 被引量:1
4
作者 薛富兴 《美育学刊》 2018年第2期1-9,共9页
以独特创新为要义的艺术创造观念始于西方文艺复兴时期至19世纪,并从一种艺术价值观转化为具普遍示范意义的文化价值观。艺术创造性的标准在于独特与新颖,并具体表现于所指层面的观念创新与能指层面的艺术语言创新。艺术创新与美并无必... 以独特创新为要义的艺术创造观念始于西方文艺复兴时期至19世纪,并从一种艺术价值观转化为具普遍示范意义的文化价值观。艺术创造性的标准在于独特与新颖,并具体表现于所指层面的观念创新与能指层面的艺术语言创新。艺术创新与美并无必然联系,创新并非美的必要与充分条件。创造乃起于西方并盛行于现当代艺术与文化界的独特观念,而非人类艺术必然、唯一与普遍的审美与文化追求。创造乃人类文化活动环节之一,唯创造与承传、吸收相济,方可构成健全文化景观,故而以呈真与法道为要义的艺术观正可成为对创造艺术观之必要补充。 展开更多
关键词 创造 观念创新 语言创新 呈真 法道
在线阅读 下载PDF
基于概念分析的软件横切关注点提取方法
5
作者 苏旸 康力 +1 位作者 胡圣明 陈平 《华南理工大学学报(自然科学版)》 EI CAS CSCD 北大核心 2006年第9期45-49,55,共6页
为解决软件遗产系统中横切特性的理解和进化问题,提出了面向侧面的逆向工程框架模型,并以此为基础给出了一种用例驱动的形式化概念分析方法,对需求分析模型层面上的系统横切特性进行逆向恢复.通过对目标系统执行信息进行概念格分析,文... 为解决软件遗产系统中横切特性的理解和进化问题,提出了面向侧面的逆向工程框架模型,并以此为基础给出了一种用例驱动的形式化概念分析方法,对需求分析模型层面上的系统横切特性进行逆向恢复.通过对目标系统执行信息进行概念格分析,文中方法能够识别和提取横切用例模型的系统方法调用集合,并将它们抽象为系统的早期侧面.和仅为了代码重构而进行的侧面挖掘技术相比,该方法更适合在较高的系统抽象层面上进行程序理解.作为一种采用增量式结果产生策略的半自动化方法,它的实施流程也具有更好的可控性和对逆向工程需求变化的适应性. 展开更多
关键词 逆向工程 横切关注点 提取 形式化概念分析 统一建模语言
在线阅读 下载PDF
悖论与塔斯基真理定义
6
作者 朱建平 《渤海大学学报(哲学社会科学版)》 2014年第4期124-129,共6页
塔斯基真理定义的理论有两个目标:一个是哲学的目标,一个是元数学的目标。塔斯基的哲学目标是提供一个真理的普通概念,即在科学、数学和日常话语中通常使用的真理概念的定义。元数学的目标是研究逻辑方法论,元数学(又称元逻辑)研究的是... 塔斯基真理定义的理论有两个目标:一个是哲学的目标,一个是元数学的目标。塔斯基的哲学目标是提供一个真理的普通概念,即在科学、数学和日常话语中通常使用的真理概念的定义。元数学的目标是研究逻辑方法论,元数学(又称元逻辑)研究的是在逻辑框架(一阶和高阶数理逻辑)中理论(特别是数学理论)的形式性质以及逻辑框架本身的性质。真理的概念在元逻辑研究中扮演着重要的角色。然而,由于这一概念会产生悖论,因而,塔斯基的第二个目标是证明"真理"概念可以在元逻辑中一致性地被使用。 展开更多
关键词 真理 形式化语言 真理定义 语义学
在线阅读 下载PDF
结构主义时期彼得·埃森曼的形式语言理论发展研究
7
作者 刘锷东 《建筑与文化》 2014年第7期120-122,共3页
20世纪60年代以来,彼得·埃森曼以其理论和实践为现代建筑形式语言的发展作出了重大的贡献。对特拉尼建筑的分析、卡纸板建筑概念的应用以及概念建筑理论的制定是埃森曼在结构主义时期,三个不可分的相关联的研究项目。本文试图分析... 20世纪60年代以来,彼得·埃森曼以其理论和实践为现代建筑形式语言的发展作出了重大的贡献。对特拉尼建筑的分析、卡纸板建筑概念的应用以及概念建筑理论的制定是埃森曼在结构主义时期,三个不可分的相关联的研究项目。本文试图分析这一时期埃森曼的建筑思想发展及其影响因素。 展开更多
关键词 形式语言 卡纸板建筑 概念建筑 表层结构 深层结构
在线阅读 下载PDF
试论中国传统绘画与西方近现代绘画的契合
8
作者 叶秋美 《安康师专学报》 2005年第4期78-79,86,共3页
中国传统绘画与西方近现代绘画艺术有着许多契合点。这种契合是建立在东西绘画发展趋势同向性基础之上的。中国传统艺术对西方绘画深刻的影响,在其由传统向现代转型的过程中得到了较好的体现。
关键词 绘画 东西方 写实 写意 意境 形式语言
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部