王婧
- 作品数：22 被引量：13H指数：2
- 供职机构：北京控制工程研究所更多>>
- 发文基金：国家中长期科技发展规划重大专项国家自然科学基金国防基础科研计划更多>>
- 相关领域：自动化与计算机技术电气工程更多>>
- 航天器热备份控制计算机软故障前向恢复方法被引量：3
- 2016年
- 针对航天器热备份控制计算机单机软故障,提出一种前向恢复方法.该方法依据航天器热备份控制计算机系统的先验知识,通过对内存分块管理和重分配,进行数据比对和数据同步,使得软故障情况下系统中各单机自主、稳定地恢复至独立输出完全一致.与传统的恢复方法相比,新方法针对航天器热备份控制计算机系统设置合适的故障识别与定位的方法,且不用增加任何硬件开销.利用返回飞行器GNCC控制计算机对该方法进行了实现,试验结果证明该方法正确可行,为航天器热备份控制计算机的自主恢复技术奠定良好的基础.
- 丁志远刘波刘超伟王婧王振华
- 关键词：软故障
- 一种优先级抢占时间片轮转操作系统中任务定时调度方法
- 本发明一种优先级抢占时间片轮转操作系统中任务定时调度方法，步骤如下：(1)利用操作系统接口函数创建用户任务TaskEncap_N()，在用户任务TaskEncap_N()中对实际的用户任务函数TaskFunc_N()进行...
- 龚健杨孟飞乔磊杨桦顾斌彭飞王婧徐建刘波
- 文献传递
- 一种三机热备份实时系统同步事件响应的方法
- 本发明提供一种三机热备份实时系统同步事件响应的方法，三机热备份实时系统包括三台独立运行的单机，相互之间在每个控制周期定时通讯、交换数据，每一控制周期每个单机运行以下步骤：S1、查询是否有需要处理的事件；S2、当需要处理的...
- 张维瑾王婧王勇魏高乐张国峰黎藜乔德治董文强杨俊春张高
- 文献传递
- 一种星载多核SoC任务级负载均衡并行调度方法
- 本发明提出了一种星载多核SoC任务级负载均衡并行调度方法，步骤如下：将多核任务控制块TCB作为节点构建全局任务调度队列；调度器模块初始化时创建4个优先级最低的空闲任务，并加入全局任务调度队列OSTaskRdyList；多...
- 龚健杨孟飞刘鸿瑾吴一帆杨桦王婧徐建吴军刘波彭飞
- 文献传递
- 航天嵌入式软件可信性度量方法及应用研究被引量：10
- 2015年
- 航天嵌入式软件的可信性是确保型号任务成功的重要因素.目前对航天嵌入式软件可信性评价均采用定性的方法,还没有针对航天嵌入式软件可信性的定量度量方法和模型.本文采用主观和客观相结合的方法,提出了一种面向航天型号软件的可信性度量模型及分级评价方法,通过航天软件的可信属性来研究软件的可信度和定量分析评价.基于该度量模型和方法对月地高速再入返回飞行器软件的可信性进行了度量评估,应用情况表明,航天嵌入式软件可信性度量模型及分级评价方法是合理的,科学的,能够有效评价软件的可信性并发现软件产品研制过程中需要加强的部分,对于航天型号软件研制水平的提高有重要的意义.
- 王婧陈仪香顾斌郭向英王保华金晟毅徐建张居阳
- 一种多核操作系统可重构容错启动方法
- 一种多核操作系统可重构容错启动方法，设置同步信号为初始状态，设置自旋锁为未被占用；各处理器核完成初始化后，申请自旋锁；申请到自旋锁的处理器核进入核间互斥访问的临界区，其余处理器核阻塞在自旋锁上；第一个申请到自旋锁的处理器...
- 王婧彭飞刘波华更新龚健高益军杨桦刘鸿瑾张绍林许娜
- 文献传递
- 一种基于实时操作系统的星载计算机三机热备份容错方法
- 一种基于实时操作系统的星载计算机三机热备份容错方法，首先构建三台装有相同实时操作系统的计算机。在每个控制周期中，每台单机都通过三机之间的数据交换获取另外两机的数据。然后按照本机和另一机、本机和第三机、另一机和第三机共三种...
- 吴琨胡洪凯张洪华何健李任欣程铭刘波王婧徐建
- 文献传递
- 一种三机热备份实时系统同步事件响应的方法
- 本发明提供一种三机热备份实时系统同步事件响应的方法，三机热备份实时系统包括三台独立运行的单机，相互之间在每个控制周期定时通讯、交换数据，每一控制周期每个单机运行以下步骤：S1、查询是否有需要处理的事件；S2、当需要处理的...
- 张维瑾王婧王勇魏高乐张国峰黎藜乔德治董文强杨俊春张高
- 一种热备份实时控制系统中自适应任务调度方法
- 一种热备份实时控制系统中自适应任务调度方法，(1)根据热备份实时系统中各项硬实时任务的特点，将任务分成单周期任务，多周期任务和空闲任务；(2)根据热备份实时系统中控制精度的需要，确定控制周期；判断单周期任务中是否包含交换...
- 王婧于丹张钊刘波徐建刘超伟彭飞王勇张高张维瑾郑永洁
- 文献传递
- 一种基于阵列结构的可重构容错方法
- 本发明一种基于阵列结构的可重构容错方法，步骤如下：(1)采用硬件描述语言生成一个基于阵列结构的可重构模型，包括N×N节点阵列结构和节点间互联关系，以及与节点连接的功能模块；(2)以FPGA为载体生成可重构阵列模型的硬件电...
- 杨孟飞龚健刘波杨桦刘鸿瑾赵云富胡洪凯董暘暘王婧徐建苗致富张绍林
- 文献传递
