航天嵌入式软件可信保障技术让载人航天顺利开展
随着我国航天事业的快速发展，空间站、探月工程、高分专项等一批复杂航天任务陆续实施，软件在航天器中的作用和地位越来越突出，软件可信性已成为确保型号任务成功的重要因素。“航天嵌入式软件可信性保障集成环境和示范验证与应用 ”集成项目启动 目前，航天嵌入式软件可信性保障尚未形成系统解决方案，软件质量受人的能力、经验影响较大，导致一些深层次问题时有发生。中国科学院院士、嫦娥五号探测器系统总设计师杨孟飞带领研究团队，在国家自然科学基金委重大研究计划“可信软件基础研究”的支持下，以该重大研究计划相关研究成果为基础，针对航天嵌入式软件的特点，结合已发生问题的分析，建立了航天嵌入式软件可信性保障技术体系，研制了一系列可信保障工具，并构造了一个覆盖从软件需求分析、设计、编码、测试、编译固化到运行维护全过程的航天嵌入式软件可信性保障集成环境（SpaceIDep）。 在专家们看来，这项工作实现了软件可信性保障从局部到系统、从依赖人到依靠工具的转......阅读全文
航天嵌入式软件可信保障技术让载人航天顺利开展
随着我国航天事业的快速发展，空间站、探月工程、高分专项等一批复杂航天任务陆续实施，软件在航天器中的作用和地位越来越突出，软件可信性已成为确保型号任务成功的重要因素。“航天嵌入式软件可信性保障集成环境和示范验证与应用 ”集成项目启动 目前，航天嵌入式软件可信性保障尚未形成系统解决方案，软件质量受
嵌入式软件系统测试中的仿真系统结构设计
1 嵌入式系统概述 嵌入式系统是以计算机技术为基础，以应用为中心，并且软硬件可裁剪，适用于应用系统对功能、可靠性、成本、体积、功耗有严格要求的计算机系统。 嵌入式软件是基于嵌入式系统设计的软件，是计算机软件的一种，同样由程序及文档组成，可细分成系统软件、支撑软件、应用软件三类。
航天科工二院仪器设备管理系统软件获软件著作权
近日，由中国航天科工二院25所福道公司自主设计与研发的软件产品仪器设备管理系统软件获得由国家版权局颁发的《计算机软件著作权登记证书》。 中国航天科工集团有限公司是战略性、高科技、国家级创新型企业，现有总部，6个研究院，17个直属单位、全资或控股公司，500余户企事业单位和机构组成；主要从事防务
航天技术助节能
当前，航天技术越来越多地向民用化发展。由北京卫星制造厂研发的“神舟北极”高效集成冷冻站产品项目，采用“系统集成专项技术”和“前馈关联控制技术”两大核心技术，年均运行效率较传统冷冻站提高20%—50%，从而降低整个空调系统的能耗。目前，“神舟北极”高效集成冷冻站已在武汉琴台音乐厅
嵌入式光谱
德国tec5公司新开发的嵌入式光谱仪平台tecSaaS（tec5 Spectrometer as a Sensor），基于UV-VIS-NIR光谱技术，是一款可以不依赖于PC而独立工作的、模块化的光谱测试平台，可以直接集成到可移动式检测设备或工厂的生产线中，以实现高度智能化，灵活多样化和高度自动
嵌入式光谱
德国tec5公司新开发的嵌入式光谱仪平台tecSaaS（tec5 Spectrometer as a Sensor），基于UV-VIS-NIR光谱技术，是一款可以不依赖于PC而独立工作的、模块化的光谱测试平台，可以直接集成到可移动式检测设备或工厂的生产线中，以实现高度智能化，灵活多样化和高度自动
嵌入式光谱
德国tec5公司新开发的嵌入式光谱仪平台tecSaaS（tec5 Spectrometer as a Sensor），基于UV-VIS-NIR光谱技术，是一款可以不依赖于PC而独立工作的、模块化的光谱测试平台，可以直接集成到可移动式检测设备或工厂的生产线中，以实现高度智能化，灵活多样化和高度自动
IESC－2025深圳国际嵌入式系统展览会
IESC 2025深圳国际嵌入式系统展览会International Embedded Systems Exhibition2025年4月9-11日 深圳会展中心大会主题："创新引领，智嵌未来"组委会：向先生 133 8158 5596（同微） E-mail：sales1expo@126.com展
嵌入式技术在生活中的几大应用行业
如今，随着IT行业的火热，嵌入式成了IT行业热门之一，嵌入式技术执行专用功能并被内部计算机控制的设备或者系统。嵌入式系统不能使用通用型计算机，而且运行的是固化的软件，用术语表示就是固件（firmware），终端用户很难或者不可能改变固件。在生活中，我们常用到的嵌入式应用行业是比较广泛的，嵌入
构建国产化信息系统脉络！
中国航天科工集团有限公司26日举办国产化信息技术产品发布会，全面展示航天科工在该领域的整体能力和系列成果，清晰勾勒了我国国产化信息系统脉络。其中，以“航天超级服务器”等为代表的航天“三大件”、“三小件”成为此次发布的重头戏。 航天科工介绍，航天“三大件”指的是航天超级服务器、航天超级数据库一体
日发射火箭检验航天新技术
日本宇宙航空研究开发机构8月31日说，当地时间5时（北京时间4时），该机构在日本南部的内之浦宇宙空间观测所发射了一枚小型固体燃料运载火箭。该火箭利用所携装置，检验了有望用于在轨卫星姿态和速度控制的新技术。 这枚火箭全长8米，发射时总重量为2.2吨，在上升到309千米高度的过程
设计软件助力清洁技术创新
全球设计软件企业欧特克公司（Autodesk）日前携手中国工业节能与清洁生产协会，启动面向中国的清洁技术合作伙伴项目。通过该项目，中国的初创清洁技术企业将免费获得价值15万美元的设计软件和相关支持。 据介绍，从事太阳能、燃料电池、生物质能、风能、潮汐能、高能效、机动性以及碳减排服务的初创企业
聚焦软件质量与安全－专家建言聚力科技创新
近日在北京举行的航天中认成立十周年高端技术论坛，以“国产及智能时代下的软件质量与安全”为主题。中国工程院院士廖湘科、中国工程院院士张宏科等专家学者，围绕科技创新、软件质量保障等话题建言献策。 会上，廖湘科院士、张宏科院士分别作《打造智能时代的基础软件平台》《新型网络研究与探索》的主题演讲。在他们
这项技术，助力航天员“太空漫步”！
近日，神舟十四号航天员陈冬、刘洋身着舱外航天服，在航天员蔡旭哲和地面人员的配合支持下，圆满完成约6小时的出舱活动。舱外航天服是航天员出舱活动必需的支持装备，针对空间站任务出舱活动需求，我国自主研制的新一代“飞天”舱外航天服已列装服役，为执行出舱任务的航天员保驾护航。我们知道，舱外航天服可以看作是
多项技术为航天员照亮归途
原文地址：http://news.sciencenet.cn/htmlnews/2022/12/490864.shtm伞花在空中绽放，牵引神舟十四号返回舱缓缓下落。日前，神舟十四号载人飞船返回舱在东风着陆场预定区域成功着陆，执行飞行任务的航天员陈冬、刘洋、蔡旭哲顺利出舱，身体状态良好，神舟十四号载人
航天探索：从航天大国迈向航天强国
最近，中国航天很火。通过嫦娥五号带回的月壤，我们发现了月球上的新矿物“嫦娥石”。借助天问一号和“祝融号”火星车，我们发现火星上真的有水。有了中国空间站，我们的航天员不仅完成了多次出舱活动，还在太空进行“种菜”等科学实验……探索浩瀚宇宙，发展航天事业，建设航天强国，是我们不懈追求的航天梦。党的十八大以
数字国标，智能软件－|－突破分析技术瓶颈
你是否依然仅靠人工逐一分辨检出限？是否仍在耗费宝贵时间对色谱峰进行一个的手动积分操作？是否在海量标准中翻找限量值？这样做效率低、易出错、成本高，如今数据分析已经成为限制实验室发展的关键问题。习主席讲过：“世界正在进入以信息产业为主导的经济发展时期。我们要把握数字化、网络化、智能化融合发展的契机，以信
软件定义无线电（SDR）技术概述
软件定义无线电（SDR）不是新技术，已为很多的无线设备（除了制造低成本基于ASIC的低功耗设备，如智能手机和平板电脑）广泛所采用。自SDR首次提出以来已有30多年了，下面简单介绍下在SDR三十年演进历史中的主要事件。▌1984年E-System创造出“软件无线电”术语E-Systems，就是现在的雷
美国航天局发展空间制造技术
美国航天局７日宣布，已挑选出３家公司研制一种叫“多材料空间制造实验室”的设施原型，在发展太空中的按需制造能力方面又向前迈出一步。 “多材料空间制造实验室”是美国航天局“下一代空间技术探索伙伴关系”计划的一部分，也是３Ｄ塑料打印在国际空间站上成功应用后的进一步延展，旨在以多种材料为原料在太空按需
延长石油利用航天技术减霾
工业上的含硫、含氮废气是引发雾霾的重要因素，陕西延长石油集团利用航天技术转化的环保焚烧技术治理雾霾取得成效。“正是利用火箭发动机的充分焚烧技术，延长石油在炼油化工环保装置有效脱除了烟气中的SO2，最大可能地减少了工业废气的排放。”中国航天科技集团六院北京11所的科研人员日前表示。 据了解，
软件无线电技术简介及特点应用
软件无线电是最近几年提出的一种实现无线电通信的体系结构 ,是继模拟到数字、固定到移动之后 ,无线通信领域的又一次重大突破。并从软件无线电的基本概念出发 ,讨论了其功能结构、关键技术和难点以及应用和发展前景。 1.引言 完整的软件无线电 (Software Definition Rad
深圳先进院嵌入式手势体感交互技术研究取得新成果
中国科学院深圳先进技术研究院集成所智能设计与机器视觉研究室宋展博士带领的课题组近期在嵌入式手势体感交互技术研究方面取得新成果。相关成果已发表于包括图像处理领域顶级刊物IEEE Trans. on Image Processing在内的多个重要学术期刊。 手势识别技术是目前人机交互领域的
印度开发航天器热障涂层喷涂新技术
据印度教徒报消息，位于印度焦代普尔的喷涂设备公司（MEC）首席科学家泰勒近期在《国际陶瓷》（Ceramics International）发表一篇文章，引起美国宇航局（NASA）专家的兴趣。 文章介绍说，泰勒发明了一种利用等离子脉冲(APS)喷镀钇稳定氧化锆(YSZ)形成含垂直裂纹热障涂层的
航天计量技术立大功－保障仪器科研显实力
前不久，我国首颗返回式微重力科学实验卫星实践十号发射成功，514所又一次完成了计量保障任务。同时，该所还顺利完成四川地区高精度量值传递工作，为航天、电科、航空、兵器、中核等军工集团的29家单位的仪器设备进行检定校准，保障了川渝地区各军工单位科研生产任务的正常开展。 作为航天系统综合性计量测试
航天信息技术助力智慧检务工程建设
近日，“两高一部”重点专项“面向减假暂和跨部门涉案信息共享的司法协同技术研究及系统研发”国家重点研发计划项目正式启动。该项目由航天科工智慧产业发展有限公司牵头，同方赛威讯信息技术有限公司、复旦大学、四川大学、北京交通大学共计5家单位共同参与。 减假暂，是对监狱服刑犯人实行减刑、假释、暂予监外执
航天技术落地冷库，他们打赢“水果保护战”
农户息息相关的冷库与翱翔天际的卫星，一般很难将其联系起来。大连理工大学一个名叫“航宇助农”的学生团队，却给他们之间搭上了“桥梁”。他们首次将卫星中运用的流体力学和空气动力学知识应用于冷库精准控温，延长了冷库保鲜时间，以助力果农实现反季节销售为落脚点，实现了冷库保鲜技术革新。该项技术不仅获得了中国国际
嵌入式光谱仪的应用
UV-VIS-NIR光谱技术已在PAT和移动光谱应用中使用了很多年，因为光谱学测量的快速、非接触及维护率低等特点，使得人们可利用光谱学深入了解生产过程中产品的状态。智能嵌入式光谱传感器系统（tecSaaS）更加的可靠和稳定，它避免了传统光谱测量系统中PC机采集、评估和处理光谱数据时可能会发生的问
探索嵌入式应用框架（EAF）（一）
EAF是Embedded Application Framework 的缩写，即嵌入式应用框架。嵌入式应用框架是 Application framework的一种， 是在嵌入式领域的应用框架。Application Framework——应用框架，是一种软件框架，软件开发人员用应用框架作为标
探索嵌入式应用框架（EAF）（二）
M2M的应用框架鉴于 M2M 技术的特点， 系统设计者可能不得不从头开始构建整个 M2M 体系结构。其核心是， M2M 技术包括增加一个装置或设备的智能服务， 并将该设备与可以监控或控制该设备的后端基础设施连接起来。 为了实现这一目标， 一个 M2M 设备使用了两个基本元素： 与
浅析嵌入式系统低功耗设计
在嵌入式系统中，低功耗设计是在产品规划以及设计过程中必须要面对的问题。半导体芯片每18个月性能翻倍。但同时，电池的技术却跟不上半导体的步伐，同体积的电池10年容量才能翻一倍。嵌入式系统对于使用时间以及待机时间的要求也越来越高，这就需要在设计产品的时候充分考虑到整个系统的低功耗设计。功耗控制是一个系统