检索结果-维普期刊中文期刊服务平台

受限量化域与实质蕴涵“严峻反例”的化解——四论从形式蕴涵看“实质蕴涵怪论” 被引量：2: 1; 作者张建军张顺《湖北大学学报（哲学社会科学版）》 CSSCI 北大核心 2020年第5期47-57,168,共12页; 从形式蕴涵看“实质蕴涵怪论”,是化解实质蕴涵理论之“严峻反例”的谓词逻辑路径,旨在纠正经典命题逻辑定理在条件句分析中的误用,并非对条件句命题逻辑刻画的“高层次的重复”。基于受限量化域的特殊形式蕴涵,是化解“严峻反例”的基... 展开更多; 关键词实质蕴涵怪论严峻反例形式蕴涵受限量化域命题函数; 在线阅读下载PDF 职称材料

量化域的“语义结构”释义——兼评《德语量词辖域》被引量：1: 2; 作者张连文《北京第二外国语学院学报》 2012年第10期8-16,27,共10页; 量化域的语言表征层次的编码和释义是语言理论的焦点问题。量化域本质上是语义现象但同时也是接口现象。本书提出的"语义结构"表达了句子和组成部分的意义(组合性),并以此结构编码量化域。本文旨在阐明量词辖域的多因素理论... 展开更多; 关键词量化域表征层次语义结构接口平行架构; 在线阅读下载PDF 职称材料

基于三分支图外部注意力网络的轻量化跨域序列推荐: 3; 作者张劲羽马晨曦 +1 位作者李超赵中英《计算机研究与发展》 EI CSCD 北大核心 2024年第8期1930-1944,共15页; 跨域序列推荐(cross-domain sequential recommendation,CSR)旨在通过挖掘用户在多域混合序列中的行为偏好来为其提供跨域个性化推荐服务.近年来,研究人员开始尝试将图卷积网络(graph convolution network,GCN)集成到CSR中,以建模用户... 展开更多; 关键词推荐系统轻量化跨域序列推荐外部注意力图神经网络协同过滤; 在线阅读下载PDF 职称材料

OFDM测距中的最佳轨迹匹配相噪补偿算法被引量：1: 4; 作者李晓辉谢羿 +1 位作者石潇竹袁江伟《系统工程与电子技术》 EI CSCD 北大核心 2020年第3期704-710,共7页; 近年来,正交频分复用(orthogonal frequency division multiplexing,OFDM)被广泛应用于高精度无线测距系统中。针对OFDM高精度测距系统对相位噪声非常敏感的问题,提出了基于区域量化的分级最佳轨迹匹配相位噪声补偿算法,首先根据实际相... 展开更多; 关键词高精度测距相位噪声量化域轨迹匹配; 在线阅读下载PDF 职称材料

题名受限量化域与实质蕴涵“严峻反例”的化解——四论从形式蕴涵看“实质蕴涵怪论” 被引量：2: 1; 作者张建军张顺; 机构南京大学哲学系; 出处《湖北大学学报（哲学社会科学版）》 CSSCI 北大核心 2020年第5期47-57,168,共12页; 基金国家社会科学基金重大项目“广义逻辑悖论的历史发展、理论前沿与跨学科应用研究”(18ZDA031) 国家社会科学基金重大项目“当代逻辑哲学重大前沿问题研究”(17ZDA024); 文摘从形式蕴涵看“实质蕴涵怪论”,是化解实质蕴涵理论之“严峻反例”的谓词逻辑路径,旨在纠正经典命题逻辑定理在条件句分析中的误用,并非对条件句命题逻辑刻画的“高层次的重复”。基于受限量化域的特殊形式蕴涵,是化解“严峻反例”的基本工具。准确理解命题函数和逻辑量词,清晰分辨命题与命题函数、条件命题与条件句,对于把握形式蕴涵化解路径起着关键作用。关于“吉伯德反例”等“极严峻反例”的化解,需诉诸刻画“多重概括”的量词叠置型形式蕴涵。以受限量化域和特殊形式蕴涵刻画某些自然语言条件句的逻辑形式,澄清认知共同体关于这些语句的“为假直觉”或“为真直觉”之逻辑机理,有助于将经典逻辑正确运用于自然语言理解,对逻辑教学体系改革也具有重要意义。; 关键词实质蕴涵怪论严峻反例形式蕴涵受限量化域命题函数; 分类号 B81 [哲学宗教—逻辑学]; 在线阅读下载PDF 职称材料

题名量化域的“语义结构”释义——兼评《德语量词辖域》被引量：1: 2; 作者张连文; 机构中国政法大学外国语学院; 出处《北京第二外国语学院学报》 2012年第10期8-16,27,共10页; 文摘量化域的语言表征层次的编码和释义是语言理论的焦点问题。量化域本质上是语义现象但同时也是接口现象。本书提出的"语义结构"表达了句子和组成部分的意义(组合性),并以此结构编码量化域。本文旨在阐明量词辖域的多因素理论和语义结构解释;以比较方法结合Pafel(2005)的研究综合分析量化域和线性模式,阐述独立语义结构与句法衍生的逻辑式的区别。系统研究发现Pafel论证的语义结构和句法-语义的平行结构符合Jackendoff的概念结构以及对应/接口规则连接的平行架构框架。; 关键词量化域表征层次语义结构接口平行架构; Keywords quantifier scope representational level semantic structure interface parallel architecture; 分类号 H030 [语言文字—语言学]; 在线阅读下载PDF 职称材料

