公共文化服务平台

郭明姝: 作品数：12 被引量：2H指数：1; 供职机构：北京控制工程研究所更多>>; 发文基金：国家自然科学基金更多>>; 相关领域：自动化与计算机技术更多>>

合作作者

基于混合编程技术的AOCC应用软件快速仿真平台被引量：2: 2010年; 介绍基于混合编程技术的AOCC应用软件的快速仿真平台的整体框架设计以及具体实现.基于该方法构建的快速仿真平台,能够满足软件开发人员对基于8086汇编语言开发的AOCC应用软件开、闭环调试和测试的要求,对提高软件的开发效率和保证软件的质量有积极意义.; 张银索旭华郭明姝; 关键词：仿真平台混合编程

“嫦娥五号”探测器GNC应用软件高可信研制技术: 2021年; 基于“嫦娥五号”(Chang’E-5,CE-5)任务高安全性、高可靠性、高复杂度、高自主性的功能以及高实时性、强时序性的需求,开展了导航、制导与控制(Guidance,Navigation and Control,GNC)分系统应用软件高可信研制保障技术研究。针对自然语言需求定义方式无法精确描述一些关键复杂时序的问题,在需求分析阶段建立了基于时序安全性属性描述的形式化建模语言模型验证技术,保证了系统时序的安全性;针对人工走查难以发现的代码深层次脆弱性缺陷,在设计编码阶段结合飞行任务剖面提取了程序切片,提高了源代码缺陷定位效率,保障了编码的规范性与软件构件的功能正确性;针对复杂软件的海量测试用例无法快速执行的问题,在确认测试阶段,研究了基于状态图和序列图的测试用例生成方法,搭建了一键测试的自动测试系统,实现了海量测试用例的快速自动执行,有效提升了测试效率与测试覆盖性。通过各阶段地面仿真实验和在轨飞行试验验证,表明所提出的高可信软件研制保障技术方法有效可行。; 李轶黎藜郭明姝王同磊张国峰李晓锋; 关键词：应用软件高可信

一种用于相对运动视线跟踪的姿态控制方法: 本发明公开了一种用于相对运动视线跟踪的姿态控制方法，在追踪器跟踪接近目标器的过程中，由于相对测量敏感器视场小，在跟踪过程中，追踪器和目标器之间的相对视线角超过测量敏感器的视场，为了保证在跟踪接近过程中相对测量敏感器正常工...; 王颖胡海霞刘洁韩冬谌颖毕鹏波汤文澜张怡郭明姝杨彬郝金华施海燕

一种两个航天器近距离安全避碰控制方法: 本发明公开了一种两个航天器近距离安全避碰控制方法，本发明同时考虑到两个航天器上的附件的位置和相对运动规律，设计出连续两个不同方向的机动，在实施第一个机动时，两个航天器按照相对远离的方向运动，避免航天器的附件发生碰撞；第二...; 王颖韩冬谌颖胡海霞刘涛刘洁毕鹏波汤文澜张怡郭明姝杨彬施海燕; 文献传递

一种用于相对运动视线跟踪的姿态控制方法: 本发明公开了一种用于相对运动视线跟踪的姿态控制方法，在追踪器跟踪接近目标器的过程中，由于相对测量敏感器视场小，在跟踪过程中，追踪器和目标器之间的相对视线角超过测量敏感器的视场，为了保证在跟踪接近过程中相对测量敏感器正常工...; 王颖胡海霞刘洁韩冬谌颖毕鹏波汤文澜张怡郭明姝杨彬郝金华施海燕; 文献传递

一种实用的嵌入式控制系统应用软件需求分析方法: 2010年; 将自顶向下的结构化分析方法和自底向上的面向对象的分析方法相结合,采用分析、综合的基本原则,依循着人们认识事物的规律,渐进地呈现出嵌入式控制系统的抽象逻辑模型,是一种科学的、适用于嵌入式控制系统应用软件需求分析的方法。; 郭明姝郭浩洋; 关键词：嵌入式控制系统应用软件

一种多测量相机系统的身份识别方法: 一种多测量相机系统的身份识别方法，上位机连续三次向每台测量相机发送相机身份识别码，测量相机对收到的身份识别码进行确认，如果有效则选择相机参数和安装方位，同时将收到的身份识别码发送给上位机；如果无效，则直接将收到的身份识别...; 汤文澜张怡车汝才谌颖毕鹏波张占良韩冬王颖郭明姝盖晓亮周新发; 文献传递

超近距离的高精度相对位置保持控制方法: 本发明公开一种超近距离的高精度相对位置保持控制方法，方法为了解决两个航天器超近距离停靠的相对导航和相对控制方法，采用把相对坐标系建立在追踪星的轨道系下，测量信息从测量坐标系下转换到相对坐标系下，使用了追踪器的姿态信息，追...; 王颖谌颖韩冬毕鹏波汤文澜张怡张占良刘涛刘洁郭明姝杨彬付若愚; 文献传递

一种卫星自主编队飞行控制方法: 本发明公开了一种卫星自主编队飞行控制方法，通过轨道平根数差进行编队飞行控制，由于轨道平根数差较准确的反映了卫星之间相对运动的长期趋势，这种方法可以较好的控制相对运动的长期变化。本发明通过设计轨道平面内的平半长轴差控制策略...; 韩冬王颖谌颖郭明姝杨彬刘洁刘涛车汝才汤文澜张怡毕鹏波褚楠董筠; 文献传递

一种航天控制器软件应用层接口数据分析方法: 2022年; 为保证航天器控制软件产品质量,提出一种航天器控制软件应用层接口数据需求分析方法。结合具体型号,采用面向对象方法分析外部单机,获得应用层接口数据(应用层API);使姿轨控核心业务与通信、协议、数据处理、部件管理等支持业务分离,确定核心业务与支持业务的沟通界面。结果表明:该方法可提高软件功能的独立性,软件架构的灵活性,降低软件研制复杂度,将姿轨控分系统所有外部单机和控制计算机组织为有机整体,保证软件产品在功能和设计2个维度上的高内聚和低耦合。; 郭明姝; 关键词：面向对象