形式语言

摘要： 玉雕首饰在造型形式语言上受文化传统的浸染渊源深远,其造型不仅继承了传统,也逐渐形成了自身的规律。传统的玉雕首饰在形式上是对称与均衡的,并且广泛运用圆形作为基础造型进行演变,同时,在造型上往往运用曲线线条进行构造,塑造出的空间在阴阳对立循环的正负空间中有节奏地相互转换,以此强化负形空间的审美作用。提炼玉雕首饰的传统造型形式语言,利用这些形式特征为玉雕首饰的造型设计奠定基础。

摘要： 现代平面设计坐拥信息化社会的技术成果,与工业时代相比有着脱胎换骨的转变,这种转变包含着内容延展和形式创新两个方面。二战以后,崛起于70年代后期的孟菲斯风格,在后现代主义开辟出的新环境下,以丰富的作品引出前卫的设计理念,为设计的天空填上跳脱的色彩。本文试图从平面设计的角度探讨有关孟菲斯风格的形式语言。

摘要： 探索竹编艺术在室内空间中的应用方法。文章首先简要论述了竹编的历史文化与发展应用,继而对视知觉理论的相关概念进行解读,同时阐述了通过视知觉理论分析室内空间中竹编艺术的必要性。在此基础上,梳理出竹编艺术在空间中的肌理、形态、边界、光影与视知觉的关系。整理出竹编艺术在室内空间中的应用方法,即在竹编肌理下的特色文化体现、在多样形态下的功能区域表达、在虚实变化下的空间氛围表现。

摘要： 刺绣是一种民间传统手工艺,是我国优秀传统文化的重要组成部分,对刺绣艺术教学中的创意形式的探析能够促进教学发展,同时也是对传统技艺与现代教学如何有效协作的探索。对刺绣创意设计的形式语言进行研究,探讨在教学中运用“刺绣+”新模式可打破传统的教学方式。通过画绣结合、材质创新、风格多样等方式来体现创意感、现代感。得出刺绣艺术教学中的创意形式语言。刺绣创意形式语言为刺绣艺术的传承与创新拓宽思路与途径。

摘要： 水墨人物画是我国传统绘画形式之一,但现代水墨人物画与古代文人画具有很大的差异。现代水墨人物画建立在古代优秀作画技巧以及现代造型艺术的基础上,在发展的过程中,构建出了继承于传统作画体系,同时又具有个性化的画作语言表现形式。在构建现代水墨人物画语言体系的过程中,需要重点关注人物造型问题,一方面需要继承传统人物画的造型特点,另一方面也要从现代艺术中获得启发,对人物造型进行创新。在这个过程中,还需要重视突破笔墨障碍,理解并且认可传统笔墨,还需要在艺术实践中寻找自身的个性,提升现代水墨人物画语言的个性化特征,从而构建现代水墨人物画的形式语言。

摘要： 现代纤维艺术是室内空间的重要组成部分,能够有效突出空间环境的特质并影响着人们的生活。文章通过深入分析现代纤维艺术的材料语言、肌理语言、技法语言、色彩语言等形式语言,并积极探索纤维艺术的特有性质,进而探究现代纤维艺术在室内空间的影响,从而让现代纤维艺术能够更好地融入室内空间中。同时,希望通过此探究对今后现代纤维艺术形式的语言构筑提供新想法。

摘要： 逻辑语言作为一种形式语言,其起源根植于逻辑对日常语言的把握。谓词来源于日常语言中任何描述对象的性质词和关系词,普通名词也通过改写被纳入到谓词的范围。专有名词和单独摹状词可以运用摹状词理论进行改写并消除,变项承担了指称对象的功能。量化句“∃x{…x…}”或“∀x{…x…}”笼统地指称某一类对象。形式语言的语法具有更高的概括性和简单性,由逻辑词汇和谓词字母搭建而成,是形成逻辑推理的骨架。能够被纳入到逻辑形式语言中的内容,都需要遵从逻辑语法的制约。

