丝绸之路视域下唐代纺织品中鸟衔花纹样的起源与形式流变

文章以唐代纺织品中的鸟衔花纹样为研究对象,通过历史文献与考古实物等资料对其溯源。梳理丝绸之路打通后西方鸟衔花纹样的传播,并分析其传入唐代后的形式演变。研究表明,唐代纺织品中的鸟衔花纹样因受到了西方含绶鸟纹样题材、纬线显花织造技术等因素影响而形成。并经历了模仿、改造、定型三个发展阶段,完成从呆板程式向传神自由转变的本土化进程,该纹样在唐代的演变可进一步细分为“团窠对鸟”和“足踏花台”的双线发展模式。

面向自然语言需求的验证性质生成方法

安全关键系统和软件的安全性、可靠性需要形式化验证来保障,使用形式化验证的前提是从自然语言需求文本中提取相关验证性质并将其转化为形式化规约,这已成为当前形式化验证领域研究的热点和难点.当前的形式化规约提取工作大多针对英文需求,较少针对中文自然语言需求.此外,由于AADL具有强大的表达能力和完善的验证机制,已成为航空航天领域的主要建模语言之一,而现有的工作较少考虑如何从需求中提取AADL模型的验证性质.为了解决上述问题,本文提出一种面向自然语言需求的AADL模型验证性质自动生成方法,从自然语言需求中提取验证的相关性质,并将其转化为AADL模型验证工具AGREE可识别的形式化规约.首先,定义了模式定义语言(Contract Pattern Language,CPL),将需求划分为不同模式,并给出由固定句型和占位符组成的需求模板;其次,通过自然语言处理技术解析需求文本,获取替换需求模板中占位符的原子命题,以便生成完整的形式化规约;最后,设计并实现了相关工具,并将其用于工业界实际案例来说明该方法的可用性和有效性.

浅析鄂伦春族传统服饰图案中的形式美法则

鄂伦春族是我国北方森林狩猎民族,具有独特的民族服饰文化。研究从艺术设计构图的角度对我国鄂伦春族传统服饰图案进行了分析,归纳了鄂伦春族传统服饰图案中所运用的四个方面的形式美法则,即图案的对称与均衡、图案的变化与统一、图案的对比与调和、图案的节奏与韵律。研究鄂伦春族传统服饰图案的艺术特征,不仅对该民族服饰文化的保护与传承具有重要的意义,而且对中国少数民族服饰的现代化创新发展起到了积极的推动作用。

基于对称与均衡形式美法则的壮族背带纹样在女装设计中的应用

壮族背带纹样是壮族生活物化的精神载体,凝结着壮族的智慧与美好生活的向往,为更好的传承和提升壮族背带纹样与当代设计的多元融合。文章通过分析国内外女装品牌服饰中纹样装饰的方式及效果,归纳总结出基于对称与均衡形式美法则视角下,壮族背带纹样与女装设计多元融合的理论依据和实践路径。研究表明:基于对称与均衡的形式美法则能够有效的实现壮族背带纹样的文化价值和装饰审美,为壮族背带纹样传承与创新设计应用提供系统性的转化思路。

凤翔木版年画的数字动画设计研究

探索新时代背景下,新媒体技术如何对非物质文化遗产进行有效的继承和发展,使传统凤翔木版年画“年轻化”从而更能融入现代大众生活。文章立足于陕西凤翔木版年画的历史传承,从年画本身的形式语言、剧本改编、叙事模式以及角色造型、色彩的视觉风格设计等多个角度,着力探讨木版年画与动画融合的技术细节。制作一部以凤翔木版年画为创作题材的二维动画短片。通过最终动画的呈现效果得出,这种将木版年画与动画结合的方式能够为传统非物质文化遗产带来新的生机,成为一种“现代化”的传播方式。

汉语谓词性成分连用的参照模式新探——以“V着玩”为例

