您的位置： 专家智库 > >

吴永刚

作品数：2 被引量：4H指数：1
供职机构：中国计量学院信息工程学院更多>>
相关领域：自动化与计算机技术文化科学更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

  • 1篇自动化与计算...
  • 1篇文化科学

主题

  • 1篇中老年
  • 1篇中老年教师
  • 1篇时间自动机
  • 1篇实时系统
  • 1篇自动机
  • 1篇老年
  • 1篇老年教师
  • 1篇教师
  • 1篇教师健康
  • 1篇高校中老年
  • 1篇UPPAAL

机构

  • 2篇中国计量学院
  • 1篇中国矿业大学

作者

  • 2篇吴永刚
  • 1篇宋爱军
  • 1篇刘砚秋
  • 1篇陆慧娟
  • 1篇程倬

传媒

  • 1篇计算机时代
  • 1篇课程教育研究...

年份

  • 1篇2015
  • 1篇2011
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于时间自动机的实时系统建模及验证被引量：4
2011年
实时系统必须在一个事先定义好的时间限制内对来自外部或内部的事件进行响应,如何有效验证实时模型的正确性和安全性是一个难点。文章通过多个时间自动机来模拟实时系统中的各个对象,并用UPPAAL对模型进行验证,减少了模型验证的状态搜索空间,为实时嵌入式系统开发和验证提供了一种可行、安全的控制机制。实验结果显示了系统的有效性。
吴永刚陆慧娟程倬陈江
关键词：时间自动机实时系统UPPAAL
高校中老年教师健康素养提升的研究
2015年
高校教师已开始进入中老年阶段，大力推进高校中老年教职工健康教育与促进工作，倡导“健康教育先行”理念成为当今刻不容缓的时候。为中老年教师建立健康素养动态监测体系，制定科学、可行及有效的传播策略，探索提高健康素养的新思路和新方法。
宋爱军刘砚秋吴永刚
关键词：中老年教师
全选 清除 导出
共1页<1>
聚类工具0