全部
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻
关键词
- 从“集聚”走向“均衡”—中国航空网络与城市关联体系空间演化研究
- 作者： 洪彦 来源： 华东师范大学 年份： 2016 文献类型 ： 学位论文
- 描述： 从“集聚”走向“均衡”—中国航空网络与城市关联体系空间演化研究
- 基于排队论的软件定义网络控制平面的性能与功耗分析：建模及比较
- 作者： 李繁硕 来源： 华东师范大学 年份： 2018 文献类型 ： 学位论文 关键词： 控制平面 比较框架 软件定义网络 性能和功耗 分析模型
- 描述： 基于排队论的软件定义网络控制平面的性能与功耗分析：建模及比较
- 基于BIP的航空控制系统行为故障建模与形式化验证方法
- 作者： 唐旭东 来源： 华东师范大学 年份： 2022 文献类型 ： 学位论文 关键词： 故障建模 基于模型的安全分析 模型检查 BIP(行为交互优先级) 形式化方法
- 描述： 基于BIP的航空控制系统行为故障建模与形式化验证方法