北京京航计算通讯研究所 
研究主题：物联网 大数据 存储介质 软件测试 虚拟机
研究学科：自动化类 经济学类 电子信息类 航空航天类 建筑类
- 我国网络安全等级保护现状与2.0标准体系研究
- 1
- 《信息技术与网络安全》北京京航计算通讯研究所;北京市涉密信息载体安全管理工程技术研究中心 何占博 王颖 刘军 出版年：2019
- 关键词：网络安全 等级保护 等级保护2.0 标准体系 网络安全法
- 基于逻辑的形式化验证方法:进展及应用 ( EI收录)
- 2
- 《北京大学学报（自然科学版）》北京京航计算通讯研究所;哈尔滨工业大学航天学院;北京大学数学学院信息科学系 陈钢 于林宇 裘宗燕 王颖 出版年：2016
- 关键词：形式化方法 逻辑系统 验证技术
- 基于制造物联的航天产品研制过程的技术状态控制技术 ( EI收录)
- 3
- 《计算机集成制造系统》北京航空航天大学机械工程及自动化学院;中国航天系统科学与工程研究院;北京京航计算通讯研究所 刘继红 余杰 朱玉明 出版年：2015
- 关键词：制造物联 航天产品 研制过程 技术状态 物联网
- 大数据及物联网技术在智慧城市中的应用
- 4
- 《中国新技术新产品》北京京航计算通讯研究所 张谦 王学勇 张文博 徐均 出版年：2019
- 关键词：大数据 物联网技术 智慧城市
- 企业市场营销管理及创新策略
- 5
- 《中国市场》北京京航计算通讯研究所 安蕊 朱英泮 出版年：2021
- 关键词：企业市场 营销管理 企业品牌力量
- 如何提升国企内部审计的增值服务能力——基于财务共享模式视角
- 6
- 《中国管理信息化》北京京航计算通讯研究所 韩金金 出版年：2018
- 关键词：财务共享 内部审计 增值
- 基于物联网的食品质量追溯管理系统
- 7
- 《软件》北京京航计算通讯研究所 李同宇 徐均 邵琦 赵峰 出版年：2015
- 关键词：物联网 食品追溯 二维码 数据同步
- 考虑个性化指标的双边匹配决策方法 ( EI收录)
- 8
- 《系统工程与电子技术》南京航空航天大学经济与管理学院;北京京航计算通讯研究所 陈晔 曹帅 卢波 李一芳 出版年：2016
- 关键词：双边匹配 个性化指标 指标差异度 权重协同优化 匹配竞争度
- 黑盒测试技术方法在大气数据计算机软件测试中的应用
- 9
- 《导航定位与授时》北京京航计算通讯研究所 魏鑫 安鹏伟 赵菲 高米 出版年：2018
- 关键词：黑盒测试 等价类划分法 边界值分析 测试用例
- 通用嵌入式软件测试环境在武器装备软件测试中的应用
- 10
- 《测控技术》北京京航计算通讯研究所 宋文 于林宇 刘军 出版年：2005
- 关键词：通用嵌入式软件测试环境 嵌入式软件 测试脚本 仿真建模
