2024年8月17日
星期六
|
欢迎来到贵州省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
钱磊
作品数:
2
被引量:5
H指数: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
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张