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

软件学报 2017年第10期28卷 2525-2538页

作者：吕荫润陈力王翀吴敬征王永吉计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 中国科学院软件研究所基础软件国家工程研究中心北京100190 中国科学院大学北京100190 中国科学院软件研究所互联网软件技术实验室北京100190

相对于标准约束优化问题,广义约束优化问题(或称析取优化问题)的等式或不等式约束条件中不仅包含逻辑"与"关系,还含有逻辑"或"关系.单调速率(RM)优化问题是广义约束优化问题的一个重要应用.目前RM优化问题已有的解... 详细信息

相对于标准约束优化问题,广义约束优化问题(或称析取优化问题)的等式或不等式约束条件中不仅包含逻辑"与"关系,还含有逻辑"或"关系.单调速率(RM)优化问题是广义约束优化问题的一个重要应用.目前RM优化问题已有的解法包括函数变换、混合整数规划、线性规划搜索等算法.随着任务数的增多,这些算法的求解时间较长.提出一种基于线性规划的深度广度混合搜索算法(LPHS),将广义约束优化问题拆分成若干子问题,建立线性规划搜索树,合理选择搜索顺序,利用动态剪枝算法减小子问题的规模,最终求得最优解.实验结果表明,LPHS算法比其他方法有明显的效率提升.研究成果与计算机基础理论中的可满足性模理论的研究相结合,有助于提高可满足性模理论问题的求解效率,促进该理论在程序验证、符号执行等领域的进一步应用.

关键词：约束优化问题实时系统单调速率线性规划搜索算法

来源：评论

学校读者我要写书评

暂无评论

CCF大专委2019年大数据发展趋势预测

引用

大数据 2019年第1期5卷 109-115页

作者：周涛潘柱廷程学旗阿里巴巴集团安全部北京永信至诚科技股份有限公司中国计算机学会(CCF) 中国网络安全协会人才培养教育工作委员会 CCF大数据专家委员会中国互联网协会云安全联盟(CSA)中国区大数据分析系统国家工程实验室中国科学院计算技术研究所中国科学院网络数据科学与技术重点实验室中国计算机学会大数据专家委员会

1引言2018年12月6日,中国计算机学会(CCF)大数据专家委员会(以下简称大专委)在2018年中国大数据技术大会(BDTC)的开幕式上,正式发布了2019年大数据十大发展趋势预测。作为自2012年起就持续开展的一项活动,大专委"大数据发展趋势预... 详细信息

1引言2018年12月6日,中国计算机学会(CCF)大数据专家委员会(以下简称大专委)在2018年中国大数据技术大会(BDTC)的开幕式上,正式发布了2019年大数据十大发展趋势预测。作为自2012年起就持续开展的一项活动,大专委"大数据发展趋势预测"已经形成了良好的品牌效应。本次趋势预测结果一经发布,就引发了国内各大媒体的广泛传播。本次大数据发展趋势预测面向大专委的正式委员和通讯委员,经历了候选项征集和正式投票两个环节。2018年委员们对趋势预测的参与热情有了显著提升,投票人数创历史新高。在候选项征集环节,有47位委员对候选项的设立积极建言献策,笔者团队根据大家的意见对2019年趋势预测的候选项进行了大幅度

关键词：候选项知识图谱应用场景趋势项大数据视频数据发展趋势预测 CCF

来源：评论

学校读者我要写书评

暂无评论

CCF大专委2018年大数据发展趋势预测

引用

大数据 2018年第1期4卷 77-84页

作者：周涛卞超轶潘柱廷查礼程学旗北京启明星辰信息安全技术有限公司北京启明星辰信息安全技术有限公司核心研究院北京永信至诚科技股份有限公司中国计算机学会(CCF) 中国网络安全协会人才培养教育工作委员会中国互联网协会云安全联盟(CSA)中国区中国科学院计算技术研究所大数据分析系统国家工程实验室中国科学院网络数据科学与技术重点实验室中国计算机学会大数据专家委员会

1引言在2017年中国大数据技术大会(BDTC)开幕式上,中国计算机学会(CCF)大数据专家委员会(以下简称大专委)如期发布了2018年大数据十大发展趋势预测,引发了业界的广泛关注和持续传播。本次大数据发展趋势预测经历了候选项征集和正式投票... 详细信息

1引言在2017年中国大数据技术大会(BDTC)开幕式上,中国计算机学会(CCF)大数据专家委员会(以下简称大专委)如期发布了2018年大数据十大发展趋势预测,引发了业界的广泛关注和持续传播。本次大数据发展趋势预测经历了候选项征集和正式投票两个环节。在候选项征集环节,补充了若干体现大数据领域最新进展的候选项,并调整和删除了一些过时选项,最终形成的预测选项包括67项发展