摘要： 写意是相对中国传统绘画观念中的工笔与写实而言的概念,写意强调观象悟道,不求形似,追求反映物象的内在生命与精神风韵。对于西方写实观念而言,写意精神反映了东方审美趣味,十分耐人寻味。如何将源自西方的水彩与中国传统写意的艺术精神融合、发展与创新,是美术教育专业基础课程改革首先面临的具有策略性与方向性的问题。该文从水彩的媒介、色光、肌理等方面探索与解读水彩写意性表现语言,将西方水彩画的审美观念、艺术方法与中国传统写意艺术精神有机融合并拓展,希望能探索出美术学基础教学改革新的可能性。

摘要： “澄怀·了悟”作为一本个人画集的名称着实有趣。在那布满文字的封面上,多多少少蕴藏着艺术家不同于常人的思索和表达。笔者认为,在图像时代读懂一幅画不难,探析艺术家的个人风格也不难。围绕一位艺术家展开学术探究时,不应当只停留于对其画面视觉层面的表述,还要通过严谨、正确的研究方法深挖作品背后复杂的画学体系,这样才能形成超越绘画本体并关联社会、文化、自然的哲思。在笔者看来,魏怀亮是想以其特定的文化表述习惯,为观者构建一个理想且艺术化的生活方式。借助形式语言背后依托的文脉根系来探寻中国画未来发展的更多可能性,是个不错的课题。基于此,他的作品不再是静态的笔墨样式,而是发生了艺术的社会学转向。

摘要： 字体设计形式语言的失效,主要原因是与当代图文识读习惯相脱节,高校的教学亦是如此。当教学目标与学生的当下与未来脱离联系,就会导致教学无效。本次小单元课程研究首先关注包豪斯时代的字体设计观念从“字形装饰”到“综合造型观”的迁移,并以其中蕴含的“与时俱进”思想,进行二次探索,提出设计教学新主旨“综合认知”。围绕这一主旨,进行多项教学实验,将此作为对本轮高中课程改革的回应,进而探索通往学科核心素养的路径。

摘要： 中国水墨画的改革,其实质为形式语言适应新的精神内涵的需要,其变革之根本在于形式语言的更新,而形式问题却是一项复杂而涉及多方面的“系统工程”,不能简单对待.文章通过简要对比了林风眠、徐悲鸿二位杰出画家在融合中西绘画语言中的取舍做法,分析了中外美术史中的重要流派、巨擘在民间美术、民族文化中拓展新形式的史实,印证了发展民族艺术需要交流、融合与外来刺激这一规律,并探讨了融入西法发展现代中国水墨画的几种可能.

摘要： 文章首先介绍了形式语言的特点及在艺术设计教学的重要性.其次介绍了木质材料在设计上的应用的特点.最后以家具设计课程为例,说明木质材料在设计课程中的具体实施,并对改进教学方法进行了展望.在材料实验课中有意识加强专业课与基础课的贯通，帮助学生借助已学到的知识结构进入新的课程，通过有针对性的材料实验训练内容，启发学生进行发散性思维，帮助学生在深入理解所学课程的基础上建立系统化的知识结构。本文作者申请的《以材料实验室为平台整合并提升形式语言训练研究》校教改课题，已在陶艺、木艺等材料实验室，以学生实践为基础，以各种材料为媒介，纵向联系设计基础的思路进行试验。将形式语言用于相应的材料实践课程，利用不同材料深化学生对形式语言的驾驭能力，加强学生的造型能力，通过在材料实验室完成各专业设计项目，触发学生对材料美感的感悟。为进入各个专业设计打下坚实基础。

摘要： 本文将乔姆斯基的"生成语法"原则用于视觉形式语言的探讨,并以萨满艺术为例对视觉艺术的表层形式、中层形式和深层形式进行分析.分析表明,视觉形式与语言形式一样,都有从表层形式到深层形式的转换,促使其完成转换工作的是视觉结构与人的心理结构的对应关系.而通过对萨满图像的三个层次的分析,看到的是图像表象下人的精神和文化的世界.