超常规组配“V着玩”结构在论元实现、构件选择和语义解读上与普通“V着V”结构存在显著差异,构成对已知汉语谓词性成分连用组配的挑战。本文在形式类型学的框架下,提出“玩”为参照视点事件,在句法上占据视点核心的指示语位置,抑制宾语在V后直接实现;在语义上贡献娱乐和不严肃的意义。超常规组配实为普遍参照模式下的过渡态组配,自然语言的时间参照与事件参照系统呈现井然有序的对立格局。

基于形式法则的“贺·乌嘎拉吉”传统纹样适形设计

针对现阶段内蒙古“贺·乌嘎拉吉”传统纹样与其衍生产品之间适配性弱的问题。以图案学中的形式法则为理论基础,探寻“贺·乌嘎拉吉”传统纹样创新的新路径,以提高传统纹样与衍生产品之间的适配性。首先,运用个案分析法归纳出“贺·乌嘎拉吉”传统纹样的形式规律并加以梳理;其次,根据形式法则归纳总结“贺·乌嘎拉吉”传统纹样独特的适形特征;在遵循原有形式法则的前提下,以适形特征为基础对“贺·乌嘎拉吉”传统纹样进行适形设计应用。适形设计能够帮助“贺·乌嘎拉吉”传统纹样在现阶段焕发新的活力,为今后传统纹样再设计提供新路径。

培田古民居隔扇门艺术价值探究

位于福建省西部的培田古民居,是客家建筑的典型代表,独具特色。其中,培田古民居隔扇门的纹样,体现了客家人的情感和对于美的追求。通过实地调查走访,对培田古民居隔扇门的纹样题材进行调查研究,分析培田古民居隔扇门纹样的题材、寓意和在不同时期的艺术特点,探讨培田古民居隔扇门在对称与均衡、节奏与韵律、变化与同一中的形式美,以吉祥文化、“天人合一”为主的内涵美和含蓄雅致的意境美,从各种美的形式中挖掘培田古民居隔扇门的艺术价值。

宋代陶瓷莲花纹样的形式美研究

在宋代,我国的政治经济、文化思想、审美意识等都进入一个前所未有的发展阶段,是文化艺术发展的繁荣时期。这个时期的工艺制造技术得到了极大的突破,尤其是陶瓷制造工艺,更是达到了中国制瓷史上的高峰。其陶瓷纹样的图案设计精美,特别是莲花纹样,更是宋代瓷器中不可或缺的纹样之一。分析了宋代陶瓷莲花纹样的发展和寓意,概述了该时期莲花纹样的形式特征,从莲花纹样的构图、装饰技法和图案组合探讨了宋代陶瓷莲花纹样形式美的具体表现,希望能对我国宋代陶瓷独特的装饰特征和莲花纹样的发展规律进行深入的发掘。

设计模式的一种形式化描述方法

设计模式是人们在实践过程中总结出来的成功设计范例,实现在设计模式应用过程中自动选择,有着重大的意义.而形式化描述设计模式是自动选择的基础,为此文中提出了基于时序逻辑语言XYZ/E来表示设计模式的静态和动态形式化语义的方法.通过对设计模式静态结构、动态行为及其特点的分析,找出形式化描述规则,利用转换法实现了设计模式XYZ/E的形式化描述.

复杂分支和同步模式的Pi演算描述

Pi演算是一种描述和分析动态并发系统的计算模型。对Pi演算进行研究后,提出了以Pi演算作为工作流形式化的基础,并利用Pi演算对复杂分支和同步工作流模式进行了详细的描述。

南宋“生色花”丝绸纹样探析

"生色花"纹样在丝绸上的应用,开创了中国植物装饰纹样的写实风格,形成了宋代清新自然、典雅秀丽的时代风貌。通过对南宋"生色花"丝绸纹样的形式特征及其形式美、意蕴美的分析研究,探讨传统植物纹样从装饰性到写实性的发展变化,分析社会文化对"生色花"纹样兴盛发展的内在影响,并结合实际探寻"生色花"纹样在现代丝绸纹样设计中的新发展。研究认为,写实性手法的应用促进了丝绸纹样从装饰到写实的转变,使花卉造型更加完善,为明清时期纹样的繁盛发展奠定了基础,它还丰富了花卉装饰纹样的寓意并促成吉祥纹样的出现和流行。

