-
公开(公告)号：CN118012574A
公开(公告)日：2024-05-10
申请号：CN202410245601.2
申请日：2024-03-05
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种私有云平台下虚拟机使用情况分级方法，属于云计算领域。本发明在虚拟机中部署虚拟机监控服务代理，实时采集并处理鼠标、键盘等用户IO数据，精确判定虚拟机使用情况；对于用户IO操作少的场景，无法采集到用户IO数据的虚拟机，可通过服务代理采集虚拟机中进程的CPU、网络利用率等数据，利用经训练的深度学习算法进行分析，从而给出虚拟机使用情况结果。最终基于上述两种方式结合虚拟机的开关机状态，综合判断后给出虚拟机使用情况的分级结果。本发明可在私有云环境中无计费模式下实现对虚拟机使用情况的监控，对后续的资源监管和分配决策提供支持，提高私有云中计算资源的利用率。
-
公开(公告)号：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构造对应的词法、语法分析器；根据巴克斯范式及后续对模型的分析需求，设计抽象语法树结构并完成抽象语法树的构造，后续在此抽象语法树的基础上可进行模型静态分析、模型形式化验证、代码生成及其他功能的开发和实现。
-
公开(公告)号：CN118012574B
公开(公告)日：2024-08-13
申请号：CN202410245601.2
申请日：2024-03-05
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种私有云平台下虚拟机使用情况分级方法，属于云计算领域。本发明在虚拟机中部署虚拟机监控服务代理，实时采集并处理鼠标、键盘等用户IO数据，精确判定虚拟机使用情况；对于用户IO操作少的场景，无法采集到用户IO数据的虚拟机，可通过服务代理采集虚拟机中进程的CPU、网络利用率等数据，利用经训练的深度学习算法进行分析，从而给出虚拟机使用情况结果。最终基于上述两种方式结合虚拟机的开关机状态，综合判断后给出虚拟机使用情况的分级结果。本发明可在私有云环境中无计费模式下实现对虚拟机使用情况的监控，对后续的资源监管和分配决策提供支持，提高私有云中计算资源的利用率。
-
Patent Agency Ranking
公开(公告)号：CN118051339A
公开(公告)日：2024-05-17
申请号：CN202410245699.1
申请日：2024-03-05
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种用于云平台的智能化测试工具浮动许可管理系统和方法，属于云计算领域。本发明提出介于云平台中各用户机上的测试工具与其对应的浮动许可服务器之间搭建中间平台，实时监控测试工具的运行状态并进行智能许可回收；收集和分析测试工具所运行的代码规模等数据并进行学习，预测许可分发给测试工具的时间并智能分配许可；并支持生成报告与集成了许可类型、许可数量、资源占用情况，测试工具等的看板功能。本发明的方法将传统的浮动许可服务器与用户之间加入中间平台以达到监控浮动分发情况和测试工具使用情况，优化许可证管理和业务决策；智能回收与分配许可，充分利用了空闲资源，可达到无人值守的效果。
-
公开(公告)号：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提供了关键技术支撑。
-
公开(公告)号：CN115757092A
公开(公告)日：2023-03-07
申请号：CN202211295067.3
申请日：2022-10-21
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种基于二进制文件符号表的应用软件兼容性检测方法，属于测试技术领域。本发明解析二进制引用文件的符号表，获取应用软件的引用符号，通过引入中介模块，并对原生的应用软件二进制文件引用符号表进行改造，生成新的二进制文件，在软件进行动态测试时通过中介模块捕获引用符号调用记录，形成比对基准,并基于该比对基准对应用程序与其他版本的操作系统的兼容性做出检测判定。本发明可判定应用软件与操作系统的库包兼容性的功能，为用户提供基于静态测试应用软件与操作系统库包兼容性的可靠测试手段。
-
公开(公告)号：CN114757163A
公开(公告)日：2022-07-15
申请号：CN202210356639.8
申请日：2022-03-31
Applicant: 北京计算机技术及应用研究所
IPC: G06F40/194 , G06F8/75
Abstract: 本发明涉及一种基于资源的PE文件相似性比对方法，属于软件二进制代码溯源分析技术领域。该比对方法通过PE文件解析，提取并比对PE文件中位图、图标、字符串等资源，完成了PE文件相似性比对和相似度计算。该方法主要是为Windows操作系统下可执行程序、动态链接库、ActiveX控件等PE格式二进制文件溯源提供技术手段，具有良好的鲁棒性、较高的准确性和可用性。
-
公开(公告)号：CN120029620A
公开(公告)日：2025-05-23
申请号：CN202510187515.5
申请日：2025-02-20
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于OpenGL的嵌入式人机界面代码生成方法，属于代码自动生成领域。本发明onModel工具中的人机界面代码模型存储为XML格式的文件，本发明提供将模型文件自动生成C代码的一种方法，包括：使用XML解析器对文件进行解析，将模型数据划分成不同模块；根据不同模块数据，调用代码生成函数，生成代码；调用适配层接口，完成代码生成。本发明的生成方法能够将onModel工具中的人机界面模型生成基于OpenGL的图形渲染C代码。由于OpenGL具有跨平台特性，因此，生成的C代码能够应用到任意目标平台，减少代码重复性编写。
-
-
-
-
-
-
-
-
-
Search Results
13
records
(took 0.06 seconds)
