摘要：REST API已成为访问和使用Web服务的重要途径,为开发基于服务架构的应用系统提供了可复用接口.但是,REST API的设计质量参差不齐,因此有效、合理的设计指导规范对于规范和提高REST API设计质量具有现实意义和应用价值.首先,基于REST API的本质内涵,建立了一个多维度、两层次的REST API设计指导规范分类体系RADRC(REST API design rule catalog),并对当前主流的25条设计指导规范进行分类.其次,针对已有规范提出相应的检测方法,并实现了REST API设计指导规范遵循情况的分析与检测工具RESTer.最后,使用RESTer开展REST API设计实证研究,分析了***收录的近2000个真实REST API的文档,从中分析提取相应的REST API信息,进一步检测并统计当前REST API的设计特征和设计指导规范遵循情况.研究发现不同应用类别的REST API在资源和操作模式上存在差异,使得不同类别REST API在设计规则和总体架构方面各有特点.实证研究结果有助于深入了解当前REST API及其设计规则的特征、现状和不足,对于提高REST API设计质量和改进设计指导规范具有实际意义.

摘要：文章介绍一个基于复用的上下文无关文法获取过程的设计和实现，该过程用于获取以上下文无关文法表示的概念．它从待获取概念的有限实例和句型以及可能复用的已知概念出发，通过一个交互式文法推断过程。

摘要：形式化是设计模式发展的必然要求和直接推动力。该文对主要几种方法进行了分析和比较,分别从模式语言、理论基础、语言元素、工具支持等角度来论述。最后,总结了存在的问题,在此基础上预言了未来研究的发展方向。

摘要：随着信息技术的不断发展,机器视觉技术已被广泛应用于智能产线.智能制造生产过程中工件种类多、外观相似性高,而传统分拣方式速度慢、准确率低,已无法满足智能化生产的要求.采用机器视觉技术来解决智能产线中的工件分类问题已成为当前智能制造领域的热点.为提高智能产线中工件分类的效率,本文设计并实现了一种基于ZYNQ平台的图像分类加速器.针对现有的卷积神经网络模型参数量大、难以部署到资源有限的嵌入式平台的问题,提出一种参数量较少、易于在嵌入式平台部署的图像分类网络SortNet;针对卷积神经网络在嵌入式平台速度慢的问题,设计了一种卷积与激活函数同构化的处理单元(CAFI-PE)以及一种基于流水线的数据调用方法(PDCM),提高了卷积计算的速度.实验结果表明,本文提出的图像分类加速器对224×224大小的灰度图像处理速度可达40.98fps,而功耗仅为2.305W,能够满足智能产线对工件分类速度和功耗的要求.

摘要：提出一种基于时序逻辑语言 XYZ/ E的可视化体系结构描述语言 XYZ/ ADL(XYZ/ architecturedescription language) .它采用组件、连接件及交互端等设计单元 ,能描述常用的多种软件体系结构 .XYZ/ E能以统一的形式同时表示静态语义和动态语义 ,因此 ,以 XYZ/ E为基础的 XYZ/ ADL能在统一框架下完成不同抽象级体系结构设计之间的逐步过渡 .

摘要：运算构造和检验系统ＦＣ（ｆｕｎｃｔｉｏｎｃｏｎｓｔｒｕｃｔｏｒ）是形式规约获取系统ＳＡＱ（ｓｐｅｃｉｆｉｃａｔｉｏｎａｃｑｕｉｓｉｔｉｏｎ）的一个子系统．在ＳＡＱ系统中，运算用于表示规约的语义．ＦＣ提供了对运算的交互式归纳定义方式和运算的施用，支持运算的联立递归定义．详细介绍ＦＣ的功能、结构和实现技术，并讨论了下一步的改进方向．

摘要：提出一种分块策略对规则网格进行区域分割,采用空间填充曲线对分块内网格点进行多分辨率排列,并基于分块多分辨率对地形网格实时调度和页面预取.文中算法利用块模型进行分块视域剔除和分块LOD场景渲染.在多线程分块多分辨率调度和渲染策略下,大大减少了模型的I/O负载,可以在有限环境下满足实时场景绘制要求.

摘要：组合性是形式描述研究的基本问题 ,便于大型程序的设计、分析、测试和复用 .为了方便用户编制大型多媒体系统的时序描述 ,组合模型是必须的 .目前 ,这样的模型有基于语言的、基于图形的、基于时间区间的和面向对象的等等 .但是 ,这些模型描述层次过低 ,很难支持两个多媒体节目之间的时序描述 .通过引入单位流的概念和扩展两种时序关系 ,研究一种多媒体节目时序描述的结构化技术 ,使复杂的多媒体节目易于理解 ,以方便用户运用组合方法把一些可以复用于不同多媒体节目的节目模块进行组合设计 .

摘要：基于物理的流体模拟近年来成为计算机动画领域的一个研究热点.回顾了该领域中基于物理的流体模拟的发展情况,总结了该研究方向所采用的各类方法,并结合各种现象的特点分门别类地详细展开.其方法总体上可以分为欧拉法和拉格朗日法,涉及的现象包括烟雾、火焰、爆炸、波浪、气泡以及自由运动界面等.最后展望了未来发展的3个重点:细节策略、加速策略和控制策略,以使整个模拟能够更好地满足人们对真实感、实时性以及灵活性的需求.

摘要：提出并实现了一种从单目视频流中重建人体三维运动的方法·该方法通过交互定制得到个性化的人体骨架模型和视频序列每一帧中人体各关节点的二维坐标后,分别针对单帧和连续多帧进行优化并迭代求解,得到每一帧的比例因子的最优解;最后反求各关节点的三维坐标,重建人体三维运动序列·对包含复杂和快速多变的人体运动的视频进行的实验表明,该方法简单有效,适用于包括体育、影视等在内的实际视频源·