基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．     

基于COM技术的DirectShow视频采集的研究

介绍了DirectShow的体系结构，并介绍了COM技术在其中的应用，对基于COM技术的DirectShow视频采集进行了研究与实现。     

WJJ-1型微机辅助教学实验系统

介绍一种方便、实用的微机辅助教学实验系统。用一台主控微机控制多台(以30台被控机为例)被控微机的视频传输系统，以达到彼此之间的相互传输。其中控制微机为教师控制，其它为教师教学用机和学生用机。介绍了该系统的软、硬件构成及工作原理，该系统用VB6．0设计虚拟控制界面及控制程序控制以GAL为中心的硬件系统。全面完成了教学、自学、示范、监视等四大教学功能和个选、全班两项教学辅助功能。     

基于角色控制的分布式PDM系统

提出了一种适合于工程设计中基于协同工作的多用户的分布式PDM系统的软件结构。介绍了一个相关的软件模型，这个软件模型说明了如何通过添加CSCW和RBAC机制来扩展现存的PDM系统，在讨论了PDM、CSCW和RBAC的基础上，给出了相应软件的框架结构模型的思想。     

基于狭缝图像的三维虚拟漫游

基于狭缝图像的四维光场模型,设计并实现了一个完整的三维虚拟场景漫游平台系统。使用四叉树结构对场景进行组织,实现了对三维场景的自适应非均匀采样,提高了采样的效率;采用临近点插补方法,解决了重采样中出现的图像空洞;通过对漫游时的内存管理、路径预测和碰撞检测处理,提高了漫游的稳定性与连贯性;对漫游速度做了测量,对绘制图像的质量做了比较。     

基于PSTN的视频传输技术研究

简单介绍了基于不同传输网络的视频编码系列及其符合ITU—TH．324协议在PSTN网上的实现比较。在PSTN网络上，提出一种中心基于PC，远端基于改进的H．263编码，采用通用数字信号处理DSP芯片的远程视频监控系统方案。     

视频数据在网络教学中的应用探讨

从分析视频在网络教学中的教学功能的入手，进而分析视频点播、视频直播、嵌入式视频和网上视频阅览室等四种应用模式，此基础上总结了当前视频应用中存在的一些问题，文中特别论及基于内容的视频检索。     

一种DVB-S接收解调解码器的设计

介绍DVB -S接收前端数字解调与信道解码电路的组成和原理 ,给出了一种新型的DVB -S数字解调信道解码器的硬件结构和软件控制方法 ,系统实验结果证明了该数字解调信道解码器的可行性 .     

数字监控系统的设计与策划

随着技术的发展，常规的模拟图像监控系统已受到各方面的限制，显露出各种不足与问题。介绍了采用最新的数字技术，利用通用的PC改良计算机，使其整体性能接近专用监控机，充分发挥普通计算机的潜在功能，提供一个低成本、行之有效的监控方案与应用范例。     

自适应性动态间隔缓存的实现

提出了用于视频服务器的缓存管理策略：自适应性动态间隔缓存。通过间隔缓存与流的状态转换有效地结合起来，满足了视频服务的顺序访问的行性。通过仿真实验证明该机制有效地保证了视频流的持续性与实时性，大大提高了视频服务的并发度。