共查询到20条相似文献,搜索用时 93 毫秒
1.
陶瓷雕塑装饰是陶瓷雕塑的一个再创作的过程,能对陶瓷雕塑作品起到美化和增值作用。从釉上彩、釉下彩、色釉综合装饰等方面阐述了陶瓷雕塑的装饰技法与作用。 相似文献
2.
漆器是青铜器发展到一定程度时新兴发展起来的,我国是用漆最早的国家。战国漆器的生产,以南方的楚国最为发达。汉代的漆器发展达到了鼎盛时期。楚地漆器的发展并提炼出楚漆器的装饰图形以黑红为主要用色,体现回旋的曲线美感的特点。结合德国现代平面大师乌韦·勒斯作品的形式语言,利用大师形式语言将传统楚漆器纹饰的构形进行现代性转换,对传统图形现代表现的创新思维及创作意义作出总结。 相似文献
3.
琉璃制品是一种涂玻璃釉的陶质制品,有丰富的文化内涵以及良好的琉璃装饰效果,常常被用作建筑琉璃制品、建筑装饰雕塑琉璃制品和琉璃工艺美术品等,但在使用方法、工艺和用途等方面,中西方有很大的不同,本文通过对新巴比伦时代的伊斯塔尔门与中国故宫的九龙壁的比较研究,寻找其相似点和不同点,从而展示琉璃装饰艺术的独特魅力。 相似文献
4.
5.
6.
本文首先在把握中国传统艺术元代景德镇青花瓷的造型特点以及文化内涵的基础上,对其进行了分析并提炼出明代青花瓷的装饰图形;其次对日本现代设计大师福田繁雄作品的形式语言进行分析;最后利用大师形式语言将传统青花的构形进行现代性的转化,从而得到全新的图形创意设计作品。 相似文献
7.
8.
现代绘画形式应该随着时代的发展自觉地选择具有时代特征的新形式。本文围绕当代绘画形式应用的时代选择分析了绘画自身发展规律的要求和对形式构成要素和形式美规律的研究提出了建议,着重分析探究了当代绘画形式语言的重构。 相似文献
9.
本文主要论述了当代中国工笔画的形式语言,应该在观照传统把握传统的基础上,同时接纳时代大潮的浸淫,对于传统语言形式的演进解构和再造。通过艺术家的个性化探索和实验,来完成新的形式语言的面貌。 相似文献
10.
11.
UML 顺序图的一种形式化描述方法 总被引:1,自引:1,他引:1
统一建模语言UML是一种通用的图形化建模语言,在面向对象系统的分析和设计中,它已成为了事实上的工业标准。但UML不是形式化的建模语言,缺乏精确的、形式化的语义,因此阻碍了它的进一步发展。线性时序逻辑是并发或反应式程序动态语义的一种形式化描述语言,它适合用来精确地表示模型的动态语义。本文定义了顺序图的形式化语法,采用线性时序逻辑给出了顺序图的语义描述,并通过实例分析,对模型的某条性质进行了证明,为模型做进一步分析和验证提供了基础。 相似文献
12.
一种形式语言代数模型 总被引:1,自引:0,他引:1
针对形式语言研究的国内外现状,对形式系统规约描述语言的数学模型进行了初步探讨,建立了一种形式语言的代数模型,依据软件重用的思想及转换语义的方法提出了语言重用的概念,根据软件工程分层设计原则构建了形式语言族模型.该模型在不同层次上描述复杂形式系统软件规约的抽象表达程度,适于复杂形式系统的开发与测试.此外,文中应用范畴理论... 相似文献
13.
提出一种解决Ramadge-W onham监控理论在研究分布式制造信息系统控制性能时存在的形式语言的物理意义不直观、运算复杂且计算量大等问题的方法.该方法将信息单元的自然语言描述形式化,写出形式语言的文法,引入布尔矩阵约束,由该文法产生的信息单元自动机模型满足必要的控制性能要求.最后以某企业自动生产线中的装配机器人为例,应用该方法研究其自动机模型的控制性能.结果显示,该方法计算简单,形式语言的物理意义直观,值得在制造领域中推广. 相似文献
14.
王湘云 《重庆工商大学学报(自然科学版)》2007,(9):69-71
用一阶谓词逻辑的形式语言讨论了自然语言的形式描述、数学知识的形式表述、在人工智能中智能行为过程的描述等。总结用一阶谓词逻辑的形式语言表示具体知识的步骤,以及这种知识表示法的局限与应当进一步研究的问题。 相似文献
15.
侯杰 《南京理工大学学报(自然科学版)》1987,(3)
本文提出,形式逻辑的诸种思维形式结构,在古代散文中都可找出它们比较典型的样式或隐含形式。有的句子,单从训诂和语法方面是讲不清楚的,运用逻辑知识,则豁然开朗,使人明其底蕴。作为日常思维工具的形式逻辑离不开自然语言,应研究古今中外语言中的逻辑问题,以利于形式逻辑的改造与提高。 相似文献
16.
根据可计算理论,形式语言的递归性是计算机产生和识别形式语言的基础。从正则语言识别的角度证明了正则语言的识别系统确定有限自动机所识别的语言集是一个递归可枚举集,同时讨论了正则语言的可递归性。有助于进一步研究正则语言的自动产生机制。 相似文献
17.
通过对插图设计视觉语言形式要素和形式要素运用原则选择的论述及插图创作设计实践,说明在插图设计中视觉语言形式要素及原则运用是插图设计是否成功的关键所在,通过"山城棒棒军"插图设计展示地域文化和扩大地域文化影响力;以"山城棒棒军"插图设计创作过程及图式文化解读为例,分析论述插图设计视觉语言形式要素、要素运用原则及设计意图;由此看出:当今已进入读图时代,图形阅读已经成为人们接受事物的一种方式,插图设计的形式语言多种多样,运用好插图设计的形式语言、形式要素以及要素组合原则是创作设计插图至关重要的环节。 相似文献
18.
分析了传统计算模型处理不确定性问题的局限性,并应用范畴理论建立形式语言的范畴计算模型,以双函子为工具深入研究了字范畴模型与形式文法范畴模型之间象元的关联,有效解决了形式语言识别的不确定性计算问题,为计算模型处理不确定性问题提供了一种新的思路. 相似文献
19.
On formalizing and verifying web services 总被引:1,自引:0,他引:1
WeiYinxing ZhangShensheng ZhongFarong 《高技术通讯(英文版)》2005,11(1):47-50
20.
王太忠 《西昌学院学报(自然科学版)》2012,26(3):39-42,46
形式系统在类型上包括公理系统和自然推理系统,在构成要件上包括的形式语言和演绎装置.构造者的哲学背景、构造形式系统的理论对象和目的不同,所采用的形式语言和演绎装置就可能不同,因而,构造出来的形式系统就多种多样,在不同的系统内证明同一个定理也表现为不同的公式系列.形式系统的形式语言和演绎装置为我们界定了形式证明的工具、出发点和依据,同时语义也包含了构造者构造形式系统的理论对象和目的,离开具体的形式系统去谈论或者证明一个定理,将会导致逻辑的失范. 相似文献