Evaluation of stereo correspondence algorithms and their implementation on FPGA

The accuracy of stereo vision has been considerably improved in the last decade, but real-time stereo matching is still a challenge for embedded systems where the limited resources do not permit fast operation of sophisticated approaches. This work presents an evaluation of area-based algorithms used for calculating distance in stereoscopic vision systems, their hardware architectures for implementation on FPGA and the cost of their accuracies in terms of FPGA hardware resources. The results show the trade-off between the quality of such maps and the hardware resources which each solution demands, so they serve as a guide for implementing stereo correspondence algorithms in real-time processing systems.     

基于EPR态的量子代理签名方案*

提出了一种量子代理签名方案,利用量子力学中Einstein-Podolsky-Rosen(EPR)的纠缠特性并结合经典编码方法来实现对量子比特串的签名和验证。在本方案中,原始签名人可以将自己的签名权委托给代理签名人,而量子密钥分配和一次一密保证了新方案的无条件安全性。研究表明新方案满足不可伪造性、不可否认性和可追踪性。     

二型模糊集模糊推理方法的单调性

模糊推理是蓬勃发展中的模糊控制技术的数学核心,二型模糊集的模糊推理是研究二型模糊逻辑系统的基础。各种模糊推理方法都具有单调性,从而导致人们当使用这些模糊推理方法时,应首先判明所讨论问题领域的推理是否具有相应的性质,否则可能导致不恰当的推理结果。     

非树调和图的必要条件与非调和图类

使用同余的方法,给出了一般调和图的必要条件;还给出正则图、Euler图、圈的粘接以及圈的并是调和图的必要条件。指出了Euler图中的非调和图类,m个n圈的粘接图中的非调和图类。构造了偶圈的具有同顶点的调和母图。     

Asymptotical mean square stability of cellular neural networks with random delay

In this paper,the asymptotical mean-square stability analysis problem is considered for a class of cellular neural networks (CNNs) with random delay. Compared with the previous work,the delay is modeled by a continuous-time homogeneous Markov process with a finite number of states. The main purpose of this paper is to establish easily verifiable conditions under which the random delayed cellular neural network is asymptotic mean-square stability. By using some stochastic analysis techniques and Lyapunov-Krasovskii functional,some conditions are derived to ensure that the cellular neural networks with random delay is asymptotical mean-square stability. A numerical example is exploited to show the vadlidness of the established results.     

一类状态不可测模糊时滞系统的稳定性分析

针对一类基于T-S模型的模糊时滞系统,在系统状态不可测的情况下,应用平行分布补偿算法（PDC）设计了状态观测器,并给出了模糊时滞系统渐进稳定的充分条件。应用Lyapunov函数和线性矩阵不等式方法,证明了模糊时滞系统渐进稳定性。仿真结果进一步验证了所提出的方法和条件的有效性。     

平面上不可压缩的Navier-Stokes方程五模截断方程组的标准型

把广义的类Lorenz系统推广到五维,给出了平面上不可压缩的Navier-Stokes方程五模截断方程组广义的类Lorenz系统的标准型;讨论了截断方程组标准型的形式统一性。     

模糊关系下的概率粗糙集模型及其Bayes决策

经典的概率粗糙集模型是基于论域上的等价关系而建立的,然而在实际应用中,等价关系很难得到。因此,经典的概率粗糙集模型被推广到基于一般二元关系的概率粗糙集模型。更进一步地,还可以推广到模糊二元关系。建立了基于模糊关系的概率粗糙集模型,推广了前人的工作,同时给出了该模型下的Bayes决策方法和应用实例。     

一类高次多项式系统的极限环

利用平面自治系统的极限环和分支理论,研究了一类具有普遍意义的高次多项式系统,讨论了该系统极限环的存在性和唯一性．     

关于信息量的两个新的不等式

在文献[1]的基础上,建立关于互信息和联合熵的新的不等式,并且对它们给予证明。