基于表格法的部分变量取反的对称函数检测

对称函数有许多优点,引入部分变量取反的对称函数可以大大增加对称函数的数目,从而有助于扩大对称函数的应用范围.检测对称函数是函数对称性研究中的重要工作.分析了基于表格法的对称函数检测,在此基础上进一步提出了改进的部分变量取反的对称函数检测的新方法.     

基于逻辑函数e导数的双逻辑综合

讨论了逻辑函数的e导数与逻辑函数化简的关系,并在此基础上提出了基于逻辑函数e导数化简逻辑函数的新方法.由于采用了双逻辑综合,逻辑综合效果优于传统的基于与-或-非运算的逻辑综合.     

一种提高差分GPS基准站定位精度的新方法

在差分GPS系统的应用中，基准站的精确定位是一个重要问题，本文首先介绍了C/A码差分GPS基准站的精确定位的一般方法，着重对在实践中最常用的简单平均方法做了详细分析，针对简单平均方法的不足之外，提出了一种基于精确衰减因子（DOP）加权的卡尔曼滤波方法，实验结果表明，本文提出的C/A码差分GPS基准站定位方法能够有效地提高定位精度。     

基于遗传算法的静态环境全局路径规划

静态环境中移动机器人全局路径规划一直是路径规划中的一个重要问题.作者提出了基于遗传算法的静态环境下机器人全局路径规划方法.该方法首先提出机器人工作空间中环境信息的神经网络模型,并利用该模型建立机器人免碰撞路径与神经网络输出的关系,然后将需规划的路径的二维编码简化成一维编码,并把免碰撞要求和最短路径要求融合成一个适应度函数.通过对算法进行实验仿真表明,提出的全局路径规划方法是正确和有效的.     

区域法立体匹配的实时性问题研究

立体匹配的一个关键问题是计算量大，实时性难以保证，作者从两个方面着手对立体匹配算法进行优化，首先是在算法结构上，应用盒滤波技术消除了冗余计算；其次在实现上，针对Intel Pentium4处理器的特性，从存储器组织和高速缓存的利用，SSE2多媒体扩展指令的应用以及基于超线程技术的并行处理等三个方面进行优化实现。实验结果表明，所提出的算法在实时性上有了很大的提高。     

降维dj图及或-符合函数的化简

提出了降维dj图,讨论了获得降维dj图的代数方法和图形方法,给出了利用降维dj图化简或-符合函数的方法,实例验证了化简方法的有效性.降维dj图的引入压缩了dj图的规模,从而扩大了dj图的使用范围.     

用阈函数实现任意逻辑函数的新方法

本文讨论了任意逻辑函数化为阈函数的基于谱技术的设计方法，并在此基础上提出了一种新方法。     

单目视觉的同时三维场景构建和定位算法

同时场景构建和定位算法是机器人自主导航的重要组成部分.针对传统算法不能应用于室外环境和缺乏定量分析的缺点,提出了一种单摄像机恢复场景三维结构和摄像机位姿的新算法.提出了视频序列关键帧提取方法,降低了运算复杂度;利用特征点对和摄像机内参量计算场景三维结构和关键帧的位姿并提出一种估计关键帧位姿的简便方法;最后,提出一种兼顾优化效果和运算复杂度的自适应光束法平差算法优化场景结构和摄像机位姿,并生成适于机器人导航的数字高程图.室内和室外多种场景下的定量和定性实验结果表明,绕行误差低于4%,该算法能够接近实时准确实现同时场景构建和摄像机定位.