检索结果-内蒙古大学图书馆

NDBC2010第27届中国数据库学术会议

作者：田万鹏王建民清华大学软件学院信息系统安全教育部重点实验室(清华大学) 清华信息科学与技术国家实验室(筹)(清华大学)

信息技术的快速发展促使非结构化数据管理成为一个重要的问题.非结构化数据的主要特点是数量巨大和模式滞后.传统的关系数据管理系统在处理非结构化数据上难以提出有效的解决方案.从"现实的数据总是包含着诸多特征(feature)观点出... 详细信息

信息技术的快速发展促使非结构化数据管理成为一个重要的问题.非结构化数据的主要特点是数量巨大和模式滞后.传统的关系数据管理系统在处理非结构化数据上难以提出有效的解决方案.从"现实的数据总是包含着诸多特征(feature)观点出发,提出了"数据-特征模型",建立特征,特征空间以及数据类型等概念.在此基础上提出了基于特征的非结构化数据演化管理建模框架.同时简述了非结构化数据管理原型系统MYUSD的结构.

关键词：非结构化数据管理演化框架数据特征模型数据类型建模

来源：评论

学校读者我要写书评

暂无评论

基于损失量的M-O漏洞预测模型及其改进

基于损失量的M-O漏洞预测模型及其改进

引用

第六届信息安全漏洞分析与风险评估大会

作者：罗平姚尧李俊杰张新饶飞信息系统安全教育部重点实验室清华信息科学与技术国家实验室清华大学软件学院北京100084

随着计算机技术和网络技术的发展,软件系统的安全性正面临软件漏洞带来的越来越严重的威胁,理论界提出了很多基于不同度量准则的预测漏洞的方法.但是,当考虑到漏洞对软件安全性及可信性的影响时,这些方法很难与可信性的其它子属性整合起... 详细信息

随着计算机技术和网络技术的发展,软件系统的安全性正面临软件漏洞带来的越来越严重的威胁,理论界提出了很多基于不同度量准则的预测漏洞的方法.但是,当考虑到漏洞对软件安全性及可信性的影响时,这些方法很难与可信性的其它子属性整合起来,其中最重要的原因是可信性的子属性间没有统一的量纲.本文分析了度量漏洞的各个指标,发现传统的指标都无法实现可信子属性的整合,只有损失量可以做到这一点,而使用损失量度量和预测漏洞是前人没有做过的.为此,首先给出损失量出现规律和漏洞数量发现规律之间的相似性,提出了使用预测软件缺陷的模型来预测损失量.同时,提出了全新的强安全性的概念.本文借鉴经典的M-O模型建立了新的M-O漏洞预测模型,并给出强安全性的数学定义.使用实际漏洞库中的数据检验新模型的准确性,取得了较理想的改进效果。

关键词：软件漏洞预测模型强安全性损失量

来源：评论

学校读者我要写书评

暂无评论

基于知识库的IFC模型存储技术研究

引用

土木建筑工程信息技术 2020年第1期12卷 1-7页

作者：张越美高歌彭程刘寒顾明清华大学软件学院北京100084 北京信息科学与技术国家研究中心北京100084 信息系统安全教育部重点实验室北京100084

随着BIM技术的广泛应用,相关模型设计软件对于IFC标准的支持日渐完善,IFC模型的规模和语义信息更加丰富,如何高效存储IFC模型以促进模型的应用是学者们关心的热点问题。本文使用知识库的方法,阐述了如何将IFC数据模型和IFC实例文件存储... 详细信息

随着BIM技术的广泛应用,相关模型设计软件对于IFC标准的支持日渐完善,IFC模型的规模和语义信息更加丰富,如何高效存储IFC模型以促进模型的应用是学者们关心的热点问题。本文使用知识库的方法,阐述了如何将IFC数据模型和IFC实例文件存储在图数据库中,建立元数据知识库和实例知识库,分析两个知识库模型的关系,在实际的商业综合体模型中验证了知识库存储的时间效率和空间效率。在知识库建立的基础上,本文分析了IFC知识库上使用Cypher语言查询的案例,有效地解决了IFC版本对比、实体关系梳理、空间关系发掘相关的相关问题,对知识库与土木建筑行业的结合提供了重要参考。