摘要： 文章主要对产品设计中的色彩形式语言进行分析探讨,论述了色彩的感知形式语言，色彩的心理形式语言，色彩的意象形式语言。通过运用产品色彩设计的形式语言,使产品的色彩与功能取得高度统一,产品色彩设计要满足产品功能要求，产品色彩设计要满足人机协调原则，要满足产品环境要求，要注意色质并重。充分发挥色彩的桥梁作用,指出企业只有瞄准市场需求和社会心理倾向,抓住时代脉搏,才能设计出最佳的企业产品色,从而提高产品附加值、提升品牌形象和提高企业经济效益,同时也能满足人们对产品物质以及精神层面的需求.

摘要： 以南京月牙湖明城墙城市公园概念性设计为例对现代景观设计中功能形式语言作出论述,总结现代景观的形式语言的基本概念和特征,以及相对于之前的形式改变的一些特征,如复杂形式中寻求平衡、在深层次中对传统的景观形式的否定等,并确定了未来的景观形式语言的出发点.

摘要： 自人类造物之初,任何艺术的形制与色彩都是相伴而生的.色彩不仅是人类最基本的感官体验,还是人类社会活动中衍生出的思想观念,是具有情感信息表达功能的视觉符号系统.民间美术色彩是人们生活习俗的符号象征语言,蕴含着传统造物思想和民间信仰符码,是人们生产劳动过程中形成的集体色彩观念体系.本文基于人类学研究视野,在田野调查的基础上,从民间美术色彩的形式语言、存在形态等方面,探析中国民间美术色彩观念的形成与民众生活的关系,将民间美术色彩作为一种集体无意识放回民众生活中审视,为当前的传统色彩研究提供了新的视角.

摘要： 现代艺术运动使西方艺术传统受到强烈的冲击,绘画、雕塑、建筑等艺术门类都获得全新的发展.景观设计也从中吸收借鉴,形成了新的设计观念和形式语言.当代西方景观的形式反映了深厚的西方艺术渊源,体现了西方社会的文化精神.在对西方景观设计进行借鉴的时候,只有认识形式背后的意义,才能提高鉴赏能力,做到选择性吸收.

摘要： W.J.T.米切尔是当代图像学的创建者与代表人物。他一反以往把风景视为有待解读的文本的思路，把风景视为交互关系中的媒介。简言之，米切尔的观点就是，风景并非全然自然的，而是由各种权力关系建构起来的文化幻象。这是一种典型的后现代主义观点。然而米切尔的观点仍然是值得商榷的，因为他仍停留在观看者与观看对象(风景)的对应关系之中。事实上，风景并非媒介，观看才是媒介。风景本身并不能显现为风景，而只能在观看中得以显现。风景不仅是文化幻象，同时更是一种视觉幻象。不仅需要揭示其在各种权力关系中的建构过程，更需进一步去反观主体在这一建构的过程中，对风景的识别与认知，又是如何被一步步规训了的。

摘要： W.J.T.米切尔是当代图像学的创建者与代表人物。他一反以往把风景视为有待解读的文本的思路，把风景视为交互关系中的媒介。简言之，米切尔的观点就是，风景并非全然自然的，而是由各种权力关系建构起来的文化幻象。这是一种典型的后现代主义观点。然而米切尔的观点仍然是值得商榷的，因为他仍停留在观看者与观看对象(风景)的对应关系之中。事实上，风景并非媒介，观看才是媒介。风景本身并不能显现为风景，而只能在观看中得以显现。风景不仅是文化幻象，同时更是一种视觉幻象。不仅需要揭示其在各种权力关系中的建构过程，更需进一步去反观主体在这一建构的过程中，对风景的识别与认知，又是如何被一步步规训了的。

摘要： W.J.T.米切尔是当代图像学的创建者与代表人物。他一反以往把风景视为有待解读的文本的思路，把风景视为交互关系中的媒介。简言之，米切尔的观点就是，风景并非全然自然的，而是由各种权力关系建构起来的文化幻象。这是一种典型的后现代主义观点。然而米切尔的观点仍然是值得商榷的，因为他仍停留在观看者与观看对象(风景)的对应关系之中。事实上，风景并非媒介，观看才是媒介。风景本身并不能显现为风景，而只能在观看中得以显现。风景不仅是文化幻象，同时更是一种视觉幻象。不仅需要揭示其在各种权力关系中的建构过程，更需进一步去反观主体在这一建构的过程中，对风景的识别与认知，又是如何被一步步规训了的。