用Z形式化描述的软件设计模式

设计模式和形式化是软件工程领域研究的两个重要方面。该文的目的是对设计模式的形式化进行探讨,其中心是设计模式“结构”的形式化。文章以抽象类、抽象函数为基本对象,分析了设计模式中类和函数间存在的各种基本关系和关系性质,提出了“层次”概念。在此基础上,以设计模式“修饰”为例说明了用Z语言形式化设计模式的方法。

代码缺陷模式的概念及形式化表示

针对代码缺陷研究中存在的缺陷产生场景不明确以及形式化程度较低等问题,基于模式的定义给出代码缺陷模式定义,以其核心三要素为基础,对代码缺陷模式形式化表示进行研究,采用基于扩展模式描述语言的形式化表示法,将直接场景和缺陷代码结构共同反映于同一概念下。实例验证了代码缺陷模式概念的合理性及其形式化表示法的有效性。

基于形式概念分析数学理论的经方诊治情志病证治规律研究

目的:基于形式概念分析理论,分析经方诊治情志病证的证治规律。方法:收集《伤寒论》及《金匮要略》中与情志病证相关的经方51首,基于形式概念分析理论,建立形式背景,生成属性偏序结构图,并从图中进行模式发现,从而总结经方诊治情志病的方药证治规律。结果:从方药属性偏序结构图及方证属性偏序结构图中,能系统、客观、全面地展示经方诊疗情志病的方证规律及方药配伍规律。结论:基于现代严密的形式概念分析数学理论,能有效解决中医内在辨证论治原理的描述问题,能从已知的数据中发现对诊疗有价值的知识,为中医经典传承提供新的思路与方法。

一种设计模式的混合规范描述模型研究

设计模式形式规范描述的研究对于设计模式的广泛重用具有重要的意义。以设计模式的模型规范描(DPs)3(Three-model Specification)述方法为基础,提出了一种设计模式的混合规范描述模型。该模型采用图示化的手段描述的静态结构,采用图示化和时态逻辑方法相结DPs合的手段描述动态行为中各参与者行为操作的语义,克服了一般图示化方法对进行完整描述需借助自然语言的补充从而DPs(participants)DPs引起的二义性问题,比较精确、完整地描述了的静态结构和动态行为。

设计模式形式化方法分析和初步比较

形式化是设计模式发展的必然要求和直接推动力。该文对主要几种方法进行了分析和比较,分别从模式语言、理论基础、语言元素、工具支持等角度来论述。最后,总结了存在的问题,在此基础上预言了未来研究的发展方向。

基于Petri网的设计模式形式化描述

从统一建模语言模型中自动识别出相应的设计模式对软件开发具有重要意义,而形式化描述设计模式是自动识别的基础,为此,提出一种基于Petri网的设计模式描述方法。定义从设计模式到Petri网的转换规则,根据规则对观察者模式进行形式化描述,并给出识别设计模式的初步流程。分析结果表明,该方法可以以图形化的方式描述设计模式。在此基础上,能借助Petri网本身的数学理论实现设计模式的自动识别。

关系图文法及其应用

字符串文法不适于描述二维以上事物的特征，无法定义事物之间的复杂关系．本文提出了关系图的概念，对关系图的性质进行了研究．在此基础上提出了一种新的文法——关系图文法．该文法能够方便地抽象和概括二维以上复杂对象的特征，为分析和识别这些对象提供工具和方法，可以广泛应用于模式识别、高维文本分析和描述图示语言的语法等领域．为了使关系图文法实用化。

人格责任论:一种形式主义的人格定罪模式

人格责任论将责任的基础归咎于行为者的人格,又认为行为人实施了体现主体人格的个别行为时就存在责任。这种人格定罪模式对于解释违法性意识可能性、忘却犯及期待可能性等刑法问题具有理论价值。人格责任论既将人格引入定罪,又格守罪刑法定原则,避免侵害个人自由;但存在对人格与行为的关系认识不全面,没有真正将人格引入定罪之中,立足点仍然是报应而不是预防。