首页 文章 精选 留言 我的

精选列表

搜索[建筑智能化],共8690篇文章
优秀的个人博客,低调大师

我在阿里云做前端代码智能化

作为一个整天以代码为伴的码农,避免不了会接触到各种代码提示工具,但是呢,用久了之后会发现他们都有个共同点,那就是模型巨大,动辄几百兆;并且模型大必然需要更多的计算,同样会导致电脑内存占用高,风扇呼呼的转,时间久了逐渐会发现电脑存储不够用了,电脑变卡了等等问题。 那么,有没有一款轻量化的代码提示插件?或者说,如何实现一款轻量化的代码提示插件呢? 下面我会从 模型选择、模型实现、模型优化三个方面 来介绍我们在代码智能提示方面的一些实践。 模型选择 如何衡量一个模型的效果是好还是不好呢? 我们首先建立了基本的模型衡量体系,见下图。 我们会从推荐的准确性、完整性、连续性、性能、个性化以及智能性六个维度去综合评价一个模型的优劣。之后,我们会进一步完善这个体系,使之能够系统完整的评测模型的效果。 实践中,我们选取了 GPT-2模型和基于markov的n-gram统计模型进行对比。 对比发现,GPT-2模型在准确性和完整性方面表现优异,但是在性能方面,由于模型较大,推荐一次耗时较久,(这里我们试了最少参数的版本,训练之后模型在500M左右,推荐一次大概需要10S),由于暂时没找到模型压缩的方法,只能暂时放弃。 另一个n-gram模型,在测试后发现,它在持续推荐和性能方面表现优异,模型大小仅有40M,但也并非完美,在准确性和完整性方面表现的不是很好。 在实践中,我们发现,推荐耗时在毫秒级别能够使用户顺畅无阻碍的编写下去,多于1s,则会让用户的输入产生停顿。 基于此我们暂时选取n-gram作为我们的推荐模型。 模型实现 下面介绍一下n-gram模型的基本原理以及我们的实现。 首先,n-gram模型基于马尔可夫链的假设,即:当前这个词出现的概率仅仅跟前面几个有限的词相关。 以最简单的n=2为例,即 下一个词出现的概率仅跟之前一个词相关,基于这个思想,我们将大量代码进行切分,这样我们得到了很多的二元组,这里可以使用单词的出现次数代表概率。这样,我们根据一个词就可以得到一个不同概率分布的推荐列表,然后每次都以当前词进行推荐,就可以产生持续不断的推荐了。切分的效果参考这张图 以下是模型训练和产生推荐的大致流程。 模型优化 在真实应用中,仅仅有这些是远远不够的。模型只是其中一部分,更多的应该是在应用过程中,依据实践经验和用户的反馈,对模型进行不断调优: 比如,在实际应用中,基于同一个上下文,我们一般会同时产生基于n=3,n=4等等不通粒度的推荐,我们会给不通粒度赋予不同的权重,然后结合概率进行筛选和排序,并且根据实际效果以及我们的反馈体系,对权重进行断优化,确保产生最佳效果的推荐。 另外,为了让推荐更加个性化,我们的模型需要具备实时训练的能力,即用户的输入在产生推荐的同时,还要参与模型的增量训练,并根据用户实际的选择对模型进行调优,确保模型的准确性和个性化,大致流程图如下 还有,为了得到更加轻量的模型,我们对语料库也进行了精简,比如,在初始模型中,我们对出现概率极低的语料进行了删减,保持模型的轻巧和高效,同时由于具备实时训练的能力,确保这个操作不会影响到推荐的准确率。 结语 当然,目前的这些对于一个轻巧好用的代码提示来说是远远不够的,当前我们正在尝试完善模型的衡量体系,并且在尝试更多轻量的语言模型,希望给用户提供完美的体验。 原文链接 本文为阿里云原创内容,未经允许不得转载。

优秀的个人博客,低调大师

SAP+阿里云助力企业智能化转型