摘要： 一种语言输入体系结构把语音文本(例如中文拼音)输入串转换成语言文本(例如中文汉字)输出串，其转换方式使打字错误和从语音文本到语言文本转换过程中发生的转换错误达到最少。该语言输入体系结构有搜索引擎、一个或多个打字模型、一个语言模型、以及一个或多个用于不同语言的字典。每个打字模型在真实数据上受训练并学习打字错误概率。该打字模型被配置成根据概率产生可能用于代替输入串的可能打字候选串列表，这些概率表明有多大可能每个候选串被不正确地输入作为输入串。这些可能的打字候选串可以存储在数据库中。该语言模型根据概率为每个打字候选串提供可能的转换串，这些概率表明一个可能的转换输出串有多大可能代表该候选串。搜索引擎把打字模型和语言模型的概率结合，以找出代表输入串转换后形式的最可能的转换串。通过产生打字候选串，然后使用相关联的转换串去代替输入串，该体系结构可消除许多普遍性的打字错误。当利用多个打字模型时，该体系结构能自动地区分多种语言，无需为输入多种语言而进行模式切换。

摘要： 一种语言输入体系结构将语音文本(例如，汉语拼音)的输入字符串转换为语言文本(例如，中文汉字)的输出(字符)串，它所使用的方式能使打字错误以及在从语音文本转换为语言文本的过程中所出现的转换错误最小化。语言输入体系结构具有一个搜索引擎，一个或多个打字模型，一个语言模型，针对不同语言的一个或多个词典。每一个打字模型都在真正数据的基础上进行训练，并且学习输入错误概率。打字模型被这样配置，它根据每一个候选字符串被不正确地输入为输入字符串的输入错误概率，产生可以用来替换输入字符串的可能的各打字候选串的列表。可能的各打字候选串可以存储在数据库之中。语言模型根据一个可能的转换输出字符串代表该候选串的概率，为每一个打字候选串提供可能的转换串。搜索引擎将打字模型概率跟语言模型概率加以组合，以便找出能代表输入字符串的已转换形式的最可能的转换字符串。通过产生打字候选串，并且随后用相关的转换字符串来取代输入字符串，这种体系结构就能消除许多常见的打字错误。当使用多种打字模型时，本体系结构能自动地区分多种语言，而不需要为不同语言的输入而进行模式切换。

摘要： 一种语言输入体系结构将语音文本(例如,汉语拼音)的输入字符串转换为语言文本(例如,中文汉字)的输出(字符)串,它所使用的方式能使打字错误以及在从语音文本转换为语言文本的过程中所出现的转换错误最小化。语言输入体系结构具有一个搜索引擎,一个或多个打字模型,一个语言模型,针对不同语言的一个或多个词典。每一个打字模型都在真正数据的基础上进行训练,并且学习输入错误概率。打字模型被这样配置,它根据每一个候选字符串被不正确地输入为输入字符串的输入错误概率,产生可以用来替换输入字符串的可能的各打字候选串的列表。可能的各打字候选串可以存储在数据库之中。语言模型根据一个可能的转换输出字符串代表该候选串的概率,为每一个打字候选串提供可能的转换串。搜索引擎将打字模型概率跟语言模型概率加以组合,以便找出能代表输入字符串的已转换形式的最可能的转换字符串。通过产生打字候选串,并且随后用相关的转换字符串来取代输入字符串,这种体系结构就能消除许多常见的打字错误。当使用多种打字模型时,本体系结构能自动地区分多种语言,而不需要为不同语言的输入而进行模式切换。

