期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

时序逻辑控制系统的形式变换 被引量：1

下载PDF
导出
摘要 目前在智能控制的研究中存在着一系列重要问题。其中有:(1)如何将人工智能与控制理论结合起来?(2)怎样对智能控制系统进行分析、综合?针对这些问题,本文提出了以数举模型形式表达基于浅层知识的系统的思想,并采用了时序逻辑描述了控制系统和系统理论中的一些基本定义,给出了这类系统的形式变换方式,这些工作对上述问题的研究具有一定的意义.
作者 钱大群
机构地区 上海交通大学
出处 《计算技术与自动化》 1989年第1期37-42,共6页 Computing Technology and Automation
关键词 时序逻辑 人工智能 数学模型
分类号 TP11 [自动化与计算机技术—控制理论与控制工程]
  • 相关文献

同被引文献9

  • 1蔡自兴.一个机器人搬运规划专家系统[J]计算机学报,1988(04).
  • 2戴连奎,吕勇哉.催化裂化反应再生系统的分散鲁棒控制[J]信息与控制,1988(01).
  • 3陈民铀,周其鉴.pH过程的智能控制[J]信息与控制,1987(02).
  • 4周其鉴,李祖枢,陈民铀.智能控制及其展望[J]信息与控制,1987(02).
  • 5R.M.Tong,苟棱.模糊控制系统的展望[J]国外自动化,1986(05).
  • 6朱宁平.智能化数字控制器[J]国外自动化,1986(04).
  • 7史忠植,杨至成,方健梅.知识工程[J]计算机学报,1986(04).
  • 8[美]萨里迪斯(G·M·Saridis) 著,郑应平.随机系统的自组织控制[M]科学出版社,1984.
  • 9Supachai Tangwongsan,K. S. Fu. An application of learning to robotic planning[J] 1979,International Journal of Computer & Information Sciences(4):303～333

引证文献1

二级引证文献69

计算技术与自动化
1989年 第1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部