Antpedia LOGO WIKI资讯

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

随着我国航天事业的快速发展,空间站、探月工程、高分专项等一批复杂航天任务陆续实施,软件在航天器中的作用和地位越来越突出,软件可信性已成为确保型号任务成功的重要因素。“航天嵌入式软件可信性保障集成环境和示范验证与应用 ”集成项目启动 目前,航天嵌入式软件可信性保障尚未形成系统解决方案,软件质量受人的能力、经验影响较大,导致一些深层次问题时有发生。中国科学院院士、嫦娥五号探测器系统总设计师杨孟飞带领研究团队,在国家自然科学基金委重大研究计划“可信软件基础研究”的支持下,以该重大研究计划相关研究成果为基础,针对航天嵌入式软件的特点,结合已发生问题的分析,建立了航天嵌入式软件可信性保障技术体系,研制了一系列可信保障工具,并构造了一个覆盖从软件需求分析、设计、编码、测试、编译固化到运行维护全过程的航天嵌入式软件可信性保障集成环境(SpaceIDep)。 在专家们看来,这项工作实现了软件可信性保障从局部到系统、从依赖人到依靠工具的转......阅读全文

为软件产业提供支撑!为振兴软件产业提供支撑

   今天,移动互联网无处不在,人工智能已经向我们走来,“用代码改变世界”的流行语不再是程序员的自我调侃。现代信息社会对计算机系统的依赖,很大程度上体现为对软件的依赖,计算机系统的缺陷很多情况下都由软件问题引发。软件系统能否在操作错误、环境影响、外部攻击等干扰下,提供连续的服务,已成为一项严峻挑战。

智能制造装备十二五发展路线图 精密仪器在列

智能制造装备产业“十二五”发展路线图  智能制造装备是具有感知、决策、执行功能的各类制造装备的统称。作为高端装备制造业的重点发展方向和信息化与工业化深度融合的重要体现,大力培育和发展智能制造装备产业对于加快制造业转型升级,提升生产效率、技术水平和产品质量,降低能源资源消耗,实现制造过程的智

“十二五”科技发展规划

  目 录   一、形势与需求   二、总体思路、发展目标和战略部署   (一)总体思路   (二)发展目标   (三)战略部署   三、加快实施国家科技重大专项   四、大力培育和发展战略性新兴产业   五、推进重点领域核心关键技术突破   (一)加强农业农村科技