摘要： 一种语言输入体系结构把语音文本(例如中文拼音)输入串转换成语言文本(例如中文汉字)输出串,其转换方式使打字错误和从语音文本到语言文本转换过程中发生的转换错误达到最少。该语言输入体系结构有搜索引擎、一个或多个打字模型、一个语言模型、以及一个或多个用于不同语言的字典。每个打字模型在真实数据上受训练并学习打字错误概率。该打字模型被配置成根据概率产生可能用于代替输入串的可能打字候选串列表,这些概率表明有多大可能每个候选串被不正确地输入作为输入串。这些可能的打字候选串可以存储在数据库中。该语言模型根据概率为每个打字候选串提供可能的转换串,这些概率表明一个可能的转换输出串有多大可能代表该候选串。搜索引擎把打字模型和语言模型的概率结合,以找出代表输入串转换后形式的最可能的转换串。通过产生打字候选串,然后使用相关联的转换串去代替输入串,该体系结构可消除许多普遍性的打字错误。当利用多个打字模型时,该体系结构能自动地区分多种语言,无需为输入多种语言而进行模式切换。

摘要： 本发明公开了一种基于中间语言的形式化规约语言简化方法，将应用程序转化为中间语言程序，然后将中间语言程序映射为Lolisa语言程序；所述中间语言程序包括类型finitpar_type和结构list_pars，采用类型finitpar_type将参数形式化为Type类型，采用结构list_pars将形式化参数列表整合为list类型。本发明将应用程序转化为中间语言程序，中间语言将简化形式化语言的语法，然后根据中间语言和底层的Lolisa语言的转换关系，将中间语言程序转化为Lolisa编写的形式化程序。本发明简化了形式化语言的数据类型和文法规则，提高了形式化验证的用户友好度。

摘要： 一种用于在由计算装置实现的形式语言处理期间处理基于子例程结构化图谱的中间表示的方法。该方法包括：根据一组子例程中的子例程之间的相互递归关系，对在代码的中间表示中标识所述组子例程进行分类；记录相互递归关系；标记以跟踪所述相互递归关系；构造一组图谱表示；收集用于区分所生成的代码中的动作点的部分位置；标记中间表示的图谱的节点；通过前序深度优先遍历来序列化所述中间表示的图谱，生成随后的中间表示；以及根据所述中间表示创建所生成的代码。

摘要： 本发明公开了一种基于形式语言协议的网络数据解析方法及装置，该方法包括：读取网络协议的源文件，其中，源文件采用形式语言描述网络协议的解码过程；将网络协议的源文件转换为可执行代码；执行可执行代码，对接收到的网络数据进行解析，其中，网络数据为基于所述网络协议传输的数据。本发明能够方便编写各种网络协议，实现对各种网络协议的数据解析。

摘要： 一种用于在由计算装置实现的形式语言处理期间处理基于子例程结构化图谱的中间表示的方法。该方法包括：根据一组子例程中的子例程之间的相互递归关系，对在代码的中间表示中标识所述组子例程进行分类；记录相互递归关系；标记以跟踪所述相互递归关系；构造一组图谱表示；收集用于区分所生成的代码中的动作点的部分位置；标记中间表示的图谱的节点；通过前序深度优先遍历来序列化所述中间表示的图谱，生成随后的中间表示；以及根据所述中间表示创建所生成的代码。

摘要： 一种用于在由计算装置实现的形式语言处理期间处理基于子例程结构化图谱的中间表示的方法。该方法包括：根据一组子例程中的子例程之间的相互递归关系，对在代码的中间表示中标识所述组子例程进行分类；记录相互递归关系；标记以跟踪所述相互递归关系；构造一组图谱表示；收集用于区分所生成的代码中的动作点的部分位置；标记中间表示的图谱的节点；通过前序深度优先遍历来序列化所述中间表示的图谱，生成随后的中间表示；以及根据所述中间表示创建所生成的代码。

摘要： 本发明公开了一种基于形式语言协议的网络数据解析方法及装置，该方法包括：读取网络协议的源文件，其中，源文件采用形式语言描述网络协议的解码过程；将网络协议的源文件转换为可执行代码；执行可执行代码，对接收到的网络数据进行解析，其中，网络数据为基于所述网络协议传输的数据。本发明能够方便编写各种网络协议，实现对各种网络协议的数据解析。