智能机器人系统的形式化建模

基于作者先前巳为智能机器人系统提出并建造成的一种新型结构模型──环递阶模型［１，２］，应用形式语言理论，首次将智能机器人系统整体形式化地建模成了一种上下文无关文法．     

基于BDI模型的多机器人智能体系统设计

BDI模型是智能体设计的一种成熟结构,本文将BDI模型应用于多机器人智能体系统设计中．文章先从形式逻辑角度描述系统模型,然后讨论基于合同网的多机器人智能体的协作机制,最后给出基于BDI模型的多机器智能体的实现模型．     

机器人足球智能控制系统分析与设计

该文结合智能控制理论和多智能体系统理论分析了基于多智能体系统(MABS)的分级递阶智能控制系统结构,并将该控制结构用于机器人足球系统,提出了机器人足球系统的分级递阶智能控制结构,并运用基于人工神经网络的模糊控制系统为足球机器人真正实现智能化控制提供了一种可行的控制方案。     

基于约束的旅游推荐系统的研究与设计

针对旅游领域的特点和传统推荐技术的应用局限性,提出一种基于约束的旅游推荐系统的设计方案,并对系统的推荐引擎进行了详细设计。系统通过可视化的知识获取工具高效地获取旅游领域知识、推荐规则、个性化规则等知识,使用交互＆个性化代理以会话式的交互方式逐步地启发用户的偏好和需要,利用多属性效用理论对推荐结果进行排序。相比传统的推荐方法,利用基于约束的推荐技术,能够为用户提供更加准确、个性化的旅游推荐服务。     

基于嵌入式系统的智能取书机器人设计

为实现图书馆的自动化、智能化,提高取书效率、精简人力,提出一种基于嵌入式系统的智能取书机器人.取书机器人采用WiFi技术、上位机技术、单片机技术、双目摄像头循迹和基于RFID的室内定位等技术,采用PC主机、TM4C1294和STM32F405作为主控制器解决关键问题,使机器人具有行动速度快、取书精度高、自动化程度好等诸多优点.用户只需通过控制中心的客户端输入所取书籍名称,服务器通过WiFi将信息发送给机器人,机器人即可搜索数据库并进行路径规划,利用摄像头检测寻迹线进行路径识别,到达指定图书的位置并完成取书的任务.通过对取书机器人进行的实验测试和分析可得,该机器人能够完成自主取书的设计目的,对提高图书馆的自动化程度和运营效率具有很高的应用价值.     

嵌入式智能家居系统网关无线收发模块电路设计

家庭网关是嵌入式智能家居系统的核心部件,所设计的无线收发模块电路是家庭网关的一部分。文章介绍了采用单片RF收发芯片nRF0433组成的无线收发模块电路的原理和设计方法,所设计的无线收发模块电路工作在433MHzISM频段,数据速率9600bit／s,灵敏度高达-105dBm,最大发射功率达10mW,电源电压2．5～5．5V,工作电流31～47mA。无线收发模块。     

探索智能控制系统的理论基础

在为一般控制系统建立了一个新框架的基础上,提出了智能控制系统(ICS)的人机合-认识论及一般结构,并建立了ICS中控制综合的形式化表述.     

智能化GPRS DTU的嵌入式混合文件系统

针对GPRS数据终端单元（DTU）的智能化需求,提出一种Cramfs＋JFFS2＋Initramfs的嵌入式混合文件系统设计方案。采用自顶向下和自底向上相结合的设计方法,以dropbear为例介绍组件的选择和实现。在系统集成设计中,给出一种软链接技术替代复制的设计方法,并对脚本设计进行说明。该嵌入式文件系统已成为智能化GPRS DTU的核心模块,运行稳定。     

定位系统在智能交通系统中的应用

文章讨论了智能交通系统（ITS）以及定位系统在ITS中的作用。目前存在两类不同的定位系统,第一类是基于卫星的定位系统,第二类是基于地面的定位系统,每类系统各有其特点。首先讨论这两类系统在成本、精度和覆盖范围方面的特性,然后介绍系统的主要类型以及在移动通信网络中的定位技术。最后,介绍了两类定位系统相结合的定位技术A-GPS。     

嵌入式智能家居控制系统的设计

本文介绍了嵌入式系统的相关技术和智能家居及其控制系统的相关技术、发展现状及趋势,着重阐述了嵌入 式智能家居控制系统的设计,在应用方面该系统较好地实现了室内温度监控、气体监控、照明监控、门禁监控等功能。     

SmartClients: Constraint Satisfaction as a Paradigm for Scaleable Intelligent Information Systems

Many information systems are used in a problem solving context. Examples are travel planning systems, catalogs in electronic commerce, or agenda planning systems. They can be made more useful by integrating problem-solving capabilities into the information systems. This poses the challenge of scaleability: when hundreds of users access a server at the same time, it is important to avoid excessive computational load.We present the concept of SmartClients: lightweight problem-solving agents based on constraint satisfaction which can carry out the computation- and communication-intensive tasks on the user's computer. We present an example of an air travel planning system based on this technology.     

