您的位置： 专家智库 > >

阎安

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

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇英文
  • 1篇时序逻辑
  • 1篇时序逻辑语言
  • 1篇逻辑语言
  • 1篇混成系统
  • 1篇XYZ

机构

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

作者

  • 1篇阎安
  • 1篇唐稚松

传媒

  • 1篇软件学报

年份

  • 1篇2000
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于 XYZ/ E的混成系统(英文)被引量：5
2000年
混成系统是由计算机和物理设备组成的嵌入式实时计算系统 .它允许在交互式实时系统中引入连续变化的单元 .XYZ/ E是基于 Manna- Pnueli的线性时序逻辑的程序设计语言 .它将程序的动态语义与静态语义统一在同一框架中 ,支持从抽象的程序规范到可执行代码的逐步求精的全过程 .该文使用 XYZ/ E语言描述和验证混成系统 .首先介绍了计算模型 ,然后介绍了 XYZ语言对混成系统的形式化描述 ,最后介绍了混成系统的验证 .与同类工作相比 ,XYZ/ E支持状态转换 ,从而可以方便地描述复杂的控制算法 .
阎安唐稚松
关键词：混成系统时序逻辑语言
全选 清除 导出
共1页<1>
聚类工具0