开源鸿蒙技术大会2025 | AI软件工程分论坛:智能创新,赋能开源鸿蒙软件工程
近日,开源鸿蒙技术大会2025 AI软件工程分论坛在湖南长沙国际会议中心圆满举行。本次论坛围绕开源鸿蒙智能化软件工程技术,直击开源鸿蒙开发者三大核心诉求:在“降本”维度,通过代码模型小型化降低AI工具链使用门槛;在“增效”层面,构建大模型评测体系提升开发效率;在“安全”领域,凭借AI驱动的漏洞检测方案降低生态风险。
此次论坛产学研阵容豪华,由北京大学、清华大学、武汉大学、北京航空航天大学、中山大学、重庆大学等院校院长级专家领衔;华为、Thoughtworks、快手三大标杆企业分享实战经验;中南大学等湖南本地高校师生深度参与技术交流联动。论坛由华为终端软件工程与IT装备部孙为国与开源鸿蒙AI软件工程SIG副组长王意明联合出品。此次论坛的成功举办标志着开源鸿蒙AI软件工程从技术探索步入规模落地阶段,预计2025年底将赋能10万+开发者。
AI软件工程分论坛成功举办
中山大学软件工程学院院长郑子彬在分论坛上发表致辞。他表示,通过AI工具赋能开发,将AI代码生成、漏洞检测等能力深度集成至开源鸿蒙开发工具链,可以快速提升社区建设效率。随着开源鸿蒙开发创新奖励计划的正式启动,标志着开发者可通过代码贡献、漏洞修复等任务获取积分,积分可兑换现金奖励或高校学分,以双轨机制推动开源鸿蒙生态发展。期待开发者、高校及企业通过该平台一起解决技术挑战课题,期望各高校能够直接在开源鸿蒙上做开拓性、前瞻性的AI软件工程研究。
中山大学软件工程学院院长郑子彬
北京大学计算机学院副院长周明辉作为致辞嘉宾表示,开源鸿蒙生态繁荣向前的同时,AI技术也正经历一场“觉醒式”爆发。开源社区是产业创新的重要渠道,希望在本土的基础软件上有新的创新,也特别希望产学研融合,能够让本土的技术在全世界大放光芒。
北京大学计算机学院副院长周明辉
华为终端BG软件可信使能与IT装备部部长杨开封作为致辞嘉宾预祝此次论坛成功举办,他表示AI大模型正在重塑软件工程的智能化进程,基于开源鸿蒙PC的AI开发解决方案将为软件工程的发展注入新的动力。期待更多的高校、行业伙伴携手共建开源鸿蒙生态,共同推动开源鸿蒙软件工程技术的创新,迈向更加开放、智能的未来。
华为终端BG软件可信使能与IT装备部部长杨开封
为增进合作伙伴信任,并更好地使用由开源鸿蒙提供的AI及软件工程能力,加速开源鸿蒙组件开发效率,AI软件工程能力SIG应运而生,并于活动现场举办了成立仪式,由开源鸿蒙项目管理委员会(PMC)主席任革林颁发授牌。该SIG致力于以繁荣开源鸿蒙生态为始,汇聚群智、开源协作、共建共享,通过托管于开源鸿蒙AI工程能力平台,服务千行百业。
AI软件工程能力SIG授牌仪式
华为终端BG平板PC软件首席架构师杨彰做《模型生态:鸿蒙电脑AI开发和生态构建》主题演讲,介绍了鸿蒙电脑AI开放策略,通过构建AI开放能力平台,推动应用快速AI化,支撑PC办公场景AI生产力。其中赋能伙伴完成重点场景本地化部署,代表企业有悟空图像、Coremail、新华妙笔等。最后通过介绍鸿蒙应用AI能力接入流程,邀请广大伙伴一起加入鸿蒙AI生态,推动AI生态快速规模化,打造鸿蒙电脑AI生产力。
华为终端BG平板PC软件首席架构师杨彰
北京大学计算机学院博士张克驰带来了《模型生产:面向逻辑推理的大语言模型能力突破》主题演讲,他表示大语言模型(LLM)在辅助软件开发方面已经显露出明显的作用。然而,LLM在基于状态的推理和泛化方面存在的问题也日益凸显,这些基础能力方面的固有缺陷,正逐步表现在许多程序生成、程序理解及其他软件开发任务中。此外,站在逻辑推理能力的视角,对当前LLM的一些基础问题和潜在研究进展进行介绍,以期推动LLM能力的进一步提升,也推动基于LLM的智能化软件工程的进步。
北京大学计算机学院博士张克驰
ThoughtWorks全球数字化专家肖然和首席嵌入式操作系统专家林立俊共同带来了《软件工程:AI时代的软件工程理论及实践》主题分享。肖然表示,AI正在重塑软件工程的本质,推动行业从“代码实现”转向“知识决策”;并分享了如何利用大语言模型(LLM)重构软件开发全流程,将AI深度融入架构设计、测试驱动开发(TDD)与自动化测试等关键环节;结合真实场景,展示如何构建高效、可靠的人机协同开发模式,助力开发者超越“编写代码”的层面,转型为驾驭AI的“知识工程师”,掌握智能时代的核心竞争力。
在企业实践介绍环节,林立俊给大家提供了一种基于Agent的API优选策略以及测试用例生成方法。通过使用AI辅助API优选、测试用例生成、 harness生成、依赖关系识别等方法实践,实现自动化构建Test Driver,解决了用例编写难、漏洞及缺陷发现率低等痛点问题,提升了API优选及测试的效率和质量。
Thoughtworks全球数字化专家肖然
Thoughtworks首席嵌入式操作系统专家林立俊
中山大学软件工程学院助理教授王焱林在《社区开发:代码大模型的应用、评测与优化》主题演讲中,介绍了代码大模型在软件开发与测试、软件维护与保障等领域的应用、测评与优化,涵盖了从数据构建到智能体的整个能力层,并提出了多种解决方案和优化方法。她表示AI软件工程应用场景正在由简单任务处理转向到复杂产业落地,这就需要环境构建、工具深度融合、软工知识与经验结合和可信保障等全方位提升研发效能。
中山大学软件工程学院助理教授王焱林
中国科学院大学副研究员贾相堃带来了《社区测试:模糊测试驱动生成——从自动化到智能化》主题演讲,他表示编写模糊测试驱动进行测试是当前函数库测试的最有效方案之一,如何编写更有效的驱动是亟需解决的问题。团队提出了自动化方案AFGen,重点解决了驱动自动生成中的数据依赖、数值初始化来源和漏洞触发路径约束等难题,研究智能化方案PromeFuzz,引入大模型提高驱动生成能力,通过知识的系统性提取、利用和反馈,解决了语义知识缺乏、误报率高、支持语言有限等问题,能力优于Google OSS-Fuzz-Gen等AI方案。相关成果形成论文发表于IEEE S&P 2024、ACM CCS 2025,并应用于开源鸿蒙基础函数库测试。
中国科学院大学副研究员贾相堃
快手AI软件工程专家华剑侃作《社区实践:从工具到伙伴,AI 浪潮下的快手研发工具再定义》主题演讲,介绍了Kwaipilot AI研发工具产品如何围绕快手研发全生命周期场景进行探索、落地实践及对应结果。Kwaipilot应用快手自研的代码大模型,将大模型能力贯穿研发全生命周期,提供智能编码助手、智能问答引擎和智能体开发平台三大AI研发产品。通过构建程序语言的形式化表征和逻辑推理链,并将MoE架构成功应用于预训练代码大模型,取得了显著的线上收益。同时,从代码续写模型逐步丰富到 Code Embedding、Code Agent、Code/Math Instruct 等模型矩阵,在HumanEval、CoSQA、SWE-bench上取得SOTA表现。
快手AI软件工程专家华剑侃
活动现场还举办了题为《开源鸿蒙智能化软件工程未来技术展望及人才培养》的圆桌论坛。本次圆桌论坛由华为智能化软件研发首席专家王千祥主持,并有幸邀请到武汉大学特色化示范性软件学院院长金芝、北京航空航天大学软件学院院长胡春明、中山大学软件工程学院院长郑子彬、重庆大学大数据与软件学院院长张洪宇、北京大学计算机学院副院长周明辉和清华大学深圳国际研究生院计算机科学与技术研究所所长夏树涛。圆桌论坛聚焦开源鸿蒙社区软件开发,就开发潜在创新点、与AI结合点,以及如何通过开源鸿蒙社区开发创新奖励计划与高校人才培养相结合等问题进行现场交流讨论。各位专家发表了诸多具有建设性的观点,共同呼吁产学研各界要把握AI软件工程发展带来的机遇,打造基础设施底座,培养开源鸿蒙开发人才,共绘开源鸿蒙新蓝图。
圆桌交流现场
当AI遇上开源鸿蒙,不仅是对开发流程的优化,更在于重新定义智能终端软件的生产方式。AI软件工程不仅是技术升级,更是开源鸿蒙构建差异化生态的关键抓手。开源鸿蒙将通过AI软件工程实现差异化竞争力构建与生态系统赋能,提高开发者的效率,提升开源鸿蒙操作系统的安全性与智能性,为万物智联时代注入不竭的动能。
关键词:
相关阅读
-
开源鸿蒙技术大会2025 | AI软件工程分...
近日,开源鸿蒙技术大会2025 AI软件工程分论坛在湖南长沙国际会议 -
移路有AI 丨2025中国移动全球合作伙伴...
10月10日,2025中国移动全球合作伙伴大会在广州盛大开幕。大会以“ -
2025年最值得推荐的10款AI设计工具:从...
一、引言2025年,AI设计工具已经从概念走向成熟,全球AI设计市场规 -
开源鸿蒙技术大会2025圆满召开,全景交...
9月27日,开源鸿蒙技术大会2025在长沙国际会议中心盛大举办。大会现 -
科技馆之城走进顺义:AI科普助力首都科...
2025年9月27日至28日全国科普月期间,由北京市科学技术协会主办,顺 -
开源鸿蒙技术大会2025圆满举办,凝聚开...
9月27日,开源鸿蒙技术大会2025在长沙国际会议中心圆满召开。本次大
精彩推送
-
开源鸿蒙技术大会2025 | AI软件工程分...
近日,开源鸿蒙技术大会2025 AI软件工程分论坛在湖南长沙国际会议 -
移路有AI 丨2025中国移动全球合作伙伴...
10月10日,2025中国移动全球合作伙伴大会在广州盛大开幕。大会以“ -
2025年最值得推荐的10款AI设计工具:从...
一、引言2025年,AI设计工具已经从概念走向成熟,全球AI设计市场规 -
开源鸿蒙技术大会2025圆满召开,全景交...
9月27日,开源鸿蒙技术大会2025在长沙国际会议中心盛大举办。大会现 -
科技馆之城走进顺义:AI科普助力首都科...
2025年9月27日至28日全国科普月期间,由北京市科学技术协会主办,顺 -
开源鸿蒙技术大会2025圆满举办,凝聚开...
9月27日,开源鸿蒙技术大会2025在长沙国际会议中心圆满召开。本次大 -
2025 PT展|中国联通构建普惠人工智能体...
2025年9月24日,中国国际信息通信展览会主论坛在北京国家会议中心成 -
移动应用无缝流转 骁龙PC平台应用生态...
在骁龙峰会中,高通推出了新一代的骁龙X2 Elite Extreme和骁龙X2 -
神州问学产品重大发布——赋能企业知识...
在生成式AI浪潮席卷各行各业的今天,企业纷纷探索如何借助AI提升生 -
你有真实场景,我来直面挑战!
传统设备,能力有限仅支持基础行为识别,如疲劳驾驶、轨迹偏离、急 -
以科技创新推动产业创新专题 | 5倍提...
当前文生图、文生视频等生成式人工智能技术正得到越来越广泛的应用 -
超性能×超能效,天玑9500写下端侧AI第...
AI的热度仍在飙升,但“炫技”时代已经过去,真正让用户上头的,是... -
北京市科协助力平谷打造高质量科普惠民...
在全国科普月深入开展之际,北京市科协"科技馆之城"科技文化进商圈... -
三重认可丨悠易GEO智能体荣登信通院「铸...
9月16日,「2025数字生态发展大会暨“铸基计划”年中会议」圆满落幕... -
2025 年 AI 作图软件深度对比评测:...
一、当时间就是成本:电商设计的效率困局家电品牌拍摄一套场景图需 -
2025服贸会|入选!联通元景MaaS平台获评...
9月12日,由工业和信息化部新闻宣传中心承办的2025年中国国际服务贸... -
2025服贸会|入选!联通元景MaaS平台获评...
9月12日,由工业和信息化部新闻宣传中心承办的2025年中国国际服务贸 -
腾讯集团副总裁钟翔平:从出行工具到AI...
“从‘出行工具’到‘智能引擎’,这是地图产品面向未来的一次根本 -
中国联通全面承接国家人工智能应用中试...
9月10日,在2025年服贸会健康卫生服务专题创新成果发布暨专题启动活 -
来了!Arm Lumex平台发布,安卓旗舰AI...
当下,智能手机市场竞争白热化,安卓手机凭借开放性与多样性占据半 -
模型选型专题系列 | “一句话选模型”...
面对市场上纷繁多样的大模型,作为一个大模型应用开发者,如何能快 -
模型选型专题系列 | 业界首个!元景Ma...
当前业内有很多语言模型,我们如何在实际应用中去选择最合适的一款 -
2025 年 9 月权威榜单:AI 作图软件...
随着 AI 设计工具的爆发式增长,2025 年全球数字设计市场规模已 -
老翟谈AGI技术给物流车队带来的红利:不...
这一轮大模型为核心的AI技术能给物流车队带来什么,最近跟很多人探 -
宠智灵AI模组加持,助力摄像头厂商升级...
宠物穿戴设备市场正在快速增长 ; 数据显示2024年中国宠物智能硬件 -
神州数码2025年半年度业绩说明会:盈利...
9月2日下午,神州数码集团(000034 SZ)举办2025年半年度业绩说明会 -
秒哒荣登沙利文AI Agent双榜,开启全民...
近期,全球顶级增长咨询机构沙利文联合头豹研究院重磅发布《2025年 -
2025数博会|上榜!联通数智数据基础设施...
8月28日,由国家数据局主办的“2025数博会数据基础设施”主题交流活... -
神州数码携AI实践亮相CMIS 2025,“神...
8 月 22 日,CMIS 2025 第五届中国医药数智峰会在上海扬子江丽 -
百度智能云升级AI云全栈基础设施,破解A...
8月28日,2025百度云智大会在北京开幕。当日下午的技术与产品主论坛 -
深度解析森博营科的 AI 营销战略与行...
作为国家高新技术企业及北京市专精特新中小企业,北京森博明德营销 -
东软赋能贵州 以数据要素×AI推动养老...
8月20日,东软与贵州省大数据发展管理局共同签署战略合作协议。此次 -
大V爆料:天玑9500 NPU上新IP,AI算力翻倍!
数码圈又有大消息!据数码闲聊站爆料,天玑9500的NPU用上了全新IP硬 -
北大团队提出2比特复数模型iFairy{±1,...
version 8 14摘要:为破解大模型部署与推理成本高昂的困境,北京大 -
移动游戏边界再拓展!高通携手生态伙伴...
又到暑期“七月份的尾巴”和“八月份的前头”这个时间段,我们迎来... -
从芯出发、共创生态,骁龙释放移动游戏...
7月31日,2025骁龙游戏技术赏在上海举办。高通(中国)携手iQOO、一加 -
TRAE推出SOLO模式,新增PRD写作、UI 设计等功能
7 月 21 日,TRAE 宣布全新推出SOLO模式。该功能是业内首个基于 -
AI专家谌鹏飞:企业AI智能体应用要有场...
脑力激荡、实力交锋、创新碰撞!2025年6月27日,以「破界·AI」为主 -
易联众智鼎云帆大模型成功完成生成式人...
据“网信福建”微信公众号消息,6月30日,易联众智鼎云帆大模型在福... -
赴港IPO的华曦达携手立讯精密,共筑 AI...
在科技飞速发展的当下,智能家居领域正经历着前所未有的变革。2025 -
恺英网络举办“BEYOND GAMING”发布会,...
2025年6月30日,恺英网络成功举办了线上“BEYOND GAMING”AI科技与 -
达沃斯聚焦AI时代“她力量” 东软王楠...
6月24日,2025天津夏季达沃斯论坛在国家会展中心(天津)盛大启幕,其中 -
小散工程防灾减灾的背后:AI重塑风险减量...
两架无人机盘旋在东莞市厚街镇一座正在施工的民房上空,它们或交替作 -
用友YonSuite AI+赋能:引领制造业迈向...
当前,中国制造业正处于转型升级的关键阶段,既面临劳动力成本攀升 -
云南医保公共服务平台牵手AI 为群众幸...
动动手指,医保公共服务“云端直达”,提提需求,医保政策“秒懂回... -
易联众基于私域大模型的医保解决方案入...
近日,福建省工业和信息化厅正式公布省级人工智能典型应用场景名单 -
易联众区块链应用技术获批国家发明专利
近期,易联众自主研发的“一种基于区块链的捐赠数据处理方法、设备 -
科技照亮银发生活 创新编织幸福晚年
在老龄化浪潮日益汹涌的今天,如何为银发一族构筑一个安心、惬意、 -
金蝶云·星空旗舰版焕新升级,助力成长...
在AI普惠时代,技术角色从工具转变为管理引擎,AI Agent通过闭环场 -
9.9元享1年腾讯云服务器!0.15折超值优...
在当前经济形势复杂多变的背景下,企业面临着前所未有的挑战,成本 -
九章云极发布九章智算云Alaya NeW Clo...
2025年6月16日——AI独角兽企业九章云极DataCanvas在“九章云极智能 -
九章云极推出全球首个强化学习云平台Age...
6月16日,AI独角兽企业九章云极DataCanvas公司宣布,正式上线全球首 -
2025年卫生资格成绩已出、来学网提醒考...
来学网提醒:2025年卫生资格考试成绩已经公布,考生在查询成绩的同 -
2025年AI未来校长论坛(香港站)圆满收...
2025年6月10日,由蝴蝶发展教育基金发起、联合广州南沙新区香港服务 -
语言桥“数译AI同传”护航共建“一带一...
6月12日上午,在第二届“一带一路”科技交流大会的重磅活动——“民... -
2025低空技术与工程大会圆满闭幕 ——...
6月9日,为期三天的2025低空技术与工程大会在北京落下帷幕。本次大会 -
智惠民生 深耕固本,易联众重磅发布“A...
6月6日,易联众集团在厦门总部召开“AI+”民生业务领域整体解决方案... -
2025低空技术与工程大会在京开幕
6月7日,备受瞩目的2025低空技术与工程大会在北京市延庆区隆重开幕! -
2025车用动力系统国际论坛焦点:混动加...
全球汽车产业正经历百年未遇之大变革,在这场深刻的产业变革中,车 -
极光湾科技CEO王瑞平:混动进化聚焦智能...
中国汽车报:记者 吴戈编者按:5月28日,第五届车用动力系统国际论 -
浩思动力构建创新生态体系,助力第五届...
助力全球实现碳中和愿景,汽车产业责无旁贷。当下,积极奔赴在零碳... -
浩思动力构建创新生态体系,助力第五届...
助力全球实现碳中和愿景,汽车产业责无旁贷。当下,积极奔赴在“零 -
开源鸿蒙开发者大会2025 | AI分论坛:...
5月24日,开源鸿蒙开发者大会2025(OHDC 2025)在深圳成功举办。会 -
共赴国潮花车之约!恺英网络多元IP点亮第...
5月29日,第二十一届中国国际动漫节盛大开幕。恺英网络携《百工灵》 -
2025深圳手信名单揭晓|冠旭电子携Cleer...
5月26日,2025年度“深圳手信”评选结果正式揭晓。在这场代表深圳智... -
高通CEO公布骁龙AI PC最新进展,颠覆性...
临近2025年年中,回看过去一年,生成式AI一直处于焦点中的焦点,其 -
北大杨仝团队发布FairyR1模型:5%参数量...
北京大学杨仝教授团队近期发布了其在高效大型语言模型研究方向的一 -
AI如何重构PC?高通在COMPUTEX 2025给出答案
过去一年,AI PC 俨然已从一种「未来趋势」变成了「正在发生」的 -
易联众助力打造全信创架构影像云平台,...
长期以来,医疗影像检查存在“数据孤岛”问题,预约排队耗时、跨院... -
语言桥:25年专注翻译事业,凭实力打造...
2000年5月23日,当我去西南交大旁边的工商所注册“成都语言桥翻译社 -
悠易科技战略升级:推出AI智能体矩阵,...
2025年5月15日,悠易科技在北京举办“智启全域·策动未来”AI全域营... -
易联众医信助力泉州市中医院DeepSeek项...
近日,由易联众集团旗下智慧医疗产品子公司福建易联众医疗信息系统 -
数智引领高质量发展,易联众亮相第八届...
4月28日—5月4日,第八届数字中国建设峰会现场体验区在福州举办,易 -
易联众集团召开“AI+”战略宣贯会,以人...
近日,易联众集团“AI+”战略宣贯会于厦门总部召开,奏响易联众以人... -
在技术浪潮中求生:语言桥的实践和探索
本文记录了语言桥从2000年成立至今的技术发展历程,从CAT工具的应用 -
大成之门·星光璀璨——精英AI集团合伙...
【盛典启幕】4月12日,深圳湾莱佛士酒店群贤毕至,【大成之门•星光璀 -
数译AI同传1.2.2版本发布前瞻:智能词库...
在全球化交流日益频繁的今天,一场会议的成功往往取决于语言沟通的 -
AI赋能政务审核提速,易联众智能材料预审...
在数字中国建设纵深推进的当下,政务服务智能化升级成为提升国家治理 -
"比人类还会骗人":Z世代大学生用AI重构...
近日,由淘天集团发起、天猫校园承办的「谁是卧底·AI Agent校园挑 -
政务提效「数智引擎」!鲲之益助力丹东...
2025年鲲之益× 丹东市委组织部--AI实战圆满收官创新 有效 高效 -
佰维企业级SSD通过OpenCloudOS、龙蜥、o...
近日,佰维存储的企业级存储产品SP406 416、SP506 516系列PCIe SSD -
AI潮涌·文化共生:全球数字文明生态峰...
AI驱动文化新航海时代到来在全球数字化浪潮与人工智能技术革命的双... -
紫东太初多模态RAG全新发布:端到端问答...
在产业智能化进程中,如何高效融合企业专有知识资产,构建领域专属 -
成功引领旗舰革命后,高通的底气明显更足了
众所周知,在整个智能手机市场中,旗舰机一贯被认为是最新技术和创 -
联发科强势出击,凭硬核实力改写移动游...
4月11日,MediaTek天玑开发者大会2025(MDDC 2025)在深圳举办。本 -
AI 深度赋能文旅,鲲之益携手辽宁文体...
4月2日,上海鲲之益科技有限公司创始人曹颉女士受邀为辽宁省文体旅 -
联发科启动天玑智能体化体验领航计划,...
AI终端的智能化,正在走出依赖算力单点突破的老路,迈入工具与生态 -
从模型接入到训练优化全流程,联发科打...
在全球AI技术迅猛发展的背景下,联发科于近期举办了以“AI随芯,应 -
钦家算法+AI大模型 引爆校服产业智能革命
免责声明:市场有风险,选择需谨慎!此文仅供参考,不作买卖依据。 -
Spectrum数字化仪卡将海豚声呐点击转为...
海豚将通过移动水下屏幕光标进行交流中国北京,2025年4月9日—— -
第四代骁龙8s正式发布,“新生代”旗舰...
摘要:骁龙,让旗舰体验不再“稀有”。近年来,中国的高端手机市场... -
唢呐一响,故事开讲!看仰韶用“吹”功...
-
RK首款AI四模机械键盘来袭!一机多用超...
2025年4月6日,RK正式发布首款AI四模机械键盘。作为行业革新产品,R -
雅特力科技助力宇树科技推动智慧机器人...
随着人工智能与机器人技术的快速发展,机器人正加速落地于智能制造 -
第八届数字中国建设峰会现场体验区参展...
第八届数字中国建设峰会将于2025年4月29日至30日在福州举办,峰会现 -
上海交通大学发布“明岐”多模态大模型...
在“健康中国2030”国家战略和新一轮科技革命的背景下,由上海交通... -
Moka AI 探索实践:七年技术深耕,从...
作为人力资源领域的长期革新者,Moka 自2015年成立以来,持续以技 -
工作效率杀手?AIPC帮助新职人找到真相
在AI风云突起的当下,广大新职人要面对这样一个关键问题——到底是... -
游戏玩家必备——实测AI+ PC
哪吒脚踏风火轮劈开巨浪的瞬间,电影《哪吒2》每秒120帧的视效冲击 -
当土拨鼠遇上AIPC,「修仙版」购买指南...
热映的《哪吒 2》电影中,那些灵动可爱的土拨鼠给观众们留下了深刻