“庞皓明”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

钻瓜专利网为您找到相关结果6个，建议您升级VIP下载更多相关专利

[发明专利]基于模型的可视化软件开发工具实现方法-CN202310084136.4有效
发明人：李浩宇;贾张涛;冯大成;张霄霄;张建伟;王磊;陶金龙;安恒;李雅斯;王云则;庞皓明;金玉川;孔祥炳;邵飒 -专利权人：北京计算机技术及应用研究所
申请日： 2023-01-16 - 公布日： 2023-09-26 - 主分类号： G06F8/33 文献下载
摘要：本发明涉及一种基于模型的可视化软件开发工具实现方法，属于软件系统领域。本发明提出一种基于模型的可视化软件开发工具OnModel，本发明的工具通过扩展Lustre语言、文法设计、元模型设计为模型元素提供理论支撑和约束；以Vue3作为基础开发框架，通过Antv/X6图形编辑器、qasar多功能框架、Electron多平台开发框架等纯前端工具实现建模元素和工具界面；之后生成模型所对应的Lustre代码作为中间语言文件；最后通过调用清华王生原老师团队工具L2C实现可运行C代码的生成。基于模型的软件开发方法对我国关键领域的软件开发具有重要意义，实现了从基于模型软件设计到可执行代码生成全过程。
基于模型可视化软件开发工具实现方法

[发明专利]基于扩展Lustre语言的模型度量方法-CN202310185399.4有效
发明人：张霄霄;冯大成;贾张涛;李浩宇;张建伟;王磊;陶金龙;安恒;李雅斯;王云则;庞皓明;金玉川;孔祥炳;邵飒 -专利权人：北京计算机技术及应用研究所
申请日： 2023-02-21 - 公布日： 2023-09-26 - 主分类号： G06F8/30 文献下载
摘要：本发明涉及一种基于扩展Lustre语言的模型度量方法，属于软件度量领域。本发明根据扩展Lustre语言设计了模型结构树，通过可视化建模可生成工程对应的模型结构树；设计了预定义的度量元，包括模型对象度量、操作符对象度量、包对象度量以及状态机对象度量等四个方面，并根据度量元设计了度量元数据字典；根据不同的度量元设计不同的度量值计算方式；在OnModel建模平台中成功增加了基于扩展Lustre语言的模型度量模块，并通过表格进行度量结果展示。本发明基于扩展Lustre语言结构进行模型度量，该方法根据扩展Lustre语言设计了模型结构树以及预定义的度量元，针对不同的度量元设计了不同的度量值计算方式，最终实现了在OnModel建模平台中应用模型度量，并展示度量结果。
基于扩展 lustre 语言模型度量方法

[发明专利]一种基于Drools规则引擎的配置管理变更控制方法-CN202310403946.1在审
发明人：耿宏伟;刘文波;冯大成;贾张涛;张倩;安恒;张建伟;曾祥勇;刘岩;杜鑫龙;邵飒;王磊;勉斌;夏冰;朱朝宁;郭含章;庞皓明;李雅斯 -专利权人：北京计算机技术及应用研究所
申请日： 2023-04-17 - 公布日： 2023-07-11 - 主分类号： G06F8/71 文献下载
摘要：本发明涉及一种基于Drools规则引擎的配置管理变更控制方法，属于软件工程领域。本发明首先，基于Drools规则定义出多套组织级配置管理变更控制的规则；然后，在项目内配置管理计划中，根据项目研制特征，灵活选择合适的组织级配置管理变更控制规则；最后，受控库中配置项依据配置管理计划中所选择的规则，来控制配置项的变更流程。本发明通过Drools可快速解决配置项变更规则的定义，实现线上不停服务器的个性化配置使用，减少停服再启动的人工操作成本，整个过程中降低了配置项变更控制的管理成本，提高了变更效率。
一种基于 drools 规则引擎配置管理变更控制方法

[发明专利]基于扩展Lustre语言的模型形式化验证方法-CN202310066963.0在审
发明人：张霄霄;冯大成;贾张涛;李浩宇;张建伟;王磊;陶金龙;安恒;李雅斯;王云则;庞皓明;金玉川;孔祥炳;邵飒 -专利权人：北京计算机技术及应用研究所
申请日： 2023-01-16 - 公布日： 2023-05-23 - 主分类号： G06F11/36 文献下载
摘要：本发明涉及一种基于扩展Lustre语言的模型形式化验证方法，属于代码溯源领域。本发明通过构建抽象语法树，遍历语法树提取数据模型同时完成语言转换，根据数据模型规则检查通过后，将转换后的模型和属性输入Kind2工具进行属性的形式化验证；通过构建抽象语法树，可将扩展Lustre模型和属性转换为易访问的树型结构，同时完成扩展Lustre模型和属性的语法语义检查；遍历抽象语法树抽取中间模型的同时可完成语言转换；通过语言转换模块可将扩展Lustre语言模型转换为Kind2工具识别的语言格式，从而复用现有成熟的Kind2模型检测器实现形式化验证。该方法主要是利用模型转换方法完成扩展Lustre模型的规则检查和语言转换，从而将扩展Lustre语言的模型形式化验证方法应用于自研OnModel工具。
基于扩展 lustre 语言模型形式化验证方法

[发明专利]基于XML的扩展Lustre代码生成方法-CN202310142370.8在审
发明人：李浩宇;贾张涛;冯大成;张霄霄;张建伟;王磊;陶金龙;安恒;李雅斯;王云则;庞皓明;金玉川;孔祥炳;邵飒 -专利权人：北京计算机技术及应用研究所
申请日： 2023-02-21 - 公布日： 2023-05-16 - 主分类号： G06F8/30 文献下载
摘要：本发明涉及一种基于XML的扩展Lustre代码生成方法，属于软件开发工具领域。本发明首先对扩展Lustre语言文法规则进行模块拆解，实现文法中关键词的解耦；定义模型持久化文件中的标签与扩展Lustre语言之间的映射关系；通过调用jdom2工具对模型持久化文件中的标签结构进行读取遍历，并按照文法关键词解耦结果设计对应的标签解析规则；按照解析规则将解析得到的标签生成对应扩展Lustre关键词，最终完成对整个模型持久化文件到扩展Lustre语言的代码生成过程。本发明为航天领域基于模型的软件开发工具开发过程中模型代码生成这一关键环节提供解决办法。
基于 xml 扩展 lustre 代码生成方法

[发明专利]基于多隐层极限学习机的中文文本分类方法-CN201710665695.9在审
发明人： 庞皓明;冀俊忠 -专利权人：北京工业大学
申请日： 2017-08-07 - 公布日： 2017-12-08 - 主分类号： G06F17/30 文献下载
摘要：本发明公开了基于多隐层极限学习机的中文文本分类方法，将正则化极限学习机模型应用到中文文本分类问题中，使用多隐层极限学习机模型对文本进行分类。使用复旦大学中文语料库作为文本分类的训练集和测试集；对文本数据进行预处理等操作，包括统一编码方式、切词和去除停用词、符号、数字等；使用空间向量模型对文本进行表示，将数据集转换成文本矩阵；使用多隐层极限学习机对文本进行分类，其中包括文本降维、特征映射和文本分类。文本降维将高维文本数据转换成可以进行计算的低维文本数据。使用多隐层极限学习机的多隐层结果对文本的特征进行映射，进行高层特征表示。使用多隐层极限学习机中的正则化极限学习机对文本进行分类。
基于多隐层极限学习机中文文本分类方法