关键词：视频数据人工智能知识图谱语音数据大数据候选项发展趋势预测 CCF

来源：评论

学校读者我要写书评

暂无评论

面向基带处理的异构多核架构软硬件平台设计

引用

单片机与嵌入式系统应用 2017年第3期17卷 13-17页

作者：曾定立丁国杰重庆邮电大学宽带无线移动互联网络实验室重庆400065 中国科学院计算技术研究所无线通信技术研究中心

通过研究现代通信系统集中化处理架构中基带处理单元(BBU)的特点,将异构多核处理器应用于BBU中,并提出将物理层算法与控制分离的观点。在ARM+DSP的异构多核中,ARM完成物理层控制,DSP完成物理层算法的功能,提升了BBU基带处理能力,并给出... 详细信息

通过研究现代通信系统集中化处理架构中基带处理单元(BBU)的特点,将异构多核处理器应用于BBU中,并提出将物理层算法与控制分离的观点。在ARM+DSP的异构多核中,ARM完成物理层控制,DSP完成物理层算法的功能,提升了BBU基带处理能力,并给出完整的BBU硬件架构以及功能实现。提出了一种应用于基带处理中的异构多核软件架构,从软件层面上实现了对底层硬件的虚拟化,引入了中间件的概念,屏蔽了ARM与DSP操作系统上的差异,并给出基于Linux的非对称系统(AMP)的构建及移植方法,包括异构多核的BootLoader、AMP系统的设计与移植。

关键词：基带处理单元异构多核 ARM DSP 中间件 BootLoader AMP系统

来源：评论

学校读者我要写书评

暂无评论

单相浸没式直接液冷数据中心设计规范

单相浸没式直接液冷数据中心设计规范

引用

来源：评论

学校读者我要写书评

暂无评论

基于用户相似性传递的跨平台交叉推荐算法

引用

中文信息学报 2016年第2期30卷 90-98页

作者：李超周涛黄俊铭程学旗沈华伟电子科技大学互联网科学中心四川成都611731 北京百分点信息科技有限公司北京100080 中国科学院计算技术研究所中国科学院网络数据科学与技术重点实验室北京100190

个性化推荐系统在电子商务领域中的广泛应用带来了巨大的经济效益和良好的用户体验。由于用户数据往往分布在多个不同的网站,单个网站的推荐系统受制于数据稀疏性的限制,难以获得准确的推荐效果。该文提出了一种基于传递相似性的交叉推... 详细信息

个性化推荐系统在电子商务领域中的广泛应用带来了巨大的经济效益和良好的用户体验。由于用户数据往往分布在多个不同的网站,单个网站的推荐系统受制于数据稀疏性的限制,难以获得准确的推荐效果。该文提出了一种基于传递相似性的交叉推荐系统算法,可以利用多个网站平台数据计算不同网站中的用户的相似度,从而很大程度上克服了推荐系统中的数据稀疏性以及冷启动问题。结果显示,该交叉推荐算法与传统的针对单个数据集的推荐算法相比,推荐的精确性有一至两倍的提高。

关键词：个性化推荐系统协同过滤多源数据稀疏性冷启动

来源：评论

学校读者我要写书评

暂无评论

CCF大专委2017年大数据发展趋势预测

引用

大数据 2017年第1期3卷 97-103页

作者：周涛潘柱廷杨婧程学旗启明星辰大数据实验室启明星辰中国计算机学会(CCF) CCF计算机安全专家委员会中国互联网协会云安全联盟CSA中国区中国科学院计算技术研究所中国计算机学会大数据专家委员会秘书处中国科学院网络数据科学与技术重点实验室中国计算机学会中国计算机学会大数据专家委员会中国中文信息学会中国中文信息学会信息检索与内容安全专委会

1引言2016年中国大数据技术大会（BDTC）于2016年12月8日在北京召开,在此次大会上发布了CCF大数据专家委员会（以下简称大专委）关于未来一年的大数据发展趋势预测,已成为每年大会的保留节目,也成为大专委的一项品牌活动。2017年的趋势... 详细信息

1引言 2016年中国大数据技术大会（BDTC）于2016年12月8日在北京召开,在此次大会上发布了CCF大数据专家委员会（以下简称大专委）关于未来一年的大数据发展趋势预测,已成为每年大会的保留节目,也成为大专委的一项品牌活动。2017年的趋势报告一经发布,就引发了业界的广泛关注和持续传播。

关键词：发展趋势 CCF 大专预测专家委员会数据技术节目传播

来源：评论

学校读者我要写书评

暂无评论

基于树状线性规划搜索的单调速率优化设计

引用

软件学报 2015年第12期26卷 3223-3241页

作者：陈力王永吉吴敬征吕荫润中国科学院软件研究所基础软件国家工程研究中心北京100190 中国科学院大学北京100049 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 中国科学院软件研究所互联网软件技术实验室北京100190