关键词： BIM IFC 知识库图数据库模型查询

来源：评论

学校读者我要写书评

暂无评论

一种基于变量隐藏抽象的IC3硬件验证算法

引用

计算机科学 2023年第S2期50卷 783-788页

作者：杨柳范洪宇李东方贺飞清华大学软件学院北京100084 教育部信息系统安全重点实验室北京100084 北京国家信息科学与技术研究中心北京100084 北京计算机技术及应用研究所北京100854

随着硬件设计复杂性和规模的大幅度提升,硬件验证工作更加具有挑战性。模型检验技术作为一种自动化验证技术,可以自动构建反例路径,也因此成为硬件验证领域内最重要的研究方向之一。IC3算法是近些年来最成功的比特级别的硬件验证算法。... 详细信息

随着硬件设计复杂性和规模的大幅度提升,硬件验证工作更加具有挑战性。模型检验技术作为一种自动化验证技术,可以自动构建反例路径,也因此成为硬件验证领域内最重要的研究方向之一。IC3算法是近些年来最成功的比特级别的硬件验证算法。为了提高验证的规模和效率,硬件验证算法设计逐渐从底层的比特级向更高的抽象级别转变。研究目标是设计一个新型有效的字级IC3算法。针对研究目标,提出了一种将变量隐藏抽象和隐式抽象结合的字级IC3算法IC3VA。该方法尝试将变量隐藏抽象和IC3算法相结合,并设计了对应的泛化和精化方案。在开源社区和硬件验证大赛收集的测试集上和基于谓词抽象的方法进行对比,实验结果显示了基于变量隐藏抽象的IC3算法的有效性。

关键词：硬件验证 IC3算法形式化方法模型检验变量隐藏抽象

来源：评论

学校读者我要写书评

暂无评论

基于知识库的IFC模型存储技术研究

基于知识库的IFC模型存储技术研究

引用

第七届BIM技术国际交流会——智能建造与建筑工业化创新发展

作者：张越美高歌彭程刘寒顾明清华大学软件学院北京信息科学与技术国家研究中心信息系统安全教育部重点实验室

关键词： BIM IFC 知识库图数据库模型查询

来源：评论

学校读者我要写书评

暂无评论

XPDL模型到WWF模型转换技术的研究

XPDL模型到WWF模型转换技术的研究

引用

NDBC2009第26届中国数据库学术会议

作者：苗林金涛王建民清华大学软件学院北京 100084 信息系统安全教育部重点实验室北京 100084 清华大学信息科学实验室筹北京 100084

WwF(Windows workflow foundation)是一个可扩展框架，用于在Windows平台上开发工作流系统．WWF在．NET平台上构建工作流具有很强的优势，但是WWF对外不符合WfMC制定的XPDL标准的工作流模型，限制了WWF的广泛应用．为了解决上述问题，... 详细信息

WwF(Windows workflow foundation)是一个可扩展框架，用于在Windows平台上开发工作流系统．WWF在．NET平台上构建工作流具有很强的优势，但是WWF对外不符合WfMC制定的XPDL标准的工作流模型，限制了WWF的广泛应用．为了解决上述问题，提出并开展了XPDL模型到WWF模型的转换研究，通过研究XPDL模型到WWF模型之间的映射，实现了XPDL模型到WWF模型的转换，从而实现了WwF与其他工作流产品在公共格式XPDL基础上进行数据共享，有助于实现基于XPDL的工作流平台向．NET工作流平台的迁移．

关键词：工作流模型模型转换 XPDL模型 WWF模型

来源：评论

学校读者我要写书评

暂无评论

数据库文件安全特性检测技术

数据库文件安全特性检测技术

引用

第二十五届中国数据库学术会议

作者：金磊叶晓俊谢丰李斌清华大学软件学院信息系统安全教育部重点实验室中国信息产品安全测评认证中心检查评估实验室

数据库文件是与操作系统的进程和用户共享的。数据库管理员必须按照企业安全策略配置用户对这些文件访问权限。本文提出了对于数据库文件安全特征检测的一个通用框架和三种检测实现方法,并结合Oracle数据库详细说明了我们的检测策略和... 详细信息

