-
公开(公告)号：CN103218250B
公开(公告)日：2016-01-13
申请号：CN201310108537.5
申请日：2013-03-29
Applicant: 北京控制工程研究所
IPC: G06F9/455
Abstract: 本发明公开了一种处理器模拟方法，首先建立体系结构模拟层、指令集模拟层、和处理器模拟层；所述体系结构模拟层由处理器配置文件模块实现，所述指令集模拟层由处理器指令译码模块和处理器指令执行模块组成，所述处理器模拟层由处理器存储模块和处理器片内设备模块组成。本发明仅通过三个层次的模拟接口实现，便快速完成处理器的模拟，缩短了处理器模拟研发时间和周期，提升处理器模拟器研发效率，同时建立了处理器模拟平台统一性，可以使多个航天中常用的不同种类处理器模拟集成于相同模拟平台上，便于处理器模拟的集成、扩展及应用。
-
公开(公告)号：CN104182218B
公开(公告)日：2015-05-27
申请号：CN201410382234.7
申请日：2014-08-05
Applicant: 北京控制工程研究所
IPC: G06F9/44
Abstract: 本发明公开了一种星上计算机延时指令存储及执行方法，(1)本发明通过进一步开发数组的数据结构来实现，在数组的数据结构的基础上增加本数据元素编号，前数据元素编号，后数据元素编号，以及指令数据。通过改变数据元素中前数据元素编号和后数据元素编号的值，完成数据元素的插入删除操作。(2)本发明在确保星载软件的可靠性和安全性，不使用动态分配内存操作的基础上，对传统的星载延时指令集管理方法进一步改进，设计了一个指令链表结构，在延时指令执行和插入删除操作时无需移动后续延时指令，提高了软件执行效率，延时指令执行时间也很稳定。
-
公开(公告)号：CN103218250A
公开(公告)日：2013-07-24
申请号：CN201310108537.5
申请日：2013-03-29
Applicant: 北京控制工程研究所
IPC: G06F9/455
Abstract: 本发明公开了一种处理器模拟方法，首先建立体系结构模拟层、指令集模拟层、和处理器模拟层；所述体系结构模拟层由处理器配置文件模块实现，所述指令集模拟层由处理器指令译码模块和处理器指令执行模块组成，所述处理器模拟层由处理器存储模块和处理器片内设备模块组成。本发明仅通过三个层次的模拟接口实现，便快速完成处理器的模拟，缩短了处理器模拟研发时间和周期，提升处理器模拟器研发效率，同时建立了处理器模拟平台统一性，可以使多个航天中常用的不同种类处理器模拟集成于相同模拟平台上，便于处理器模拟的集成、扩展及应用。
-
公开(公告)号：CN104182218A
公开(公告)日：2014-12-03
申请号：CN201410382234.7
申请日：2014-08-05
Applicant: 北京控制工程研究所
IPC: G06F9/44
Abstract: 本发明公开了一种星上计算机延时指令存储及执行方法，(1)本发明通过进一步开发数组的数据结构来实现，在数组的数据结构的基础上增加本数据元素编号，前数据元素编号，后数据元素编号，以及指令数据。通过改变数据元素中前数据元素编号和后数据元素编号的值，完成数据元素的插入删除操作。(2)本发明在确保星载软件的可靠性和安全性，不使用动态分配内存操作的基础上，对传统的星载延时指令集管理方法进一步改进，设计了一个指令链表结构，在延时指令执行和插入删除操作时无需移动后续延时指令，提高了软件执行效率，延时指令执行时间也很稳定。
-
公开(公告)号：CN103745153A
公开(公告)日：2014-04-23
申请号：CN201310746198.3
申请日：2013-12-30
Applicant: 北京控制工程研究所
IPC: G06F21/52
CPC classification number: G06F21/52 , G06F11/3644
Abstract: 一种航天器软件空间使用安全性检查方法，是一种针对航天器软件内存空间使用安全的检查方法，目的在于检查航天器软件是否会出现内存使用违例的情况，包括全局数据区溢出的检查方法和程序栈溢出的检查方法。全局数据区溢出的检查方法主要检查软件编译固化时，全局变量占用的空间是否超过了静态分配的空间。程序栈溢出的检查方法主要是分析软件运行时，程序使用的栈空间是否可能超过静态分配的栈空间大小。本发明提出的检查方法能够在不需要运行软件的情况下，完成上述两种软件空间使用安全问题的检查，具有良好的适应性。本发明方法的复杂度低，适用于大规模软件。
-
Patent Agency Ranking
公开(公告)号：CN103744813A
公开(公告)日：2014-04-23
申请号：CN201310751624.2
申请日：2013-12-31
Applicant: 北京控制工程研究所
Abstract: 一种保障1553B总线通信时序正确性的时序确定方法，根据1553B总线各个子地址通讯方式和特点，确定了通讯的时序要求，保障了总线通讯时序正确性。本发明解决了传统分析中时间要求不全面的问题。本发明识别出各个通讯功能的通讯时间和通讯间时间间隔要求，为分析提供了更为系统全面的因素。本发明不仅分析不同通讯功能之间有先后顺序和时间要求，还给出了多个通讯共同完成同一系统功能时，需要考虑的时序问题。这样减少了软件系统行为的不确定性。
-
公开(公告)号：CN104407968B
公开(公告)日：2017-06-13
申请号：CN201410601684.0
申请日：2014-10-30
Applicant: 北京控制工程研究所
IPC: G06F11/36
Abstract: 一种通过静态分析测算代码指令最长运行时间的方法，首先解析待分析源代码对应的机器码指令序列，识别指令序列中分支指令的源地址和目标地址，得到指令的执行周期数。然后建立指令序列对应的有向无环图，按照有向无环图计算最长路径的方法，计算最长执行周期数，进而得到最长运行时间。如果建立有向无环图遍历过程中有向后跳转指令，则建立的是有向有环图，而且环还是有次数的，次数就是源代码中对应的循环次数，通过确定循环对应的循环体和循环次数，能够消除循环把有向有环图变成有向无环图，进而得到代码指令的最长运行时间。
-
公开(公告)号：CN103473260B
公开(公告)日：2017-05-03
申请号：CN201310256140.0
申请日：2013-06-25
Applicant: 北京控制工程研究所
IPC: G06F17/30
Abstract: 本发明公开了一种面向并发OLAP的测试数据分层聚簇查询处理系统及方法，通过分层抽点、聚簇、索引组织表、大对象存储等一系列DBMS技术，降低并发OLAP中测试数据访问中的I/O代价，从而提高并发查询的处理能力。本发明在数据库管理系统中针对I/O性能和并行OLAP处理性能实现了并发查询处理优化技术，支持面向I/O性能来优化设置并发OLAP处理负载，从而提高了测试数据波形显示的可预期访问性能，实现了大规模并发OLAP的测试数据查询的加速处理。
-
公开(公告)号：CN103593261B
公开(公告)日：2015-09-23
申请号：CN201310488184.6
申请日：2013-10-17
Applicant: 北京控制工程研究所
IPC: G06F11/14
Abstract: 本发明公开了一种中断服务程序中通信故障的快速恢复方法，本发明结合在中断服务程序中进行故障检测及恢复和在中断处理任务中进行故障检测及恢复两种方法的优点，通过细分故障类型为影响后续数据处理以及只影响当前指令数据处理的故障，充分利用两个数据包的时间间隔，影响后续数据处理的故障在中断服务程序中处理，只影响当前指令数据处理的故障在中断处理任务中处理，减少了任务切换的次数，缩短整个数据接收的时间，从而实现了接收即完成通信故障检测和恢复的方法。本发明该方法已在嫦娥三号RS422通信过程中得到应用，解决了型号中故障检测及恢复与中断处理时间相矛盾的问题，取得了很好的效果，具有很强的实用性。
-
公开(公告)号：CN103699042A
公开(公告)日：2014-04-02
申请号：CN201310751632.7
申请日：2013-12-31
Applicant: 北京控制工程研究所
IPC: G05B19/042
Abstract: 并发中断驱动软件系统的时序确定方法，通过功能分配，为每个具体的功能模块进行处理时间和调用时间间隔的时序确定，并对中断处理程序进行时序和功能模块组成确定。本发明通过将功能进行细化的时序分配，在设计中就考虑了时序约束，易于保证整个软件系统的时序正确性。本发明给出了放在中断处理中的功能模块的设计准则和处理方式。哪些功能模块需要放在中断中处理对系统时序影响很大，需要统筹考虑，如果不合适可能会导致时序错误。本发明中提供的准则指导了中断中模块的时序设计，减少了中断驱动软件系统行为的不确定性。
-
-
-
-
-
-
-
-
-
Search Results
22
records
(took 0.023 seconds)
