-
公开(公告)号：CN120029621A
公开(公告)日：2025-05-23
申请号：CN202510188318.5
申请日：2025-02-20
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于OpenGL的适配层实现方法，属于模型驱动系统工程领域。本发明适配层包含三部分功能：统一管理、计算优化和对外接口，统一管理包括资源、状态、错误管理；计算优化包括数学运算优化，曲线和多边形绘制优化；对外接口包括与onModel工具匹配的接口。本发明根据onModel工具提供的图元建立适配层，实现对OpenGL的封装，形成与onModel图元匹配的适配层。简化从图形界面生成C代码的过程，提高代码的可读性，为OnModel工具后续功能的实现提供支撑。
-
公开(公告)号：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构造对应的词法、语法分析器；根据巴克斯范式及后续对模型的分析需求，设计抽象语法树结构并完成抽象语法树的构造，后续在此抽象语法树的基础上可进行模型静态分析、模型形式化验证、代码生成及其他功能的开发和实现。
-
公开(公告)号：CN116911291A
公开(公告)日：2023-10-20
申请号：CN202310856953.7
申请日：2023-07-13
Applicant: 北京计算机技术及应用研究所
IPC: G06F40/284 , G06F40/151 , G06F16/35 , G06F21/62
Abstract: 本发明涉及一种电子文档涉密等级自动检测系统，属于信息安全技术领域。本发明支持多种电子文档涉密等级自动检测。通过电子文档转换，能够将MSOffice电子文档、OpenOffice电子文档、WPS电子文档等多种类型电子文档转换成PDF文档，然后提取自动提取PDF文档文本内容进行涉密词检测和溯源，实现了多种电子文档涉密等级自动检测；支持密级检测结果追溯和确认。通过分页提取电子文档文本进行密级检测，实现了涉密词按文档页号，以及起始字符和结束字符序号定位，支持电子文档密级检测结果的追溯和确认；具备较高的涉密词检测效率。通过构建涉密词前缀树，并基于涉密词前缀树进行涉密词匹配，可以有效减少涉密词比对次数，从而提高电子文档涉密词检测效率。
-
公开(公告)号：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提供了关键技术支撑。
-
Patent Agency Ranking
公开(公告)号：CN117271323A
公开(公告)日：2023-12-22
申请号：CN202311199490.8
申请日：2023-09-18
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种基于配置的嵌入式软件接口数据帧解析方法，属于嵌入式软件接口测试技术领域。本发明支持丰富的字段类型。通过提供9种简单字段和5种复合字段类型定义，可以基本覆盖接口协议配置需求；支持复杂结构接口协议配置和处理。通过提供定长数组、变长数组、字段集合、比特集合、通信命令等字段类型，支持变长和嵌套等复杂结构通信命令帧配置和自动解析；具有良好的通用性和适用性。通过XML文件描述接口协议，解耦了具体接口协议和接口数据帧解析过程，增强了接口数据帧解析方法的通用性和适应性。
-
公开(公告)号：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: 本发明涉及一种支持多种格式电子文档的密级检测方法，属于电子文档密级检测技术领域。本发明的方法通过直接对待测文档进行检测分析得到密级检测结果，定密责任人无需对文档全部内容进行审核，只需对基于本发明得到的检测结果进行复核便可得到文档的最后密级，能够减轻检查全部文本内容的工作负担，提升定密过程的效率；敏感词匹配过程通过模型自动检测，能够降低人工审核敏感词带来的不确定性，减少敏感词漏报情况。
-
公开(公告)号：CN120029620A
公开(公告)日：2025-05-23
申请号：CN202510187515.5
申请日：2025-02-20
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于OpenGL的嵌入式人机界面代码生成方法，属于代码自动生成领域。本发明onModel工具中的人机界面代码模型存储为XML格式的文件，本发明提供将模型文件自动生成C代码的一种方法，包括：使用XML解析器对文件进行解析，将模型数据划分成不同模块；根据不同模块数据，调用代码生成函数，生成代码；调用适配层接口，完成代码生成。本发明的生成方法能够将onModel工具中的人机界面模型生成基于OpenGL的图形渲染C代码。由于OpenGL具有跨平台特性，因此，生成的C代码能够应用到任意目标平台，减少代码重复性编写。
-
公开(公告)号：CN120029615A
公开(公告)日：2025-05-23
申请号：CN202510187633.6
申请日：2025-02-20
Applicant: 北京计算机技术及应用研究所
IPC: G06F8/35 , G06F8/36 , G06F8/72 , G06F8/76 , G05B19/042
Abstract: 本发明涉及一种基于模版的AADL平台无关代码生成方法，属于自动代码生成领域。本发明解析器读取AADL模型，提取其中描述的模型元素，包括：系统架构、组件信息、组件间连接以及相关属性，为后续的映射步骤提供必要的数据支持；根据AADL模型和平台无关抽象层的结构与需求，定义两者之间的映射关系；具体包括将AADL模型中涉及的组件类型、连接关系及相关属性与抽象层中对应的元素匹配，以确保抽象层能够完整描述AADL模型的功能及结构；根据第二步中制定的映射规则，将解析出的AADL模型元素逐一转换为抽象层中对应的元素，生成平台无关的抽象层模板代码。本发明提高了代码生成的扩展性和灵活性。
-
-
-
-
-
-
-
-
-
Search Results
14
records
(took 0.035 seconds)
