期刊导航
期刊开放获取
vip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
22
篇文章
<
1
2
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于逻辑树问题解决法的药学干预对某医院内科中药注射剂医嘱合理率的影响
1
作者
王岑
赵娟娟
+1 位作者
汤垚磊
叶侃倜
《上海医药》
2025年第10期3-6,31,共5页
目的:分析基于逻辑树问题解决法的药学干预对某医院内科中药注射剂医嘱合理率的影响。方法:选择2023年7月—2024年6月在某医院内科住院接受中药注射剂治疗的376例患者作为研究对象,按时间段分为观察组与对照组。对对照组患者医嘱进行的...
目的:分析基于逻辑树问题解决法的药学干预对某医院内科中药注射剂医嘱合理率的影响。方法:选择2023年7月—2024年6月在某医院内科住院接受中药注射剂治疗的376例患者作为研究对象,按时间段分为观察组与对照组。对对照组患者医嘱进行的是常规药学干预,对观察组患者医嘱进行的是再联合实施基于逻辑树问题解决法的药学干预。比较两组患者中药注射剂医嘱合理率、治疗相关不良事件,以及住院时间、相关药品费用。结果:观察组患者的医嘱合理率(96.44%)显著高于对照组(81.93%),不良事件发生率(2.20%)显著低于对照组(10.31%),且住院总费用、药品费用和中药注射剂费用均显著低于对照组(均P<0.05),但两组患者的住院时间差异无统计学意义(P>0.05)。结论:通过实施基于逻辑树问题解决法的药学干预,可以提高中药注射剂的合理使用率,减少其不良事件发生率,同时降低患者的用药费用。该药学干预模式具有在医疗机构推广应用的价值。
展开更多
关键词
逻辑树问题解决法
中药注射剂
合理用药
药学干预
暂未订购
基于自适应CSA的多操作数加法器设计
2
作者
王立华
崔可欣
+1 位作者
付文杰
刘晨光
《鲁东大学学报(自然科学版)》
2025年第3期222-232,共11页
多操作数加法器是数字集成电路设计的基本算术单元之一,其逻辑优化是逻辑综合流程中至关重要的一部分。为了在逻辑综合过程中尽可能地提升多操作数加法器的性能,降低延迟,本文设计了一种基于自适应进位保留加法器(carry-save adder, CSA...
多操作数加法器是数字集成电路设计的基本算术单元之一,其逻辑优化是逻辑综合流程中至关重要的一部分。为了在逻辑综合过程中尽可能地提升多操作数加法器的性能,降低延迟,本文设计了一种基于自适应进位保留加法器(carry-save adder, CSA)的多操作数加法器架构。该架构采用Wallace树结构实现多操作数加法器的设计,降低加法操作导致的延迟,并在此基础上,通过改进Wallace树结构中的CSA压缩部分,进一步降低延迟。本文以SMIC 28nm工艺库为目标库,运用上述算法对多个多操作数相加的RTL(register-transfer level)设计执行逻辑综合,得到多操作数加法器。实验结果表明,在16~128位宽输入下,本加法器可显著优化性能,延迟时间平均降低31.2%,面积平均减少36.5%,功耗平均降低70.98%。
展开更多
关键词
多操作数加法器
carry-save
adder
自适应方法
Wallace树结构
逻辑综合
在线阅读
下载PDF
职称材料
经验反馈的系统性工作方法
被引量:
1
3
作者
苏鲁明
《核安全》
2024年第6期21-28,共8页
经验反馈是安全文化的重要组成部分,是企业管理提升、绩效改进的有力工具。所有负有安全责任的企业均应建立一套行之有效的经验反馈体系。本文论述了经验反馈的基本观点、组成要素,论述了经验反馈系统性工作方法的具体步骤,论述了该方...
经验反馈是安全文化的重要组成部分,是企业管理提升、绩效改进的有力工具。所有负有安全责任的企业均应建立一套行之有效的经验反馈体系。本文论述了经验反馈的基本观点、组成要素,论述了经验反馈系统性工作方法的具体步骤,论述了该方法提出的一些新概念和新做法,包括:定义和选取样本事件,样本事件分类,书面问卷调查式的人员访谈,将逻辑思维理论作为事件原因调查分析和事件报告编写的基础理论和基本知识,事件报告开发质量评价标准,事件要素统计分析,经验反馈信息使用效果评价等。
展开更多
关键词
经验反馈
系统性工作方法
逻辑思维基础理论
因果树分析法
在线阅读
下载PDF
职称材料
一阶谓词公式关联矩阵的构造方法
被引量:
1
4
作者
耿霞
张继军
吴秋兰
《计算机工程与应用》
CSCD
2014年第3期36-41,共6页
一阶谓词逻辑可以借助关联矩阵进行有效推理。为了提高关联矩阵的构造效率,从而提高一阶谓词逻辑推理的效率,提出一种由一阶谓词公式构造对应关联矩阵的递归方法。该方法利用二叉树的递归性质,对任意一个一阶谓词公式,在化去量词后直接...
一阶谓词逻辑可以借助关联矩阵进行有效推理。为了提高关联矩阵的构造效率,从而提高一阶谓词逻辑推理的效率,提出一种由一阶谓词公式构造对应关联矩阵的递归方法。该方法利用二叉树的递归性质,对任意一个一阶谓词公式,在化去量词后直接构造关联矩阵。该方法为借助关联矩阵实现一阶谓词逻辑的自动化推理提供了可能。
展开更多
关键词
一阶谓词公式
关联矩阵
逻辑推理
二叉树
递归方法
在线阅读
下载PDF
职称材料
基于逻辑树的地震危险性综合分析在辽宁地区的应用
被引量:
1
5
作者
王岩
王亮
+2 位作者
郭晓燕
曹凤娟
贾丽华
《地震地磁观测与研究》
2022年第S01期117-119,共3页
1研究背景在地震预测研究领域中,不同方法对地震危险性的指示意义和判定的准确程度不同,实际工作中通常需要对多种类型异常进行综合判定。引入逻辑树方法,将复杂问题分解,综合各类异常信息,可定量表达地震危险性的不确定性。逻辑树方法...
1研究背景在地震预测研究领域中,不同方法对地震危险性的指示意义和判定的准确程度不同,实际工作中通常需要对多种类型异常进行综合判定。引入逻辑树方法,将复杂问题分解,综合各类异常信息,可定量表达地震危险性的不确定性。逻辑树方法在工程场地的危险性分析中应用广泛,通常用以解决不同地震模型所带来的不确定性,处理多个研究意见的综合结论等。
展开更多
关键词
地震危险性
地震异常
逻辑树方法
不确定性
在线阅读
下载PDF
职称材料
化工事故逻辑树法研究与应用
被引量:
2
6
作者
王延平
卢均臣
+1 位作者
张婷
蒋骏
《安全、健康和环境》
2015年第9期1-4,共4页
描述了化工事故逻辑树分析方法的应用原理及实例,以事故后果为顶上事件,通过"与或门"连接多个分支,不断重复询问"为什么"来完善树的下一层,逐步形成"有根有叶"的逻辑树结构。该逻辑树可以帮助分析事故的...
描述了化工事故逻辑树分析方法的应用原理及实例,以事故后果为顶上事件,通过"与或门"连接多个分支,不断重复询问"为什么"来完善树的下一层,逐步形成"有根有叶"的逻辑树结构。该逻辑树可以帮助分析事故的演变路径,找到事故中的关键性因素,通过对这些因素的改善与控制,提高企业对重大事故的预警预防能力。利用根原因分析方法对事故进行分析,找出导致事故的根原因,提出相应的改善措施,有利于提高企业的安全管理水平。
展开更多
关键词
化工事故
逻辑树分析法
事故预警
根原因
在线阅读
下载PDF
职称材料
逻辑树在辽宁地区地震危险性分析中的应用
7
作者
王岩
邵媛媛
+3 位作者
张博
郭晓燕
翟丽娜
杨士超
《地震》
CSCD
北大核心
2022年第3期111-123,共13页
地震预测研究的主要依据是震前观测到的各类地震信息的异常变化,观测、计算得出的异常变化越多,地震危险性研究的可用信息越完善,同时,越来越多的不同异常对地震危险性判定结果的不一致,增加了综合分析的复杂度.本文以辽宁地区为研究区...
地震预测研究的主要依据是震前观测到的各类地震信息的异常变化,观测、计算得出的异常变化越多,地震危险性研究的可用信息越完善,同时,越来越多的不同异常对地震危险性判定结果的不一致,增加了综合分析的复杂度.本文以辽宁地区为研究区域,引入逻辑树方法,按照地震孕育过程以长、中、短、临的时间尺度分层,建立地震危险性逻辑树模型,扫描全域得到辽宁地区地震危险性相对概率分布和辽宁地区地震危险性指数分布,定量化表现异常对区域地震危险性的综合影响,简化分析过程.通过1999年岫岩5.4级地震和2013年灯塔5.1级地震两个典型震例的计算发现,异常信息的完整性、异常时间尺度的精确性对地震事件的预测判定准确度影响较大.
展开更多
关键词
地震危险性
地震异常特征
逻辑树方法
不确定性
在线阅读
下载PDF
职称材料
基于匹配的最小化路径表达式的优化方法
被引量:
1
8
作者
魏东平
张静
刘树涛
《计算机工程与设计》
CSCD
北大核心
2008年第9期2272-2274,共3页
路径表达式的最小化问题,是快速有效地从XML数据源中查询所需信息的重要因素。为了加速路径表达式的处理,在深入分析Chase方法的基础上,提出一种基于匹配的最小化策略。该方法利用了匹配的基本操作来删除冗余分支以便达到优化的目的,在...
路径表达式的最小化问题,是快速有效地从XML数据源中查询所需信息的重要因素。为了加速路径表达式的处理,在深入分析Chase方法的基础上,提出一种基于匹配的最小化策略。该方法利用了匹配的基本操作来删除冗余分支以便达到优化的目的,在匹配的过程中,按照自上而下的顺序对树中的结点对进行匹配来减少计算的工作量。初步的分析表明,该方法比普遍意义上的消除路径表达式的冗余条件的方法更能有效地提高查询效率。
展开更多
关键词
路径表达式
匹配
树模式
chase方法
逻辑优化
在线阅读
下载PDF
职称材料
基于IP组播的大型动态组密钥安全管理方案研究
被引量:
5
9
作者
张斌
邬江兴
《小型微型计算机系统》
CSCD
北大核心
2002年第8期940-943,共4页
组播的密钥分配不同于传统的单播密钥分配 ,尤其是对于大型动态组其密钥分配更加复杂 .本文讨论了适用于大型动态组的两种密钥分配方案即逻辑密钥层次 L KH(L ogical Key Hierarchy)方案和单向函数树 OFT(One- wayFunction Tree)方案 ,...
组播的密钥分配不同于传统的单播密钥分配 ,尤其是对于大型动态组其密钥分配更加复杂 .本文讨论了适用于大型动态组的两种密钥分配方案即逻辑密钥层次 L KH(L ogical Key Hierarchy)方案和单向函数树 OFT(One- wayFunction Tree)方案 ,对这两种方案的加入 /离开操作、组控制器和每个组成员拥有的密钥数、需要单播和广播的消息位数、组管理者和最大成员计算量、要产生的随机密钥位数、可放缩性等方面进行了分析比较 ,为两种方案的相互结合、取长补短提供了理论依据 .
展开更多
关键词
IP组播
大型动态组密钥
安全管理
逻辑密钥层次
单向函数树
在线阅读
下载PDF
职称材料
考虑不确定性的地震危险性分析方法及其应用
10
作者
张耀国
雷建成
+1 位作者
唐荣昌
夏大德
《四川地震》
1991年第4期20-24,共5页
本文讨论了目前地震危险性分析过程中的不确定性及其对危险性分析结果的影响。引入“逻辑树”方法处理了四川某工程场地的地震危险性,最后用三种方法给出了地震危险性分析结果。
关键词
地震
危险性
分析法
不确定性
在线阅读
下载PDF
职称材料
基于因素逻辑的分类推理法重构
被引量:
8
11
作者
崔铁军
李莎莎
王来贵
《计算机应用研究》
CSCD
北大核心
2016年第12期3671-3675,共5页
为使空间故障树理论中系统结构反分析的分类推理法具有严格的数学定义,以适应广泛的系统结构反分析问题,引入因素空间理论的因素逻辑对分类推理法进行重构。重构的目的在于规范原方法定义和步骤为严格的数学形式,赋予其因素逻辑推理能力...
为使空间故障树理论中系统结构反分析的分类推理法具有严格的数学定义,以适应广泛的系统结构反分析问题,引入因素空间理论的因素逻辑对分类推理法进行重构。重构的目的在于规范原方法定义和步骤为严格的数学形式,赋予其因素逻辑推理能力,从而提升其数学层次,应用于广泛的问题分析。给出了空间故障树中分类推理法的基本过程和描述;使用因素逻辑重构该方法的相关定义,并给出了极小析取范式步骤,即重构分类推理法步骤。使用原方法和重构方法分析了实例,证明两种方法得到的系统结构相同,而后者具有更高的逻辑数学层次和广泛的应用能力。
展开更多
关键词
因素空间
空间故障树
因素逻辑
分类推理法
重构
全文增补中
基于故障树的逻辑概率法评价电气主结线可靠性
12
作者
陈昆薇
黄守盟
《湖北工学院学报》
1995年第3期91-95,共5页
研究与分析了利用基于故障树的逻辑概率法评价发电厂或变电所电气主结线可靠性方法.给出一发电厂厂用电结线的可靠性分析实例,并予以误差分析.
关键词
故障树
逻辑概率法
可靠性
电气主结线
在线阅读
下载PDF
职称材料
基于有序二元决策图的动态故障树定性分析方法
被引量:
3
13
作者
高迎平
李洋
田楷
《计算机与数字工程》
2016年第12期2342-2347,共6页
关于基于有序二元决策图的定性分析方法,首先引入时序逻辑,将动态门转换成时序逻辑表达式,然后将动态故障树转换成相应的有序二元决策图结构。动态故障树转换方法面临底部事件排序、冗余结构等问题,影响了定性分析的效果,为此,提出了基...
关于基于有序二元决策图的定性分析方法,首先引入时序逻辑,将动态门转换成时序逻辑表达式,然后将动态故障树转换成相应的有序二元决策图结构。动态故障树转换方法面临底部事件排序、冗余结构等问题,影响了定性分析的效果,为此,提出了基于成分组合法的逆向转换法,该方法具有直接、高效等特点。实例验证表明该方法能够减少转化后有序二元决策图的节点数量和冗余结构,提高动态故障树定性分析的效率和效果。
展开更多
关键词
动态故障树
有序二元决策图
时序逻辑
逆向转换法
在线阅读
下载PDF
职称材料
基于ALAP元模型的产品功能模型
被引量:
1
14
作者
郝泳涛
唐涛
马冲
《计算机辅助工程》
2010年第3期73-78,共6页
针对当前产品功能建模理论没有覆盖智能设计完整生命周期的问题,提出应用—逻辑—算法—物理分层抽象模型(Application-Logic-Algorithm-Physics layer abstract model,ALAP),将其作为产品功能模型的元模型,并阐述产品功能模型的构建流...
针对当前产品功能建模理论没有覆盖智能设计完整生命周期的问题,提出应用—逻辑—算法—物理分层抽象模型(Application-Logic-Algorithm-Physics layer abstract model,ALAP),将其作为产品功能模型的元模型,并阐述产品功能模型的构建流程;提出用于描述产品功能模型的功能对象方法树(Function Object Method Tree,FOMT),并给出座椅设计描述的实例.ALAP具有一般性、开放性和通用性的特点,可为新的产品功能模型开发提供参考,也能规范已有模型,使不同模型之间可以通信.
展开更多
关键词
产品功能模型
应用—逻辑—算法—物理分层抽象模型
智能设计
功能对象方法树
在线阅读
下载PDF
职称材料
基于二叉树的CVSL电路优化方法
15
作者
殷万君
白天蕊
《现代电子技术》
2012年第22期174-176,共3页
CVSL电路不同于互补CMOS逻辑那样具有固定的构成规则,对于复杂逻辑,若不对电路进行优化,则电路速度、版图面积、功耗等性能指标均会受到影响。因此用一种方法有规律的来完成CVSL电路结构的设计显得十分重要,传统的卡诺图化简法步骤过多...
CVSL电路不同于互补CMOS逻辑那样具有固定的构成规则,对于复杂逻辑,若不对电路进行优化,则电路速度、版图面积、功耗等性能指标均会受到影响。因此用一种方法有规律的来完成CVSL电路结构的设计显得十分重要,传统的卡诺图化简法步骤过多,结构不够直观,针对这一缺陷,提出了用二叉树代替传统的卡诺图法的设计思路,从而使CVSL电路结构得到优化。分析结果表明,二叉树优化法较卡诺图法可使电路获得了更加高效的设计结果。
展开更多
关键词
电路结构优化
二叉树优化法
CVSL电路
互补CMOS逻辑
在线阅读
下载PDF
职称材料
逻辑框架法在智能交通管理系统设计中的应用
被引量:
2
16
作者
缪建新
张铿
陆振益
《道路交通科学技术》
2021年第1期29-34,共6页
我国智能交通管理系统的专业设计业务已开展了近20年,智能交通管理系统设计过程中包含的问题如何分析、目标如何设定、内容如何确定、深度如何把握等理论方法也一直在探索中。本文旨在以智能交通管理系统技术规范(GA/T445)为参照,提出...
我国智能交通管理系统的专业设计业务已开展了近20年,智能交通管理系统设计过程中包含的问题如何分析、目标如何设定、内容如何确定、深度如何把握等理论方法也一直在探索中。本文旨在以智能交通管理系统技术规范(GA/T445)为参照,提出适合城市道路特点,并从目标、目的、结果、行动(任务)等方面进行基于逻辑框架法的分析研究,从而在智能交通管理系统方案设计中形成有科学理论支撑的设计思路和方法。通过阐述如何应用逻辑框架法进行智能交通管理系统的设计,为顺利开展智能交通管理系统的方案设计打下基础。
展开更多
关键词
逻辑框架法
智能交通管理系统
利益相关者
问题树
目标树
在线阅读
下载PDF
职称材料
基于时态失效逻辑的割序集模型量化方法
被引量:
5
17
作者
王波
刘东
李艺
《计算机工程》
CAS
CSCD
2012年第20期268-271,共4页
针对动态故障树割序集模型量化方法的模糊性、不一致性和局限性,提出一种基于时态失效逻辑的割序集模型量化方法。给出3种时态失效逻辑,包括割序集的优先失效逻辑、序列失效逻辑和备件失效逻辑,结合时态区间的概念,设计不同时态失效逻...
针对动态故障树割序集模型量化方法的模糊性、不一致性和局限性,提出一种基于时态失效逻辑的割序集模型量化方法。给出3种时态失效逻辑,包括割序集的优先失效逻辑、序列失效逻辑和备件失效逻辑,结合时态区间的概念,设计不同时态失效逻辑的统一量化方法。示例结果表明,该方法计算较为精确,便于操作。
展开更多
关键词
可靠性
动态故障树
割序集
时态逻辑
量化方法
时态区间
在线阅读
下载PDF
职称材料
基于故障树分析法的掘进机液压系统故障诊断与维护
被引量:
3
18
作者
屈有哲
《机械管理开发》
2019年第5期147-148,153,共3页
针对我国井工煤矿常用的典型掘进机液压系统故障的诊断及排除难题,基于故障树分析法及逻辑分析判断法,建立起掘进机截割部升降失效故障树及掘进机行走部马达驱动失效故障树,并依据故障树对事件发生的类别、概率、实际工况等依次进行分...
针对我国井工煤矿常用的典型掘进机液压系统故障的诊断及排除难题,基于故障树分析法及逻辑分析判断法,建立起掘进机截割部升降失效故障树及掘进机行走部马达驱动失效故障树,并依据故障树对事件发生的类别、概率、实际工况等依次进行分析判断,结合使用排除法对故障进行准确定位及处理,并对掘进机液压系统的日常维护工作进行了分析。
展开更多
关键词
掘进机
液压系统
故障树分析法
逻辑分析判断法
在线阅读
下载PDF
职称材料
基于BDD考虑共因失效的接触网系统可靠性分析
被引量:
2
19
作者
陈子文
赵峰
+1 位作者
陈小强
王英
《中国安全生产科学技术》
CAS
CSCD
北大核心
2019年第2期170-174,共5页
为分析共因失效对高速铁路接触网系统的影响,将二元决策图(Binary Decision Diagram,BDD)与共因失效理论引入到接触网系统可靠性分析中。利用逻辑相邻优先组合法(Logic Neighbor Priority Connect,LNPC)将高速铁路接触网系统的故障树模...
为分析共因失效对高速铁路接触网系统的影响,将二元决策图(Binary Decision Diagram,BDD)与共因失效理论引入到接触网系统可靠性分析中。利用逻辑相邻优先组合法(Logic Neighbor Priority Connect,LNPC)将高速铁路接触网系统的故障树模型转化为BDD模型并求取其可靠度表达式,利用隐式方法对考虑了共因失效的接触网系统可靠度进行计算,利用MATLAB绘制考虑共因失效和不考虑共因失效情况下接触网系统可靠度变化曲线。研究结果表明:提出的分析方法适用于接触网系统的可靠性分析,为接触网系统的可靠性分析提供了一定的理论依据。
展开更多
关键词
二元决策图
逻辑相邻优先组合法
故障树
共因失效
隐式方法
接触网系统
在线阅读
下载PDF
职称材料
某型飞机输油泵告警逻辑分析与总结
20
作者
韩彪
吕强
殷子琨
《航空维修与工程》
2024年第2期87-89,共3页
某型飞机输油泵告警定义繁多,一旦出现故障很难快速确认故障原因的情况。通过对输油泵告警逻辑进行分析,绘制故障树,总结出一套可快速将系统级故障定位到产品级的外场排故方法。
关键词
输油泵告警
逻辑分析
故障树
排故方法
原文传递
题名
基于逻辑树问题解决法的药学干预对某医院内科中药注射剂医嘱合理率的影响
1
作者
王岑
赵娟娟
汤垚磊
叶侃倜
机构
上海市黄浦区香山中医医院药剂科
出处
《上海医药》
2025年第10期3-6,31,共5页
文摘
目的:分析基于逻辑树问题解决法的药学干预对某医院内科中药注射剂医嘱合理率的影响。方法:选择2023年7月—2024年6月在某医院内科住院接受中药注射剂治疗的376例患者作为研究对象,按时间段分为观察组与对照组。对对照组患者医嘱进行的是常规药学干预,对观察组患者医嘱进行的是再联合实施基于逻辑树问题解决法的药学干预。比较两组患者中药注射剂医嘱合理率、治疗相关不良事件,以及住院时间、相关药品费用。结果:观察组患者的医嘱合理率(96.44%)显著高于对照组(81.93%),不良事件发生率(2.20%)显著低于对照组(10.31%),且住院总费用、药品费用和中药注射剂费用均显著低于对照组(均P<0.05),但两组患者的住院时间差异无统计学意义(P>0.05)。结论:通过实施基于逻辑树问题解决法的药学干预,可以提高中药注射剂的合理使用率,减少其不良事件发生率,同时降低患者的用药费用。该药学干预模式具有在医疗机构推广应用的价值。
关键词
逻辑树问题解决法
中药注射剂
合理用药
药学干预
Keywords
logic
tree
problem-solving
method
traditional Chinese medicine injections
rational drug use
pharmaceutical intervention
分类号
R969.3 [医药卫生—药理学]
R286 [医药卫生—中药学]
暂未订购
题名
基于自适应CSA的多操作数加法器设计
2
作者
王立华
崔可欣
付文杰
刘晨光
机构
山东科技大学电子信息工程学院
出处
《鲁东大学学报(自然科学版)》
2025年第3期222-232,共11页
基金
山东省本科教学改革研究重点项目(Z2024099)。
文摘
多操作数加法器是数字集成电路设计的基本算术单元之一,其逻辑优化是逻辑综合流程中至关重要的一部分。为了在逻辑综合过程中尽可能地提升多操作数加法器的性能,降低延迟,本文设计了一种基于自适应进位保留加法器(carry-save adder, CSA)的多操作数加法器架构。该架构采用Wallace树结构实现多操作数加法器的设计,降低加法操作导致的延迟,并在此基础上,通过改进Wallace树结构中的CSA压缩部分,进一步降低延迟。本文以SMIC 28nm工艺库为目标库,运用上述算法对多个多操作数相加的RTL(register-transfer level)设计执行逻辑综合,得到多操作数加法器。实验结果表明,在16~128位宽输入下,本加法器可显著优化性能,延迟时间平均降低31.2%,面积平均减少36.5%,功耗平均降低70.98%。
关键词
多操作数加法器
carry-save
adder
自适应方法
Wallace树结构
逻辑综合
Keywords
multi-operand adder
carry save adder
adaptive
method
Wallace
tree
structure
logic
al synthesis
分类号
TP332.2 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
经验反馈的系统性工作方法
被引量:
1
3
作者
苏鲁明
机构
中核核电运行管理有限公司
出处
《核安全》
2024年第6期21-28,共8页
文摘
经验反馈是安全文化的重要组成部分,是企业管理提升、绩效改进的有力工具。所有负有安全责任的企业均应建立一套行之有效的经验反馈体系。本文论述了经验反馈的基本观点、组成要素,论述了经验反馈系统性工作方法的具体步骤,论述了该方法提出的一些新概念和新做法,包括:定义和选取样本事件,样本事件分类,书面问卷调查式的人员访谈,将逻辑思维理论作为事件原因调查分析和事件报告编写的基础理论和基本知识,事件报告开发质量评价标准,事件要素统计分析,经验反馈信息使用效果评价等。
关键词
经验反馈
系统性工作方法
逻辑思维基础理论
因果树分析法
Keywords
Operating Experience Feedback
Systematic Working Approach
logic
al Thinking Basic Theory
Cause and Effect
tree
Analysis
method
分类号
TL [核科学技术]
在线阅读
下载PDF
职称材料
题名
一阶谓词公式关联矩阵的构造方法
被引量:
1
4
作者
耿霞
张继军
吴秋兰
机构
山东农业大学信息科学与工程学院
出处
《计算机工程与应用》
CSCD
2014年第3期36-41,共6页
基金
国家自然科学基金(No.61170079
No.61201252)
+1 种基金
教育部科技论文快速共享项目(No.2012107)
山东省优秀中青年科学家奖励基金(No.BS2009DX012)
文摘
一阶谓词逻辑可以借助关联矩阵进行有效推理。为了提高关联矩阵的构造效率,从而提高一阶谓词逻辑推理的效率,提出一种由一阶谓词公式构造对应关联矩阵的递归方法。该方法利用二叉树的递归性质,对任意一个一阶谓词公式,在化去量词后直接构造关联矩阵。该方法为借助关联矩阵实现一阶谓词逻辑的自动化推理提供了可能。
关键词
一阶谓词公式
关联矩阵
逻辑推理
二叉树
递归方法
Keywords
first-order predicate expression
incidence matrix
logic
al reasoning
binary
tree
recursive
method
分类号
TP301 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
基于逻辑树的地震危险性综合分析在辽宁地区的应用
被引量:
1
5
作者
王岩
王亮
郭晓燕
曹凤娟
贾丽华
机构
辽宁省地震局
出处
《地震地磁观测与研究》
2022年第S01期117-119,共3页
基金
震情跟踪定向工作任务(项目编号:2017010504)。
文摘
1研究背景在地震预测研究领域中,不同方法对地震危险性的指示意义和判定的准确程度不同,实际工作中通常需要对多种类型异常进行综合判定。引入逻辑树方法,将复杂问题分解,综合各类异常信息,可定量表达地震危险性的不确定性。逻辑树方法在工程场地的危险性分析中应用广泛,通常用以解决不同地震模型所带来的不确定性,处理多个研究意见的综合结论等。
关键词
地震危险性
地震异常
逻辑树方法
不确定性
Keywords
seismic risk
seismic anomalies
logic tree method
uncertainty
分类号
P315 [天文地球—地震学]
在线阅读
下载PDF
职称材料
题名
化工事故逻辑树法研究与应用
被引量:
2
6
作者
王延平
卢均臣
张婷
蒋骏
机构
中国石化安全工程研究院
出处
《安全、健康和环境》
2015年第9期1-4,共4页
文摘
描述了化工事故逻辑树分析方法的应用原理及实例,以事故后果为顶上事件,通过"与或门"连接多个分支,不断重复询问"为什么"来完善树的下一层,逐步形成"有根有叶"的逻辑树结构。该逻辑树可以帮助分析事故的演变路径,找到事故中的关键性因素,通过对这些因素的改善与控制,提高企业对重大事故的预警预防能力。利用根原因分析方法对事故进行分析,找出导致事故的根原因,提出相应的改善措施,有利于提高企业的安全管理水平。
关键词
化工事故
逻辑树分析法
事故预警
根原因
Keywords
chemical accident
the
logic
tree
analysis
method
accident warning
the root cause
分类号
TQ086 [化学工程]
在线阅读
下载PDF
职称材料
题名
逻辑树在辽宁地区地震危险性分析中的应用
7
作者
王岩
邵媛媛
张博
郭晓燕
翟丽娜
杨士超
机构
辽宁省地震局
出处
《地震》
CSCD
北大核心
2022年第3期111-123,共13页
基金
地震科技星火计划攻关项目(XH23010A)
文摘
地震预测研究的主要依据是震前观测到的各类地震信息的异常变化,观测、计算得出的异常变化越多,地震危险性研究的可用信息越完善,同时,越来越多的不同异常对地震危险性判定结果的不一致,增加了综合分析的复杂度.本文以辽宁地区为研究区域,引入逻辑树方法,按照地震孕育过程以长、中、短、临的时间尺度分层,建立地震危险性逻辑树模型,扫描全域得到辽宁地区地震危险性相对概率分布和辽宁地区地震危险性指数分布,定量化表现异常对区域地震危险性的综合影响,简化分析过程.通过1999年岫岩5.4级地震和2013年灯塔5.1级地震两个典型震例的计算发现,异常信息的完整性、异常时间尺度的精确性对地震事件的预测判定准确度影响较大.
关键词
地震危险性
地震异常特征
逻辑树方法
不确定性
Keywords
Seismic risk
Characteristics of uncertainty
Seismic anomalies
logic tree method
分类号
P315.7 [天文地球—地震学]
在线阅读
下载PDF
职称材料
题名
基于匹配的最小化路径表达式的优化方法
被引量:
1
8
作者
魏东平
张静
刘树涛
机构
中国石油大学计算机与通信工程学院
出处
《计算机工程与设计》
CSCD
北大核心
2008年第9期2272-2274,共3页
文摘
路径表达式的最小化问题,是快速有效地从XML数据源中查询所需信息的重要因素。为了加速路径表达式的处理,在深入分析Chase方法的基础上,提出一种基于匹配的最小化策略。该方法利用了匹配的基本操作来删除冗余分支以便达到优化的目的,在匹配的过程中,按照自上而下的顺序对树中的结点对进行匹配来减少计算的工作量。初步的分析表明,该方法比普遍意义上的消除路径表达式的冗余条件的方法更能有效地提高查询效率。
关键词
路径表达式
匹配
树模式
chase方法
逻辑优化
Keywords
path expression
match
tree
pattern
chase
method
logic
al optimization
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于IP组播的大型动态组密钥安全管理方案研究
被引量:
5
9
作者
张斌
邬江兴
机构
国家数字交换系统工程技术研究中心
出处
《小型微型计算机系统》
CSCD
北大核心
2002年第8期940-943,共4页
文摘
组播的密钥分配不同于传统的单播密钥分配 ,尤其是对于大型动态组其密钥分配更加复杂 .本文讨论了适用于大型动态组的两种密钥分配方案即逻辑密钥层次 L KH(L ogical Key Hierarchy)方案和单向函数树 OFT(One- wayFunction Tree)方案 ,对这两种方案的加入 /离开操作、组控制器和每个组成员拥有的密钥数、需要单播和广播的消息位数、组管理者和最大成员计算量、要产生的随机密钥位数、可放缩性等方面进行了分析比较 ,为两种方案的相互结合、取长补短提供了理论依据 .
关键词
IP组播
大型动态组密钥
安全管理
逻辑密钥层次
单向函数树
Keywords
multicast key distribution
logic
al key hierarchy
method
L
one way function
tree
method
分类号
TP393.4 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
考虑不确定性的地震危险性分析方法及其应用
10
作者
张耀国
雷建成
唐荣昌
夏大德
机构
四川省地震局
出处
《四川地震》
1991年第4期20-24,共5页
文摘
本文讨论了目前地震危险性分析过程中的不确定性及其对危险性分析结果的影响。引入“逻辑树”方法处理了四川某工程场地的地震危险性,最后用三种方法给出了地震危险性分析结果。
关键词
地震
危险性
分析法
不确定性
Keywords
seismic risk
uncertainty
logic
al
tree
method
site seismic motion
分类号
P315.61 [天文地球—地震学]
在线阅读
下载PDF
职称材料
题名
基于因素逻辑的分类推理法重构
被引量:
8
11
作者
崔铁军
李莎莎
王来贵
机构
辽宁工程技术大学安全科学与工程学院
大连交通大学辽宁省隧道与地下结构工程技术研究中心
辽宁工程技术大学力学与工程学院
出处
《计算机应用研究》
CSCD
北大核心
2016年第12期3671-3675,共5页
基金
国家自然科学基金资助项目(61350003)
文摘
为使空间故障树理论中系统结构反分析的分类推理法具有严格的数学定义,以适应广泛的系统结构反分析问题,引入因素空间理论的因素逻辑对分类推理法进行重构。重构的目的在于规范原方法定义和步骤为严格的数学形式,赋予其因素逻辑推理能力,从而提升其数学层次,应用于广泛的问题分析。给出了空间故障树中分类推理法的基本过程和描述;使用因素逻辑重构该方法的相关定义,并给出了极小析取范式步骤,即重构分类推理法步骤。使用原方法和重构方法分析了实例,证明两种方法得到的系统结构相同,而后者具有更高的逻辑数学层次和广泛的应用能力。
关键词
因素空间
空间故障树
因素逻辑
分类推理法
重构
Keywords
factors space
space fault
tree
(SFT)
space
logic
classification reasoning
method
reconstruction
分类号
TP181 [自动化与计算机技术—控制理论与控制工程]
全文增补中
题名
基于故障树的逻辑概率法评价电气主结线可靠性
12
作者
陈昆薇
黄守盟
机构
武汉水利电力大学
出处
《湖北工学院学报》
1995年第3期91-95,共5页
文摘
研究与分析了利用基于故障树的逻辑概率法评价发电厂或变电所电气主结线可靠性方法.给出一发电厂厂用电结线的可靠性分析实例,并予以误差分析.
关键词
故障树
逻辑概率法
可靠性
电气主结线
Keywords
Fail-
tree
logic
al probabitity
method
Reliability
Main electrical connection
分类号
TM732 [电气工程—电力系统及自动化]
在线阅读
下载PDF
职称材料
题名
基于有序二元决策图的动态故障树定性分析方法
被引量:
3
13
作者
高迎平
李洋
田楷
机构
河北工业大学
出处
《计算机与数字工程》
2016年第12期2342-2347,共6页
文摘
关于基于有序二元决策图的定性分析方法,首先引入时序逻辑,将动态门转换成时序逻辑表达式,然后将动态故障树转换成相应的有序二元决策图结构。动态故障树转换方法面临底部事件排序、冗余结构等问题,影响了定性分析的效果,为此,提出了基于成分组合法的逆向转换法,该方法具有直接、高效等特点。实例验证表明该方法能够减少转化后有序二元决策图的节点数量和冗余结构,提高动态故障树定性分析的效率和效果。
关键词
动态故障树
有序二元决策图
时序逻辑
逆向转换法
Keywords
dynamic fault
tree
,sequential binary decision diagram,time sequence
logic
,reverse conversion
method
分类号
TP301 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
基于ALAP元模型的产品功能模型
被引量:
1
14
作者
郝泳涛
唐涛
马冲
机构
同济大学CAD研究中心
出处
《计算机辅助工程》
2010年第3期73-78,共6页
文摘
针对当前产品功能建模理论没有覆盖智能设计完整生命周期的问题,提出应用—逻辑—算法—物理分层抽象模型(Application-Logic-Algorithm-Physics layer abstract model,ALAP),将其作为产品功能模型的元模型,并阐述产品功能模型的构建流程;提出用于描述产品功能模型的功能对象方法树(Function Object Method Tree,FOMT),并给出座椅设计描述的实例.ALAP具有一般性、开放性和通用性的特点,可为新的产品功能模型开发提供参考,也能规范已有模型,使不同模型之间可以通信.
关键词
产品功能模型
应用—逻辑—算法—物理分层抽象模型
智能设计
功能对象方法树
Keywords
product function model
application-
logic
-algorithm-physics layer abstract model
intelligent design
function object
method
tree
分类号
TP391.72 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
基于二叉树的CVSL电路优化方法
15
作者
殷万君
白天蕊
机构
西南交通大学信息科学与技术学院
出处
《现代电子技术》
2012年第22期174-176,共3页
基金
国家"973"计划资助项目(2007CB714700)
国家自然科学基金资助项目(60776827)
文摘
CVSL电路不同于互补CMOS逻辑那样具有固定的构成规则,对于复杂逻辑,若不对电路进行优化,则电路速度、版图面积、功耗等性能指标均会受到影响。因此用一种方法有规律的来完成CVSL电路结构的设计显得十分重要,传统的卡诺图化简法步骤过多,结构不够直观,针对这一缺陷,提出了用二叉树代替传统的卡诺图法的设计思路,从而使CVSL电路结构得到优化。分析结果表明,二叉树优化法较卡诺图法可使电路获得了更加高效的设计结果。
关键词
电路结构优化
二叉树优化法
CVSL电路
互补CMOS逻辑
Keywords
circuit structure optimization
binary
tree
optimization
method
CVSL circuit
complementary CMOS
logic
分类号
TN492-34 [电子电信—微电子学与固体电子学]
在线阅读
下载PDF
职称材料
题名
逻辑框架法在智能交通管理系统设计中的应用
被引量:
2
16
作者
缪建新
张铿
陆振益
机构
公安部交通管理科学研究所
出处
《道路交通科学技术》
2021年第1期29-34,共6页
文摘
我国智能交通管理系统的专业设计业务已开展了近20年,智能交通管理系统设计过程中包含的问题如何分析、目标如何设定、内容如何确定、深度如何把握等理论方法也一直在探索中。本文旨在以智能交通管理系统技术规范(GA/T445)为参照,提出适合城市道路特点,并从目标、目的、结果、行动(任务)等方面进行基于逻辑框架法的分析研究,从而在智能交通管理系统方案设计中形成有科学理论支撑的设计思路和方法。通过阐述如何应用逻辑框架法进行智能交通管理系统的设计,为顺利开展智能交通管理系统的方案设计打下基础。
关键词
逻辑框架法
智能交通管理系统
利益相关者
问题树
目标树
Keywords
logic
frame
method
intelligent traffi c management system(ITMS)
stakeholder
problem
tree
goal
tree
分类号
U49 [交通运输工程—交通运输规划与管理]
在线阅读
下载PDF
职称材料
题名
基于时态失效逻辑的割序集模型量化方法
被引量:
5
17
作者
王波
刘东
李艺
机构
装备学院重点实验室
装备学院科研部
出处
《计算机工程》
CAS
CSCD
2012年第20期268-271,共4页
基金
国家自然科学基金资助项目(60904082)
文摘
针对动态故障树割序集模型量化方法的模糊性、不一致性和局限性,提出一种基于时态失效逻辑的割序集模型量化方法。给出3种时态失效逻辑,包括割序集的优先失效逻辑、序列失效逻辑和备件失效逻辑,结合时态区间的概念,设计不同时态失效逻辑的统一量化方法。示例结果表明,该方法计算较为精确,便于操作。
关键词
可靠性
动态故障树
割序集
时态逻辑
量化方法
时态区间
Keywords
reliability
dynamic fault
tree
cut sequence set
temporal
logic
quantification
method
temporal interval
分类号
TP391 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
基于故障树分析法的掘进机液压系统故障诊断与维护
被引量:
3
18
作者
屈有哲
机构
同煤集团燕子山矿
出处
《机械管理开发》
2019年第5期147-148,153,共3页
文摘
针对我国井工煤矿常用的典型掘进机液压系统故障的诊断及排除难题,基于故障树分析法及逻辑分析判断法,建立起掘进机截割部升降失效故障树及掘进机行走部马达驱动失效故障树,并依据故障树对事件发生的类别、概率、实际工况等依次进行分析判断,结合使用排除法对故障进行准确定位及处理,并对掘进机液压系统的日常维护工作进行了分析。
关键词
掘进机
液压系统
故障树分析法
逻辑分析判断法
Keywords
roadheader
hydraulic system
fault
tree
analysis
method
logic
analysis and judgement
method
分类号
TH165.3 [机械工程—机械制造及自动化]
在线阅读
下载PDF
职称材料
题名
基于BDD考虑共因失效的接触网系统可靠性分析
被引量:
2
19
作者
陈子文
赵峰
陈小强
王英
机构
兰州交通大学自动化与电气工程学院
出处
《中国安全生产科学技术》
CAS
CSCD
北大核心
2019年第2期170-174,共5页
基金
中国铁路总公司科技研究开发计划项目(2017J012-A)
国家自然科学基金项目(51767013)
甘肃省科技厅自然科学基金项目(18JR3RA111)
文摘
为分析共因失效对高速铁路接触网系统的影响,将二元决策图(Binary Decision Diagram,BDD)与共因失效理论引入到接触网系统可靠性分析中。利用逻辑相邻优先组合法(Logic Neighbor Priority Connect,LNPC)将高速铁路接触网系统的故障树模型转化为BDD模型并求取其可靠度表达式,利用隐式方法对考虑了共因失效的接触网系统可靠度进行计算,利用MATLAB绘制考虑共因失效和不考虑共因失效情况下接触网系统可靠度变化曲线。研究结果表明:提出的分析方法适用于接触网系统的可靠性分析,为接触网系统的可靠性分析提供了一定的理论依据。
关键词
二元决策图
逻辑相邻优先组合法
故障树
共因失效
隐式方法
接触网系统
Keywords
binary decision diagram (BDD)
logic
neighbor priority connect (LNPC)
fault
tree
common cause failure (CCF)
implicit
method
catenariy system
分类号
X936 [环境科学与工程—安全科学]
在线阅读
下载PDF
职称材料
题名
某型飞机输油泵告警逻辑分析与总结
20
作者
韩彪
吕强
殷子琨
机构
凌云科技集团有限责任公司
空装驻武汉地区第一军事代表室
出处
《航空维修与工程》
2024年第2期87-89,共3页
文摘
某型飞机输油泵告警定义繁多,一旦出现故障很难快速确认故障原因的情况。通过对输油泵告警逻辑进行分析,绘制故障树,总结出一套可快速将系统级故障定位到产品级的外场排故方法。
关键词
输油泵告警
逻辑分析
故障树
排故方法
Keywords
fuel pump alarm
logic
analysis
fault
tree
troubleshooting
method
s
分类号
V267 [航空宇航科学与技术—航空宇航制造工程]
原文传递
题名
作者
出处
发文年
被引量
操作
1
基于逻辑树问题解决法的药学干预对某医院内科中药注射剂医嘱合理率的影响
王岑
赵娟娟
汤垚磊
叶侃倜
《上海医药》
2025
0
暂未订购
2
基于自适应CSA的多操作数加法器设计
王立华
崔可欣
付文杰
刘晨光
《鲁东大学学报(自然科学版)》
2025
0
在线阅读
下载PDF
职称材料
3
经验反馈的系统性工作方法
苏鲁明
《核安全》
2024
1
在线阅读
下载PDF
职称材料
4
一阶谓词公式关联矩阵的构造方法
耿霞
张继军
吴秋兰
《计算机工程与应用》
CSCD
2014
1
在线阅读
下载PDF
职称材料
5
基于逻辑树的地震危险性综合分析在辽宁地区的应用
王岩
王亮
郭晓燕
曹凤娟
贾丽华
《地震地磁观测与研究》
2022
1
在线阅读
下载PDF
职称材料
6
化工事故逻辑树法研究与应用
王延平
卢均臣
张婷
蒋骏
《安全、健康和环境》
2015
2
在线阅读
下载PDF
职称材料
7
逻辑树在辽宁地区地震危险性分析中的应用
王岩
邵媛媛
张博
郭晓燕
翟丽娜
杨士超
《地震》
CSCD
北大核心
2022
0
在线阅读
下载PDF
职称材料
8
基于匹配的最小化路径表达式的优化方法
魏东平
张静
刘树涛
《计算机工程与设计》
CSCD
北大核心
2008
1
在线阅读
下载PDF
职称材料
9
基于IP组播的大型动态组密钥安全管理方案研究
张斌
邬江兴
《小型微型计算机系统》
CSCD
北大核心
2002
5
在线阅读
下载PDF
职称材料
10
考虑不确定性的地震危险性分析方法及其应用
张耀国
雷建成
唐荣昌
夏大德
《四川地震》
1991
0
在线阅读
下载PDF
职称材料
11
基于因素逻辑的分类推理法重构
崔铁军
李莎莎
王来贵
《计算机应用研究》
CSCD
北大核心
2016
8
全文增补中
12
基于故障树的逻辑概率法评价电气主结线可靠性
陈昆薇
黄守盟
《湖北工学院学报》
1995
0
在线阅读
下载PDF
职称材料
13
基于有序二元决策图的动态故障树定性分析方法
高迎平
李洋
田楷
《计算机与数字工程》
2016
3
在线阅读
下载PDF
职称材料
14
基于ALAP元模型的产品功能模型
郝泳涛
唐涛
马冲
《计算机辅助工程》
2010
1
在线阅读
下载PDF
职称材料
15
基于二叉树的CVSL电路优化方法
殷万君
白天蕊
《现代电子技术》
2012
0
在线阅读
下载PDF
职称材料
16
逻辑框架法在智能交通管理系统设计中的应用
缪建新
张铿
陆振益
《道路交通科学技术》
2021
2
在线阅读
下载PDF
职称材料
17
基于时态失效逻辑的割序集模型量化方法
王波
刘东
李艺
《计算机工程》
CAS
CSCD
2012
5
在线阅读
下载PDF
职称材料
18
基于故障树分析法的掘进机液压系统故障诊断与维护
屈有哲
《机械管理开发》
2019
3
在线阅读
下载PDF
职称材料
19
基于BDD考虑共因失效的接触网系统可靠性分析
陈子文
赵峰
陈小强
王英
《中国安全生产科学技术》
CAS
CSCD
北大核心
2019
2
在线阅读
下载PDF
职称材料
20
某型飞机输油泵告警逻辑分析与总结
韩彪
吕强
殷子琨
《航空维修与工程》
2024
0
原文传递
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
2
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部