基于Eclipse的航天嵌入式软件集成 开发环境设计与实现

针对当前航天器软件研制过程中需要使用多种开发工具的问题,设计实现了集工程管理、代码编辑、语法检查、编译链接和调试测试于一体的航天嵌入式软件集成开发环境.研究成果已应用于航天器嵌入式软件的研发,缩短了软件研发周期并提高了软件质量,同时也为软件集成开发环境的研发提供借鉴.     

基于Event B的中断管理需求和设计形式化建模与验证方法

随着软件复杂度的迅速增长,传统的基于测试的方法逐渐难以满足航天器操作系统的可靠性和安全性需求,形式化方法逐渐成为航天器操作系统安全可靠性的有效保障.基于Rodin平台,采用Event B形式化语言,通过需求和设计重写、制定精化策略并逐步精化的方法,对航天嵌入式操作系统SpaceOS2的中断管理模块建立了需求层和设计层形式化模型,将模型检验和定理证明相结合,验证模型的正确性并且满足安全性质.     

嫦娥二号的奔月之旅

<正>10月1日:踏上奔月之旅10月1日18时59分,长征三号丙运载火箭从西昌卫星发射中心豪迈出征,将中国探月工程二期的先导星——嫦娥二号卫星准确送入地月转移轨道。嫦娥二号卫星踏上了     

《宇航计测技术》撰稿须知CSCD

一、征稿范围无线电、时间频率、电磁学、电离辐射、化学和光学等计量标准的设计、研制和计量测试技术、仪器仪表的检定维修技术、误差分析及数据处理技术;石英晶体器件的设计和研制、电子技术应用、自动化测量、计量产品介绍、国内外计量信息、计量测试动态及发展趋势等。     

陕西省高校教学名师奖获得者——壮志剑副教授简介

壮志剑,男,1964年出生,西安航空技术高等专科学校计算机工程系教师。1986年毕业于西北工业大学计算机科学系计算机软件专业,副教授,陕西省教学名师,"数据库应用"国家级精品课程负责人。在教学工作方面,壮志剑同志自1986年以来,一直在教学一线从事教     

《计算结构动力学》新书出版

由北京强度环境研究所邱吉宝研究员、北京卫星环境工程所向树红研究员、北京强度环境研究所张正平研究员共同编著的《计算结构动力学》是“十一五”国家重点图书,由中国科学技术大学出版社出版。本书将大型复杂的工程结构离散化为多自由度系统,主要介绍其运动方程的建立,振动特性与响应的分析,特别是自由度数很大系统的振动分析。全书以工程应用为目的,以应用理论为主要内容,从理论、方法到以实例说明在航天工程中的应用,进行振动理论的系统性介绍。     

《航天标准化》征稿与征订启事

《航天标准化》,反映航天高科技成果及其应用标准化的综合性科技期刊,面向国内外广大读者。期刊主管单位:航天科技和科工两大集团公司,主办单位:中国航天标准化研究所。     

《航天标准化》征稿与征订启事

《航天标准化》,反映航天高科技成果及其应用标准化的综合性科技期刊,面向国内外广大读者。期刊主管单位:航天科技和科工两大集团公司,主办单位:中国航天标准化研究所。一、投稿要求     

《中国空间科学技术》论文撰写基本要求

1论文的特点科技论文是本着科学态度,运用科学的原理和方法,准确的运用概念、判断和推理撰写而成系统的文章。科技论文应具备:创新性、先进性、科学性、实用性和可读性。创新性———指对描述内容区别于其他文献的一种特殊要求,是科技论文的灵魂。他要求论文所揭示的事物现象、属性、特点以及事物运动时所遵循的规律,或者这些属性、特点以及运动的运用,必须是前所未见、首创的,或部分首创的,而不是对他人工作的复述或解释。先进性———指所采用的理论、方式、方法、工具是先进的,符合现代的发展方向。科学性———是指论文的论述具有可信性…     

征稿启事

本刊为综合性学术季刊,逢季末出版。根据《中国高等学校社会科学学报编辑部》的要求,对来稿形式及内容作如下规定：1、稿件应具有一定学术水平、理论深度或应用价值。做到内容真实,观点明确,证据可靠,数据准确,语言通顺,文字简练。按本刊篇幅,要求3600或5400个字符(包括空格)为宜。2、题名应简明,且20个宇以内为宜,必要时可加副题名。3、文章应有作者署名(1)工作单位(2)地址邮编(3)及第一作者简介,例：作者简介：乌兰娜(1968-),女,蒙古族,内蒙古达拉特旗人,内蒙古大学历史系副教授,博士,研究方向：蒙古学。4、文章应有[摘要](300字)和[关键词](3-8)个。[摘要]采用第三人称表述,以文献内容梗概为目的,不加评论和补充解释,不要使用“本人”,“作者”,“我们”等作为文摘陈述的主语。[关键词]是反映文献最主要内容的术语,其间用分号隔开。5、[中图分类号]按照《中国图书馆分类法》(第四版)对论文标引分类号。6、题名、作者及单位、摘要、关键词均要英译文,放在正文之前。7、基金项目：指文章产出的资助背景,属文章题名注释的一种。例：基金项目：国家自然基金资助项目(59637050);“八五”国家科技项目(85-20-74)。