首页
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻动态
全部
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻
首页>
根据【关键词:
故障建模,基于模型的安全分析,模型检查,BIP(行为交互优先级),形式化方法
】搜索到相关结果
2
条
按文献类别分组
学位论文
(2)
按栏目分组
学位论文
(2)
按年份分组
2022
(1)
2018
(1)
按来源分组
西北工业大学
(1)
华东师范大学
(1)
关键词
基于BIP的航空控制系统行为故障建模与形式化验证方法
作者:
唐旭东
来源:
华东师范大学
年份:
2022
文献类型 :
学位论文
关键词:
故障建模
基于模型的安全分析
模型检查
BIP(行为交互优先级)
形式化方法
描述:
基于BIP的航空控制系统行为故障建模与形式化验证方法
飞机全电刹车力伺服控制与可靠驱动技术研究
作者:
相里康
来源:
西北工业大学
年份:
2018
文献类型 :
学位论文
关键词:
机电作动器
摩擦力补偿
故障建模
双向DC
上电自检测
抗干扰
全电刹车
DC变换器
力伺服
描述:
飞机全电刹车力伺服控制与可靠驱动技术研究
<
1
>
Rss订阅
订阅地址: