正规式布尔函数NPN等价匹配算法

通过对香农分解代数余子式的运算研究,发现了对称变量和独立变量在NP等价变换中的6个属性,充分利用变量的对称性和独立性NP变换后的不变性、独立变量相位不确定性、在NP匹配中独立变量识别其他变量和其他变量识别独立变量的不可用性,提出了一种基于正规式的布尔函数NPN等价匹配算法。通过对大量MCNC标准电路库中电路和随机生成电路的7-22变量布尔函数的匹配实验,在两个实验电路集上本文算法与基于高阶通用特征匹配算法相比,匹配过程中的搜索空间平均减少了58.8%、布尔匹配的速度提高了45.6%,能够为电路优化和电路映射提供更加快速和有效的布尔匹配。     

对称布尔函数Walsh谱的渐近特性

研究了当变元个数n较大时对称布尔函数的一些性质。证明了对固定的d,变量个数n取较大值时,n元d次平衡对称函数都是平凡对称的。并进一步给出了变元个数充分大时Walsh谱的一些性质。     

平衡对称布尔函数的构造与计数

据文献[1],平衡对称布尔函数的构造与计数等价于背包方程 的求解与解的计数。本文先求出了当 为奇数时这个背包方程的一个解集合 以及 中所有解的个数,然后给出了这个背包方程存在其它解（即不包含于集合 的解）的充分必要条件,同时提供了一种求其它解的方法。最后求出了当 （ 为正整数）时这个背包方程的部分解。     

一些不平衡的初等对称布尔函数

文献[8]猜想n变元d次不平衡初等对称布尔函数X(d,n)具有唯一形式X(2t,2t+1l-1)。对于wt(d)=3,文献[9]给出了一些不平衡的X(d,n)。对于n=2t+1l-1,l为奇数,2t+1|/d,文献[10]证明了上述猜想。文献[11]证明了上述猜想对充分大的n成立,但没有估计n的大小。对于d=2tk,n=2t(2k+q)+m,k=2w(20+21+…+2s),文章证明了对于给定的s和q,如果w充分大(n也充分大),则wt(X(d,n))>2n-1,并且估计了w的大小,这个结果与文献[11]中的结果 wt(X(d,n))<2n-1不同。同时也证明了对于给定的w,q和t,如果s充分大(n也充分大),则wt(X(d,n))<2n-1。     

一种基于对称集的平面图形匹配新方法

定义了一种新的形状描述子和一种矩阵内积.该描述子是二值对角对称图表,此图表具有图形上成对点的全局对称特性.在定义了矩阵的内积基础上,计算了两图形的匹配值.此定义方法缩短了匹配值的计算时间,通过几种类别的图形测试了这种描述子的描述能力.     

符号对称矩阵的谱特征

引入一类特殊矩阵-符号对称矩阵,反符号对称矩阵,弱符号对称矩阵,给出了有关这类对称矩阵谱特征的一些重要结论.     

基于混沌和边缘特征的医学图像加密算法

基于混沌和边缘特征,给出一种医学图像加密算法,以改善加密效果并提高安全性能。先对原始医学图像进行位平面分解,并利用混沌序列获得源图像的边缘映射;再对原始图像位平面和源图像边缘映射依次进行异或操作;将异或图像合并后进行像素置乱和像素扩散处理,即可实现对医学图像的有效加密。理论分析和仿真实验表明,所给算法具有较大的密钥空间及密钥敏感性,与已有同类算法相比,其抵抗安全攻击的性能更强。     

基于模糊聚类分析中布尔矩阵法的一种改进算法

为避免布尔矩阵法中当截矩阵不是等价矩阵时需要对布尔矩阵重新构造才能实现分类,引入了分类对象间相似比的概念,引进了聚类分析中的布尔矩阵法.实例证明,与传统的几种分类方法的分类结果相比,改进算法得出的分类结果比较符合实际情况,更易让人接受和理解.     

基于对称分量突变量距离保护

用对称分量分析了短路故障序分量突变量与故障点间的关系,根据附加状态序网络,推导出有意义的计算前适用于各种横向故障保护安装处至故障点间的k值的一般表达式;故障点存在过渡电阻时k值虽然存在误差,但不影响测距或距离保护程序应用;提出了对称分量突变量选择故障相原理及相间距离保护程序流程和故障点存在过渡电阻时减小误差的措施。通过双侧、单侧电源系统仿真验证了该方案的有效性。     

