搜索结果: 1-15 共查到“知识库 计算机科学技术 可解释”相关记录27条 . 查询时间(0.235 秒)
基于可解释注意力部件模型的行人重识别方法
行人重识别 注意力机制 可解释深度学习 部件模型
2023/10/24
大多数行人重识别(Person re-identification,ReID)方法仅将注意力机制作为提取显著特征的辅助手段,缺少网络对行人图像关注程度的量化研究.基于此,提出一种可解释注意力部件模型(Interpretable attention part model,IAPM).该模型有3个优点:1)利用注意力掩码提取部件特征,解决部件不对齐问题;2)为了根据部件的显著性程度生成可解释权重,设计...
“信息”的物理主义解释
信息 物理主义 解释
2017/11/22
在揭示信息于能量转换中的角色后,很快就有科学家将思想实验变成了实际的物理实验,证明了能量和信息之间可以相互转化。最终,在信息论诞生30多年后,人类知道了支撑宇宙的除了物质与能量外,还有信息这重要一环,而且三者间可以相互转化。“信息”一词在现代社会的使用极为广泛,特别是人类社会迈入21世纪以来,伴随着信息产业的蓬勃发展及人工智能、大数据等技术在各行业的大力推行,“信息”已经成为各项政府公告、各类新闻...
基于DICache的混合线索解释执行技术
二进制兼容 指令集仿真 线索解释执行 DICache
2012/2/25
由解释执行实现的指令集仿真是解决二进制兼容问题的有效手段。解释执行各步骤的组织方式对解释器性能有着重要影响。集中方式效率较低,而效率较高的线索方式由于译码过程过于复杂而无法用于CISC指令集的解释执行。本文提出了一种基于DICache的混合线索解释执行技术,DICache实现一种高效的硬件动态预译码,将源指令转换为一种中间表示,在解释例程中对DICache快速访问实现对CISC指令集的线索解释执行...
基于OSA/Parlay的VoiceXML解释器实现研究
语音标记语言 开放业务架构 下一代网络
2012/2/25
VoiceXML技术能有效结合通信网和Internet,为电话用户提供丰富的语音应用。本文提出一种基于OSA/Parlay API(开放式应用编程接口)的VoiceXML解释器的设计与实现方案,能有效屏蔽不同制式电信网络的异构性,具有很好的跨平台通用性。针对解释器中业务状态变化多和网络功能扩展的需要,以state模式优化设计,从而保持整体系统的稳定性和可扩充性。最后说明了实现情况,并以一个具体业务...
抽象解释理论框架及其应用
语义 Galois连接 Widening算子 Narrowing算子 抽象解释
2010/3/11
在高度依赖计算机的现代社会,软件(特别是大型实时安全攸关软件)的可靠性成为计算机界和整个社会都非常关注的问题。现有的形式化软件验证工具都不得不通过近似来处理复杂问题中的计算,P.Cousot和R.Cousot提出的抽象解释作为一种在数学模型间进行可靠近似的理论,为各类自动验证工具中不同的近似方法建立起一个统一的形式化框架。抽象解释理论在程序分析和验证研究领域得到了广泛的关注与应用,其应用范围涵盖了...
地震地质解释系统的实现与质量保证
质量保证 地震地质 软件工程
2009/11/11
论述质量保证在开发过程中的重要地位,所制定的规定和守则,适用于管理人员和具体开发人员,提出在满足质量要求下进行开发,并在开发中确保质量的认识。
一种面向问题的描述语言及其解释程序的自动生成
自动生成 解释程序 描述语言
2009/10/23
各种专业领域的科学工程软件,在应用数值方法解决各自的计算问题时,常常需要输入加工大量原始数据.设计这些数据的描述语言并编出各自的加工程序成了科学工程软件前处理的主要工作.本文综合了数据型问题描述的几种带共性的描述方式,提出了一种面向科学工程计算问题的描述语言模式.
解释模型类理论及其极小三I-算法
模糊推理 多类一阶模糊语言 解释模型类
2009/10/10
首先在多类(many-sorted)一阶形式系统Lukms、Gödms,∏ms和L*ms中通过引入多类一阶模糊语言Lms的解释模型类及基于解释模型类的α-逻辑有效公式的概念,建立了多类一阶模糊语言的解释模型类理论;然后,基于上述理论探讨了模糊推理算法(CRI及三I算法)与其理论Г-推理的关系,从而进一步奠定了模糊推理的理论基础,同时得到一种新型的模糊推理算法,称为极小三I算法。
加权Otsu分割方法及其模糊理论解释
加权Otsu分割方法 信息散度 模糊能量
2009/8/17
从信息散度角度出发推导出一种图像灰度概率加权的Otsu分割方法,将灰度概率加权进行推广得到一般加权的Otsu分割方法,采用模糊能量理论解释其合理性。实验结果表明,加权Otsu分割方法是可行的,能避免传统Otsu分割方法提取出的目标可能与实际需要的目标不一致的问题,是对已有Otsu分割方法的有益补充。
Levenberg-Marquardt(LM)算法与最小二乘(Least Square,LS)方法关系密切,标度总体最小二乘(Scaled Total Least Square,STLS)是最小二乘,数据最小二乘(Data Least Square,DLS)与总体最小二乘(Total Least Square,TLS)的统一与推广,但是它与LM算法的关系尚不清楚。给出了一种求STLS解的算法及其子...
建筑工程图的解释识别方法
建筑工程图 图形识别 人工读图
2009/1/14
建筑工程图的自动识别技术对于提高建筑业自动化、信息化程度十分重要。提出了一种解释识别方法,将识别过程需利用的对象层次结构、对象间关系、识别顺序等按照一定的格式加以描述,使得识别过程建立在对这种描述自动解释的基础上,较大地提高了自动识别系统的规范性、可维护性、可扩充性和稳定性。
给出了相容核的拓扑解释。给定论域上的一个相容关系R,指出该相容关系诱导的拟离散闭包空间的内集拓扑是以每个元素的R_相关集构成的集族为拓扑基生成的。进而利用该内集拓扑所对应的指定预序,证明了每个元素的相容核就是内集拓扑中单点集的闭包。
神经网络的知识获取与行为解释
神经网络 知识获取 行为解释
2008/12/17
神经网络的缺点之一在于它无法明显地表达其行为的含义.针对神经网络的不同结构,
通过给出节点取值不同的约束条件,描述了如何从神经网络提取知识,并对神经网络的行为进
行解释.举例说明了从神经网络提取产生式规划的策略.