阿里云人工智能科学家闵万里博士发表主题演讲,回顾了阿里云的发展,以及与SAP的战略合作成果。阿里云目前付费云计算客户已经迈过100万大关,据Gartner、IDC等调研机构等数据显示,阿里云不仅在国内是最大的云厂商同时在全球也处于领先地位。SAP与阿里云的合作进入对外服务阶段,未来还将加强在人工智能领域的合作,以此提升企业数字化转型的速度与驱动力,为企业创造新价值。 当下,利用人工智能提升效能已经成为共识。如何有效利用人工智能来帮助企业进行市场分析、精准营销等也是企业CIO们都在思考的话题。闵万里博士表示,阿里云目前正在探索与SAP产品相结合,利用阿里云在大数据、人工智能方面的优势,与SAP一起让企业解决方案更加“智能”,创造新价值。 另外,阿里云商业合作部技术总监孙峣也发表了《SAP与阿里云的故事》的演讲。自2016年4月在云栖大会•深圳峰会上双方宣布达成战略合作起,双方在SaaS、数据库、企业级应用及行业解决方案等领域密切合作,为客户推出了多重产品与服务。 ▲ SAP阿里云合作旅程 当前阿里云已获得了SAP HANA的相关认证,用户可以在阿里云上放心部署和运行基于SAP HANA数据库的关键业务系统。此外,作为计划的后续,阿里云正在和SAP紧密合作,努力推动客户在阿里云上部署S/4HANA的ERP系统。 SAP在企业管理软件领域有着丰富经验,结合阿里云弹性扩展、快速部署、高度稳定性、全球基础设施等优势相融合,可以帮助企业轻松应对业务变化,加速业务系统的部署。在保证业务系统的持续性与稳定性的同时降低IT了系统运营成本。 两天的展会,阿里云的展台上吸引了大量的人流,其中呈现的SAP Hybris企业级电商解决方案受到了参会嘉宾的广泛关注。 电商系统的系统负载通常随机分布,并且峰值与谷值的系统负载差异极大。高度、动态可扩展性,一直是电商解决方案痛点中的痛点。这种可扩展性的需求,不仅仅体现在计算资源,在中间件、关系型数据库层面更为关键。阿里云为此与SAP进行全方位、多层次的融合,不仅仅停留在云基础设施,更包含了安全、中间件等各个方面。希望通过阿里云久经考验的分布式中间件EADS和分布式数据库RDRS等技术,来最大程度满足SAP Hybris电商系统的弹性可扩展性,从而更好的服务企业。 此外SAP HANA One、SAP Cloud for Customer、SAP Business ByDesign等SAP的标杆产品服务已经在阿里云云市场上上架,随着合作的进一步深入,更多的SAP企业级应用将会在阿里云上为客户提供服务。

优秀的个人博客,低调大师

IBMS:打破系统“孤岛”,给整栋建筑装上一个“超级大脑”

如果你走进一座大型商业综合体的中控室,可能会看到这样的场景:左边一台电脑屏幕上显示着空调系统的运行参数,右边另一台屏幕上是消防报警主机的状态界面,角落里的第三台显示器播放着安防摄像头的实时画面——而这三台设备互不通信,操作员需要分别登录三个不同系统、三套账号密码,才能完成一次完整的巡检。

资源下载

更多资源
Mario

Mario

马里奥是站在游戏界顶峰的超人气多面角色。马里奥靠吃蘑菇成长,特征是大鼻子、头戴帽子、身穿背带裤,还留着胡子。与他的双胞胎兄弟路易基一起,长年担任任天堂的招牌角色。

Spring

Spring

Spring框架(Spring Framework)是由Rod Johnson于2002年提出的开源Java企业级应用框架,旨在通过使用JavaBean替代传统EJB实现方式降低企业级编程开发的复杂性。该框架基于简单性、可测试性和松耦合性设计理念,提供核心容器、应用上下文、数据访问集成等模块,支持整合Hibernate、Struts等第三方框架,其适用范围不仅限于服务器端开发,绝大多数Java应用均可从中受益。

Rocky Linux

Rocky Linux

Rocky Linux(中文名:洛基)是由Gregory Kurtzer于2020年12月发起的企业级Linux发行版,作为CentOS稳定版停止维护后与RHEL(Red Hat Enterprise Linux)完全兼容的开源替代方案,由社区拥有并管理,支持x86_64、aarch64等架构。其通过重新编译RHEL源代码提供长期稳定性,采用模块化包装和SELinux安全架构,默认包含GNOME桌面环境及XFS文件系统,支持十年生命周期更新。

Sublime Text

Sublime Text

Sublime Text具有漂亮的用户界面和强大的功能,例如代码缩略图,Python的插件,代码段等。还可自定义键绑定,菜单和工具栏。Sublime Text 的主要功能包括:拼写检查,书签,完整的 Python API , Goto 功能,即时项目切换,多选择,多窗口等等。Sublime Text 是一个跨平台的编辑器,同时支持Windows、Linux、Mac OS X等操作系统。

用户登录
用户注册