漆器设计形式语言研究

漆器设计形式语言研究（精选三篇）

漆器设计形式语言研究 篇1

漆器作品产生的过程,是功能性与审美性相统一的结果,也是艺术表现与工艺技术相统一的结果。有很多文章都已在漆艺的技法上阐述了很多,所以本文主要以漆器造型设计的形式语言方面的研究为主要内容。

造物之要,首在器型。而形式是器物本身所显示的一种语言和符号,它们不但常常易于记忆,而且又具有象征性和意义性的。人们常通过漆器的功能或装饰形式联想到它所隐含的象征意义,体会此作品所具有的艺术价值。

1 漆器的功能形式

功能形式,即物体的物质性结构,物体的结构决定了物体的外部形态,这种结构因一定的功能而生成的。结构作为功能的物质载体,实质上是功能的结构,总结为一句话就是———结构因功能而存在,功能因结构而得以实现。著名建筑师沙利文曾提出过“形式追随功能”的口号,强调了现代设计的形式与功能的同一性。设计的形式是由它的功能和结构所决定的,漆器的功能形式集中体现在器物的实用性上。在古代漆器就与日常生活紧密相连,囊括生活的一切用品,从婴儿睡的摇篮,每天吃饭用的碗筷,坐卧的桌椅凳床,再到死后要睡的棺材,有木必有漆,无木也有漆。漆器的功能形式是依据一定的实用功能和审美功能而产生的,对其功能形式的研究主要是对漆器内部结构的研究。一些漆器多为实用型器皿,因而在设计造型形式时就需充分考虑人们对其的功能需求,并要结合整体性和美观性等艺术特性。

2 漆器仿生设计形式

仿生漆器设计,简单来说就是指将漆器的造型形式按照自然界中各种形象进行仿制。其一方面尽可能真实地再现自然物象的面貌,比如花、树叶、果实、兽类、鸟类、虫类、鱼类、贝类等,也可以是石块、大山、水滴、雪花、云等;另一方面可以是在人类已经创造出的物体的基础上进行造型的再创造,比如陶瓷、玻璃器皿、编织器、建筑物等。我们要对这些万物善于联想和想象,形成自己所需要的形式,并尽量地完美展现器物形式与容器结构的整体美,创造出漆器设计新的样式,成为漆器艺术造型的一种新形象。

仿生漆器以对器物造型整体各部分之间以及整体的关系相协调,还要依靠敏锐的视觉感受能力来处理,不断拓展,形成更多的形态,并从中选择最理想的形态。并依赖一定的理智来调整而制成。这样设计出来的漆器的造型不仅在外在形体上有着一种的生命力感,并且具有坚实的稳定感和良好的实用性能。中国传统漆艺造型中有许多成功的作品,如凤形双连杯、凤形勺、猪形盒、鸳鸯盒、虎座鸟架鼓、鸭形漆豆等都是模仿自然造型的漆器。仿生对象所提供的形态,向漆器造型转化的过程,实际上是一种创新的过程,一种蜕变的过程,对我们设计漆器造型应该有很大的启发。

自然形态是设计造型的优秀原型,许多漆器造型采用仿生方法,有些是成功的,但有些是生硬盲目地模仿,会出现不和谐的因素。其实问题的关键在于对这种方法的理解,应该要有目的地创造性地模仿。漆器应是在追求器物内部结构的同时加强整体外形仿生性的艺术造型,是集感性与理性、实用和审美的物化形式。

3 漆器的装饰形式

自古人类就有对器物进行装饰的意识,而漆器的装饰形式是指漆器所有的外部特征,附丽于漆器表面上的纹样、符号、图案及其色彩。人们很容易通过器物外表的装饰形式认识和记忆,方便使用并发挥其功能。不同的装饰效果具有不同的象征性和喻意性,可以使人们联想其功能,感觉其艺术感、时代感、民族性。在漆器艺术中,装饰其实是处于一个“几乎没有任何明显作用或功能的活动”的从属的地位,造型是占主导,而装饰的魅力又恰恰在于能在不改变物体的本质的情况下使物体得到改变和升华。

