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