-
公开(公告)号：CN120029621A
公开(公告)日：2025-05-23
申请号：CN202510188318.5
申请日：2025-02-20
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于OpenGL的适配层实现方法，属于模型驱动系统工程领域。本发明适配层包含三部分功能：统一管理、计算优化和对外接口，统一管理包括资源、状态、错误管理；计算优化包括数学运算优化，曲线和多边形绘制优化；对外接口包括与onModel工具匹配的接口。本发明根据onModel工具提供的图元建立适配层，实现对OpenGL的封装，形成与onModel图元匹配的适配层。简化从图形界面生成C代码的过程，提高代码的可读性，为OnModel工具后续功能的实现提供支撑。
-
公开(公告)号：CN119180007A
公开(公告)日：2024-12-24
申请号：CN202411284291.1
申请日：2024-09-13
Applicant: 北京计算机技术及应用研究所 , 中国人民解放军96901部队25分队
Abstract: 本发明涉及一种高安全软件分发系统，属于软件分发安全防护技术领域。本发明的系统在总部与各分部均部署软件，在总部服务器部署总部软件仓库服务，在分部服务器部署分部软件仓库服务与终端管控软件服务端，在终端设备上部署终端管控软件客户端。本发明解决软件分发过程不安全不可靠问题，从软件源头、网络传输到终端设备安装全过程进行安全防护；本发明提供的方案可以监控终端设备软件状态，对安装与卸载过程进行监控，对终端设备运行的程序实时监控，保护终端设备上运行的软件安全，进而保护单位的信息安全。
-
公开(公告)号：CN115016843B
公开(公告)日：2024-03-26
申请号：CN202210566686.5
申请日：2022-05-23
Applicant: 北京计算机技术及应用研究所
IPC: G06F8/75
Abstract: 本发明涉及一种高精度的二进制代码相似性比对方法，属于代码比对领域。本发明利用SimHash算法进行比对检索，缩小二进制代码比对的范围，再利用二进制代码特征进行精准的相似性比对，实现二进制代码的快速、精确的比对，为二进制代码溯源、缺陷扫描分析提供支撑，满足不同场景下的二进制代码相似性比对的需求。本发明提出的方案，能够在兼顾对比效率的同时，保证二进制代码相似性比对的效率；本发明提取二进制代码函数特征，能够保证代码相似性比对的精确度；本发明采用基于SimHash的文本对比方法，能够提高二进制代码相似性比对的效率。
-
公开(公告)号：CN116450153A
公开(公告)日：2023-07-18
申请号：CN202310461867.6
申请日：2023-04-26
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种容器化仿真平台快速部署方法，属于容器化仿真平台设计领域。本发明采用命令行模式，基于基础镜像配置DSP仿真环境、动态链接库、运行依赖环境、环境变量等，构建DSP仿真环境容器；其次，将容器层保存成镜像文件，创建DSP仿真环境镜像包，构建完整的运行环境镜像；再次，基于Dockerfile配置文件通过build命令构建多平台下的镜像tar包，建立运行环境与执行命令的调用关系；然后，将DSP仿真平台镜像包推送到远程云镜像仓库中，方便镜像管理与使用；最后，从远程镜像仓库中拉取仿真平台镜像，进行仿真平台部署运行，实现DSP仿真平台快速部署。本发明有效的简化仿真平台部署过程，进而提升嵌入式仿真环境多平台部署效率。
-
公开(公告)号：CN115421863B
公开(公告)日：2023-04-28
申请号：CN202211114547.5
申请日：2022-09-14
Applicant: 北京计算机技术及应用研究所
IPC: G06F9/455
Abstract: 本发明涉及一种通用的MIPS64处理器指令集虚拟化仿真方法，属于虚拟仿真领域。本发明能够实现MIPS指令架构处理器的指令集仿真，仿真精度高；本发明采用数组、链表等实现寄存器、内存的仿真，能够完成仿真MIPS指令架构处理器。本发明通过对364条指令集的仿真，提供MIPS处理器嵌入式处理器软件的运行环境，为MIPS处理器嵌入式处理器软件的开发提供支撑。
-
Patent Agency Ranking
公开(公告)号：CN114860244A
公开(公告)日：2022-08-05
申请号：CN202210284527.6
申请日：2022-03-22
Applicant: 北京计算机技术及应用研究所
IPC: G06F8/41 , G06F40/194
Abstract: 本发明涉及一种基于导出函数的PE文件相似性比对方法，属于软件二进制代码溯源分析技术领域。该比对方法通过PE文件解析，提取并比对PE文件“导出函数”，完成了PE文件相似性比对和相似度计算。该方法主要是为Windows操作系统下可执行程序、动态链接库、ActiveX控件等PE格式二进制文件溯源提供技术手段，具有良好的鲁棒性、较高的准确性和可用性。
-
公开(公告)号：CN106326107A
公开(公告)日：2017-01-11
申请号：CN201610602254.X
申请日：2016-07-27
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
CPC classification number: G06F11/3684 , G06F11/3664 , G06F11/3688 , G06F11/3692
Abstract: 本发明公开了一种基于仿真环境的非侵入式嵌入式软件异常处理验证方法，包括：搭建嵌入式软件仿真运行环境；设计异常处理验证测试用例，执行异常处理测试用例，采集嵌入式软件异常信息以及对采集的嵌入式软件异常信息进行分析与验证。
-
公开(公告)号：CN120029594A
公开(公告)日：2025-05-23
申请号：CN202510188404.6
申请日：2025-02-20
Applicant: 北京计算机技术及应用研究所
IPC: G06F8/20 , G06F8/34 , G06F8/35 , G06F40/151 , G06F40/186
Abstract: 本发明涉及一种基于元数据驱动的AADL文本生成方法，属于软件工程技术领域。本发明首先定义元数据模型，用于规范化描述AADL元素及其关系；然后通过交互式图形化界面创建和编辑AADL模型；在建模过程中构建AADL树状结构，并将图形元素实例化为元数据模型对象；最后通过模板引擎将AADL树状结构和元数据实例映射成相应的文本表示。该方法不仅保证了设计过程中语义的一致性和文本转换的准确性，同时还增强了系统的可扩展性和适应性，以满足嵌入式系统设计的复杂需求，为研发基于模型的软件分析与验证工具OnModel提供了关键技术支撑。
-
公开(公告)号：CN119148994A
公开(公告)日：2024-12-17
申请号：CN202411251561.9
申请日：2024-09-08
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种通用的外围设备功能行为级建模与仿真方法，属于设备建模与仿真领域。本发明首先针对外围设备特点，定义一种设备描述文件*.vdl，描述外围设备通用信息；其次，对外围设备进行行为级建模，包括寄存器、IO接口等内容；然后，对设备模型功能进行完善，完成寄存器读写，数据收发、设备初始化等功能仿真，将设备模型描述文件翻译成设备C代码；最后，进行设备功能模型一致性检查，通过检查后，将C代码编译为可供调用的设备动态库。该方法实现的通用外围设备行为级功能仿真方法，建模过程规范、模型属性与接口描述清晰、逻辑功能描述准确，形成了一种通用、高效的外围设备建模与仿真方法，提高了外围设备的仿真效率。
-
公开(公告)号：CN116089910B
公开(公告)日：2023-10-20
申请号：CN202310120266.9
申请日：2023-02-16
Applicant: 北京计算机技术及应用研究所
IPC: G06F21/10 , G06F40/114 , G06F40/284 , G06F40/242
Abstract: 本发明涉及一种支持多种格式电子文档的密级检测方法，属于电子文档密级检测技术领域。本发明的方法通过直接对待测文档进行检测分析得到密级检测结果，定密责任人无需对文档全部内容进行审核，只需对基于本发明得到的检测结果进行复核便可得到文档的最后密级，能够减轻检查全部文本内容的工作负担，提升定密过程的效率；敏感词匹配过程通过模型自动检测，能够降低人工审核敏感词带来的不确定性，减少敏感词漏报情况。
-
-
-
-
-
-
-
-
-
Search Results
76
records
(took 0.036 seconds)
