您的位置： 专家智库 > >

钱磊

作品数：2 被引量：5H指数：2
供职机构：华东师范大学软件学院上海市高可信计算重点实验室更多>>
发文基金：上海市教育委员会重点学科基金上海市教育委员会创新基金创新研究群体科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

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

主题

  • 1篇形式化
  • 1篇形式化验证
  • 1篇铁路
  • 1篇铁路道口
  • 1篇嵌入式
  • 1篇嵌入式系统
  • 1篇网络
  • 1篇温度传感器
  • 1篇无线传感
  • 1篇无线传感器
  • 1篇无线传感器网
  • 1篇无线传感器网...
  • 1篇路道
  • 1篇混成系统
  • 1篇感器
  • 1篇AADL
  • 1篇传感
  • 1篇传感器
  • 1篇传感器网
  • 1篇传感器网络

机构

  • 2篇华东师范大学

作者

  • 2篇钱磊
  • 2篇郁文生
  • 1篇朱明华

传媒

  • 2篇计算机科学

年份

  • 1篇2013
  • 1篇2012
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于微分动态逻辑的铁路道口控制分析被引量：2
2013年
利用微分动态逻辑对铁路道口控制进行形式化分析与建模。在火车从发送接近信号到进入道口的运动过程中,根据火车到达道口时间上的要求,将火车速度控制问题抽象成一个混成系统的安全性性质,用微分动态逻辑来描述,并使用混成系统证明工具KeYmaera对系统的安全性进行验证,以实现对火车进入道口前速度的正确控制。
钱磊郁文生
关键词：混成系统形式化验证
基于AADL的无线传感器网络的建模与分析被引量：3
2012年
利用结构分析与设计语言AADL(Architecture Analysis and Design Language)对无线传感器网络进行建模,并对其中一个节点进行了详细的分析。介绍AADL语言以及它在嵌入式系统中建模的优势,展示了无线传感器网络的特征和关键技术。结合AADL,针对温度传感器案例,对温度传感器的结构及功能进行了详细描述,充分体现了此传感器节点的工作原理与内部结构,有助于提高其结构上的可改进性和扩展性,以进一步应用到传感器网络中。
钱磊郁文生朱明华
关键词：无线传感器网络温度传感器嵌入式系统
全选 清除 导出
共1页<1>
聚类工具0