【摘 要】
：
为解决航天器间信息流验证问题,文章提出三步走策略;首先采用了航天器信息流设计标准中的信息流分析方法;然后,从测试验证角度提出了对信息流描述的延伸方法;最后,借鉴软件测
【机 构】
：
北京空间飞行器总体设计部,北京空间飞行器通信卫星事业部
论文部分内容阅读
为解决航天器间信息流验证问题,文章提出三步走策略;首先采用了航天器信息流设计标准中的信息流分析方法;然后,从测试验证角度提出了对信息流描述的延伸方法;最后,借鉴软件测试设计理论等诸多方法,识别测试用例,并在此基础上完成航天器间信息流测试验证;该方法已在某深空探测器的测试设计中应用,保证信息流验证完备性的同时,能够有效增强测试用例设计的合理性及有效性,是一种十分有效的信息流验证思路.
其他文献
为了解决使用美国商用GPS对我国飞行试验中定位精度和速度的种种限制以及对我国国防安全的潜在危险,文章基于我国日趋成熟自主研发的北斗定位系统技术,开展其在飞行试验中的研究;文中分别对北斗的短报文通信技术、单点及事后差分技术、实时差分技术在飞行试验中的应用方法进行研究,并介绍了飞行试验中北斗定位数据的处理方法;通过试验数据与美国商用GPS数据进行对比,结果显示北斗定位系统精度与美国商用GPS精度接近;
针对工业控制系统网络化和良好人机交互性的需求,构建和开发了基于ARM9微处理器的通用工业控制人机界面系统;硬件部分主要讨论了以S3C2440微处理器为核心的硬件电路设计,外围电路模块包括SDRAM及Flash存储器电路、以太网电路、RS-232/RS-422电路、触摸屏及LCD接口等电路,在分析了硬件系统信号完整性的前提下,完成了6层PCB的设计工作;软件部分主要研究了U-Boot移植和内核裁剪技
脉冲宽度调制（PWM）整流电路结构日益复杂，对其可靠运行提出了更高的要求；对局域均值分解（LMD）用于PWM整流电路的故障特征提取进行研究，提出一种基于LMD和加权频带能量法的特征提取新
针对当前传统数据库已经不能满足海量农产品安全监控信息的存取及处理需求,借鉴Hadoop平台的分布式文件系统和Map/Reduce并行计算方法设计了农产品安全监控平台的框架,在此基础上,提出了一种用于监测农产品各项指标的Map/Reduce算法;最后通过Linux集群技术,搭建了一个基于Hadoop的农产品安全监控数据存储处理实验性平台,该平台能够有效地对海量农产品数据进行及时存储与处理;实验最终结
为进一步提高两区域互联再热火力发电系统中工作频率和联络线功率的稳定性,提出了一种加权和多目标对负荷频率控制的优化方法;采用人工蜂群算法（ABC）和加权和方法实现LFC的多目
研究矿井提升机自动化控制中精度不高且控制性能不稳定问题；目前的粒子群算法用于自动化控制系统时，存在早熟和算法参数难确定的缺陷，参数镇定效果较差；针对以上弊端，提出了细菌觅
为研究注意力对安全驾驶的影响,搭建了一套模拟驾驶系统来监控驾驶员的脑电注意力水平;设计了一个实验范式,采集了3个被试的十八次实验数据并进行违规脑电信息的统计分析和评估;,结果表明:驾驶员注意力低水平与交通违规具有明显的相关性;违规驾驶的注意力指标与被试个体特征有关,并且具有具有较好的重现性;驾驶员交通违规的低水平阈值可以通过本模拟环境来测量,这对安全驾驶和事故风险控制具有积极的意义。
锅仔片是薄膜开关、微型开关等电子元件中的关键部件之一,具有接触平稳、导通性强、回弹稳定、手感俱佳的几大优点;在锅仔片的生产过程中,不可避免地会被人的手指接触到,并留下指纹和油脂,导致锅载片加快氧化,影响其寿命,对主体产品的质量留下了隐患;因此,锅仔片的质量检测是提高主体产品竞争力的重要环节;目前,生产企业大多采用的检测法是人工目视检测法,该方法效率低,且容易误判;为了提高生产效率,提出了基于机器视
文章提出隔离式协议转换器在压力变送器并行温压补偿系统上的研发与应用,其目的是替换现存以HART总线[1]为基础的并行温压补偿系统的补偿电路,进而简化了补偿电路,提高了主站
为实现对现代有轨电车车辆的位置及运行状态进行实时监控,设计了一个基于BDS/GPS和百度地图的现代有轨电车监控系统;定位终端以具有我国自主知识产权的BDS/GPS双模定位模块为主,RFID系统作为辅助定位手段;数据通过HTTP的GET方法提交至服务器,由服务器端的PHP页面自动处理后存储到MySQL数据库,中心管理平台显示页面调用百度地图API,将数据显示在百度地图上;最终该系统可以实时获取并存储