-
公开(公告)号：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对隐喻场景和隐喻策略进行推理，形成隐喻策略集；进而，基于场景集合和隐喻策略集完成相关隐喻文本内容的生成；基于生成的特定领域隐喻文本数据集，对通用大语言模型进行有效微调，使其生成的文本内容容易理解，实现了针对特定领域的自动化和个性化隐喻文本生成。
-
Patent Agency Ranking
公开(公告)号：CN114881032B
公开(公告)日：2025-05-06
申请号：CN202210462583.4
申请日：2022-04-28
Applicant: 北京计算机技术及应用研究所
IPC: G06F40/295 , G06F16/35 , G06N3/045 , G06N3/096 , G06N3/09
Abstract: 本发明涉及一种基于多任务学习的层次类别命名实体识别模型设计方法，属于自然语言处理技术领域。本发明通过在命名实体识别模型中加入对于类别关系的建模，使得模型能够同时识别出命名实体的多个类别，同时，本发明提出了基于多任务学习的模型来解决具有层次类别的命名实体识别问题。模型使用多任务学习机制同时学习多个层次的命名实体识别任务，这些任务共享同一个编码层，这样可以使得编码层学习到的编码向量可以同时适应多个层次的命名实体识别而不是过拟合于某一个单独的层次。最后，还分别设计了两种信息传递机制传递不同层次间的识别信息，以提高模型的识别效果。
-
公开(公告)号：CN119897745A
公开(公告)日：2025-04-29
申请号：CN202311398661.X
申请日：2023-10-26
Applicant: 宝鸡石油机械有限责任公司 , 中国石油天然气集团有限公司 , 北京计算机技术及应用研究所
IPC: B23Q15/16
Abstract: 本发明公开的用于柔性智能机加生产线的刀具补偿方法，包括通过间接检测法，获得目标刀具完成的已加工工件的实际尺寸；对已加工工件的实际尺寸与预设工件尺寸进行比较，获得补偿值；通过闭环控制算法，将补偿值写入自动化机床；每次新加工工件时，先使补偿值生效，通过调整X轴和Z轴使目标刀具偏移，实现对目标刀具的磨损进行补偿；通过该刀具补偿方法可以实现对刀具进行快速、精准补偿，从而提高柔性智能机加生产线的生产效率，减少生产成本。
-
公开(公告)号：CN119854188A
公开(公告)日：2025-04-18
申请号：CN202411808006.1
申请日：2024-12-10
Applicant: 北京计算机技术及应用研究所
IPC: H04L43/50 , H04L69/165 , G06F11/3668
Abstract: 本发明涉及一种面向TCP和UDP通讯的接口自动化测试装置，属于接口测试技术领域。该方法通过仿真设备替代外部通讯设备或对象，为被测设备或软件提供输入数据，同时接收设备或软件输出数据，并根据输出数据进行实时自动应答，保证设备或软件通讯过程连续性；通过测试驱动器，集中管理外部仿真设备，并按照业务流程测试调度仿真设备，协同完成设备或软件接口自动化测试。
-
公开(公告)号：CN119835372A
公开(公告)日：2025-04-15
申请号：CN202411696621.8
申请日：2024-11-25
Applicant: 北京计算机技术及应用研究所
IPC: H04N1/44 , H04L9/00 , H04N1/41 , G06N3/0464 , G06N3/08
Abstract: 本发明涉及一种基于动态压缩感知的图像加解密方法，属于图像信息安全技术领域。本发明包括：将预设尺寸的图像均匀分割，图像子块输入压缩网络，经二维Logistic混沌映射后，进行滑动置乱加密和异或扩散加密得到最终密文图像；密文图像经逆扩散、逆置乱后，输入深度重构网络获得重构子块图像，拼接子块图像实现图像复原。本发明的方法可实现图像的压缩及加解密，本发明降低了压缩加密时对图像稀疏性需求，利用深度卷积神经网络的自学习能力，改善低采样率难以实现高质量重构的问题。
-
公开(公告)号：CN119832292A
公开(公告)日：2025-04-15
申请号：CN202411730876.1
申请日：2024-11-29
Applicant: 北京计算机技术及应用研究所
IPC: G06V10/764 , G06N3/0464 , G06V10/32 , G06V10/30 , G06V10/44 , G06V10/80
Abstract: 本发明涉及一种基于非对称密集卷积神经网络的轻量化通信设备检测方法，属于人工智能、计算机视觉、目标检测技术领域。本发明设计了一种双路非对称密集层，在不增加计算成本的情况下将单个非线性激活层分解为两层来设计非对称的深度可分离卷积，基于此构建双路非对称密集层，以此增强轻量化网络的特征提取和信息表达能力；设计了一种在特征合并过程中的通道混排机制，让该层能够在信息交换中保留特征细节并实现更平滑的层内信息流动，同时根据所给通道配置生成可变特征融合模式；引入密集连接的思想，实现层到层的信息流通与特征重用，从而促进了信息的高效传输。
-
-
-
-
-
-
-
-
-
Search Results
2318
records
(took 0.101 seconds)
