...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>International journal of reasoning-based intelligent systems >Onboard reasoning and other applications of the logic-based approach to the moving objects intelligent control
【24h】

Onboard reasoning and other applications of the logic-based approach to the moving objects intelligent control

机译：基于逻辑的方法和其他应用程序的智能控制智能控制

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

This article provides the theoretical background and practical case studies of the application of reasoning and other logic-based approaches to the moving objects control. Modern moving objects, both manned and unmanned, utilise computers as their 'onboard brain'. Since planes, spacecraft, cars, trucks and trains must demonstrate flexible and safe behaviour in various situations, it seems prospective to use intelligent control means instead of rigid control logic dispersed in a program source code. This article is concerned with the possible implementation of onboard intelligence. In contrast to the popular use of neural networks, the logic-based approach is based on clear and exact control rules with strict responsibility. Thus, formal specification and verification methods can be utilised. The article describes the real-time control algorithm logic (RTCAL) for the above-mentioned purposes. We also present case studies of reasoning at the design and operation stages for providing the fault tolerant control of a spacecraft.
机译：本文提供了理论背景和实际案例研究对移动物体控制的推理和其他基于逻辑的方法的应用。现代移动物体，既有载人和无人居心，也利用计算机作为他们的“船上大脑”。由于飞机，航天器，汽车，卡车和火车必须在各种情况下展示灵活和安全的行为，因此似乎使用智能控制装置而不是分散在程序源代码中的刚性控制逻辑。本文涉及可能实施船上情报。与流行的神经网络相比，基于逻辑的方法是基于具有严格责任的清晰和精确的控制规则。因此，可以使用正式的规范和验证方法。本文介绍了用于上述目的的实时控制算法逻辑（RTCAL）。我们还在设计和操作阶段提供了对推理的案例研究，以提供航天器的容错控制。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号