公开(公告)号：CN113626643A

公开(公告)日：2021-11-09

申请号：CN202110908317.5

申请日：2021-08-09

Applicant: 复旦大学

Inventor： 刘木强 ,  张徵 ,  杨卫东

IPC: G06F16/835 ,  G06F16/838 ,  G06F16/81 ,  G06F16/903 ,  G06F16/9038 ,  G06F40/30

Abstract: 本发明提供一种基于本体的工程数据关键字检索方法，其特征在于，包括以下步骤：步骤S1，引入工程数据的领域本体和工程数据术语表，对工程数据术语表进行倒排索引生成倒排索引表；步骤S2，将工程数据中的若干类文档处理为XML快照并进行倒排索引构建快照统计表；步骤S3，基于关键字和本体概念的匹配规则，对用户查询的关键字，通过执行引擎采用倒排索引表将关键字匹配到本体中合适的概念上，基于本体搜索关联概念得到概念拓展集；步骤S4，基于倒排索引表获得与概念拓展集相关的XML快照，构建排序模型，由排序模型基于快照统计表的数据计算相关度得分；步骤S5，对相关度得分进行排序，找到每个XML快照对应的若干类文档，作为查询结果集返回给用户。

公开(公告)号：CN118467324A

公开(公告)日：2024-08-09

申请号：CN202310083589.5

申请日：2023-02-08

Applicant: 复旦大学

Inventor： 刘木强 ,  薄格

IPC: G06F11/36 ,  G06F8/20

Abstract: 本发明提供一种基于UML的系统模型的完整性检查方法，首先为每个约束提取出潜在违反结构事件类型，然后确定约束相对于其潜在违反结构事件类型的最佳上下文类型并基于最佳上下文类型重新定义优化的约束，得到等价替代约束，之后确定潜在违反结构事件类型的相关实例并创建增量表达式，最后基于增量表达式集合进行完整性检查。该方法可以确定软件系统在执行操作后必须检查哪些约束，而无需对所有约束进行检查，可有效减少检查开销；该方法可以确定软件系统在执行操作后必须考虑的实例集和每个约束的最佳重新定义，从而可进行递增检查，而无需对所有实例集进行检查，并且基于约束的最佳重新定义，运行效率更高。