搜索结果: 1-7 共查到“计算机科学技术基础学科 可解释”相关记录7条 . 查询时间(0.157 秒)
海洋所系统解释全球海洋中尺度涡海表热力信号变化特征及机理（图）
系统解释 海表热力信号 机理
2024/4/17
2024年4月17日，中国科学院海洋研究所李晓峰研究团队基于多源遥感和实测数据，系统揭示了全球海洋中尺度涡在运动过程中的海表热力信号变化特征，并阐明其产生机理。成果以封面文章形式发表于国际学术期刊《深海研究I》（Deep Sea Research Part I）。
广东省重点领域研发计划项目《高效可解释性神经网络模型及理论研究》通过验收（图）
广东省 神经网络 模型
2023/9/8
2023年6月28日上午，广东省重点领域研发计划新一代人工智能专项项目《高效可解释性神经网络模型及理论研究》（编号：2018B010107001）验收会在软件学院B7栋303室举行。广东省科学技术厅专家王欢和商惠敏，验收专家张振华教授等五人，华南理工大学科研院谭锦才科长、软件学院副院长刘飞教授、项目负责人谭明奎教授以及项目参与单位相关负责人参与会议。
近日，中国科学院软件研究所可信计算与信息保障实验室在内嵌脚本解释器的漏洞自动化挖掘研究方面取得进展。该研究提出了基于关联变异的漏洞挖掘方法，能够有效地挖掘软件与脚本引擎之间绑定代码的漏洞，在大型商用文档软件的安全性测试中发挥重要作用。
“信息”的物理主义解释
信息 物理主义 解释
2017/11/22
在揭示信息于能量转换中的角色后，很快就有科学家将思想实验变成了实际的物理实验，证明了能量和信息之间可以相互转化。最终，在信息论诞生30多年后，人类知道了支撑宇宙的除了物质与能量外，还有信息这重要一环，而且三者间可以相互转化。“信息”一词在现代社会的使用极为广泛，特别是人类社会迈入21世纪以来，伴随着信息产业的蓬勃发展及人工智能、大数据等技术在各行业的大力推行，“信息”已经成为各项政府公告、各类新闻...
抽象解释理论框架及其应用
语义 Galois连接 Widening算子 Narrowing算子 抽象解释
2010/3/11
在高度依赖计算机的现代社会，软件（特别是大型实时安全攸关软件）的可靠性成为计算机界和整个社会都非常关注的问题。现有的形式化软件验证工具都不得不通过近似来处理复杂问题中的计算，P.Cousot和R.Cousot提出的抽象解释作为一种在数学模型间进行可靠近似的理论，为各类自动验证工具中不同的近似方法建立起一个统一的形式化框架。抽象解释理论在程序分析和验证研究领域得到了广泛的关注与应用，其应用范围涵盖了...
解释模型类理论及其极小三I-算法
模糊推理 多类一阶模糊语言 解释模型类
2009/10/10
首先在多类（many-sorted）一阶形式系统Lukms、Gödms，∏ms和L*ms中通过引入多类一阶模糊语言Lms的解释模型类及基于解释模型类的α-逻辑有效公式的概念，建立了多类一阶模糊语言的解释模型类理论；然后，基于上述理论探讨了模糊推理算法（CRI及三I算法）与其理论Г-推理的关系，从而进一步奠定了模糊推理的理论基础，同时得到一种新型的模糊推理算法，称为极小三I算法。
Levenberg-Marquardt（LM）算法与最小二乘（Least Square，LS）方法关系密切，标度总体最小二乘（Scaled Total Least Square，STLS）是最小二乘，数据最小二乘（Data Least Square，DLS）与总体最小二乘（Total Least Square，TLS）的统一与推广，但是它与LM算法的关系尚不清楚。给出了一种求STLS解的算法及其子...