期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到94篇文章
< 1 2 … 5 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
从经验到规律:搜救指挥思维框架的建构——以建筑物倒塌场景中的搜索定位为例
1
作者 刘旋 《中国应急救援》 2025年第6期32-38,共7页
在灾害现场的搜救行动中,如何在复杂、信息不完整的环境下确定受困人员位置,是决定救援成效的关键环节。长期以来,这一过程的思维路径主要依赖指挥员的经验判断,存在碎片化、不可复制、难以传授等局限。本文聚焦于搜索定位的环节,不涉... 在灾害现场的搜救行动中,如何在复杂、信息不完整的环境下确定受困人员位置,是决定救援成效的关键环节。长期以来,这一过程的思维路径主要依赖指挥员的经验判断,存在碎片化、不可复制、难以传授等局限。本文聚焦于搜索定位的环节,不涉及营救与转运,提出构建搜救指挥思维框架的必要性。借鉴刑侦学由经验走向学科化的启示,结合一线实践,总结出五个核心要素:场景重构、线索整合、痕迹物证分析、行为推演与系统研判。该框架实质上是对传统非技术手段的系统化、结构化与逻辑化处理,旨在为指挥员提供可复制、可传授的推理路径。研究认为,这一思维框架不仅能够提升定位判断的科学性与稳定性,也为搜救训练体系建设、跨部门协同以及智能辅助决策平台研发提供了方法论支撑。 展开更多
关键词 搜救指挥 思维框架 逻辑推理 非技术手段 经验规律化
在线阅读 下载PDF
电力通信设备故障诊断分析 被引量：1
2
作者 苏金金 赵正红 《数字通信世界》 2025年第6期56-58,共3页
随着电力系统的不断发展,电力通信设备可靠性愈发重要。本文首先阐述国内外的研究现状,接着对现代通信设备常见故障以及监控系统告警特征进行分析,介绍了封装逻辑模型和规则逻辑模型两个模型,在此基础上进行故障诊断系统的设计,致力于... 随着电力系统的不断发展,电力通信设备可靠性愈发重要。本文首先阐述国内外的研究现状,接着对现代通信设备常见故障以及监控系统告警特征进行分析,介绍了封装逻辑模型和规则逻辑模型两个模型,在此基础上进行故障诊断系统的设计,致力于提高故障预测和诊断的效率。 展开更多
关键词 电力系统 设备故障 封装逻辑模型 规则逻辑模型
在线阅读 下载PDF
作风建设常态化长效化的逻辑前提、实践堵点与破解路径
3
作者 徐佳豪 胡小君 《昆明理工大学学报(社会科学版)》 2025年第5期71-80,共10页
推进作风建设常态化长效化是新时代党的作风建设的重要要求。作风问题的顽固性、反复性决定了作风建设常态化长效化出场的现实必然性,新时代全面从严治党的实践与成效为推进作风建设常态化长效化提供了实践可能性。但当前推进作风建设... 推进作风建设常态化长效化是新时代党的作风建设的重要要求。作风问题的顽固性、反复性决定了作风建设常态化长效化出场的现实必然性,新时代全面从严治党的实践与成效为推进作风建设常态化长效化提供了实践可能性。但当前推进作风建设常态化长效化存在三个层面的实践堵点:作风相关制度与现实环境在制度调整、利益固化和技术赋能方面存在结构性张力;因认知差异和执行变形形成政治势能的衰减与异化可能;面临党员干部压力型倦怠、功利型倦怠和文化型倦怠表现的阻滞。为此,推进作风建设常态化长效化必须夯实制度基础,从制度适应、制度执行与技术优势利用三个角度与时俱进化解现实张力;提升执行效能,通过重塑传导机制与改进执行策略,优化政治势能的传导和执行机制;激活主体动力,以强化担当作为的价值认同、形成担当作为的转化机制与营造担当作为的政治生态克服倦怠表现。 展开更多
关键词 作风建设 常态化长效化机制 逻辑前提 实践堵点 破解路径
原文传递
离散事件控制系统规则化描述方法的研究 被引量：11
4
作者 韩江洪 郑淑丽 +2 位作者 陆阳 魏振春 于筑国 《合肥工业大学学报（自然科学版）》 CAS CSCD 北大核心 2005年第9期1081-1084,共4页
离散事件控制系统(DECS)是离散事件系统(DES)在控制领域的一个应用类别,具有并发性、多值性、时序性和需求易变等特点。文章分析了现有的各类逻辑层DES建模方法在DECS建模和分析方面存在的缺陷,在此基础上,运用专家系统中的规则表达方... 离散事件控制系统(DECS)是离散事件系统(DES)在控制领域的一个应用类别,具有并发性、多值性、时序性和需求易变等特点。文章分析了现有的各类逻辑层DES建模方法在DECS建模和分析方面存在的缺陷,在此基础上,运用专家系统中的规则表达方法和递阶DECS简约技术,从逻辑层角度,建立了一套规范、简洁、贴近自然语言和易于理解的DECS规则化描述方法。 展开更多
关键词 离散事件系统 离散事件控制系统 规则化描述
在线阅读 下载PDF
农作物缺素症状诊断的正则化模糊神经网络模型 被引量：15
5
作者 关海鸥 衣淑娟 +3 位作者 焦峰 许少华 左豫虎 金宝石 《农业机械学报》 EI CAS CSCD 北大核心 2012年第5期162-167,156,共7页
针对农作物冠层图像颜色特征与缺素症状之间的模糊性和不确定性,利用模糊逻辑能够完整地表达领域推理规则和神经网络的自适应性,提出一种正则化的自适应模糊神经网络作为作物营养诊断分类决策模型。该模型能充分利用专家先验知识给出的&... 针对农作物冠层图像颜色特征与缺素症状之间的模糊性和不确定性,利用模糊逻辑能够完整地表达领域推理规则和神经网络的自适应性,提出一种正则化的自适应模糊神经网络作为作物营养诊断分类决策模型。该模型能充分利用专家先验知识给出的"if-then"规则,完善网络的推理结构,并给出了网络规则层节点的自适应选取方法和相应的反向传播学习算法。通过对大豆缺素症状诊断试验表明,该模型速度快且稳定,精度接近100%,具有良好的适应性和实用性。 展开更多
关键词 叶片营养诊断 颜色特征 模糊逻辑 神经网络 正则化
在线阅读 下载PDF
二同构扩展数字集成电路规律性提取算法 被引量：2
6
作者 潘伟涛 谢元斌 +1 位作者 郝跃 史江一 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2009年第3期452-457,462,共7页
针对目前集成电路具有高度的规律性的特点,提出了一种新的数字集成电路规律性结构提取算法,可自动对电路中一些重复出现的电路结构进行识别和提取.通过对两两相连的标准单元进行特征提取比较并产生二同构子电路,对出现频数较高的二同构... 针对目前集成电路具有高度的规律性的特点,提出了一种新的数字集成电路规律性结构提取算法,可自动对电路中一些重复出现的电路结构进行识别和提取.通过对两两相连的标准单元进行特征提取比较并产生二同构子电路,对出现频数较高的二同构子电路进行扩展产生电路结构模板,进而提取所有与该模板相似的电路结构.在算法运行过程中,通过不断地删除已经匹配的顶点,可加快程序运行的速度.该算法已应用于实际工程项目中,改变了传统的手动分析整理的局面,降低了大规模集成电路逆向分析中电路整理的难度,提高了工作效率. 展开更多
关键词 子电路同构 规律性 子电路模板 逻辑综合 标准单元
在线阅读 下载PDF
关于PFI-代数与剩余格 被引量：28
7
作者 朱怡权 曹喜望 《数学进展》 CSCD 北大核心 2006年第2期223-231,共9页
本文提出了一种强FI代数-PFI代数,并且深入研究了它的性质,借此进一步揭示了FI-代数和剩余格之间更加密切的联系,进而以FI-代数为基本框架建立了R0-代数、正则剩余格等逻辑系统的结构特征(包括对隅结构)及其相互关系．这种以FI-代数为... 本文提出了一种强FI代数-PFI代数,并且深入研究了它的性质,借此进一步揭示了FI-代数和剩余格之间更加密切的联系,进而以FI-代数为基本框架建立了R0-代数、正则剩余格等逻辑系统的结构特征(包括对隅结构)及其相互关系．这种以FI-代数为基础来统一处理剩余格和R0-代数的方法,同样适合于格蕴涵代数和MV代数等代数结构,而且从中更能清楚地看出它们之间的密切联系,也将有助于对相应形式逻辑系统与模糊推理的研究． 展开更多
关键词 多值逻辑 (正则)PFI-代数 (正则)剩余格 (弱)R0-代数 对偶结构
在线阅读 下载PDF
WBR_0-代数的正则性及与其他逻辑代数的关系 被引量：18
8
作者 周建仁 吴洪博 《山东大学学报（理学版）》 CAS CSCD 北大核心 2012年第2期86-92,共7页
通过对正则剩余格和WBR0-代数的深入研究,进一步明确了WBR0-代数与其他逻辑代数之间的关系。主要结果有:(1)证明了正则剩余格与WBR0-代数是相同的代数结构;(2)通过联络图表列举了WBR0-代数与其他经典逻辑代数之间的联系,体现了WBR0-代... 通过对正则剩余格和WBR0-代数的深入研究,进一步明确了WBR0-代数与其他逻辑代数之间的关系。主要结果有:(1)证明了正则剩余格与WBR0-代数是相同的代数结构;(2)通过联络图表列举了WBR0-代数与其他经典逻辑代数之间的联系,体现了WBR0-代数在逻辑代数中的地位与作用;(3)通过构造WBR0-代数的实例说明WBR0-代数与其他逻辑代数之间的区别。 展开更多
关键词 模糊逻辑 逻辑代数 正则剩余格 WBR0-代数 BL-代数
原文传递
Rough逻辑系统RSL与模糊逻辑系统Luk 被引量：2
9
作者 张小红 祝峰 《电子科技大学学报》 EI CAS CSCD 北大核心 2011年第2期296-302,共7页
基于rough集的偶序对(下近似,上近似)表示,通过改进基于rough集的逻辑系统L的方法引入新的rough蕴涵算子,研究了它的基本性质,并将其进一步拓广到一般正则双Stone代数中,证明了添加新蕴涵算子后的正则双Stone代数构成MV-代数。其次,以... 基于rough集的偶序对(下近似,上近似)表示,通过改进基于rough集的逻辑系统L的方法引入新的rough蕴涵算子,研究了它的基本性质,并将其进一步拓广到一般正则双Stone代数中,证明了添加新蕴涵算子后的正则双Stone代数构成MV-代数。其次,以上述结果为背景,建立了一个基于rough蕴涵的逻辑形式系统RSL,其语义是扩展的rough双Stone代数;同时,引入RSL-代数的概念,并证明了逻辑系统RSL的标准完备性定理(基于由近似空间确定的标准RSL-代数)。最后,说明了逻辑系统RSL是著名模糊逻辑系统Luk(即Lukasiewicz连续值逻辑系统)的语义扩张,从而从一个特殊的视角揭示了rough集与模糊逻辑的联系。 展开更多
关键词 模糊逻辑 正则双Stone代数 rough蕴涵 ROUGH逻辑 ROUGH集
在线阅读 下载PDF
正则剩余格的fuzzy⊙理想 被引量：4
10
作者 秦学成 刘春辉 《山东大学学报（理学版）》 CAS CSCD 北大核心 2010年第10期66-70,共5页
剩余格在模糊逻辑的研究中扮演着一个重要的角色。首先在剩余格中引入fuzzy⊙理想的概念,讨论了(正则)剩余格中fuzzy⊙理想性质,给出了正则剩余格中fuzzy⊙理想的若干等价刻画。其次,利用fuzzy⊙理想概念构造了一个同余关系,证明一个正... 剩余格在模糊逻辑的研究中扮演着一个重要的角色。首先在剩余格中引入fuzzy⊙理想的概念,讨论了(正则)剩余格中fuzzy⊙理想性质,给出了正则剩余格中fuzzy⊙理想的若干等价刻画。其次,利用fuzzy⊙理想概念构造了一个同余关系,证明一个正则剩余格在该同余关系下的商代数还是正则剩余格。 展开更多
关键词 模糊逻辑 (正则)剩余格 fuzzy⊙理想 同余关系 商代数
原文传递
正则剩余格的fuzzy ⊙-理想格 被引量：3
11
作者 秦学成 刘春辉 《山东大学学报（理学版）》 CAS CSCD 北大核心 2011年第8期73-76,79,共5页
在正则剩余格的全体fuzzy ⊙-理想之集上定义了格运算和伴随对,证明了按此方式定义格运算和伴随对后,全体fuzzy ⊙-理想之集构成一个分配的剩余格。
关键词 模糊逻辑 (正则)剩余格 FUZZY ⊙-理想 FUZZY ⊙-理想格
原文传递
基于正则FI代数的MT理想及其应用 被引量：12
12
作者 吴洪博 汪宁 《电子学报》 EI CAS CSCD 北大核心 2013年第7期1389-1394,共6页
本文基于经典代数的角度对正则FI代数进行了再研究.首先,在正则FI代数中通过蕴涵算子提出了MT理想的概念,讨论了正则FI代数中MT理想与同余关系的联系;其次,在正则FI代数中引入素MT理想的概念,并以素MT理想为工具给出了正则FI代数的条件... 本文基于经典代数的角度对正则FI代数进行了再研究.首先,在正则FI代数中通过蕴涵算子提出了MT理想的概念,讨论了正则FI代数中MT理想与同余关系的联系;其次,在正则FI代数中引入素MT理想的概念,并以素MT理想为工具给出了正则FI代数的条件嵌入定理;最后,通过以蕴涵算子表示的隐式余三角模对MT理想的特征进行了描述,并通过特征定理给出了正则FI代数中MT理想的生成方法. 展开更多
关键词 逻辑代数 正则FI代数 MT理想 同余关系 还原性 条件嵌入 生成方法
在线阅读 下载PDF
正则剩余格上的模糊理想及模糊蕴涵理想 被引量：4
13
作者 郝加兴 吴洪博 《模糊系统与数学》 CSCD 北大核心 2011年第4期8-17,共10页
对正则剩余格的结构作进一步研究。利用正则剩余格上、算子并结合模糊数学的思想和方法,在正则剩余格上引入了模糊理想和模糊蕴涵理想的概念,讨论了它们的基本性质。主要结果是:(1)给出了模糊理想和模糊蕴涵理想的等价刻画;(2)证明了模... 对正则剩余格的结构作进一步研究。利用正则剩余格上、算子并结合模糊数学的思想和方法,在正则剩余格上引入了模糊理想和模糊蕴涵理想的概念,讨论了它们的基本性质。主要结果是:(1)给出了模糊理想和模糊蕴涵理想的等价刻画;(2)证明了模糊蕴涵理想一定是模糊理想,模糊理想不必是模糊蕴涵理想;(3)证明了全体模糊理想之集在给定的运算下是一个完备的分配格。 展开更多
关键词 模糊逻辑 正则剩余格 模糊理想 模糊蕴涵理想 模糊布尔理想
原文传递
（P^（1，1））和正则语言 被引量：1
14
作者 田启家 沈恩绍 史忠植 《计算机学报》 EI CSCD 北大核心 1996年第11期848-853,共6页
本文利用模型论博奕理论的方法证明了（Ｐ１，１）能够刻画正则语言．由此我们得到结论：在有限的离散线性序上（Ｐ１，１）和Ｍｏｎａｄｉｃ二阶逻辑的刻画能力是一致的．
关键词 正则语言 模型论博奕 形式语言 计算机
在线阅读 下载PDF
主体认知正则活动的逻辑刻画 被引量：1
15
作者 王景周 崔建英 《西南大学学报（社会科学版）》 CSSCI 北大核心 2010年第4期59-65,共7页
研究了主体对正则复合活动认知的性质。首先,分析了文献中对主体认知活动的逻辑刻画及其存在的问题;然后,提出刻画主体认知复合活动的逻辑系统KRAL,并证明了该系统的可靠性和完全性。
关键词 知识 正则活动 动态认知逻辑
在线阅读 下载PDF
模糊控制在智能气调保鲜中的应用 被引量：5
16
作者 张福江 叶向前 +1 位作者 胡文 孙智慧 《哈尔滨商业大学学报（自然科学版）》 CAS 2004年第2期157-161,共5页
针对果蔬气调自动保鲜控制系统中环境参量变化情况,通过模糊控制原理的分析和模糊控制器的设计,实现对制冷机组、加湿器、真空电机和空气阀门启停的控制,并取得比较满意的效果.
关键词 模糊控制 智能气调保鲜 模糊逻辑控制器 仿真试验
在线阅读 下载PDF
正则FI-代数上的伴随算子 被引量：2
17
作者 朱怡权 《宁夏大学学报（自然科学版）》 CAS 2003年第4期296-299,共4页
研究了正则FI 代数的性质,并证明了对于正则FI 代数(L,→,0)的蕴涵算子→,存在惟一满足条件(a b)→c=a→(b→c)的算子 ,使得( ,→)成为伴随对.所得结果在一定程度上反映了正则剩余格内部结构的特征.
关键词 正则FI-代数 伴随算子 正则剩余格 模糊逻辑 伴随半群 蕴涵算子 FUZZY蕴涵代数
在线阅读 下载PDF
模糊Büchi自动机的等价刻画 被引量：1
18
作者 韩召伟 李永明 《计算机学报》 EI CSCD 北大核心 2013年第6期1235-1245,共11页
模糊语言的研究是形式语言研究的焦点之一,然而如何对模糊语言进行刻画甚至更好地分类是其中一个重要研究方向.文章在模糊ω-语言的研究基础上,从模糊逻辑角度研究了模糊ω-正则语言的等价刻画.首先借助广义子集构造方法,证明了任一模糊... 模糊语言的研究是形式语言研究的焦点之一,然而如何对模糊语言进行刻画甚至更好地分类是其中一个重要研究方向.文章在模糊ω-语言的研究基础上,从模糊逻辑角度研究了模糊ω-正则语言的等价刻画.首先借助广义子集构造方法,证明了任一模糊Büchi自动机与具有分明初始状态和状态转移函数且具有模糊终状态的模糊Büchi自动机是等价的,藉此研究了模糊ω-正则语言的代数刻画和层次刻画,讨论了模糊ω-正则语言关于正则运算的封闭性;其次引入单体二阶Lukasiewicz逻辑的概念,给出模糊Büchi自动机识别语言的等价逻辑刻画;最后通过引入ω-星自由和ω-非周期模糊ω-语言,利用'层次化'处理技巧得到了多值逻辑意义下的分类定理,对模糊ω-正则语言给出了一种分类方法. 展开更多
关键词 模糊逻辑 模糊Büchi自动机 模糊ω-正则语言 单体二阶Lukasiewicz逻辑 刻画
在线阅读 下载PDF
一种基于SCAD的改进谓词发现方法 被引量：1
19
作者 郑晓东 潘敬敏 胡汉辉 《江苏大学学报（自然科学版）》 EI CAS CSCD 北大核心 2018年第5期576-580,610,共6页
针对归纳逻辑编程中传统谓词发现方法会导致错误级联的难题,提出一种基于平滑削边绝对偏离(smoothly clipped absolute deviation,SCAD)正则化稀疏的改进谓词发现方法.新方法并不明确地创建新谓词,而是通过使用正则化稀疏方式将软谓词... 针对归纳逻辑编程中传统谓词发现方法会导致错误级联的难题,提出一种基于平滑削边绝对偏离(smoothly clipped absolute deviation,SCAD)正则化稀疏的改进谓词发现方法.新方法并不明确地创建新谓词,而是通过使用正则化稀疏方式将软谓词发现的参数一起正则化,从而隐式地组合紧密相关的规则.在软谓词发现中引入SCAD这一正则化稀疏模型,同时针对无偏稀疏性,着重观察SCAD对软谓词发现结果的影响.基于欧洲皇室家庭关系数据集进行试验,确定了μ,α的最优值,并完成了知识库完善试验.结果表明,该方法能有效克服错误级联这一难题,缩短对知识库的查询时间,并可提高谓词发现的平均精准度到0.798,远超过基于拉普拉斯正则化的软谓词发现方法的0.726. 展开更多
关键词 谓词发现 正则化稀疏 SCAD 归纳逻辑编程 假设语言
在线阅读 下载PDF
一种多值规则量词公式的tableau的方法
20
作者 刘全 孙吉贵 窦全胜 《计算机工程》 CAS CSCD 北大核心 2003年第8期128-130,136,共4页
在多值逻辑中，含有量词的tableau方法具有统一的扩展规则，并已通过可靠性和完备性的证明。但是由于扩展后的分枝非常庞大，使机器实现非常困难。文章通过对规则量词公式与一阶经典量词公式的对应关系的研究，使二者使用统一的扩展规则。
关键词 多值规则公式 量词 TABLEAU
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 5 下一页 到第 页
使用帮助 返回顶部