摘要：低功耗是现代处理器设计的重要目标之一,为了降低功耗,现代处理器广泛应用了动态电压频率调节(dynamic voltage and frequency scaling,DVFS)技术.本文聚焦DVFS技术的安全性开展研究工作,发现主流处理器的DVFS单元在电压和频率管理方面存在安全缺陷,由此造成3个硬件漏洞:通用处理器的低电压故障注入漏洞、图形处理器(graphics processing unit,GPU)的低电压故障注入漏洞和通用处理器的频率隐藏通道漏洞.基于此,提出软件控制的低电压故障注入攻击和频率隐藏通道攻击两种新的攻击方法,整个攻击过程完全使用软件实现但是不利用任何软件漏洞.通过4个攻击实例验证了所提出的方法的有效性,实现了攻破主流可信执行环境ARM TrustZone和Intel软件防护扩展(software guard extensions,SGX)、使GPU上的人工智能模型失效以及构建数据秘密传送通道等目标.本文分别从硬件和软件两个角度提出防御措施,可助力处理器设计人员设计新一代安全低功耗技术.

摘要：Web应用的特殊性使得其测试具有挑战性,但目前针对其测试的研究同其设计开发的研究相比相对薄弱.从Web应用的体系结构、实现技术、组成成分、运行机制、运行环境、开发设计等方面分析了影响测试的因素.归纳了现有Web应用设计阶段、开发阶段、运行阶段、维护阶段所涉及的主要测试方面及使用的动态、静态测试技术.并从测试的几个关键方面,如链接测试、组件黑盒测试、组件白盒测试、WS及WSC测试及性能测试等方面综述当前研究热点难点,包括面向对象的建模、统计建模、控制流测试、数据流测试、数据组合测试、WS测试、WS组测试、WSC测试、协议测试、性能测试的负载模型与用户会话数据集的优化等问题.指出了有关研究的局限性.从模型驱动测试、基于Agent测试、WS及SOA测试、性能测试等方面探讨了Web应用测试未来的研究方向.

摘要：随着处理器速度的不断提高，互联网络逐渐成为限制网络并行计算系统性能发挥的主要瓶颈．本文中所介绍的ＴＨ－ＧＢＮｅｔ是基于动态ｃｒｏｓｂａｒ开关的可扩展高速互联网络．ＴＨ－ＧＢＮｅｔ系统以ＴＨ－Ｓｗｉｔｃｈ为基本开关单元，具有很强的扩展能力．其中的ＴＨ－Ｓｗｉｔｃｈ开关单元具有８个双向端口，单向的数据传输率能够达到１．０５６Ｇｂｐｓ．本文主要介绍了高速开关ＴＨ－Ｓｗｉｔｃｈ的结构及其在ｋ－ａｒｙｎ－ｃｕｂｅ互联网络中路由算法的设计．为了缓解Ｉｄｌｅ算法所造成的通信热点问题，提出了引入伪随机变量的Ｉｍｐｒｏｖｅｄ－Ｉｄｌｅ算法．在ＴＨ－Ｓｗｉｔｃｈ的仲裁部件设计中，采用基于令牌机制的循环检测方式，以提高资源申请仲裁的速度．在本文最后给出了仿真实验的数据结果，并介绍了进一步的研究工作．

摘要：在分析和研究机器人装配和知识库的基础上，本文建立了一个机器人装配知识库系统ＡＫＢＳ（ＡｓｓｅｍｂｌｙＫｎｏｗｌｅｄｇｅＢａｓｅＳｙｓｔｅｍ），它主要包括零件库、关系模型库、规则库及推理机。在建立零件库的过程中作者提出了一种基于ＣＳＧｒｅｐ的零件表示方法ＰＲ－ＣＳＧ，能够较全面地反映出在装配领域所需要的零件几何特征和物理特性，具有较强的表达能力；同时也容易实现与现有成熟的ＣＡＤ系统接口。在此基础上采用了统一的形式实现了对装配体中零件间的各种关系的描述，建立了具有层次结构的关系模型库。从书本和专家经验中抽取的知识存放在规则库中。

摘要：素描画是一种常见的艺术形式,它通过单色线条来表现直观世界中的事物,而能够体现场景层次的高光和阴影则是表现的重点.艺术家经常会对场景的光影进行艺术化的夸张,这种艺术夸张会更好地表现作品主题.首先提出一种二维图像平面的虚拟点光源位置估计算法,根据输入的真实图像的距离场和亮度场,计算虚拟点光源位置,使其对原图像的亮度梯度影响最小,即最符合原场景中的光照方向.然后提出基于二维虚拟点光源的阴影增强算法,加强了真实图像中的明暗对比,因此能够在最终的素描结果中表现出光影效果.使用该方法生成的素描画,在物体边界处具有更好的明暗对比,从而使得最终绘制图像更具有素描画的光影增强特点.

摘要：Internet／Intranet／WWW技术的日渐成熟以及资源、应用的日益丰富，为工作流管理系统的构造提供了一个理想的计算环境．在这种易于访问、无处不在的计算环境中，人们可以通过工作流管理系统将各种分布式的信息资源有效地集成、协调起来，以促使企业业务目标的高效实现．文章描述了一个基于Web而构造的通用工作流管理系统Wowww！（workflowontheworldwideweb），详细讨论了其体系结构的设计、工作流模型及过程实例的执行算法，并讨论了Wowww！为提高其可用性和灵活性而实现的工作流过程定义的自学习算法以及为提高系统的协作支持能力而采取的对同步协作的支特方法．

