您的位置： 专家智库 > >

李晓山

作品数：2 被引量：15H指数：1
供职机构：中国科学院软件研究所更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

  • 2篇自动化与计算...

主题

  • 1篇时段演算
  • 1篇时间自动机
  • 1篇实时系统
  • 1篇自动机
  • 1篇程序设计

机构

  • 2篇中国科学院软...

作者

  • 2篇李晓山
  • 1篇周巢尘

传媒

  • 1篇计算机学报

年份

  • 1篇1994
  • 1篇1993
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
时段演算综述被引量：15
1994年
时段演算是用于嵌入式实时软件系统设计的演算系统．本文概述了该演算系统，其中包括时段演算、扩充时段演算、平均值演算和概率时段演算．它们都是区间时态逻辑的扩展，可用于处理数学分析中函数在连续时间上的一些概念，如：积分，平均值，分段连续性和可微性．该演算能够应用于对混合系统的实时需求进行刻划和精化，同时也能定义计算系统的实时行为和语义，以及用来计算关于系统需求的满足概率．
李晓山周巢尘
关键词：时段演算程序设计
平均值演算
李晓山
关键词：实时系统时间自动机
全选 清除 导出
共1页<1>
聚类工具0