题名基于三分支图外部注意力网络的轻量化跨域序列推荐: 3; 作者张劲羽马晨曦李超赵中英; 机构山东科技大学计算机科学与工程学院; 出处《计算机研究与发展》 EI CSCD 北大核心 2024年第8期1930-1944,共15页; 基金国家自然科学基金项目(62072288) 山东省泰山学者计划项目(tsqn202211154) 山东省自然科学基金项目(ZR2022MF268)。; 文摘跨域序列推荐(cross-domain sequential recommendation,CSR)旨在通过挖掘用户在多域混合序列中的行为偏好来为其提供跨域个性化推荐服务.近年来,研究人员开始尝试将图卷积网络(graph convolution network,GCN)集成到CSR中,以建模用户和项目之间的复杂关系.然而,基于图的CSR方法大多通过复杂的结构来捕捉用户在多个域中的序列行为模式,这导致其通常具有较高的计算复杂度和较大的内存开销,限制了模型在资源受限设备上的应用.此外,已有的轻量级图跨域序列推荐方法认为,应该采用单层聚合协议(single layer aggregating protocol,SLAP)来学习跨域序列图(cross-domain sequential graph,CSG)上的嵌入表示.基于这种协议的图卷积网络,能够规避多层聚合协议所带来的额外跨域噪声,但却难以捕捉域内的高阶序列依赖关系.为了解决上述挑战,提出了一种轻量级的三分支图外部注意力网络(tri-branches graph external attention network,TEA-Net).具体而言,TEA-Net首先将原始CSG分为域间以及域内序列图,并设计了一种并行的三分支图卷积网络结构来学习图中的节点表示.该结构能够以较低的计算开销,在不引入额外跨域噪声的条件下,学习域间的低阶协同过滤关系和域内的高阶序列依赖关系.其次,在三分支结构的基础上,提出了一种改良的外部注意力(external attention,EA)组件,该组件移除了EA中的非线性通道,使其能够以更低的开销挖掘项目序列依赖关系并将注意力权重在多个分支上共享.在2个真实数据集上进行了广泛的实验来验证TEA-Net的性能表现.与10种最先进的CSR方法相比,TEA-Net在轻量化性能和预测精度方面均取得了更好的结果.; 关键词推荐系统轻量化跨域序列推荐外部注意力图神经网络协同过滤; Keywords recommender systems lightweight cross-domain sequential recommendation external attention graph neural network collaborative filtering; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名OFDM测距中的最佳轨迹匹配相噪补偿算法被引量：1: 4; 作者李晓辉谢羿石潇竹袁江伟; 机构中国电子科技集团第二十八研究所空中交通管理系统与技术国家重点实验室西安电子科技大学综合业务网理论及关键技术国家重点实验室; 出处《系统工程与电子技术》 EI CSCD 北大核心 2020年第3期704-710,共7页; 基金国家重点研发计划(2018YFB1802004) 空中交通管理系统与技术国家重点实验室开放基金(SKLATM201807) 高等学校学科创新引智计划(B08038)资助课题; 文摘近年来,正交频分复用(orthogonal frequency division multiplexing,OFDM)被广泛应用于高精度无线测距系统中。针对OFDM高精度测距系统对相位噪声非常敏感的问题,提出了基于区域量化的分级最佳轨迹匹配相位噪声补偿算法,首先根据实际相位噪声轨迹设计了基于区域量化的两级码本,然后通过分段匹配的方法在码本中选择最接近实际的相位噪声轨迹。仿真结果与分析表明所提方法在相同估计精度条件下可以有效地降低轨迹匹配复杂度,且所提算法可以有效地跟踪实际相位噪声轨迹,在保证码本覆盖范围的前提下得到了接近最优的测距精度。; 关键词高精度测距相位噪声量化域轨迹匹配; Keywords high precision ranging phase noise quantization domain trajectory matching; 分类号 TN92 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	受限量化域与实质蕴涵“严峻反例”的化解——四论从形式蕴涵看“实质蕴涵怪论”	张建军张顺	《湖北大学学报（哲学社会科学版）》 CSSCI 北大核心	2020	2	在线阅读下载PDF 职称材料
2	量化域的“语义结构”释义——兼评《德语量词辖域》	张连文	《北京第二外国语学院学报》	2012	1	在线阅读下载PDF 职称材料
3	基于三分支图外部注意力网络的轻量化跨域序列推荐	张劲羽马晨曦李超赵中英	《计算机研究与发展》 EI CSCD 北大核心	2024	0	在线阅读下载PDF 职称材料
4	OFDM测距中的最佳轨迹匹配相噪补偿算法	李晓辉谢羿石潇竹袁江伟	《系统工程与电子技术》 EI CSCD 北大核心	2020	1	在线阅读下载PDF 职称材料