“郭向英”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

钻瓜专利网为您找到相关结果17个，建议您升级VIP下载更多相关专利

[发明专利]用于嵌入式异构仿真的内存映射方法-CN202211636294.8在审
发明人：李根;吴瑾;郭向英;于婷婷;高栋栋;王博祥;刘璟炜;盛庄 -专利权人：北京轩宇信息技术有限公司
申请日： 2022-12-19 - 公布日： 2023-10-10 - 主分类号： G06F9/30 文献下载
摘要：本发明公开了用于嵌入式异构仿真的内存映射方法，包括以下步骤：步骤一，查找变量；步骤二，添加自定义元类型定义；步骤三，添加引用声明及初始化；步骤四，取消宏定义；步骤五，填写返回值；本发明解决了加速函数处理过程中对寄存器运算中需要手动加入的问题，对副作用回调函数的加入，降低了对用户源代码的修改，用户源代码的处理仅放置在了函数最开始和结尾处；本发明解决了宿主机与仿真目标机大小端不一致的问题，所有多字节元类型均进行了类重写，所有的大小端转换操作都在运算符重载中进行，由于大小端转换操作被内聚在了重写类中，解除了与用户源代码的耦合，无需担心大小端互转的对偶问题，提高了安全性。
用于嵌入式仿真内存映射方法

[发明专利]一种面向多对象系统的关键字驱动测试方法及系统-CN202211670828.9在审
发明人：房振军;郭向英;吴瑾;周秋红;王松松;杨建磊;刘璟炜;盛庄 -专利权人：北京轩宇信息技术有限公司
申请日： 2022-12-23 - 公布日： 2023-03-28 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种面向多对象系统的关键字驱动测试方法及系统，方法包括步骤一，创建关键字执行流；步骤二，执行关键字；步骤三，测试结果反馈；步骤四，持续测试；步骤五，创建并行执行流；步骤六，切换测试对象；系统包括自动化测试模块、并行执行模块和测试对象切换模块，本发明基于关键字驱动的自动化测试框架进行改进，在关键字驱动的自动化测试框架基础之上，增加测试对象信息，测试框架据此信息向相应的测试对象发送测试操作指令；测试对象执行测试操作并返回执行结果。通过在用例中配置“设置被测对象”关键字和在参数中配置目的测试对象标识，以修改测试对象信息，实现向不同测试对象发送测试操作指令。
一种面向对象系统关键字驱动测试方法

[发明专利]一种基于链表和逆向遍历的汇编代码中if结构识别方法-CN202211670829.3在审
发明人：李根;吴瑾;郭向英;于婷婷;高栋栋;王博祥;刘璟炜;盛庄 -专利权人：北京轩宇信息技术有限公司
申请日： 2022-12-23 - 公布日： 2023-03-28 - 主分类号： G06F8/53 文献下载
摘要：本发明公开了一种基于链表和逆向遍历的汇编代码中if结构识别方法，包括以下步骤：步骤一，创建链表和以地址为索引图的图；步骤二，汇编指令汇总与存储；步骤三，反优化操作；步骤四，逆向遍历链表；步骤五，无条件跳转指令的识别与归纳；步骤六，条件跳转指令的识别与归纳；本发明采用被跨越、被交叉的原则，实现了对编译器对跳转优化的反优化；本发明通过总结的识别策略实现了对if‑then、if‑else核结构的自动识别；本发明采用逆向遍历的方式，实现对if嵌套、布尔表达式复杂结构的识别，与正向识别方式相比，该方法仅需要一次遍历就能够确定每个if‑then、if‑else核心结构，减少了二次遍历的运算量。
一种基于逆向遍历汇编代码 if 结构识别方法

[发明专利]一种基于关键字驱动的自动化测试并行执行系统-CN202211139603.0在审
发明人：房振军;江云松;郭向英;陈睿;吴瑾;张宇源;王松松;周秋红;崔智超 -专利权人：北京轩宇信息技术有限公司
申请日： 2022-09-19 - 公布日： 2022-12-09 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种基于关键字驱动的自动化测试并行执行系统，包括：并行执行管理模块，用于对测试子线程进行管理；关键字步骤并行执行模块，用于创建测试子线程的可执行环境；信息交互模块，用于实现线程间的信息传递和交互；异常处理模块，用于在关键字步骤执行错误时判断测试用例是否继续执行；执行结果管理模块，用于对关键字步骤的执行结果进行统计和管理；日志信息模块，用于形成完整的测试执行过程记录；并行执行关键字库，用于将并行执行机制融入基于关键字驱动的自动化测试架构；并行测试驱动模块，用于实现对嵌入式软件全数字自动化测试。本发明解决了现有的基于关键字驱动的自动化测试框架下因单线程执行关键字步骤导致测试效率不高的问题。
一种基于关键字驱动自动化测试并行执行系统