漆器的基本特征之一,是“有形有色,行色共一体”,其中“色”是指漆器色漆所表现出来的色彩效果,也是漆器装饰形式中必不可少的内容。色彩是器物的色彩外观,是色相和色度的表现。它不仅具有审美性和装饰性,而且还具有符号意义和象征意义,它是视觉审美的核心,并深刻的影响着人们的视觉感受和情绪状态。所以漆器在设计这方面一定要把色彩的因素考虑的更全面一些。装饰形式在漆器的艺术表现方面来说是不可或缺的,在已有的造型形式下可以将其提升到一个新的层次。

漆器的器型千变万化,多种多样。优秀的漆器,必然要有审美的追求和需要,这就需要艺术创作者进行造型设计,利用一些设计知识使漆器造型的形式变得更加多姿多彩。当然,也需要漆器设计者们的感情因素的倾注,这样才会创造出许许多多的精湛优秀的漆器作品。

摘要：漆器要融入当下人们的生活中,就必须在艺术形式上找到新的出路,这种艺术形式最为重要的理念就是和设计结合,把审美的需要和主观设计概念二者相结合。文章从设计的角度出发,对漆器的功能形式、仿生形式、装饰形式的内在规律进行研究,来体现设计元素对漆器器型设计的影响。

关键词：漆器,漆器设计,形式语言

参考文献

[1]乔十光.漆艺[M]杭州:中国美术学院出版社,2000,5.

[2]李研祖.艺术设计概论[M]武汉:湖北美术出版社,2002,3.

[3]尹定绑.设计学概论[M]湖南:湖南科学技术出版社,2004,6.

[4]李泽厚.美学三书[M]天津:天津社会科学出版社,2003.

[5]聂菲.中国古代漆器鉴赏[M]成都:四川大学出版社,2002,7.

传统漆器设计元素的研究与应用 篇2

引言

漆器是我国古代化学工艺以及工艺美术方面的重要发明，在我国工艺品中有着极为重要的地位。中国传统漆器主要分为四大类：一，福州脱胎漆器；二，扬州漆器；三，平遥推光漆器；四，成都漆器。每种不同类型的漆器都有着自身独特的设计风格和设计元素。漆器以漆艺为主体，漆器使用的漆是通过漆树获得的天然生漆。漆器是艺术、文化、技术等元素的综合产物。研究传统漆器设计元素对于促进我国漆器行业发展有着重要意义。

漆器概述

漆器指的是用漆涂在各种器物的表面上，制成日常器具和艺术品、工艺品。漆器所使用的漆由：漆酚、漆酶、树胶质及水等物质构成，是从由漆树上采集的天然液汁，具有耐潮、耐高温、耐腐蚀等特殊功能，且具有十分艳丽的颜色，通过不同的配制方式，就能够配制出不同的色漆。早在新石器时代，我国就已开始出现以漆制作的制器。夏朝漆器就已发展到了一定高度，人们不仅将漆器应用于生活中，已开始将漆器广泛应用在祭祀活动中。唐代经济发达，文化鼎盛，漆器工艺大放异彩，不仅漆色更加华丽，且漆器制作技术也得到了进一步提升，开始出现金银平脱、螺钿、雕漆等技术。宋朝漆器工艺基本成熟，不仅民间制作漆器很普遍，更出现了官方漆器制作生产机构。到了明代时期，甚至出现了皇家专制御用漆器工厂，并且在明朝工艺美术快速发展的大背景下，漆器工艺更是达到了新的高度，明朝时期涌现了大量漆器大师。漆器以木、竹蔑、麻布等为胎骨，以漆涂其外表，干燥后即可使用。涂漆既可保护器物，又可使其美观，想要保障漆器的艺术价值和美术功能，必须要做好漆器设计，漆器设计是漆器制作过程中最为主要的工序，影响着漆器的各方面性能。

传统漆器设计元素研究

漆器设计涉及领域广泛，传统漆器设计元素有：纹饰、造型、材质、色彩等元素。下面通过几点来分析传统漆器设计元素：

1.色彩

