-
公开(公告)号:CN120066735A
公开(公告)日:2025-05-30
申请号:CN202510237271.7
申请日:2025-03-02
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于大规模并行处理加速报表生成的方法,属于报表生成、大数据技术领域。本发明通过报表请求解析模块、多线程动态调度模块、大规模并行处理及计算数据批处理模块实现一种报表快速生成方法,通过将多个计算公式经业务分类、整理压缩为较少的复杂计算公式、多线程动态调度充分利用服务器资源、大规模并行处理及计算结果批量一次性写入方法提升报表生成的效率。本发明将海量的报表计算公式经业务分类、整理压缩为较少的计算公式、多线程动态调度充分利用服务器资源、并行处理技术及计算结果批量一次性写入,实现在海量数据中快速生成报表。
-
公开(公告)号:CN120066525A
公开(公告)日:2025-05-30
申请号:CN202510237283.X
申请日:2025-03-02
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种支持模型仿真的同步数据流语言翻译方法,属于代码生成领域。本发明在同步数据流翻译过程中对函数的输入输出结构进行修改,生成包含局部变量的上下文结构体,并对上下文结构体生成初始化函数。通过上述步骤,生成的代码能够实现对模型单个时钟周期内局部变量值的追踪,并提供输入输出变量的初始化功能。与传统方法生成的代码相比,本发明生成的代码能够在进行模型仿真时具备更高的便利性与可靠性。
-
公开(公告)号:CN120045806A
公开(公告)日:2025-05-27
申请号:CN202411952612.0
申请日:2024-12-27
Applicant: 北京计算机技术及应用研究所
IPC: G06F16/958 , G06F8/36
Abstract: 本发明涉及一种基于模板化的高可扩展门户系统,属于计算机软件领域。本发明的系统包括:存储模块、管理模块、设计模块和展示模块;存储模块:为上层管理模块提供基础的数据存储服务和缓存支撑;管理模块:依赖底层的存储服务,提供模板数据模型、样式模板管理、数据源管理、页面管理、业务组件管理功能;设计模块:包括模板设计模块和页面设计模块;展示模块:获取已设计好的门户页面,并通过浏览器渲染和展示。本发明提供了更加灵活、清晰的分层结构,实现了业务组件、样式模板、业务数据3者之间的解耦,支持灵活的自定义配置和组合,满足高可扩展性。
-
公开(公告)号:CN120045130A
公开(公告)日:2025-05-27
申请号:CN202510042452.4
申请日:2025-01-10
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种用于资金交易分析的图数据存储、处理优化方法,属于图数据处理技术领域。本发明引入了名为E‑finance Chunk的块图处理模型,这是一种设计用于SSD硬盘上提升大规模图数据I/O效率的处理系统。E‑finance Chunk引入了一种新的基于块的图表示模型,具有分类和分层的顶点存储和高效的块布局优化特性。经过实验室测试,E‑finance Chunk块图在大规模资金交易网络分析中优于现有的外部图系统,以及依赖于通用缓存系统的内存图系统。
-
公开(公告)号: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构造对应的词法、语法分析器;根据巴克斯范式及后续对模型的分析需求,设计抽象语法树结构并完成抽象语法树的构造,后续在此抽象语法树的基础上可进行模型静态分析、模型形式化验证、代码生成及其他功能的开发和实现。
-
公开(公告)号:CN119945759A
公开(公告)日:2025-05-06
申请号:CN202510048740.0
申请日:2025-01-13
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于状态转移感知的漏洞挖掘策略引导方法,属于网络安全技术领域。本发明通过状态转移感知矩阵和最优状态遍历路径(OSPT)技术,优化网络协议模糊测试过程中的种子选择和测试用例分发方法,提高漏洞挖掘的效率和覆盖率。该方法通过对待测网络协议进行分析,通过中国邮路问题(DCPP)从网络协议状态机中提取最优状态遍历路径,并构建状态转移感知矩阵记录每个测试用例对协议状态覆盖的贡献程度,进而优化种子的选取以及测试用例的分发过程。
-
公开(公告)号:CN119945730A
公开(公告)日:2025-05-06
申请号:CN202411928985.4
申请日:2024-12-25
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种用户访问Kubernetes集群的安全认证授权系统,属于计算机安全领域。本发明设计适用于用户远程访问场景的安全策略,在网络策略上对Kubernetes集群访问进行传输加密和反向代理防护,在身份策略上外部用户访问Kubernetes集群需要进行持续的身份认证和权限验证,以确保安全性;依靠Keycloak来实现可靠的认证授权机制,配合每个应用的身份代理实现应用级的细粒度认证授权。本发明能够为企业建设的Kubernetes集群基础设施提供生产级别的身份认证授权机制,实现企业内部各应用系统级的细粒度安全访问控制。
-
公开(公告)号:CN119940534A
公开(公告)日:2025-05-06
申请号:CN202411956954.X
申请日:2024-12-29
Applicant: 北京计算机技术及应用研究所
IPC: G06N5/04 , G06N3/0475 , G06N3/045 , G06N3/08 , G06F40/284
Abstract: 本发明涉及一种面向特定领域的隐喻文本生成方法,属于网络空间安全技术领域。本发明利用先进的自然语言处理技术,实现隐喻策略的自动化定制和隐喻文本的个性化生成,其中,首先,针对特定领域不同场景下的隐喻关键词进行搜集和扩充,基于大语言模型和Prompt生成含有隐喻信息的多类别场景;其次,结合多类别场景,在概念隐喻类型和隐喻表达式统计表研究的约束下,基于大语言模型和Prompt对隐喻场景和隐喻策略进行推理,形成隐喻策略集;进而,基于场景集合和隐喻策略集完成相关隐喻文本内容的生成;基于生成的特定领域隐喻文本数据集,对通用大语言模型进行有效微调,使其生成的文本内容容易理解,实现了针对特定领域的自动化和个性化隐喻文本生成。
-
公开(公告)号:CN114881032B
公开(公告)日:2025-05-06
申请号:CN202210462583.4
申请日:2022-04-28
Applicant: 北京计算机技术及应用研究所
IPC: G06F40/295 , G06F16/35 , G06N3/045 , G06N3/096 , G06N3/09
Abstract: 本发明涉及一种基于多任务学习的层次类别命名实体识别模型设计方法,属于自然语言处理技术领域。本发明通过在命名实体识别模型中加入对于类别关系的建模,使得模型能够同时识别出命名实体的多个类别,同时,本发明提出了基于多任务学习的模型来解决具有层次类别的命名实体识别问题。模型使用多任务学习机制同时学习多个层次的命名实体识别任务,这些任务共享同一个编码层,这样可以使得编码层学习到的编码向量可以同时适应多个层次的命名实体识别而不是过拟合于某一个单独的层次。最后,还分别设计了两种信息传递机制传递不同层次间的识别信息,以提高模型的识别效果。
-
-
-
-
-
-
-
-
-