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

中国科学：信息科学 2017年第12期47卷 1601-1622页

作者：张伟梅宏高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院软件研究所北京100871 北京理工大学计算机学院北京100081

我们正在经历一场软件开发方式的变革.在这场变革中,互联网承担了双重角色:一方面,互联网形成了一个开放、动态、持续演化的软件运行环境,极大地增加了软件系统的规模和复杂性,为软件开发带来了新的挑战;另一方面,在"将计算机互联&... 详细信息

我们正在经历一场软件开发方式的变革.在这场变革中,互联网承担了双重角色:一方面,互联网形成了一个开放、动态、持续演化的软件运行环境,极大地增加了软件系统的规模和复杂性,为软件开发带来了新的挑战;另一方面,在"将计算机互联"和"将物品互联"两种基础角色之上,互联网正在展现出"将智能互联"的崭新角色,促成了群体智能现象在各种问题领域中的出现和快速发展,为解决软件开发面临的本质性困难提供了一种潜在的创新性解决方案.本文从可行性、实践现状、问题与挑战等几个方面对基于互联网群体智能的软件开发进行了概要性的论述和分析,并对其理想形态进行了初步的探索.我们希望通过这些论述和分析,能够为软件工程领域的研究者对相关问题及其研究实践现状的理解提供一种有价值的观察视角,为软件工程在互联网环境下的创新性发展贡献一些可能有用的信息和观点.

关键词：软件工程互联网群体智能开源软件软件众包

来源：评论

学校读者我要写书评

暂无评论

大模型时代的自然语言处理:挑战、机遇与发展

引用

中国科学：信息科学 2023年第9期53卷 1645-1687页

作者：车万翔窦志成冯岩松桂韬韩先培户保田黄民烈黄萱菁刘康刘挺刘知远秦兵邱锡鹏万小军王宇轩文继荣严睿张家俊张民张奇赵军赵鑫赵妍妍北京大学王选计算机研究所北京100080 复旦大学计算机科学技术学院上海200438 复旦大学现代语言学研究院上海200433 哈尔滨工业大学计算学部哈尔滨150001 哈尔滨工业大学(深圳)计算机科学与技术学院深圳518055 清华大学计算机科学与技术系北京100084 苏州大学计算机科学与技术学院苏州215006 之江实验室杭州311121 中国科学院自动化研究所北京100190 中国科学院软件研究所北京100190 中国人民大学高人工智能学院北京100872

近期发布的ChatGPT和GPT-4等大型语言模型,不仅能高质量完成自然语言生成任务,生成流畅通顺,贴合人类需求的语言,而且具备以生成式框架完成各种开放域自然语言理解任务的能力.在少样本、零样本场景下,大模型可取得接近乃至达到传统监督... 详细信息

近期发布的ChatGPT和GPT-4等大型语言模型,不仅能高质量完成自然语言生成任务,生成流畅通顺,贴合人类需求的语言,而且具备以生成式框架完成各种开放域自然语言理解任务的能力.在少样本、零样本场景下,大模型可取得接近乃至达到传统监督学习方法的性能,且具有较强的领域泛化性,从而对传统自然语言核心任务产生了巨大的冲击和影响.本文就大模型对自然语言处理的影响进行了详细的调研和分析,试图探究大模型对自然语言处理核心任务带来哪些挑战和机遇,探讨大模型将加强哪些自然语言处理共性问题的研究热度,展望大模型和自然语言处理技术的未来发展趋势和应用.分析结果表明,大模型时代的自然语言处理依然大有可为.我们不仅可以将大模型作为研究方法和手段,学习、借鉴大型语言模型的特点和优势,变革自然语言处理的主流研究范式,对分散独立的自然语言处理任务进行整合,进一步提升自然语言核心任务的能力;还可就可解释性、公平性、安全性、信息准确性等共性问题开展深入研究,促进大模型能力和服务质量的提升.未来,以大模型作为基座,拓展其感知、计算、推理、交互和控制能力,自然语言处理技术将进一步助力通用人工智能的发展,促进各行各业的生产力进步,更好地为人类社会服务.

