摘要：无论是站内信息检索还是特定的Web信息搜集,都离不开全文搜索引擎系统的核心模块——网络爬虫,本文详细介绍了一种设计及实现方案,包括页面搜集器和页面索引器的基本工作流程、数据存储结构、核心算法及主要的技术难点。该系统经实际运行,效果良好,最后给出了有待进一步改进的地方。

摘要：作为一种开源的机器人操作系统,ROS在家用或服务性机器人上也得到广泛应用,保证其设计的正确性相当重要.本文通过定理证明的方法对ROS的节点间通信进行形式化建模与属性验证.对通信层的节点间连接建立和消息传递过程进行抽象建模,模型融合网络拓扑、主题匹配和路由机制等部分,定义函数对其进行描述,提取路由函数的存在性、可达性及正确性等3个关键属性,运用定理证明工具ACL2对ROS节点间通信的功能正确性进行自动验证,证明消息从源节点出发并选择有效的传输路径到达目的节点.这种满足属性要求的参数化模型具有一般性和易扩展性,并能保证ROS节点间通信的终止属性和功能正确性,可为ROS通信层设计的正确性验证工作提供一个有效的方法参考.

摘要：我国空间太阳望远镜(SST)项目采用了SpaceWire作为传输总线,目前针对SpaceWire总线的验证主要采用测试和模拟等传统的方法,这类验证方法是不完备的.本文旨在对SST项目中SpaceWire总线的DS编码电路是否如实地实现标准中的规范要求进行验证,运用定理证明的形式化方法,在HOL4工具上对该电路的设计实现与规范要求的一致性进行验证,克服了传统验证方法的局限性.

摘要：SpaceWire是在苛刻环境下的高速通信总线协议,译码电路是其接收端的关键电路,对该电路进行形式化验证具有重要的现实意义.形式化验证方法中的定理证明将需要分析的电路进行形式化建模,结合定理证明器,对模型的性质进行严格推理从而完成验证.本文运用定理证明的方法,在高阶逻辑证明工具HOL4中对SpaceWire总线的译码电路进行形式化验证.首先根据SpaceWire标准规范抽取相关性质,用高阶逻辑语言形式化描述;然后分析电路设计中的VHDL代码,依据代码实现的功能用相应的逻辑谓词建模;最后在HOL4中证明了译码电路设计的模型能满足所提取的性质.本文同时给出了形式化建模的方法和验证过程.

摘要：目前,Google和Willow Garage已经为Android系统构建ROS(Robot Operating System)环境提供了基于rosjava的应用功能包集合android_core,便于Android移动终端和ROS进行互联互通。然而,当前的通信机制不能保证Android应用对基于ROS的机器人进行可靠的远程控制。为解决上述问题,从ROS中的应用层和通信机制两方面对ROS进行完善。一是在ROS端TCP/IP协议的应用层设计通信异常检测模块"Check Node Connection"来进行Android移动终端的连接状态检测;二是在Android端设计与ROS中"ROS Action Protocol"相匹配的通信机制"Ros Action On Android"。实验结果表明,设计的通信异常检测模块"Check Node Connection"可以高效地检测Android与ROS间的连接状态。此外,"Ros Action On Android"通信机制可时刻获取ROS机器人在任务执行中的状态反馈信息并支持任务抢占,使得交互控制更加精准可靠。

摘要：介绍研制的超级电容不间断电源(UPS)智能监测系统,阐述该系统的工作原理、流程以及软硬件设计。以STM32为核心处理器,实现超级电容UPS在线故障检测、超级电容关键参数电容量(C)和等效串联电阻(ESR)测量及劣化状态评估等功能,提高UPS可靠性。实际运行结果表明,该系统能快速检测出故障信号,准确测得超级电容C和ESR。

摘要：为了深入研究超级电容的容量与端电压、充放电电流的关系,设计并实现了基于LabVIEW的超级电容容量动态测试系统。对超级电容容量的测试方法、信号调理电路的设计、传感器及数据采集卡的选型进行了介绍,详细阐述了基于LabVIEW的软件设计,着重分析了超级电容端电压随时间的变化情况,并在此基础上研究了超级电容容量随端电压及充放电电流的变化情况。系统测试结果表明,该系统可以准确、同步地采集超级电容特征数据,确定端电压、充放电电流对超级电容容量的影响。

摘要：在DC-DC电源中,滤波网络中铝电解电容的劣化是影响电源寿命的主要因素,因此可以通过监测电容的劣化来评估DC-DC的健康状况。基于前期对电容的主要劣化模式及其对DC-DC影响的研究工作建立了电容劣化对DC-DC寿命影响仿真系统。该系统以LabView为主设计完成,通过劣化注入的方式模拟电容劣化。系统测试结果:电容劣化引起DC-DC输出纹波电压变大,DC-DC寿命缩短,这与理论分析一致。该系统可以仿真电容劣化的过程并可研究电容劣化对DC-DC寿命的影响。

摘要：工程中对得到的实验数据进行拟合,常采用最小二乘法,拟合函数多采用代数多项式。但当多项式次数比较大时,会出现病态问题,从而导致计算结果误差增大,于是在拟合时应避免产生过高次数的多项式,就有必要确定次数较低的最佳拟合。针对基本初等函数,论述确定最佳拟合的方法,并结合VC++和Matcom混合编程,快速准确实现最佳拟合。通过分析实验结果,证明了方法的有效性。

摘要：阐述了硬件设计思想、软件开发流程及人脸检测算法的实现。首先以TMS320DM642建立实时图像处理的硬件系统,通过CCD获取视频序列,对当前图像进行降噪、图像增强以及边缘检测的预处理,再利用基于肤色和差分帧相结合的算法对视频序列进行检测、跟踪人脸。本系统所有算法均使用C和汇编语言混合编程并在TIDM642EVM上开发实现。实验结果表明,本系统的算法简单、快速、鲁棒性强。