色彩元素是漆器的色彩外观，是色相和色度的表现的关键，是传统漆器设计中的重要元素，影响着漆器整体美观和色泽，是传统漆器设计中最为主要元素。传统漆器色彩元素最初以红色和黑色为主。汉代漆器便就多黑红为主，色彩单一简约。明清时期漆器色彩元素开始变得绚丽丰富，虽然色彩元素运用手法上有所差异，但却依然围绕黑红。由此可见，传统漆器设计色彩元素中黑与红是漆最本质的特征，每种漆色的运用能给人不同的感觉和情感体验。原始的天然漆为棕红色，这种色调能给人一种温暖的亲切感。黑色则能够给人一种庄重、沉稳的感觉。漆器设计中色彩元素的运用完全抛开了自然界本来的色彩，而是通过充分利用漆本身肌理感、质感、色泽感来表达一种高于自然色彩的色彩。虽然有的时候所表现的色彩有着失真嫌疑，但饱满的色彩却丝毫没有违和感和不自然的感觉，主观上仍然符合受众的审美。

2.造型及纹饰

造型及纹饰是漆器的核心设计元素，影响着漆器整体。由于漆器不仅是工艺品，更具有一定实用性。漆器根据实用性差异，造型也会有所不同，纹饰也会出现差异，传统漆器设计几乎都会用利用纹饰来增添美感的重要。一般生活漆器造型设计多比较简练，祭祀或宫廷用漆器则更华丽，做工也十分复杂。传统漆器纹饰元素有：动物纹样、几何纹样、生活纹样等等。其中属云纹与动物纹样最常见。

3.传统漆器设计元素的应用

传统漆器设计元素的应用，并不是代表漆器设计中要对过去墨守，而是要将其与现代设计元素更好的融合起来，将传统设计元素延续下去，实现取长补短，为现代漆器设计注入传统漆器设计元素，从而促进漆器发展。然而随着时代的变化及科技的发展，在西方文化和现代文化的冲击下，许多漆器设计形式开始偏离文化传统，在设计中融入传统设计元素的作品少之又少。传统漆器设计元素融入现代漆器设计中具有重要意义，加强传统设计元素的应用势在必行。漆器设计中应从文化视角考虑，通过传统气漆器设计元素的应用表达中华民族文化，深入挖掘传统元素中蕴含的历史意义。另一方面，现代漆器和传统设计元素的有机结合，更能够达到一种全新的艺术效果。例如：在造型和纹饰等元素的应用中。漆器造型完全可以采用现代设计思路，纹饰则可运用传统漆器设计方式，来增强漆器历史感和美观。例如扬州漆器杯，造型设计就采用了现代设计，却利用了传统漆器纹样中的动物纹样作为杯子的纹样。这种设计方式是提高漆器的艺术价值和实用价值，加强传统漆器设计元素的应用势在必行。

结束语

传统漆器设计元素的应用，增加了现代漆器的艺术价值，传统纹饰的应用增加了漆器 趣味性。造型设计是赋予漆器实用性和适应性的关键，在设计中不仅要考虑传统设计元素，更要融入现代文化，可以说现代漆器是传统设计元素的继承和发展。

漆器设计形式语言研究 篇3

关键词：统一建模语言；化学抽象机；状态图；形式化

中图分类号：TP301文献标识码：A文章编号：1007-9599 (2011) 08-0000-00

Software Design Assistant-Tool of Formalization CHAM Language

Cui Gengdi1,Cui Guangji2

(1.Jining University,Jining273155,China;2.College of Computer Science and Technology,Taiyuan University of Technology,Taiyuan030024,China)

Abstract:Chemical Abstract Machine designed by Berry and Boudol in 1990 was used for asynchronous parallel computing,which borrows the metaphor of chemical reactions.The CHAM model descript the system changes though molecular and chemical reactions in the concept and characteristics of the abstract machine model.But the complexity and lack of tool support in the form of restricted its use.On the basis of knowledge of chemical abstract machine.We design a writing support tools using formalization CHAM language to support the CHAM language.In this paper,interfaces and functions will be introduced in this paper.Then,the analysis of advantages and disadvantages of this tool will be introduced,and give an improved method and direction at last.

Keywords:UML;CHAM;Statecharts;Formalization

一、简介

化学抽象机[1]简称CHAM（chemical abstract machine）最初用来给出π演算的操作语义，化学抽象机是由Banatre和Le Metayer的Γ语言发展而来，借用了化学隐喻，为描述并行计算提供了形式化框架。[2]

化学抽象机模型是系统的单个状态看成是一个溶液（Solution），通过溶液之间变化的化学反应来描述系统的动态变化。在这个模型中，溶液的变化是由组成溶液的分子（Molecule）来体现的，在保证反应规则的分子集不重叠的基础上，溶液之间的分子可以按照反应规则各自并行的进行反应。

