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

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

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的地震日志格式转换软件的设计及其实现方法。     

基于GDAL的ESRI Shapefile格式文件处理

随着遥感应用技术的不断发展,对ESRI Shapefile格式图像文件的处理需求变得日益紧迫。目前能对它进行处理的软件有很多,但是这些软件运行时占用大量系统资源,而直接将商业软件嵌入到自主开发的软件中也是不可取的。因此,能够在自主开发的遥感图像处理软件中实现对ESRI Shapefile格式文件的操作已经变得非常重要。通过对ESRI Shapefile格式的影像数据结构特征分析,提出基于GDAL实现ESRI Shapefile格式文件到png文件格式的转换和处理方法,包括地理信息获取、坐标系统转换和文件格式转换。通过试验验证了该方法的可行性。     

Q格式编程在TMS320F2812中的应用

TMS320F2812是目前控制领域先进的定点处理器之一,它有着大量地应用。然而,当其面临浮点运算时,往往会耗费更多的资源,使运算时间增加。使用Q格式,将浮点数采用定点表示,可缩短运算时间。但是,采用定点格式表示的数在范围与精度上存在矛盾,使得程序变得复杂,通用性低。正基于此,TI公司提供了IQmath库,利用该库中的函数,使运算速度快于标准C语言的浮点运算,同时具有可读性强及编程简单的特点。在介绍IQmath的基础上,以一个已经运用于实际的坐标解算程序为例,体现基于IQmath编程的优点。