改善单调速率（rate monotonic，简称RM）可调度性判定算法的效率，是过去40年计算机实时臣统设计的重要问题。最近，研究人员把可调度性判定问题扩展到了更一般的优化设计问题，即，如何调节在区间可选择情况下的任务运行时间，使得：... 详细信息

改善单调速率（rate monotonic，简称RM）可调度性判定算法的效率，是过去40年计算机实时臣统设计的重要问题。最近，研究人员把可调度性判定问题扩展到了更一般的优化设计问题，即，如何调节在区间可选择情况下的任务运行时间，使得：（1）系统RM可调度；（2）系统的某个性能（如CPU利用率）达到最优。在已有的求解实时系统RM优化设计问题的方法中，都是先把原问题建模成广义约束优化问题，然后再对广义约束优化问题进行求解，但现有方法的求解速度较慢，任务数较多时不再适用。提出一种求解优化问题的方法——基于树状的线性规划搜（1inear programming search，简称LPS）方法。该方法先将实时系统RM优化设计问题建模成广义约束优化问题，再将其分拆成若干线性规划子问题，然后构造线性规划搜索树，利用剪枝搜索算法求解部分线性规划子问题，最后得到优化解。实验结果表明：LPS方法相比于已有的方法能够节省20％～70％的求解时间，任务数越多，节省时间越多。该研究成果可以与计算机可满足性模定理（satisfiability modulo theories，简称SMT）领域的多个研究热点问题联系起来，并可望改善SMT问题的求解效率。

关键词：实时系统单调速率最优化搜索算法线性规划可满足性模定理

来源：评论

学校读者我要写书评

暂无评论

CCF大专委2016年大数据发展趋势预测——解读和行动建议

引用

大数据 2016年第1期2卷 105-113页

作者：潘柱廷程学旗袁晓如周涛靳小龙启明星辰中国计算机学会(CCF) 中国互联网协会云安全联盟CSA中国区中国科学院计算技术研究所中国科学院网络数据科学与技术重点实验室 CCF大数据专家委员会北京大学北京大学信息科学技术学院北京启明星辰信息安全技术有限公司中国科学院网络数据科学与技术重点实验室网络数据科学研究部

1引言2015中国大数据技术大会(BDTC)于2015年12月10日在北京召开,会上中国计算机学会(CCF)大数据专家委员会(task force on big data,TFBD,以下简称大专委)发布了中国大数据技术与产业发展报告(2015),并对2016年大数据发展趋势进行了展... 详细信息

1引言2015中国大数据技术大会(BDTC)于2015年12月10日在北京召开,会上中国计算机学会(CCF)大数据专家委员会(task force on big data,TFBD,以下简称大专委)发布了中国大数据技术与产业发展报告(2015),并对2016年大数据发展趋势进行了展望。自2012年10月CCF大专委成立,在每年12月的大数据技术大会上都会发布对第二年大数据发展趋势的预测。从预测2013年到预测2016年,现在已经是第4次

关键词：可视化权属问题大数据产业大数据技术大专 CCF

来源：评论

学校读者我要写书评

暂无评论

基于多超声传感器信息和NeuCube的移动机器人走廊场景识别

引用

计算机应用 2015年第10期35卷 2833-2837页

作者：王秀青侯增广潘世英谭民王永吉曾慧河北师范大学应用信息技术系石家庄050024 复杂系统管理与控制国家重点实验室(中国科学院自动化研究所) 北京100190 基础软件国家工程研究中心(中国科学院软件研究所) 北京100190 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 中国科学院软件研究所互联网软件技术实验室北京100190 北京科技大学信息学院北京100083

为提高室内移动机器人的环境感知能力,针对其常处的结构化走廊场景的分类、Spiking神经网络(SNN)和基于SNN的新型计算模型Neu Cube进行研究。SNN利用尖脉冲传递时、空信息,比传统的神经网络更适于动态、时序信息的分析,以及各种模式信... 详细信息

为提高室内移动机器人的环境感知能力,针对其常处的结构化走廊场景的分类、Spiking神经网络(SNN)和基于SNN的新型计算模型Neu Cube进行研究。SNN利用尖脉冲传递时、空信息,比传统的神经网络更适于动态、时序信息的分析,以及各种模式信息的识别和分类。此外,SNN更易于用硬件实现。在对Neu Cube的基本原理、学习方法和计算步骤进行讨论的基础上,利用多超声传感信息和Neu Cube对室内移动机器人常处的7种走廊场景进行识别。实验结果表明基于多超声传感信息和Neu Cube的移动机器人走廊场景分类方法可以对7种走廊场景进行有效识别,该方法有助于增强移动机器人的自主性和提高其智能水平。

关键词：移动机器人多超声传感信息 spiking神经网络环境感知分类

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：