摘要：自然景观真实感的模拟是计算机图形学领域中的研究热点和难点之一.尽管人们对静态云的真实感模拟进行了大量的研究,动态云模拟的工作还比较少.动态云的快速模拟技术在计算机游戏动画、飞行视景仿真、影视广告等许多领域具有重要的应用价值.提出了一种三维动态云快速模拟的新方法.首先,在较低分辨率的网格上求解云运动的物理方程,获得动态云的速度场.然后,采用纹理漂移的方法来增加云的表面细节.通过充分利用GPU的加速性能,该算法可以达到较高的绘制速度.最后,对上述算法进一步优化处理,使其可以适用于多种硬件平台.

摘要：本文提出了一种基于虚拟页地址映射的NAND Flash管理算法.该算法通过定义坏块表、对应表等结构,以及设计的坏块替换策略和虚拟页地址到实际物理页地址的转换算法,实现上层软件采用虚拟地址对NAND Flash的无坏块连续页地址访问.该算法是一种高效的地址映射算法,能高效地对数据进行索引,占用SRAM空间较少,使系统达到高性能,并使得闪存使用的更加稳定持久.

摘要：提出了三角形的两种放置动作———贴合动作和粘靠动作 ,在此基础上按照最小损伤策略设计了求解单位等边三角形Packing问题的最小损伤法 .计算结果表明 ,该算法具有较高的速度和完整度 ,以此算法为基础 。

摘要：低成本卡通制作中的图像和视频通常缺乏对动物角色毛发效果的表现,为了能对已有图像及视频中的动物角色进行处理,为其增添具备真实感的毛发效果,提出一种毛发风格化算法——卡通化毛发纹理算法.针对卡通中的动物角色合成毛发纹理并进行替换,分为图像应用及视频应用2个部分.在图像替换时,对要进行风格化处理的目标区域进行图像结构分析,以获取覆盖目标区域的三角网格,再生成毛发纹元并映射于网格之上,通过绘制纹元来生成具备真实感的毛发效果;在进行视频替换时,提取视频关键帧并基于图像应用算法生成相应的卡通化毛发纹理进行图像替换,之后根据关键帧的替换结果指导整个视频的替换.为了获取随时间变化的图像关键帧目标区域,采用SIFT算法计算特征点在时间轴上的匹配;为了快速合成卡通化毛发纹理,采用基于GPU的光线行进算法加速毛发纹元的体绘制过程.实验结果表明,文中算法可成功地对已有图像及视频的动物角色添加具备真实感的毛发效果.

摘要：随机测试是实践中广泛采用的一种黑盒测试方法.近年来提出的适应性随机测试方法改进了随机测试的不足,仿真实验结果表明,改进效果取决于软件失效域的特征.提出以测试约束刻画软件失效域在输入域上的分布,探讨了基于现有的程序分析技术构造测试约束的过程,讨论了基于测试约束的软件失效域的特征分析方法.以一个实例软件验证所提出的测试约束构造过程及其软件失效域特征分析方法.测试约束揭示了软件故障的触发与传播的内在机制,基于测试约束的软件失效域的特征分析方法有助于改进测试用例的设计质量以及评价适应性随机测试方法的适用性.

摘要：为解决不同设备的用户界面难以开发问题,设计一个基于可伸缩矢量图形的自适应用户界面工具——SSUIT。该工具采用分层体系结构,用基于分页思想的自适应布局算法解决显示屏幕尺寸变化大的问题。给出一个集成的自适应用户界面开发工具构建实例,测试结果表明,该工具具有较好的实用性。

摘要：提出拟物拟人方法．论述了如何按此种方法为ＮＰ难问题设计出高效实用的快速求解算法．作为例证，所得出的关于ＣＮＦ－ＳＡＴ问题及ｐａｃｋｉｎｇ问题的算法，其先进性在国际竞赛及工业生产中得到了显示．

摘要：汽车电子软件是一类控制汽车机械和动力部件、实现各种汽车安全和舒适功能的高可靠实时嵌入式软件,其需求分析和设计方法是目前软件工程面临的重要挑战之一。本文主要研究汽车电子软件的需求表示方法,将原始需求划分为多个层次和视角,采用多种图形语言对系统的各个侧面进行表示,并揭示各个部分模型之间的关系,力图以可视化的方式形成问题空间的全景"蓝图"和局部可缩放视图。该方法的使用,有利于降低表示需求的复杂度,便于从需求模型到设计模型的平滑过渡。