-
公开(公告)号：CN103699388A
公开(公告)日：2014-04-02
申请号：CN201310744736.5
申请日：2013-12-30
Applicant: 北京控制工程研究所
IPC: G06F9/44
Abstract: 基于绝对地址汇聚的数据访问冲突检测方法，是一种针对航天嵌入式C程序数据竞争检测的改进方法。本发明以语法分析技术为基础，结合领域知识，更准确地识别的数据竞争，降低数据竞争检测的漏报率。该方法对C源程序进行语法分析，构造源程序中使用的绝对地址集合，利用绝对地址集合，构造间接影响关系。根据C源程序中的中断响应函数，寻找C源程序包括的所有中断上下文。根据绝对地址之间的间接影响关系，判断中断上下文是否会触发数据访问冲突。与现有的数据访问冲突检测方法相比，本发明所提出的方法，能够降低漏报，提高分析准确度。
-
公开(公告)号：CN103699042A
公开(公告)日：2014-04-02
申请号：CN201310751632.7
申请日：2013-12-31
Applicant: 北京控制工程研究所
IPC: G05B19/042
Abstract: 并发中断驱动软件系统的时序确定方法，通过功能分配，为每个具体的功能模块进行处理时间和调用时间间隔的时序确定，并对中断处理程序进行时序和功能模块组成确定。本发明通过将功能进行细化的时序分配，在设计中就考虑了时序约束，易于保证整个软件系统的时序正确性。本发明给出了放在中断处理中的功能模块的设计准则和处理方式。哪些功能模块需要放在中断中处理对系统时序影响很大，需要统筹考虑，如果不合适可能会导致时序错误。本发明中提供的准则指导了中断中模块的时序设计，减少了中断驱动软件系统行为的不确定性。
-
公开(公告)号：CN103471576A
公开(公告)日：2013-12-25
申请号：CN201310439310.9
申请日：2013-09-24
Applicant: 北京控制工程研究所
Abstract: 本发明公开了一种框架驱动供电一体化组件，属于空间执行机构领域。该框架驱动供电一体化组件包括框架支承组件、导电环组件、超声电机组件、双通道绝对零位式圆感应同步器组件、同步器转子锁紧螺母、导电环固定板。本发明的框架驱动供电一体化组件实现了框架驱动组件和框架供电组件一体化设计，框架电机采用新型超声电机，测角装置采用双通道绝对零位式圆感应同步器，实现了高精度、低功耗和轻小型化，适合于微小卫星应用。
-
公开(公告)号：CN102901492A
公开(公告)日：2013-01-30
申请号：CN201210378399.8
申请日：2012-09-29
Applicant: 北京控制工程研究所
IPC: G01C19/02
Abstract: 本发明涉及一种机电一体化小型变速控制力矩陀螺，特别是一种可以变速的小型单框架控制力矩陀螺，属于控制力矩陀螺技术领域。包括高速组件、高速驱动线路组件、连接支架和低速组件。高速组件提供角动量所需的转动惯量；高速驱动线路组件安装于高速组件背面，在控制力矩陀螺模式下驱动高速组件内的高速电机转子、轴承组件转子和轮体以指令转速旋转从而产生控制力矩陀螺所需的恒定角动量，在动量轮模式下驱动高速组件内的高速电机转子、轴承组件转子和轮体升降速从而输出沿转子轴方向的力矩。本发明在不增加结构体积的情况下实现了机电一体化设计，产品体积小、重量轻、散热好，适合中小型航天器的姿态控制和快速机动应用。
-
公开(公告)号：CN108562307B
公开(公告)日：2020-07-14
申请号：CN201810288012.7
申请日：2018-03-30
Applicant: 北京控制工程研究所
Abstract: 本发明公开了一种基于n对极感应同步器的自校正测角方法，包括下列步骤：(1)、测量n对极感应同步器的n个精机零位所对应的粗机值，将其作为边界值将[0,360°]划分为n个角度区间；(2)、对n个精机零位所对应的粗机值进行从小到大进行排序，形成一个单调递增序列Yn{A1,...,An}并存储；(3)、对序列的第一个元素A1进行数值判断，根据A1的取值范围，为每个区间[Ai,Ai+1)确定一个对应的区间序号(4)、将每个区间[Ai,Ai+1)划分为三个数据区域，左边界区，中间区和右边界区，将精机数据分为两个数据子区：左数据子区，右数据子区，根据测得的粗机数据所属的数据区、精机数据所处的数据子区和区间[Ai,Ai+1)所对应的区间序号计算当前实际角度。
-
Patent Agency Ranking
公开(公告)号：CN108278309A
公开(公告)日：2018-07-13
申请号：CN201810057862.6
申请日：2018-01-19
Applicant: 北京控制工程研究所
Abstract: 一种主被动一体化的四足会聚式隔振器，包括上连接板(1)、斜置微振动控制单元(2)、第三开槽碟形弹簧(4)、下连接板(5)、开槽圆柱弹簧(6)；开槽圆柱弹簧(6)一端连接第三开槽碟形弹簧(4)，另一端固定在下连接板(5)中部；第三开槽碟形弹簧(4)固定在上连接板(1)中部；各斜置微振动控制单元(2)绕开槽圆柱弹簧(6)的中心轴沿上连接板(1)周向均匀分布，倾斜安装，一端与上连接板(1)相连，另一端与下连接板(5)相连。本发明采用主被动一体化结构，能实现宽频段的微振动控制，提高了隔振器的隔振效率和对复杂环境及变化对象的适应性。
-
公开(公告)号：CN103678136B
公开(公告)日：2015-07-08
申请号：CN201310744664.4
申请日：2013-12-30
Applicant: 北京控制工程研究所
Abstract: 一种基于控制流的数据竞争误报降低方法，是一种针对航天嵌入式C程序数据竞争检测的改进方法，目的在于降低误报、提高分析准确度。一般认为，主程序和中断服务程序具有共享变量时，如果二者中至少一个对该共享变量进行了写操作，那么该变量可能会发生数据竞争。本发明以语法分析技术为基础，结合领域特征，识别无害的数据竞争，降低数据竞争检测的误报率。本发明提出的检查方法降低了数据竞争检测的误报率，有利于发现真正有害的数据竞争。
-
公开(公告)号：CN103219917B
公开(公告)日：2015-05-27
申请号：CN201310121397.5
申请日：2013-04-09
Applicant: 北京控制工程研究所
Abstract: 本发明涉及一种高可靠高稳定度中空旋转型行波超声电机，属于微特电机技术领域。该超声电机包括外罩、转子、摩擦材料、定子、压电陶瓷、定子座、轴承、轴承防尘罩和加载螺母。本发明的电机采用一个轴承支撑并设计有防多余物结构，电机转子和定子座选用与轴承线膨胀系数相近的不锈钢材料。有效改善超声电机由于双端轴承支撑、相互配合尺寸较多、机械加工及装配等偏差较大使得定子与转子接触界面压力分布不均匀，电机工作产生的磨屑进入轴承，高低温工况下材料线膨胀系数相差较大使得配合间隙发生变化等因素导致超声电机转速波动量上升、力矩输出性能下降、寿命缩短的状况。
-
公开(公告)号：CN103677849B
公开(公告)日：2015-04-15
申请号：CN201310738865.3
申请日：2013-12-26
Applicant: 北京控制工程研究所
IPC: G06F9/44
Abstract: 本发明公开了一种嵌入式软件可信性保障方法，通过构建基于可信要素的五元组技术体系，实现在每一个研制阶段针对每一个可信要素利用理论方法、工具以及度量评估对嵌入式软件的可信性进行系统全面的保障。本发明以工程实践中提炼出的嵌入式软件可信要素为基础，将软件可信性保障按照可信要素分配到软件研制各阶段，使得可信性保障更具有针对性。使用不同粒度的、与研制阶段相关联的可信要素来指导可信性保障活动，保证了可实施性。本发明采用工具作为嵌入式软件可信性保障活动的最终手段，与目前大多数依赖过程管理体系保证软件质量的方法有明显不同，实现了软件可信性保障从依赖人到依赖工具的转变。
-
公开(公告)号：CN103677849A
公开(公告)日：2014-03-26
申请号：CN201310738865.3
申请日：2013-12-26
Applicant: 北京控制工程研究所
IPC: G06F9/44
Abstract: 本发明公开了一种嵌入式软件可信性保障方法，通过构建基于可信要素的五元组技术体系，实现在每一个研制阶段针对每一个可信要素利用理论方法、工具以及度量评估对嵌入式软件的可信性进行系统全面的保障。本发明以工程实践中提炼出的嵌入式软件可信要素为基础，将软件可信性保障按照可信要素分配到软件研制各阶段，使得可信性保障更具有针对性。使用不同粒度的、与研制阶段相关联的可信要素来指导可信性保障活动，保证了可实施性。本发明采用工具作为嵌入式软件可信性保障活动的最终手段，与目前大多数依赖过程管理体系保证软件质量的方法有明显不同，实现了软件可信性保障从依赖人到依赖工具的转变。
-
-
-
-
-
-
-
-
-
Search Results
42
records
(took 0.029 seconds)
