【摘 要】
：
为了解决基于Webkit引擎的嵌入式浏览器不能播放网页中嵌套的视频文件的问题，设计了一种简单有效的视频播放插件模型。该设计区别于传统的NPAPI标准插件，通过继承Qt自带的控件类并重载其中的方法来实现该插件的注册，利用ffplay实现数据流的获取和解码显示，设计用户界面负责响应用户事件并控制ffplay的播放，并通过FIFO管道和状态机来实现播放界面和ffplay的通信。最后在嵌入式平台下实现了该
【机 构】
：
华中科技大学电子与信息工程系,湖北武汉,430074 华中科技大学计算机科学与技术学院,湖北武汉,
论文部分内容阅读
为了解决基于Webkit引擎的嵌入式浏览器不能播放网页中嵌套的视频文件的问题，设计了一种简单有效的视频播放插件模型。该设计区别于传统的NPAPI标准插件，通过继承Qt自带的控件类并重载其中的方法来实现该插件的注册，利用ffplay实现数据流的获取和解码显示，设计用户界面负责响应用户事件并控制ffplay的播放，并通过FIFO管道和状态机来实现播放界面和ffplay的通信。最后在嵌入式平台下实现了该设计。经工程实践表明，该方法行之有效，通过该插件能够流畅观看网页中的视频文件。
其他文献
随着传感网络以及嵌入式系统等的发展，集计算、通信、控制于一体的信息CPS逐渐成为人们关注的热点。未来CPS将会应用到社会生活的各个方面，随着应用的越来越普及，CPS能否满足设计需求对系统设计实施显得至关重要。验证技术在保障和提高系统安全性、可靠性等方面起到了关键的作用，对CPS关键属性的验证也成为研究的焦点。将通用的模型转换为形式化模型进行验证是常用的验证手段，采用HybridUML对CPS进行建
基于相变存储(PCM)的相变随机存储器(PRAM)具有高密度、非易失、低功耗等优点，被认为是传统的动态随机存储器(DRAM)的替代品。目前研究人员从体系结构的角度提出了很多种基于PCM的混合内存架构方案，但很少从操作系统的角度来深入分析这项技术带来的影响。从操作系统的角度来分析和研究新型混合内存带来的变化，从而提出了一种支持新型混合内存的物理内存管理方法。该方法主要包括基于程序段信息的分配策略和具
白盒测试技术是软件测试高级课程中的重要内容，学好白盒测试技术(如基本路径测试和条件测试)，掌握测试理论是一个方面。而对于学习该课程的软件工程研究生来说，如何把这些理论技术变成有效的工具才是更具挑战性的。把这些原理转化为工具需要整个软件工程的相关技术和理论来支持：首先要对被测源码进行解析，构建模型并从中抽取测试相关的实体，设计覆盖这些实体的路径，基于搜索技术生成高效的测试教据，通过一定的方式对程序执
随着客户个性化需求以及企业专业化分工的发展，企业通常需借助外部的资源和能力给客户提供整合的一站式集成服务，而目前成功应用的基于云计算技术的第三方服务平台无法适应于服务模式、过程与内容均不同的复杂的企业。给出的基于双边资源整合智慧服务平台可整合客户需求和企业资源，并且支持任意第三方企业建立基于互联网服务型企业——云企业，通过分析平台的特性与功能，设计出了符合其服务模式的平台体系结构，最后通过系统的演
近年来，安全保障作为操作系统安全的一个重要方面越来越受到研究者的重视。对于高安全级别操作系统，体系结构层次的结构化是必须要达到的安全保障要求，是其区别于低安全级别系统的本质特征。本文首先分析了传统信息流模型在解决安全保障问题方面的不足，然后以传统无干扰模型为基础， 研究了安全保障在其中的描述和体现，提出了能够满足引用监视器假设的结构化规则。其次，提出可信管道的概念，将其应用到无干扰模型的结构化保障
随着COM构件技术的广泛使用，COM构件暴露出越来越多的缓冲区溢出安全漏洞。为进一步提高COM构件的安全性，本文设计实现了COM构件栈缓冲区溢出漏洞检测系统CSDS(component stack-overflow detecting system)，并在其中实现了一个栈溢出检测算法。CSDS主要有接口分析、函数定位、栈溢出静态分析和结果输出4个模块，接口分析模块分析被测COM构件得到构件的对象、
模块化推理在程序分析和程序验证领域得到了广泛的关注与应用，其应用范围涵盖了程序静态分析、程序进化、程序验证等方面。由于面向方面程序设计(aspect-oriented programming,AOP)存在量化和易忘性等特点，违反了传统程序方法学中的模块化原则，从而容易引起方面干扰问题，使对面向方面程序进行模块化推理更加困难，严重影响了AOP的应用前景。本文阐述了面向方面程序的模块化推理目标和类型，
动态符号执行是对程序进行安全性分析的重要技术。在动态符号执行过程中，存在着符号地址，系统调用，路径选择等问题。针对符号地址导致的别名分析问题，本文提出了一种基于约束的指针分析方法，对程序进行过程内的指向分析，并对指针分析过程引入约束条件，产生可以进行路径选择的测试用例，以提高指针分析的精度。在国内首款某型号商用编译器的开发过程中实现了该方法，实验结果表明，该方法可以准确地分析C语言测试用例，缩短用
随着传感器、无线通信、嵌入式系统等技术的发展，在宽带移动通信、下一代网络和云计算等技术的支撑下，物联网已经广泛应用在仓储物流、智能电网、公共安防、智能楼宇等领域，因其巨大的应用前景得到各国政府的重视，视为继计算机互联网与移动通信网络之后的第三次信息化浪潮。作为连接感知网络与传统通信网络/互联网的桥梁，物联网网关在物联网应用中起到极为重要的角色，在网络架构上有利于现有的通信网络/互联网与感知网络的无
随着社会的蓬勃发展，软件行业的激烈竞争也日益明显，人们对软件的质量要求越来越严格。对于高质量的软件来讲，最终产品尽可能达到零缺陷。而软件开发是一个以个人为中心的活动，不可避免会存在缺陷，而缺陷信息是产品质量和过程能力的重要指标，是知识的积累。论文介绍了使用Java语言开发软件缺陷管理系统的过程。该系统采用当今流行的开发技术Struts、Spring、Hibernate实现了系统的表示层、控制层、业