删除或更新信息，请邮件至freekaoyan#163.com(#换成@)

基于线性时态逻辑的动作行为表示方法

北京航空航天大学 辅仁网/2017-07-06
文献详情


基于线性时态逻辑的动作行为表示方法
文献类型期刊
作者庞国峰[1];沈旭昆[2]
机构
来源信息年:2001期:S2页码范围:399-402
期刊信息系统仿真学报ISSN:1004-731X
关键词虚拟战场环境;计算机生成兵力;情景演算;线性时态逻辑;行为表示
摘要计算机生成兵力(CGF)系统在虚拟战场环境中提供一组能自治地控制自身行为的智能化虚拟实体,并要求这些实体与虚拟环境中人控制的其它虚拟实体在行为上不能区分。因此,如何实现这些计算机生成的智能实体的行为并提高其智能水平,成为CGF系统开发的难点和瓶颈。行为表示是行为实现的基础,对CGF实体行为的生成及其效率与真实性都有直接影响。本文借鉴情景演算中的动作理论,研究CGF实体的行为表示,借助线性时态逻辑表示CGF实体的行为及其之间的关系,提出了基于线性时态逻辑的动作行为表示方法,为建立CGF实体的行为描述语言提供了理论基础。
收录情况CSCD
所属部门计算机学院


全文|
影响因子：


暂无成果共有人
dc:title:基于线性时态逻辑的动作行为表示方法
dc:creator:庞国峰;沈旭昆
dc:date: publishDate:2001-12-30
dc:type:期刊
dc:format: Media：系统仿真学报
dc:identifier: LnterrelatedLiterature：系统仿真学报.2001,399-402.
dc:identifier:DOI：
dc: identifier:ISBN:1004-731X
相关话题/逻辑 系统 北京 计算机系 计算机
  • 领限时大额优惠券,享本站正版考研考试资料!
    大额优惠券
    优惠券领取后72小时内有效，10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...
    考试优惠券 本站小编 Free壹佰分学习网 2022-09-19
  • 指挥控制系统的效能评估
    文献详情指挥控制系统的效能评估文献类型期刊作者唐宏[1];陈少卿[2]机构[1]北京航空航天大学,中国电子设备系统工程公司研究所北京100083,北京100039[2]北京航空航天大学,中国电子设备系统工程公司研究所北京100083,北京100039↓来源信息年:2001期:S2页码范围:392-3 ...
    北京航空航天大学论文文献 北京航空航天大学 辅仁网 2017-07-06
  • 自动控制、监测、探测、测量、检测系统
    文献详情自动控制、监测、探测、测量、检测系统文献类型期刊来源信息年:2001期:04页码范围:50期刊信息中国商办工业ISSN:1672-3198关键词虚拟仪器;检测系统;仪器硬件;自动测量系统;微型计算机;智能仪器;自动监测系统;工控机;笔记本电脑;硬件平台;摘要1虚拟仪器技术简介虚拟仪器技术(V ...
    北京航空航天大学论文文献 北京航空航天大学 辅仁网 2017-07-06
  • 以实时财务报告系统迎接网络时代的挑战
    文献详情以实时财务报告系统迎接网络时代的挑战文献类型期刊作者章童[1];辜嵘[2]机构[1]中央财经大学,北京航空航天大学99会计研[2]中央财经大学,北京航空航天大学99会计研↓来源信息年:2001期:09页码范围:13-14期刊信息山东审计ISSN:1002-3534关键词财务报告;信息不对称; ...
    北京航空航天大学论文文献 北京航空航天大学 辅仁网 2017-07-06
  • 美国军用自动测试系统的发展趋势
    文献详情美国军用自动测试系统的发展趋势外文标题FutureTrendsoftheU.S.MilitaryATS文献类型期刊作者于劲松[1];李行善[2]机构[1]北京航空航天大学,自动化科学与电气工程学院,[2]北京航空航天大学,自动化科学与电气工程学院,↓来源信息年:2001卷:20期:12页码范 ...
    北京航空航天大学论文文献 北京航空航天大学 辅仁网 2017-07-06
  • 1000A IGBT逆变埋弧自动焊机及其控制系统的研究
    文献详情1000AIGBT逆变埋弧自动焊机及其控制系统的研究文献类型期刊作者齐铂金[1];宫学庚[2];赵晶[3];吴红杰[4];段红海[5];李力[6];赵智江[7];罗建坤[8]机构[1]北京航空航天大学机械学院,北京航空航天大学机械学院,北京航空航天大学机械学院,北京航空航天大学机械学院,时代 ...
    北京航空航天大学论文文献 北京航空航天大学 辅仁网 2017-07-06
  • 从经典电子系统到现代电子系统
    文献详情从经典电子系统到现代电子系统文献类型期刊作者何立民[1]机构[1]北京航空航天大学教授↓来源信息年:2001期:01页码范围:29-31期刊信息电子世界ISSN:1003-0522关键词现代电子系统;通用计算机;调试工具;系统器件;股票机;中断控制器;系统的功能;知识竞赛;集成器件;功能基础 ...
    北京航空航天大学论文文献 北京航空航天大学 辅仁网 2017-07-06
  • 双级压缩正升压流程空气制冷系统在列车空调中的应用探讨
    文献详情双级压缩正升压流程空气制冷系统在列车空调中的应用探讨文献类型期刊作者刘忠宝[1]机构[1]北京航空航天大学飞行器设计与应用力学系!北京100083↓来源信息年:2001期:01页码范围:59-62期刊信息制冷学报ISSN:0253-4339关键词空气制冷;双级正升压;列车空调摘要研究了双级正 ...
    北京航空航天大学论文文献 北京航空航天大学 辅仁网 2017-07-06
  • 积极探索 勇于实践 注重效果——北京航空航天大学《思想道德修养》课教学改革实践
    文献详情积极探索勇于实践注重效果——北京航空航天大学《思想道德修养》课教学改革实践文献类型期刊作者邵明英[1];赵平[2]机构[1]北京航空航天大学!北京100083,北京航空航天大学!北京100083[2]北京航空航天大学!北京100083,北京航空航天大学!北京100083↓来源信息年:2001 ...
    北京航空航天大学论文文献 北京航空航天大学 辅仁网 2017-07-06
  • Web应用系统的重要开发工具——ASP
    文献详情Web应用系统的重要开发工具——ASP文献类型期刊作者栾毅[1]机构[1]北京航空航天大学图书馆自动化部北京100083↓来源信息年:2001期:S1页码范围:240-241期刊信息图书馆建设ISSN:1004-325X关键词Web应用;ASP;ADO摘要本文从多个角度介绍了ASP技术,运用 ...
    北京航空航天大学论文文献 北京航空航天大学 辅仁网 2017-07-06
  • 材料磨损与微电子机械系统中的磨损现象
    文献详情材料磨损与微电子机械系统中的磨损现象文献类型期刊作者邓忠民[1];谢季佳[2];周承恩[3];洪友士[4]机构中国科学院力学研究所非线性力学国家重点实验室,中国科学院力学研究所非线性力学国家重点实验室,中国科学院力学研究所非线性力学国家重点实验室,中国科学院力学研究所非线性力学国家重点实验室 ...
    北京航空航天大学论文文献 北京航空航天大学 辅仁网 2017-07-06

Free考研考试FreeKaoYan.Com
欢迎来到Free考研考试，"为实现人生的Free而奋斗"

© 2020 FreeKaoYan! . All rights reserved.