一种基于Linux Live USB的启动优化研究

Live USB上的Linux内核启动时间较长,这使Linux在Live USB上的普及受到了一定的限制。现存的对其进行优化的方法主要是通过配置Linux内核模块以及Linux内核运行参数以减少其启动时间,但这些优化方法并没有对占据大量Linux内核启动时间的设备初始化过程进行优化。为此,提出了一种针对PCI设备的初始化过程进行优化的方法,该方法的思想是通过已知信息,移除探测PCI总线上的设备的时间。实验结果表明该方法能够进一步减少Linux的启动时间,启动速度提升幅度达到21.25%。     

3-CCD扫描仪复合校正方法

在用3-CCD扫描仪代替分光测色仪检测打印机彩色特性时,由于扫描仪固有的光谱特性缺陷,需对扫描仪进行校正.本文将色调再生曲线与多项式回归校正相结合,对扫描仪进行复合校正.色调再生曲线改进了扫描仪的灰平衡效果,从而提高了复合校正精度.所给复合校正方法具有易实现、系统开销小的特点.     

关于软件测试的浅议

本文从介绍软件测试的概念人手，紧接着简单地阐述了软件测试的目的、分类及重要性，然后着重分析了软件测试的过程，最后说明了软件测试的现状。     

基于MIDAS技术的教学管理系统的设计与实现

分布式多层数据库技术目前已成为构建数据库应用系统的主流技术，Delphi中的MIDAS技术是进行多层数据库应用开发的利器。介绍了MIDAS的基本知识以及基于MIDAS技术进行多层数据库开发的方法，并将其应用到教学管理系统的开发中，提高了系统的效率，最后讨论了系统的特点及存在的问题。     

面向SPARC处理器架构的操作系统异常管理验证

航天器等安全关键系统是典型的嵌入式系统,具有多任务并发、中断频发等特点,操作系统是其最基础的软件,构建一个正确的操作系统是保障航天器系统高可信运行的关键.异常管理作为操作系统最底层的功能负责引导系统控制流的突变来响应处理器状态中的某些变化,异常管理的正确性是整个操作系统正确性的基础.本文提出了一种基于Hoare-logic的验证框架,用于证明面向SPARC处理器架构操作系统异常管理的正确性,特别针对多任务并发和中断频发实时操作系统异常嵌套与异常中发生任务切换的情况,将异常管理划分为五个阶段进行全面的形式化建模,并且在Coq证明定理辅助工具中实现了此框架.基于该框架验证了我国北斗三号在轨实际应用的航天器嵌入式实时操作系统SpaceOS异常管理功能的正确性.     

基于USB接口的数字电视接收盒设计

介绍了基于USB接口的数字电视接收盒的硬件以及软件的设计与实现,主要包括采集卡的硬件设计,固件程序设计,驱动设计以及应用软件的设计.     

图数据中频繁模式挖掘算法研究综述

 本文对图数据中的频繁模式挖掘算法进行了综述.依据算法的特性和数学基础对算法进行了分类,主要集中于算法的求解思想和不同算法之间的关系的比较,并对一些著名的算法进行了详细的分析和讨论.基于算法的特性,比较了各种算法适用的范围以及应用领域.最后,讨论了频繁模式挖掘的最新进展及未来的研究方向.     

基于纹理特征的图像检索

构造了具有旋转、平移和尺度不变的纹理特征,进而提出基于纹理图像检索算法.首先,根据角向矩极大原理将检索图像进行坐标校正,得到图像旋转不变的表示;然后,利用平移和尺度不变小波对检索图像进行分解,得到具有平移、旋转和尺度不变的小波分解系数;最后,采用各尺度的小波能量值刻画图像的纹理性,并针对特征向量内部进行高斯归一化,根据欧氏距离计算不同图像间的纹理相似度.基于内容的图像检索(CBIR)试验表明,该方法具有旋转、平移和尺度不变性,与其它方法相比,具有较高的检索率.     

一种UML序列图到层次状态图合成方法

UML序列图和状态图从不同侧面简洁、明了地描述了系统的动态行为.层次性状态图有利于提高系统对象的可理解性和可读性.本文提出了一种自动的、递增的多个UML序列图到层次性状态图的合成方法,并集成在Rose工具中.     

高可用CompactPCI平台在串口通信上的应用

为了获得高可靠和高带宽的通讯平台，设计了CompactPCI高可靠平台。该平台可以对包括主系统板的所有插件提供冗余备份，实现故障自动隔离，备件自动连接，可在不停机的情况下拔插系统板及其它插件，具有99.999％的高可靠性能，在现代通讯、航天、军事等领域具有广阔的应用前景。文中介绍了基于VxWroks实时操作系统下应用CPCI双机热备系统实现串口的高可用性的串口通信。