关键词： ChatGPT 对话式大模型大型语言模型自然语言处理通用人工智能

来源：评论

学校读者我要写书评

暂无评论

软件体系结构专刊前言

引用

软件学报 2006年第6期17卷 1255-1256页

作者：梅宏吕建江苏南京210093 北京大学信息科学技术学院软件研究所计算机软件新技术国家重点实验室(南京大学) 北京100871

过去的一年(2005-2006)是软件体系结构研究值得纪念的一年.十年前,第1届软件体系结构国际研讨会(International Workshop on Software Architecture,IWSA-1)召开,IEEE Software和IEEE Transactions on SoftwareEngineering软件体系结构专刊出版,软件体系结构领域的重要著作《Software Architecture:Perspectives on anEmerging Discipline))问世,标志着软件体系结构作为软件工程的一个研究分支正式提出.十年后的今天,软件体系结构领域已经吸引了大量的实践和研究人员参与进来,也涌现了不少与之相关的会议、期刊、培训和标准.为了纪念软件体系结构领域的十年发展,学术界举行了许多庆祝活动,典型的如在2005年IEEE/IFIP软件体系结构工作会议(IEEE/IFIP Working Conference on Software Architecture,WICSA’05)上举行的十周年庆典,IEEESoftware出版的新一期软件体系结构专刊(2006年3、4月期),软件体系结构研究的先驱者Mary Shaw和PaulClements联合发表的综述文章The Golden Age of Software Architecture:A Comprehensive Survey.一个基本共识是,现今已进入软件体系结构研究与实践的繁荣时期.

关键词：软件体系专刊

来源：评论

学校读者我要写书评

暂无评论

基于模型转换的MARTE顺序图的形式化分析

引用

小型微型计算机系统 2013年第1期34卷 100-106页

作者：朱梅霞王捍贫刘西奎韩晓琼天津工业大学计算机科学与软件学院天津300387 北京大学信息科学技术学院软件研究所北京100871 教育部高可信软件技术重点实验室北京100871 山东科技大学信息科学与工程学院山东青岛266510

作为一项新规范,MARTE有许多方面亟待完善.如何对依照MARTE设计的模型开展验证是待解决问题之一.对象管理组织提出用模型转换的方法将依照MARTE设计的模型(记为A)转换成另一种具有完备的验证方法和工具的形式化模型(记为B),然后对B进行... 详细信息

作为一项新规范,MARTE有许多方面亟待完善.如何对依照MARTE设计的模型开展验证是待解决问题之一.对象管理组织提出用模型转换的方法将依照MARTE设计的模型(记为A)转换成另一种具有完备的验证方法和工具的形式化模型(记为B),然后对B进行验证和精化,以完成A的验证和精化工作.此思想面临的难题是如何保证B能够完整且准确地模拟A的行为.提出了形式化模型-TTS4SD,用来描述MARTE规范定义的带时间约束的顺序图的形式语义并在此基础上展开分析.首先给出顺序图的形式定义,把时间变迁系统(TTS)扩充成TTS4SD,用TTS4SD描述顺序图的形式语义,最后对TTS4SD展开分析.这在一定程度上提高了设计阶段模型的正确性.通过一个实例说明从顺序图到TTS4SD的转化过程以及基于TTS4SD的验证方法.

关键词：实时系统形式化方法 MARTE 时间变迁系统验证

来源：评论

学校读者我要写书评

暂无评论

融合结构与语义特征的代码注释决策支持方法

引用

软件学报 2018年第8期29卷 2226-2242页

作者：黄袁贾楠周强陈湘萍熊英飞罗笑南中山大学数据科学与计算机学院广东广州510006 国家数字家庭工程技术研究中心广东广州510006 河北地质大学管理科学与工程学院河北石家庄050031 中山大学先进技术研究院广东广州510006 北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

