期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
8
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于形式概念分析的多输入多输出真值表并行约简算法
被引量:
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
职称材料
题名
基于形式概念分析的多输入多输出真值表并行约简算法
被引量:
2
1
作者
陈泽华
闫继雄
柴晶
机构
太原理工大学信息工程学院
出处
《电子与信息学报》
EI
CSCD
北大核心
2017年第9期2259-2265,共7页
基金
国家自然科学基金(61402319
61403273)
山西省自然科学基金(2014021022-4)~~
文摘
真值表约简是数字逻辑电路分析与设计的关键问题之一,形式概念分析(Formal Concept Analysis,FCA)是一种从形式背景进行数据分析和规则提取的工具。该文将多输入多输出(Multiple-Input Multiple-Output,MIMO)真值表转化为决策形式背景,将真值表的约简问题转化为决策形式背景的最简规则提取过程,提出一种基于FCA的MIMO真值表并行约简算法。通过理论证明、实例演示和算法的复杂性分析,说明了新算法的正确性、有效性和快速性。
关键词
数字逻辑电路
真值表约简
形式概念分析
规则提取
Keywords
Digital logic circuit
truth
table reduction
Formal
concept
Analysis (FCA)
Rule extraction
分类号
TP331 [自动化与计算机技术—计算机系统结构]
TP181 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
基于逻辑合取的语言真值概念格合并算法
被引量:
1
2
作者
杨丽
徐扬
机构
华北水利水电学院数学与信息科学学院
西南交通大学数学学院
出处
《电子学报》
EI
CAS
CSCD
北大核心
2013年第11期2149-2155,共7页
基金
国家自然科学基金(No.71101049
No.61175055)
+1 种基金
四川省科技厅应用基础研究项目资助(No.08JC0068)
四川省科技支撑计划项目资助(No.2011FZ0051)
文摘
针对人工智能领域中有关不确定性自然语言的研究,将格值逻辑引入概念格,提出了自然语言转换为语言真值的方法,并基于语言真值格蕴涵代数建立了语言真值概念格.通过对各语言真值形式背景及形式概念间关系的分析,演示了由多个语言真值概念格的合并而构造完整概念格的具体过程,进而给出了语言真值概念格基于逻辑合取的合并定理与算法.实验表明,与Bordat算法相比,当属性个数增多时,适当的合并算法能够使其时间复杂度呈指数型降低.
关键词
概念格
语言真值概念格
不确定性自然语言
逻辑合取
合并算法
Keywords
concept
lattice
l
in
guistic
truth
-valued
concept
lattice
uncerta
in
ty natural language
logical conjunction
union al-gorithm
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
绘画的终极——绘画形式观念与语言的意义
被引量:
3
3
作者
蒋跃
机构
中国美术学院研究创作处
出处
《文化艺术研究》
2009年第1期205-210,共6页
文摘
我们正处在一个视觉文化多样化的时代,在这样的背景和语境中,反思绘画艺术存在的基础和终极意义十分必要。本文从绘画形式语言存在的基础、其价值和意义、东西方民族在形式语言上的共通性等角度展开论证。主要的观点是:绘画的终极就是绘画本身,即对形式语言的建设和追求,这是我们在绘画创作实践中应掌握的根本。
关键词
绘画观念
形式语言
终极
Keywords
pa
in
t
in
g
concept
s
formal language
ultimate
分类号
J202 [艺术—美术]
在线阅读
下载PDF
职称材料
题名
创造的观念
被引量:
1
4
作者
薛富兴
机构
南开大学哲学院
出处
《美育学刊》
2018年第2期1-9,共9页
文摘
以独特创新为要义的艺术创造观念始于西方文艺复兴时期至19世纪,并从一种艺术价值观转化为具普遍示范意义的文化价值观。艺术创造性的标准在于独特与新颖,并具体表现于所指层面的观念创新与能指层面的艺术语言创新。艺术创新与美并无必然联系,创新并非美的必要与充分条件。创造乃起于西方并盛行于现当代艺术与文化界的独特观念,而非人类艺术必然、唯一与普遍的审美与文化追求。创造乃人类文化活动环节之一,唯创造与承传、吸收相济,方可构成健全文化景观,故而以呈真与法道为要义的艺术观正可成为对创造艺术观之必要补充。
关键词
创造
观念创新
语言创新
呈真
法道
Keywords
Creation
concept
in
novation
language
in
novation
truth
law
分类号
J02 [艺术—艺术理论]
在线阅读
下载PDF
职称材料
题名
基于概念分析的软件横切关注点提取方法
5
作者
苏旸
康力
胡圣明
陈平
机构
西安电子科技大学软件工程研究所
飞行自动控制研究所电子部
出处
《华南理工大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2006年第9期45-49,55,共6页
基金
国家自然科学基金资助项目(60473063)
教育部博士学科科研基金资助项目(K40103230087)
文摘
为解决软件遗产系统中横切特性的理解和进化问题,提出了面向侧面的逆向工程框架模型,并以此为基础给出了一种用例驱动的形式化概念分析方法,对需求分析模型层面上的系统横切特性进行逆向恢复.通过对目标系统执行信息进行概念格分析,文中方法能够识别和提取横切用例模型的系统方法调用集合,并将它们抽象为系统的早期侧面.和仅为了代码重构而进行的侧面挖掘技术相比,该方法更适合在较高的系统抽象层面上进行程序理解.作为一种采用增量式结果产生策略的半自动化方法,它的实施流程也具有更好的可控性和对逆向工程需求变化的适应性.
关键词
逆向工程
横切关注点
提取
形式化概念分析
统一建模语言
Keywords
Reverse Eng
in
eer
in
g
crosscutt
in
g concern
extraction
formal
concept
analysis
Unified Model
in
g Language
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
悖论与塔斯基真理定义
6
作者
朱建平
机构
苏州大学政治与公共管理学院
出处
《渤海大学学报(哲学社会科学版)》
2014年第4期124-129,共6页
文摘
塔斯基真理定义的理论有两个目标:一个是哲学的目标,一个是元数学的目标。塔斯基的哲学目标是提供一个真理的普通概念,即在科学、数学和日常话语中通常使用的真理概念的定义。元数学的目标是研究逻辑方法论,元数学(又称元逻辑)研究的是在逻辑框架(一阶和高阶数理逻辑)中理论(特别是数学理论)的形式性质以及逻辑框架本身的性质。真理的概念在元逻辑研究中扮演着重要的角色。然而,由于这一概念会产生悖论,因而,塔斯基的第二个目标是证明"真理"概念可以在元逻辑中一致性地被使用。
关键词
真理
形式化语言
真理定义
语义学
Keywords
truth
concept of truth in formalized languages
semantics
分类号
B81-05 [哲学宗教—逻辑学]
在线阅读
下载PDF
职称材料
题名
结构主义时期彼得·埃森曼的形式语言理论发展研究
7
作者
刘锷东
机构
东南大学建筑研究所
出处
《建筑与文化》
2014年第7期120-122,共3页
文摘
20世纪60年代以来,彼得·埃森曼以其理论和实践为现代建筑形式语言的发展作出了重大的贡献。对特拉尼建筑的分析、卡纸板建筑概念的应用以及概念建筑理论的制定是埃森曼在结构主义时期,三个不可分的相关联的研究项目。本文试图分析这一时期埃森曼的建筑思想发展及其影响因素。
关键词
形式语言
卡纸板建筑
概念建筑
表层结构
深层结构
Keywords
Formal Language Cardboard Architecture
concept
Architecture Surface Structure Deep Structure
分类号
TU-0 [建筑科学—建筑理论]
在线阅读
下载PDF
职称材料
题名
试论中国传统绘画与西方近现代绘画的契合
8
作者
叶秋美
机构
汉中师范学校
出处
《安康师专学报》
2005年第4期78-79,86,共3页
文摘
中国传统绘画与西方近现代绘画艺术有着许多契合点。这种契合是建立在东西绘画发展趋势同向性基础之上的。中国传统艺术对西方绘画深刻的影响,在其由传统向现代转型的过程中得到了较好的体现。
关键词
绘画
东西方
写实
写意
意境
形式语言
Keywords
draw
in
g
the East and the West
realism
enjoyable
artistic
concept
ion
Formal language
分类号
J20 [艺术—美术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于形式概念分析的多输入多输出真值表并行约简算法
陈泽华
闫继雄
柴晶
《电子与信息学报》
EI
CSCD
北大核心
2017
2
在线阅读
下载PDF
职称材料
2
基于逻辑合取的语言真值概念格合并算法
杨丽
徐扬
《电子学报》
EI
CAS
CSCD
北大核心
2013
1
在线阅读
下载PDF
职称材料
3
绘画的终极——绘画形式观念与语言的意义
蒋跃
《文化艺术研究》
2009
3
在线阅读
下载PDF
职称材料
4
创造的观念
薛富兴
《美育学刊》
2018
1
在线阅读
下载PDF
职称材料
5
基于概念分析的软件横切关注点提取方法
苏旸
康力
胡圣明
陈平
《华南理工大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2006
0
在线阅读
下载PDF
职称材料
6
悖论与塔斯基真理定义
朱建平
《渤海大学学报(哲学社会科学版)》
2014
0
在线阅读
下载PDF
职称材料
7
结构主义时期彼得·埃森曼的形式语言理论发展研究
刘锷东
《建筑与文化》
2014
0
在线阅读
下载PDF
职称材料
8
试论中国传统绘画与西方近现代绘画的契合
叶秋美
《安康师专学报》
2005
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部