-
公开(公告)号：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: 本发明涉及一种二进制应用程序兼容运行方法及装置，属于二进制翻译技术领域。本发明的装置包括：源平台二进制应用程序预处理模块、翻译模块、优化模块和目标平台二进制应用程序编译运行模块。源平台二进制应用程序预处理模块，用于对源平台二进制应用程序进行加载和解析；翻译模块，用于对解析后的二进制应用程序进行解码和翻译操作；优化模块，用于优化翻译和运行过程；目标平台二进制应用程序编译运行模块，用于编译运行翻译后的符合目标平台指令集架构的二进制应用程序。本发明的装置运行在目标平台上，能够实现源平台的二进制应用程序兼容运行，并通过多线程和进程上下文切换优化提高二进制应用程序兼容运行效率。
-
公开(公告)号：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提供了关键技术支撑。
-
公开(公告)号：CN119829020A
公开(公告)日：2025-04-15
申请号：CN202411688479.2
申请日：2024-11-25
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于容器化技术的图形化集成开发环境设计方法，属于软件开发领域。本发明通过容器化技术将开发工具及其相关依赖封装，确保开发环境的标准化、隔离性和可移植性，避免传统开发环境中的配置错误和版本冲突；利用X11协议将容器内的图形界面显示到宿主机屏幕上，确保开发工具与本地开发环境的使用体验一致；通过挂载技术实现宿主机与容器之间的文件无缝同步，避免手动复制和同步代码的麻烦；容器的启动、停止和重启操作简便，开发人员可灵活管理开发环境，并确保开发文件的持久性。本发明能有效提高开发人员在容器化环境中的工作效率。
-
公开(公告)号：CN119254677A
公开(公告)日：2025-01-03
申请号：CN202411430875.5
申请日：2024-10-14
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种复杂网络设备监控方法和系统，属于网络设备监控技术领域。本发明采用了分布式设备监控架构，将设备监控任务分布到多个节点上，通过负载均衡策略分配监控任务，确保系统的高可用性和扩展性；同时，由于协议适配层响应的数据是统一的数据模型的数据，在监控节点上即可对数据进行处理，清洗掉错误数据，转换为满足数据表需求的数据模型，并对采集到的数据进行分析，保存至数据库中，保证数据的实时性和可靠性。本发明提出的协议适配层，兼容多种协议类型，降低协议之间的耦合性，提高对协议的兼容性和灵活性；通过双集群部署方式，根据设备数量动态调整集群规模，提升了数据采集能力和可靠性。
-
Patent Agency Ranking
公开(公告)号：CN120066525A
公开(公告)日：2025-05-30
申请号：CN202510237283.X
申请日：2025-03-02
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种支持模型仿真的同步数据流语言翻译方法，属于代码生成领域。本发明在同步数据流翻译过程中对函数的输入输出结构进行修改，生成包含局部变量的上下文结构体，并对上下文结构体生成初始化函数。通过上述步骤，生成的代码能够实现对模型单个时钟周期内局部变量值的追踪，并提供输入输出变量的初始化功能。与传统方法生成的代码相比，本发明生成的代码能够在进行模型仿真时具备更高的便利性与可靠性。
-
公开(公告)号：CN120029667A
公开(公告)日：2025-05-23
申请号：CN202510187569.1
申请日：2025-02-20
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于PEG的AADL代码到图形多层次转换方法，属于嵌入式系统架构建模与分析领域。本发明定义PEG语法规则。该语法规则能够精确描述AADL语言的基本元素、递归结构以及语法优先级；构建AADL代码解析器；基于定义的PEG语法规则构建解析器，该解析器能够逐层解析AADL代码，识别各个设计元素，并在解析过程中捕获并反馈语法语义问题；生成多层次抽象语法树AST。AST能够明确表达AADL的节点构造、层次嵌套、属性映射以及元素关系。第四步，将多层次抽象语法树AST转换为图形化表达。通过图形化的方式，系统架构的各个层级被直观呈现。本发明能够清晰地呈现出不同设计元素之间的层次关系，便于设计人员和开发人员进行分析、理解和修改。
-
公开(公告)号：CN120010859A
公开(公告)日：2025-05-16
申请号：CN202510183346.8
申请日：2025-02-19
Applicant: 北京计算机技术及应用研究所
IPC: G06F8/41
Abstract: 本发明涉及一种基于Antlr的同步数据流模型语言解析方法，属于基于模型的软件开发工具领域。本发明可针对扩展标准同步数据流语言Lustre V6进行解析，并生成所需的抽象语法树，为后续对模型进行静态分析和形式化验证等功能提供基础。首先，需要对模型语言的特性进行分析，在标准Lustre V6文法规则上进行扩展，形成新的模型语言OnModel；根据扩展的文法规则实现OnModel对应的巴克斯范式，并基于Antlr构造对应的词法、语法分析器；根据巴克斯范式及后续对模型的分析需求，设计抽象语法树结构并完成抽象语法树的构造，后续在此抽象语法树的基础上可进行模型静态分析、模型形式化验证、代码生成及其他功能的开发和实现。
-
公开(公告)号：CN118916011A
公开(公告)日：2024-11-08
申请号：CN202411111184.9
申请日：2024-08-14
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于Eclipse插件进行代码远程构建的方法，属于代码远程构建技术领域。本发明的Eclipse插件包括：五个模块：设置模块、工程管理模块、私有依赖库管理模块、构建信息配置模块和构建执行及过程回显模块。本发明的Eclipse插件与代码远程构建系统配合使用，通过在本发明的Eclipse插件进行配置，实现在集成开发环境直接连接代码远程构建系统进行代码远程构建，不需要再切换到网页，能够简化操作，使开发过程更连贯，提高开发效率。
-
公开(公告)号：CN120066524A
公开(公告)日：2025-05-30
申请号：CN202510237269.X
申请日：2025-03-02
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种包含初始化函数的同步数据流语言翻译方法，属于代码生成领域。本发明通过调用同步数据流语言翻译工具L2C，为每个节点生成对应的上下文结构体后，设计了为上下文结构体生成初始化函数的方法，确保各返回值和相关上下文结构体在仿真过程中被正确初始化，避免未赋值指针引用的问题。最终，生成的初始化函数被加入翻译后的C语言代码中，以支持模型仿真。通过该方法，可以提高生成代码的可靠性，有效满足模型仿真需求。
-
-
-
-
-
-
-
-
-
Search Results
15
records
(took 0.031 seconds)
