全部
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻
关键词
- 基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,
- 作者： 李勇 曹子宁 来源： 计算机技术与发展 年份： 2019 文献类型 ： 期刊 关键词： 模型检测 E RSML Nu SMV 形式化方法
- 描述： 和模型检测的自动验证技术的研究基础上,提出了一种基于需求的形式化建模与验证的框架。运用基于四变量模型的需求状态机语言RSML-e建立了形式化模型,并给出了形式化的转换规则,将RSML-e模型转换为模型检测
- 民航飞行员安全绩效的建模与预测——多元线性回归模型与Elman神经网络模型的比较与应用
- 作者： 陈雨嘉 王竞慧 韩越 余湛 来源： 人类工效学 年份： 2020 文献类型 ： 期刊 关键词： 安全绩效 飞行员 交通工程 民航 工作压力 交通事故 径向基函数(RBF) 多元回归模型 神经网络
- 描述： 民航飞行员安全绩效的建模与预测——多元线性回归模型与Elman神经网络模型的比较与应用
- 基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,
- 作者： 李勇 曹子宁 来源： 计算机技术与发展 年份： 2017 文献类型 ： 期刊 关键词： 模型检测 E RSML Nu SMV 形式化方法
- 描述： 和模型检测的自动验证技术的研究基础上,提出了一种基于需求的形式化建模与验证的框架。运用基于四变量模型的需求状态机语言RSML-e建立了形式化模型,并给出了形式化的转换规则,将RSML-e模型转换为模型检测
- 基于PSO-BP神经网络的民航空乘人员安全绩效建模——兼与BP神经网络和多元线性回归对比分析
- 作者： 刘博 游旭群 来源： 第二十二届全国心理学学术会议 年份： 2019 文献类型 ： 会议论文 关键词： 空乘人员 安全绩效 人工神经网络 PSO BP
- 描述： 基于PSO-BP神经网络的民航空乘人员安全绩效建模——兼与BP神经网络和多元线性回归对比分析
- 基于PSO-BP神经网络的民航空乘人员安全绩效建模——兼与BP神经网络和多元线性回归对比分析
- 作者： 刘博 游旭群 来源： 第二十二届全国心理学学术会议 年份： 2019 文献类型 ： 会议论文 关键词： 空乘人员 安全绩效 人工神经网络 PSO BP
- 描述： 基于PSO-BP神经网络的民航空乘人员安全绩效建模——兼与BP神经网络和多元线性回归对比分析