您的位置: 专家智库 > >

陈玲

作品数:2 被引量:7H指数:2
供职机构:长安大学信息工程学院更多>>
发文基金:国家高技术研究发展计划中央高校基本科研业务费专项资金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 2篇中文期刊文章

领域

  • 2篇自动化与计算...

主题

  • 1篇有损压缩
  • 1篇图像
  • 1篇图像压缩
  • 1篇自动生成
  • 1篇自动生成算法
  • 1篇系统设计
  • 1篇航空图像
  • 1篇分辨率
  • 1篇高分辨率
  • 1篇高分辨率图像
  • 1篇测试数据

机构

  • 2篇长安大学
  • 1篇西安交通大学

作者

  • 2篇陈玲
  • 1篇陈继锋
  • 1篇孙朝云
  • 1篇段宗涛
  • 1篇朱利
  • 1篇沈钧毅
  • 1篇陈柘

传媒

  • 1篇控制与决策
  • 1篇计算机工程与...

年份

  • 1篇2011
  • 1篇2005
2 条 记 录,以下是 1-2
排序方式:
高分辨率航空图像压缩系统设计被引量:2
2011年
针对高分辨率航空图像存储和传输的要求,提出了基于POWERPC、FPGA和ADV212的嵌入式图像压缩存储系统设计方法,实现了大小为4008x5366x12bit图像的有损和无损压缩存储。系统设计目标为每2秒存储一幅无损压缩图像,压缩比为2:1;并在限定传输速率为1.44Mbps的条件下,每8秒向地面传送一幅有损压缩图像。系统设计中使用ADV212完成JPEG2000标准压缩算法,FPGA实现图像数据的接收和分块,POWRE PC实现对ADV212的配置管理及图像文件的存储。实验结果表明,该系统设计能够满足预定高分辨率航空图像的实时压缩与存储要求。
陈柘段宗涛陈玲孙朝云
关键词:图像压缩高分辨率图像航空图像有损压缩
一种基于路径的测试数据自动生成算法被引量:5
2005年
提出了一种新的基于路径测试数据自动生成的算法.该算法将路径中的线性谓词函数直接作为线性算术表示来构造谓词函数关于输入变量的线性约束,仅当谓词函数是输入变量的非线性函数时,才计算其线性算术表示.因而不必计算所有谓词函数的线性算术表示,也不必计算谓词片和确定输入依赖集,以及构造谓词函数关于输入变量的增量的线性约束.理论分析和实例证明,该算法具有简单、容易、有效且计算量小等特点.
陈继锋朱利沈钧毅陈玲
共1页<1>
聚类工具0