[发明专利]一种基于步长的分布式仿真系统时间同步方法-CN202210343890.0在审
发明人：张西超;江云松;郭向英;陈睿;吴瑾;张宇源;房振军;崔智超;崔宏伟;陈阳;张静 -专利权人：北京轩宇信息技术有限公司
申请日： 2022-03-31 - 公布日： 2022-08-05 - 主分类号： H04J3/06 文献下载
摘要：本发明公开了一种基于步长的分布式仿真系统时间同步方法，包括：确定不同仿真节点之间的同步步长；确定在每台计算机上的各仿真节点之间的本地时间同步步长t；确定分布式仿真系统时间同步步长T；要求T是t的整数倍；在每台计算机上，各个仿真节点按照本地时间同步步长t进行同步运行，每个仿真节点在运行至本地同步基准线；当所有仿真节点第n次到达本地同步基准线，且满足条件n*t＝T时，向网络中其他计算机发送该机已经运行至下一个分布式同步基准线的信号，并检查是否已经接收到所有其他计算机已经运行至下一个分布式同步基准线的信号。本发明可以减少网络延迟的影响，降低虚拟仿真节点之间的时间同步开销，从而提升分布式仿真系统性能。
一种基于步长分布式仿真系统时间同步方法

[实用新型]一种电力施工用防坠落安全登杆器-CN202122305286.2有效
发明人： 郭向英 -专利权人： 郭向英
申请日： 2021-09-23 - 公布日： 2022-02-11 - 主分类号： A63B27/02 文献下载
摘要：本实用新型公开了一种电力施工用防坠落安全登杆器，涉及安全登杆器技术领域，具体为一种电力施工用防坠落安全登杆器，包括承力杆、调节弯杆和承力块，所述承力块的上表面螺纹穿设有用于限位的定位螺杆，所述调节弯杆的一侧通过螺栓连接有用于防滑的条形垫。该电力施工用防坠落安全登杆器，调节弯杆可以通过承力杆前后进行拉伸，方便根据电线杆的粗细进行调节使用，承力块可以通过定位螺杆与承力杆进行固定连接，方便对承力块进行拆卸更换，避免不方便拆卸而废弃处理的问题，固定带可以对使用者的脚进行限位，保持使用时的稳定性，条形灯板可以方便照亮电线杆，方便夜间工作人员操作使用，条形垫可以增加与电线杆的摩擦力。
一种电力施工坠落安全登杆器

[发明专利]一种基于CPU模拟器的嵌入式C语言目标码级单元测试方法-CN201410381755.0有效
发明人： 郭向英;王小丽;刘璟炜;黄晨;胡智琦 -专利权人：北京控制工程研究所
申请日： 2014-08-05 - 公布日： 2017-09-29 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种基于CPU模拟器的嵌入式C语言目标码级单元测试方法。本发明采用CPU模拟器技术，解决了不同嵌入式处理器的目标码在通用PC机上的执行问题，使得可以在通用PC机上进行嵌入式C语言目标码级的单元测试，本发明利用CPU模拟器，配合测试驱动程序的编写约定，实现了被测函数目标码覆盖率的自动记录和输出，能够统计测试用例执行的目标码语句和分支覆盖率。本与现有技术相比，本发明保证被测试的C语言目标码与真实处理器上执行的目标码一致，确保了测试结果的有效性，同时与现有的C语言单元测试工具结合可以构建自动化的嵌入式C语言目标码级单元测试解决方案。
一种基于 cpu 模拟器嵌入式语言目标单元测试方法

