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

大数据 2023年第1期9卷 1-20页

作者：梅宏杜小勇金海程学旗柴云鹏石宣化靳小龙王亚沙刘驰高可信软件技术教育部重点实验室(北京大学) 北京100871 中国人民大学信息学院北京100872 华中科技大学计算机科学与技术学院湖北武汉430074 中国科学院计算技术研究所北京100086 中国科学院大学计算机科学与技术学院北京100049 北京理工大学计算机学院北京100081

世界主要国家高度重视大数据发展,我国也将发展大数据作为国家战略,发展大数据技术具有重要意义。大数据技术涉及从采集、传输到管理、处理、分析、应用的全生命周期以及生命周期各阶段的数据治理。选取数据生命周期中的管理、处理和分... 详细信息

世界主要国家高度重视大数据发展,我国也将发展大数据作为国家战略,发展大数据技术具有重要意义。大数据技术涉及从采集、传输到管理、处理、分析、应用的全生命周期以及生命周期各阶段的数据治理。选取数据生命周期中的管理、处理和分析技术以及大数据治理技术来梳理国内外技术发展现状,特别是研判我国大数据技术发展与国际先进技术之间的差距。另外,在大数据应用需求的驱动下,计算技术体系正面临重构,从“以计算为中心”向“以数据为中心”转型,在新的计算技术体系下,一系列基础理论和核心技术问题亟待破解,新型大数据系统技术成为重要发展方向。在计算体系重构的背景下,提出大数据技术发展的四大技术挑战和十大发展趋势。

关键词：大数据技术大数据管理大数据处理大数据分析大数据治理

来源：评论

学校读者我要写书评

暂无评论

基于抽象解释的不变式验证

基于抽象解释的不变式验证

引用

第十一届全国软件与应用学术会议(NASAC2012)

作者：钱俊彦郭云川赵岭忠蔡国永国防科学技术大学计算机学院博士后流动站湖南长沙 410073 中国科学院信息工程研究所北京 100093 桂林电子科技大学广西可信软件重点实验室广西桂林 541004

通常程序的不变式验证可转化为不动点求解问题,但直接计算不动点是非常困难的,故验证时态性质p 常依赖于找到合适地辅助不变式q,使之满足Reach(M)(∈)[q](∈)[p]。本文提出了两种解决方法：(1)基于抽象解释及不动点抽象定理,在抽象域中... 详细信息

通常程序的不变式验证可转化为不动点求解问题,但直接计算不动点是非常困难的,故验证时态性质p 常依赖于找到合适地辅助不变式q,使之满足Reach(M)(∈)[q](∈)[p]。本文提出了两种解决方法：(1)基于抽象解释及不动点抽象定理,在抽象域中通过前向或逆向转换求解抽象不动点,并采用widening和narrowing 操作加速收敛,从而完成不变式的自动验证。(2)通过Tableau 方法构造所验证时态公式的谓词图,采用状态前向或逆向转换,改进了不变式验证的规则,并基于抽象解释框架,通过模拟构造抽象状态转换系统,给出了不变式验证的抽象规则。

关键词：抽象解释不动点不变式验证可达性模拟

来源：评论

学校读者我要写书评

暂无评论

一种基于模型共享的半监督多标签图像学习法

一种基于模型共享的半监督多标签图像学习法

引用

第十二届中国虚拟现实大会

作者： ZHANG Da-peng 张大鹏 WEN Jia 闻佳 LIU Xi 刘曦 Institute of Information Science and Engineering Yanshan University Qinhuangdao 066004 China Guan 燕山大学信息科学与工程学院秦皇岛 066004 桂林电子科技大学广西可信软件重点实验室桂林 541004 Institute of Information Science and Engineering Yanshan University Qinhuangdao 066004 China 燕山大学信息科学与工程学院秦皇岛 066004 The Key Laboratory of Intelligent Information Processing Institute of Computing TechnologyChinese 中国科学院计算技术研究所智能信息处理重点实验室北京 100190

提出一种快速且有效的半监督多标签学习方法：模型共享半监督推举。该方法能发现、共享并组合多个基模型，每个基模型是在某个标签上利用半监督支持向量机(S3VM)上学习的。通过使用模型共享，标签关联被显示地利用且对于每个标签来说只... 详细信息

提出一种快速且有效的半监督多标签学习方法：模型共享半监督推举。该方法能发现、共享并组合多个基模型，每个基模型是在某个标签上利用半监督支持向量机(S3VM)上学习的。通过使用模型共享，标签关联被显示地利用且对于每个标签来说只需要少量的基模型即可生成最后的决策结果。在Core15k和Mediamill数据集上评估方法，实验结果显示的方法与当前流行的监督和半监督多标签学习方法是可比的。

关键词：信息处理半监督多标签学习算法模型共享支持向量机

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：