-
公开(公告)号：CN112883122B
公开(公告)日：2023-10-13
申请号：CN202110163577.4
申请日：2021-02-05
Applicant: 北京控制工程研究所
IPC: G06F16/28 , G06F16/26 , G06F16/35 , G06F40/295
Abstract: 本发明公开了一种基于多视图模型的嵌入式软件知识管理系统，该系统能够将多源、异构的嵌入式软件资产进行统一表示，使传统基于关系型数据库的资产管理模式转化为基于多视图模型的软件资产可视化管理模式，解决了嵌入式软件知识管理效率不高的问题，同时还利用多视图模型建立起了异构软件数据源间存在的显式和隐式关系，能在语义层面上对软件知识库进行高效的查询，提高了嵌入式软件的重用能力。所述方法能够直接应用于嵌入式软件领域，从而实现软件资产库的智能化管理。
-
-
公开(公告)号：CN111628817A
公开(公告)日：2020-09-04
申请号：CN202010413127.1
申请日：2020-05-15
Applicant: 北京控制工程研究所
Abstract: 一种控制系统内1553B总线终端数据管控方法，根据1553B协议标准和消息帧格式，通过同时包含1553B总线消息操作字段和具体指令内容的数据管理指令块设计，提出了通用的控制器对部件数据管理指令的处理方法，统一了对部件的指令写入和参数读出数据管理流程，解决了针对各卫星部件的各个功能仍需进行特定指令定制的问题，同时解决了现有数据管理流程中对星上部件的数据取读过程复杂的问题，方法操作灵活性高，通用性好，可拓展至任意卫星部件管理流程。
-
-
公开(公告)号：CN107544466B
公开(公告)日：2019-08-09
申请号：CN201710832118.4
申请日：2017-09-15
Applicant: 北京控制工程研究所
IPC: G05B23/02
Abstract: 本发明涉及一种单框架控制力矩陀螺低速框架故障诊断方法，属于航天器姿态确定与控制技术领域，特别涉及一种应用于航天器上的单框架控制力矩陀螺作为航天器姿态控制执行机构的故障诊断方法，适用于采用单框架控制力矩陀螺(SGCMG)作为执行机构的航天器。本发明的方法利用SGCMG低速框架理论运动角度和实际低速框架运行的角度偏差进行故障检测，并在故障判定阈值设计上与SGCMG运动状态结合起来，根据SGCMG指令角速度大小自主动态调整故障诊断阈值，提高了SGCMG低速框架运动速度变化较大应用场合的故障诊断可靠性和准确性。
-
Patent Agency Ranking
公开(公告)号：CN106708730B
公开(公告)日：2019-04-09
申请号：CN201611046321.0
申请日：2016-11-22
Applicant: 北京控制工程研究所
IPC: G06F11/36
Abstract: 一种针对嵌入式实时操作系统形式化验证方法，采用分阶段的思路对嵌入式实时操作系统进行形式化验证，首先按照需求、设计、实现三个阶段进行形式化建模和验证，用具有严格数学定义的语法、语义的语言来描述操作系统，然后建立操作系统的形式化模型，提取待验证的性质，通过数学方法分析及验证形式化模型是否满足期望的性质，通过反复迭代，最终得到满足期望性质的形式化模型。本发明方法与现有技术相比，解决了传统测试方法对无法保证操作系统需求的正确性以及代码和需求一致性的问题，具有较好的使用价值。
-
公开(公告)号：CN103745153A
公开(公告)日：2014-04-23
申请号：CN201310746198.3
申请日：2013-12-30
Applicant: 北京控制工程研究所
IPC: G06F21/52
CPC classification number: G06F21/52 , G06F11/3644
Abstract: 一种航天器软件空间使用安全性检查方法，是一种针对航天器软件内存空间使用安全的检查方法，目的在于检查航天器软件是否会出现内存使用违例的情况，包括全局数据区溢出的检查方法和程序栈溢出的检查方法。全局数据区溢出的检查方法主要检查软件编译固化时，全局变量占用的空间是否超过了静态分配的空间。程序栈溢出的检查方法主要是分析软件运行时，程序使用的栈空间是否可能超过静态分配的栈空间大小。本发明提出的检查方法能够在不需要运行软件的情况下，完成上述两种软件空间使用安全问题的检查，具有良好的适应性。本发明方法的复杂度低，适用于大规模软件。
-
公开(公告)号：CN103744813A
公开(公告)日：2014-04-23
申请号：CN201310751624.2
申请日：2013-12-31
Applicant: 北京控制工程研究所
Abstract: 一种保障1553B总线通信时序正确性的时序确定方法，根据1553B总线各个子地址通讯方式和特点，确定了通讯的时序要求，保障了总线通讯时序正确性。本发明解决了传统分析中时间要求不全面的问题。本发明识别出各个通讯功能的通讯时间和通讯间时间间隔要求，为分析提供了更为系统全面的因素。本发明不仅分析不同通讯功能之间有先后顺序和时间要求，还给出了多个通讯共同完成同一系统功能时，需要考虑的时序问题。这样减少了软件系统行为的不确定性。
-
公开(公告)号：CN103714035A
公开(公告)日：2014-04-09
申请号：CN201310751618.7
申请日：2013-12-31
Applicant: 北京控制工程研究所
IPC: G06F13/40
Abstract: 一种用于集成环境的多层软件总线结构，所述结构包括多层总线和插件；多层总线由若干处于不同层次的总线组成，这些总线按照树的拓扑结构组织在一起：最底层有且只有一条总线，称为全局总线，其他各层次的总线都称为局部总线，以全局总线为树根，形成多层的树状结构；插件是集成环境中被集成的软件的封装，以服务的形式将被集成软件的功能加入集成环境中。本发明所提出的多层总线结构实现了总线协议的可扩展性，能够通过增加新的局部总线，对总线协议进行扩展，以针对新类型工具进行更加高效、紧密的集成。
-
公开(公告)号：CN103678136A
公开(公告)日：2014-03-26
申请号：CN201310744664.4
申请日：2013-12-30
Applicant: 北京控制工程研究所
Abstract: 一种基于控制流的数据竞争误报降低方法，是一种针对航天嵌入式C程序数据竞争检测的改进方法，目的在于降低误报、提高分析准确度。一般认为，主程序和中断服务程序具有共享变量时，如果二者中至少一个对该共享变量进行了写操作，那么该变量可能会发生数据竞争。本发明以语法分析技术为基础，结合领域特征，识别无害的数据竞争，降低数据竞争检测的误报率。本发明提出的检查方法降低了数据竞争检测的误报率，有利于发现真正有害的数据竞争。
-
-
-
-
-
-
-
-
-
Search Results
42
records
(took 0.037 seconds)
