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

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

基于两层元数据与本体的异构数据共享技术

针对多源、多类、异构数据难以同时共享的问题,提出了一种两层元数据结合本体的信息共享技术.首先,分析了两层元数据的结构,介绍了如何通过两层元数据统一描述多类异构数据.其次,针对元数据缺乏语义信息不能描述数据类别之间的隐含关系的问题,在元数据之上建立本体层,对元数据进行语义描述和本体推理.最后,在数据检索方面,利用Lucene全文检索引擎与SPARQL(Simple Protocol and RDF Query Language)本体查询语言相结合,在关键词查询过程增加了SPARQL检索操作,提高了查全率,并优化了检索时间.实验选取了2014-2015赛季欧洲足球冠军联赛数据作为测试数据,证明了本文方法在异构数据共享上的有效性和元数据查询性能的改进.      

时间频率设备自动监控系统的设计与实现CSCD

针对时间频率实验室设备实时监控的需求,在Microsoft NET平台上结合C++语言和Microsoft SQL server数据库技术,构建了时间频率设备自动监控系统。该系统可以实时监测设备的运行状态,并远程设置相关参数,在设备运行异常时,系统可自动弹出报警信息。实际应用表明系统具有较好的实用性、可维护性,为时间频率实验室的有序运行提供了保障。     

人工智能产生式系统的分析(上)

产生式系统是一种问题求解系统,可用于人工智能的各个领域。本文从理论上详细地分析了产生式系统的三个重要组成部分,即一个综合数据库,一组产生式规则和一个控制系统;讨论了属于不同领域若干例题,如华容道游戏、皇后问题、机器人的积木世界、求最短路径问题,以及古老的梵塔问题。文章还附有用LISP语言编写的程序和在Cromemco系统Ⅲ计算机上求出的结果。     

中国科学院空天信息创新研究院导航系统部介绍

中国科学院空天信息创新研究院成立于2019年7月,在中国科学院原电子学研究所、原遥感与数字地球研究所、原光电研究院基础上整合组建而成,是目前中科院系统内科研人员数量和承担任务经费体量最大的院所。导航系统部是空天信息创新研究院下设的二级研究部门,也是中国科学院导航总体部和二代导航专项学术交流中心的依托运行部门,人员规模(含研究生)达400余人,持续承担二代导航专项系统建设、“北斗星动能”科技示范工程、空间天气影响评估、时空信息、大数据应用等方面的重大科技任务。     

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

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

浅议如何发挥带班的重要作用

班组是管制运行的最小组织单位，直接承担着保障飞行安全的重任。带班作为班组的组织者、领导者，担负着管理班组、监控动态、不正常情况处置、协调关系的诸多职能。要把一个班组管理好、组织好、引导好、协调好，让每一名员工心向一处想，劲往一处使，建立一个安全、和谐、具有很强凝聚力的集体，概括地来说，带班应当在‘皇荧率”、“落实”、“补漏”、“卸载”、“抱团”等五个方面发挥重要的作用。     

面向北斗短报文的在轨卫星健康监控体系

针对我国在轨卫星数量迅猛增长、健康状态复杂各异、测控管理难度日趋增大的态势,提出了面向北斗短报文的在轨卫星健康监控体系。分析了北斗短报文的应用现状,构建了“用户→北斗卫星→在轨卫星”前反向数据流向。考虑到北斗短报文的容量限制,优化设计了测控数据传输格式和内容;针对北斗短报文单向传输特性,探讨了可靠通信技术;针对星座大规模安全传递分发数据需求,研究了通用掩码技术。以北斗三号系统为对象,仿真计算了在轨卫星前反向数据时间特性。结果表明:基于北斗短报文的在轨卫星健康监控技术,可以为提高在轨卫星科学使用和寿命的精细化管理提供参考。     

霍尼韦尔EVS/SVS技术赐飞行员一双"透视眼"

该公司的新技术能为飞行员提供增强型视觉效果,减少因恶劣天气造成航班延误而导致的成本和安全问题。据霍尼韦尔航空航天集团高新技术研发部副总裁BobWitter介绍,该公司的新技术能为飞行员提供增强型视觉效果,减少因恶劣天气造成航班延误而导致的成本和安全问题。     

基于ANSYS的模态分析二次开发及应用

在充分利用 ANSYS 模态分析功能的基础上,结合大量振动台用夹具模态分析的科研课题和实际分析经验,提出编程开发程序以自动生成 ANSYS 宏代码并将宏封装的新思路以及采用数据库管理结果文件的办法。实现了分析过程模块化自动完成,分析结果由数据库管理系统管理的便捷、高效的模态分析。