天津大学、北航深度参与华为'仓颉”,推出首个基于国产编程语言的 AI 智能体编程框架'苍穹”
本站 6 月 22 日消息,华为昨日面向全球开发者介绍华为自研编程语言 —— 仓颉(Cangjie)。这是仓颉编程语言的首次公开亮相。
本站查询获悉,天津大学、北京航空航天大学深度参与了华为“仓颉”的研发。
天津大学:仓颉编程语言编译器
天津大学智能与计算学部软件工程团队携手华为仓颉团队,深度参与仓颉编程语言编译器的质量保障研究。
据介绍,仓颉编译器是与仓颉编程语言共生的基础软件。在仓颉编程语言的筹备阶段,与之相配的高质量编译器成为核心目标之一。随着仓颉编程语言的演化,仓颉编译器也在不断地升级、改进。

五年来,天津大学智能与计算学部软件工程团队陈俊洁教授、王赞教授、姜佳君研究员,以及赵英全、付瑞丰、郭以勒、郑开、樊兴宇等十余名研究生,围绕着仓颉编译器测试工作开展深入研究,提出数据驱动的仓颉编译器系统化测试框架,涵盖基于程序综合的测试程序生成技术、基于程序变异的测试预言构造技术、基于代码表示的测试过程加速技术等多项先进技术。成果在软件工程领域顶会 ICSE、ISSTA 等发表多篇学术论文,并已部署至仓颉编译器的实际测试中,显著提升仓颉编译器测试效果。
基于程序综合的测试程序生成技术:该项技术将程序代码拆解成细粒度代码片段,彼此之间涉及不同的语言特征,进而在语法语义约束的指导下,实现测试程序的高效合成。值得注意的是,该项技术能够以历史缺陷作为基础数据,提取与缺陷相关的代码片段,并将其融合至多样的代码上下文中,以激发其触发更多缺陷、执行更多代码分支的能力。
基于程序变异的测试预言构造技术:该项技术通过对仓颉编程语言语法语义进行深入分析与挖掘,设计一系列等价变异算子与不等价变异算子。前者在测试预言上提供补充,融合蜕变测试思想,提升技术揭错能力,而后者则进一步增强测试程序多样性,引入更多仓颉语言特性、底层库调用等信息,实现对仓颉编译器的更充分测试。
基于代码表示的测试过程加速技术:该项技术旨在提升编译器测试效率,以在更短的时间内检测到更多的编译器缺陷。该项技术将测试程序代码进行片段化,并引入代码表示学习策略将其在语言定义空间中进行表征。进而,该项技术从多样性角度进行代码片段的利用、测试程序的生成,并将测试结果作为反馈,进一步指导后续测试过程,从而提升测试整体效率。
北航:苍穹 AI 智能体编程框架
北京航空航天大学软件学院黎立老师团队深度参与基于仓颉编程语言的 AI 智能体编程框架 —— 苍穹(CangChain)开发,这是首个基于国产编程语言的 AI 智能体编程框架。

据介绍,苍穹诞生于仓颉社区,得到仓颉编程语言官方团队的技术支持。作为一个社区开源项目,苍穹采用模块化设计和功能,旨在为软件工程人员提供软件集成模型、安全访问私有数据并进行数据交互的可靠功能。
基于模块化的设计理念,苍穹使得开发者可根据自身特定需求,选择和组合不同的模块。在实现任务的过程中,苍穹可将任务分解成多个子任务,针对每个子任务选择构建合适的代理(Agent)允许语言模型与外部 API 交互,调用满足子任务目标实现的工具(Tool),利用任务链(Chain)串联起每个子任务,最终得到任务求解。
黎立老师团队主要参与了苍穹中 ReAct 框架和多智能体 Planner 调度的设计开发实现。
在具体应用中,团队设计并实现了一个多智能体(Multi-Agent)的系统,包含以下四个关键角色:Docwriter、CodeWriter、CodeTester 和 CodeReviewer。这些智能体在苍穹平台上紧密协作,共同完成 2048 等经典游戏的开发任务。
Docwriter:负责编写详细的需求文档和设计规范。在游戏开发的初期,Docwriter 通过与用户以及其他智能体的交流,深入了解并记录游戏的功能需求和设计思路,为后续步骤提供详细的蓝图。
CodeWriter:负责根据设计文档编写源代码。CodeWriter 运用先进的编程技巧和算法,将 Docwriter 提供的需求转化为具体的代码实现。苍穹框架中 ReAct 的“推理-行动”模式有效提升了 CodeWriter 的编程效率和准确性。
CodeTester:在源代码完成初步编写后,CodeTester 会自动生成并运行一系列测试用例,确保代码功能的正确性和稳定性。CodeTester 利用定义好的各种工具构造测试用例,并执行相应的测试用例,定位并反馈代码中的潜在问题,提高代码质量。
CodeReviewer:负责对 CodeWriter 编写的代码进行全面审查,确保代码符合最佳实践和质量标准。CodeReviewer 不仅会检查代码的功能实现,还会关注代码的可读性和可维护性,提出优化建议。

通过苍穹的模块化设计和多智能体的智能调度,这些角色智能体能够高效分工、互相协作,不断迭代优化,最终完成游戏开发任务。具体来说,任务链(Chain)机制将各个子任务有效串联,智能体间的信息交互则通过 Planner 调度实现无缝连接,提升了开发效率和代码质量。
未来,北京航空航天大学软件学院团队将计划继续拓展苍穹的应用领域,深入研究多智能体系统在其他复杂任务中的应用潜力。
以上是天津大学、北航深度参与华为'仓颉”,推出首个基于国产编程语言的 AI 智能体编程框架'苍穹”的详细内容。更多信息请关注PHP中文网其他相关文章!

