基于粒子滤波的移动机器人SLAM算法

针对FastSLAM算法对传感器精度要求较高,不适用于方向性差的超声传感器问题,提出了一种基于超声概率栅格地图环境特征点提取匹配的移动机器人粒子滤波同时定位与地图创建(SLAM)算法.该算法可分解为机器人位姿估计和环境路标估计2个部分.基于蒙特卡罗定位原理利用粒子滤波算法对机器人运动轨迹进行估计;在建立全局超声概率栅格地图的基础上,利用概率栅格地图环境特征提取算法对环境路标坐标进行估计.实验证明,该算法较好地解决了超声测距传感器由于散射角大带来的特征点估计不准的问题,对环境路标和机器人轨迹的估计都比较准确.并对移动机器人累计误差进行了有效的补偿,减少了由于累积误差造成的移动机器人轨迹扭曲失真.     

格蕴涵代数、MV-代数和有界可换的BCK-代数

本文证明了格蕴涵代数和有界可交换BCK-代数是两个等价的代数系统,以及MV-代数和有界可交换BCK-代数是两个等价的代数系统。     

迈克尔逊干涉仪干涉条纹计数器

介绍自行研制的迈克尔逊干涉仪干涉条纹计数器的设计、原理及使用特点。     

基于行为序列灰色模糊判定的计算机木马检测方法

针对计算机木马判定困难的问题,提出了一种对行为序列进行多属性灰色模糊木马判定的方法.通过对计算机木马定性分析构建了木马攻击树,归纳了木马使用攻击树叶子节点方法实现不同功能的概率等级.使用基于木马行为的检测技术检测出主机包含网络通信、隐蔽运行、开机启动、自我防护四要素的所有行为序列,视这些行为序列为木马设计方案,使用模糊数量化定性指标,将灰色系统理论与模糊优选结合,计算各方案的木马灰色模糊的优属度,最后使用危险指数进行木马判定.应用示例表明该方法可以有效区分正常程序,检出木马程序.     

课改出现的新问题及引导策略探究

随着新课程改革的不断深入，教师的教学理念、教学行为以及学生的学习方式等方面均发生了重大的变化。初中生物的课堂教学也因此变得更加开放、灵活了，学生有了更多的自主学习的机会，这是非常可喜的现象，然而在新课程实施的同时也出现了不少新的问题。下面仅就这些新问题，浅谈笔者的引导策略，以供同仁们商榷。     

献给他人的英文祝福用语

Merry Christmas! 圣诞快乐! Merry Christmas and a happy new year. 敬祝圣诞,恭贺新喜。Best wishes on this holiday season. 献上最诚挚的节日祝福。Wishing you and yours a merry Christmas this holiday season. 值此佳节,祝你全家圣诞快乐。We wish you a merry Christmas. 我们祝你圣诞节快乐。Wishing you a beautiful holiday season.     

关于学报政治质量的若干思考

评价一家学术理论刊物为的质量标准一般可以分为政治质量、学术质量、编辑质量和出版质量等四个方面,对高校学报来说.政治质量的重要性是不容忽视的.本文围绕政治质量这一主题,论述了三大下面的内容:一、正确理解、认识学报政治质量的含义及内容;二、学报政治质量与学术质量的辩证关系;三、强化学报编辑的政治意识,提高学报政治质量.笔者认为,要强化学报编辑的政治意识,提高学报政治质量,首先要求学报编辑要加强自身的政治理论素养.其次就是在编审学报稿件时,要注意把好政治关.     

针对医院采用太阳能热水系统的模型分析

以坐落于北九州八幡区的一家医院作为研究对象，采用太阳能热水系统进行数据模型计算．医院的热水需求量通过九州的消费原单位进行计算，并采用经验公式对太阳能热水器的实际热水供给量进行计算．结果表明，太阳能热水系统基本上能满足用户的热水需求，与天然气锅炉供热水系统相比，太阳能热水系统能够减少天然气消费1054640立方米，减排2177吨二氧化碳，并且每年能够节省39000美元的碳素税．     

高阶线性系统稳定性的计算机辅助判定

本文讨论了高阶线性系统的稳定性概念以及通常使用的判别方法，通过利用高阶线性系统稳定性与高次方程的关系，从而导出利用计算机辅助判定系统是否稳定的判别方法。