Ada语言在星载软件上的应用

来源 :上海航天 | 被引量 : 0次 | 上传用户:xxglov
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
介绍了星载软件的特点和构成,从提高星载软件可靠性的角度引入了高级程序设计语言--Ada语言与汇编语言的接口调用技术,以及使用Ada语言开发星载软件和应用技术.
其他文献
随着人们节能环保意识不断提高,尤其针对离心泵流量的节能改造方面的重视程度逐渐增强。所以,立足于用调速驱动的方式进行离心泵流量控制的节能改造,并展开了深入的研究与分析,以
ue*M#’#dkB4##8#”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:(100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
会议
给出了“筛选、分析与纠正”技术的要点、应用范畴和常规SAC应力的典型值。举例说明应用常规SAC技术提高导弹电子舱段可靠性的效果。分析认为,SAC技术是提高电子设备可靠性的新手段,它与
ue*M#’#dkB4##8#”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:(100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
<正>作为省首批课改实验区,海门教育始终立足"过一种幸福完整的教育生活"为愿景,确立"以学定教、顺学而导"的教育思想,以"学程导航"教学范式研究与实施为抓手,积极打造具有海
会议
安徽农业历史悠久,先民们在长期的生产劳动中发明与发展了各种农业技术,给我们留下了宝贵的技术类农业文化遗产。安徽技术类农业文化遗产包括土地利用技术、耕作栽培管理技术
负重振动练习法是一种集中体现下肢肌群快速离心-向心收缩(Strength Shortening Cycle-SSC)工作特点的力量训练方法.通过运用三维测力手段,将负重振动练习与超等长跳深练习进
ue*M#’#dkB4##8#”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:(100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
目的:研究络活喜联合雅施达治疗老年重型高血压的效果。方法:将河南省开封市第二人民医院2015年4月至2017年2月收治的老年重型高血压患者100例分两组各为50例,单独组单纯给予络
随着新的数据时代的来临,中国电信的政企业务也有了新发展,不再单纯地向客户提供移动业务或宽带业务,而是考虑这些信息服务究竟能为客户解决什么问题。