我要投搞

标签云

收藏小站

爱尚经典语录、名言、句子、散文、日志、唯美图片

当前位置:小鱼儿玄机1站开奘结果 > 嵌入式软件 >

航天嵌入式软件可信保障技术让载人航天顺利开展

归档日期:06-25       文本归类:嵌入式软件      文章编辑:爱尚语录

  随着我国航天事业的快速发展,空间站、探月工程、高分专项等一批复杂航天任务陆续实施,软件在航天器中的作用和地位越来越突出,软件可信性已成为确保型号任务成功的重要因素。

  目前,航天嵌入式软件可信性保障尚未形成系统解决方案,软件质量受人的能力、经验影响较大,导致一些深层次问题时有发生。中国科学院院士、嫦娥五号探测器系统总设计师杨孟飞带领研究团队,在国家自然科学基金委重大研究计划“可信软件基础研究”的支持下,以该重大研究计划相关研究成果为基础,针对航天嵌入式软件的特点,结合已发生问题的分析,建立了航天嵌入式软件可信性保障技术体系,研制了一系列可信保障工具,并构造了一个覆盖从软件需求分析、设计、编码、测试、编译固化到运行维护全过程的航天嵌入式软件可信性保障集成环境(SpaceIDep)。

  在专家们看来,这项工作实现了软件可信性保障从局部到系统、从依赖人到依靠工具的转变,提高了航天嵌入式软件的可信性。这些成果已经在百余个航天型号中得到验证和应用。

  据研究团队成员、航天五院502所研究员顾斌介绍,该项目实施以来,软件交付的缺陷率显著下降,百余个航天器在轨运行未发生软件质量问题。

  “近期,我国天舟一号任务成功实施,北斗三号任务也离不开在该研究中取得的成果。”顾斌说。

  此外,相关研究成果还推广应用到国民经济的其他领域,创造了超过1000万元的经济效益。

  最近,老字号有点忙。自从发现“情怀”蕴含的巨大商机,那些为民众熟知的“国民老品牌”就找到了一条新的发展路径——跨界。

  近日有报道称,用户花费450元通过网络问诊平台向儿科医生咨询,得到的回复却是“最好带孩子来看一下专科门诊”,这样的回复让用户觉得“货次价高”。

  前不久,中国科学院古脊椎动物与古人类研究所(以下简称中科院古脊椎所)透露,该所科研团队通过对采集于辽宁、距今1.63亿年的“长臂浑元龙”的化石进行研究发现,在恐龙向鸟类演化时,飞行器官除了长有羽毛的翅膀外,还有像蝙蝠一样的膜质翅膀。

  6月13日,全国大众创业万众创新活动周期间,由科技部火炬中心、浙江省科技厅、杭州市人民政府主办的“科技引领、双创升级——科技创新创业高峰论坛”上,科技部火炬中心孵化器管理处处长陈晴发布了中国创业孵化发展报告(2019)(以下简称“报告”)。

  6月13日的杭州虽小雨淅沥,却因全国众多创业者们的到来而显得格外热情洋溢。2019年全国大众创业万众创新活动周(以下简称全国“双创”周)正式在这里拉开帷幕,主题是“汇聚双创活力,澎湃发展动力”。

  常年定居北欧的东北创客陈思,几年前携项目回国南下,在杭州滨江区得到了知名医健双创平台贝壳社的投资,完成了商业转型,仅半年时间,他的企业便步入正轨。现在,项目即将进入投产阶段。

  5月21日傍晚,河南省邓州市白牛镇土楼村一座农家院落。有些驼背的邓宝友刚从田地里回来,虽然看起来有些疲惫,但和记者谈起他培育的食药两用甘薯时,已经75岁的他马上两眼放光,打开了线

  13日,科技部举行《关于进一步弘扬科学家精神加强作风和学风建设的意见》(以下简称《意见》)解读会,科技部科技监督与诚信建设司司长戴国庆用“层次高、内涵新、措施实”概括亮点。

  丘成桐在美国呆了整整50年,曾在美国多所大学任教或者访问;而1979年,他也第一次回到了中国,从那以后,他每年都要在中国大学和研究所访问数月。对中美的高等教育,丘成桐都有所体悟。

  英国《自然》杂志近日发表了两项基因组学重磅研究,欧洲两个研究团队报告了古代个体的基因组数据,其中一些可追溯到距今31000年—600年前。

  随着人工智能(AI)、大数据、5G等技术和应用的快速发展,人们对于计算能力、计算功耗和计算成本等都提出了更高的要求。在这一背景下,AI芯片作为“第四次工业革命的心脏”走到台前。

  接种疫苗的益处,可能会远超预期。根据自然科研旗下《科学报告》13日发表的一项公共卫生研究,美国团队报告称,常规接种轮状病毒疫苗,或和儿童Ⅰ型糖尿病风险降低相关。

  据物理学家组织网12日报道,澳大利亚科学家借助新技术研究多细胞动物的发育情况,结果发现,第一批多细胞动物可能并不像现代的海绵细胞,而更像是可转换细胞的集合。

  作为今年资本市场最受关注的焦点之一,科创板,这个中国资本市场的新生婴儿,6月13日在第十一届陆家嘴论坛上,在政策制定者、市场参与者以及监督者的共同注视下呱呱坠地。

  记者从中国卫星导航系统管理办公室获悉,应联合国外空司邀请,中国代表团和中国卫星导航系统管理办公室于当地时间6月11日,共同在维也纳国际中心环形大厅举办中国古代导航展,并向联合国外空司捐赠部分展品。

  小麦赤霉病是由真菌镰刀菌引起的最具毁灭性的世界性小麦病害,堪称小麦“癌症”,至今仍未得到有效解决。Fhb1基因的克隆将大大提高小麦抗赤霉病育种的效率,为我国和世界小麦生产与食品安全提供保障。

  网售儿童家具可以寻求价格优势,但切不可为了利益最大化而牺牲产品质量、埋下安全隐患随着网络购物的快速发展,从电商平台购买家具等物品也变得很常见。携手营造良好的线上儿童家具消费环境,孩子们才能远离劣质、不安全的儿童家具产品。

  与2000年相比,新疆塔里木河流域每年消耗的水资源总量从194.8亿立方米下降到最近3年的平均值152.7亿立方米。20世纪70年代,由于流域内实施了大规模水土开发,农业用水总量骤增,导致塔河下游数百公里河道断流、沿岸荒漠植被退化,引发严重生态危机。

  新华社北京6月13日电 美国研究人员最新动物实验发现,一种小分子化合物能增强癌症化疗药物顺铂的疗效,并防止癌细胞进化出耐药性。大量突变是癌细胞发展出耐药性的基础,抑制突变可降低耐药性出现的可能性。

  生态环境部日前发布的《公民生态环境行为调查报告》显示,在某些环保领域,社会公众还存在“高认知度、低践行度”的现象。许多时候,那些看似不起眼的助力,会让生态环保理念在我们的生活中变得具体而易行。

本文链接:http://scrinzoom.com/qianrushiruanjian/331.html