刘晗
- 作品数：6 被引量：6H指数：1
- 供职机构：华东师范大学更多>>
- 相关领域：自动化与计算机技术语言文字更多>>
- 人工智能系统可信性度量评估研究综述被引量：4
- 2023年
- 近年来,人工智能技术突飞猛进,人工智能系统已经渗透到人们生活中,成为人们生活中不可或缺的一部分.然而,人工智能系统需要数据训练模型,数据扰动会对其结果造成影响.并且随着人工智能系统业务多样化,规模复杂化,人工智能系统的可信性愈发受到人们的关注.首先,在梳理不同组织和学者提出的人工智能系统可信属性基础上,提出人工智能系统的9个可信属性;接着,从数据可信性、模型可信性和结果可信性分别介绍现有的人工智能系统数据、模型、结果可信性度量方法,设计人工智能系统可信证据收集方法.其次,总结当前人工智能系统的可信度量评估理论与方法.然后,结合基于属性的软件可信评估方法与区块链技术,建立一个人工智能系统可信度量评估框架,包括可信属性分解及可信证据获取方法、联邦式可信度量模型与以及基于区块链的人工智能系统可信度量评估架构.最后,讨论人工智能系统可信度量技术面临的机遇和挑战.
- 刘晗李凯旋陈仪香
- 关键词：人工智能系统
- 关于“您昆明了吗”的深层思考被引量：1
- 2004年
- 在 2 0 0 4年的旅交会上 ,昆明的主要接到的灯杆上 ,打出了让人耳目一新的广告标语“您昆明了吗 ?”、“欢迎您体验昆明 !”广告标语“您昆明了吗 ?”引起社会的广泛争议 ,有人认为这是病句 ,没有谓语动词 ,不应作为广告标语进行宣传 ;有人则认为这句广告语不仅别具新意 ,而且受到了语言学、认知学、新闻传播学、数学等诸多理论的支持 ,本文仅对此提出自己的一些看法。
- 刘甜刘晗
- 关键词：广告标语语言学
- 一种可穿戴便携式坐姿检测装置
- 本实用新型公开了一种可穿戴便携式坐姿检测装置，包括壳体、单片机、电路板、陀螺仪及小型振动片、开关、电池及背带，本实用新型采用将单片机、电路板、陀螺仪及小型振动片、开关及电池组装在壳体内，采用背带将壳体固定在身体的肩部或背...
- 吴幸樊天意骞昊张金洁刘晗王可心
- 文献传递
- 面向软件质量保障工具的多视角分析与优化方法研究
- 近年来,随着计算机技术的飞速发展,软件已经成为人们生活的必需品。然而,随着软件需求的增加,软件规模不断增大,保障软件质量愈发困难。软件质量保障工具应运而生,并逐渐成为开发者常用的工具之一,它们在软件生命周期的各个阶段发挥...
- 刘晗
- 关键词：软件质量
- 一种可穿戴便携式坐姿检测装置
- 本发明公开了一种可穿戴便携式坐姿检测装置，包括壳体、单片机、电路板、陀螺仪及小型振动片、开关、电池及背带，本发明采用将单片机、电路板、陀螺仪及小型振动片、开关及电池组装在壳体内，采用背带将壳体固定在身体的肩部或背部，通过...
- 吴幸樊天意骞昊张金洁刘晗王可心
- 文献传递
- 面向源代码可信证据的航天软件可信度量评估方法被引量：1
- 2021年
- 随着航天技术的迅猛发展,航天软件的功能越来越复杂,规模越来越大,对软件可信性的要求也越来越高.航天软件一旦失信,其带来的损失往往无法估量.从源代码证据入手,建立面向航天领域的嵌入式软件可信度量评估方法.结合航天领域特性,建立了面向C语言代码的可信证据规范,该证据规范区分关键证据与非关键证据以及可信正证据和可信负证据;提出一种面向源代码可信证据的航天软件可信性度量模型和可信性分级模型;最后通过将所构建的评估方法应用于NASA开源软件Core Flight Executive的可信量化评估,评估结果表明本文所建立的可信量化评估方法具有良好的有效性和实用性.
- 刘晗陶红伟陈仪香
- 关键词：源代码