[发明专利]一种动态二进制翻译指令集模拟器计时方法-CN201410178279.2有效
发明人： 郭向英;张西超;赵雷;陈睿 -专利权人：北京控制工程研究所
申请日： 2014-04-29 - 公布日： 2017-03-15 - 主分类号： G06F9/40 文献下载
摘要：一种动态二进制翻译指令集模拟器计时方法，本方法通过有效划分基本块，使得基本块每次执行时所占用的指令周期数可以在动态翻译阶段确定，从而实现模拟器的精确计时；计时过程包括下列步骤(1)以跳转指令、分支指令和内存访问指令作为基本块的划分依据；(2)在动态翻译过程中，计算被翻译指令的周期数及所在内存区域的内存延迟大小，从而在动态翻译阶段确定基本块每执行一次所占用的指令周期数；(3)模拟器在执行翻译代码时，并以基本块为单位判断实时事件的响应时机。本方法能够对实时事件及时响应，可以满足航天嵌入式软件的强实时性需求，同时由于不需要逐条指令判断实时事件的响应时机，计时开销较小。
一种动态二进制翻译指令模拟器计时方法

[发明专利]一种用于集成环境的多层软件总线结构-CN201310751618.7有效
发明人：杨孟飞;郭向英;顾斌;赵雷;陈睿;郝伟;盛庄;黄晨;沈沛 -专利权人：北京控制工程研究所
申请日： 2013-12-31 - 公布日： 2014-04-09 - 主分类号： G06F13/40 文献下载
摘要：一种用于集成环境的多层软件总线结构，所述结构包括多层总线和插件；多层总线由若干处于不同层次的总线组成，这些总线按照树的拓扑结构组织在一起：最底层有且只有一条总线，称为全局总线，其他各层次的总线都称为局部总线，以全局总线为树根，形成多层的树状结构；插件是集成环境中被集成的软件的封装，以服务的形式将被集成软件的功能加入集成环境中。本发明所提出的多层总线结构实现了总线协议的可扩展性，能够通过增加新的局部总线，对总线协议进行扩展，以针对新类型工具进行更加高效、紧密的集成。
一种用于集成环境多层软件总线结构

[发明专利]基于绝对地址汇聚的数据访问冲突检测方法-CN201310744736.5有效
发明人：王政;綦艳霞;顾斌;董晓刚;陈睿;陈尧;赵雷;郭向英 -专利权人：北京控制工程研究所
申请日： 2013-12-30 - 公布日： 2014-04-02 - 主分类号： G06F9/44 文献下载
摘要：基于绝对地址汇聚的数据访问冲突检测方法，是一种针对航天嵌入式C程序数据竞争检测的改进方法。本发明以语法分析技术为基础，结合领域知识，更准确地识别的数据竞争，降低数据竞争检测的漏报率。该方法对C源程序进行语法分析，构造源程序中使用的绝对地址集合，利用绝对地址集合，构造间接影响关系。根据C源程序中的中断响应函数，寻找C源程序包括的所有中断上下文。根据绝对地址之间的间接影响关系，判断中断上下文是否会触发数据访问冲突。与现有的数据访问冲突检测方法相比，本发明所提出的方法，能够降低漏报，提高分析准确度。
基于绝对地址汇聚数据访问冲突检测方法

[发明专利]一种嵌入式软件可信性保障方法-CN201310738865.3有效
发明人：杨孟飞;顾斌;陈睿;郭向英;赵雷;董晓刚;綦艳霞;王政;陈尧;乔磊;沈沛;郝伟 -专利权人：北京控制工程研究所
申请日： 2013-12-26 - 公布日： 2014-03-26 - 主分类号： G06F9/44 文献下载
摘要：本发明公开了一种嵌入式软件可信性保障方法，通过构建基于可信要素的五元组技术体系，实现在每一个研制阶段针对每一个可信要素利用理论方法、工具以及度量评估对嵌入式软件的可信性进行系统全面的保障。本发明以工程实践中提炼出的嵌入式软件可信要素为基础，将软件可信性保障按照可信要素分配到软件研制各阶段，使得可信性保障更具有针对性。使用不同粒度的、与研制阶段相关联的可信要素来指导可信性保障活动，保证了可实施性。本发明采用工具作为嵌入式软件可信性保障活动的最终手段，与目前大多数依赖过程管理体系保证软件质量的方法有明显不同，实现了软件可信性保障从依赖人到依赖工具的转变。
一种嵌入式软件可信性保障方法