本质上，CHAM可看成一种有限状态机，它具有一般状态机特征，与其他以状态机为转换模型的技术相比，CHAM利用化学反应这一隐喻，因此在刻画系统的动态性特征方面比传统形式化语言方便。CHAM规格说明是一个基于操作的系统框架，这种框架不会把所描述的系统曲解为某种特定的计算模型。CHAM描述不仅可以描述系统静态特性，还能对系统动态性方面进行描述，通过对各单元的描述、引入的转换规则及项重写描述和分析体系结构的动态行为，因而可使软件开发人员很快地了解系统功能和行为，适用于多种层次的用户。CHAM定义了两种用于描述的结构——膜和气孔。膜是半透性的封装结构，有选择的允许分子的进出，膜内的溶液可以独立进化，气孔是一种可逆性结构，允许分子无条件地被重新吸收到原始溶液中。

二、规格和描述说明

本文在文章[3]，[4]的基础上，总结了一种可以普遍使用并具有代表性的形式，并结合系统状态的特点，将状态图形式化[5]后具有的性质添加进入，这些内容能够体现辅助工具的设计思想。

（一）规格说明

M：：=ST|E|G|B|M◇M

ST：：=States（InternalVariables）|InitialState|FinalState

E：：=Transform_Event|InternalAction

C：：=Event?（E）|Event!（E）|Level_Message?（E）|Level_Message!（E）

这是一种使用化学抽象机模型对系统状态的定义方法，由于篇幅关系，对这种定义的研究方式不在叙述，只是解释相关的概念。其中，状态元素ST包含三种状态，一种是状态可能包含内部变量的正常状态，另外两个分别是初始和结束状态，事件元素E这里分为两种，一种是可以改变事件Transform_Event；一种只能改变内部变量的事件InternalAction，使用在进程通讯系统中使用的符号“?”（输入）和“!”（输出）来表示迁移的方向，Event和Level_Message来表示两种类型的信息，分别是普通迁移和层次化信息。

（二）初始溶液形式

S1=InitialState◇Event!（E1），

Event?（E1）◇Event!（E2）◇States（a1），

……，

Event?（E（n-1））◇Event!（E（n））◇States（a（n-1）），

Event!（E（n））◇Level_Message!（Ex1）◇States（a（n-1）），

Level_Message?（Ex1）◇States（a（n））_InitialState，

…….，

Event?（E（n+m））◇FinalState；

（三）反应规则形式

T1=InitialState◇Event!（E）→Event!（E）◇InitialState（加热反应规则）

T2=Event!（E1）◇ST1，Event?（E1）◇Event!（E2）◇ST2→ST1◇Event!（E1），Event!（E2）◇ST2◇Event?（E1） （化学反应A规则）

T3=Level_Message!（E）◇ST1，Level_Message?（E）◇Event!（E1）◇ST2_InitialState→ST1◇Level_Message!（E），Event!（E1）◇ST2◇Level_Message?（E） （化学反应B规则）

三、软件设计辅助工具的设计

（一）辅助工具的界面介绍

如图1所示，这是一种化学抽象机形式化语言的书写支持工具，用于对使用CHAM进行软件设计的支持，软件提供了一些常用按钮、溶液检查功能、规则检查功能和溶液的自动生成功能。

图1 工具界面

界面下方是化学抽象机形式化语言目前可以使用到符号或者字符串，其中常用符号可以用于判断和检查。由于文本框的原因，“◇”和“→”无法输入，改为“<>”和“—〉”两种类似符号，便于输入和处理，此类按键的设计思想来源于Z-EVES工具，目的是为了方便用户书写和避免相似符号造成不必要的错误。某些按键现在无法用到，如保护键，但为了软件的进一步改进，仍将其放在此处。

软件中含有三个功能按钮，初始溶液检查按钮、规则检查按钮和溶液生成按钮。初始溶液检查按钮和反应规则检查按钮是为了对使用者在书写化学抽象机形式化语言时，由于语言形式繁琐而可能出现的错误，本文可以按照事先设置的规则对初始溶液和规则进行检测。溶液生成按钮可以让使用者通过初始溶液和规则的输入来生成下一步的溶液，简化书写的步骤。

（二）功能及算法介绍

1.初始溶液检查按钮

