波动方程数值模拟的隐式差分法

在有限差分波动方程数值模拟中,通常采用高阶差分方法来提高空间导数的数值逼近精度,以实现降低数值频散,提高数值模拟精度的目的。首先对差分频散进行了理论分析;然后讨论了估计一阶空间导数的隐式差分格式,并与通常采用的高阶精度显式差分格式进行了对比分析,结果表明,隐式差分格式能够在更宽的波数范围使差分频散控制在可接受的水平,如8阶精度的显式差分格式所适应的波数带宽约为O．55kmax,而隐式差分格式所适应的波数带宽约为0．7kmax;最后通过模型试算,对隐式差分格式的有效性进行了验证。模拟结果表明,用隐式差分格式在一定程度上降低了差分频散,提高了模拟精度。     

高校摄录编播设备数字化改造探析

为了用有限的资金建设一个高标准、现代化的适合高校现代教育技术需要的数字化摄录编播系统，结合实际，详细介绍一种适合高校重大事件记录、课件制作及教学片拍摄、可以满足高校多种需求的数字化摄录编播设备的合理化配置。     

VB中实现打印功能的方法

介绍了在VB开发的应用程序中,实现打印功能的几种方法.这些方法包括:①打印窗口;②通过PRINTER打印;③利用数据报表进行打印;④将打印内容传送于Office组件的Word或Excel,通过Word、Excel打印.同时列出了相关的程序格式.     

中央电视台第一个数字化演播室视频系统介绍

数字电视系统在提高图像质量方面已显示出极大的优越性。因此，世界各国电视台都已开始数字化的进程，中国也不例外。本文详细介绍了中央电视台第一个数字化演播室－８００ｍ＾２演播室的视频系统，包括视频系统数字信号格式的确定，主要设备的特点以及演播室数字视频系统的主要特点等，供广大同行参考。     

A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol

We present a formal model of asynchronous communication between two digital hardware devices. The model takes the form of a function in the Boyer-Moore logic. The function transforms the signal stream generated by one processor into that consumed by an independently clocked processor, given the phases and rates of the two clocks and the communications delay. The model can be used quantitatively to derive concrete performance bounds on communications at ISO protocol level 1 (physical level). We use the model to show that an 18-bit/cell biphase mark protocol reliably sends messages of arbitrary length between two processors provided the ratio of the clock rates is within 5% of unity.     

动态过程监视的最佳显示方式研究

文中讨论了人机界面的视学工效问题，通过实验评价了用于动态过程监视与控制的三种ＣＲＴ显示方式的工效，并由此得出人类视学系统反应对图形方式更优于对数字方式，图形与数字的复合方式。     

有限遥测速率下卫星遥测数据设计方法研究

针对国内小卫星常用的统一遥测模式,讨论了在遥测速率受限的条件下,分包遥测格式设计应满足的基本条件;定义了分包遥测数据格式设计过程中的包编码损失率,并以此作为包数据格式编码效率的评价函数;分析了分包遥测数据格式设计过程中包长度、包采样周期等参数变化对评价函数的影响,进而给出了分包遥测数据格式设计中的应满足的条件和遵循的原则。     

用于虚拟现实的360度视频编码技术新进展*

随着虚拟现实技术不断发展,360度视频编码开始成为研究热点。应用于虚拟现实的360度视频与传统的视频相比分辨率更高,编码数据量更大,在实际应用中面临传输带宽有限的瓶颈,编码效率问题有待解决。归纳分析了国际标准组织联合视频研究组（joint video exploration team, JVET）正在制定的360度视频编码投影变换技术及其编码优化方法,综合对比了各变换技术的编码性能。根据当前最新研究成果,对下一步研究需要解决的问题进行了探讨总结,给出未来的研究方向和思路。     

基于DXF格式的优化数控代码自动生成方法

DXF是AutoCAD与其他软件进行数据交换的CAD通用图形文件格式。实现了一种DXF读取方式并自动生成数控加工代码。传统算法的读取结果无序,不适用于实际加工,针对这一问题根据提取结果及位置关系生成图元轮廓树,并利用最近邻插入算法对图元轮廓优化排序,得到全局优化的最短切割路径,并通过实例证实了算法的有效性,能满足实际自动编程数控系统的工作需要。     

Qt在EQT格式地震日志转换中的应用

主要讨论了基于Qt的地震日志格式转换软件的设计及其实现方法。