期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到272篇文章
< 1 2 … 14 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
非经典逻辑的语义tableau方法 被引量：10
1
作者 刘全 孙吉贵 《计算机科学》 CSCD 北大核心 2002年第5期72-75,共4页
1.引言 自动推理作为自动定理证明的扩展,在计算机科学,特别是人工智能领域中占有重要的地位.许多系统,都是以推理系统作为其核心部分,因此自动推理的研究,对人工智能的其它分枝将产生深远的影响,它所提出的推理方法也被应用于人工智能... 1.引言 自动推理作为自动定理证明的扩展,在计算机科学,特别是人工智能领域中占有重要的地位.许多系统,都是以推理系统作为其核心部分,因此自动推理的研究,对人工智能的其它分枝将产生深远的影响,它所提出的推理方法也被应用于人工智能的各个领域. 展开更多
关键词 人工智能 自动推理 自动定理证明 非经典逻辑 语义tableau方法
在线阅读 下载PDF
自由变量语义tableau中δ-规则的一种改进方法 被引量：8
2
作者 刘全 孙吉贵 于万钧 《计算机研究与发展》 EI CSCD 北大核心 2004年第7期1068-1073,共6页
自动推理一直是人工智能领域研究的重要内容 近几年来 ,由于tableau方法的通用性和直观性 ,引起人工智能界的广泛关注 对于自由变量语义tableau中的量词规则 ,由于γ 规则替换的任意性 ,可导致在同一tableau证明中γ 规则被多次使用 ,... 自动推理一直是人工智能领域研究的重要内容 近几年来 ,由于tableau方法的通用性和直观性 ,引起人工智能界的广泛关注 对于自由变量语义tableau中的量词规则 ,由于γ 规则替换的任意性 ,可导致在同一tableau证明中γ 规则被多次使用 ,使得tableau推理结构树中出现多个自由变量 针对tableau中多次出现自由变量 ,使tableau封闭延迟的问题 ,在δ+ 规则的基础上 ,提出对δ+ 规则改进的δ+ + 规则 ,并进行了正确性证明 将δ+ + 规则应用到TableauTAP系统中 ,结果表明 ,δ+ + 规则使tableau封闭提前 。 展开更多
关键词 δ^-规则 自由变量语义tableau δ^++-规则
在线阅读 下载PDF
基于语义不一致性的网络暴力舆情预警方法 被引量：4
3
作者 叶瀚 胡凯茜 +1 位作者 李欣 孙海春 《情报杂志》 CSSCI 北大核心 2024年第4期135-145,67,共12页
[研究目的]现有网络暴力舆情预警手段对专家知识和先验事件信息存在较大依赖。该文提出一种基于语义不一致性的网络暴力舆情预警方法,以实现对现实情境中网络暴力舆情的有效预警。[研究方法]该文采用网络暴力舆情预警的语义不一致性指... [研究目的]现有网络暴力舆情预警手段对专家知识和先验事件信息存在较大依赖。该文提出一种基于语义不一致性的网络暴力舆情预警方法,以实现对现实情境中网络暴力舆情的有效预警。[研究方法]该文采用网络暴力舆情预警的语义不一致性指数计算方法,并结合时序异常检测方法对语义不一致性异常波动进行监测并预警。收集2022年7月至9月间的微博数据进行模拟预警,验证模型预警能力。[研究结论]实验中平均预警准确率为76.57%,预警覆盖率为60.92%。经验证可实现真实世界条件下至多提前36小时发出预警。实验揭示了网络暴力舆情事件在发展阶段可对整体内容的主题状态产生显著可监测的影响,基于该特性能够实现或增强舆情预警感知能力。 展开更多
关键词 网络暴力 语义不一致性 风险预警 时序异常检测 舆情预警方法
在线阅读 下载PDF
三维点云语义分割方法 被引量：1
4
作者 袁立成 魏振华 《现代电子技术》 北大核心 2024年第22期51-56,共6页
激光雷达技术在移动设备中的广泛应用为点云数据的获取提供了更为便捷的手段。尽管如此,当前关于点云局部上下文表示的研究还存在较大的不足。在这一背景下,提出一种三维点云语义分割方法,即BiVector。该方法由Bilateral Augmentation模... 激光雷达技术在移动设备中的广泛应用为点云数据的获取提供了更为便捷的手段。尽管如此,当前关于点云局部上下文表示的研究还存在较大的不足。在这一背景下,提出一种三维点云语义分割方法,即BiVector。该方法由Bilateral Augmentation模块(BAM)、Local Vector模块(LVM)和Dilated Residual模块(DiRes)三大组成部分构成。具体而言,BAM通过学习点云几何和特征属性之间的偏移量,有效地增强了每个点的局部上下文信息;而LVM引入了向量属性,提高了点云表示的自由度;与此同时,DiRes采用了扩张残差块,进一步提升了网络模型的分割性能。这三个模块的协同作用使得BiVector方法在语义分割任务中取得了显著成果。经实验验证,BiVector方法在S3DIS Area5数据集上取得了65.7%的分割精度,相较于其他方法有明显改进。 展开更多
关键词 三维点云 语义分割 BiVector方法 上下文信息 残差块 双边增强
在线阅读 下载PDF
抽象语义表示解析方法研究综述
5
作者 尹华 卢懿亮 +2 位作者 季跃蕾 吴梓浩 彭亚男 《中文信息学报》 CSCD 北大核心 2024年第3期1-23,共23页
句子级语义分析是自然语言处理(NLP)的核心任务,面临复杂语义的表示问题。抽象语义表示(AMR)突破浅层局限,实现了领域无关的整句通用语义表示,具备准确表征句子完整语义的能力。因为AMR解析效果会影响下游NLP任务的表现,所以解析方法成... 句子级语义分析是自然语言处理(NLP)的核心任务,面临复杂语义的表示问题。抽象语义表示(AMR)突破浅层局限,实现了领域无关的整句通用语义表示,具备准确表征句子完整语义的能力。因为AMR解析效果会影响下游NLP任务的表现,所以解析方法成为近年的国内外研究热点。由于时效性因素,既有AMR综述未涉及新涌现的解析方法,亟需深度聚焦其前沿文献。该文首先采用CiteSpace工具分析了AMR的总体研究情况。相比英文AMR解析研究,中文AMR解析研究成果数量相对较少,尚有较大的发展空间。进而分析了AMR语料库发展和AMR解析面临的概念和概念关系识别、对齐以及融入结构信息等问题。根据不同的解析策略将解析方法分为4类,以问题为驱动,剖析了各类AMR解析方法的演进。最后,选择21个英文AMR解析器、7个中文AMR解析器,比较分析Smatch等各项实验指标。归纳实验结果发现,现有模型在学习复杂多语义关系方面亟待加强。该文通过理论和实证分析为研究者提供AMR解析方法的发展脉络和研究思路。 展开更多
关键词 抽象语义表示 解析方法 语料库 自然语言处理
在线阅读 下载PDF
联合分层语义网络与物理模型的MRI加速重建研究
6
作者 张晓敏 鲍玲鑫 《光电工程》 北大核心 2025年第5期63-76,共14页
为缓解核磁共振成像(MRI)中的长时间采集困境,大数据驱动下的算法与模型融合已成为实现高质量MRI重建的重要手段。然而,现有方法多集中于视觉特征的提取,忽视稳健重建所需的深层次语义信息。为此,提出一种联合分层语义网络与物理模型网... 为缓解核磁共振成像(MRI)中的长时间采集困境,大数据驱动下的算法与模型融合已成为实现高质量MRI重建的重要手段。然而,现有方法多集中于视觉特征的提取,忽视稳健重建所需的深层次语义信息。为此,提出一种联合分层语义网络与物理模型网络的模型驱动架构,旨在提升重建性能的同时维持计算效率。该架构包含四个关键模块:上下文提取模块,用于捕获丰富的上下文特征以降低背景干扰;多尺度聚合模块,通过整合多尺度信息保留粗细解剖细节;语义图推理模块,建模语义关系以增强组织区分度并抑制伪影;双尺度注意力模块,强化不同细节层级上的关键特征表达。这种层次化且语义感知的设计有效减少混叠伪影,并显著提升图像保真度。实验结果表明,在涵盖不同采样率的多样化数据集上,所提方案在定量评估和视觉质量方面均优于现有方法。例如,在IXI数据集四倍径向加速的实验中,所提方法的峰值信噪比达到48.15dB,平均领先最新的对比算法1.00dB,同时实现更高的加速比并保持可靠的图像重建效果。 展开更多
关键词 核磁共振加速 上下文信息 模型驱动方法 语义推理
在线阅读 下载PDF
语义悖论和溯因方法论
7
作者 蒂莫西·威廉姆森 鲁彦君(译) 《河南社会科学》 CSSCI 北大核心 2024年第5期107-118,共12页
从基于不同后承关系的逻辑理论的比较入手,借鉴科学理论的选择标准,提出了一种对相互竞争的逻辑进行比较的一般方法论——溯因方法论。作者以溯因方法论为依托,论证了在解决语义悖论的方案中,修正经典逻辑而保留真的去引号原则所需要付... 从基于不同后承关系的逻辑理论的比较入手,借鉴科学理论的选择标准,提出了一种对相互竞争的逻辑进行比较的一般方法论——溯因方法论。作者以溯因方法论为依托,论证了在解决语义悖论的方案中,修正经典逻辑而保留真的去引号原则所需要付出的代价远比通常认为的更高,由此为保留经典逻辑而限制或修改真的去引号原则提供辩护。 展开更多
关键词 逻辑后承 溯因方法论 语义悖论 逻辑比较 经典逻辑 真的去引号原则
在线阅读 下载PDF
面向Rust语言的形式化验证方法研究综述
8
作者 张卓若 常瑞 +1 位作者 杨申毅 陈芳 《软件学报》 北大核心 2025年第8期3604-3636,共33页
Rust作为一种新兴的安全系统级编程语言,以其创新的所有权模型和借用检查机制提供了内存安全和并发安全保证.尽管Rust的设计宗旨在于安全性,但现有研究揭示了其仍面临诸多安全挑战.形式化验证作为一种基于严格数学基础的方法,为Rust安... Rust作为一种新兴的安全系统级编程语言,以其创新的所有权模型和借用检查机制提供了内存安全和并发安全保证.尽管Rust的设计宗旨在于安全性,但现有研究揭示了其仍面临诸多安全挑战.形式化验证作为一种基于严格数学基础的方法,为Rust安全性提升提供了强有力保障.通过构建精准清晰的语义模型,可以证明遵循Rust检查规则的程序满足安全性要求;借助Rust自动化验证工具能够帮助用户确保其Rust程序的安全性和正确性.对Rust形式化验证工作进行全面系统性分析.首先介绍Rust核心语义和复杂特性,并探讨Rust形式化语义的研究与验证工作,强调Rust类型系统在形式化验证中的潜力.其次,阐述面向Rust程序的自动化验证方法,并对比分析不同验证工具的功能、支持的语言特性、采用的验证技术和适用场景,这对于在Rust项目实际开发流程中指导工具的选择和集成有重要意义.此外,还总结Rust程序验证的典型实例,展示形式化验证在确保程序正确性方面的显著成效,并结合验证实例总结工具使用建议供用户参考.最后讨论当前领域的技术挑战,并指出未来可能的研究方向,涵盖了unsafe Rust代码的验证、并发代码的验证、可信编译,以及大模型驱动的形式化验证等.旨在为Rust社区提供坚实的安全基础,并推动形式化验证在Rust开发中的应用. 展开更多
关键词 形式化方法 Rust语言 程序验证 形式语义 内存安全
在线阅读 下载PDF
认识逻辑(3):基于语义tableau的证明理论 被引量：5
9
作者 刘瑞胜 孙吉贵 刘叙华 《计算机学报》 EI CSCD 北大核心 1998年第S1期1-8,共8页
本文定义了带有索引的认识逻辑ELI，讨论了ELI的语义tableau的证明过程，证明了模态tableau的相容性和完备性．由于ELI与认识逻辑EL是等价的，因而，本文讨论的tableau证明过程也可以作为EL的证明理论．
关键词 模态逻辑 认识逻辑 语义tableau 证明理论
在线阅读 下载PDF
提高一阶多值逻辑Tableau推理效率的布尔剪枝方法 被引量：10
10
作者 刘全 孙吉贵 《计算机学报》 EI CSCD 北大核心 2003年第9期1165-1170,共6页
含有量词的一阶多值Tableau方法具有统一的扩展规则 ,并由Zabel等人给出了可靠性和完备性的证明 .但由于扩展后的分枝随着真值数目的增加而呈指数的增加 ,因而影响了机器推理执行的效率 .该文提出了布尔剪枝方法 ,将带符号的公式与集合... 含有量词的一阶多值Tableau方法具有统一的扩展规则 ,并由Zabel等人给出了可靠性和完备性的证明 .但由于扩展后的分枝随着真值数目的增加而呈指数的增加 ,因而影响了机器推理执行的效率 .该文提出了布尔剪枝方法 ,将带符号的公式与集合的上集 /下集联系起来 ,使含量词的一阶多值逻辑公式的扩展规则大大简化 .进一步 ,通过对布尔剪枝方法的分析 ,建立了一类特殊一阶多值逻辑正则公式的更为简洁的Tableau推理方法 ,该方法使得含量词的一阶多值逻辑Tableau推理类同于经典逻辑Tableau方法 . 展开更多
关键词 人工智能 tableau推理效率 一阶多值tableau方法 布尔剪枝方法
在线阅读 下载PDF
基于语义tableau的一阶逻辑自动定理证明 被引量：3
11
作者 刘全 孙吉贵 《计算机工程与应用》 CSCD 北大核心 2005年第23期22-24,共3页
自动推理作为自动定理证明的扩展是人工智能研究的基础工作,许多重要的人工智能系统都是以推理系统为其核心部分,其中的tableau方法,由于具有通用性、直观性及易于计算机实现等特点,至今成为重要的自动推理方法之一。在tableau方法基础... 自动推理作为自动定理证明的扩展是人工智能研究的基础工作,许多重要的人工智能系统都是以推理系统为其核心部分,其中的tableau方法,由于具有通用性、直观性及易于计算机实现等特点,至今成为重要的自动推理方法之一。在tableau方法基础上,讨论了一阶逻辑中的自动定理证明理论,提出使用模型存在定理证明其可靠性和完备性的方法。同时也给出了带等词tableau方法的证明过程。 展开更多
关键词 语义tableau 有效性 完备性
在线阅读 下载PDF
基于三维语义空间的色彩设计方法研究 被引量：8
12
作者 陈登凯 王可 陆长德 《计算机工程与应用》 CSCD 北大核心 2008年第7期106-108,共3页
从色彩的语义空间理论出发,研究了三维语义空间的构建原理,建立了抽象语言和色彩关联的三维风格语义空间,并在此基础上构建了基于三维语义空间的色彩设计方法模型,实现了基于三维语义空间的色彩设计的具体技术路线,以辅助用户能够快速... 从色彩的语义空间理论出发,研究了三维语义空间的构建原理,建立了抽象语言和色彩关联的三维风格语义空间,并在此基础上构建了基于三维语义空间的色彩设计方法模型,实现了基于三维语义空间的色彩设计的具体技术路线,以辅助用户能够快速的依据语义匹配原则进行色彩设计。最后,通过产品色彩设计实例验证了该方法在色彩设计中的应用。 展开更多
关键词 语义空间 色彩设计 模型 方法
在线阅读 下载PDF
结合语义的特征权重计算方法研究 被引量：20
13
作者 任姚鹏 陈立潮 +1 位作者 张英俊 袁英 《计算机工程与设计》 CSCD 北大核心 2010年第10期2381-2383,2387,共4页
为进一步改善目前大多数基于向量空间模型(VSM)的文本聚类算法的效果,研究了文本聚类的基础和关键环节——文本间相似度的计算,其中一个重要步骤就是计算各文本中特征词的权重,该计算的合理性和有效性直接影响到文本相似度的准确性和聚... 为进一步改善目前大多数基于向量空间模型(VSM)的文本聚类算法的效果,研究了文本聚类的基础和关键环节——文本间相似度的计算,其中一个重要步骤就是计算各文本中特征词的权重,该计算的合理性和有效性直接影响到文本相似度的准确性和聚类的效果。传统的VSM特征权重计算方法——TF-IDF,没有考虑语义相似的词语在文本集中的分布情况,针对该问题,在基于"知网"的词语语义相似度分析基础上,提出了一种改进的TF-IDF权重计算方法。实验结果表明,该算法是有效可行的,且在一定程度上提高了文本聚类的查准率和查全率。 展开更多
关键词 文本聚类 向量空间模型 权重计算方法 词汇语义相似度 知网
在线阅读 下载PDF
语义韵研究:对象、方法及应用 被引量：67
14
作者 纪玉华 吴建平 《厦门大学学报（哲学社会科学版）》 CSSCI 北大核心 2000年第3期63-68,共6页
语义韵是当代语料库语言学中的一个重要研究对象。它指的是单词或词组的“超越词界的联想色彩”。要确认语义韵必须在以现代信息技术为支持的语料库语言学研究中 ,使用定位检索软件找出其搭配伙伴 ,对其“表达联想意义”进行定性、定量... 语义韵是当代语料库语言学中的一个重要研究对象。它指的是单词或词组的“超越词界的联想色彩”。要确认语义韵必须在以现代信息技术为支持的语料库语言学研究中 ,使用定位检索软件找出其搭配伙伴 ,对其“表达联想意义”进行定性、定量分析 ,从而得出语义韵轮廓。当代英美词典编纂正越来越多地吸收和运用语义韵研究的成果 。 展开更多
关键词 语义韵 研究方法 语料库语言学 联想色彩
在线阅读 下载PDF
一种面向语义Web服务的软件设计语言和设计方法 被引量：4
15
作者 曹虹华 应时 +1 位作者 杜德慧 贾向阳 《电子学报》 EI CAS CSCD 北大核心 2007年第B12期129-135,共7页
在分析已有的面向服务的设计和开发方法的基础上，设计了一种语义编程语言SPL，并基于该语言提出一种面向语义web服务的软件设计和开发方法，试图提供一种有效的解决方案，用于设计和开发面向语义web服务的软件系统．结合旅游预订领域... 在分析已有的面向服务的设计和开发方法的基础上，设计了一种语义编程语言SPL，并基于该语言提出一种面向语义web服务的软件设计和开发方法，试图提供一种有效的解决方案，用于设计和开发面向语义web服务的软件系统．结合旅游预订领域的一个实例，讨论了该方法的全过程．还给出了SPL语言和相关语言的比较．该研究对面向语义Web服务的软件分析、设计和开发具有一定的参考作用 . 展开更多
关键词 语义WEB服务 语义编程语言SPL 软件设计方法
在线阅读 下载PDF
一种面向软件特征定位问题的语义相似度集成方法 被引量：5
16
作者 何云 李彤 +2 位作者 王炜 李响 兰微 《计算机研究与发展》 EI CSCD 北大核心 2019年第2期394-409,共16页
特征是软件系统中被需求所定义的可执行功能实体.识别软件特征与源代码间映射关系的过程被称作特征定位.基于信息检索的特征定位方法由于高易用性和低开销等优点,被广泛应于软件维护、代码搜索等领域.所有基于信息检索的特征定位方法均... 特征是软件系统中被需求所定义的可执行功能实体.识别软件特征与源代码间映射关系的过程被称作特征定位.基于信息检索的特征定位方法由于高易用性和低开销等优点,被广泛应于软件维护、代码搜索等领域.所有基于信息检索的特征定位方法均建立在语义相似度计算基础之上,当前语义相似度计算存在2个主要问题:第一,源代码数据中大量噪声信息对相似度计算的干扰;第二,不同索引方法局限性导致的相似度计算结果失准.针对这2个问题,提出了一种面向软件特征定位问题的语义相似度集成方法.该方法在预处理过程引入词性过滤,有效过滤源代码中噪声数据,提升相似性计算的准确度.然后,以源代码数据自身结构特性为依据,集成不同索引方法进行相似度计算.在公开数据集上进行了实验,与现有方法相比,词性过滤和相似度集成在平均排序倒数性能上分别带来了30.88%和10.28%的提升,验证了所提方法的有效性. 展开更多
关键词 特征定位 信息检索 语义相似度 词性过滤 索引方法 集成
在线阅读 下载PDF
基于语义Web的本体映射方法综述 被引量：12
17
作者 袁洋 李善平 《计算机科学》 CSCD 北大核心 2004年第5期5-8,共4页
本体之间的映射是语义web发展中的一个重要问题。事实上,语义Web是由多种信息源组成的,每个信息源都以某个本体的形式表示。为了实现这些信息源的信息共享,就要用到本体映射方法。本文首先讨论了本体映射的三种体系结构。然后按照E.Rah... 本体之间的映射是语义web发展中的一个重要问题。事实上,语义Web是由多种信息源组成的,每个信息源都以某个本体的形式表示。为了实现这些信息源的信息共享,就要用到本体映射方法。本文首先讨论了本体映射的三种体系结构。然后按照E.Rahm提出的分类标准,对现有的一些主要的本体映射方法进行归纳。最后,给出了4种方法的比较分析。从中可以看出各种独立匹配方法的组合将是一个极有希望的发展方向。 展开更多
关键词 语义WEB 本体 映射 方法 软件代理 下一代互联网 分类体系 匹配方法
在线阅读 下载PDF
语义分析法:研究中国文化心理学的一种重要方法 被引量：12
18
作者 汪凤炎 郑红 《南京师大学报（社会科学版）》 CSSCI 北大核心 2010年第4期113-118,143,共7页
语义分析法,指先分析某一字的字形特点及其中所蕴含的意义(尤其是心理学含义);接着从历史演化的角度剖析此字的原始含义及其后的变化义,从而澄清此术语的本来面目;然后再用心理学的眼光进行观照,界定此术语在心理学上所讲的准确内涵或... 语义分析法,指先分析某一字的字形特点及其中所蕴含的意义(尤其是心理学含义);接着从历史演化的角度剖析此字的原始含义及其后的变化义,从而澄清此术语的本来面目;然后再用心理学的眼光进行观照,界定此术语在心理学上所讲的准确内涵或揭示其内所蕴含的心理学思想的一种研究方法。鉴于汉字本身是一种充满心理学意蕴的文字,是记载中国人心理与行为方式及其特点与规律的"活化石"之一,因此,语义分析法就成为研究中国文化心理学的一种重要方法。 展开更多
关键词 语义分析法 中国文化心理学 方法
在线阅读 下载PDF
基于二元语义信息处理的软件质量综合评价方法 被引量：4
19
作者 尤天慧 樊治平 李洪燕 《系统工程与电子技术》 EI CSCD 北大核心 2005年第3期545-549,共5页
针对具有层次结构和语言评价信息的软件质量综合评价问题,提出了一种基于二元语义信息处理的综合评价方法。首先给出了一种软件质量评价指标体系,然后在简要介绍二元语义概念的基础上,给出了基于二元语义信息处理的软件质量综合评价方... 针对具有层次结构和语言评价信息的软件质量综合评价问题,提出了一种基于二元语义信息处理的综合评价方法。首先给出了一种软件质量评价指标体系,然后在简要介绍二元语义概念的基础上,给出了基于二元语义信息处理的软件质量综合评价方法的计算步骤,通过该方法可以得到以二元语义形式给出的软件质量综合评价值。最后通过一个算例说明了该评价方法的有效性。 展开更多
关键词 综合评价方法 软件质量 语言评价信息 二元语义 信息集结
在线阅读 下载PDF
基于完备性和语义性的隶属函数GA优化方法 被引量：3
20
作者 时招军 邓辉文 黄笑鹃 《计算机科学》 CSCD 北大核心 2005年第3期223-225,232,共4页
提出优化隶属函数的GA编码方法可以保证其完备性和语义性,并给出了仿真结果。
关键词 完备性 语义性 隶属函数 GA编码方法 优化方法 模糊控制技术
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 14 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部