初始溶液的内容设置在本文框Solution中输入，输入的所有内容都当作字符或字符串处理，对初始溶液的检查基于输入/输出守恒的思想，由于化学抽象机形式化语言的特殊性，在描述状态图时用到的CHAM语言中初始溶液的形式具有以下特点：

初始溶液的内容设置在本文框Solution中输入，输入的所有内容都当作字符或字符串处理，对初始溶液的检查基于输入/输出守恒的思想，由于化学抽象机形式化语言的特殊性，在描述状态图时用到的CHAM语言中初始溶液的形式具有以下特点：

（1）初始溶液不能为空；

（2）在初始溶液中出现的“{”，“|”，“/”符号不会当作有意义的符号处理，减少因为格式的限定而出现的错误；

（3）初始溶液的第一个分子以字符串“States”开始；

（4）第二个到以后的分子必须以字符串“Event?”或者“Level_Message?”开始；

（5）“Event?”字符串出现的次数必须和“Event!”字符串出现的次数相同，“Level_Message?”字符串出现的次数必须和“Level_Message！”字符串出现的次数相同。

CHAM书写工具会返回错误的类型和地方，将它返回到ErrorCheck文本框中，需要说明的是：第一、这仅是一种书写工具，提示的错误只提供一种参考作用，允许使用者保留原有形式并执行之后的操作；第二、使用上述规则对代表系统设计的初始溶液进行检查，前提是设计者使用了CHAM形式化语言这种形式，可以看到，错误的检查的基础是牺牲了形式的灵活性。

2.输入规则的检查

规则的处理思想是基于反应前后分子形式变化的特点，对于规则的检查基于如下四条：

（1）“反应规则”中，字符串“→”之前的内容和字符串“→”之后的内容不能相同，即形如“Ti≡ABC◇DEF◇GHI→ABC◇DEF◇GHI”是不被允许的。

（2）“反应规则”中，任意两个反应规则不能重复，即：“Ti≡ABC◇DEF◇GHI→DEF◇ABC◇GHI，Tj≡ABC◇DEF◇GHI→DEF◇ABC◇GHI （i≠j）”是不被允许的。

（3）“反应规则”中，反应之前的分子中的“离子”的个数和种类在反应之后能保持不变，即“→”之前的字符串中，每个“◇”之前和之间字符串必须在“→”之后的字符串中也能找到，例如：Ti≡ABC◇DEF◇GHI→DEF◇ABC◇GHI中，“→”之前有ABC，“→”之后也要有ABC。

（4）反应规则不能为空。在此工具种对于反应规则的检查，只限于对形式的检查，而不涉及内容，这是因为可以使用溶液来检查内容，没有必须通过反应规则再对内容做检查，具有错误内容的反应规则，无法通过溶液的自动生成功能生成新的溶液。

（三）溶液的自动生成

为了简化书写，软件提供溶液的自动生成功能，即在已有溶液的基础上，通过使用者选择的反应规则，自动输出溶液。由于笔者能力和时间所限，只能涉及三种规则，分别是加热规则、反应规则和打散规则，软件可以在对使用者输入规则类型进行判断的基础上，处理溶液，并自动生成溶液，如果无法生成，会提示错误信息。

需要说明的是，此软件本身只是一种书写工具，对正确性的要求并不苛刻，所谓的反应规则检查和初始溶液检查功能虽然可以检查和显示不符合软件规定的形式，但只是像Microsoft Word当中的对错误的字和不符合语法的句子使用下划线功能那样提供一种提示功能，如果使用者无视提示的错误，软件仍然会提供溶液的自动生成功能。

（四）部分使用的函数及变量

BOOLEmptySolutionText（） //判断溶液文本框中的内容是否为空

INTSkipSpecialChar（） //跳过特殊符号 如{、/、|，Return 0

INTNumberofMolecu（） //返回溶液中分子的序号

INTTheFirstMolecu.FIND （“States”）//找到第一个分子中States字符串的位置

INT TheRemainingMolecu.FIND （“Event?”） //找到从第二个分子开始的分子中“Event?” 字符串的位置

BOOLEvent_NeedFind；//判断Event?字符串是否需要继续查找

INTTheRemainingMolecu.FIND （“Event?”） //找到从第二个分子开始的分子中“Event?” 字符串的位置

BOOLL_M_NeedFind；//判断字符串是否需要继续查找

INT GetCountChar （string Solution，“Event?”） // 得到溶液中Event？字符串的数量

INTGetCountChar （string Solution，“Event!”）

INTGetCountChar （string Solution，“Level_Message?”）

INTGetCountChar （string Solution，“Level_Message!”） //以上为溶液检查中用到的函数；

BOOLEmptyRulesText（） //判断反应规则文本框中的内容是否为空

BOOLRules.Compare （） //用于比较反应规则，返回是否为相同规则的函数

BOOLBeforeReaction.Compare（EndReaction） //用于比较反应前后的分子是否相同的函数

BOOLIon.Compare （） //比较离子的函数

BOOL EmptyNumberofRules（） //是否有反应规则的序列号，输入类型为SelectNumber=int n；

INTTypeofRules（） //判断反应规则的种类

四、辅助工具的功能测试与结果

图2 规则检查结果

列举两个错误初始溶液的检查结果，分别为测试用例3和测试用例7：

图3 溶液的检查结果

使用测试用例6中的初始溶液作为溶液生成的演示，在自动生成之前，进行溶液正确性检查：

图4 溶液的检查结果

上面的示例中为了完整的显示整个初始溶液，所以在Level_Message?之后加入了换行，但在实际中是不允许的，系统设定加入换行输入SelectNumber=int n；之后，系统将对n的值进行检查，找到匹配的规则进行替换。如下图所示：

（a）

（b）

图5 溶液的生成

五、测试结果分析

目前工具存在很多不足，软件本身的稳定性存在问题，存在多次修改错误的反应规则后，使用规则检查功能可能将正确的规则显示为错误的可能性；由于规则检查功能和溶液自动生成功能规定方法的局限性，实际上，通用规则无法正确的在溶液生成中得到使用。另外，可以注意到CHAM形式化语言中规格说明被没有在工具中使用。这种规格说明可以用来判断状态、时间和层次化信息的正确性，由于作者能力所限，并没有设计这项功能所需规则。

工具检测的错误检测建立在化学抽象机复杂形式的基础上，形式化语言对于书写的格式要求苛刻，描述的方式需使用者熟悉各种规则，笔者考虑一种从用来描述UML视图的工具Rational Rose的MDL文件中提取信息并转换为化学抽象机形式化语言的方式，对于UML中由于形式的灵活性造成的二义性和模糊性，使用提示的方法让用户去选择，这种方法有效地减少用户的工作量，并结合了图形化描述方式的灵活性和形式化语言的精确性。

六、结论与展望

此书写工具有如下优点：

（一）自动检测的方法保证形式的正确性；

（二）使用溶液自动生成的方法减少人工书写的复杂性

（三）使用添加经常使用的字符和字符串的方式提高书写的效率

书写工具实现了一些基本功能，但对于一个成熟的工具来说，这是远远不够的。比如工具并没有涉及所有的溶液和反应规则，而且只是降低了书写的难度，仍然需要使用者对化学抽象机语言有一定的了解才可以使用，今后需要在各个方面添加和完善功能。

参考文献：

[1]Berry G,Boudol G.The Chemical Abstract Machine[J].Theoretical Computer Science,1992,96:217-248

[2]P.Inverardi,A.L Wolf.Formal Specifications and Analysis of Software Architectures Using the Chemical Abstract Machine Model[J].IEEE Transactions on Software Engineering,1995,21(4):373-386

[3]赵良,叶俊民.基于CHAM描述的类簇级测试用例生成方法研究[M].武汉:华中师范大学,2005

[4]Apostolos Syropoulos.Fuzzy Chemical Abstract Machine[J].Lecture Notes in Computer Science,2009,20

[5]SUN Meng ZHANG naixiao.The Formalization for UML Statecharts Diagrams[J].Acta Scientiarum Naturalium Universitatis Pekinensis,2005,41(3):103-115

[作者简介]崔耕第（1960-），男，济宁学院计算机系，副教授，研究方向为计算机网络软件与应用。近年来，主持并参与省市级科研项目《基于IEEE1588的电力系统时间同步技术研究》《基于互联网行为的IPv4/IPv6网络测量应用研究》等课题4项，精品课程2项；崔光霁（1983-）：男，太原理工大学计算机科学与技术学院，硕士，研究方向为形式化语言与软件测试。