期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到102篇文章
< 1 2 … 6 >
每页显示 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页
推进作风建设常态化长效化是新时代党的作风建设的重要要求。作风问题的顽固性、反复性决定了作风建设常态化长效化出场的现实必然性,新时代全面从严治党的实践与成效为推进作风建设常态化长效化提供了实践可能性。但当前推进作风建设... 推进作风建设常态化长效化是新时代党的作风建设的重要要求。作风问题的顽固性、反复性决定了作风建设常态化长效化出场的现实必然性,新时代全面从严治党的实践与成效为推进作风建设常态化长效化提供了实践可能性。但当前推进作风建设常态化长效化存在三个层面的实践堵点:作风相关制度与现实环境在制度调整、利益固化和技术赋能方面存在结构性张力;因认知差异和执行变形形成政治势能的衰减与异化可能;面临党员干部压力型倦怠、功利型倦怠和文化型倦怠表现的阻滞。为此,推进作风建设常态化长效化必须夯实制度基础,从制度适应、制度执行与技术优势利用三个角度与时俱进化解现实张力;提升执行效能,通过重塑传导机制与改进执行策略,优化政治势能的传导和执行机制;激活主体动力,以强化担当作为的价值认同、形成担当作为的转化机制与营造担当作为的政治生态克服倦怠表现。 展开更多
关键词 作风建设 常态化长效化机制 逻辑前提 实践堵点 破解路径
原文传递
农作物缺素症状诊断的正则化模糊神经网络模型 被引量：15
4
作者 关海鸥 衣淑娟 +3 位作者 焦峰 许少华 左豫虎 金宝石 《农业机械学报》 EI CAS CSCD 北大核心 2012年第5期162-167,156,共7页
针对农作物冠层图像颜色特征与缺素症状之间的模糊性和不确定性,利用模糊逻辑能够完整地表达领域推理规则和神经网络的自适应性,提出一种正则化的自适应模糊神经网络作为作物营养诊断分类决策模型。该模型能充分利用专家先验知识给出的&... 针对农作物冠层图像颜色特征与缺素症状之间的模糊性和不确定性,利用模糊逻辑能够完整地表达领域推理规则和神经网络的自适应性,提出一种正则化的自适应模糊神经网络作为作物营养诊断分类决策模型。该模型能充分利用专家先验知识给出的"if-then"规则,完善网络的推理结构,并给出了网络规则层节点的自适应选取方法和相应的反向传播学习算法。通过对大豆缺素症状诊断试验表明,该模型速度快且稳定,精度接近100%,具有良好的适应性和实用性。 展开更多
关键词 叶片营养诊断 颜色特征 模糊逻辑 神经网络 正则化
在线阅读 下载PDF
离散事件控制系统规则化描述方法的研究 被引量：11
5
作者 韩江洪 郑淑丽 +2 位作者 陆阳 魏振春 于筑国 《合肥工业大学学报（自然科学版）》 CAS CSCD 北大核心 2005年第9期1081-1084,共4页
离散事件控制系统(DECS)是离散事件系统(DES)在控制领域的一个应用类别,具有并发性、多值性、时序性和需求易变等特点。文章分析了现有的各类逻辑层DES建模方法在DECS建模和分析方面存在的缺陷,在此基础上,运用专家系统中的规则表达方... 离散事件控制系统(DECS)是离散事件系统(DES)在控制领域的一个应用类别,具有并发性、多值性、时序性和需求易变等特点。文章分析了现有的各类逻辑层DES建模方法在DECS建模和分析方面存在的缺陷,在此基础上,运用专家系统中的规则表达方法和递阶DECS简约技术,从逻辑层角度,建立了一套规范、简洁、贴近自然语言和易于理解的DECS规则化描述方法。 展开更多
关键词 离散事件系统 离散事件控制系统 规则化描述
在线阅读 下载PDF
WBR_0-代数的正则性及与其他逻辑代数的关系 被引量：18
6
作者 周建仁 吴洪博 《山东大学学报（理学版）》 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-代数
原文传递
布尔网络的分析与控制—矩阵半张量积方法 被引量：116
7
作者 程代展 齐洪胜 赵寅 《自动化学报》 EI CSCD 北大核心 2011年第5期529-540,共12页
布尔网络是描述基因调控网络的一个有力工具.由于系统生物学的发展,布尔网络的分析与控制成为生物学与系统控制学科的交叉热点.本文综述作者用其原创的矩阵半张量积方法在布尔网络的分析与控制中得到的一系列结果.内容包括:布尔网络的... 布尔网络是描述基因调控网络的一个有力工具.由于系统生物学的发展,布尔网络的分析与控制成为生物学与系统控制学科的交叉热点.本文综述作者用其原创的矩阵半张量积方法在布尔网络的分析与控制中得到的一系列结果.内容包括:布尔网络的拓扑结构,布尔控制网络的能控、能观性与实现,布尔网络的稳定性和布尔控制网络的镇定,布尔控制网络的干扰解耦,布尔(控制)网络的辨识,以及布尔网络的最优控制等. 展开更多
关键词 矩阵半张量积 逻辑系统 布尔(控制)网络 状态空间与正规子空间
在线阅读 下载PDF
关于PFI-代数与剩余格 被引量：28
8
作者 朱怡权 曹喜望 《数学进展》 CSCD 北大核心 2006年第2期223-231,共9页
本文提出了一种强FI代数-PFI代数,并且深入研究了它的性质,借此进一步揭示了FI-代数和剩余格之间更加密切的联系,进而以FI-代数为基本框架建立了R0-代数、正则剩余格等逻辑系统的结构特征(包括对隅结构)及其相互关系．这种以FI-代数为... 本文提出了一种强FI代数-PFI代数,并且深入研究了它的性质,借此进一步揭示了FI-代数和剩余格之间更加密切的联系,进而以FI-代数为基本框架建立了R0-代数、正则剩余格等逻辑系统的结构特征(包括对隅结构)及其相互关系．这种以FI-代数为基础来统一处理剩余格和R0-代数的方法,同样适合于格蕴涵代数和MV代数等代数结构,而且从中更能清楚地看出它们之间的密切联系,也将有助于对相应形式逻辑系统与模糊推理的研究． 展开更多
关键词 多值逻辑 (正则)PFI-代数 (正则)剩余格 (弱)R0-代数 对偶结构
在线阅读 下载PDF
正则蕴涵算子所对应的逻辑伪度量空间 被引量：21
9
作者 李璧镜 王国俊 《电子学报》 EI CAS CSCD 北大核心 2010年第3期497-502,共6页
本文对所有正则蕴涵算子对应的逻辑系统类MTL进行语义研究,指出在MTL中可以建立连续赋值格时的公式积分真度理论,但却不能在这一类逻辑系统的全体公式集上建立由公式间的积分相似度决定的伪度量空间.但凡可以建立如此伪度量空间的逻辑系... 本文对所有正则蕴涵算子对应的逻辑系统类MTL进行语义研究,指出在MTL中可以建立连续赋值格时的公式积分真度理论,但却不能在这一类逻辑系统的全体公式集上建立由公式间的积分相似度决定的伪度量空间.但凡可以建立如此伪度量空间的逻辑系统,都有个共同的性质,即系统中所有的逻辑运算都是连续的,从而就为在此类逻辑系统中建立统一形式的近似推理提供了可行的框架. 展开更多
关键词 正则蕴含算子 可测的 积分真度 逻辑伪度量空间 算子的连续性
在线阅读 下载PDF
二同构扩展数字集成电路规律性提取算法 被引量：2
10
作者 潘伟涛 谢元斌 +1 位作者 郝跃 史江一 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2009年第3期452-457,462,共7页
针对目前集成电路具有高度的规律性的特点,提出了一种新的数字集成电路规律性结构提取算法,可自动对电路中一些重复出现的电路结构进行识别和提取.通过对两两相连的标准单元进行特征提取比较并产生二同构子电路,对出现频数较高的二同构... 针对目前集成电路具有高度的规律性的特点,提出了一种新的数字集成电路规律性结构提取算法,可自动对电路中一些重复出现的电路结构进行识别和提取.通过对两两相连的标准单元进行特征提取比较并产生二同构子电路,对出现频数较高的二同构子电路进行扩展产生电路结构模板,进而提取所有与该模板相似的电路结构.在算法运行过程中,通过不断地删除已经匹配的顶点,可加快程序运行的速度.该算法已应用于实际工程项目中,改变了传统的手动分析整理的局面,降低了大规模集成电路逆向分析中电路整理的难度,提高了工作效率. 展开更多
关键词 子电路同构 规律性 子电路模板 逻辑综合 标准单元
在线阅读 下载PDF
基于正则FI代数的MT理想及其应用 被引量：12
11
作者 吴洪博 汪宁 《电子学报》 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
提高一阶多值逻辑Tableau推理效率的布尔剪枝方法 被引量：10
12
作者 刘全 孙吉贵 《计算机学报》 EI CSCD 北大核心 2003年第9期1165-1170,共6页
含有量词的一阶多值Tableau方法具有统一的扩展规则 ,并由Zabel等人给出了可靠性和完备性的证明 .但由于扩展后的分枝随着真值数目的增加而呈指数的增加 ,因而影响了机器推理执行的效率 .该文提出了布尔剪枝方法 ,将带符号的公式与集合... 含有量词的一阶多值Tableau方法具有统一的扩展规则 ,并由Zabel等人给出了可靠性和完备性的证明 .但由于扩展后的分枝随着真值数目的增加而呈指数的增加 ,因而影响了机器推理执行的效率 .该文提出了布尔剪枝方法 ,将带符号的公式与集合的上集 /下集联系起来 ,使含量词的一阶多值逻辑公式的扩展规则大大简化 .进一步 ,通过对布尔剪枝方法的分析 ,建立了一类特殊一阶多值逻辑正则公式的更为简洁的Tableau推理方法 ,该方法使得含量词的一阶多值逻辑Tableau推理类同于经典逻辑Tableau方法 . 展开更多
关键词 人工智能 Tableau推理效率 一阶多值Tableau方法 布尔剪枝方法
在线阅读 下载PDF
模糊控制在智能气调保鲜中的应用 被引量：5
13
作者 张福江 叶向前 +1 位作者 胡文 孙智慧 《哈尔滨商业大学学报（自然科学版）》 CAS 2004年第2期157-161,共5页
针对果蔬气调自动保鲜控制系统中环境参量变化情况,通过模糊控制原理的分析和模糊控制器的设计,实现对制冷机组、加湿器、真空电机和空气阀门启停的控制,并取得比较满意的效果.
关键词 模糊控制 智能气调保鲜 模糊逻辑控制器 仿真试验
在线阅读 下载PDF
n值S-MTL命题逻辑系统中公式真度的统一理论 被引量：15
14
作者 李骏 邓富喜 《电子学报》 EI CAS CSCD 北大核心 2011年第8期1864-1868,共5页
给出了强正则蕴涵算子和n值S-MTL命题逻辑系统的定义.基于一般的概率测度定义了公式的真度,并给出了公式真度的积分表达式;基于公式真度的积分表达式证明了真度推理规则;在n值S-MTL命题逻辑系统的全体公式集上引入了一种伪距离,证明了... 给出了强正则蕴涵算子和n值S-MTL命题逻辑系统的定义.基于一般的概率测度定义了公式的真度,并给出了公式真度的积分表达式;基于公式真度的积分表达式证明了真度推理规则;在n值S-MTL命题逻辑系统的全体公式集上引入了一种伪距离,证明了逻辑运算关于这种伪距离是连续的.提出了一种近似推理机制,使得在n值S-MTL命题逻辑系统中展开近似推理成为可能. 展开更多
关键词 真度 强正则蕴涵算子 n值S-MTL命题逻辑系统 伪距离
在线阅读 下载PDF
DR_0代数：由De Morgan代数导出的正则剩余格 被引量：12
15
作者 张小红 魏萍 《数学进展》 CSCD 北大核心 2008年第4期499-511,共13页
首先讨论了De Morgan代数与剩余格的关系,并引入强De Morgan代数的概念,讨论了它的基本性质.随后,将著名的R_0蕴涵拓广到De Morgan代数上,称为广义R_0蕴涵;证明了添加广义R_0蕴涵和相应(?)算子后的De Morgan代数L成为剩余格的充要条件是... 首先讨论了De Morgan代数与剩余格的关系,并引入强De Morgan代数的概念,讨论了它的基本性质.随后,将著名的R_0蕴涵拓广到De Morgan代数上,称为广义R_0蕴涵;证明了添加广义R_0蕴涵和相应(?)算子后的De Morgan代数L成为剩余格的充要条件是L为强De Morgan代数,并由此引入DR_0代数的概念.接着,研究了DR_0代数与R_0代数的关系,证明了以下结论:Boole代数是DR_0代数;全序DR_0代数和全序R_0代数等价;DR_0代数是R_0代数当且仅当它满足预线性条件;无中点的DR_0代数是BL代数当且仅当它是Boole代数.最后,举例说明了非DR_0代数的R_0代数、以及非R_0代数的DR_0代数都是存在的. 展开更多
关键词 模糊逻辑 DE MORGAN代数 正则剩余格 DR0代数 强De MORGAN代数
在线阅读 下载PDF
高等学校基础设施:效用偏差评价与供给逻辑分析 被引量：3
16
作者 叶杰 包国宪 《教育与经济》 CSSCI 北大核心 2015年第1期37-43,共7页
1999年开始的大学扩招进程中,普通高等学校面临"基础设施效用不彰"的问题。以学生类校舍的生均面积及其"标杆值"为基础,以各学生类校舍的"效用偏差"为分析对象,采用熵值法测算了八类校舍"效用偏差&q... 1999年开始的大学扩招进程中,普通高等学校面临"基础设施效用不彰"的问题。以学生类校舍的生均面积及其"标杆值"为基础,以各学生类校舍的"效用偏差"为分析对象,采用熵值法测算了八类校舍"效用偏差"的权重,评价了扩招以来各年度学生类校舍的效用总偏差。研究发现:八种学生类校舍的"效用偏差"可以区分为"保健型"指标、"激励型"指标和"中间型"指标三种类型;扩招以来的学生类校舍综合效用处于"不彰"甚至一定程度的"倒退"状态。研究结论是:第一,政府对普通高校基础设施缺乏有力的宏观调控;第二,普通高校打了一场后勤保障投入失当的"扩招之战"但面临提高学生类校舍综合效用的"重要机遇期";第三,普通高校具有实现组织利益最大化的倾向;第四,普通高校在基础设施供给方面体现了"赶牛式"行政的特征,且形成了一定程度的"投入惯性效应"。 展开更多
关键词 普通高校 基础设施 效用偏差 供给逻辑
在线阅读 下载PDF
Rough逻辑系统RSL与模糊逻辑系统Luk 被引量：2
17
作者 张小红 祝峰 《电子科技大学学报》 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
18
作者 秦学成 刘春辉 《山东大学学报（理学版）》 CAS CSCD 北大核心 2010年第10期66-70,共5页
剩余格在模糊逻辑的研究中扮演着一个重要的角色。首先在剩余格中引入fuzzy⊙理想的概念,讨论了(正则)剩余格中fuzzy⊙理想性质,给出了正则剩余格中fuzzy⊙理想的若干等价刻画。其次,利用fuzzy⊙理想概念构造了一个同余关系,证明一个正... 剩余格在模糊逻辑的研究中扮演着一个重要的角色。首先在剩余格中引入fuzzy⊙理想的概念,讨论了(正则)剩余格中fuzzy⊙理想性质,给出了正则剩余格中fuzzy⊙理想的若干等价刻画。其次,利用fuzzy⊙理想概念构造了一个同余关系,证明一个正则剩余格在该同余关系下的商代数还是正则剩余格。 展开更多
关键词 模糊逻辑 (正则)剩余格 fuzzy⊙理想 同余关系 商代数
原文传递
正则剩余格的fuzzy ⊙-理想格 被引量：3
19
作者 秦学成 刘春辉 《山东大学学报（理学版）》 CAS CSCD 北大核心 2011年第8期73-76,79,共5页
在正则剩余格的全体fuzzy ⊙-理想之集上定义了格运算和伴随对,证明了按此方式定义格运算和伴随对后,全体fuzzy ⊙-理想之集构成一个分配的剩余格。
关键词 模糊逻辑 (正则)剩余格 FUZZY ⊙-理想 FUZZY ⊙-理想格
原文传递
命题逻辑系统SMTL中公式的积分真度理论 被引量：14
20
作者 李骏 姚锦涛 《电子学报》 EI CAS CSCD 北大核心 2013年第5期878-883,共6页
首先给出了强左连续-t模和SMTL命题逻辑系统的定义,证明了左连续的-t模为强左连续-t模当且仅当与之伴随的正则蕴涵算子为强正则蕴涵算子;其次,在基于强正则蕴涵算子的模糊命题逻辑系统中定义了公式的积分真度,给出了积分真度推理规则;最... 首先给出了强左连续-t模和SMTL命题逻辑系统的定义,证明了左连续的-t模为强左连续-t模当且仅当与之伴随的正则蕴涵算子为强正则蕴涵算子;其次,在基于强正则蕴涵算子的模糊命题逻辑系统中定义了公式的积分真度,给出了积分真度推理规则;最后,基于公式的积分真度在SMTL命题逻辑系统的全体公式集上引入了一种伪距离,提出了三种近似推理机制,从而使得在SMTL命题逻辑系统的统一框架下展开近似推理成为可能. 展开更多
关键词 积分真度 强左连续-t模 强正则蕴涵算子 SMTL命题逻辑系统 伪度量
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 6 下一页 到第 页
使用帮助 返回顶部