AUV心智逻辑*

为了表示和处理AUV（Autonomous Underwater Vehicle,自治水下机器人）的心智状态及心智活动,对Rao和Georgeff的BDI逻辑进行了拓展,定义了一种含模态词（信念、目标、能力、意图、上一次、下一次、曾经、将会、总有、总会）的一阶模态时态混合逻辑系统——AML（AUV心智逻辑）;基于Kripke可能世界语义模型给出了AML语义,构造了AML公理系统及演绎规则,并证明了AML的可靠性与完备性。AML为建造AUV心智模型提供了有力的表示和处理工具,弥补了Agent理论在机器人应用     

北京村镇供水设施水质监测的工作探讨

做好村镇供水设施水质检测与监测工作,是保证村镇供水设施水质卫生安全,促进村镇供水工程长期有效运转的重要措施。介绍了北京市村镇供水工程概况及水质监测现状,分析了当前北京市村镇供水工程在水质监测方面存在的主要问题,提出了加强北京市村镇供水工程水质监测、保障饮水安全的建议和做法。     

第二松花江松原城区段护岸工程混凝土企口板的应用

混凝土企口板是一项技术先进、使用方便、成本合理的工程预制材料。本文通过混凝土企口板在护岸工程的应用,与传统土石方、混凝土构件护岸结构型式的对比,突出了混凝土企口板具有稳定性好、抗渗性强、减少占地、施工进度快等优点。     

基于分子指纹的化学结构相似度检索系统的研究(英文)

化学结构相似性检索在现代化学研究中具有重要作用。而化学结构的相似性度量是进行相似度检索的基础和前提。目前在化学信息学的研究中,有数量众多的化学结构距离度量和相似度表示方法。本文采用了Daylight的分子指纹方法,并采用了Tanimoto系数定义的相似度度量方法。并根据这种度量方法使用CDK来进行计算化学结构的相似度指数。在上述研究工作的基础上,开发了基于浏览器/服务器模式的化学结构相似度检索系统,通过该系统可以在中药活性成分数据库中进行化学结构相似度检索。用户在进行化学结构相似度检索时,可以选择已存在的化学结构,也可以采用JME来绘制新的化学结构。下一步将在该数据库中进行聚类分析和分子多样性的研究。     

一种新的分层强化学习方法

提出一种集成Option和MAXQ的分层强化学习新方法——OMQ，该方法以MAXQ为基本框架利用先验知识对任务进行人工分层和在线学习，集成Option方法对难以预先细分的子任务进行自动分层。以出租车问题为背景对OMQ学习算法进行了仿真与对比分析，实验结果表明，在任务环境不完全可知条件下，OMQ比Option和MAXQ更适用。     

智能机器人神经心理模型

为了从结构、功能和行为3个层面对智能机器人体系结构进行一体化描述,本文提出了智能机器人神经心理模型.借鉴脑的3个基本机能联合区理论建立了智能机器人的神经生理结构模型,将机器人思维系统划分为感知区、反射区和慎思区,每个区均由三级皮层构成,采用拓展的BD I逻辑(机器人心智逻辑RML)描述机器人的认知心理机制,给出了神经心理框架下的机器人智能行为过程,从理论上证明了RML的可靠性与完备性,采用水下机器人编队穿越未知雷区的对比仿真实验验证了神经心理模型的可行性和有效性.     

一种基于障碍约束的空间数据聚类方法

聚类方法是空间数据挖掘的重要方法之一。本文针对聚类时障碍的约束,提出了一种基于障碍约束的空间聚类算法———DBCluOC(Density-BasedCluster-ingwithObstaclesConstraints)。文章首先介绍了基于密度的聚类算法DBSCAN(Density-BasedSpatialClusteringofApplicationwithNoise)以及直接密度可达、密度相连、簇等概念。然后介绍了对约束条件模拟和对多边形约简的方法,并在此基础上提出了DBCluOC算法。最后对算法进行了分析,描述了算法的执行情况。该算法虽然是在二维空间下实现的,但在综合考虑其他因素的前提下,可以推广到对高维…     

思维机器

宾夕法尼亚大学神经工程研究实验室带头人克瓦伯·鲍恩对人类的大脑又爱又恨.他非常赞赏大脑设计的微妙,他说:"非常精致!其能力胜过我们能提及的任何东西."但是,作为工程师,仅仅赞赏是不够的,他和同事要弄懂大脑的机理并在实验室再现其功能.     

水准仪检定装置的校准

一、概述提供误差不大于±2〃的水平视准线是水准仪检定装置的最主要性能指标。基于自动安平原理的“JSJ精密水准仪检验仪”(以下简称JSJ检验仪)准确度高、功能全,已在计量、测绘、科研、生产等各行业广泛使用。由JSJ检验仪的光学原理图(如图1所示)可以看出,由于该仪器具有光楔测微器、自平准线微校光楔、测微目镜等观察、测量、校准装置,可以方便地根据JJG960-2001《水准仪检定装置》检定规程的要求,利用水平陪检标准器进行周期检定。本文介绍了两种实用的校准方法,其扩展不确定度不大于0郾5″,便于现场应用。二、水平陪检标准器水平…     

皮带输送机常见故障分析与处理

本文主要就皮带输送机的皮带跑偏、撒料、打滑以及减速器异常与漏油等常见故障,展开分析与研究,并结合相关的故障类型与原因分析,提出了一些具体的应对措施。