【摘 要】
：
航天领域中嵌入式软件属于高可信软件,在轨维护困难,其失效引起的灾难后果严重。为了提高航天嵌入式软件的可靠性和安全性,国内外专家和工程人员对基于模型设计(Model Based Design,MBD)方法开展了诸多研究。MBD是一种软件开发的方法论,以模型替代文档传递设计思想,用自动代码生成技术替代手工编码,减少软件开发中的二义性和人为错误。以某卫星导航制导与控制分系统(GNC)嵌入式软件研发为例,论述使用MBD方法开发软件的工程技术路线,并针对MBD工具进行二次开发。结果表明,该方法开发航天高可信嵌入式软
【机 构】
：
北京控制工程研究所,中国空间技术研究院
论文部分内容阅读
航天领域中嵌入式软件属于高可信软件,在轨维护困难,其失效引起的灾难后果严重。为了提高航天嵌入式软件的可靠性和安全性,国内外专家和工程人员对基于模型设计(Model Based Design,MBD)方法开展了诸多研究。MBD是一种软件开发的方法论,以模型替代文档传递设计思想,用自动代码生成技术替代手工编码,减少软件开发中的二义性和人为错误。以某卫星导航制导与控制分系统(GNC)嵌入式软件研发为例,论述使用MBD方法开发软件的工程技术路线,并针对MBD工具进行二次开发。结果表明,该方法开发航天高可信嵌入式软
其他文献
在精准扶贫背景下,旅游扶贫作为我国贫困地区重要的产业扶贫方式取得了一定成效,但绩效评估发现旅游扶贫的可持续发展还面临着一系列问题.由此,如何优化旅游扶贫产业并促进其实现可持续发展,是急需探讨的问题.研究发现:乡村旅游面临同质化程度较高、居民参与程度较低等问题.后脱贫时代,产业扶贫是巩固扶贫成果的重要手段,因此须从旅游产业着手,发掘乡村旅游特色,培育专业人才,深化乡村居民参与程度,提高乡村旅游扶贫项目的实际效益,推动贫困地区旅游扶贫工作的可持续发展.
新中国成立以来,为适应我国经济体制改革,国有企业改革一直在路上.十八届三中全会作为国企改革的新起点,明确提出以管资本为主,改组组建国有资本投资、运营公司,做强做大做优国有资本.本文重点对两类公司的意义,几个易混淆的问题进行分析阐述,最后提出几点管控方面的思路.
控制力矩陀螺(Control Moment Gyro,CMG)是飞行器姿态快速机动和稳定的核心执行部件,随着CMG产品的大量使用,需要利用数据挖掘方法分析海量数据,对可能发生的故障进行预警,从而给出解决问题的方法及措施。然而,研制和测试过程的海量数据具有不同格式、不同采样频率等特点,存在数据庞大混乱、不同阶段数据之间缺少关联且各个阶段数据难以融合等问题。基于此,开发了面向CMG生产测试过程的多源数据健康状态评价软件,针对CMG产品的测试阶段数据丰富、使用阶段数据匮乏等问题,设计了一套基于相似性度量的算法,
针对航天器回收的主伞给出了两种可靠性分析方法,分别是单个降落伞的薄弱环节分析法、多个降落伞的同步开伞可靠性分析法。在薄弱环节分析法中,研究了单元失效模式发生概率排序法、失效风险指数排序法,并结合降落伞充气阶段开伞动载峰值个数,给出了应力混合概率分布模型及算法。针对主伞采用多个降落伞的情形,给出了同步开伞的可靠性模型和计算方法。
基于中文网商评论,提出了一种产品质量薄弱环节分析方法,为企业提供产品质量改进方向。首先,开展数据预处理剔除无用信息,并利用结巴(Jieba)对评论分词和词性标注;其次,基于词性路径模板提取评论特征;然后,基于情感分析抽取负面评论,并利用语义相似性开展主题聚类,确定评论主题;最后,针对评论主题进行意见归纳,确定产品薄弱环节。此外,以手机评论为应用案例,证明了所提出的产品质量薄弱环节分析方法的有效性。
现如今,我国农业农村经济在不断发展,但是当前农业农村经济依旧存在一定的问题,所以应当分析当前农村经济发展过程之中所存在的问题,并提出解决之道,这样才能够实现现代化农业强国,助力乡村振兴.在本文之中,首先探讨当前的农村经济发展现状,并对当前的问题展开思考与分析,并针对当前的问题提出针对性的建议,以期实现农业农村经济的进一步发展,深化当前的农村改革,进而向现代化农业强国迈进.
近年,国家对绿色金融的发展给予了高度重视,绿色金融现已上升到国家战略层面.绿色金融的具体实践和顶层设计,都取得了较大成就,但仍存在一系列的发展难题.文章通过对我国绿色金融发展的SWOT分析,分析绿色金融发展中的优势、劣势、挑战和机遇,并对于我国未来绿色金融市场的发展前景提出了相关政策建议,希望为我国绿色金融的发展提供参考意见.
经济发展新时期,人们的物质生活得到了极大丰富,对于生活品质有了更高的追求,“定制”成为时代的关键词,定制旅游市场也迅速壮大,定制旅游登上大众旅游的舞台,并在“互联网+”与大数据技术的助力下,有了更好的发展环境.在此基础上,本文对郑州高端定制旅游的发展情况进行了探究,分析定制旅游中存在的问题,并提出相应的解决策略.
股权激励是一种效果显著的中长期激励机制,绝大多数学者认为股权激励对公司业绩发展有积极作用.自我国企业改革,股权激励在深化企业改革,提高企业效益方面有着重要意义,有助于推进企业的良好发展.XY乳业实行了两次完整的以限制性股票为激励模式的股权激励计划,激励方案完整严谨,可行性较强.
2020年我国首次提出:“中国将提高国家自主贡献力度,采取更加有力的政策和措施,二氧化碳排放力争于2030年前达到峰值,努力争取2060年前实现碳中和.”30·60目标的实现需要改变能源结构,核电作为稳定高效安全清洁发电的能源,应该要在这个过程中发挥重要作用.目前我国核电占比较低,只有不到2％的装机容量,未来发展空间将会很大.