-
32271.模态逻辑S4的覆盖语义及其完备性
[计算机、通信和其他电子设备制造业] [2014-07-15]
基于第六种覆盖粗糙集模型提出了模态逻辑S4的覆盖语义,利用覆盖模型与Kripke模型之间的关系,证明了覆盖语义的可靠性和完备性定理.进一步讨论了覆盖语义与Alexandrov拓扑语义之间的关系.证明了覆盖语义与Alexanrov拓扑语义是和谐一致的.
关键词：模态逻辑；覆盖语义；Kripke语义；拓扑语义；完备性
-
32272.基于Gabor小波与Memetic算法的人脸识别方法
[计算机、通信和其他电子设备制造业] [2014-07-15]
提出一种基于Gabor小波与Memetic算法的人脸识别方法MA-Gabor(Memetic Algorthm-Gbor).算法使用一组特定的Gabor小波滤波器对人脸图像重要区域进行针对性的特征提取运算,可在较短处理时间内获得更具区分能力的识别数据.为提升识别性能,MA-Gabor引入Memetic算法用于Gaor小波滤波器组的优化设计.实验结果表明,Memetic算法可获得比传统优化方法更佳的设计效果.通过将优化设计的Gabor小波滤波器组用于人脸图像的特征提取,MA-Gabor算法可取得比现有人脸识别方法更高的识别率.
关键词：人脸识别；Gabor小波；Memetic算法
-
32273.负极性电火花加工时的电极损耗机理及积碳层的减损作用研究
[计算机、通信和其他电子设备制造业] [2014-07-15]
本文基于场致发射理论,对负极性电火花加工时电极材料的损耗情况及极间做功能量进行了研究,设计并分别进行了不同工艺参数下紫铜电极和A3#钢电极单孔负极性电火花加工对比实验.实验研究结果表明:相同工艺参数下,紫铜电极比A3#钢电极加工时的极间放电能量大,加工效率高且电极材料的损耗率低:表面积碳层对紫铜电极材料有着良好的减损作用,而对A3#钢电极则作用甚微；且对紫铜电极而言,在保证有效消电离的情况下,极间有效放电时间比越高,加工效率越高,电极的损耗率越低,而相应的积碳层对电极材料的减损率则减小.
关键词：电火花加工；电极损耗；积碳层
-
32274.PCNN参数自适应设定及其模型的改进
[计算机、通信和其他电子设备制造业] [2014-07-15]
脉冲耦合神经网络(PCNN)模型在数字图像处理中有着广泛应用,但基本都是从网络的外在特性出发并结合一定的实际应用对其进行研究和改进,缺乏对模型本身数学特性的分析.本文从PCNN模型的迭代方程出发,对无耦合连接和耦合连接两种状态下的PCNN数学模型进行了点火机理分析,揭示了PCNN模型本身的数学耦合特性(点火阶梯)以及其对网络生物学特性(脉冲发放特性)会造成干扰和影响的现象,并分析了这种干扰和影响产生的机理和消除方法,同时提出PCNN用于图像分割时参数自适应设定的方法.最后给出了更能体现神经网络生物学特性的PCNN改进模型,将其用于Lena等图像的分割处理中,取得了良好的效果.
关键词：神经元点火机理；模型数学耦合特性；参数自适应确定；PCNN改进模型
-
32275.基于有符号数字系统的Montgomery模逆算法及其硬件实现
[计算机、通信和其他电子设备制造业] [2014-07-15]
在椭圆曲线密码中,模逆运算是有限域运算中最复杂、最耗时且硬件实现难度最大的运算.本文在Kaliski算法的基础上,提出了基于有符号数字系统的Montgomery模逆算法,它支持素数域和二进制域上任意多精度参数的求模逆运算.据此算法,设计了相应的硬件结构方案,并给出了面积复杂度和时间复杂度分析.仿真结果表明,相比于其它模逆算法硬件设计方案,本文提出的基于有符号数字系统的Montgomery模逆算法在运算速度、电路面积、灵活性等方面具有显著的优越性.
关键词：椭圆曲线密码；有符号数字系统；可伸缩；双有限域；模逆
-
32276.一种基于码字分布特性的G.729A压缩语音流隐写分析方法
[计算机、通信和其他电子设备制造业] [2014-07-15]
有学者提出了一种在压缩语音编码过程中进行QIM(Quantization Index Modulation)隐写的方法.该方法可用于在G.729A压缩语音流中高隐蔽性地嵌入秘密信息,研究其隐写分析方法很有必要.本文首先分析了QIM隐写对G.729A码流造成的显著性特征变化,发现该种隐写将使码流中LPC滤波器的量化索引(码字)发生转移,并导致码字分布的不均衡性及相关性特性发生改变.本文设计了统计模型,实现了对码字分布特性的最化特征抽取；结合支持向量机,本文构造了用于隐写检测的集成分类器系统.实验结果显示本文方法能够在低于30ms的时间内,获得超过98％的检测准确率,实现了对QIM隐写的快速有效检测.
关键词：信息隐藏；隐写分析；G.729A；量化索引调制；码字分布特性
-
32277.基于传播子技术的辛时域多分辨率方法
[计算机、通信和其他电子设备制造业] [2014-07-15]
数值求解三维时域Maxwell方程的过程中,保持方程的内在结构显得尤为重要.利用Hamilton函数的变分形式,将Maxwell方程表述为Hamilton正则方程形式.在时域方向,利用辛传播子技术对方程进行离散以保持方程的内在结构；在空域方向,采用时域多分辨率方法对三维旋度算符进行差分离散,建立了求解Maxwell方程的辛时域多分辨率(S-MRTD)方法.对S-MRTD方法的稳定性及数值色散性进行了系统的探讨,数值结果表明该方法的正确性及高精度性.
关键词：传播子技术；辛时域多分辨率；稳定性；数值色散性
-
32278.交换超立方体的拓扑性质与嵌入问题研究
[计算机、通信和其他电子设备制造业] [2014-07-15]
交换超立方体(Exchanged hyperwbe)作为超立方体的一种变型网络,降低了网络规模增大时所需要的拓扑连接的开销.本文根据交换超立方体的图形化定义,得到交换超立方体的公式化定义,证明了交换超立方部分子网与超立方网同构,提出EHS(s,t)和EHT(s,t)的概念,并在此概念的基础上证明了交换超立方体中只存在长度不小于4的偶数圈,证明了交换超立方体的顶点连通度和边连通度都为min{s+1,t+1}.为使交换超立方体具有更广阔的应用范围,本文还提出了超立方体在交换立方网中的三种嵌入策略,证明了n=s+t+1时,n-1维超立方体Qn-1能够同胚地嵌入到交换超立方体EH(s,t)中.
关键词：互联网络；交换超立方体；超立方体；连通度；同构；同胚；嵌入
-
32279.一类特殊的比特变换的研究
[计算机、通信和其他电子设备制造业] [2014-07-15]
在S-P网络中,P变换的设计直接影响着分组密码的整体扩散性能.基于此,提出了一类特殊的比特变换的概念,证明了该类比特变换是对合变换目其分支数为4,并给出了输入和输出重量之和等于4的输入输出对的个数.进一步的分析表明,尽管该类比特变换的分支数没有达到最大值,但仍然具有较好的扩散性能.
关键词：一类特殊的比特变换；对合变换；分支数；扩散性
-
32280.Ménage问题的一种粘贴DNA算法
[计算机、通信和其他电子设备制造业] [2014-07-15]
解决图论与排列组合难题是DNA计算领域的研究目标之一.为了使用分子生物方法解决Ménage问题,本文给出了Ménage问题的数学模型；并对解决该问题的难点进行了分析,提出一种解决方案,改进了该问题的数学模型；提出一种解决Ménage问题的粘贴DNA算法并简要分析了该算法的复杂度.为了提高效率,引入广义分离和广义多级分离操作；通过一个实例给出了实验操作步骤,对实验进行了模拟.
关键词：DNA计算；圆周排列；Ménage问题；粘贴模型
027-87841330