The Optical Implementation of High Efficiency Packed Redundant Binary Number Addition Based on Boolean Polarization－encoded Logic Algebra

Ｔｈｅ　Ｏｐｔｉｃａｌ　Ｉｍｐｌｅｍｅｎｔａｔｉｏｎ　ｏｆ　Ｈｉｇｈ　Ｅｆｆｉｃｉｅｎｃｙ　Ｐａｃｋｅｄ　Ｒｅｄｕｎｄａｎｔ　Ｂｉｎａｒｙ　Ｎｕｍｂｅｒ　Ａｄｄｉｔｉｏｎ　Ｂａｓｅｄ　ｏｎ　Ｂｏｏｌｅａｎ　Ｐｏｌａｒｉｚａｔｉｏｎ－ｅｎｃｏｄｅｄ　Ｌ...     

k/N:G冗余表决系统的渐近稳定性

分析了带有修理设备和多重致命及非致命操作故障的k／N(G)冗余表决系统的渐近稳定性．用该系统算子生成的正定C-半群证明了系统非负时间依赖解的存在唯一性．同时通过对系统算子谱点分布的分析，证明了本征值0对应的本征向量恰好是系统的静态解，并且，0是虚轴上系统算子唯一的谱点，从而证明了系统的渐近稳定性．     

LED分组密码内部模板攻击改进研究

为了降低现有内部模板攻击的数据复杂度并提高攻击成功率,提出了一种内部模板攻击改进算法.对内部模板攻击算法进行了两点改进:一是在模板匹配分析阶段,提出了一种基于等级相关性的模板匹配策略,利用功耗曲线电压值的相对排名,提高了单个密钥片段恢复的局部成功率;二是在密钥恢复阶段,提出了一种基于校验方程的密钥恢复方法,利用冗余信息来修正猜测多个密钥片段的概率分布,提高了多密钥片段恢复的全局成功率.以8位微控制器上的LED(轻型加密设备)密码功耗旁路分析为例,开展了攻击验证实验.结果表明:改进后的算法提高了匹配的区分度,降低了攻击所需功耗曲线数量,仅需要50条功耗曲线即可使攻击的全局成功概率接近100%.     

基于RFM的机载余度计算机软件快速测试平台

现代飞机普遍采用电传飞行控制系统,飞行控制计算机是该系统的核心。为了提升飞控计算机的可靠性,普遍采用余度技术构建余度飞控计算机,该计算机由多个通道构成,每个通道有一个CPU,互相构成备份。但是,这给飞控计算机的软件调试和测试带来的巨大的困难,因为各个通道的机载软件之间相互同步、通信和交叉监控,必须并行调试和测试,这就造成了机载软件调试和测试的滞后,必须等待真实的飞控计算机开发出来之后才能开展工作。本文提出了一种基于RFM(反射内存)的余度计算机快速原型测试平台设计方法。该平台使用商用货架产品构成余度计算机的多个冗余通道,使用RFM模拟多通道间的通信、同步过程,通过对底层驱动封装实现硬件故障模拟和余度功能模拟,方便实现软件调试和从性能、功能测试,大大提高了开发效率,减少了研制周期。     

Greedy expansions in Banach spaces

We study convergence and rate of convergence of expansions of elements in a Banach space X into series with regard to a given dictionary . For convenience we assume that is symmetric: implies . The primary goal of this paper is to study representations of an element f∈X by a series

基于敏感度的H.264视频容错编码算法

针对视频图像传输中数据丢失和误码而导致的图像质量下降问题,结合灵活宏块排序（FMO）技术和冗余编码的优缺点,提出了一种基于错误敏感度的H.264冗余片编码算法。该算法首先确定运动敏感区域中的错误敏感宏块,然后利用 FMO 自定义模式进行冗余编码。仿真测试结果表明,该算法能够有效提高视频码流的抗误码能力,重构图像的主观和客观质量有明显提高。     

海量冗余数据干扰下数据库中数据优化检索方法

针对传统方法对数据库中的数据进行检索的过程中,在海量冗余数据干扰时存在无法区分检索数据类别,降低数据检索的效率和精度的问题,提出一种基于特征模糊接近的海量冗余数据干扰下数据库中数据优化检索方法.利用数据模糊集间的接近度表述海量冗余数据干扰下数据库中数据的一致度,结合数据融合技术,对类间数据实现分类处理.利用模糊集算法准确查询分类数据,对分类数据实现二次聚类计算,细分其类边缘,通过加载辨别函数实现数据定位,完成数据检索.实验结果表明:该方法进行数据检索时具有较高的检索效率和精度,且抗干扰能力较强.     

采用冗余字典稀疏表达的红外与水汽云图融合

卫星云图作为典型的多光谱遥感图像,因各个遥感器成像波段的差异,致使云图间既有一定的相关性,又存在一定的差异,故可认为云图包含2种特征:共性特征和个性特征.一种稀疏表示的云图融合方法,能够把多幅云图在一个过完备字典上进行稀疏表示,使用稀疏系数作为云图的特征,然后对不同图像的个性特征根据稀疏系数向量的1范数决定权重因子,融合云图可以由共性特征和融合后的个性特征联合表示.实验表明,该方法的融合云图无论在客观指标还是视觉效果上都优于传统方法,蕴藏了更为丰富的天气信息.     

检测含任意项特殊逻辑函数的图形方法

线性函数、冗余特殊、自反函数、自双反函数等特殊逻辑函数在电路设计中具有独特的优点.从特殊逻辑函数的定义出发,提出了基于K图检测含任意项线性函数、冗余函数的方法及基于分解图检测含任意项自反函数、自双反函数的方法,并举例说明了具体检测过程.应用结果表明,该图形方法具有直观,便捷等特点.     

采用质量差和超小导程/直径比丝杠传动的点胶量精细计量技术及系统设计(英文)

基于冗余技术原理,采用制件点胶前后质量差和超小导程/直径比阿基米德丝杠技术组合,辅以自润滑双导轨设计,保证点胶量控制胶滴为(0.200±0.001)g;采用模块化设计,实现点胶机性能的高精度和功能的适度柔性,并通过模块化试制模拟样机,优化点胶机的空间结构及整机可靠性.研究结果表明:该方案保证了点胶量的实时精密控制且同时满足生产节拍的要求.