摘要：以可拓检测为研究基础,提出第3类检测问题:待测物元转化问题,即新的检测环境下的可测物元与待测物元的互换问题。针对该问题的特殊性,以基于神经网络的检测模型为问题求解框架,可拓变换与关联函数作为遗传算法的设计准则,提出基于可拓遗传算法和神经网络的待测物元转化问题的解决方法。通过实际例子的应用验证了该方法的可行性。

摘要：如何让智能体像人一样具备遗忘的能力,目前仍然是人工智能所面临的最大挑战之一。遗忘在基于符号逻辑的知识表示与推理领域和基于统计的机器学习领域都有研究。特别在知识表示与推理领域,遗忘扮演着非常重要的角色。在命题逻辑、一阶谓词逻辑、模态逻辑、描述逻辑、回答集逻辑程序设计,以及情景演算等逻辑语言中都有大量的研究。模态逻辑适用于智能体的知识表示与推理。在模态逻辑中,知识遗忘首先在单智能体场景中被提出。随着多智能体系统研究的发展,多智能体模态逻辑中知识遗忘的研究也开始被关注。到目前为止,多智能体模态逻辑系统中的知识遗忘还无法有效计算。本文在多智能体模态逻辑系统K_n中对知识遗忘进一步展开研究。采用知识编译的思想,提出一种新的多智能体模态逻辑范式K_n-DNF。基于K_n-DNF,我们给出K_n中计算知识遗忘的有效算法,其时间复杂度是K_n-DNF公式长度的多项式时间。

摘要：以可拓检测为基础,对于可拓检测中可测物元与待测物元的相互转化问题,提出新的思路,即以模糊推理的检测模型、可拓变换与关联函数为粒子群算法的设计规则,提出基于可拓粒子群算法和模糊推理的待测物元转化问题的解决方法,并通过实际例子的应用验证该方法的可行性。

摘要：本文设计了一种基于STM32F103C8T6为控制核心,气体探测传感器MQ-4、温度传感器DS18B20、超声波传感器HC-SR04等多种传感器协同工作的具有八个自由度的四足机器人系统,采用无线传输模块n RF24l01设计了用户端系统。使用分模块设计原理,依次从硬件和软件分别对系统进行设计,该机器人系统具有结构简单、人机交互良好等特点。实验显示,机器人能在复杂地面平稳行走,各模块间工作协调,无线传输数据可靠,证明了设计的可行性和有效性。