您的位置： 专家智库 > >

倪思如

作品数：8 被引量：21H指数：1
供职机构：南京航空航天大学更多>>
发文基金：中国航空科学基金江苏省普通高校研究生科研创新计划项目国防基础科研计划更多>>
相关领域：航空宇航科学技术军事自动化与计算机技术更多>>

合作作者

文献类型

  • 6篇专利
  • 1篇期刊文章
  • 1篇学位论文

领域

  • 1篇自动化与计算...
  • 1篇航空宇航科学...
  • 1篇军事

主题

  • 3篇嵌入式
  • 3篇嵌入式软件
  • 2篇有限域
  • 2篇整数规划
  • 2篇整数规划问题
  • 2篇评估值
  • 2篇协同设计
  • 2篇协同设计平台
  • 2篇离散化
  • 2篇静态模型
  • 2篇矩阵
  • 2篇可信计算
  • 2篇估值
  • 2篇关系矩阵
  • 2篇规划问题
  • 2篇飞行
  • 2篇飞行器
  • 2篇服务质量保障
  • 2篇成熟度
  • 1篇动态模型

机构

  • 8篇南京航空航天...
  • 1篇南京邮电大学

作者

  • 8篇倪思如
  • 7篇庄毅
  • 6篇顾晶晶
  • 6篇霍瑛
  • 4篇许海洋
  • 2篇丁飞
  • 1篇赵学健
  • 1篇薛羽

传媒

  • 1篇航空学报

年份

  • 4篇2016
  • 3篇2014
  • 1篇2013
共 8 条 记 录，以下是 1-8
全选 清除 导出
排序方式：
基于启发式自适应离散差分进化算法的多UCAV协同干扰空战决策被引量：21
2013年
研究了多无人作战飞机(UCAV)协同干扰空战决策(MUCJAD)问题,在干扰效能评估指标量化方法的基础上为该问题建立了优化模型。为有效求解该模型,提出一种启发式自适应离散差分进化(H-SDDE)算法。在H-SDDE算法中,设计了包含4种候选解产生策略的候选策略池,引入了候选解产生策略及其参数的自适应学习过程。此外,结合实际问题为算法设计了基于威胁度的扩展型整数编码方案、基于威胁度的启发式个体调整操作、基于约束满足的个体修复操作。在12个测试实例上进行了仿真验证,结果表明,H-SDDE算法与其他同类算法相比在求解质量和求解速度上具有明显优势,能够更好地发挥多UCAV协同干扰整体效果。
薛羽庄毅张友益倪思如赵学健
关键词：启发式算法自适应差分进化
一种飞行器协同设计平台的方案成熟度评估方法
本发明公开了一种飞行器协同设计平台的方案成熟度评估方法，包括研发需求-技术特性质量屋和模糊评估方法两部分。设计的飞行器协同设计平台研发需求-技术特性质量屋包括描述研发需求的左墙、描述技术特性的天花板、以及记录两者之间关系...
庄毅霍瑛顾晶晶倪思如丁飞
文献传递
一种基于离散化全局分布搜索的可信服务组合方法
本发明公开了一种基于离散化全局分布搜索的可信服务组合方法，包括可信服务组合模型和离散化全局分布搜索人工蜂群算法DGABC两部分。可信服务组合模型中，通过引入时间衰减函数，将服务组合问题转化为非线性整数规划问题；DGABC...
庄毅霍瑛顾晶晶许海洋倪思如
文献传递
一种基于离散化全局分布搜索的可信服务组合方法
本发明公开了一种基于离散化全局分布搜索的可信服务组合方法，包括可信服务组合模型和离散化全局分布搜索人工蜂群算法DGABC两部分。可信服务组合模型中，通过引入时间衰减函数，将服务组合问题转化为非线性整数规划问题；DGABC...
庄毅霍瑛顾晶晶许海洋倪思如
文献传递
嵌入式软件可信性建模与验证技术的研究及其应用
嵌入式软件在关键领域的广泛应用使其对可信性的需求远远高于一般软件。由于嵌入式软件在体系架构、资源限制、应用环境等方面的特殊性，以及近年来复杂化、规模化与开放化的发展趋势，保障和评估嵌入式软件的可信性已成为国内外越来越关注...
倪思如
关键词：嵌入式软件Z语言风险评估
一种嵌入式软件可信属性建模与验证方法
本发明属于可信计算领域，涉及一种嵌入式软件可信属性建模与验证方法，包括下列步骤：（1）建立半形式化模型；（2）将半形式化模型转换为有限域上的可信嵌入式软件模型ZAM，包括时间模型、静态模型与动态模型三部分；（3）给出描述...
庄毅倪思如顾晶晶霍瑛许海洋
文献传递
一种飞行器协同设计平台的方案成熟度评估方法
本发明公开了一种飞行器协同设计平台的方案成熟度评估方法，包括研发需求-技术特性质量屋和模糊评估方法两部分。设计的飞行器协同设计平台研发需求-技术特性质量屋包括描述研发需求的左墙、描述技术特性的天花板、以及记录两者之间关系...
庄毅霍瑛顾晶晶倪思如丁飞
文献传递
一种嵌入式软件可信属性建模与验证方法
本发明属于可信计算领域，涉及一种嵌入式软件可信属性建模与验证方法，包括下列步骤：（1）建立半形式化模型；（2）将半形式化模型转换为有限域上的可信嵌入式软件模型ZAM，包括时间模型、静态模型与动态模型三部分；（3）给出描述...
庄毅倪思如顾晶晶霍瑛许海洋
文献传递
全选 清除 导出
共1页<1>
聚类工具0