热AI工具

Undresser.AI Undress
人工智能驱动的应用程序,用于创建逼真的裸体照片

AI Clothes Remover
用于从照片中去除衣服的在线人工智能工具。

Undress AI Tool
免费脱衣服图片

Clothoff.io
AI脱衣机

Video Face Swap
使用我们完全免费的人工智能换脸工具轻松在任何视频中换脸!

热门文章

热工具

记事本++7.3.1
好用且免费的代码编辑器

SublimeText3汉化版
中文版,非常好用

禅工作室 13.0.1
功能强大的PHP集成开发环境

Dreamweaver CS6
视觉化网页开发工具

SublimeText3 Mac版
神级代码编辑软件(SublimeText3)

本站6月24日消息,在6月21日HDC2024华为开发者大会主题演讲上,华为终端BG软件部总裁龚体正式官宣了华为自研仓颉编程语言。该语言历经5年研发沉淀,现已开启开发者预览。华为开发者官网现已推出仓颉编程语言官方入门教程视频,方便开发者初步上手理解。该教程将带用户体验仓颉、学习仓颉、应用仓颉,包括用仓颉语言估算圆周率、计算2024年各月的干支纪法、看到二叉树在仓颉语言中的N种表达方式,以及用枚举类型实现代数计算、用接口和扩展实现信号系统模拟,还有用仓颉宏扩展出新语法等等。本站附教程访问地址:ht

本站6月21日消息,在今日下午的HDC2024华为开发者大会上,华为终端BG软件部总裁龚体正式官宣了华为自研仓颉编程语言,并发布了HarmonyOSNEXT仓颉语言开发者预览版。这是华为首次公开发布仓颉编程语言。龚体表示:“2019年,仓颉编程语言项目在华为诞生,历经5年研发沉淀,大量研发投入,今日终于和全球开发者见面。仓颉编程语言通过现代语言特性的集成、全方位的编译优化和运行时实现、以及开箱即用的IDE工具链支持,为开发者打造友好开发体验和卓越程序性能。”据介绍,仓颉编程语言是一款面向全场景智

本站6月21日消息,华为自研仓颉编程语言今日正式亮相,官方宣布开启HarmonyOSNEXT仓颉语言开发者预览版Beta招募。本次升级为开发者预览版尝鲜升级,提供仓颉语言SDK、开发者指南以及相关的DevEcoStudio插件,供开发者使用仓颉语言开发、调试及运行HarmonyOSNext应用。报名周期:2024年6月21日-2024年10月21日申请要求:本次HarmonyOSNEXT仓颉语言开发者预览版Beta招募活动,仅面向以下开发者开放报名:1)已在华为开发者联盟完成实名认证;2)完成H

本站6月22日消息,华为昨日面向全球开发者介绍华为自研编程语言——仓颉(Cangjie)。这是仓颉编程语言的首次公开亮相。本站查询获悉,天津大学、北京航空航天大学深度参与了华为“仓颉”的研发。天津大学:仓颉编程语言编译器天津大学智能与计算学部软件工程团队携手华为仓颉团队,深度参与仓颉编程语言编译器的质量保障研究。据介绍,仓颉编译器是与仓颉编程语言共生的基础软件。在仓颉编程语言的筹备阶段,与之相配的高质量编译器成为核心目标之一。随着仓颉编程语言的演化,仓颉编译器也在不断地升级、改进。五年来,天津大

本站6月21日消息,在今日举行的华为HDC2024开发者大会上,华为常务董事、华为云CEO张平安宣布盘古大模型5.0正式发布,在全系列、多模态、强思维三个方面实现升级。全系列:盘古大模型5.0包含不同参数规格的模型,以适配不同的业务场景。多模态:盘古大模型5.0能够更好更精准地理解物理世界,包括文本、图片、视频、雷达、红外、遥感等更多模态。在生成方面,盘古5.0,可以生成符合物理世界规律的多模态内容,让创新随心所欲。强思维:复杂逻辑推理是大模型成为行业助手的关键。盘古大模型5.0将思维链技术与策

本站6月21日消息,在HDC2024华为开发者大会前,华为自研仓颉编程语言正式亮相,仓颉官网现已上线。官网介绍显示,仓颉编程语言是一款面向全场景智能的新一代编程语言,主打“原生智能化、天生全场景、高性能,强安全”。融入鸿蒙生态,为开发者提供良好的编程体验。本站附官网介绍如下:原生智能化内嵌AgentDSL的编程框架,自然语言&编程语言有机融合;多Agent协同,简化符号表达,模式自由组合,支持各类智能应用开发。天生全场景轻量化可缩放运行时,模块化分层设计,内存再小也能装得下;全场景领域扩

近期有很多小伙伴咨询小编MicrosoftEdge浏览器不显示图片怎么办,接下来就让我们一起学习一下MicrosoftEdge浏览器不显示图片的解决方法吧,希望可以帮助到大家。1、首先点击左下角开始,右击“Microsoftedge浏览器”,如下图所示。2、然后选择“更多”,点击“应用设置”,如下图所示。3、接着下滑找到“图片”,如下图所示。4、最后将图片下方的开关打开即可,如下图所示。上面就是小编为大家带来的MicrosoftEdge浏览器不显示图片怎么办的全部内容,希望对大家能够有所帮助哦。

C++与其他现代编程语言的优缺点对比为:C++优势:高性能、低级控制、丰富的库生态系统。C++劣势:学习曲线陡峭、手动内存管理、可移植性受限。Python优势:学习曲线平滑、广泛的库支持、解释型语言。Java优势:平台无关、自动内存管理、广泛应用。JavaScript优势:前端开发必备、轻量级、动态类型。