基于图像前景分割的嵌入式智能监控系统

开发了一种嵌入式数字图像监控系统，采用基于背景差的前景分割运算和基于帧间差的动态背景更新算法对监控场景进行前景分割，提取运动目标信息，完成异常判断后，通过网络将异常信息及关键图像序列传送到监控客户端。该文介绍了嵌入式设备的硬件电路、驱动软件和应用程序设计，并给出了网络客户端程序的实现方法。     

嵌入式系统协同设计中的扩展双变迁Petri网技术

在分析现有用于软硬件协同设计的Petri网技术的基础上，针对双变迁Petri网在描述数据操作方面存在的不足，给出了一种扩展双变迁Petri网，并结合实例进行了阐述。     

时延网络化控制系统中智能控制器的设计

网络化控制系统的出现,大大推动了控制系统的发展,正成为新的研究热点。针对网络化控制系统,建立了一种新型的状态变量模型,以此为基础设计了线行二次型最优控制器(LQR)。同时也给出了时钟同步估计网络延迟的方法。在LQR控制器的具体实施中,又给出了一种智能模糊逻辑设计的方法。实验控制结果表明,这种智能控制器能使时变延迟的网络化控制系统稳定。     

基于黑板结构的足球机器人智能调度方案设计

通过分析足球机器人决策子系统中智能调度以及机器人死锁问题。结合足球机器人自身的特点,提出一种基于黑板一知识源结构的足球机器人智能调度方案。该方案通过对黑板、知识源、控制机制的设计,能解决足球机器人中智能调度以及死锁问题,增强机器人的整体配合。     

基于模块化的机器人运动控制节点的设计

针对机器人的复杂控制,提出了基于CAN总线的模块化分布式控制设计思想,进行了机器人运动控制节点的硬软件设计开发,并详细描述了系统软件算法设计.实验结果表明,模块化设计降低了机器人控制的复杂度,提高系统可靠性,为模块化设计在复杂控制系统的应用提供了依据.     

An Embedded Microprocessor for Intelligent Control

The conventional approach for the implementation of the knowledge base of a planning agent, on an intelligent embedded system, is solely of software nature. It requires the existence of a compiler that transforms the initial declarative logic program, specifying the knowledge base, to its equivalent procedural one, to be programmed to the embedded systems microprocessor. This practice increases the complexity of the final implementation (the declarative to sequential transformation adds a great amount of software code for simulating the declarative execution) and reduces the overall systems performance (logic derivations require the use of a stack and a great number of jump instructions for their evaluation). The design of specialized hardware implementations, which are only capable of supporting logic programs, in an effort to resolve the aforementioned problems, introduces limitations in their use in applications where logic programs need to be intertwined with traditional procedural ones in a desired application. In this paper, we exploit HW/SW codesign methods to present a microprocessor, capable of supporting hybrid applications using both programming approaches. We take advantage of the close relationship between attribute grammar (AG) evaluation and knowledge engineering methods to present a programmable hardware parser that performs logic derivations and combine it with an extension of a conventional RISC microprocessor that performs the unification process to report the success or failure of logic derivations. The extended RISC microprocessor is still capable of executing conventional procedural programs, thus hybrid applications can be implemented. The presented implementation increases the performance of logic derivations for the control inference process (experimental analysis yields an approximate 1000% – 10 times increase in performance) and reduces the complexity of the final implemented code through the introduction of an extended C language called C-AG that simplifies the programming of hybrid procedural-declarative applications.     

嵌入式系统的动态功耗管理结构

近几年来功耗问题成为在嵌入式系统领域中普遍关注的热点问题。其中动态功耗管理便是一种重要的减少系统范围的能量的方式。在近年的处理机设计技术中引入了支持基于动态电压与频率缩放的功耗管理的系统,主要提出一种基于这种技术的动态功耗管理的层次体系结构,它是基于"策略"的一种抽象定义。最后文章还用一个实例说明该结构不但能很好地完成复杂系统的功耗管理功能,而且具有较好的可扩展性,并且可以大幅度地降低系统功耗。     

面向智能交通系统的图像处理

图像处理在智能交通系统（ＩＴＳ）中扮演着极其重要的角色。文章综述了目前ＩＴＳ领域中所广泛采用的图像采集设备、图像处理硬件和图像处理软件,并给出了大量的应用实例。最后,结合目前的研究成果对其今后的发展进行了展望。     

嵌入式系统智能键盘的软件设计

良好的人机操作界面是电子仪器和设备必备的。然而在实时应用的嵌入式系统中键盘软件设计有3个方面的问题,包括软件去抖动、等待按键抬起和连击处理。这3个问题都需要大延时,而直接的延时会大大破坏系统的实时性。本文针对上述问题给出具体解决方案,并以AVR单片机为例给出例程。