地域建筑的形态诠释

地域性是建筑重要的基本特性之一.区别于地域建筑风格的形式美学,结构和类型观念作为两种诠释建筑形态整体性、连续性的视角,分别从整体和局部出发,建立二者之间的广泛联系,这就使得结构和类型成为两条相互伴生的理解和实践地域建筑形态线索.     

基于Agent的人工社会建模语言研究

人工社会(artificial societies)、计算实验(computational experiments)与平行执行(parallel execution)简称为ACP方法,是用于帮助突发事件应急管理等复杂社会问题研究的一个经典社会计算方法,人工社会建模是该方法的基础.人工社会作为现实社会系统在计算机世界中的映射,具有多样性、层次性、社会性、演化性等诸多复杂性特点.因此,如何有效地支持人工社会建模成为了一个研究重点.综合考虑了人工社会特点以及突发事件应急管理和ACP方法对人工社会建模的需求,提出了人工社会建模语言(artificial society modeling language, ASML),详细介绍了ASML的元模型、多视点模型以及图形化建模语言.ASML借鉴了已有多Agent系统技术研究成果并借助于社会组织学思想,便于以抽象、自然且易于理解的方式对人工社会进行分析与建模,其严格语义基础使得模型检查与模型转换成为可能.此外,开发的支撑工具集ASMLTools可用于支持基于ASML的建模、模型检查和模型转换等.通过案例分析使ASML的有效性与可用性得以验证.     

基于相关视觉关键词的图像自动标注方法研究

图像自动标注是计算机视觉与模式识别等领域中的重要问题.针对现有模型未对文本关键词的视觉描述形式进行建模,导致标注结果中大量出现与图像视觉内容无关的标注词等问题,提出了基于相关视觉关键词的图像自动标注模型VKRAM.该模型将标注词分为非抽象标注词与抽象标注词.首先建立非抽象标注词的视觉关键词种子,并提出了一个新方法抽取非抽象标注词对应的视觉关键词集合;接着根据抽象关键词的特点,运用提出的基于减区域的算法抽取抽象关键词对应的视觉关键词种子与视觉关键词集合;然后提出一个自适应参数方法与快速求解算法用于确定不同视觉关键词的相似度阈值;最后将上述方法相结合并用于图像自动标注中.该模型能从一定程度上解决标注结果中出现的大量无关标注词问题.实验结果表明,该模型在大多数指标上相比以往模型均有所提高.     

面向顺序存储结构的数据流分析

C程序中数组、malloc动态分配后的连续内存等顺序存储结构被大量使用,但大多数传统的数据流分析方法未能充分描述其结构及其上的操作,特别是在利用指针访问顺序存储结构时,传统的分析方法只关注了指针的指向关系,而未讨论指针可能发生偏移的数值信息,且未考虑发生偏移时可能存在越界的不安全问题,导致了对顺序存储结构分析不精确.针对以上不足,首先对顺序存储结构进行抽象建模,并对顺序存储结构与指针结合使用时的指向关系与偏移量进行有效表示,建立了用于顺序存储结构的抽象内存模型SeqMM;其次,归纳总结C程序中顺序存储结构涉及的指针相关迁移操作、谓词操作及遍历顺序存储结构的循环操作,提出了安全范围判别保证操作安全性;之后,针对函数调用时形参指针引用顺序存储结构与实参的映射过程进行过程间推导规则设计;最后,基于上述分析,提出了一种内存泄漏缺陷检测算法,对5个开源C工程的内存泄漏缺陷进行检测.实验结果表明,所提出的Seq MM能够有效地刻画C程序中的顺序存储结构及其涉及的各种操作,其数据流分析结果能够用于内存泄漏的检测工作,同时在效率和精度之间取得合理的权衡.     

基于抽象解释的二进制代码变量区间分析

在二进制代码分析中,传统的区间分析方法难以有效获得变量的取值范围。针对二进制代码变量特点,基于抽象解释理论,该文提出字级数据区间和位级数据区间的概念,分别对数值型数据变量和位级数据变量进行抽象表示;将抽象区间用于二进制代码变量运算,构建字级数据区间和位级数据区间的运算方法;引入区间集的概念,确立字级数据区间和位级数据区间的转换关系,提出字级数据区间和位级数据区间的相互转换算法。实验结果表明,该文提出的基于抽象解释的二进制代码变量区间分析方法能够精确高效地确定二进制代码变量的取值范围。     

基于领域模型的需求获取方法

运用领域工程的思想,提出了基于领域模型的系统需求获取方法。该方法可识别应用系统中的共同特征,并抽象这些特征形成领域模型。通过领域模型,引导用户给出完整的系统需求。     

一种基于网格环境的服务合成模型

本文在web服务合成的基础上,根据抽象工作流和具体工作流责任两种概念,增加了服务的factory机制,加入了服务状态管理器,提出了一个适合于网格环境中的服务合成模型。它采用语义Web中的技术和方法,对服务问的输入输出进行近似的语义匹配,采用动态自适应算法来实现服务的合成。从某种程度上来说,这种服务的合成实质就是对工作流的合成。这个服务合成模型既实现了服务的自动合成,同时又提高了服务合成的容错性和可扩放性。     

面向Agent软件工程研究现状与展望

文章介绍了面向Agent软件工程(AOSE)的关键抽象集,综述了形式化和非形式化AOSE方法、Agent统一模型语言(AUML)、AOSE开发工具的研究现状和存在的主要问题,最后根据面向Agent编程范型表示一种计算的社会观点,基于社会学理论展望了AOSE的下一步发展。     

基于指向与数值抽象的带指针算术程序的分析方法

带指针算术的程序往往包含数组越界、缓冲区溢出等运行时错误。单纯的指针分析技术和数值分析技术都无法有效处理指针算术。为了将指针分析与数值分析相结合,首先提出一种新的指针内存模型,然后基于该模型设计了一个刻画指针指向关系和指针偏移量的抽象域。最后在抽象解释框架下,设计并实现了一个面向带指针算术C程序的静态分析工具原型PAA。实验结果表明,PAA能够有效地分析指针程序的指向关系和数值性质,并能够在效率和精度间取得合理的权衡。     

子树类型敏感的JavaScript引擎灰盒测试技术

JavaScript引擎是浏览器的重要组成部分,很多攻击都针对JavaScript引擎发起,业界对面向JavaScript引擎的漏洞挖掘技术一直展现出强烈的需求.本文提出一种面向JavaScript引擎的子树类型敏感灰盒测试技术,并且实现了系统ILS,在路径反馈的模糊测试框架上,通过对JavaScript代码的语法分析...