偶数元平衡对称布尔函数的构造与计数

平衡对称布尔函数的构造与计数等价于二元域上某个含有n个变量的背包方程的求解与解的计数,并且当n为偶数时,该背包方程存在2组平凡解。给出了当 为偶数时,这个背包方程有非平凡解的充分必要条件;提供了1种求非平凡解的方法;求出了当 和 （ 为正整数）时,这个背包方程的非平凡解。     

基于笔划匹配的在线手写签名身份认证算法

目的使用计算机把手写签名的图像、笔顺、速度和压力等信息与存储的真实签名样本进行对比,以实时鉴别手写签名真伪.方法笔者给出一种手写签名身份认证的笔划匹配算法,选用签名的速度及压力变化率作为特征向量进行相似度计算,降低签名在坐标和方向上不一致造成的影响,引入加权H＇模的距离计算公式来度量输入签名与样本签名的差异.结果经第一届国际手写签名身份认证竞赛样本数据库检验,误拒率为2%,误识率为零.大笔划匹配算法解决了签名由于断笔、干扰等因素造成的笔划数不等的问题;在防止伪造签名的前提下,提取签名的动态特征进行比较,提高了算法的识别率.结论在线手写签名认证具有方便和快捷的特点,适合作为身份认证手段.通过实例检验了算法的有效性.     

基于遗传算法实现签名曲线的匹配

将遗传算法的思想应用于曲线比较,解决了签名曲线匹配的问题.先通过对一般的曲线相似性比较,建立起数学模型,然后结合数学模型,分离出待讨论的     

一种基于遗传算法的立体匹配方法

立体匹配问题是被动视觉研究中最关键的问题之一。本文定义了描述立体匹配问题的染色体表示,设计了相应的适应度函数,并按照立体匹配中相应的约束条件,将遗传算法应用于该问题中。实验证明该算法具有较强的适应性和稳定性。     

基于反馈的立体匹配算法

针对因传统的置信度传播（BP：Belief Propagation）算法生成的深度图并非十分精确而导致深度图的绘制及立体重现存在的失真问题,提出一种基于反馈的立体匹配算法,使生成的深度图进一步优化。该算法首先通过BP算法生成深度图,然后由左视点图像与深度数据绘制右视点图像,将绘制出的右视点图像与真实右视点图像进行比较,再将比较结果反馈给BP算法的匹配代价,最后由新的匹配代价重新生成深度图。实验结果表明,该算法与无反馈的算法比较,绘制右视图的PSNR（Peak Signal to Noise Ration）值平均增高0.2 dB。     

基于WM算法改进的多模式匹配算法

为提高入侵检测系统整体的性能和效率,在研究经典的WM（Wu-Manber）多模式匹配算法的基础上,提出一种改进的WM多模式匹配算法。该算法使用后缀表方法,减少了匹配过程中模式字符串与文本的比较次数。实验结果表明,该算法有效提高了入侵检测系统匹配的速度和效率。     

基于地图匹配的自主导航算法

已知环境下为弥补卫星信号丢失带来的导航精度下降问题,提出了基于地图匹配的组合导航算法。自主导航系统采取INS/GPS组合方案,在GPS信号有效时,建立基于道路约束的环境地图,GPS信号无效的时候利用已建立的环境地图辅助惯性导航,减少导航误差。通过实测数据,针对GPS信号无效的情况进行了计算机仿真,给出了实际路试结果。结果表明,新算法有效提高了导航精度。     

基于三角形相似性的图像匹配算法研究

本文提出一种新的H／S（Harrls／SIFT）特征点提取算法,在此基础上根据三角形相似性原理,引入基线三角形组及复数空间,使传统的被动搜索三角形变为主动构造三角形,并利用多模板实现图像匹配。实验表明该匹配算法在图像存在旋转、尺度变化等情况下具有良好的应用性能。     

基于权重的地图匹配算法

综合考虑车辆行驶的位置、方向以及与GPS定位轨迹的相似性,提出了基于权重的地图匹配算法.该算法将GPS定位数据转换成道路网络的弧的权重,然后根据弧的权重大小来确定车辆当前行驶的道路.在算法中利用道路的拓扑结构使算法简单,使定位数据减少,节约计算资源.仿真结果表明,此算法具有很好的实用价值.