虚拟环境中真实感空间声合成

虚拟环境是用多种媒体构造的一个仿真视听等多方面感知效果的高级人机界面，本文提出全面表达声音时空信息的思想，讨论了用有限个音箱表面表现任意空间声的时间真实感和空间真实感，通过对声音空间实质的分析，提出了基于三维空间向量分析的真实感空间声合成算法和基于限时计算的系统实现方法，与基于双耳相关函数的空间声合成方法相比，本方法能在较少的计算时间内合成更真实的空间声。     

分布式图形处理的研究与发展*

分布式图形就是在分布式系统上研究计算机图形的生成，是分布式系统与计算机图形学结合的产物．本文结合作者的研究工作对分布式图形中的研究内容(并行处理模型、支撑环境、分布式图形算法、分布式图形语言和图形库等)进行了概述；讨论了分布式图形在动画制作、科学计算可视化、多媒体和虚拟环境中的应用，在此基础上对分布式图形的发展进行了展望．     

弹性核子空间聚类*

现有子空间聚类算法通常假设数据来自多个线性子空间,无法处理时间序列聚类中存在的非线性和时间轴弯曲问题.为了克服这些局限,通过引入核技巧和弹性距离,提出弹性核低秩表示子空间聚类和弹性核最小二乘回归子空间聚类,统称为弹性核子空间聚类,并从理论上证明弹性核最小二乘回归子空间算法的组效应和弹性核低秩表示子空间聚类算法的收敛性.在5个UCR时间序列数据集上的实验表明本文算法的有效性.     

媒体同步技术*

人们可以用多种媒体形式表达同一段内容，这样，在输出这些内容的时候就会碰到媒体同步的问题．本文就多种媒体输出同一内容但有多种表达形式时的媒体同步问题进行了一些探讨，提出了一种媒体同步输出的控制模型，并且根据此模型给出了具体工作中媒体同步控制的实现．     

迭代函数及其可计算性*

带迭代算子的函数式程序设计语言是一种有坚实理论基础、高效的、实际有用的高级程序设计语言．该语言既可描述递归，又可描述迭代．本文证明了仅用迭代算子由已知迭代函数定义的部分迭代函数就可计算部分递归函数．这就等于证明任何图灵可计算的部分函数．都可用有坚实数学基础的部分迭代函数高效地进行计算．文中定义了复合算子、原始迭代和最小化迭代算子及部分迭代函数；证明了部分递归函数是部分迭代函数可计算的．     

管理信息系统中的面向对象体系模型*

本文采用面向对象的思想提出了描述管理信息系统(MIS)的一种体系模型，给出了在软件开发过程中如何获取体系模型中各组成部分的准则和方法，并应用于实际开发项目中．     

状态逻辑语言迭代程序的可计算性*

状态逻辑型程序设计语言是一种有坚实理论基础，既可描述递归又可描述迭代的高效、实用、新型的纯逻辑式程序设计语言．递归无疑地确保了其计算能力本文证明了仅用状态逻辑的迭代程序就可计算部分递归函数．这就等于证明了，任何图灵可计算的对象都可用纯逻辑迭代地定义和高效地计算．     

市场分析的一种框架*

本文提出并实现了一种利用市场信息进行市场分析的框架，并认为市场分析是一种提高市场行为决策质量的信息加工过程．在此基础上讨论了市场分析框架的组成结构．并且对信息加工中的主要问题如趋势分析、定性因果分析等进行了初步研究．     

软件项目估算*

软件项目估算是软件项目管理的一个重要组成部分．本文所介绍的估算法是作者在外国软件公司工作期间的工作总结和经验归纳．     

平行最外模式匹配*

平行最外策略是归约系统中适用范围非常广的策略，平行最外模式匹配研究适用于该策略的高效模式匹配方法．本文在生成自适应模式匹配自动机APMA的基础上，充分利用匹配失败状态的部分匹配信息，构造了平行最外模式匹配自动机POPMA．利用POPMA进行模式匹配，在维持空间开销不大的前提下，降低了朴素思想的2大时间开销．并将模式匹配和归约策略结台起来，几乎一遗扫描即可找出所有平行最外匹配子项，具有很高的时空效率．借助于POP- MA,还可以对平行最外策略进行改进．     

虚拟环境中的三维立体图生成算法

虚拟环境技术是一种高度逼真的模拟人在自然环境中视、听和动等行为的人机界面技术。其中三维立体图生成是一项核心技术。本文对三维立体图显示的原理进行介绍，提出一种立体图生成算法并给出立体图实例。最后对立体图的加速问题进行了讨论。     

虚拟环境中微机械拟实组装的运动学描述