摘要：在多屏幕环境中,实现跨屏幕内容分享的现有技术忽视了对空中手势的利用.为验证空中手势,实现并部署了一套跨屏幕界面共享系统,支持使用空中手势完成屏幕间界面内容的实时分享.根据一项让用户设计手势的调研,实现了“抓-拖拽”和“抓-拉-放”两种空中手势.通过对两种手势进行用户实验发现:用空中手势完成跨屏幕内容分享是新颖、有用、易于掌握的.总体上,“抓-拖拽”手势用户感受更好,但“抓-拉-放”手势对于复杂情景的通用性更好;前者更适合近屏场景,推荐在屏幕相邻且间距不大、操作距离近时使用;后者更适合远屏场景,推荐在目标屏幕间有间隔屏幕或相距较远时使用.因此,将两种手势相结合使用更为合理.

摘要：同步数据流语言(如Lustre、Signal)在航空、高铁、核电等安全关键领域得到广泛应用。例如,适合这些领域实时控制系统建模和开发的Scade工具就是基于一种类Lustre语言。这类语言相关开发工具,特别是编译器的安全性问题也自然受到高度关注。近年来,基于形式化验证实现可信编译器构造成为程序设计语言领域的研究焦点之一,也取得了瞩目的成果,如CompCert项目实现了产品级的可信C编译器。同样,人们也采用这种方法开展了同步数据流语言可信编译器的研发工作。主要关注从事这一工作的两个长线项目,二者均研发面向基于Lustre的同步数据流语言编译器,分别以Vélus和L2C代称。对Vélus和L2C从多个重要的角度进行较为深入的分析与比较。

摘要：ＣＯＣ＋＋编译器的功能是将Ｃ＋＋源程序转换为等价的Ｃ程序。ＣＯＣ＋＋编译器不是使用传统的构造方法而是采用面向对象的设计技术，将相应成分如符号表，语法分析等模块封装为类，并以Ｃ＋＋语言实现。符号表类封装符号表及其建立、登录、查找等操作。基于Ｃ＋＋的作用域规则，ＣＯＣ＋＋编译器为每个作用域中的符号建立一个符合表，利用指针链指明嵌套关系和继承关系。语法分析的模块设计为一个抽象类，定义所有语法成分类的公共特性和公共接口。实际的分析工作和语义处理工作通过Ｃ＋＋语言的多态机制由相应的派生类各自的成员函数实现。这样类化的编译结构不会因为增加某些语言成分而做很大的改动。阐述了面向对象的技术用于编译系统的设计和开发的特点。

摘要：计算机系统由许多连通的层和子系统组成,这些层和子系统的交互模式复杂,整体体系结构设计尤为重要.在计算机系统体系结构演变的过程中形成了一些基本设计原理,其中层次设计是设计大规模系统体系结构的有效途径.从Dijkstra的工作开始,计算机系统体系结构的层次设计原理已经被提出很长时间,是计算机系统体系结构设计的重要组成部分.它广泛存在于计算机体系结构设计、网络体系结构设计、云计算、网络虚拟化、软件工程以及计算机科学的很多其他分支.计算机科学技术的演变和革新异常频繁,适用范围广的层次设计模型框架和层次设计方法尤为重要.虽然有不少工作对体系结构层次设计进行研究,但很少有工作对层次设计原则和方法的内涵进行探索,同时缺少统一的层次设计模型框架和评价指标.现有工作的不足主要表现为:(1)对计算机系统层次设计的描述通常是非形式化阐述;(2)现有的层次设计分析以具体系统和应用分析为主,缺少对层次设计机制内涵的理解分析;(3)现有层次设计模型主要局限于所研究的对象系统,缺少统一的层次设计模型框架和评价指标.针对计算机系统层次结构设计的上述不足,该文首先给出了层次设计相关的基本概念及其形式化定义,然后对层次设计研究现状从层次模型设计、层次构件设计、层次跨层设计和层次覆盖设计四个方面进行归类综述.层次模型设计主要包含层次描述模型和层次量化模型,对层次结构针对对象系统特征进行数学描述和推导;层次构件设计将层次结构的某一子结构以单一或较少模块抽象来实现;层次跨层设计是指打破既定层次结构,根据特定需求生成新的层间交互关系;层次覆盖主要是指以虚拟节点和逻辑连接构成的灵活的虚拟平面设计.在此基础上,对层次设计的内涵、设计原则、主要机制和设计路径进行探究和归纳.该文认为简化和效率是计算机系统体系结构层次设计的两个设计原则,抽象和虚拟是支撑设计原则的两个设计机制.相应地,该文给出计算机系统体系结构层次设计复杂性和性能的模型评价框架,得到一些基本定理.该文还对超级计算机系统、软件定义网络和云计算三个层次设计经典系统例子进行讨论,并在文章的结尾对计算机系统体系结构层次设计的进一步研究进行展望.