-
公开(公告)号：CN119180007A
公开(公告)日：2024-12-24
申请号：CN202411284291.1
申请日：2024-09-13
Applicant: 北京计算机技术及应用研究所 , 中国人民解放军96901部队25分队
Abstract: 本发明涉及一种高安全软件分发系统，属于软件分发安全防护技术领域。本发明的系统在总部与各分部均部署软件，在总部服务器部署总部软件仓库服务，在分部服务器部署分部软件仓库服务与终端管控软件服务端，在终端设备上部署终端管控软件客户端。本发明解决软件分发过程不安全不可靠问题，从软件源头、网络传输到终端设备安装全过程进行安全防护；本发明提供的方案可以监控终端设备软件状态，对安装与卸载过程进行监控，对终端设备运行的程序实时监控，保护终端设备上运行的软件安全，进而保护单位的信息安全。
-
公开(公告)号：CN119127219A
公开(公告)日：2024-12-13
申请号：CN202411284008.5
申请日：2024-09-13
Applicant: 北京计算机技术及应用研究所 , 中国人民解放军96901部队25分队
Abstract: 本发明涉及一种二进制应用程序兼容运行方法及装置，属于二进制翻译技术领域。本发明的装置包括：源平台二进制应用程序预处理模块、翻译模块、优化模块和目标平台二进制应用程序编译运行模块。源平台二进制应用程序预处理模块，用于对源平台二进制应用程序进行加载和解析；翻译模块，用于对解析后的二进制应用程序进行解码和翻译操作；优化模块，用于优化翻译和运行过程；目标平台二进制应用程序编译运行模块，用于编译运行翻译后的符合目标平台指令集架构的二进制应用程序。本发明的装置运行在目标平台上，能够实现源平台的二进制应用程序兼容运行，并通过多线程和进程上下文切换优化提高二进制应用程序兼容运行效率。
-
公开(公告)号：CN120066524A
公开(公告)日：2025-05-30
申请号：CN202510237269.X
申请日：2025-03-02
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种包含初始化函数的同步数据流语言翻译方法，属于代码生成领域。本发明通过调用同步数据流语言翻译工具L2C，为每个节点生成对应的上下文结构体后，设计了为上下文结构体生成初始化函数的方法，确保各返回值和相关上下文结构体在仿真过程中被正确初始化，避免未赋值指针引用的问题。最终，生成的初始化函数被加入翻译后的C语言代码中，以支持模型仿真。通过该方法，可以提高生成代码的可靠性，有效满足模型仿真需求。
-
公开(公告)号：CN120045369A
公开(公告)日：2025-05-27
申请号：CN202510042037.9
申请日：2025-01-10
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/07 , G06F11/30 , G06F11/3668 , G06F9/455
Abstract: 本发明涉及一种基于嵌入式虚拟化环境的多模式检查点设计方法，属于嵌入式系统仿真领域。本发明是一种结合检查点功能和故障注入的嵌入式系统测试方法。该方法在可运行过程中定期保存检查点，以在发生故障时快速恢复。同时，通过引入故障注入机制，嵌入式开发者可结合检查点功能和故障注入模块，在注入故障前，保存具体某个或多个模块的状态，能够模拟和测试各种异常情况，以验证系统的容错性和稳定性，并可随时根据需要恢复整个系统或具体某个模块的状态。本发明优化了检查点的存储和处理效率，降低了资源开销，确保嵌入式系统在资源受限环境中的高效运行，提升了系统的可靠性与故障恢复能力。
-
公开(公告)号：CN120029621A
公开(公告)日：2025-05-23
申请号：CN202510188318.5
申请日：2025-02-20
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于OpenGL的适配层实现方法，属于模型驱动系统工程领域。本发明适配层包含三部分功能：统一管理、计算优化和对外接口，统一管理包括资源、状态、错误管理；计算优化包括数学运算优化，曲线和多边形绘制优化；对外接口包括与onModel工具匹配的接口。本发明根据onModel工具提供的图元建立适配层，实现对OpenGL的封装，形成与onModel图元匹配的适配层。简化从图形界面生成C代码的过程，提高代码的可读性，为OnModel工具后续功能的实现提供支撑。
-
Patent Agency Ranking
公开(公告)号：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仿真平台快速部署。本发明有效的简化仿真平台部署过程，进而提升嵌入式仿真环境多平台部署效率。
-
公开(公告)号：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: 本发明公开了一种基于仿真环境的非侵入式嵌入式软件异常处理验证方法，包括：搭建嵌入式软件仿真运行环境；设计异常处理验证测试用例，执行异常处理测试用例，采集嵌入式软件异常信息以及对采集的嵌入式软件异常信息进行分析与验证。
-
公开(公告)号：CN119254677A
公开(公告)日：2025-01-03
申请号：CN202411430875.5
申请日：2024-10-14
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种复杂网络设备监控方法和系统，属于网络设备监控技术领域。本发明采用了分布式设备监控架构，将设备监控任务分布到多个节点上，通过负载均衡策略分配监控任务，确保系统的高可用性和扩展性；同时，由于协议适配层响应的数据是统一的数据模型的数据，在监控节点上即可对数据进行处理，清洗掉错误数据，转换为满足数据表需求的数据模型，并对采集到的数据进行分析，保存至数据库中，保证数据的实时性和可靠性。本发明提出的协议适配层，兼容多种协议类型，降低协议之间的耦合性，提高对协议的兼容性和灵活性；通过双集群部署方式，根据设备数量动态调整集群规模，提升了数据采集能力和可靠性。
-
公开(公告)号：CN118535206A
公开(公告)日：2024-08-23
申请号：CN202410347061.9
申请日：2024-03-26
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于配置的嵌入式软件外部仿真设备构建方法，属于嵌入式软件仿真测试技术领域。该方法通过定义软件接口协议和交互模型文档规范，配置软件接口协议文档和软件交互模型文档，构建请求数据帧解析器、命令帧应答器、响应数据帧编码器和命令帧记录器，实现基于接口的嵌入式软件外部设备输入、输出和交互行为仿真，支持测试数据采集、存储和分析。
-
-
-
-
-
-
-
-
-
Search Results
76
records
(took 0.04 seconds)
