航天器测试需求描述及其自动生成

航天器作为一个典型的安全苛刻系统,其可信性研究需求迫切,支持可信性评估的数据来自于航天器测试用例的执行,而航天器测试需求是测试用例生成的重要依据.在实际应用中,对航天器这类复杂系统,面临测试需求庞杂、测试需求编制周期长、人工经验编制方式难以保证测试需求的充分性、完备性及可复用性等问题.针对这些问题,通过分析航天器组织结构特点,建立航天器形式化模型,基于航天器测试任务流程,给出了航天器静态测试需求和动态测试需求形式化描述规范,并给出航天器测试需求自动生成方法,保证了测试需求的充分性和完备性,提高了测试需求复用性,与人工编制方式相比,缩短了测试需求编制周期.最后设计并实现航天器测试需求生成应用系统,验证所提出方法的有效性.      

航天战略事关国家安全

2011年,全球航天技术及其产业在经济危机阴影下继续保持稳健发展,全球商业航天活动一片繁荣;军用航天和深空探测蓬勃发展;载人航天经过50年的发展,正处在十字路口;中国航天的国际竞争力显著提升,与国外航天先进技术差距正在逐年缩小。回眸2011年,展望未来,也许"他山之石,可以攻玉"。     

像新鲜空气一样宝贵——浅析美国国家定位导航授时(PNT)体系结构

为解决目前导航手段众多但缺乏一体化定位导航授时(PNT)体系结构指导的问题,美国国防部和运输部于2006年联合发起了一项国家PNT体系结构研究。在30多个军民商用户部门和政府机构的大力支撑下,2008年9月,美国国家安全航天办公室发布了《国家定位导航授时(PNT)体系结构研究最终报告》。该项目研究的目的是"制定一个全面的国家层面的PNT体     

安全、防溅的气压水火箭发射架

气压水火箭是一项喜闻乐见的环保型航天模型活动.通过制作过程使学生从中掌握航天、航空知识,提高学生的动手能力,具有很高的科学性、技术性和欣赏性.     

美国“太空探索新构想”实施概述

1 背景 2004年1月,美国总统布什公布了"太空探索新构想"(VSE).该构想要求美国航空航天局(NAsA)实现以下目标:恢复航天飞机的安全飞行;完成"国际空间站"的建造;重返月球,为人类的外太空探索积累更多经验和知识,并开始进行火星探测;更多地利用机器人进行探测,最大限度地增进人类对太阳系的了解,为未来更宏伟的载人任务铺路.     

山岩中的佩特拉

在约旦首都安曼以南200多千米处荒漠的山岩上,矗立着一座由悬崖峭壁包围着的古迹,它就是佩特拉。2000多年前,佩特拉曾是约旦境内一个强大王国的都城,有过一段辉煌的历史,现在却到处是断壁残垣。     

灾害管理的主要国际性空间项目一瞥

□□预防、减轻自然灾害是保证人类持续发展的重要因素，但是地面管理的能力往往不能满足自然灾害管理的要求，而空间系统具备对灾害地区进行全面详细监测的独特能力，可为民政部门和减灾/救灾机构提供评估和指导。自从人类能够获取对地观测卫星数据至今，利用空间技术减少自然     

煤矿安全生产微型机监控系统

用微型计算机监测与控制煤碳生产,可以大大提高煤矿的安全生产和自动化水平,进一步改善煤矿的生产管理和增加企业效益。本文具体介绍了一个适用于中、小型煤矿的安全生产微型机监测与控制系统的功能、结构和软、硬件配置,并着重讨论了系统主站的几个关键技术问题是怎样解决的。该系统现已投入运行。实践证明,设计合理,性能稳定,工作可靠,它是一个特别适用于中、小型煤矿的廉价安全生产监控系统。     

基于SSL的数据安全传输系统的设计与实现

安全套接层协议SSL(Secure Socket Layer)是用来保障数据安全传输的协议,目前已经成为工业标准.首先简要介绍了SSL协议,设计并实现了基于SSL的数据安全传输系统,它由两部分组成:SSL客户方安全通信代理CSP(Client Secure Proxy)和服务器方安全通信网关SSG(Server Secure Gateway),二者可以在Internet上建立一个安全通道,从而能够保障敏感数据的安全传输.讨论了系统的整体结构,并详细分析了实现中的若干关键技术,主要包括握手协议的实现、密钥的协商、记录层数据的分段与填充、会话重用等.