基于FFMPEG的通用视频插件

在Windows下设计了一个可以播放多种格式视频文件的通用ActiveX插件。该插件使用ATL工具开发,其中的视频解码基于FFMPEG完成,利用SDL实现视频播放。视频点播系统中使用该插件播放视频流畅清晰,并且免去了转换文件格式的工作,使视频点播系统更易维护。     

在ATL实现的ActiveX控件中集成Matlab引擎

在对Matlab外部编程接口的分析基础上,本文用ATL技术实现了一个ActiveX控件集成了对Matlab引擎的访问。并给出了实现过程及主要源码。最后介绍了组件对象模型的基本思想。     

OCX控件在ATL中的应用方法

论述了在ATL中如何应用OCX控件,丰富ATL图形界面设计的一般方法.     

基于Solidworks的二次开发模型特征提取研究

通过对三维参数化设计软件Solidworks的建模型方法和模型拓扑结构的分析与研究。以VisualC 6.0作为开发工具对其进行二次开发,实现了模型拓扑信息的提取,并将模型的几何信息和拓扑信息进行保存和显示。     

一种新的密码协议分析方法及其应用

针对传统时序逻辑把协议看成封闭系统进行分析的缺点, 提出一种新的基于策略的ATL逻辑方法分析密码协议。最后用新方法对Needham-Schroeder协议进行了严格的形式化分析,结果验证了该协议存在重放攻击。工作表明基于博弈的ATL逻辑比传统的CTL更适合于描述和分析密码协议。     

基于ATL的OLE DB数据应用程序设计

数据库技术在资源库建设中应用十分广泛,访问数据库的方法也较多。OLEDB是Microsoft提供的数据库接口,它是基于COM接口,具有良好的健壮型。通过OLEDB可以非常方便地访问关系型数据库和非关系型数据库。本文对OLEDB作了一定的介绍,结合具体的实例给出了通过OLEDB访问MSAccess数据库的实现。     

ATL开发COM组件的几个小技巧

COM是构造二进制兼容软件组件的规范．而ATL，正是开发COM组件的得力工具。本文介绍了利用ATL开发COM组件的几个实用的小技巧。     

基于C0M技术的多类对象的监控系统的实现

为了解决多类对象的监控系统的设计,本文提出了基于COM技术的解决方案,并阐述了此方案的设计思路,同时解决了此方案中的关键性问题COM技术中多级接口的问题,最后给出此方案的具体实现.     

过程控制软件标准接口剖析(3)——COM组件开发方法

COM应用主要是 Server/Client (客户 /服务器 )模式 ,开发 COM组件既可以使用 MFC,也可以使用 ATL,由于使用基于模板库的 ATL 框架开发 COM组件应用具有独特的优势 ,因此本文以一个简单例子详细介绍了如何利用 ATL创建 COM组件与 COM客户 ,进一步阐明了 COM服务器组件的二进制兼容性。     

电子支付协议的博弈逻辑模型与形式化分析

提出用一种新的基于博弈逻辑ATL（Ahernating-time Temporal Logic）的电子支付协议建模与分析方法。新方法克服了传统时序逻辑把协议看成封闭系统进行分析的缺点．可以成功地对电子商务中的对抗与合作行为进行描述．利用新方法对Bolignano协议进行了严格的形式化分析．发现该协议不能满足公平性要求．