-
公开(公告)号:CN107977312A
公开(公告)日:2018-05-01
申请号:CN201711168665.3
申请日:2017-11-21
Applicant: 北京临近空间飞行器系统工程研究所 , 中国运载火箭技术研究院
IPC: G06F11/36
Abstract: 一种基于复杂接口时序的软件系统测试验证方法,首先对软件系统进行接口属性分析,根据接口属性分析结果生成软件系统测试验证用例,然后对软件系统测试验证用例进行反馈迭代优化,最后使用得到的软件系统测试验证用例进行接口时序测试验证。本发明结合航天器系统研制工程实际,构建基于复杂接口时序的软件系统测试验证方法,与现有技术相比可有效缩短复杂接口时序测试周期,降低测试成本,提高复杂接口时序测试的覆盖性、鲁棒性,具有重要工程实际意义。
-
公开(公告)号:CN104461769A
公开(公告)日:2015-03-25
申请号:CN201410592847.3
申请日:2014-10-29
Applicant: 北京临近空间飞行器系统工程研究所 , 中国运载火箭技术研究院
Abstract: 本发明属于航空航天、数据测试和计算机信息处理方法,具体涉及一种基于数据双冗余的测试流程自动显示系统及方法。它包括待测设备、数据采集计算机、数据处理服务器A、数据处理服务器B、流程显示计算机,其中,待测设备与数据采集计算机连接,数据采集计算机分别与数据处理服务器A和数据处理服务器B连接,数据处理服务器A和数据处理服务器B与流程显示计算机连接。其优点是,通过本发明可及时了解试验进度及状态,避免重复试验造成的经济损失,减少测试费用,加快工作进度,显著提高航天器测试过程的自动化水平,将该技术应用于实际生产具有重要意义。
-
公开(公告)号:CN107977312B
公开(公告)日:2020-07-14
申请号:CN201711168665.3
申请日:2017-11-21
Applicant: 北京临近空间飞行器系统工程研究所 , 中国运载火箭技术研究院
IPC: G06F11/36
Abstract: 一种基于复杂接口时序的软件系统测试验证方法,首先对软件系统进行接口属性分析,根据接口属性分析结果生成软件系统测试验证用例,然后对软件系统测试验证用例进行反馈迭代优化,最后使用得到的软件系统测试验证用例进行接口时序测试验证。本发明结合航天器系统研制工程实际,构建基于复杂接口时序的软件系统测试验证方法,与现有技术相比可有效缩短复杂接口时序测试周期,降低测试成本,提高复杂接口时序测试的覆盖性、鲁棒性,具有重要工程实际意义。
-
公开(公告)号:CN104363082A
公开(公告)日:2015-02-18
申请号:CN201410587567.3
申请日:2014-10-28
Applicant: 北京临近空间飞行器系统工程研究所 , 中国运载火箭技术研究院
IPC: H04L1/22
CPC classification number: H04L1/22
Abstract: 本发明属于航空航天、数据测试和浏览发布系统和方法,具体涉及一种双模式自主切换的数据发布系统及方法。它包括待测试设备、数据传输计算机A、数据传输计算机B、数据综合计算设备、数据浏览计算机及数据投影屏幕,其中,待测试设备分别与数据传输计算机A、数据传输计算机B连接,数据传输计算机A、数据传输计算机B均与数据综合计算设备连接,数据综合计算设备分别连接数据浏览计算机及数据投影屏幕。其优点是,无线数据接收环节采用了双模式冗余,可保证一种无线传输方式由于天气影响中断或传输模块出现故障时,测试数据的可靠传输及发布。
-
公开(公告)号:CN117911814A
公开(公告)日:2024-04-19
申请号:CN202211246000.0
申请日:2022-10-12
Applicant: 北京临近空间飞行器系统工程研究所
Abstract: 本发明涉及人工智能与目标识别技术领域,尤其公开了一种跨模态语义对齐的零样本图像处理系统及处理方法,包括图像数据采集模块,接收嵌入式平台下不同传感器采集的图像信息,进行多路图像融合;视觉特征提取模块,利用深度卷积神经网络进行视觉特征提取得到图像视觉特征;语义信息采集模块;语义特征提取模块;跨模态语义对齐模块,利用跨模态语义对齐算法对视觉特征和语义特征进行对齐约束,建立跨模态映射关系,对新输入图像进行图像处理,输出图像目标类别和位置信息。本发明针对高空环境动态图像数据,采用多路传感器进行图像采集,设计嵌入式实时系统对图像进行快速零样本识别与检测,可高效、可靠地实现对稀缺高空图像数据的实时感知决策。
-
公开(公告)号:CN117478688A
公开(公告)日:2024-01-30
申请号:CN202311257361.X
申请日:2023-09-26
Applicant: 北京临近空间飞行器系统工程研究所
Inventor: 张运 , 王宇飞 , 肖振 , 陈虎 , 宋宇光 , 陈超 , 王振峰 , 马利 , 薛凯 , 杨飞 , 王泽齐 , 王保录 , 于喜红 , 赵俊翔 , 李萌萌 , 顾天祺 , 马祎蕾
IPC: H04L67/1095 , H04L9/40
Abstract: 一种去中心化节点的数据同步方法及网络系统,解决了去中心化节点的数据同步问题,属于通信技术或网络技术领域。网络系统包括至少一个在线的网络节点N5,每个网络节点均包括数据D、请求端C、响应端S;网络节点N5采用如下方式进行数据同步:网络节点N5的请求端C5发出请求,该请求包括自身的数据D5;网络节点N5的响应端S5收到自身或其他网络节点的请求后,对请求中的数据进行校验后,返回包括校验信息的响应;网络节点N5的请求端C5收到自身或其他网络节点的响应后,同步数据D5。本发明所设计的数据同步方法,实现简单,利用请求‑响应方式,以一种递归的形式,覆盖了单节点和多节点的同步,降低了系统复杂度,提高系统可靠性。
-
公开(公告)号:CN113157335B
公开(公告)日:2023-06-06
申请号:CN202110350565.2
申请日:2021-03-31
Applicant: 北京临近空间飞行器系统工程研究所
Abstract: 一种可扩展插件化体系架构的软件系统设计方法,第一步、设计可扩展插件化体系架构;第二步、根据地面测发控类软件特点,设计平台内核层通用功能;第三步、设计插件生存周期模型;第四步、进行平台内核层与插件的接口规定与设计;第五步、设计插件加载流程;第六步、设计插件通用数据接口,提供插件间通信方法,完成可扩展插件化体系架构的软件系统设计。本发明所设计的可扩展插件化体系架构层次清晰、接口一致,降低了外部调用难度与系统维护成本,提升了软件系统的可靠性。
-
公开(公告)号:CN115185527A
公开(公告)日:2022-10-14
申请号:CN202210657320.9
申请日:2022-06-10
Applicant: 北京临近空间飞行器系统工程研究所
Abstract: 本发明涉及一种嵌入式软件产品执行程序自动生成、加载方法及系统,属于嵌入式软件领域。所述系统包括:自动生成模块,根据嵌入式软件编译器编译生成的输出文件,自动生成可直接运行于嵌入式目标板的执行程序;所述嵌入式目标板的执行程序进行标准化重命名,标准命名格式为:软件名称+软件版本号+软件CRC码;自动校验模块,在加载前,根据对执行程序的标准化名称对待固化嵌入式软件产品进行校验,将执行程序烧写固化至嵌入式目标板中,加载后,根据对执行程序的标准化名称对已固化嵌入式软件产品进行校验,使目标板成功运行嵌入式执行程序。
-
公开(公告)号:CN114003714B
公开(公告)日:2022-03-25
申请号:CN202111565963.2
申请日:2021-12-21
Applicant: 北京理工大学 , 北京临近空间飞行器系统工程研究所
IPC: G06F16/335 , G06F40/205 , G06F40/258
Abstract: 本发明涉及一种文档上下文感知的智能知识推送方法,属于知识推送技术领域,旨在让用户在进行模板文档编辑时能够更加高效地获取信息、更加准确地进行知识推送。本方法在进行知识推送的时候,将用户编辑位置的上下文信息作为推送依据,而非传统的关键词信息,充分利用了用户的编辑上下文信息。将推送工具集成到文档编辑软件中,使用被动式推送的方法进行知识推送。与现有技术方法相比,本方法将推知识荐工具与编辑工具高度集成,为用户文档编辑带来更好的体验,提高了文档编辑效率。同时,本方法通过监听用户编辑位置变化,结合关键词信息和段落信息,做出更精确的推送。
-
公开(公告)号:CN113157335A
公开(公告)日:2021-07-23
申请号:CN202110350565.2
申请日:2021-03-31
Applicant: 北京临近空间飞行器系统工程研究所
Abstract: 一种可扩展插件化体系架构的软件系统设计方法,第一步、设计可扩展插件化体系架构;第二步、根据地面测发控类软件特点,设计平台内核层通用功能;第三步、设计插件生存周期模型;第四步、进行平台内核层与插件的接口规定与设计;第五步、设计插件加载流程;第六步、设计插件通用数据接口,提供插件间通信方法,完成可扩展插件化体系架构的软件系统设计。本发明所设计的可扩展插件化体系架构层次清晰、接口一致,降低了外部调用难度与系统维护成本,提升了软件系统的可靠性。
-
-
-
-
-
-
-
-
-