基于整数序列表示的逻辑函数化简

作者在开发一个逻辑代数符号系统中，引入了逻辑函数的一种紧凑的基于整数序列表达方式，将每一个逻辑函数用一个整数序列来描述，每一个简单项用一个或两个整数来表达．基于整数序列的表示方式特别便于机械化．在逻辑函数Q-M化简法的基础上，提出了一个改进的基于整数运算的逻辑函数化简法．该算法只在同类简单项中寻找冗余变量，能输出具有最少的项数，且在项数相等的情况下又具有最少因子总数的所有最简与或式。     

非线性冗余函数方程组的展开式解

本文讨论了常量函数不一定相同的二元非线性冗余函数方程组的展开式解，其中针对未知函数的４种不同的位置分别进行了求解，得到了二元三次冗余函数方程组的展开式解，并给出了实例。     

多余观测分量研究

为了对多余观测分量有较深入的了解，本文研究了在工程控制网中多余观测分量的形成过程，导出了多余观测分量与各条件式系数和观测权的关系。     

捷联式惯性部件冗余设计

一本文以航天领域中卫星上惯性敏感部件的应用为背景，对捷联式陀螺和加速度计的冗余设计进行了分析和研究，得出在待测三维姿态量的平均方差最小意义上的陀螺和加速度计的几何最优安装结构；并对这几种配置方案的非故障模式和故障模式（包含临界故障模式）所能达到的精度指标进行了分析和推导，并同常规的非冗余正交安装方案进行了对比；此外，对这几种配置方案在温备份和热备份工作状态下的可靠性指标的计算公式进行了推导，并给出了相应的应用条件。     

关于一道全国大学数学竞赛题的再议

对第五届全国大学生数学竞赛一道试题的冗余条件进行了讨论。     

基于1553B总线的运载火箭供电测控系统设计

新一代运载火箭采用低温动力技术,测量系统获取飞行过程遥测参数的同时,需要完成火箭发射前低温推进剂加注期间压力、温度等关键参数的可靠获取。相比传统火箭,对测量系统在供配电和地面测控的可靠性设计、连续工作时间、测试性、扩展性和箭地接口设计提出了较高要求,对此文中提出了一种基于1553B总线的供电测控系统,介绍了系统的硬件和软件组成、功能和测控信息流向,分析了系统设计的4项关键技术：单机设备智能化设计、箭地接口简化设计、总线通信协议和高可靠PXI冗余备份设计。设计的新型供电测控系统在新一代运载火箭各项大型地面试验中成功实现了工程应用,系统方案设计的正确性得到了充分验证,系统方案在其他项目中得到了推广。     

基于冗余离散小波变换的立体图像视差估计

为提高立体图像视差估计的准确度及效率,从图像特征点入手,结合DT（delaunay triangle）网格技术,提出基于冗余离散小波变换的立体图像视差估计法．对参考图像进行冗余离散小波变换后,根据其平移不变性和各级子带大小相同的特点,通过各级高频子带相乘、叠加,再取相应闽值,得到参考图像特征点,并形成DT网格;以特征点为中心在目标图像中进行视差估计,得到各特征点的视差矢量,再结合仿射变换得到三角形内部各点的视差矢量,从而形成浓密的视差图．实验结果表明,根据视差图重建的目标图像PSNR值要高于传统的SAD块匹配法和Canny特征点法5～10db;对于CIF格式的立体图像,算法在Matlab7．0下时间消耗为15s．该算法在视差估计准确度和运算速度上具有较好性能,可应用于立体图像处理领域     

无线电环境地图的冗余感知数据删除技术研究

移动群智感知(mobile crowd sensing,MCS)技术在无线电环境地图(radio environment map,REM)的数据收集系统中优势明显,具有良好的应用前景.但由于移动群智感知的时空相关性特点,感知数据中存在大量的冗余,造成了数据存储效率低与传输带宽消耗大的问题.针对此问题,提出一种基于感知数据综合差异度的无线电环境地图冗余数据删除技术.该技术通过计算感知数据之间的综合差异度,实现对无线电环境地图系统中感知数据的冗余检测与删除.为了验证所提技术的有效性,通过实验将该技术与传统的重复数据删除技术进行比较.实验结果表明,与传统的重复数据删除技术相比,所提出的技术在保证数据完整性的前提下,极大地提高了系统的存储效率,降低了数据传输过程中网络带宽的消耗.     

大型混匀取料机料耙液压系统可靠性最优化研究

为了提高大型混匀取料机料耙液压系统的可靠性,提出一种最优化原则,通过对系统进行最优化建模及对多种冗余模型的分析计算,得出了系统的最优化配置。研究结果表明,该最优化方法可有效提高料耙液压系统的可靠性,还可合理减小系统总质量。     

基于Haar变换的冗余函数和线性函数的检测

给出了归一化Haar变换矩阵元的通式,讨论了归一化Haar变换谱系数与冗余函数和线性函数的关系．在此基础上提出了基于归一化Haar变换的检测冗余函数和线性函数的谱方法．该方法的主要优点是可以同时检测其他特殊逻辑函数以及易于计算机编程操作．