钱磊

作品数：2被引量：5H指数：2
导出分析报告
供职机构：华东师范大学软件学院上海市高可信计算重点实验室更多>>
发文主题：AADL无线传感器网络温度传感器嵌入式系统形式化验证更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机科学》更多>>
所获基金：上海市教育委员会重点学科基金上海市教育委员会创新基金创新研究群体科学基金国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于微分动态逻辑的铁路道口控制分析被引量：2
《计算机科学》2013年第10期231-234,共4页钱磊 郁文生 
国家自然科学基金项目(61070048);国家自然科学基金委员会创新研究群体科学基金项目(61021004);国家"863"计划项目(2011AA010101);国家"973"计划项目(2011CB302802);上海市重点学科建设项目(B412);上海市教育委员会科研创新项目(11ZZ37)资助
利用微分动态逻辑对铁路道口控制进行形式化分析与建模。在火车从发送接近信号到进入道口的运动过程中,根据火车到达道口时间上的要求,将火车速度控制问题抽象成一个混成系统的安全性性质,用微分动态逻辑来描述,并使用混成系统证明工具K...
关键词：微分动态逻辑 铁路道口控制 混成系统 形式化验证 
基于AADL的无线传感器网络的建模与分析被引量：3
《计算机科学》2012年第S3期424-427,共4页钱磊 郁文生 朱明华 
国家自然科学基金项目(61070048);国家自然科学基金委员会创新研究群体科学基金项目(61021004);国家"863"计划项目(2011AA010101);国家"973"计划项目(2011CB302802);上海市重点学科建设项目(B412);上海市教育委员会科研创新项目(11ZZ37)资助
利用结构分析与设计语言AADL(Architecture Analysis and Design Language)对无线传感器网络进行建模,并对其中一个节点进行了详细的分析。介绍AADL语言以及它在嵌入式系统中建模的优势,展示了无线传感器网络的特征和关键技术。结合AADL...
关键词：结构分析与设计语言 无线传感器网络 温度传感器 嵌入式系统 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部