一种多视点视频自动颜色校正系统

针对多视点视频系统中视点间图像颜色不一致的问题,提出了一种多视点视频自动颜色校正系统。通过求取目标图像和源图像间的颜色校正矩阵,判断其是否满足全局校正的要求;对不满足要求的图像,通过图像分割和K-L变换(Karhunen-Loeve transform),建立起目标图像和源图像中各分割区域间的局部映射关系,并通过感兴趣区域匹配,来实现对源图像的校正,最后通过视频跟踪技术实现对视频图像的校正。以标准的多视点测试图像集为例,通过将新方法与直方图匹配、全局一维线性校正算法等进行比较,表明新方法能消除匹配失真的影响,且具有较好的颜色校正效果。研究结果表明该系统可以很好地揭示图像间的颜色变化关系,并且具有很好的内容自适应性,是一种有效的多视点视频图像系统颜色校正方法。     

字节全加器及其在无线电测控系统中的应用

对全加器概念进行了推广，并在此基础上给出了使用字节全加器网络的无线电抗干扰算法。通过在实际的无线电测控系统中的应用，结果表明该算法具有良好的无线电抗干扰效果。     

逻辑函数在布尔减、布尔除、非代数系统中的规范展开式

证明了布尔减与非运算、布尔除与非运算均构成完备集，并根据布尔除、布尔减的运算规则和性质，从最小项、最大项展开式出发，推导了任意逻辑函数在这两个完备集中的规范展开式。得到的展开式形式简单，容易记忆，与函数在与、或、非代数系统中的规范展开式之间的转换非常便捷。本文的工作对进一步完善布尔代数的四则运算理论具有一定的意义。     

基于0-1编码谱技术检测旋转对称函数

分析了旋转对称函数的0-1编码Hadamard变换谱系数的特点,给出了变量数n为素数的旋转对称函数的必要条件,提出了基于0-1编码Hadamard变换检测旋转对称函数的方法,该方法具有可编程操作以及同时可检测其他特殊布尔函数等优点.     

基于RM型通用门ULM3的对称函数综合

阐述了基本RM型对称函数的定义和性质，给出了任意”变量对称函数在n-1变量基本RM型对称函数完备集中展开系数的计算公式，在此基础上，提出了基于RM型三变量通用逻辑门ULM3的变量数为奇数或偶数的对称函数综合方法，实例验证了上述方法的有效性．     

线性函数的性质及其应用 线性函数的性质及其应用

给出了线性函数、部分线性函数和线性变量的定义,提出了它们的性质.根据上述定义,利用布尔代数中的基本定理和公式以及自双反函数和对称函数的定义对这些性质给出了证明.最后讨论了它们在逻辑综合以及计算逻辑函数的布尔差分中的应用.     

对称函数各完备集展开系数之间的转换

本文从三种构成完备集的对称函数的定义及有关性质出发，讨论了对称函数在各完备集中展开系数之间的转换，给出了相应的变换矩阵，从而建立了各完备集之间的相互联系.     

混合型多值CMOS电路的代数理论

该文在传输函数理论和电流型CMOS电路代数理论的基础上,提出了混合型多值CMOS电路的代数理论,并应用该理论设计了译码器和编码器。设计结果表明基于该代数理论的设计优于传统设计。     

对称三值电流型CMOS电路设计

本文应用开关信号理论,建立了采用对称三值逻辑的传输电流开关理论,该理论能指导从开关级设计对称三值电流型CMOS电路.应用该理论设计的对称三值电流型CMOS电路不仅具有简单的电路结构和正确的逻辑功能,而且能处理具有双向特性的信号.     

基于双向电流型CMOS电路的谱综合

数字逻辑中的谱技术主要用于数字电路的分析,本文则研究谱技术在数字电路设计中的应用。文中用双向电流CMOS电路实现谱函数,为数字电路设计提供了新的技术手段。