数据库文件是与操作系统的进程和用户共享的。数据库管理员必须按照企业安全策略配置用户对这些文件访问权限。本文提出了对于数据库文件安全特征检测的一个通用框架和三种检测实现方法,并结合Oracle数据库详细说明了我们的检测策略和实现技术。

关键词：数据库安全数据库文件安全特性检测检测列表

来源：评论

学校读者我要写书评

暂无评论

基于数据质量规则的缺失结果解释约减

基于数据质量规则的缺失结果解释约减

引用

第30届中国数据库学术会议

作者：张奥千宋韶旭王建民清华大学软件学院北京 100084 清华信息科学与技术国家实验室(筹) 北京100084 信息系统安全教育部重点实验室(清华大学) 北京100084

由于数据缺失等原因,用户在查询结果中可能没有得到预期的答案.现有的方法通过枚举可能的缺失记录来解释“为什么没有why not”的问题然而,枚举得到的解释数量庞大,用户无法连一浏览确认缺失数据.实际上,这些可能的解释中有许多是不合理... 详细信息

由于数据缺失等原因,用户在查询结果中可能没有得到预期的答案.现有的方法通过枚举可能的缺失记录来解释“为什么没有why not”的问题然而,枚举得到的解释数量庞大,用户无法连一浏览确认缺失数据.实际上,这些可能的解释中有许多是不合理的,约减解释数量存在挑战根据真实数据试验,利用数据中存在的唯一性约束来进行约减,生成的解释数量仍有几十万个研究利用数据质量规则(如函数依赖)来高效约减缺失结果的解释首先,提出一种基于函数依赖的解释约减算法FDR(unctional dependencies-based reduction).其次,为了辅助用尸浏览生成的解释,进一步研究利用近似函数依赖对解释进行排序真实数据实验表明,FDR方法能够比现有的方法减少2～5个数量级的解释(从几十万个减少至几千个甚至几十个);利用近似函数依赖排序的Top-1解释精确率达到90％以上.

关键词：数据库信息查询解释约减算法质量控制

来源：评论

学校读者我要写书评

暂无评论

基于灰度纹理的微平面法向分布函数

基于灰度纹理的微平面法向分布函数

引用

第八届中国计算机图形学大会

作者：史可鉴王斌张慧清华大学软件学院北京 100084 信息系统安全教育部重点实验室北京 100084 清华信息科学与技术国家实验室北京 100084

@@基于微平面理论的BRDF材质模型都需要一个分布函效表示微平面法向的分布概率密度，现有的分布函数大都是用数学公式表示的，用公式表示的分布函数往往不够直观，而且种类较少，本文提出了一种新的、直接从灰度纹理生成分布函数的方法。

关键词：

来源：评论

学校读者我要写书评

暂无评论

基于完全有限前缀的完备日志生成算法

基于完全有限前缀的完备日志生成算法

引用

第一届中国业务过程管理大会

作者：王文星闻立杰谭士杰清华大学软件学院，北京 100084 清华大学信息系统安全教育部重点实验室，北京 100084 清华大学信息科学与技术国家实验室(筹)，北京 100084

鉴于理想的完备日志很难被获取，针对特定次序关系完备的日志已成为评估挖掘算法表现的重要数据来源。提出了一种新颖的针对特定次序关系完备日志生成算法，基于完全有限前缀计算轨迹，使日志生成过程可控。扩展了完备日志的生成算法，... 详细信息

鉴于理想的完备日志很难被获取，针对特定次序关系完备的日志已成为评估挖掘算法表现的重要数据来源。提出了一种新颖的针对特定次序关系完备日志生成算法，基于完全有限前缀计算轨迹，使日志生成过程可控。扩展了完备日志的生成算法，使日志能够针对△w系和》w关系完备，从而满足α谱系挖掘算法对日志的完备性要求。同时提出了一种日志生成算法的评估框架，并对日志生成算法进行评估。

关键词：完备日志展开网完全有限前缀 α谱系挖掘算法评估框架

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：