王志杰

作品数：2被引量：1H指数：1
导出分析报告
供职机构：中国空间技术研究院更多>>
发文主题：通信卫星传输函数抽象化充放电程控更多>>
发文领域：自动化与计算机技术电子电信航空宇航科学技术更多>>
发文期刊：《系统仿真技术》《计算机科学》更多>>
所获基金：国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于系统多维要素的安全关键软件验证方法被引量：1
《计算机科学》2019年第9期156-161,共6页吕小虎 韩笑冬 宫江雷 王志杰 刘小鲲 
国家自然科学基金(61471360)资助
软件密集型系统已成为发展的必然趋势。安全关键软件功能的比重持续上升,与之相关的安全性问题也日益凸显,且问题的影响因素呈现复杂、多维、动态、隐蔽等特征。因此,寻求合理的验证方法成为了迫切需要,而如何对其进行有效验证,也成为...
关键词：安全关键软件 多维要素 约束集 验证集 
基于智能与融合的静止轨道卫星容错方法
《系统仿真技术》2017年第3期215-219,共5页韩笑冬 于慧 张登峰 王志杰 
国家自然科学基金(61374133;61471360)
基于计算智能和融合方法设计了一种静止轨道卫星容错结构,并提出了一个由模糊神经网络和专家系统模型构成的智能容错算法,该算法利用双滤波器对卫星状态进行估计和预测。首先对卫星测量信息的有效性进行判断,然后通过计算智能模型计算...
关键词：静止轨道卫星 容错方法 信息融合 计算智能 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部