知识产权目录(只填已授权知识产权支撑材料,按重要程度排序,限10个) | |||||||
序号 | 知识产权类别 | 授权项目名称 | 国(区)别 | 授权号 | 授权公告日 | 发明人 | 权利人 |
1 | 发明专利权 | 一种嵌入式软件可信性保障方法 | 中国 | ZL201310738865.3 | 2015-04-15 | 杨孟飞,顾斌,陈睿,郭向英,赵雷,董晓刚,綦艳霞,王政,陈尧,乔磊、沈沛,郝伟 | 北京控制工程研究所 |
2 | 发明专利权 | 一种用于检测中断驱动型程序数据竞争的系统 | 中国 | ZL201010611695.9 | 2012-12-26 | 陈睿,郭向英,段永顥,张西超,侯成杰,董燕,于志杰,魏鹏,吴瑾,武占峰,张金巍,曾霞,左万娟 | 北京控制工程研究所 |
3 | 发明专利权 | 一种本地工作区与远程数据服务器结合的高效软件数据管理方法 | 中国 | ZL201310676324.2 | 2016-03-30 | 赵雷,陈睿,郭向英,王政,陈尧,胡智琦,沈沛,郝伟,褚楠 | 北京控制工程研究所 |
4 | 发明专利权 | 一种用于集成环境的多层软件总线结构 | 中国 | ZL201310751618.7 | 2015-07-08 | 杨孟飞,郭向英,顾斌,赵雷,陈睿,郝伟,盛庄,黄晨,沈沛 | 北京控制工程研究所 |
5 | 发明专利权 | 基于可信属性的航天系统关键软件评价方法 | 中国 | ZL201410795028.9 | 2017-05-10 | 高栋栋,胡智琦,冀会芳,朱倩,程立明,赵欢,腾俊元 | 北京轩宇信息技术有限公司 |
知识产权目录(标准) | |||
序号 | 标准名称 | 类别 | 标准号/备案号 |
知识产权目录(论文) | ||||||||||||
序号 | 论文(专著)名称 | 刊名/出版社 | 发表时间 | 通讯作者 | 第一作者 | 论文全部作者 | SCI他引次数 | 他引总次数 | 年卷期页码 | 是否国内完成 | ||
1 | 可信的航天嵌入式控制软件开发技术 | 国防工业出版社 | 2017-12-01 | 无 | 杨孟飞 | 杨孟飞,顾斌,郭向英 | 0 | 0 | ISBN:9787118112665 | 是 | ||
2 | Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems | Mathematics in Computer Science | 2012-11-01 | 刘江 | 刘江 | 刘江,詹乃军,赵恒军 | 1 | 7 | 2012,6(4):395-408 | 是 | ||
3 | Abstraction of elementary hybrid systems by variable transformation | International Symposium on Formal Methods | 2015-01-01 | 刘江 | 刘江 | 刘江,詹乃军,赵恒军,邹亮 | 5 | 13 | 2015,volume 9109: 360-377 | 是 | ||
4 | Effective Statistical Fault Localization Using Program Slices | 2012 IEEE 36th International Conference on Computer Software and Applications | 2012-09-01 | 毛晓光 | 雷晏 | 雷晏,毛晓光,代子营,王承松 | 12 | 26 | 2012:pp.1-10 | 是 | ||
5 | 航天嵌入式软件可信性度量方法及应用研究 | 中国科学:技术科学 | 2015-02-01 | 陈仪香 | 王婧 | 王婧,陈仪香,顾斌,郭向英,王保华,金晟毅,徐建,张居阳 | 5 | 14 | 2015(2):221-228 | 是 |
国家法律法规要求的行业批准文件目录(不超过10个) | |||||
序号 | 批准文件名称 | 产品名称 | 批准单位 | 批准时间 | 申请单位 |
经济效益支撑材料目录(限10个) | |||||||
序号 | 候选单位 | 支撑材料种类 | 名称 | 应用方 | 效益产生日期 | 经济效益(万元) | 备注 |
1 | 北京控制工程研究所 | 其他 | 2016年10月风云等拨款通知单 | 航天五院 | 2016-10-28 | 6200 | |
2 | 北京控制工程研究所 | 其他 | 2016年11月神舟拨款通知单 | 航天五院 | 2016-11-01 | 3040 | |
3 | 北京控制工程研究所 | 其他 | 2017年11月北斗拨款通知单 | 原总参谋部,航天系统部 | 2017-11-29 | 6870 | |
4 | 北京控制工程研究所 | 其他 | 2018年3月高分拨款通知单 | 财政部 | 2018-03-07 | 1300 | |
5 | 北京控制工程研究所 | 其他 | 2018年12月神舟风云拨款通知单 | 航天八院、原总装备部 | 2018-12-12 | 6000 | |
6 | 北京轩宇信息技术有限公司 | 项目收入明细表 | 工具销售项目收入明细表 | 多个单位 | 2016-03-15 | 1946.5 | |
7 | 北京轩宇信息技术有限公司 | 项目收入明细表 | 软件测试项目收入明细表 | 多个单位 | 2016-02-05 | 4434.9192 | |
8 | 北京轩宇信息技术有限公司 | 销售合同 | 可视化自动单元测试工具合同 | 陕西苍松机械厂 | 2016-11-25 | 70 | |
9 | 北京轩宇信息技术有限公司 | 销售合同 | XX三期软件第三方确认测试合同 | 西安空间无线电技术研究所 | 2017-12-01 | 617.081 |