期刊文献+
共找到480篇文章
< 1 2 24 >
每页显示 20 50 100
REAIZATION OF THE NEIGHBORING LOGIC SYMMETRY FOR BOOLEAN ORDERED SET
1
作者 林柏钢 《Journal of Electronics(China)》 1990年第4期306-311,共6页
By means of Logic symmetric relation,the single neighboring Logic path for Ndimensions Boolean ordered set is solved.A new method of determining any logic neighboringsubset in limited dimension is proposed.Its results... By means of Logic symmetric relation,the single neighboring Logic path for Ndimensions Boolean ordered set is solved.A new method of determining any logic neighboringsubset in limited dimension is proposed.Its results are intuitional and realizable for computer. 展开更多
关键词 BOOLEAN orderED SET Single neighboring PATH logical SYMMETRY
下载PDF
An Adaptive Neuro-Fuzzy Inference System to Improve Fractional Order Controller Performance
2
作者 N.Kanagaraj 《Intelligent Automation & Soft Computing》 SCIE 2023年第3期3213-3226,共14页
The design and analysis of a fractional order proportional integral deri-vate(FOPID)controller integrated with an adaptive neuro-fuzzy inference system(ANFIS)is proposed in this study.Afirst order plus delay time plant... The design and analysis of a fractional order proportional integral deri-vate(FOPID)controller integrated with an adaptive neuro-fuzzy inference system(ANFIS)is proposed in this study.Afirst order plus delay time plant model has been used to validate the ANFIS combined FOPID control scheme.In the pro-posed adaptive control structure,the intelligent ANFIS was designed such that it will dynamically adjust the fractional order factors(λandµ)of the FOPID(also known as PIλDµ)controller to achieve better control performance.When the plant experiences uncertainties like external load disturbances or sudden changes in the input parameters,the stability and robustness of the system can be achieved effec-tively with the proposed control scheme.Also,a modified structure of the FOPID controller has been used in the present system to enhance the dynamic perfor-mance of the controller.An extensive MATLAB software simulation study was made to verify the usefulness of the proposed control scheme.The study has been carried out under different operating conditions such as external disturbances and sudden changes in input parameters.The results obtained using the ANFIS-FOPID control scheme are also compared to the classical fractional order PIλDµand conventional PID control schemes to validate the advantages of the control-lers.The simulation results confirm the effectiveness of the ANFIS combined FOPID controller for the chosen plant model.Also,the proposed control scheme outperformed traditional control methods in various performance metrics such as rise time,settling time and error criteria. 展开更多
关键词 Adaptive neuro-fuzzy inference system(ANFIS) fuzzy logic controller fractional order control PID controller first order time delay system
下载PDF
基于有限谓词追踪的民机系统需求一致性检查方法
3
作者 王鹏 岳舒婷 +1 位作者 张帆 董磊 《系统工程与电子技术》 EI CSCD 北大核心 2024年第1期205-218,共14页
针对民机安全关键系统在正向研发过程中,系统级需求的正确性难以在设计早期全部完成确认的问题,提出一种基于有限谓词追踪的功能需求一致性检查体系。首先,引入一阶逻辑中的谓词追踪,建立系统内部功能需求与交互功能需求形式化规约方法... 针对民机安全关键系统在正向研发过程中,系统级需求的正确性难以在设计早期全部完成确认的问题,提出一种基于有限谓词追踪的功能需求一致性检查体系。首先,引入一阶逻辑中的谓词追踪,建立系统内部功能需求与交互功能需求形式化规约方法。其次,针对单条、多条需求内容正确性以及需求关系一致性,构建需求一致性检查形式化规约,开展需求自冲突、集冲突与需求关系一致性检验,并生成可解释的检查反例进行需求迭代。最后,以机载平视显示(head-up display,HUD)系统飞行信息符号生成与显示功能为例,验证该方法的正确性与有效性。研究结果表明,基于有限谓词追踪的功能需求一致性检查方法能够提高需求一致性检查效率、降低研发成本,为民机系统级需求确认提供支持。 展开更多
关键词 需求一致性 定理证明 功能需求正确性 一阶逻辑 需求冲突
下载PDF
基于概率逻辑推理的高阶互补云API推荐方法
4
作者 陈真 谢登辉 +3 位作者 王小龙 孙梦梦 刘啸威 申利民 《计算机学报》 EI CAS CSCD 北大核心 2024年第8期1922-1948,共27页
云时代,云API作为服务交付、数据交换和能力复制的最佳载体,已成长为当今面向服务软件开发和企业数字化转型不可或缺的核心要素.然而动态开放网络中持续增长的云API在给开发者提供了更多选择的同时,也将其淹没在海量的云API选择之中,设... 云时代,云API作为服务交付、数据交换和能力复制的最佳载体,已成长为当今面向服务软件开发和企业数字化转型不可或缺的核心要素.然而动态开放网络中持续增长的云API在给开发者提供了更多选择的同时,也将其淹没在海量的云API选择之中,设计有效的云API推荐方法就此成为API经济健康发展中迫切要解决的现实问题.但是,现有研究主要利用搜索关键词、服务质量和调用偏好进行建模,生成质量高功能单一的云API推荐列表,没有考虑服务化软件实际开发中开发者对多元化高阶互补云API的客观需要.高阶互补云API推荐旨在为多个查询云API生成多元互补云API列表,要求推荐结果与查询云API均互补,以满足开发者的联合需求.针对此问题,本文提出基于概率逻辑推理的高阶互补云API推荐方法(Probabilistic Logic Reasoning for High-order Complementary Cloud API Recom⁃mendation,PLR4HCCR).首先,通过云API生态真实数据分析论证云API互补推荐需求的必要性和互补关系建模中替补噪声的客观存在,为云API互补推荐问题研究提供动机和数据支持.其次,采用Beta概率嵌入对云API及其之间的关系约束进行编码,以刻画云API间互补关系的不确定性和支持互补逻辑推理.接着,设计由投影、取反和交并三个基本逻辑算子构建的互补关系逻辑推理网络,使查询集中的每个云API获得非对称互补关系感知和替补噪声消解约束下的互补云API表示.然后,引入注意力机制为查询云API的互补云API分配不同权重,增强高阶互补云API基向量的表征能力.在此基础上,采用KL散度度量高阶互补云API基向量与候选云API之间的距离,并根据KL散度排序生成高阶互补性可感知下的云API推荐结果.最后,我们利用两个真实云API数据集在不同阶互补推荐场景下进行实验,实验表明,与传统启发式推荐方法和深度学习推荐方法相比,PLR4HCCR在互补关系感知推理和替补噪声消解方面均具有较大的优势,继而使其在低阶、高阶和混合阶互补云API推荐中均展示出更优的推荐效果和更强的泛化能力.进一步,超参数敏感性实验、实例分析和用户调查验证了方法的有效性、实用性和可行性,这使结合高阶互补关系的云API推荐方法PLR4HCCR不仅更有可能生成开发者满意的结果,而且可有效提升云API服务提供者的收益. 展开更多
关键词 面向服务软件开发 云API推荐 高阶互补 逻辑推理 Beta概率嵌入
下载PDF
学校教学秩序重构的空间逻辑:动力与路向
5
作者 朱德全 熊晴 《贵州师范大学学报(社会科学版)》 2024年第3期53-62,共10页
作为素养时代教学变革的根本性问题,学校教学秩序重构内嵌于学校教学空间之中并以空间逻辑为基本遵循。教学秩序与空间逻辑之间具有合规律性、合目的性和合价值性三重联结向度,奠定了基于空间逻辑重构教学秩序的逻辑前提。学校教学秩序... 作为素养时代教学变革的根本性问题,学校教学秩序重构内嵌于学校教学空间之中并以空间逻辑为基本遵循。教学秩序与空间逻辑之间具有合规律性、合目的性和合价值性三重联结向度,奠定了基于空间逻辑重构教学秩序的逻辑前提。学校教学秩序重构由空间自上而下的三组动力推动,包括社会秩序宏观投射与教学领域深化改革的张力平衡、教学资源迭代升级与师生关系生命互摄的要素协调,以及固化观念悄然解构与教学价值自觉出场的矛盾对立。基于空间逻辑重构教学秩序要根据教学空间的教育性、技术性和社会性特点,以主体具身交互澄清教学秩序的价值指向,在技术与教学的深度融合中重构教学秩序,以教学空间正义构建师生的主体间性关系。 展开更多
关键词 学校教学 教学秩序 教学空间 空间逻辑
下载PDF
冷战结束以来俄罗斯对国际秩序的认知历程及其演变逻辑
6
作者 阮建平 何诗雨 《欧亚人文研究(中俄文)》 2024年第2期1-14,85,89,共16页
冷战结束以来俄罗斯对国际秩序的认知经历了一个曲折的发展历程:20世纪90年代中前期,俄罗斯全盘接受并极力融入美西方主导的自由国际秩序;20世纪90年代中后期开始到2007年,俄罗斯开始质疑和反思美西方自由国际秩序的制度标准和地缘安排... 冷战结束以来俄罗斯对国际秩序的认知经历了一个曲折的发展历程:20世纪90年代中前期,俄罗斯全盘接受并极力融入美西方主导的自由国际秩序;20世纪90年代中后期开始到2007年,俄罗斯开始质疑和反思美西方自由国际秩序的制度标准和地缘安排,但依然希望被接纳;2008年至今,俄罗斯逐渐放弃对美西方自由国际秩序的幻想,并开始反击其地缘安排。2022年乌克兰危机爆发意味着俄罗斯对美西方秩序的彻底反击,并提出和推进其多极世界秩序构想。俄罗斯对国际秩序的认知历程是其自我认知与对外部世界的认知不断调适的产物,其形成过程受到多种因素的共同作用,主要包括俄罗斯的大国梦想和历史文化传统、美西方对俄罗斯的态度,以及世界政治的客观形势。 展开更多
关键词 俄罗斯 自由国际秩序 多极世界秩序 认知历程 演变逻辑
下载PDF
面向前提选择的新型图约简表示与图神经网络模型
7
作者 兰咏琪 何星星 +1 位作者 李莹芳 李天瑞 《计算机科学》 CSCD 北大核心 2024年第5期193-199,共7页
自动定理证明器在证明问题时其搜索空间通常会呈现爆炸式增长,前提选择为该问题提供了新的解决思路。针对现有前提选择方法中逻辑公式图、图神经网络模型难以捕捉到公式图潜在信息的问题,提出了一种基于删除重复量词的简化逻辑公式图表... 自动定理证明器在证明问题时其搜索空间通常会呈现爆炸式增长,前提选择为该问题提供了新的解决思路。针对现有前提选择方法中逻辑公式图、图神经网络模型难以捕捉到公式图潜在信息的问题,提出了一种基于删除重复量词的简化逻辑公式图表示和具有注意力机制的项游走图神经网络模型,充分利用逻辑公式的语法和语义信息提高前提选择问题的分类精度。首先,将一阶逻辑猜想和前提公式转化为基于删除重复量词的简化一阶逻辑公式图;其次,利用消息传递图神经网络对节点和节点的项游走特征信息进行聚合和更新,随后使用注意力机制为图上的节点分配权重,进而调整图节点嵌入信息;最后,将前提图向量和猜想图向量拼接并输入二元分类器中实现前提分类。实验结果表明,所提方法在MPTP数据集和CNF数据集上的准确率分别达到了88.61%和84.74%,超越现有最优的前提选择方法。 展开更多
关键词 图神经网络 前提选择 注意力机制 一阶逻辑公式 图约简表示方法
下载PDF
一阶逻辑定理证明器中的无效子句删除策略
8
作者 姜世攀 陈树伟 曾国艳 《计算机应用》 CSCD 北大核心 2024年第3期677-682,共6页
在一阶逻辑定理证明器中,子句预处理是不可或缺的步骤,而子句的消去规则是预处理中极其重要的部分。传统的基于纯文字规则的子句消去方法在理论上存在子句删除过多的问题,在算法实现上又存在子句删除不充分的情况。为了提高子句删除的... 在一阶逻辑定理证明器中,子句预处理是不可或缺的步骤,而子句的消去规则是预处理中极其重要的部分。传统的基于纯文字规则的子句消去方法在理论上存在子句删除过多的问题,在算法实现上又存在子句删除不充分的情况。为了提高子句删除的精确率,在理论上,基于纯文字规则对子句进行再分类。第一类称为无效子句,该类子句不能通过等词替换与某个子句形成互补对,此类子句应完全删除;第二类为相对无效子句,该类子句无法与当前子句集中的子句形成互补对,但能进行等词替换,此类子句应在参与演绎后综合考虑是否删除。在算法实现中,考虑到子句的消去应是动态的过程,当前消去的子句会影响已判断的子句的无效性,提出一种用于判定子句无效性的递归遍历算法。将上述子句约简规则应用于证明器CSE1.5(Contradiction Separation Extension 1.5)中,以2019—2022的CADE(Conference on Automated DEduction)自动定理证明(ATP)系统竞赛中一阶逻辑问题组为测试对象。在300 s内,应用所提算法的CSE1.5_IC比原始CSE1.5总共多证明了27个问题。在两个版本证明器共同证明的所有FNE(FOF theorems without Equality)测试例中,CSE1.5_IC比CSE1.5平均每个问题多约简了28个子句,平均求解时间减少了7.07 s。实验结果表明,所提无效子句约简算法是一种有效的预处理方式,能够提高一阶逻辑子句集的约简精确率,同时能够提高自动定理证明器的证明能力和缩短证明时间。 展开更多
关键词 自动推理 一阶逻辑 子句删除 纯文字规则 无效子句
下载PDF
一阶逻辑中基于treelet图神经网络的前提选择
9
作者 马雪 何星星 +1 位作者 兰咏琪 李莹芳 《计算机工程与科学》 CSCD 北大核心 2024年第2期374-380,共7页
前提选择是解决自动定理证明器面对大规模问题时性能降低的有效方法。当前面向一阶逻辑中前提选择的主流图神经网络忽略了逻辑公式图内部的节点顺序信息。针对此问题,将一种面向高阶逻辑公式的保序方法拓展到一阶逻辑中,并提出了一种基... 前提选择是解决自动定理证明器面对大规模问题时性能降低的有效方法。当前面向一阶逻辑中前提选择的主流图神经网络忽略了逻辑公式图内部的节点顺序信息。针对此问题,将一种面向高阶逻辑公式的保序方法拓展到一阶逻辑中,并提出了一种基于treelet的图神经网络模型。该模型在信息聚合时一部分聚合中心节点的父、子节点信息,另一部分聚合节点顺序信息。实验分析表明:基于treelet的图神经网络模型在前提选择任务中比最优的主流图神经网络模型的分类准确率提高了约2%。 展开更多
关键词 一阶逻辑公式 图神经网络 前提选择 二元分类
下载PDF
可满足性模理论综述
10
作者 唐傲 王晓峰 何飞 《计算机工程与科学》 CSCD 北大核心 2024年第3期400-415,共16页
可满足性模理论(SMT)是指判定一阶逻辑公式在特定背景理论下的可满足性问题。基于一阶逻辑的SMT相比SAT描述能力更强、抽象能力更高,能处理更加复杂的问题。SMT求解器在各个领域都有应用,已经成为重要的形式化验证引擎。目前,SMT已被广... 可满足性模理论(SMT)是指判定一阶逻辑公式在特定背景理论下的可满足性问题。基于一阶逻辑的SMT相比SAT描述能力更强、抽象能力更高,能处理更加复杂的问题。SMT求解器在各个领域都有应用,已经成为重要的形式化验证引擎。目前,SMT已被广泛应用在人工智能、硬件RTL验证、自动化推理和软件工程等领域。根据近些年SMT的发展,首先阐述SMT基本知识和常见的背景理论;然后分析总结Eager方法、Lazy方法和DPLL(T)方法的实现流程,并进一步介绍主流求解器Z3、CVC5和MathSAT5的实现过程;接着介绍SMT的扩展问题#SMT、SMT应用在深度神经网络的SMTlayer方法和量子SMT求解器;最后对SMT的发展进行展望,并讨论其面临的挑战。 展开更多
关键词 一阶逻辑 可满足性模理论 Lazy方法 DPLL(T) SMT求解器 #SMT
下载PDF
父亲的缺位——论《阿卡迪亚》中的知识逻辑与性别秩序
11
作者 胡耀元 王岚 《广东外语外贸大学学报》 2024年第4期88-97,共10页
在当代英国剧作家汤姆·斯托帕德所著《阿卡迪亚》中,贵族家庭里父亲的缺席和学术场域中权威的消解具有某种相似性,不仅表明传统父权秩序走向了崩塌,更体现出以颠覆与重述为核心的知识逻辑。这种知识逻辑贯穿剧中人物对知识的追寻... 在当代英国剧作家汤姆·斯托帕德所著《阿卡迪亚》中,贵族家庭里父亲的缺席和学术场域中权威的消解具有某种相似性,不仅表明传统父权秩序走向了崩塌,更体现出以颠覆与重述为核心的知识逻辑。这种知识逻辑贯穿剧中人物对知识的追寻、认知与重构,其背后则是理性与感性以及人文与科学的结合。首先,生活在19世纪英国的贵族小姐托马西娜具有罕见的科学禀赋,亦怀揣热情与爱,拒绝接受传统性别角色。其次,以汉娜为代表的20世纪当代学者致力于挖掘尘封的历史,坚信在权威论断和主流观点之外,其实另有真相。最后,剧中的一众知识青年慢慢发觉,无论是盲目崇拜理性与逻辑,还是完全遵从自身激情与想象,都会导致对真实的扭曲和对学术事业的破坏,其经历揭示知识霸权的本质在于拒绝多元与差异,固守自封。随着情节发展,对立与冲突被化解,原有秩序下中心与边缘的二元对立消融。通过对比、再现发生在古今不同时空西德利庄园中的故事,斯托帕德构想了一个理性与感性有机结合、古典主义与浪漫主义交融碰撞的图景,指出在知识追寻与生产过程中,人们需要避免急功近利的学术浮夸,努力消除性别对立与学术霸权,以还原女性被父权话语遮蔽的才华,消解依仗传统权力话语关系的逻各斯中心话语体系。 展开更多
关键词 汤姆·斯托帕德 《阿卡迪亚》 知识逻辑 性别秩序 父权制
下载PDF
基于自适应高阶滑模的转向控制器设计
12
作者 杨书姣 段敏 曹景胜 《汽车实用技术》 2024年第19期94-100,共7页
针对车辆转向下的操作稳定性和侧倾稳定性不足等问题,研究前轮主动转向的非线性滑膜控制,对汽车行驶稳定性研究有一定的指导意义。采用自适应高阶滑模控制方法结合T-S模糊建模方法,考虑轮胎侧偏角非线性变化,构建模型参数观测器实时获... 针对车辆转向下的操作稳定性和侧倾稳定性不足等问题,研究前轮主动转向的非线性滑膜控制,对汽车行驶稳定性研究有一定的指导意义。采用自适应高阶滑模控制方法结合T-S模糊建模方法,考虑轮胎侧偏角非线性变化,构建模型参数观测器实时获取轮胎动态参数。通过CarSim和MATLAB/Simulink联合仿真,选取双移线和正弦停滞两种典型工况对质心侧偏角、横摆角速度、侧向加速度等性能指标的自适应高阶滑模控制方法进行仿真验证。结果表明,该方法能够改善线控转向系统对转角的动态响应性能;与传统滑模控制策略相比,该策略的横摆角速度和侧向加速度最大值分别降低了22.63%和5.4%,能够提高车辆的操纵稳定性。 展开更多
关键词 自适应模糊逻辑 高阶滑模控制 操纵稳定性 线控转向系统 CARSIM MATLAB/SIMULINK
下载PDF
基于一阶谓词逻辑的结构设计规范表示方法
13
作者 张吉松 于泽涵 赵丽华 《土木与环境工程学报(中英文)》 CSCD 北大核心 2024年第1期254-262,共9页
目前,基于BIM模型的合规性审查采用人工方式,工作量繁重且自动化程度低,开展自动合规性审查研究具有重要意义。在结构设计领域能够有效支撑规范知识表示与推理并支持设计审查自动化的设计规范表达方法有待开发。基于一阶谓词逻辑,通过... 目前,基于BIM模型的合规性审查采用人工方式,工作量繁重且自动化程度低,开展自动合规性审查研究具有重要意义。在结构设计领域能够有效支撑规范知识表示与推理并支持设计审查自动化的设计规范表达方法有待开发。基于一阶谓词逻辑,通过转译《混凝土结构设计规范》中的设计条款,提出一种结构设计规范规则表达和推理方法。该方法可实现将半结构化设计规范条款转换为结构化知识并支持灵活查询与推理,通过“谓词定义”和“函数定义”转译设计规范中语言类、表格类和计算公式类设计条款,提出两种规范条款谓词定义方式。对于语言模糊类、表后注释类和条款补充类的设计条款给出转译解决方案。提出的方法有效地解决了传统一阶谓词对于结构设计条款表示不充分和不精确的问题,进而为设计规范的计算机表达提供一种参考方法。 展开更多
关键词 结构设计规范 知识表示 一阶谓词逻辑 合规性审查 人工智能
下载PDF
阶数位于1到2之间的分数阶神经网络同步控制
14
作者 蒋文芳 田焕欢 刘恒 《佳木斯大学学报(自然科学版)》 CAS 2024年第5期176-180,共5页
近年来,神经网络同步问题吸引了系统控制、数学和计算机科学等多个领域学者的关注。针对阶数位于1到2之间的分数阶神经网络同步控制问题,通过变量替换法,将阶数在(1,2)之间的分数阶神经网络同步控制问题转化为阶数在(0,1)之间的分数阶... 近年来,神经网络同步问题吸引了系统控制、数学和计算机科学等多个领域学者的关注。针对阶数位于1到2之间的分数阶神经网络同步控制问题,通过变量替换法,将阶数在(1,2)之间的分数阶神经网络同步控制问题转化为阶数在(0,1)之间的分数阶神经网络同步控制问题。由于分数阶神经网络中含有未知非线性函数项,因此使用模糊逻辑系统进行逼近。之后,为了使从神经网络跟踪主神经网络,设计了合适的控制器,并且,对其同步误差系统进行稳定性分析。最后,通过仿真实例验证了所提出方法的有效性。 展开更多
关键词 模糊逻辑系统 分数阶神经网络 同步控制
下载PDF
基于矩阵解耦的精馏塔VOFFLC温控系统 被引量:4
15
作者 汪洋 江厚顺 +3 位作者 许冬进 诸昌武 杨瑞洪 杨欢 《控制工程》 CSCD 北大核心 2023年第2期262-274,291,共14页
针对复杂的精馏塔MIMO温控系统的多变量、非线性、强耦合的特点和自适应需求,设计了基于矩阵解耦精馏塔的VOFFLC系统。首先,对温控系统的多变量控制模型进行改进,利用矩阵解耦理论实现对角解耦,以此改变控制通道的特性;然后,设计基于矩... 针对复杂的精馏塔MIMO温控系统的多变量、非线性、强耦合的特点和自适应需求,设计了基于矩阵解耦精馏塔的VOFFLC系统。首先,对温控系统的多变量控制模型进行改进,利用矩阵解耦理论实现对角解耦,以此改变控制通道的特性;然后,设计基于矩阵解耦的精馏塔VOFFLC温控系统,实现精馏塔的塔顶和塔底的自适应温控;最后,采用仿真实验,对所设计的多种温控系统进行性能比较。实验结果表明,VOFFLC系统可以实现控制参数的自适应,具有更强的论域容错性和鲁棒性。 展开更多
关键词 矩阵解耦 温度控制 ITAE FLC FOPID VOFFLC
下载PDF
Discussion on the Logical Coordination between Legal Theory and Legal Practice——from the Perspective of the Legal Basis of NPC5s Discussion and Decisiomaking Power on Major Issues
16
作者 Yuan Liao 《Journal of Finance Research》 2019年第1期72-77,共6页
The decision of local people's congresses to discuss major issues is a basic right granted to local people's congresses by the Chinese Constitution and laws.However,in practice,the implementation of the power ... The decision of local people's congresses to discuss major issues is a basic right granted to local people's congresses by the Chinese Constitution and laws.However,in practice,the implementation of the power of deliberation of major issues by local people's congresses is worrying.By applying the theory of Chinese traditionalism and unity in the theory of law,the theory of"sovereignty in the people"in the social contract theory of Western natural law school,Austin's"legal command theory55 in Western positivist law and Hart's"recognition""Rules theory"to argue that the integrity of rights necessarily involves the dual factors of decision-making and execution.At the same time,the existence and operation of the law always reflects the development of the political system.The realistic political situation requires us to make more precise and meticulous refinement of the external form and specific technical links of the legal system,and to coordinate the rules to make up the legal theory and Conflicts and conflicts in legal practice help to reform social institutions. 展开更多
关键词 DECISION-MAKING power on major issues POLITICAL logic of law THEORY of people's SOVEREIGNTY LEGAL order THEORY Recognition rule THEORY
下载PDF
The Narratological Analysis on Ivanhoe
17
作者 Cheng Bao-le Wen Zhe 《科技信息》 2011年第31期319-321,共3页
沃尔特·司各特的小说《艾凡赫》中运用了许多叙事手法,他们在塑造人物性格、反映作者立场及推动情节发展上起到一定作用。本文从叙事聚焦、叙事时间和叙事逻辑三个方面对沃尔特.司各特的小说《艾凡赫》展开分析。通过分析可以看出... 沃尔特·司各特的小说《艾凡赫》中运用了许多叙事手法,他们在塑造人物性格、反映作者立场及推动情节发展上起到一定作用。本文从叙事聚焦、叙事时间和叙事逻辑三个方面对沃尔特.司各特的小说《艾凡赫》展开分析。通过分析可以看出作者作为政治保守派的立场,男女主人公的性格特征和故事情节的发展。 展开更多
关键词 叙事聚焦 叙事时间 叙事逻辑
下载PDF
面向5G超密集异构网络的模糊逻辑切换算法
18
作者 刘春玲 田玉琪 +1 位作者 张琪珍 冯锦龙 《电讯技术》 北大核心 2023年第11期1803-1810,共8页
针对基站之间距离近、网络数量庞大的超密集网络中切换过程存在干扰以及频繁切换问题,提出了一种基于预判决的模糊逻辑切换算法。算法在计算用户接收信号的信干噪比基础上,预筛选出干扰较小的网络,计算用户在筛选出的候选网络中的停留时... 针对基站之间距离近、网络数量庞大的超密集网络中切换过程存在干扰以及频繁切换问题,提出了一种基于预判决的模糊逻辑切换算法。算法在计算用户接收信号的信干噪比基础上,预筛选出干扰较小的网络,计算用户在筛选出的候选网络中的停留时间,当停留时间大于门限值时对候选网络使用基于模糊逻辑的逼近理想解排序算法。通过模糊逻辑优化网络属性参数,进而使用逼近理想解排序算法对候选网络进行排序。排序过程中,使用修正后的贴近度计算方式使计算结果更加精确。仿真实验证明,该算法在超密集异构网络切换中可以有效降低切换次数,减少网络阻塞概率,有效提升用户服务质量。 展开更多
关键词 5G超密集网络(UDN) 异构网络 垂直切换 模糊逻辑 逼近理想解排序法(TOPSIS)
下载PDF
基于大规模语言模型的知识图谱可微规则抽取 被引量:1
19
作者 潘雨黛 张玲玲 +3 位作者 蔡忠闽 赵天哲 魏笔凡 刘均 《计算机科学与探索》 CSCD 北大核心 2023年第10期2403-2412,共10页
知识图谱上的推理是预测不完整三元组中缺失的实体或关系,对结构化知识进行补全,并用于不同下游任务的过程。不同于被普遍研究的黑盒方法,如基于表示学习的推理方法,基于规则抽取的推理方法通过从知识图谱中泛化出一阶逻辑规则,实现一... 知识图谱上的推理是预测不完整三元组中缺失的实体或关系,对结构化知识进行补全,并用于不同下游任务的过程。不同于被普遍研究的黑盒方法,如基于表示学习的推理方法,基于规则抽取的推理方法通过从知识图谱中泛化出一阶逻辑规则,实现一种可解释的推理范式。为解决离散的符号空间与连续的嵌入空间之间的鸿沟,提出一种基于大规模预训练语言模型的知识图谱可微规则抽取方法DRaM,将离散的一阶逻辑规则与连续的向量空间进行融合。针对规则中的原子公式顺序对推理过程产生的影响,通过引入大规模预训练语言模型对推理过程进行编码来解决。融合一阶逻辑规则的可微推理方法DRaM,在三个知识图谱数据集Family、Kinship和UMLS上进行的链接预测任务获得了较好的结果,尤其针对链接预测指标Hits@10,DRaM获得了最佳的推理结果。实验结果表明,DRaM能够有效地解决知识图谱上可微推理存在的问题,并且可以从推理过程中抽取带有置信度的一阶逻辑规则。DRaM不仅通过一阶逻辑规则增强了推理效果,同时增强了方法的可解释性。 展开更多
关键词 知识图谱上的推理 一阶逻辑规则 大规模语言模型(LLM) 可解释推理
下载PDF
中国式教师教育现代化:逻辑、特征与路径 被引量:10
20
作者 龙宝新 李莎莎 《高校教育管理》 北大核心 2023年第5期1-10,共10页
中国式教师教育现代化有其鲜明的内在逻辑,体现在以提升教师作为专业人的现代性品格为价值追寻,以马克思主义教师队伍建设思想为理论指导,以教师教育高质量发展现实需要为实践关照。中国式教师教育现代化不同于西方精英式教师教育现代化... 中国式教师教育现代化有其鲜明的内在逻辑,体现在以提升教师作为专业人的现代性品格为价值追寻,以马克思主义教师队伍建设思想为理论指导,以教师教育高质量发展现实需要为实践关照。中国式教师教育现代化不同于西方精英式教师教育现代化,具有人民性、公平性、融合性和开放性等鲜明特征。新时代,推进中国式教师教育现代化要坚持党对教师教育事业全面领导的发展思想,构建创新共生体发展模式,聚焦特色化建设发展主线,打造面向世界的开放发展格局。 展开更多
关键词 教师教育 中国式教师教育现代化 逻辑理路 基本特征 党的领导 创新共同体 特色化建设
下载PDF
上一页 1 2 24 下一页 到第
使用帮助 返回顶部