摘要：文章对密码学中的几种主要形式化攻击模型进行了讨论与分析对比,并举例说明了不可区分选择明文攻击模型、不可区分选择密文攻击模型和不可区分适应性选择密文攻击模型的具体应用,为可证明安全性理论设计和分析密码协议提供了理论基础.

摘要：本文首先介绍人工智能领域中专家系统的概念及特点,以及基于规则的专家系统的模型与结构,其次以建立一个鸟类识别专家系统为例来说明基于规则的专家系统的详细设计与实现,旨在说明构造专家系统的步骤与方法,软件设计采用人工智能语言Prolog编程实现。

摘要：采用了凌阳公司所生产的一款SPCE061A单片机和超声波测距模组结合,分别在移动机器人的前方、左侧、右侧安装超声波测距传感器,来实现对移动机器人周围环境的探测。着重给出该导航系统的硬件设计与实现,同时将搭建的硬件系统应用于未知环境下进行实时探测,从而验证系统的完整性、有效性。