代码注释是辅助编程人员理解源代码的有效手段之一.高质量的注释决策不仅能够覆盖软件系统中的核心代码片段,还能避免产生多余的代码注释.然而在实际开发中,编程人员往往缺乏统一的注释规范,大部分的注释决策都取决于个人经验以及领域知... 详细信息

代码注释是辅助编程人员理解源代码的有效手段之一.高质量的注释决策不仅能够覆盖软件系统中的核心代码片段,还能避免产生多余的代码注释.然而在实际开发中,编程人员往往缺乏统一的注释规范,大部分的注释决策都取决于个人经验以及领域知识.对于新手程序员来说,注释决策显然成为一项重要而艰巨的任务.为了减少编程人员投入过多的精力在注释决策上,从大量的代码注释实例中学习出一种通用的注释决策规范,并提出了CommentAdviser方法,以辅助编程人员在代码开发过程中做出恰当的注释决策.由于注释决策与代码本身的上下文信息密切相关,因此,从当前代码行的上下文代码中提取代码结构特征以及代码语义特征作为支持注释决策的主要依据.然后,利用机器学习算法判定当前代码行是否为可能的注释点.在GitHub中的10个大型开源软件的数据集上评估了所提出的方法,实验结果以及用户调研表明,代码注释决策支持CommentAdviser方法的可行性和有效性.

关键词：代码注释结构特征语义特征机器学习注释决策

来源：评论

学校读者我要写书评

暂无评论

生成式对抗网络:从生成数据到创造智能

引用

自动化学报 2018年第5期44卷 769-774页

作者：王坤峰左旺孟谭营秦涛李力王飞跃中国科学院自动化研究所复杂系统管理与控制国家重点实验室北京100190 青岛智能产业技术研究院青岛266000 哈尔滨工业大学计算机科学与技术学院哈尔滨150001 北京大学信息科学技术学院北京100871 微软亚洲研究院北京100080 清华大学自动化系北京100084 国防科技大学军事计算实验与平行系统技术研究中心长沙410073

技术创新是社会经济发展的核心驱动力.继以物联网、云计算、大数据和移动互联网为代表的信息技术之后,以深度学习为代表的人工智能技术蓬勃发展,被公认是社会经济发展的新动能和新引擎,有望在农业生产、工业制造、经济金融、社会管理等... 详细信息

技术创新是社会经济发展的核心驱动力.继以物联网、云计算、大数据和移动互联网为代表的信息技术之后,以深度学习为代表的人工智能技术蓬勃发展,被公认是社会经济发展的新动能和新引擎,有望在农业生产、工业制造、经济金融、社会管理等众多领域产生颠覆性变革.

关键词：生成式对抗网络生成数据创造智能

来源：评论

学校读者我要写书评

暂无评论

浅论软件技术发展

引用

电子学报 2002年第12A期30卷 1901-1906页

作者：杨芙清梅宏吕建金芝北京大学信息科学技术学院软件研究所北京100871 南京大学计算机软件新技术国家重点实验室江苏南京210096 中国科学院数学与系统科学研究院北京100080

本文以软件基本模型的发展为主线,对软件技术的历史和现状进行了回顾;分析了Internet的基本特征及其对软件技术带来的需求和挑战;总结提炼出Internet环境下软件的新形态——网构软件(Internetware),探讨了其不同于传统软件的主要特性和... 详细信息

本文以软件基本模型的发展为主线,对软件技术的历史和现状进行了回顾;分析了Internet的基本特征及其对软件技术带来的需求和挑战;总结提炼出Internet环境下软件的新形态——网构软件(Internetware),探讨了其不同于传统软件的主要特性和主要研究方向.

关键词：软件技术 Internet 网构软件因特网 Internetware 回顾

来源：评论

学校读者我要写书评

暂无评论

数据多次发布的隐私保护研究进展

引用

