航空文献资源库

全部图书期刊学位论文会议论文报纸图片视频新闻

首页> 根据【检索词:信道建模】搜索到相关结果 32 条

按文献类别分组

按栏目分组

按年份分组

按来源分组

关键词

基于扩展Petri网的飞机总装脉动生产线建模仿真及优化方法研究: 作者： 柴猛 来源： 南京理工大学 年份： 2017 文献类型： 学位论文 关键词： 动态调度 DELMIAV6建模仿真二次开发飞机总装脉动生产线站位优化扩展Petri网(OOHTPN); 描述： 能够大幅度减少装配时间,其柔性特征亦能够很好适应当前飞机生产小批量多品种的特点,开展与之相关的研究意义重大。本文以飞机总装脉动生产线规划设计为背景,深入研究总装脉动线建模仿真与优化技术,具体工作如下

基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,: 作者： 李勇曹子宁 来源： 计算机技术与发展 年份： 2017 文献类型： 期刊 关键词： 模型检测 E RSML Nu SMV 形式化方法; 描述： 检测的自动验证技术的研究基础上,提出了一种基于需求的形式化建模与验证的框架。运用基于四变量模型的需求状态机语言RSML-e建立了形式化模型,并给出了形式化的转换规则,将RSML-e模型转换为模型检测器

< 1 2 3 4 >

Rss订阅

订阅地址：