没有找到合适的产品?
联系客服协助选型:023-68661681
提供3000多款全球软件/控件产品
针对软件研发的各个阶段提供专业培训与技术咨询
根据客户需求提供定制化的软件开发服务
全球知名设计软件,显著提升设计质量
打造以经营为中心,实现生产过程透明化管理
帮助企业合理产能分配,提高资源利用率
快速打造数字化生产线,实现全流程追溯
生产过程精准追溯,满足企业合规要求
以六西格玛为理论基础,实现产品质量全数字化管理
通过大屏电子看板,实现车间透明化管理
对设备进行全生命周期管理,提高设备综合利用率
实现设备数据的实时采集与监控
利用数字化技术提升油气勘探的效率和成功率
钻井计划优化、实时监控和风险评估
提供业务洞察与决策支持实现数据驱动决策
转帖|行业资讯|编辑:黄竹雯|2017-02-24 15:43:16.000|阅读 273 次
概述:微软和剑桥大学的研究员近日发布了一篇论文,文中阐述了其科研成果——一个会编程的机器学习系统。该系统叫DeepCoder,能够解决编程比赛所涉及到的基础编程题目。该系统为不会编程的人提供了制作简易程序的可能。
# 界面/图表报表/文档/IDE等千款热门软控件火热销售中 >>
微软和剑桥大学的研究员近日发布了一篇论文,文中阐述了其科研成果——一个会编程的机器学习系统。该系统叫,能够解决编程比赛所涉及到的基础编程题目。该系统为不会编程的人提供了制作简易程序的可能。(点击获取论文)
DeepCoder的创造者之一,在剑桥大学参与微软研究项目的 Marc Brockschmidt表示:“该程序最终可以让非编程人员通过向计算机描述自己的程序构想来获得想要的程序,系统会自动写就。”
DeepCoder所用的技术叫程序合成( program synthesis),通过截取已有软件的代码行来组成新的程序,不得不承认,当下很多程序员也是这样做的。通过学习一系列代码片(code fragment)的输入(inputs)和输出(outputs)数据,DeepCoder能自动摘取出对目标任务有用的代码片。
机器的检索速度、广度、及深度强于人类程序员,这很好理解。更重要的是,机器能够以其出其不意的方式组合代码片,换句话说,该系统或许正以其“机器视角”革新编程这件事。
基于以上原因,该系统编写代码的速度远快于人类。旧有的编程AI需要不断地尝试代码片组合以使程序成功运行,一般来说这一过程需要几分钟。但DeepCoder可以在一秒钟之内写出能够跑通的程序。随着DeepCoder的编程经验增加,其分辨有用及无用的代码片的能力增加,其生成程序的速度将会越来越快。
不过麻省理工大学研究员 Solar-Lezama表示,程序员并不会因此而失业,“在程序员为DeepCoder搭建起程序框架之后,就能够将精力放在更复杂、更需要经验驱动的事情上”。
目前DeepCoder只能生成五行左右代码的程序。但对于某些编程语言来说,五行代码就足够了,不是吗?
目前让机器自动生成一个大规模的程序还不现实,但大程序也是由小的代码片堆成的。
在知名评论网站Hacker News上,有网友就此事评论道:“论文里的方法很特别,旧有的GPs、GA技术耗时长,错误率大。”
另有网友做出了挑战生成模型根本性的疑问:“和监督学习不同,这些能够生成人脸、画作、代码的生成模型,并没有客观的测试集来验证它们是否真的‘生成’了东西。你怎么知道这些被生成的东西不是从训练数据集里简单提取拼凑的呢?”
文章转自()
本站文章除注明转载外,均为本站原创或翻译。欢迎任何形式的转载,但请务必注明出处、不得修改原文相关链接,如果存在内容上的异议请邮件反馈至chenjj@fc6vip.cn
在工业数字化和智能制造的进程中,设备互联、系统集成和数据安全是每个企业绕不开的话题。
随着人工智能(AI)的迅速发展,如何让AI系统与外部工具、数据源和服务顺畅协作,成为了技术开发中的一大挑战。模型上下文协议(MCP)为AI系统之间提供了标准化的连接方式,而SmartBear API Hub则为开发者提供了强大的工具集,帮助简化MCP开发过程,提升系统的可靠性和可扩展性。本文将深入探讨如何通过SmartBear API Hub高效应对MCP开发中的各种挑战,从而助力开发者构建更加稳
在功能安全领域,软件开发需满足严格的验证与确认要求。传统模式下,一般需要组合多种工具来完成不同阶段的测试。作为一款专注于代码质量和功能安全的自动化测试工具,Parasoft C/C++test 提供了静态分析、单元测试、覆盖率验证等能力的集成化测试解决方案,该工具通过TÜV SÜD权威认证,能够帮助企业系统化落实功能安全要求,降低合规难度。
在功能安全项目中,开发工具可信度是认证审核的关键。工具鉴定通常伴随巨大的工作量、复杂的文档和较高的项目风险。传统流程中,团队需耗费大量资源完成工具鉴定测试与认证文档准备。作为专注于代码质量和功能安全的自动化测试工具,Parasoft C/C++test 凭借“预认证背书”与“自动化认证工具包”的相结合,将复杂工作转化为标准化测试流程,从根本上帮助企业降低合规风险与成本。
服务电话
重庆/ 023-68661681
华东/ 13452821722
华南/ 18100878085
华北/ 17347785263
客户支持
技术支持咨询服务
服务热线:400-700-1020
邮箱:sales@fc6vip.cn
关注我们
地址 : 重庆市九龙坡区火炬大道69号6幢