反应式系统相关论文
研究了高安全性的应用程序开发环境—SCADE软件的特点和作用。阐述了SCADE软件中的两个重要的基础概念,在此基础上总结了SCADE软件......
反应式系统是指能对外界事件作出反应的系统,其特点是系统持续与所在环境进行交互,此类系统的性质一般涉及无限行为。而运行时验证......
测试预言是一种用来检测被测系统的测试执行是否正确的方法.文中,作者设计并实现了一种根据程序的线性时序逻辑(LTL)的性质产生测......
反应式系统是指与环境不断发生交互的控制系统。这类系统通过接收外部环境输入，对输入进行计算，并将计算结果反馈到外部环境来控制系......
航迹规划是检验无人机的作战能力的关键因素之一,为了发挥无人机的最大作用,完成各项艰巨的任务,必须使无人机具有一定能力的规划......
主体理性行动是人工智能的核心目标之一，本文介绍和分析了已有的相关工作，然后提出了新的看待这个问题的思路。本文的工作主要分为两......
基于把离散事件系统监控理论用于软件设计的思想,本文中对软件设计的状态性质变换方法作了详细的讨论,给定一个系统,其每一个状态......
有限状态机(FSM)是对反应式系统建模的一种强大工具.虽然一些高级特征和可视化状态图的引入,使FSM的表达能力更强,但是其实现往往......
