期刊文献+
共找到302篇文章
< 1 2 16 >
每页显示 20 50 100
安全协议形式化分析理论与方法研究综述 被引量:36
1
作者 冯登国 范红 《中国科学院研究生院学报》 CAS CSCD 2003年第4期389-406,共18页
综述目前安全协议形式化分析的理论与方法 ,包括安全协议的分类与模型 ,安全协议形式化分析的 3种典型方法 (基于推理的结构性方法 ,基于攻击的结构性方法 ,基于证明的结构性方法 ) ,安全协议分析的形式化语言 ,安全协议设计的形式化方... 综述目前安全协议形式化分析的理论与方法 ,包括安全协议的分类与模型 ,安全协议形式化分析的 3种典型方法 (基于推理的结构性方法 ,基于攻击的结构性方法 ,基于证明的结构性方法 ) ,安全协议分析的形式化语言 ,安全协议设计的形式化方法 。 展开更多
关键词 安全协议 安全模型 形式化分析 形式化语言
下载PDF
DNA计算与生物数学 被引量:11
2
作者 孟大志 曹海萍 《生物物理学报》 CAS CSCD 北大核心 2002年第2期163-174,共12页
介绍了一门新的科学领域─DNA计算的一些基本概念和基础知识 ,并提出了一些创造性的看法 ,而且给出了一些新的结论。主要从以下几个方面叙述 :DNA计算的常用操作、DNA计算的几种形式化模型、并以其中一种模型为例证明了DNA计算的完备性... 介绍了一门新的科学领域─DNA计算的一些基本概念和基础知识 ,并提出了一些创造性的看法 ,而且给出了一些新的结论。主要从以下几个方面叙述 :DNA计算的常用操作、DNA计算的几种形式化模型、并以其中一种模型为例证明了DNA计算的完备性和通用性 ,还介绍了DNA计算的重要机制 ,自装配的基本概念及自装配常用分子 ,并给出了一些常用分子的自装配与形式语言产生过程的对应 ,证明了双链分子的自装配能够产生于线性语言对应的分子链 ,不同于一般认为的双链分子仅能产生于正规语言相对应的分子链。另外 ,自装配的复杂度也是一个很重要的内容 。 展开更多
关键词 DNA计算 生物数学 形式语言 自装配模型
下载PDF
基于量子逻辑的自动机和文法理论 被引量:13
3
作者 邱道文 《软件学报》 EI CSCD 北大核心 2003年第1期23-27,共5页
初步建立了基于量子逻辑的自动机和文法理论的基本框架.引入了量子文法(称为l值文法),特别是证明了任意l值正规文法生成的语言(称为量子语言)等价于某种基于量子逻辑且含动作e的自动机(称为l值自动机)识别的语言,反之,任意l值自动机识... 初步建立了基于量子逻辑的自动机和文法理论的基本框架.引入了量子文法(称为l值文法),特别是证明了任意l值正规文法生成的语言(称为量子语言)等价于某种基于量子逻辑且含动作e的自动机(称为l值自动机)识别的语言,反之,任意l值自动机识别的语言等价于某l值正规文法生成的语言.建立了l值泵引理,并得到量子语言的判定性刻画.最后简要讨论了正规文法与量子文法(即l值正规文法)的关系.因此,为进一步研究更复杂的量子自动机(如量子下推自动机和Turing机)和量子文法(如量子上下文无关文法和上下文有关文法)奠定了基础. 展开更多
关键词 量子逻辑 自动机 文法理论 计算机科学
下载PDF
细胞自动机的演化与计算理论 被引量:6
4
作者 吕晓阳 孔令江 刘慕仁 《华南师范大学学报(自然科学版)》 CAS 1996年第2期43-49,共7页
本文介绍一维细胞自动机的基础原理,讨论了细胞自动机演化位形序列与形式语言的等价性,并给出90规则与150规则的正则语言集,同时还建立了Turing机仿真90规则的程序并给出相应的状态转移图.
关键词 形式语言 Turing机 细胞自动机 演化 自动机
下载PDF
宋代花鸟画与现代粉彩花鸟瓷画装饰形式语言的比较研究 被引量:10
5
作者 马俐 杨涛 《景德镇学院学报》 2018年第2期27-31,共5页
花鸟装饰是粉彩瓷绘数百年发展史上最常见、最引人注目的题材。花鸟画题材在粉彩中的表现,无论从构图、色彩、画艺及纹饰装饰上,都能看到传统花鸟画的遗留痕迹,特别是花鸟画发展到鼎盛时期的宋代花鸟画。本论文基于该基础,从形式语言上... 花鸟装饰是粉彩瓷绘数百年发展史上最常见、最引人注目的题材。花鸟画题材在粉彩中的表现,无论从构图、色彩、画艺及纹饰装饰上,都能看到传统花鸟画的遗留痕迹,特别是花鸟画发展到鼎盛时期的宋代花鸟画。本论文基于该基础,从形式语言上分析宋代花鸟画与现代粉彩花鸟瓷画在绘画上的相似性与差异性,以此研究宋代花鸟画与现代粉彩花鸟瓷画装饰比较研究的意义与价值。 展开更多
关键词 宋代 花鸟画 粉彩 形式语言 比较
下载PDF
图文法综述 被引量:9
6
作者 韩秀清 曾晓勤 +1 位作者 邹阳 张康 《计算机科学》 CSCD 北大核心 2008年第8期10-16,共7页
形式语言理论对计算机科学的发展起了重大的作用,作为对传统字符文法扩展的图文法的形式化研究,其重要意义是不言而喻的。本文在概述图文法的产生、发展和现状的基础上,着重介绍了从一维字符文法扩展到二维图文法所出现的新问题,以及在... 形式语言理论对计算机科学的发展起了重大的作用,作为对传统字符文法扩展的图文法的形式化研究,其重要意义是不言而喻的。本文在概述图文法的产生、发展和现状的基础上,着重介绍了从一维字符文法扩展到二维图文法所出现的新问题,以及在形式化处理上引出的新方法,其中最主要的是嵌入问题的解决、文法类型的划分和成员问题的判定。文中以目前较为流行的图文法为例,特别是一些典型的上下文无关和上下文相关的图文法,对上述的问题进行了深入的讨论,指出了现有方法中的一些不足之处,并展望了图文法今后值得研究的问题和方向。 展开更多
关键词 形式语言 图文法 嵌入问题 文法类型 成员问题
下载PDF
EVOLUTION COMPL EXITY OF THE ELEMENTARY CELLULAR AUTOMATON OF RUL E 2 2 被引量:7
7
作者 WangYi JiangZhisong 《Applied Mathematics(A Journal of Chinese Universities)》 SCIE CSCD 2002年第4期404-412,共9页
Cellular automata are the discrete dynamical systems of simple construction but with complex and varied behaviors.In this paper,the elementary cellular automaton of rule 22 is studied by the tools of formal language t... Cellular automata are the discrete dynamical systems of simple construction but with complex and varied behaviors.In this paper,the elementary cellular automaton of rule 22 is studied by the tools of formal language theory and symbolic dynamics.Its temporal evolution orbits are coarse grained into evolution sequences and the evolution languages are defined.It is proved that for every n ≥2 its width n evolution language is not regular. 展开更多
关键词 COMPLEXITY cellular automaton formal language.
下载PDF
基于完备剩余格值逻辑的自动机和文法理论 被引量:9
8
作者 彭家寅 《模式识别与人工智能》 EI CSCD 北大核心 2011年第5期610-618,共9页
初步建立基于完备剩余格值逻辑自动机与文法理论的基本框架.引入l值正则文法的概念,证明了任意l值自动机识别的语言等价于某种l值正则文法所生成的语言,反之,任意l值正则文法所生成的语言等价于某种l值自动机识别的语言.获得l值自动机及... 初步建立基于完备剩余格值逻辑自动机与文法理论的基本框架.引入l值正则文法的概念,证明了任意l值自动机识别的语言等价于某种l值正则文法所生成的语言,反之,任意l值正则文法所生成的语言等价于某种l值自动机识别的语言.获得l值自动机及被l值自动机识别的语言的连接问题刻画.特别地,建立l值和L值泵引理,并得到l值语言的判定性刻画.最后,揭示带ε移动的l值自动机与不带ε移动的l值自动机之间的两个等价关系. 展开更多
关键词 非经典逻辑 自动机 正则文法 形式语言 泵引理
原文传递
图形设计中本土文化资源的现代性转换 被引量:8
9
作者 辛艺华 《武汉理工大学学报(社会科学版)》 CSSCI 北大核心 2009年第2期146-151,共6页
在现代设计语境下,图形设计应合理运用本土文化中传统图形资源,避免设计思维上的盲目崇洋,强调自我更新。本土文化中传统图形资源的可利用性较强,中国元素在当下尤其具有明显的现实意义及文化承载量,但还要以开放的心态吸收国际上现代... 在现代设计语境下,图形设计应合理运用本土文化中传统图形资源,避免设计思维上的盲目崇洋,强调自我更新。本土文化中传统图形资源的可利用性较强,中国元素在当下尤其具有明显的现实意义及文化承载量,但还要以开放的心态吸收国际上现代设计中优秀的构形方法,注重探寻在现代设计中新的话语方式与思维方式,从而灵活运用本土文化资源以实现其现代性转换。 展开更多
关键词 图形设计 本土文化资源 形式语言 现代性转换
下载PDF
智能机器人体系结构的理论研究 被引量:7
10
作者 田华 蒋慰孙 《控制与决策》 EI CSCD 北大核心 1993年第5期330-337,共8页
智能机器人体系结构是机器人学中相当重要但还未被适当开辟的领域,也是智能机器人成功的关键。本文综述了智能机器人体系结构的理论(建模理论)研究状况,试图由此获得关于开展进一步深入工作的启谛。
关键词 智能机器人 体系结构 原理
下载PDF
视知觉理论下的竹编艺术在室内空间中的应用研究 被引量:8
11
作者 李秉融 薛义 《设计》 2022年第1期154-157,共4页
探索竹编艺术在室内空间中的应用方法。文章首先简要论述了竹编的历史文化与发展应用,继而对视知觉理论的相关概念进行解读,同时阐述了通过视知觉理论分析室内空间中竹编艺术的必要性。在此基础上,梳理出竹编艺术在空间中的肌理、形态... 探索竹编艺术在室内空间中的应用方法。文章首先简要论述了竹编的历史文化与发展应用,继而对视知觉理论的相关概念进行解读,同时阐述了通过视知觉理论分析室内空间中竹编艺术的必要性。在此基础上,梳理出竹编艺术在空间中的肌理、形态、边界、光影与视知觉的关系。整理出竹编艺术在室内空间中的应用方法,即在竹编肌理下的特色文化体现、在多样形态下的功能区域表达、在虚实变化下的空间氛围表现。 展开更多
关键词 竹编艺术 视知觉 室内设计 形式语言 应用研究
下载PDF
基于形式语言理论下安藤忠雄的建筑设计语言特征 被引量:7
12
作者 傅昊 张书鸿 《设计》 2017年第7期64-65,共2页
文章从安藤忠雄的建筑作品分析入手,基于形式语言理论探究安藤忠雄建筑设计中的表层结构与深层结构。进而以建筑语言中的词汇语言作为重要分析方面,剖析了安藤忠雄的建筑设计理念和词汇语言应用的过程,总结出安藤忠雄在建筑设计中的词... 文章从安藤忠雄的建筑作品分析入手,基于形式语言理论探究安藤忠雄建筑设计中的表层结构与深层结构。进而以建筑语言中的词汇语言作为重要分析方面,剖析了安藤忠雄的建筑设计理念和词汇语言应用的过程,总结出安藤忠雄在建筑设计中的词汇特征,使建筑语言词汇作为一种演绎系统运用到其他设计领域当中。 展开更多
关键词 形式语言 建筑设计语言 词汇特征
下载PDF
126号初等元胞自动机的演化复杂性 被引量:3
13
作者 王小艳 王益 《苏州大学学报(自然科学版)》 CAS 2008年第2期37-41,共5页
用形式语言理论和符号动力学对126号初等元胞自动机的演化复杂性进行研究.证得其1-演化语言为正规的,而n≥2时其n-演化语言为非正规的.
关键词 复杂性 元胞自动机 形式语言 粗粒化表示
下载PDF
空间叙事在文化体验馆展示设计中的应用--以磨山荆楚文化馆为例 被引量:2
14
作者 谢震林 刘芯雨 《华中建筑》 2024年第4期153-156,共4页
展示体验类空间是传播艺术文化的重要载体,在文化传承和弘扬方面起着重要作用。该文探讨了如何通过叙事性设计手段来提升文化体验馆展示空间的多层级体验,进而更有效地传递和彰显地域文化内涵。该文以“空间叙事”为切入点,首先分析了... 展示体验类空间是传播艺术文化的重要载体,在文化传承和弘扬方面起着重要作用。该文探讨了如何通过叙事性设计手段来提升文化体验馆展示空间的多层级体验,进而更有效地传递和彰显地域文化内涵。该文以“空间叙事”为切入点,首先分析了叙事性融入文化体验馆展示设计的作用及意义;其次阐述其叙事特征;最后以磨山荆楚文化馆为例,将设计策略运用到具体实践之中。该实践提供了叙事性设计的应用思路,为文化馆展示设计提供参考。 展开更多
关键词 空间叙事 荆楚文化 展示空间 形式语言 多维感官
下载PDF
平面设计中的形式语言探析 被引量:6
15
作者 薛文峰 陈烨 樊雪蓉 《包装工程》 CAS 北大核心 2018年第8期261-264,共4页
目的探究平面设计中图形、文字、色彩等形式语言的特点及其在包装、招贴、标志设计中的多种应用模式。方法结合平面设计形式语言的视觉元素和审美特性,从包装、招贴及标志3大平面设计领域入手,以具体案例为点深入分析平面设计中环保理... 目的探究平面设计中图形、文字、色彩等形式语言的特点及其在包装、招贴、标志设计中的多种应用模式。方法结合平面设计形式语言的视觉元素和审美特性,从包装、招贴及标志3大平面设计领域入手,以具体案例为点深入分析平面设计中环保理念、怀旧情怀、图形文字、城市旅游及企业标识等各自不同的形式语言表达方式。结论随着社会文化水平和人们对生活、精神需求的不断提升,平面设计的形式语言呈现多样化的动态发展趋势。提炼具有鲜明主题、深刻内涵、简洁生动的形式语言是平面设计成败的关键,对其形式语言的合理运用可在丰富设计作品内容和视觉张力的基础上实现视觉传达的有效传播,从而能更广泛地吸引大众的注意力,并能更快捷地得到受众群的认同。 展开更多
关键词 平面设计 形式语言 视觉传达
下载PDF
篆刻艺术章法形式语言在标志设计中的应用 被引量:6
16
作者 梁勇第 《包装工程》 CAS 北大核心 2018年第24期136-140,共5页
目的探讨在现代标志设计中,如何使设计作品既具有浓厚的民族传统内涵又不失时代气息。方法借鉴篆刻艺术中典型的朱白文的布局、印面空间的疏密对比、空间排叠布局等形式语言。结论汉字作为元素设计出的作品与篆刻艺术在设计构思、空间... 目的探讨在现代标志设计中,如何使设计作品既具有浓厚的民族传统内涵又不失时代气息。方法借鉴篆刻艺术中典型的朱白文的布局、印面空间的疏密对比、空间排叠布局等形式语言。结论汉字作为元素设计出的作品与篆刻艺术在设计构思、空间构成上有着极大的相似性,都是在"方寸之间"进行创意构思,因而,标志设计可以借鉴篆刻艺术的形式法则进行有效设计。 展开更多
关键词 篆刻艺术 标志设计 章法 形式语言
下载PDF
传统人物绘画色彩形式语言在现代服装中的表现 被引量:5
17
作者 王利娅 《江苏纺织》 2014年第5期51-53,60,共4页
本文主要通过分析中国传统人物绘画中色彩形式语言的运用,重点从人物绘画中服装色彩的演变和色彩传统文化所体现的精神内涵分析其艺术价值,探讨其审美观念如何变换成现代的方式来传递,促进艺术的多元化发展及横向和纵向的拓展与渗透。
关键词 传统人物绘画 色彩 形式语言 服装
下载PDF
一种软硬件协同设计工具原型及其设计描述方法 被引量:4
18
作者 崔小乐 陈红英 +1 位作者 崔小欣 张兴 《微电子学与计算机》 CSCD 北大核心 2007年第6期28-30,34,共4页
软硬件协同设计工具不但需具有软硬件功能划分的能力,而且应可实现系统级设计到软硬件基本结构的综合。提出一种利用进程代数为高层设计语义基础,可重用现有软硬件设计工具资源的软硬件协同设计工具的实现方案框架,重点讨论其中的设计... 软硬件协同设计工具不但需具有软硬件功能划分的能力,而且应可实现系统级设计到软硬件基本结构的综合。提出一种利用进程代数为高层设计语义基础,可重用现有软硬件设计工具资源的软硬件协同设计工具的实现方案框架,重点讨论其中的设计描述问题。采用这种基于语言变换的软硬件协同设计工具方案有利于对系统的活性、安全性、接口一致性等性质进行高层仿真与形式验证,具有可用性、易扩展好等优点。 展开更多
关键词 软硬件协同设计 TIMED CSP 形式语言
下载PDF
绘画的终极——绘画形式观念与语言的意义 被引量:3
19
作者 蒋跃 《文化艺术研究》 2009年第1期205-210,共6页
我们正处在一个视觉文化多样化的时代,在这样的背景和语境中,反思绘画艺术存在的基础和终极意义十分必要。本文从绘画形式语言存在的基础、其价值和意义、东西方民族在形式语言上的共通性等角度展开论证。主要的观点是:绘画的终极就是... 我们正处在一个视觉文化多样化的时代,在这样的背景和语境中,反思绘画艺术存在的基础和终极意义十分必要。本文从绘画形式语言存在的基础、其价值和意义、东西方民族在形式语言上的共通性等角度展开论证。主要的观点是:绘画的终极就是绘画本身,即对形式语言的建设和追求,这是我们在绘画创作实践中应掌握的根本。 展开更多
关键词 绘画观念 形式语言 终极
下载PDF
承变与开启:现代化语境下综合材料绘画的创新路径研究
20
作者 党朝阳 卢泓亦 《云梦学刊》 2024年第5期1-8,共8页
在当今的中国绘画创作中,对待综合材料绘画这一艺术形式的态度是复杂且纠结的。而现在艺术家们所讨论的综合材料绘画,更多的是指从西方传入中国的、补充现当代中国绘画的一种绘画方式。这一认知上的差异,在某种程度上已成为以民族化为... 在当今的中国绘画创作中,对待综合材料绘画这一艺术形式的态度是复杂且纠结的。而现在艺术家们所讨论的综合材料绘画,更多的是指从西方传入中国的、补充现当代中国绘画的一种绘画方式。这一认知上的差异,在某种程度上已成为以民族化为导向的中国综合材料绘画发展过程中的阻碍。中国综合材料绘画的发展要在保证其现代性与民族性的同时,避免语言符号的单纯堆砌和传统复古的简单重现,应从单纯以技法、媒介创新为主的观念导向中抽离,与时代新语境相结合,探索出一条循序渐进、承上启下的创新路径。 展开更多
关键词 综合材料绘画 形式语言 现代性 创新路径
下载PDF
上一页 1 2 16 下一页 到第
使用帮助 返回顶部