081203-计算机应用技术
081202-计算机软件与理论
081201-计算机系统结构

计算机科学与技术

2004-09--2007-03   上海航天研究院   硕士研究生

   

2014-10~2018-10,中科院微小卫星创新研究院, 副主任 支撑支部书记
2007-04~2014-09,上海航天研究院, 副主任设计师

2020-08-17-2025-08-16,全国信息技术标准化技术委员会软件与系统工程分技术委员会软件质量工程标准工作组（SAC/TC28/SC7/WG1）, 委员

   

（1） 可重载控制软件, 三等奖, 部委级, 2014

[1] 周华, 王永, 乐国庆, 常亮, 施敏华. 计算机安全审计系统及方法. CN: CN112487404A, 2021-03-12.
[2] 徐浩明, 石薇, 施敏华, 高才栋, 尤志坚, 王明亮, 徐元旭. 一种硬件间通信仿真的配置连接系统和方法. CN: CN110674067A, 2020-01-10.
[3] 杨善强, 李华旺, 王丹, 施敏华, 王永, 高才栋, 虞业泺, 王番. 基于远程过程调用RPC的故障注入方法及系统. CN: CN110489245A, 2019-11-22.

   

[1] 施敏华. 卫星装备试验鉴定数据质量评价技术及实现. 计算机测量与控制. 2021, [2] 王明亮, 王永, 尤志坚, 施敏华. 刍议面向航天器星载软件的形式化验证方法. 电脑知识与技术. 2020, 205-206, https://kns.cnki.net/KCMS/detail/detail.aspx?dbcode=CJFQ&dbname=CJFDAUTO&filename=DNZS202025083&v=MjMyNDNMdXhZUzdEaDFUM3FUcldNMUZyQ1VSN3FlWnVkdUZ5bmxVTDdMSVNQUmZiRzRITkhPcW85Tlo0UjhlWDE=.
[3] 虞业泺, 施敏华, 郑倩云. FPGA软件重构验证方法研究. 电子设计工程. 2020, 28(21): 65-69, http://lib.cqvip.com/Qikan/Article/Detail?id=7103260271.
[4] 王明亮, 王永, 尤志坚, 施敏华. 刍议面向航天器星载软件的形式化验证方法. 电脑知识与技术:学术版. 2020, 16(25): 205-206, http://lib.cqvip.com/Qikan/Article/Detail?id=7102945997.

   

（ 1 ） 设备仿真环境开发及测试, 主持, 国家级, 2018-06--2019-06
（ 2 ） FPGA仿真验证环境开发及测试, 主持, 国家级, 2018-01--2019-01
（ 3 ） 全数字化通用信息仿真技术, 主持, 国家级, 2020-01--2021-12

现指导学生

王番  硕士研究生  081203-计算机应用技术  

王浩宇  硕士研究生  081203-计算机应用技术  

丁宇池  硕士研究生  085400-电子信息