-
公开(公告)号：CN104572970A
公开(公告)日：2015-04-29
申请号：CN201410852126.1
申请日：2014-12-31
Applicant: 浙江大学
IPC: G06F17/30
Abstract: 本发明公开了一种基于本体库内容的SPARQL查询语句生成系统，其基于d3.js的可视化技术以及对本体库的URI进行索引检索的思想，通过用户在前台使用系统提供的图形绘制部件构建出查询图，并对每一个部件赋予自然语言的标签，由后台实时响应每一个新构建的部件，并在已经索引的URI中检索出Top-K个匹配部件标签的URI，交由用户选择最符合自己查询意图的URI，同时提供用户定制的查询限制，最终自动生成SPARQL查询语句对RDF数据库进行查询，极大地方便了对本体库的Schema不熟悉，或者不了解SPARQL语法的用户对数据库进行查询。
-
Patent Agency Ranking
公开(公告)号：CN115033866A
公开(公告)日：2022-09-09
申请号：CN202210552736.4
申请日：2022-05-19
Applicant: 浙江大学
Abstract: 本发明公开了一种基于依赖保证机制的操作系统内存管理机制验证方法。该方法将操作系统建模为一个并发事件模型，并利用并行程序验证框架提供的程序语义和记号建模内存申请和释放函数。设计内存安全并将其转化为程序验证框架语义下的安全规约，并依据安全规约，设计相应的验证条件，并利用行程序验证框架的依赖‑保证证明系统，自动检查验证条件的相容性，最后通过交互式定理证明器检查证明的正确性。本发明利用形式化验证和机器证明技术，严格地验证了内存管理系统的安全性，保证了操作系统安全可靠运行，防患于未然。
-
公开(公告)号：CN115033866B
公开(公告)日：2024-09-10
申请号：CN202210552736.4
申请日：2022-05-19
Applicant: 浙江大学
Abstract: 本发明公开了一种基于依赖保证机制的操作系统内存管理机制验证方法。该方法将操作系统建模为一个并发事件模型，并利用并行程序验证框架提供的程序语义和记号建模内存申请和释放函数。设计内存安全并将其转化为程序验证框架语义下的安全规约，并依据安全规约，设计相应的验证条件，并利用行程序验证框架的依赖‑保证证明系统，自动检查验证条件的相容性，最后通过交互式定理证明器检查证明的正确性。本发明利用形式化验证和机器证明技术，严格地验证了内存管理系统的安全性，保证了操作系统安全可靠运行，防患于未然。
-
公开(公告)号：CN104573359B
公开(公告)日：2017-08-08
申请号：CN201410850691.4
申请日：2014-12-31
Applicant: 浙江大学
IPC: G06F19/00
Abstract: 本发明公开了一种基于任务难度与标注者能力的众包标注数据整合方法，其根据以下两种现象：(1)能力较高的标注者对大多数任务的标注结果与其他的标注者相同；(2)难度越低的任务，标注者们对它的标注结果的一致度越高；提出了新的任务难度的评估方法以及标注者能力的评估方法，并构建了基于二者的众包标注数据的整合方法，利用迭代的方式进行快速求解，使得标注者的能力评估更加客观准确，可以非常方便地对各种众包标注任务进行有效地难度评定；同时本发明对各种类型的众包标注数据均适用，包括但不限于：图像、文本、视频等任务的二值标注、多值标注等。
-
公开(公告)号：CN104572970B
公开(公告)日：2017-09-12
申请号：CN201410852126.1
申请日：2014-12-31
Applicant: 浙江大学
IPC: G06F17/30
Abstract: 本发明公开了一种基于本体库内容的SPARQL查询语句生成系统，其基于d3.js的可视化技术以及对本体库的URI进行索引检索的思想，通过用户在前台使用系统提供的图形绘制部件构建出查询图，并对每一个部件赋予自然语言的标签，由后台实时响应每一个新构建的部件，并在已经索引的URI中检索出Top‑K个匹配部件标签的URI，交由用户选择最符合自己查询意图的URI，同时提供用户定制的查询限制，最终自动生成SPARQL查询语句对RDF数据库进行查询，极大地方便了对本体库的Schema不熟悉，或者不了解SPARQL语法的用户对数据库进行查询。
-
公开(公告)号：CN104573359A
公开(公告)日：2015-04-29
申请号：CN201410850691.4
申请日：2014-12-31
Applicant: 浙江大学
IPC: G06F19/00
Abstract: 本发明公开了一种基于任务难度与标注者能力的众包标注数据整合方法，其根据以下两种现象：(1)能力较高的标注者对大多数任务的标注结果与其他的标注者相同；(2)难度越低的任务，标注者们对它的标注结果的一致度越高；提出了新的任务难度的评估方法以及标注者能力的评估方法，并构建了基于二者的众包标注数据的整合方法，利用迭代的方式进行快速求解，使得标注者的能力评估更加客观准确，可以非常方便地对各种众包标注任务进行有效地难度评定；同时本发明对各种类型的众包标注数据均适用，包括但不限于：图像、文本、视频等任务的二值标注、多值标注等。
-
-
-
-
-
Search Results
6
records
(took 0.016 seconds)