计算机应用研究 2014年第12期31卷 3527-3530页

作者：喻梁文王永刚胡建斌陈钟北京大学信息科学技术学院软件研究所北京100871 北京大学高可信软件技术教育部重点实验室北京100871 国家计算机网络应急技术处理协调中心北京100029

数据发布的隐私保护研究主要分为两类:数据单次发布和数据多次发布。目前,数据单次发布的隐私保护研究已经趋于完善。但是在真实的世界中,待发布的数据通常是动态变化的,数据多次发布的隐私保护是目前该领域的研究热点。对数据多次发布... 详细信息

数据发布的隐私保护研究主要分为两类:数据单次发布和数据多次发布。目前,数据单次发布的隐私保护研究已经趋于完善。但是在真实的世界中,待发布的数据通常是动态变化的,数据多次发布的隐私保护是目前该领域的研究热点。对数据多次发布的隐私保护研究成果进行了总结,介绍了关系数据和社会网络数据的隐私保护模型,深入地分析了现有的关系数据和社会网络数据多次发布的各种方法,并指明了该领域的未来研究方向。

关键词：关系数据社会网络数据隐私保护数据单次发布数据多次发布

来源：评论

学校读者我要写书评

暂无评论

申威架构下的虚拟机访存特征提取方法

引用

计算机工程与科学 2020年第12期42卷 2109-2116页

作者：沙赛王超杜翰霖罗英伟汪小林王振林北京大学信息科学技术学院北京100871 江南计算技术研究所江苏无锡214083 密歇根理工大学计算机系霍顿密歇根州49246

虚拟化技术是云服务的重要支柱之一,虚拟化充分扩展了物理资源的灵活性,提升了物理资源的利用率。随着国家信息化水平的发展,云服务器核心技术自主可控、安全高效的要求不断提高。近年来,作为国产服务器的典型代表,申威架构服务器的功... 详细信息

虚拟化技术是云服务的重要支柱之一,虚拟化充分扩展了物理资源的灵活性,提升了物理资源的利用率。随着国家信息化水平的发展,云服务器核心技术自主可控、安全高效的要求不断提高。近年来,作为国产服务器的典型代表,申威架构服务器的功能不断完善。提出了申威架构上的虚拟机访存特征提取方法,充分利用了申威架构独特优势,实时测算虚拟机的内存缺失率曲线,并最终计算工作集大小,同时利用热页集机制大幅度减少页面追踪的性能开销。实验结果表明,该方法可以准确计算虚拟机工作集大小,平均误差低于3%,平均性能开销不高于8.3%。本工作为申威虚拟机内存动态分配提供条件,最终目标是提高申威云服务器整体性能和内存利用率。

关键词：申威虚拟化内存工作集内存缺失率曲线热页集

来源：评论

学校读者我要写书评

暂无评论

城市规划中基于IS的多通道分层整合方法

引用

计算机工程 2009年第14期35卷 273-276页

作者：贺毅岳王亮华庆一张凤军高妮西北大学信息科学与技术学院西安710127 中科院计算机科学国家重点实验室北京100190 中国科学技术大学计算机科学与技术系合肥230027 中科院软件研究所人机交互技术与智能信息处理实验室北京100190

提出一种基于交互语义的多通道分层整合方法,该方法结合概率以及时间约束等内容,从多通道的输入信息中捕获用户交互意图,形成交互任务。将其应用于虚拟环境中,根据实际需求设计并实现多种多通道交互技术,同时举例分析其整合过程。仿真... 详细信息

提出一种基于交互语义的多通道分层整合方法,该方法结合概率以及时间约束等内容,从多通道的输入信息中捕获用户交互意图,形成交互任务。将其应用于虚拟环境中,根据实际需求设计并实现多种多通道交互技术,同时举例分析其整合过程。仿真实验结果表明,该方法是有效可行的。

关键词：交互语义分层整合多通道交互上下文虚拟城市规划

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：