公开(公告)号：CN120020708A

公开(公告)日：2025-05-20

申请号：CN202311546497.2

申请日：2023-11-20

Applicant: 中国科学院软件研究所

Inventor： 黄涛 ,  陈伟 ,  魏峻 ,  吴国全 ,  汪涛 ,  刘力玮

IPC: G06F8/71 ,  G06N5/022

Abstract: 本发明涉及一种基于知识的智能空间系统自动化应用冲突检测方法和装置。该方法包括：将自动化应用的关键要素映射到ECA控制网络，所述关键要素包括事件、条件、行为；通过知识图谱补充ECA控制网络的语义信息，包括设备的服务之间的依赖与互斥关系及设备的服务对物理环境的影响，形成自动化应用网络；基于定义的冲突模式对自动化应用网络进行搜索匹配，结合语义信息检测自动化应用之间存在的冲突。本发明克服了现有智能空间系统自动化应用冲突检测方法有效性和实用性两方面的不足，实现了一种高效且实用的基于图模式匹配的自动化应用冲突检测方案，能够更加准确、高效地检测自动化应用之间的冲突问题。

公开(公告)号：CN118939530A

公开(公告)日：2024-11-12

申请号：CN202410914820.5

申请日：2024-07-09

Applicant: 中国科学院软件研究所

Inventor： 魏峻 ,  吴国全 ,  陈伟 ,  刘力玮 ,  汪涛

IPC: G06F11/36 ,  H04L67/12 ,  G06F8/41

Abstract: 本发明公开一种物联网设备SDK API的自动化识别方法及系统，属于计算机软件技术领域。所述方法包括：构建物联网设备SDK的函数调用图，所述函数调用图包括：函数之间的显式调用关系和因数据依赖产生的隐式调用关系；识别所述物联网设备SDK中所使用的网络协议方法，并在所述函数调用图中提取出所有通向该网络协议方法的调用路径；基于启发式规则从提取的调用路径中识别候选的物联网设备SDK API。本发明可以解决开发者在使用设备SDK进行设备集成和测试时效率低下的问题，能够使开发者能够更快速地理解设备功能并使用相关API。