-
公开(公告)号：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文档文本内容进行涉密词检测和溯源，实现了多种电子文档涉密等级自动检测；支持密级检测结果追溯和确认。通过分页提取电子文档文本进行密级检测，实现了涉密词按文档页号，以及起始字符和结束字符序号定位，支持电子文档密级检测结果的追溯和确认；具备较高的涉密词检测效率。通过构建涉密词前缀树，并基于涉密词前缀树进行涉密词匹配，可以有效减少涉密词比对次数，从而提高电子文档涉密词检测效率。
-
公开(公告)号：CN116149624B
公开(公告)日：2023-09-26
申请号：CN202310185399.4
申请日：2023-02-21
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于扩展Lustre语言的模型度量方法，属于软件度量领域。本发明根据扩展Lustre语言设计了模型结构树，通过可视化建模可生成工程对应的模型结构树；设计了预定义的度量元，包括模型对象度量、操作符对象度量、包对象度量以及状态机对象度量等四个方面，并根据度量元设计了度量元数据字典；根据不同的度量元设计不同的度量值计算方式；在OnModel建模平台中成功增加了基于扩展Lustre语言的模型度量模块，并通过表格进行度量结果展示。本发明基于扩展Lustre语言结构进行模型度量，该方法根据扩展Lustre语言设计了模型结构树以及预定义的度量元，针对不同的度量元设计了不同的度量值计算方式，最终实现了在OnModel建模平台中应用模型度量，并展示度量结果。
-
公开(公告)号：CN115964033B
公开(公告)日：2023-09-26
申请号：CN202310084136.4
申请日：2023-01-16
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于模型的可视化软件开发工具实现方法，属于软件系统领域。本发明提出一种基于模型的可视化软件开发工具OnModel，本发明的工具通过扩展Lustre语言、文法设计、元模型设计为模型元素提供理论支撑和约束；以Vue3作为基础开发框架，通过Antv/X6图形编辑器、qasar多功能框架、Electron多平台开发框架等纯前端工具实现建模元素和工具界面；之后生成模型所对应的Lustre代码作为中间语言文件；最后通过调用清华王生原老师团队工具L2C实现可运行C代码的生成。基于模型的软件开发方法对我国关键领域的软件开发具有重要意义，实现了从基于模型软件设计到可执行代码生成全过程。
-
公开(公告)号：CN116150005A
公开(公告)日：2023-05-23
申请号：CN202310066963.0
申请日：2023-01-16
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种基于扩展Lustre语言的模型形式化验证方法，属于代码溯源领域。本发明通过构建抽象语法树，遍历语法树提取数据模型同时完成语言转换，根据数据模型规则检查通过后，将转换后的模型和属性输入Kind2工具进行属性的形式化验证；通过构建抽象语法树，可将扩展Lustre模型和属性转换为易访问的树型结构，同时完成扩展Lustre模型和属性的语法语义检查；遍历抽象语法树抽取中间模型的同时可完成语言转换；通过语言转换模块可将扩展Lustre语言模型转换为Kind2工具识别的语言格式，从而复用现有成熟的Kind2模型检测器实现形式化验证。该方法主要是利用模型转换方法完成扩展Lustre模型的规则检查和语言转换，从而将扩展Lustre语言的模型形式化验证方法应用于自研OnModel工具。
-
公开(公告)号：CN120029620A
公开(公告)日：2025-05-23
申请号：CN202510187515.5
申请日：2025-02-20
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于OpenGL的嵌入式人机界面代码生成方法，属于代码自动生成领域。本发明onModel工具中的人机界面代码模型存储为XML格式的文件，本发明提供将模型文件自动生成C代码的一种方法，包括：使用XML解析器对文件进行解析，将模型数据划分成不同模块；根据不同模块数据，调用代码生成函数，生成代码；调用适配层接口，完成代码生成。本发明的生成方法能够将onModel工具中的人机界面模型生成基于OpenGL的图形渲染C代码。由于OpenGL具有跨平台特性，因此，生成的C代码能够应用到任意目标平台，减少代码重复性编写。
-
Patent Agency Ranking
公开(公告)号：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模型元素逐一转换为抽象层中对应的元素，生成平台无关的抽象层模板代码。本发明提高了代码生成的扩展性和灵活性。
-
公开(公告)号：CN119597276A
公开(公告)日：2025-03-11
申请号：CN202411499068.9
申请日：2024-10-25
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种结合8114准则的同步数据流语言可信翻译方法，属于代码生成领域。本发明通过对Lustre源代码词法、语法分析和翻译等步骤获取Ctemp中间语言的抽象语法树；遍历Ctemp抽象语法树，针对树结构中的语句中控制流语句、赋值语句设计翻译方法；遍历语句中的表达式，设计添加强制转化的翻译方法，确保语句在语义正确的同时，不存在隐式类型转化；扩展了关于Cltype中类型关系的定理，用于验证类型操作；扩展关于Ctemp语义的强制转化和二元操作的定理，实现语义形式化验证。本发明大幅度提升代码生成工具所生成的C代码对GJB 8114规范的满足性。
-
公开(公告)号：CN119440514A
公开(公告)日：2025-02-14
申请号：CN202411498655.6
申请日：2024-10-25
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于AADL模型的嵌入式操作系统平台相关代码生成方法，属于自动代码生成领域。本发明通过编写算法实现对AADL模型进行遍历获取、解析，设计从AADL模型到嵌入式操作系统代码的映射规则，将模型中所述组件、接口、性能属性及组件间连接信息自动转换为嵌入式操作系统平台代码。本发明的方法不仅能够自动生成代码，降低人工编写的复杂度和不确定性，还能提高代码的可靠性和平台适配性，为航天领域嵌入式系统的开发提供了一个强有力的工具。
-
公开(公告)号：CN118916012A
公开(公告)日：2024-11-08
申请号：CN202411231578.8
申请日：2024-09-04
Applicant: 北京计算机技术及应用研究所
IPC: G06F8/30
Abstract: 本发明涉及一种基于XML的Lustre代码在线生成工具设计方法，属于代码在线生成领域。本发明首先解析Lustre文法规则并与XML文件中的标签进行关系映射，通过调用jdom2库构建基于XML的语法解析器；参照Lustre文法规则对工具的功能模块进行划分，基于SpringBoot框架进行架构设计，根据功能的不同划分接口；定义与前端工具的数据交互格式方式，包括端口、请求方式、输入输出和文件格式等内容，保证对提交到后端的请求及时并正确响应，生成对应的Lustre代码。本发明可以完成基于XML的Lustre代码在线生成工具Xml2Lustre的开发工作，为OnModel工具功能的实现提供支撑并优化性能。
-
公开(公告)号：CN116126304B
公开(公告)日：2023-12-22
申请号：CN202310142370.8
申请日：2023-02-21
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于XML的扩展Lustre代码生成方法，属于软件开发工具领域。本发明首先对扩展Lustre语言文法规则进行模块拆解，实现文法中关键词的解耦；定义模型持久化文件中的标签与扩展Lustre语言之间的映射关系；通过调用jdom2工具对模型持久化文件中的标签结构进行读取遍历，并按照文法关键词解耦结果设计对应的标签解析规则；按照解析规则将解析得到的标签生成对应扩展Lustre关键词，最终完成对整个模型持久化文件到扩展Lustre语言的代码生成过程。本发明为航天领域基于模型的软件开发工具开发过程中模型代码生成这一关键环节提供解决办法。
-
-
-
-
-
-
-
-
-
Search Results
24
records
(took 0.053 seconds)
