课题基金 / 基金详情

面向卫星电子系统抗辐照能力的量化验证与评估技术

批准号:
61672012
项目类别:
面上项目
资助金额:
51.0 万元
负责人:
张敏
依托单位:
学科分类:
计算机科学的基础理论
结题年份:
2020
批准年份:
2016
项目状态:
已结题
项目参与者:
胡玲娜、卜天明、高洁、关宁、张越龄、何康力、何佳、郭延楠、吕悦

项目摘要

结项摘要

项目成果

张敏的其他基金

相似基金

相关文献

中文摘要
卫星电子系统抗辐照能力是影响卫星质量的关键环节之一, 对卫星抗辐照能力的验证和评估目前还停留在经验和测试阶段。 将量化验证理论方法应用到卫星抗辐照能力的验证与评估中, 在节约测试高额成本的同时,使得验证与评估更加客观合理。 本项目着重研究基于贝叶斯统计理论的量化验证理论方法与技术, 针对卫星电子系统抗辐照能力提出可行的验证方法与评估体系。 其研究成果具有重要的理论意义和很强的应用价值。 . 在前期的工作基础上, 本项目主要研究以下三部分: (1) 卫星电子系统的运行时软件故障注入试验的机制设计, 为卫星电子系统抗辐照能力的分析验证提供有效的试验数据。 (2) 基于贝叶斯统计理论的验证理论研究及工具开发,为卫星电子系统抗辐照能力的验证提供理论基础和技术支撑。(3)建立有效的卫星电子系统抗辐照能力的验证的有效方案和完善的评估体系。
英文摘要
It's one of the key to improve the radiation tolerance of satellite electronic system in the quality of the satellite. The verification and evaluation of satellite radiation tolerance is currently still depend on experts’ experience and testing. Applying the theory and methods of quantitative verification in studying the satellite radiation tolerance, will be free of experience as well as saving the high costs. In this project, we focus on the theory and technology of quantitative verification based on statistical methods, and propose a set of feasible verification and evaluation methods. These research results would be very important in theoretical part and practical value.. Based on the previous work, the aims of this project are as follows: (1) research and development of software fault injection experiments of satellite electronic systems, which provide effective experimental data for quantitative verification and evaluation of radiation tolerance. (2) study on the quantitative verification theory and evaluation technology based on Bayesian statistics, which provide the theoretical basis and technical support for the verification and evaluation of radiation tolerance in satellite electronic systems. (3) establishment of a more perfect verification and evaluation system, to provide effective solutions for the evaluation of radiation tolerance in satellite electronic systems.
卫星电子系统的抗辐照能力是卫星质量的重要指标之一。基于少量数据的自动化(或半自动化)的验证评估方法逐渐成为此领域的研究热点。一方面尽可能的使用少量的地面试验数据,节约实验成本,另一方面尽可能的客观准确验证各项指标,减少对专家经验的依赖。基于此研究背景,项目完成了以下研究成果:(1)卫星电子系统抗辐照能力评估的数据获取实验,包括敏感器件的单粒子效应摸底试验以及卫星电子系统应用实例的单粒子效应考核;(2)基于概率模型检测技术的卫星电子系统抗辐照能力验证技术及工具和系统评估技术与工具;(3)提出两种理论方法解决卫星电子系统抗辐照能力评估中的两个科学问题。包括提出一种分层抽样损坏平移方法的新框架, 解决小概率数据获取难的问题;以及一种基于梯度提升决策树的任务预验证技术,解决系统组合数爆炸问题。. 本项目属于交叉领域的研究,着重于量化验证技术和评估方法在卫星电子系统领域的应用。既有丰富的理论成果,又有极强的应用价值。. 在前沿理论方法上,提出基于统计模型和机器学习的量化验证理论与方法,研发了一系列的量化验证工具。利用先验分布函数和后验分布函数的共轭关系减少所需抽样样本数量,研发了统计模型检测工具;利用神经网络学习模型提高了在超长路径上验证的效率,研发了随机模型检测工具;利用贝叶斯网络和分层抽样损坏偏移技术提高了样本数据的均衡,研发了行为分析与预测工具。. 在航空航天领域应用方面,针对卫星电子系统抗辐照能力,基于量化验证技术提出一套可行的验证与评估方面,形成面向航空航天领域的量化验证与评估理论支撑。从卫星电子系统故障模型、关键器件辐射损伤故障率以及加固系统故障信息的模糊性的角度分析研究卫星电子系统在轨辐射故障率和系统不确定性,提出合理的统计量化验证方法,开发有效的验证工具;同时为卫星电子系统的抗辐照能力验证建立较为完善的验证体系。
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
SMT-based generation of symbolic automata
基于SMT的符号自动机生成
DOI: 10.1007/s00236-020-00367-6
发表时间: 2020-05
期刊: Acta Informatica
影响因子: 0.6
作者: [Qin Xudong, Bliudze Simon, Madelaine Eric, Hou Zechen, Deng Yuxin, Zhang Min]
通讯作者: Zhang Min
Optimizing backbone filtering
优化主干过滤
DOI: 10.1016/j.scico.2019.102374
发表时间: 2020
期刊: Sci. Comput. Program.
影响因子: --
作者: [Yueling Zhang, Jincao Feng, Weikai Miao]
通讯作者: Weikai Miao
DOI: --
发表时间: 2018
期刊: 华东师范大学学报(自然科学版)
影响因子: --
作者: [吕悦, 张敏, 秦旭东, 严佳]
通讯作者: 严佳
Optimal bundles for sponsored search auctions via bracketing scheme
通过分组方案进行赞助搜索拍卖的最佳捆绑
DOI: 10.1007/s11704-017-6102-0
发表时间: 2019-04
期刊: Frontiers of Computer Science
影响因子: 4.2
作者: [Xia Zheng-Dong, Bu Tian-Ming, Gong Wen-Hui]
通讯作者: Gong Wen-Hui
中国经济转型升级时期的劳动力市场结构性问题与干预政策的宏观效果评估——基于劳动搜寻匹配模型的研究
  • 批准号:
    72173044
  • 项目类别:
    面上项目
  • 资助金额:
    49万元
  • 批准年份:
    2021
  • 负责人:
    张敏
  • 依托单位:
免疫原性细胞死亡:新型个性化纳米放大器的开发与增效机制探索
  • 批准号:
    21905093
  • 项目类别:
    青年科学基金项目
  • 资助金额:
    26.0万元
  • 批准年份:
    2019
  • 负责人:
    张敏
  • 依托单位:
新常态下的劳动力市场摩擦风险:周期波动与长期失业——基于DMP搜寻摩擦理论的研究
  • 批准号:
    71673172
  • 项目类别:
    面上项目
  • 资助金额:
    49.0万元
  • 批准年份:
    2016
  • 负责人:
    张敏
  • 依托单位:
状态转换系统的格值量化验证方法研究
  • 批准号:
    61202105
  • 项目类别:
    青年科学基金项目
  • 资助金额:
    22.0万元
  • 批准年份:
    2012
  • 负责人:
    张敏
  • 依托单位:
国内基金
海外基金