可大规模应用的辐射度计算的自动网格化方法

合理地网格化场景是有效地进行辐射度计算的重要前提.现有的两种主要剖分方法是细分法和阴影边界计算法.前者是在必要时对大面片进行自动细分,后者是先解析地求出阴影的区域,然后根据阴影边界进行划分.前者存在的问题是无法检测出落在大面片中间的细节变化,绘制的质量得不到保证.后一种方法又局限于基本上只能处理纯多边形场景,而且计算时间长,实现复杂,难以在工程上进行应用.文章提出一种网格化方法,它面向大规模工程应用,简便易行,并能生成较高质量的图像.这种方法先将能量接受面划分成满足精度要求的细小面元,然后根据各面元对场景中各光源的可见性特征进行合并操作,以使能量变化情况不同的区域能以不同大小的尺寸进行剖分,这样,用于计算的面片大大减少,而图像质量没有明显的降低.实验结果和统计数据表明,此方法因其简单、高效,很适合大规模的工程应用.     

交互式用户界面的形式化描述与性质验证

随着人机交互技术的发展,计算机和用户之间的接口越来越自然,但用户界面管理系统内部的复杂度却大大地增加了.目前提出的新一代用户界面的模型大都停留在概念模型阶段,缺乏对模型的严格描述和证明.该文结合对基于自然交互方式的用户界面的研究成果,归纳出了一个交互式用户界面的通用模型.为了保证系统设计的正确性,文章讨论了如何使用形式化描述语言LOTOS(language of temporal ordering specification)和基于动作的时序逻辑ACTL(action based temporal log     

交互式动态体绘制及其加速算法

体绘制三维成象法是一门新兴的3D采样数据场可视化技术，在医学成象和科学可视化领域有着极为广泛的应用，但由于3D数据量大，其使用往往受到巨大计算开销的限制，因此很多研究人员致力于静态体绘制加速算法的研究，并解决医学图象三维可视化中三维体数据显示速度与成象质量问题，因而提出了一种交互式动态体绘制算法，即从任意的视点距离和视线方向进行动态编制，并在分析其算法复杂度的基础上，提出一种新的加速算法，同时使得动态体绘制过程几乎达到实时的效果，经验证，这种算法比标准算法快4～5倍。     

基于真菌生长模型的分形图象生成算法

基于真菌生长模型，建立了环境自适应的参数L-system.在考虑真菌内营养物流动控制生长的基础上,充分考虑环境对真菌生长的影响.在此基础上，提出了基于真菌生长模型的分形图象生成算法,生成的图象分支自然、协调.通过环境调整,可有效控制图象的生成风格,特别适合工业图案设计和动画图案设计等领域.     

关系型多数据库系统IS-Global的设计与实现

文章主要讨论IS-Global的设计思想和关键的实现技术.IS-Global是一个关系型多数据库系统,其目标是为CIMS(computer integrated manufacture system)环境下企业级应用提供一个集成的、能屏蔽网络、操作系统和数据库系统异构性的全局信息系统.IS-Global的主要特点是：(1) 它是一个紧耦合的系统,具有统一的全局模式,对不同的关系型数据库系统,如Oracle,Sybase和SQL(structured query language) Server等可进行透明访问.(2) IS-Global采用两级客户/服务器结构,支持并发控制和安全性机制,是一个多用户系统.(3)可同时提供图形化界面工具、ODBC(open database connectivity)函数接口和SQL语言交互式访问接口.(4) 能同时支持对多个局部数据库中数据的联合查询.     

面向媒体时序描述的带时间自动机的自动构造方法

依据有穷状态自动机模型,面向程序规范的并发系统和分布式系统测试方法的研究已经取得许多结果。由于特殊的实时和同步要求,这些结果不能直接应用于分布式多媒体软件系统的测试。为此,作者提出一种面向媒体对象时序描述的地间自动机（Ｔｉｍｅｄ ａｕｔｏｍａｔａ）的自动构造方法,根据带时间自动机,对分布式多媒体软件系统进行非确定性测试时,可以较容易地判断运行结果正确与否;在进行确定性测试时,可以辅助自动生成测试用     

并行计算：提高SAT问题求解效率的有效方法

基于拟物拟人思想的Solar算法是一个求解SAT问题的快速算法.实验和理论分析表明,Solar算法具有易并行化的特性.将Solar算法并行化可大幅度地提高求解SAT问题的效率.     

求解单位等边三角形PACKING问题的最小损伤法

本文介绍了一种新的算法～最小损伤法，对具有NP难的单位等边三角形PACKING问题进行了试探性研究，希望由此得到一些研究NP难问题的启发性方法。     

纹理物体表面反射参数的恢复

物体表面反射参数的恢复是新兴的逆向绘制技术的核心问题，提出一种恢复物体表面BRDF模型参数的方法，假定物体表面的BRDF模型可以近似分解为漫射纹理和整体不变的镜面反射分量，则每一点的反射参数可以用Phong模型来近似计算，首先选取物体表面的一片区域，利用该区域在不同视点光照条件下采样的几幅图像，计算得到该区域的平均镜面反射分量，作为整个物体表面的镜面反射分量，然后据此从物体表面各点的采样中分离出漫射分量，计算各点的漫反射参数，得到近似的BRDF模型，实验数据表明算法是有效的。     

基于XYZ/RE的多媒体同步器自动构造方法

XYZ系统是一个以增强软件可靠性和提高软件生产率为目的的程序开发支撑系统.它由时序逻 辑语言(temporal logic language,简称TLL)XYZ/E和以该语言为基础的一组软件工程工具组 成.为了研究XYZ系统在多媒体领域中的应用问题,介绍了一种依据多媒体对象时序描述 自动生成用XYZ/RE表示的播放同步器的方法,XYZ/RE是时序逻辑语言族XYZ/E中表示实时系统 的子语言.与相关工作比较,该方法不仅可以处理简单的时序关系,而且可以处理嵌套的时序 关系,所产生的同步器可以复用于不同的节目.