[发明专利]一种本地工作区与远程数据服务器结合的高效软件数据管理方法-CN201310676324.2有效
发明人：赵雷;陈睿;郭向英;王政;陈尧;胡智琦;沈沛;郝伟;褚楠 -专利权人：北京控制工程研究所
申请日： 2013-12-11 - 公布日： 2014-03-19 - 主分类号： G06F17/30 文献下载
摘要：一种本地工作区与远程数据服务器结合的高效软件数据管理方法，步骤如下：建立远程数据存储库服务器，对数据进行集中存储和共享；在终端用户所使用的计算机本地硬盘上建立工作区，存储用户当前使用的数据本地工作区是用户在本地硬盘指定的文件夹，通过该文件夹下的特定文件记录该文件夹内所有子文件夹和文件的类型和状态，及与远程数据存储库数据的对应关系；本地工作区内的数据与数据存储库对应的数据实现被动同步；对数据存储库内数据的删除通过直接对数据存储库操作来实现，不涉及本地工作区与数据存储库的同步；对本地工作区数据的删除，仅执行对本地工作区数据的删除，不删除远程数据存储库中对应的数据。本发明解决了高效、安全的数据共享。
一种本地工作远程数据服务器结合高效软件数据管理方法

[发明专利]一种USB接口高速实时采样逻辑分析仪-CN201310142187.4有效
发明人：李鹏宇;郭向英;郝伟;盛庄;吴瑾;董燕;张金巍 -专利权人：北京控制工程研究所
申请日： 2013-04-22 - 公布日： 2013-08-21 - 主分类号： G05B19/042 文献下载
摘要：一种USB接口高速实时采样逻辑分析仪，包括单片机系统和FPGA系统，其中，单片机系统包括USB接口模块、GPIF模块、SPI总线模块、FPGA引导配置模块和RAM程序执行模块；FPGA系统包括FPGA程序执行模块、FIFO控制器模块、指示灯模块和通道采样率选择/采样模块。本发明采用单片机系统+FPGA系统架构，具有高速实时采样的优点。单片机系统实现GPIF状态机的同步时钟采用100MHz工作，实现了USB总线实时传输600Mbps采样原始数据。
一种 usb 接口高速实时采样逻辑分析

[发明专利]一种处理器模拟方法-CN201310108537.5有效
发明人：关小川;陈朝晖;杨孟飞;党纪红;杜建伟;张国峰;傅秀涛;郭向英;陈尧;刘建军;李振松 -专利权人：北京控制工程研究所
申请日： 2013-03-29 - 公布日： 2013-07-24 - 主分类号： G06F9/455 文献下载
摘要：本发明公开了一种处理器模拟方法，首先建立体系结构模拟层、指令集模拟层、和处理器模拟层；所述体系结构模拟层由处理器配置文件模块实现，所述指令集模拟层由处理器指令译码模块和处理器指令执行模块组成，所述处理器模拟层由处理器存储模块和处理器片内设备模块组成。本发明仅通过三个层次的模拟接口实现，便快速完成处理器的模拟，缩短了处理器模拟研发时间和周期，提升处理器模拟器研发效率，同时建立了处理器模拟平台统一性，可以使多个航天中常用的不同种类处理器模拟集成于相同模拟平台上，便于处理器模拟的集成、扩展及应用。
一种处理器模拟方法

[发明专利]一种基于快速傅立叶变换的软扩频通信系统-CN201110409582.5有效
发明人：孙宇明;段永顥;赵鹏;郭向英;张金巍;王青;朱倩;刘鹭航;赵欢 -专利权人：北京控制工程研究所
申请日： 2011-12-08 - 公布日： 2012-06-20 - 主分类号： H04B1/7075 文献下载
摘要：本发明公开了一种基于快速傅立叶变换的软扩频通信系统，包括：训练序列模块、码相位映射模块、组帧发射模块、捕获模块、跟踪模块、数据截取、快速逆傅立叶变换模块、点乘模块、快速傅立叶变换模块、数据伪码变换结果提取模块和数据解调模块。采用本发明克服了相关器数目对扩频码码长的限制，提高了抗干扰和保密的能力。
一种基于快速傅立叶变换软扩频通信系统

1
2
下一页»
尾页
共 17 条