全国仅10人,每人100万!达摩院青橙奖结果揭晓

  昨天(9月10日)上午,阿里巴巴达摩院青橙奖第三届获奖名单正式揭晓,共10 位青年科学家,每人 100 万人民币奖金。在他们之中,最年轻者仅有 28 岁,获奖者的平均年龄也只有 32 岁。除了百万奖金之外,每位获奖者还将获得阿里全方位的科研资源支持。姜宇(清华大学)邓岳(北京航空航天大

2015年度高校科学研究优秀成果奖公布

2015年度高等学校科学研究优秀成果奖(科学技术)授奖项目证书编号奖种获奖等级项目名称/获奖人主要完成人主要完成单位/工作单位2015-091自然科学奖2新颖电化学能源材料的可控制备、储能机理及其性能研究童叶翔,李高仁,卢锡洪,李奇,翟腾,于明浩,王子龙,钟锦辉中山大学2015-092自然科学奖2基

新技术 新成果 新应用!ACAIC 2019学会盛宴召开

  2019年8月7-9日,第6届中国分析仪器学术年会(ACAIC 2019)在上海新桥绿地铂骊酒店召开。ACAIC 2019 由中国仪器仪表学会主管,长三角科学仪器产业技术创新战略联盟、中国仪器仪表学会分析仪器分会、上海市研发公共服务平台管理中心、上海分析技术产业研究院、北京中仪雄鹰国际会展有限公

北京市重点实验室名单 (年度数据,2018年起暂停办理)

经认定的北京市重点实验室名单 (年度数据,2018年起暂停办理)实验室名称依托单位动物源食品安全检测技术北京市重点实验室中国农业大学分子与微结构可控高分子材料技术北京市重点实验室北京科技大学飞机/发动机综合系统安全性北京市重点实验室北京航空航天大学大功率电力电子北京市重点实验室全球能源互联网研究院有

中科院发布改革开放四十年40项标志性重大科技成果

  二 面向国家重大需求(15项,不含专用领域)  16 载人航天与探月工程的科学与应用  中科院是中国载人航天与探月工程的发起者、组织者之一,是科学与应用目标的提出者和实施者,50余家院属单位承担了大量重要工程任务和多项协作配套任务,突破了大批关键核心技术,为工程实施提供了强有力科技支撑。  在载

天津市检测实验室发展“十二五”规划发布

  检测实验室是指具有第三方公正地位,能向社会提供检验检测和校准服务的技术机构的总称。它具有保证产品质量、推动技术进步、规范市场秩序、破除技术壁垒、保障民计民生、维护公共安全、促进社会和谐的技术支撑作用。   “十二五”时期是天津在高起点上实现更高水平发展、实现城市定位的关键时期。检测实验室的

华科仪等55家公司获2018北京高新技术成果转化项目

  分析百科网讯 北京市科委公示2018年度北京市高新技术成果转化项目立项名单,其中北京华科仪科技股份有限公司,基于智能传感器和人工智能技术的水汽取样和监控系统产业化项目;同方威视技术股份有限公司,激光拉曼光谱检测系统成果转化项目;瑞泰科技股份有限公司,低碳环保型关键耐火材料制备技术成果转化项目;信

腾讯WE大会:Nothing but the Future

  11月8日下午,腾讯2014 WE大会在京举行。12位科技精英从全球各地汇聚到一起,围绕“Nothing but the Future”这个主题,从各自领域出发,描绘了一幅幅关于人类未来生活的蓝图。  产品是什么样子?能感知脑电波,自动推送精准服务。  交互是怎样?空气交互,无需各种平板、眼镜.

国产新一代光电分析仪器获突破

“产品投产应用三年以来,增加产值3600余万元,增加利税1900余万元,销售收入年递增近40%,预期五年内增加利润6000万~8000万元,增加税收5000万~6000万元。” 对于重型机械制造企业而言,这组数字或许微不足道,而对于以多品种、小批量为特点的中小型仪器产品生产企业———北京光学仪器

一文了解工业物联网及其关键技术

   一、工业物联网概述  工业物联网是将具有感知、监控能力的各类采集、控制传感器或控制器,以及移动通信、智能分析等技术不断融入工业生产过程各个环节,从而大幅提高制造效率,改善产品质量,降低产品成本和资源消耗,最终实现将传统工业提升到智能化的新阶段。从应用形式上,工业物联网的应用具有实时性、自动化、

仪器研制日新月异 第23届全国光谱仪器学术研讨会召开

  分析测试百科网讯 2019年11月22日,第二十三届“全国光谱仪器学术研讨会”在上海召开。本次会议由上海理工大学与中国仪器仪表学会分析仪器分会光谱仪器学术专家组联合主办,分析测试百科网承办。上海理工大学庄松林院士、厦门大学田中群院士担任大会主席,上海理工大学张大伟教授担任执行主席,本次大会邀请了

2011年度国家科学技术进步奖获奖项目公布

  2月14日,科技部网站公布了2011年度国家科学技术进步奖获奖项目(通用项目)目录,具体如下:国家科学技术进步奖获奖项目目录(通用项目) 特等奖序号编号项目名称主要完成人主要完成单位推荐单位1J-252-0-01青藏高原地质理论创新与找矿重大突破张洪涛,潘桂棠,侯增谦,唐菊兴

RCTB全自动SF6密度继电器校验仪

  RCTB全自动SF6密度继电器校验仪    RCTB全自动SF6密度继电器校验仪是我公司研制的di三代智能密度继电器校验仪。该仪器采用gao速CPU,航天级的传感器,可以实时检测报警闭锁点过压和密度值。    密闭容器中的气体压力随温度的变化而变化,为了便于统计和比较,通常把20℃时SF6的

SF6密度继电器校验仪介绍

全自动SF6密度继电器校验仪是我公司研制的第三代智能密度继电器校验仪。该仪器采用高速CPU,航天级的传感器,可以实时检测报警闭锁点过压和密度值。密闭容器中的气体压力随温度的变化而变化,为了便于统计和比较,通常把20℃时SF6的相对压力值作为标度值。在现场检验时,一定环境下测量到的SF6压力均要换算到

北斗,为用户提供丰富广泛的应用服务

  2020年7月31日,北斗三号全球卫星导航系统正式建成开通。这意味着,在世界任何一个地方,都能够获得北斗系统的开放、免费、高质量的导航、定位和授时服务。 从北斗一号、北斗二号到北斗三号,从区域到全球,北斗作为贴近百姓生活的大国重器,越来越深入人心,目前全世界一半以上的国家都开始使用

关于信息化建设及推动信息化和工业化深度融合的报告

  全国人民代表大会常务委员会:  受国务院委托,我向全国人大常委会报告信息化建设及推动信息化和工业化深度融合发展工作情况,请审议。  一、当前我国信息化发展的基本情况  当前,我国信息化发展取得了长足进展,各领域信息化水平全面提升。一是网络基础设施建设迈上新台阶,成为国家战略性基础设施。我国建成了

湖南省21个重点实验室和27个工程技术研究中心通过验收

  各市州科技局,省直管县市科技行政主管部门,省直有关部门,国家高新区管委会,中央在湘和省属有关单位:  按照《湖南省重点实验室建设与运行管理办法》和《湖南省工程技术研究中心管理办法》,湖南省科技厅组织对组建到期的“高能激光”等21个湖南省重点实验室(含5个培育基地)和27个湖南省工程技术研究中心(

多种技术融合演绎测试与测量行业新趋势

系统级的测量、关键参数估计、基于人工智能的模式识别以及关键测量信息的直观可视化将在物理层测量之上起到越来越重要的作用。 为期两天的“首届安捷伦科技节”日前在北京安捷伦科技中国总部大厦举办。在主题为“安捷伦与奥运会”、“安捷伦与中国”和“安捷伦与未来科技”的科技节上,安捷伦举办了一系列讲座和论坛

十三五科技创新规划发布

  四、总体部署  未来五年,我国科技创新工作将紧紧围绕深入实施国家“十三五”规划纲要和创新驱动发展战略纲要,有力支撑“中国制造2025”、“互联网+”、网络强国、海洋强国、航天强国、健康中国建设、军民融合发展、“一带一路”建设、京津冀协同发展、长江经济带发展等国家战略

“十二·五”期间实验室仪器取得重大进步和发展

   实验室仪器是科学仪器的重要组成部分,所涉及的专业多、应用领域广。随着科学技术的发展,实验室仪器越来越占有重要的地位。在“十二·五”期间,我国实验室仪器取得了重大进步和发展,并取得了一批重要的知识产权。  一、天平  1、天平仪器发展现状  天平行业按其产品结构划分:电子天平和机械天平和水分测定

遥感技术在物联网发展下的演进

据麦姆斯咨询介绍,自1858年Gaspard Felix Tournachon开创性的航拍照片以来,遥感技术已经走过了漫长的发展道路。虽然遥感技术在不断进步,但在某些方面多年来仍然相对没有改变:数据采集的频率。现在,随着新的数据采集平台,更小、更高效的传感器以及云计算等技术的到来,遥感技术的重大创新