上海航天计算机技术研究所
- 作品数：365 被引量：100H指数：5
- 相关作者：游红俊更多>>
- 相关机构：上海航天电子通讯设备研究所上海交通大学上海航天测控通信研究所更多>>
- 发文基金：国家高技术研究发展计划航天科技创新基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信航空宇航科学技术经济管理更多>>
- 一种嵌入式操作系统自动化闭环测试系统及测试方法
- 本发明公开了一种嵌入式操作系统自动化闭环测试系统及测试方法，包括被测目标系统和测试控制系统，所述被测目标系统模拟宇航计算机系统外围设备，通过基于QEMU仿真应用系统和被测操作系统构成运行环境；测试控制系统由测试用例管理系...
- 王磊白亮朱新忠田文波王茂森施雯
- 文献传递
- 一种星载高速交换存储一体化缓存控制方法及装置
- 本发明公开一种星载高速交换存储一体化缓存控制方法，包括：将缓存以预设的最小单元或最小单元的整数倍划分成多个块，其中，每个块由meta区和数据区组成；接收输入端口的数据包，将接收的数据存入相应的缓存中；在每个块接收完成对应...
- 朱坤托何健刘建锋田文波苏嘉玮
- 一种运载火箭地面电源控制系统
- 本发明公开了一种运载火箭地面电源控制系统，系统包括：上位机、第一电控设备、第二电控设备、功率设备；上位机配置主副工作模式；发送控制信息；接收处理信息和错误标志信息，逻辑判断确定是否将第二电控设备切换为主工作模式；第一电控...
- 花伟峰丁景义陈名胜张婷婷马玉璘
- 形式化方法在CSTA系统测试中的应用研究被引量：1
- 2004年
- 系统测试中的形式化方法是将客户需求用数学规约表达出来,推导出各项功能的预期输出结果,以完善客户需求,不仅可以较好地消除需求中可能包含的矛盾、二义性、含糊性、不完整陈述以及抽象层次的混杂等,提高发现问题的工作效率和准确度,提高软件测试质量的保障系数,而且可以将行业知识封装起来,为软件测试业务外包提供一个现实可行的依据。
- 游红俊周红梅程胜利陈先桥
- 关键词：软件测试软件质量软件开发形式化方法
- 航天企业开展工业社会工作探析被引量：1
- 2004年
- 张刚
- 关键词：工业社会工作人际关系团体工作
- 一种增强ADS-B报头通过率的方法
- 本发明提供了一种增强ADS‑B报头通过率的方法，该方法对报头检测算法进行了改进，措施如下：措施一，对基带包络信号的计算公式进行了简化，只用一次乘法和一次加法计算就可以提取出包络信号值，减少运算时间量；措施二，简化有效脉冲...
- 黄奕郭银春吴小丹胡浩张健军曹旭民
- 文献传递
- 基于变压器前串后并的ZVS移相全桥变换器被引量：1
- 2018年
- 针对雷达阵面电源低压大电流输入的要求,提出基于变压器输入串联输出并联的移相全桥(PSFB)拓扑方案。对该拓扑部分关键开关模态进行分析,得出次级整流管在箝位二极管导通后仍然振荡的原因。为解决该问题,加入RCD吸收电路来抑制次级同步整流管电压振荡。最后,设计完成了一台4.5 kW零电压开关(ZVS)脉宽调制(PWM)PSFB变换器原理样机,其实验波形与理论分析相吻合,验证了方案的可行性。
- 彭松鹏许娟朱鹏飞
- 关键词：变换器移相全桥变压器同步整流
- 一种基于神经网络覆盖率的舰船图像对抗样本生成方法
- 本发明涉及图像对抗样本技术领域，尤其涉及一种基于神经网络覆盖率的舰船图像对抗样本生成方法，包括以下步骤：S1：准备舰船卫星遥感图像样本，获取对应的标签信息；S2：挑选舰船特征明显的第一遥感图像样本,输入深度神经网络模型，...
- 李耀于清华单昕昕陈芳申臻高赛军
- 一种支持断点续传的动态在轨热更新方法
- 本发明公开了一种支持断点续传的动态在轨热更新方法，其包括以下基本步骤：第一步骤：遥控上行注入补丁数据包；第二步骤：校验上注补丁包数据完整性和有效性；第三步骤：生成新校验文件；第四步骤：生成在轨热更新补丁包数据文件对应的M...
- 白亮韦杰田文波钱丰邱源陆灵君
- 文献传递
- 一种小直径螺钉涂胶夹持装置
- 本实用新型公开了一种小直径螺钉涂胶夹持装置，包括底座组件、螺钉夹持定位组件、压板、定位销，螺钉夹持定位组件包括螺钉定位板，螺钉定位板上开设有若干个螺钉定位沉孔和若干个螺钉夹持定位组件定位孔，底座组件包括底板和底板上设置的...
- 顾朝武陈磊
- 文献传递
