基于区域内存模型的C程序静态分析

为了提高程序的静态分析精度,提出了一种应用基于区域的符号化三值逻辑(region-based symbolic threevalued logic,简称RSTVL)的静态分析方法.RSTVL能够描述C程序运行时内存中数据结构的形态信息与变量的存储状态,以及可寻址表达式间的各种关系,包括指向关系、层次关系与取值逻辑关系.为了提高静态分析的精度,提出了一种基于RSTVL的流敏感、域敏感的过程内分析与基于符号化函数摘要的上下文敏感的过程间分析,能够精确地分析出每个程序点上的形态信息、数据流信息与指针指向关系.实验结果表明,相对于基于符号化三值逻辑的方法,该分析方法在保证一定分析效率的前提下,能够实现较高准确度的分析.

形式的意义与意义的形式──纪念性建筑的象征性

象征性是纪念性建筑的一个主要特征。讨论了纪念性建筑象征性的理论基础、象征性的表现手法及其对建筑创作的作用。

历史·记忆·情感·符号——西江苗族服饰文化的文化人类学阐释

服饰文化是西江苗族文化系统的重要构成部分,是作为文化主体的生活模式的摹刻,是穿在身上的史诗和故事,是族群归属、身份地位、社会角色的象征符号,是信仰文化图像表达载体,是人生礼仪的过渡符号,是族群文化传统、集体记忆、历史文化的载体,凝结着西江苗族人的特殊民族情感,反映着西江苗族人的价值观与宇宙观。

纪念性建筑的象征性表达——贵州习水四渡赤水纪念馆方案构思

四渡赤水战役是红军长征历史上重要的战役之一。四渡赤水纪念馆用地环境的特殊性给方案设计带来挑战：用地地块狭小，地形高差较大，新旧建筑混杂。通过对历史事件、建设用地和实例的剖析，从纪念性氛围营造和象征手法在纪念性表达中的应用介绍了四渡赤水纪念馆方案的设计思想和造型特点：通过象征隐喻的手法表达出四渡赤水出奇兵的精髓所在。

基于符号约束集的条件表达式数据流分析

C程序中的条件表达式是唯一一个由三目运算符构成的表达式;而从语义角度来说是分支语句结构,传统的数据流分析技术难以实现对其精确分析。为实现对条件表达式的精确分析,提出了一种应用区间运算的条件表达式分析方法。首先对条件表达式的语法结构进行分析,以识别不同类型的条件表达式;并采用RSTVL描述程序点上的存储状态;再按照分支语句的语义,通过分析条件表达式中的符号约束集,基于区间运算方法对条件表达式进行数据流分析,得到由RSTVL描述的条件表达式的取值。通过对构造的测试用例与实际工程的测试结果表明,可以精确地分析C程序中的条件表达式。

丧葬礼俗中纸扎的象征意义及其蕴含的民间信仰

纸扎本属于纯粹的手工艺品,但是丧葬礼俗中的纸扎却具有深刻的象征意义,蕴含丰富的民间信仰。纸扎作为中介物,将阳世与阴间联结起来,通过丧葬仪式,构建出一个区别于日常生活世界的灵魂信仰世界,两个世界相互联系、相互渗透。纸扎以其精湛的艺术形式,表达出人们对逝者的哀思,是广大民众独有的悼念形式,并蕴含着丰富的民间信仰。

民国情怀建筑的现代演绎——记沈阳二中综合教学楼设计

通过对沈阳二中历史溯源的了解,深度挖掘同泽男中有代表性的历史元素,在设计中用现代的技术手段加以演绎;并对旧教学楼承载的众多师生记忆的空间予以挖掘,用现代手法使其得以延续。

内蒙古地域文化元素在校园建筑中的表达方式

文章通过对内蒙古自治区地域文化元素与校园建筑实例的分析,从建筑设计角度出发,探讨地域建筑元素、服饰器具元素、传统艺术元素、民族图腾元素、场景元素等在校园建筑体量、表皮、装饰构件三方面行之有效的表达方式,以期深化对地域文化元素建筑化表达的认知,为内蒙古地域校园建筑文化的设计提供切实可行的方法。

地域性视角下建筑材料表达策略研究

建筑材料的选用及地域性表达是建筑设计中十分重要的部分,旨在探索出材料表达的更多可能性,从而丰富建筑设计。本文以象山校区及南京大报恩寺为案例,从地域性角度出发分析两种材料的表达方式,结合材料的发展现状,总结当下建筑材料地域性表达的策略。

象征对于纪念性建筑的艺术体现

纪念性建筑是一个激发观众激情的建筑物,其强烈的艺术感染力,使观众产生丰富的联想。本文针对现在纪念性建筑存在问题,讨论纪念性建筑的利益、构思,同时,因为"象征"是纪念性建筑的一个主要特征,本文重点讨论其表现手法及其对建筑立意的作用。