微机械的组装包括：部件制作,部件对准和部件焊接 ３个过程．本文针对微机械组装中最重要对准过程,给出了虚拟环境中拟实组装细化的操作 步骤及相应的运动学描述．同时,面向微机械拟实运行,给出了焊接过程的运动学描述．建 立了虚拟现实实验平台,并在此平台上完成了一个作为虚拟环境中微马达转子与定子拟实组 装简化例子的轴孔配合拟实组装实验．初步验证了本文所给出的虚拟环境中拟实组装运动学 描述的正确性．     

一种虚拟化环境的脆弱性检测方法

基于源代码的静态分析技术是检测软件脆弱性的重要手段之一。针对Linux平台下由不安全方式创建临时文件问题引起的符号链接脆弱性,提出一种基于污点传播分析的脆弱性检测方法。通过查找打开或创建文件等导致脆弱性的特征函数从源代码中识别漏洞触发变量,采用后向污点传播分析方法分析变量传递路径,判断其是否来源于污点源,从而检测出可能存在符号链接脆弱性。利用该方法对XEN 3.03版本的源代码进行检测,成功发现了2个漏洞,其中包括1个未知漏洞。实验表明,该方法是一种有效的脆弱性检测方法。     

一种面向SLA的云计算环境下虚拟资源调度方法

云计算环境下,应用提供者可以根据需要决定租用虚拟资源的数量。租用大量资源会得到Qo S保障,从而获得较好的收益,但应用提供者需要为租用资源付费。同样,租用少量资源,会节省租用资源投入,但资源不足难以保障Qo S,SLA(Service Level Agreement)违背会带来经济损失。因此,租用多少虚拟资源才能使得资源得到充分利用,达到应用提供者的收益最大化成为亟待解决的问题。针对此问题,从应用提供者收益角度考虑,兼顾SLA收益损失和服务器租用成本投入,提出虚拟机资源调度方法,旨在使得应用租用者收益最大化。该方法利用排队论建模目标云应用的性能,并引入SLA收益损失函数估算在租用一定虚拟资源情况下的SLA收益损失,最后,利用爬山算法动态调整物理资源租用数量以达到收益最大化的目标。实验结果表明,与当前常见的虚拟机资源调度方法 1VMPer Job、1VM4All和Bin Packing相比,所提出的方法使得云应用提供者的成本投入分别降低了17.92%、22.85%和10.74%。     

智能机器人的分布式虚拟环境研究

分布式思想及面向对象方法在虚拟环境的研究中有着重要意义,尤其是处理复杂的应用系统方面,在一个实际的虚拟环境应用系统中,存在下列３个需要考虑的问题：①复杂模型的表达。②参与者的控制;③网络通信。     

虚拟声音会议环境中的应用共享

应用共享系统是一种ＣＳＣＷ系统工具,它可以将单用户应用程序在多人的网络环境中协同地使用。在应用共享系统中需要提供各艇户间方便,直接的交互方式。     

基于观察者的碰撞检测技术在虚拟环境漫游中的应用

碰撞检测是增强虚拟环境真实感的必要手段，在虚拟环境进行漫游时，运动中的观察者与静态的虚拟环境之间的碰撞检测问题，又被转化为球体与三角形之间的碰撞检测问题，文中提出了具体的碰撞检测算法，并用八叉树模型对其进行了优化。     

利用遥感图象生成地形三维实景图

本文介绍了利用遥感形象作为纹理图象，采用纹理映射技术生成地形三维实景图的原理和算法。主要包括：遥感图象上特征点（目标点）坐标的量算；遥感图象与相应地面间透视变换关系的确定；影象灰度的重采样；实景图的显示。最后给出了实验结果。实验表明，这种方法所生成的地形三维实景图，所含信息量大，真实性好，现势性强。     

基于图象绘制的虚拟现实系统环境

虚拟现实的一个重要目标是使用计算机生成逼真的视觉世界,使用户可以对虚拟世界的客体进行交互式考察．虚拟现实的实现有两种方法．传统上,用三维图形学的方法实行建模和绘制．此方法需要繁琐的建模和昂贵的专用绘制硬件,而且图形绘制的质量和场景的复杂性受到很大的限制．基于图象的绘制是实现虚拟现实系统的一种新方法．它克服了三维图形方法的缺点．本文在总结已有技术的基础上,提出一个实现基于图象绘制的虚拟现实系统模型,并据此模型实现一个实验系统及相应的图象工具．     

虚拟制造中虚拟环境建模技术与方法

以虚拟制造烟基础的敏捷制造是一种全新的面向21世纪的制造系统，文 中探讨虚拟制造中虚拟环境的建立及其相关技术的研究与发展，涉及两个方面，虚拟环境的系统设计方法及计算模型。给出了描述虚拟环境的抽象框架，研究了基于网络的产品虚拟设计协作环境技术。