-
公开(公告)号：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提供了关键技术支撑。
-
公开(公告)号：CN116089910B
公开(公告)日：2023-10-20
申请号：CN202310120266.9
申请日：2023-02-16
Applicant: 北京计算机技术及应用研究所
IPC: G06F21/10 , G06F40/114 , G06F40/284 , G06F40/242
Abstract: 本发明涉及一种支持多种格式电子文档的密级检测方法，属于电子文档密级检测技术领域。本发明的方法通过直接对待测文档进行检测分析得到密级检测结果，定密责任人无需对文档全部内容进行审核，只需对基于本发明得到的检测结果进行复核便可得到文档的最后密级，能够减轻检查全部文本内容的工作负担，提升定密过程的效率；敏感词匹配过程通过模型自动检测，能够降低人工审核敏感词带来的不确定性，减少敏感词漏报情况。
-
公开(公告)号：CN116089910A
公开(公告)日：2023-05-09
申请号：CN202310120266.9
申请日：2023-02-16
Applicant: 北京计算机技术及应用研究所
IPC: G06F21/10 , G06F40/114 , G06F40/284 , G06F40/242
Abstract: 本发明涉及一种支持多种格式电子文档的密级检测方法，属于电子文档密级检测技术领域。本发明的方法通过直接对待测文档进行检测分析得到密级检测结果，定密责任人无需对文档全部内容进行审核，只需对基于本发明得到的检测结果进行复核便可得到文档的最后密级，能够减轻检查全部文本内容的工作负担，提升定密过程的效率；敏感词匹配过程通过模型自动检测，能够降低人工审核敏感词带来的不确定性，减少敏感词漏报情况。
-
公开(公告)号：CN114757163A
公开(公告)日：2022-07-15
申请号：CN202210356639.8
申请日：2022-03-31
Applicant: 北京计算机技术及应用研究所
IPC: G06F40/194 , G06F8/75
Abstract: 本发明涉及一种基于资源的PE文件相似性比对方法，属于软件二进制代码溯源分析技术领域。该比对方法通过PE文件解析，提取并比对PE文件中位图、图标、字符串等资源，完成了PE文件相似性比对和相似度计算。该方法主要是为Windows操作系统下可执行程序、动态链接库、ActiveX控件等PE格式二进制文件溯源提供技术手段，具有良好的鲁棒性、较高的准确性和可用性。
-
公开(公告)号：CN120029621A
公开(公告)日：2025-05-23
申请号：CN202510188318.5
申请日：2025-02-20
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于OpenGL的适配层实现方法，属于模型驱动系统工程领域。本发明适配层包含三部分功能：统一管理、计算优化和对外接口，统一管理包括资源、状态、错误管理；计算优化包括数学运算优化，曲线和多边形绘制优化；对外接口包括与onModel工具匹配的接口。本发明根据onModel工具提供的图元建立适配层，实现对OpenGL的封装，形成与onModel图元匹配的适配层。简化从图形界面生成C代码的过程，提高代码的可读性，为OnModel工具后续功能的实现提供支撑。
-
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格式二进制文件溯源提供技术手段，具有良好的鲁棒性、较高的准确性和可用性。
-
公开(公告)号：CN115017100A
公开(公告)日：2022-09-06
申请号：CN202210556356.8
申请日：2022-05-20
Applicant: 北京计算机技术及应用研究所
IPC: G06F16/13 , G06F16/14 , G06F16/182 , G06F8/75
Abstract: 本发明涉及一种基于ElasticSearch搜索引擎的软件代码溯源方法，属于软件代码溯源技术领域。该代码溯源方法通过设计索引，代码特征提取，构建起代码特征索引库，为代码溯源提供溯源样本库；通过代码特征提取，代码特征搜索比对和代码相似度计算，完成软件代码溯源。该方法主要是利用ElasticSearch搜索引擎强大的索引和实时搜索能力，以代码文件为单位，在海量软件样本库中快速溯源相似代码，并计算代码相似度，提高代码相似性比对效率，解决海量数据条件下代码快速溯源问题。
-
公开(公告)号：CN114995831A
公开(公告)日：2022-09-02
申请号：CN202210639305.1
申请日：2022-06-07
Applicant: 北京计算机技术及应用研究所
IPC: G06F8/52
Abstract: 本发明涉及一种基于动态链接符号表的ELF文件相似性比对方法，属于软件二进制代码溯源分析技术领域。该比对方法通过ELF文件解析，提取并比对ELF文件动态链接符号表，完成了ELF文件相似性比对和相似度计算。该方法主要是为Unix/Linux操作系统下可执行文件、目标代码、共享库等ELF文件溯源提供技术手段，具有良好的鲁棒性、较高的准确性和比对效率，同时兼容32位和64位ELF文件。
-
公开(公告)号：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构造对应的词法、语法分析器；根据巴克斯范式及后续对模型的分析需求，设计抽象语法树结构并完成抽象语法树的构造，后续在此抽象语法树的基础上可进行模型静态分析、模型形式化验证、代码生成及其他功能的开发和实现。
-
-
-
-
-
-
-
-
-
Search Results
24
records
(took 0.049 seconds)
