王志杰
- 作品数：11 被引量：1H指数：1
- 供职机构：中国空间技术研究院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信航空宇航科学技术更多>>
- 一种星载能源管理软件闭环测试方法
- 一种星载能源管理软件闭环测试方法，首先构建星载能源管理软件测试系统，模拟星载能源管理软件测试系统闭环下带速率调整的充放电信号，然后构建星载能源管理软件测试系统闭环下指令响应模型，并建立星载能源管理软件测试系统闭环下指令响...
- 王君李雅琳王志杰
- 文献传递
- 星地时间同步系统和方法
- 本发明提供了一种星地时间同步系统和方法，基于通信卫星测控通道实现高精度的星地时间同步。该系统包括：星时管理及测控应答模块，其作为核心经由上下行链路实现与地面系统的时间信息交互；高稳频率源，提供高稳频率；中心遥测模块，发送...
- 陈亮亮许猛薛敏王志杰李延滨李慧娴
- 文献传递
- 一种星载能源管理软件闭环测试方法
- 一种星载能源管理软件闭环测试方法，首先构建星载能源管理软件测试系统，模拟星载能源管理软件测试系统闭环下带速率调整的充放电信号，然后构建星载能源管理软件测试系统闭环下指令响应模型，并建立星载能源管理软件测试系统闭环下指令响...
- 王君李雅琳王志杰
- 文献传递
- 一种软件程控重用模型生成方法
- 一种软件程控重用模型生成方法，首先配置软件程控启动条件库、软件程控事件执行前提条件库，然后根据任务需要对软件程控分配软件程控事件，对软件程控事件依据所需指令数量分配程控序列，最后根据软件程控启动条件或者收到软件程控启动遥...
- 王君王凤春胡迪王志杰
- 文献传递
- 一种电力线通信信道检测系统及检测方法
- 本申请公开了一种电力线通信信道检测系统及检测方法，该检测系统包括：发射机，用于生成跳频信号和/或宽带扩频信号，根据跳频信号得到第一模拟信号和/或根据宽带扩频信号得到第二模拟信号；信道模拟器，用于构建低速电力线信道以及通过...
- 王君冯彦君王志杰刘治军
- 基于系统多维要素的安全关键软件验证方法被引量：1
- 2019年
- 软件密集型系统已成为发展的必然趋势。安全关键软件功能的比重持续上升,与之相关的安全性问题也日益凸显,且问题的影响因素呈现复杂、多维、动态、隐蔽等特征。因此,寻求合理的验证方法成为了迫切需要,而如何对其进行有效验证,也成为软件安全性工作的难点。结合安全关键软件的研制工作,文中研究并提出基于系统多维要素的安全关键软件验证方法,从系统的角度建模对影响软件安全性的多维危险要素;在此基础上,通过构建安全关键软件的需求约束集和验证集,给出具体的验证方法和步骤。实际应用表明,与传统的局限于软件逻辑自身的验证方法相比,文中所提方法能够有效识别大量软件潜在的深层次的问题。
- 吕小虎韩笑冬宫江雷王志杰刘小鲲
- 关键词：安全关键软件
- 基于智能与融合的静止轨道卫星容错方法
- 2017年
- 基于计算智能和融合方法设计了一种静止轨道卫星容错结构,并提出了一个由模糊神经网络和专家系统模型构成的智能容错算法,该算法利用双滤波器对卫星状态进行估计和预测。首先对卫星测量信息的有效性进行判断,然后通过计算智能模型计算各敏感器的置信度,最后根据卫星在轨工作健康状态选择相应融合方法。仿真算例验证了该算法的有效性。
- 韩笑冬于慧张登峰王志杰
- 关键词：静止轨道卫星容错方法信息融合
- 对低密度奇偶校验码的研究以及在卫星通信中的应用
- 本文回顾了信道编码发展过程,阐明了能够达到香农极限编码应具备的条件.介绍了低密度奇偶校验码的概念、编码算法和解码算法.本文根据DVB-S2标准,应用低密度奇偶校验码实现了前向纠错模块,对仿真的实际性能与DVB-S2的技术...
- 王志杰郝燕艳
- 关键词：空间通信信道编码数据传输低密度奇偶校验码
- 文献传递
- 一种软件程控重用模型生成方法
- 一种软件程控重用模型生成方法，首先配置软件程控启动条件库、软件程控事件执行前提条件库，然后根据任务需要对软件程控分配软件程控事件，对软件程控事件依据所需指令数量分配程控序列，最后根据软件程控启动条件或者收到软件程控启动遥...
- 王君王凤春胡迪王志杰
- 文献传递
- 一种电力线通信信道检测系统及检测方法
- 本申请公开了一种电力线通信信道检测系统及检测方法，该检测系统包括：发射机，用于生成跳频信号和/或宽带扩频信号，根据跳频信号得到第一模拟信号和/或根据宽带扩频信号得到第二模拟信号；信道模拟器，用于构建低速电力线信道以及通过...
- 王君冯彦君王志杰刘治军
- 文献传递
