基于静态图像的虚拟现实技术及其在教育中的应用

基于静态图像的虚拟现实技术是一种提供初步VR体验的虚拟现实技术,其最鲜明的特点就是开发、研制成本低廉,使用过程简单方便,并不需要专用的诸如头戴镜、数据手套等昂贵的设备,仅需要一台多媒体电脑就可以了。由于这样的特点,使得以往需要复杂昂贵的专门设备支持的虚拟现实技术在现实生活中以及教育领域中的广泛应用成为可能。本文以QTVR为例,介绍了基于静态图像的虚拟现实技术的工作原理、基本特色、开发系统的组成及其在教育领域中的典型应用。

2类数列问题循环不变式开发策略研究与应用

该文通过对组合数学中Catalan数列问题和Fibonacci数列问题进行深入研究,利用归纳推理、组合数学中的加法和乘法原理等方法得到问题求解函数,使用变量记录算法求解过程中子问题的解,并约束循环变量的变化范围,获得问题求解算法的循环不变式,由此得到了2类数列问题循环不变式的统一开发策略.以二叉树的形态数问题和阶梯问题为例,利用所提策略开发循环不变式,并基于循环不变式展示了这2类数列问题算法程序的形式化推导过程.