-
公开(公告)号：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模型元素逐一转换为抽象层中对应的元素，生成平台无关的抽象层模板代码。本发明提高了代码生成的扩展性和灵活性。
-
公开(公告)号：CN116414442B
公开(公告)日：2023-12-22
申请号：CN202310403946.1
申请日：2023-04-17
Applicant: 北京计算机技术及应用研究所
Inventor： 耿宏伟 , 刘文波 , 冯大成 , 贾张涛 , 张倩 , 安恒 , 张建伟 , 曾祥勇 , 刘岩 , 杜鑫龙 , 邵飒 , 王磊 , 勉斌 , 夏冰 , 朱朝宁 , 郭含章 , 庞皓明 , 李雅斯
Abstract: 本发明涉及一种基于Drools规则引擎的配置管理变更控制方法，属于软件工程领域。本发明首先，基于Drools规则定义出多套组织级配置管理变更控制的规则；然后，在项目内配置管理计划中，根据项目研制特征，灵活选择合适的组织级配置管理变更控制规则；最后，受控库中配置项依据配置管理计划中所选择的规则，来控制配置项的变更流程。本发明通过Drools可快速解决配置项变更规则的定义，实现线上不停服务器的个性化配置使用，减少停服再启动的人工操作成本，整个过程中降低了配置项变更控制的管理成本，提高了变更效率。
-
公开(公告)号：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构造对应的词法、语法分析器；根据巴克斯范式及后续对模型的分析需求，设计抽象语法树结构并完成抽象语法树的构造，后续在此抽象语法树的基础上可进行模型静态分析、模型形式化验证、代码生成及其他功能的开发和实现。
-
Patent Agency Ranking
公开(公告)号：CN116414430A
公开(公告)日：2023-07-11
申请号：CN202310404013.4
申请日：2023-04-17
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于规则引擎Drools的量化方法，属于面向软件研制过程中的量化管理领域。本发明首先执行基础平台的持续集成业务，依据Drools定义的采集指标收集持续集成各个环节产生的业务数据；其次采集接口运行规则文件，根据规则内容计算产生数据结果；最后业务数据的累计作为量化分析管理的基础，量化过程中可随数据的积累而不断迭代更新，以便高质量地实现质量与过程绩效目标。本发明通过Drools解决了业务维护困难，迭代成本高的问题。相比于其他量化方法，该发明更加灵活高效，同时具备高质量的过程管理方式，针对过程绩效目标地实现具备良好的管控方法。
-
公开(公告)号：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提供了关键技术支撑。
-
公开(公告)号：CN116414430B
公开(公告)日：2023-09-26
申请号：CN202310404013.4
申请日：2023-04-17
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于规则引擎Drools的量化方法，属于面向软件研制过程中的量化管理领域。本发明首先执行基础平台的持续集成业务，依据Drools定义的采集指标收集持续集成各个环节产生的业务数据；其次采集接口运行规则文件，根据规则内容计算产生数据结果；最后业务数据的累计作为量化分析管理的基础，量化过程中可随数据的积累而不断迭代更新，以便高质量地实现质量与过程绩效目标。本发明通过Drools解决了业务维护困难，迭代成本高的问题。相比于其他量化方法，该发明更加灵活高效，同时具备高质量的过程管理方式，针对过程绩效目标地实现具备良好的管控方法。
-
公开(公告)号：CN116414442A
公开(公告)日：2023-07-11
申请号：CN202310403946.1
申请日：2023-04-17
Applicant: 北京计算机技术及应用研究所
Inventor： 耿宏伟 , 刘文波 , 冯大成 , 贾张涛 , 张倩 , 安恒 , 张建伟 , 曾祥勇 , 刘岩 , 杜鑫龙 , 邵飒 , 王磊 , 勉斌 , 夏冰 , 朱朝宁 , 郭含章 , 庞皓明 , 李雅斯
Abstract: 本发明涉及一种基于Drools规则引擎的配置管理变更控制方法，属于软件工程领域。本发明首先，基于Drools规则定义出多套组织级配置管理变更控制的规则；然后，在项目内配置管理计划中，根据项目研制特征，灵活选择合适的组织级配置管理变更控制规则；最后，受控库中配置项依据配置管理计划中所选择的规则，来控制配置项的变更流程。本发明通过Drools可快速解决配置项变更规则的定义，实现线上不停服务器的个性化配置使用，减少停服再启动的人工操作成本，整个过程中降低了配置项变更控制的管理成本，提高了变更效率。
-
公开(公告)号：CN120029621A
公开(公告)日：2025-05-23
申请号：CN202510188318.5
申请日：2025-02-20
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于OpenGL的适配层实现方法，属于模型驱动系统工程领域。本发明适配层包含三部分功能：统一管理、计算优化和对外接口，统一管理包括资源、状态、错误管理；计算优化包括数学运算优化，曲线和多边形绘制优化；对外接口包括与onModel工具匹配的接口。本发明根据onModel工具提供的图元建立适配层，实现对OpenGL的封装，形成与onModel图元匹配的适配层。简化从图形界面生成C代码的过程，提高代码的可读性，为OnModel工具后续功能的实现提供支撑。
-
-
-
-
-
-
-
-
-
Search Results
10
records
(took 0.047 seconds)
