期刊导航
期刊开放获取
vip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
15
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于蒙特卡罗模拟的城市信息通信网络故障树分析
被引量:
1
1
作者
唐梓萌
李莎莎
+1 位作者
卓志豪
刘星雨
《武汉理工大学学报(信息与管理工程版)》
2025年第3期299-304,313,共7页
为保证城市信息通信网络的稳定运行,以网络全面中断为顶事件,通过故障树分析,构建城市信息通信网络的故障树模型。该模型涵盖了核心网络设备故障、通信链路故障、网络安全威胁、电源与能源故障等多个中间事件,并进一步细分到具体的底事...
为保证城市信息通信网络的稳定运行,以网络全面中断为顶事件,通过故障树分析,构建城市信息通信网络的故障树模型。该模型涵盖了核心网络设备故障、通信链路故障、网络安全威胁、电源与能源故障等多个中间事件,并进一步细分到具体的底事件,如路由器硬件故障、交换机软件故障等,同时为每个底事件分配相应的故障概率。在此基础上采用蒙特卡罗模拟方法,对故障树模型进行仿真分析,通过随机抽样计算顶事件的故障概率,并评估各底事件对顶事件的影响程度。该方法不仅验证了故障树模型的正确性和客观性,还为城市信息通信网络的风险评估和优化提供了有力的工具。
展开更多
关键词
故障树
信息通信网络
布尔代数法
最小割集
蒙特卡罗模拟
在线阅读
下载PDF
职称材料
陶瓷辊道窑的温度特性与智能逻辑控制研究
被引量:
6
2
作者
陈静
程明家
+2 位作者
徐国成
黄必辉
李佳
《武汉理工大学学报》
CAS
CSCD
北大核心
2009年第2期100-103,共4页
针对陶瓷辊道窑温度的特性和温度控制的实现方案,提出了陶瓷辊道窑温度控制智能逻辑控制方法。以检测到的陶瓷辊道窑内温度偏差和其偏差变化率作为反馈信号。首先建立其逻辑控制规则;然后将逻辑控制规则进行符号化,得到逻辑控制表达式;...
针对陶瓷辊道窑温度的特性和温度控制的实现方案,提出了陶瓷辊道窑温度控制智能逻辑控制方法。以检测到的陶瓷辊道窑内温度偏差和其偏差变化率作为反馈信号。首先建立其逻辑控制规则;然后将逻辑控制规则进行符号化,得到逻辑控制表达式;最后计算输出的状态布尔值得到对应的逻辑控制量。
展开更多
关键词
陶瓷辊道窑
温度控制
逻辑控制方法
泛布尔代数
原文传递
关于逻辑函数化简方法的研究
被引量:
3
3
作者
冯乃勤
孙玉强
+1 位作者
魏淑桃
陈广林
《小型微型计算机系统》
CSCD
北大核心
2003年第1期130-134,共5页
变量个数大于 6的逻辑函数可以称为高变量逻辑函数 .逻辑函数的化简方法有公式法和图形法两种 .一般认为 ,对于高变量逻辑函数的化简 ,图形法没有实用价值 .本文观点与此不同 ,认为图形法对于高变量逻辑函数的化简仍然具有实用价值 ,同...
变量个数大于 6的逻辑函数可以称为高变量逻辑函数 .逻辑函数的化简方法有公式法和图形法两种 .一般认为 ,对于高变量逻辑函数的化简 ,图形法没有实用价值 .本文观点与此不同 ,认为图形法对于高变量逻辑函数的化简仍然具有实用价值 ,同时提出了用图形法化简高变量逻辑函数的具体方法 .提出并证明了一个定理 ,该定理揭示了将高变量逻辑函数转化为低变量逻辑函数并用小卡诺图来化简的一般意义和实用意义 .通过本文 。
展开更多
关键词
数字系统
布尔代数
逻辑函数
卡诺图
公式法
在线阅读
下载PDF
职称材料
煤矿复杂事故树最小径集算法研究
被引量:
3
4
作者
代张音
《工业安全与环保》
北大核心
2015年第2期44-45,61,共3页
文章在分析"成功树"法求事故树最小径集不足的基础上,结合煤矿五大灾害复杂事故树分析的特点,运用布尔代数和福塞尔行列法的基本原理,提出两种事故树最小径集的求解方法。通过一个煤矿复杂事故树分析实例,验证了方法的正确性...
文章在分析"成功树"法求事故树最小径集不足的基础上,结合煤矿五大灾害复杂事故树分析的特点,运用布尔代数和福塞尔行列法的基本原理,提出两种事故树最小径集的求解方法。通过一个煤矿复杂事故树分析实例,验证了方法的正确性和有效性,为实现事故树分析计算机化提供了有效的算法支撑。
展开更多
关键词
煤矿
复杂事故树
最小径集
成功树
布尔代数
行列法
在线阅读
下载PDF
职称材料
一种布尔变换及解变换方法在数据处理中的应用
被引量:
1
5
作者
陈宇
王遵立
+1 位作者
王瑞光
朴燕
《发光学报》
EI
CAS
CSCD
北大核心
1996年第3期251-256,共6页
通常情况下,由于计算机在字符显示状态下在内存中存在一个显示代码缓存区,此缓存区存放屏幕上显示内容的ASCⅡ码;因此在LED显示应用上,尤其在需要将控制机显示内容在另一区域的LED屏幕重现时所需要的数据传输方面上,上述...
通常情况下,由于计算机在字符显示状态下在内存中存在一个显示代码缓存区,此缓存区存放屏幕上显示内容的ASCⅡ码;因此在LED显示应用上,尤其在需要将控制机显示内容在另一区域的LED屏幕重现时所需要的数据传输方面上,上述代码缓存区具有重要的作用.但是当我们使用象pc-1500这样的机器作LED显示系统的控制机时,由于它无上述的系统有规律的顺序显示代码缓存区,同时鉴于LED与主控机点阵的不同及需传送的数据量等问题,我们在传输屏幕内容上存在一定的困难.本文提出并采用一种布尔变换及解变换方法来解决这个问题.
展开更多
关键词
布尔变换
LED显示
Hash码
平板显示
在线阅读
下载PDF
职称材料
N型四能级光学量子相干系统的结构子类型研究
6
作者
孟冬冬
刘晓东
+3 位作者
郑渝
闫学群
胡占宁
戚桢
《天津师范大学学报(自然科学版)》
CAS
北大核心
2010年第1期40-44,共5页
根据偶极跃迁选择规则,选择合适的跃迁通道,利用布尔代数方法将N型四能级量子相干系统分成5种不同的现实通道子类型,并根据相关耦合光场强度的强、弱不同,将现实通道子类型进一步精确分为48种现实强度子类型.这些子类型的确定有利于N型...
根据偶极跃迁选择规则,选择合适的跃迁通道,利用布尔代数方法将N型四能级量子相干系统分成5种不同的现实通道子类型,并根据相关耦合光场强度的强、弱不同,将现实通道子类型进一步精确分为48种现实强度子类型.这些子类型的确定有利于N型四能级量子相干系统研究成果的整理与利用.
展开更多
关键词
光学量子相干系统
子类型
N型能级系统
布尔代数方法
在线阅读
下载PDF
职称材料
布尔代数模式搜索技术——一种新的启发式推理方法
被引量:
1
7
作者
涂象初
涂承宇
《北京工业大学学报》
CAS
CSCD
1989年第2期57-61,共5页
简要地评述了现代的搜索技术,指出了其主要弱点;提出一种快速、高效的搜索技术——布尔代数模式搜索,列出了有关的4个子命题,并举例逐一加以说明。综合得到的命题是:在具备相应启发信息的条件下,状态空间内的搜索过程从问题求解的角度...
简要地评述了现代的搜索技术,指出了其主要弱点;提出一种快速、高效的搜索技术——布尔代数模式搜索,列出了有关的4个子命题,并举例逐一加以说明。综合得到的命题是:在具备相应启发信息的条件下,状态空间内的搜索过程从问题求解的角度看去同构于一个布尔代数。
展开更多
关键词
布尔代数
搜索技术
人工智能
推理
在线阅读
下载PDF
职称材料
逻辑函数的减-非和除-非展开式的最小化方法
被引量:
1
8
作者
潘伟珍
肖林荣
陈偕雄
《浙江大学学报(理学版)》
CAS
CSCD
2004年第5期524-527,共4页
讨论了布尔减和布尔除的定义以及逻辑函数在布尔减及非运算、布尔除及非运算完备集中的展开 ,给出了减 -非和除 -非逻辑函数的化简公式 .在此基础上提出了减 -非和除 -非逻辑函数的代数化简法以及图形化简法 ,并给出了化简实例 .
关键词
布尔减
布尔除
规范式
非规范式
代数化简法
图形化简法
在线阅读
下载PDF
职称材料
基于FTA的煤矿瓦斯事故分析
被引量:
3
9
作者
李俊禄
李刚
车彦峰
《工矿自动化》
2010年第11期40-43,共4页
给出了事故树分析的步骤,绘制出了煤矿瓦斯事故树图,运用事故树分析方法对瓦斯事故进行了逻辑分析;采用布尔代数法,找出了煤矿瓦斯爆炸事故发生的最小割集、最小径集;通过对最小割集(最小径集)的求解,确定了基本事件的结构重要度,从而...
给出了事故树分析的步骤,绘制出了煤矿瓦斯事故树图,运用事故树分析方法对瓦斯事故进行了逻辑分析;采用布尔代数法,找出了煤矿瓦斯爆炸事故发生的最小割集、最小径集;通过对最小割集(最小径集)的求解,确定了基本事件的结构重要度,从而了解了煤矿的危险程度和安全程度,掌握了导致瓦斯事故发生的各基本原因事件的组合关系及其重要程度;给出了防治瓦斯事故发生的措施。
展开更多
关键词
煤矿
瓦斯事故
瓦斯爆炸
事故树
布尔代数法
在线阅读
下载PDF
职称材料
逻辑函数的布尔减-异或、布尔除-符合展开式在固定极性下的最小化方法
被引量:
1
10
作者
许翔
周振峰
肖林荣
《浙江大学学报(理学版)》
CAS
CSCD
北大核心
2006年第5期540-543,共4页
在混合极性下的减-异或、除-符合展开式的最小化方法基础上,讨论了在固定极性下减-异或、除-符合展开式的代数化简法和图形化简法,并给出了化简实例.实例验证了上述方法的有效性.该法有助于进一步完善减-异或、除-符合代数系统的理论并...
在混合极性下的减-异或、除-符合展开式的最小化方法基础上,讨论了在固定极性下减-异或、除-符合展开式的代数化简法和图形化简法,并给出了化简实例.实例验证了上述方法的有效性.该法有助于进一步完善减-异或、除-符合代数系统的理论并促进新的数字元件及新一代数字电路的研发.
展开更多
关键词
布尔减-异或代数系统
布尔除-符合代数系统
固定极性
代数化简法
图形化简法
在线阅读
下载PDF
职称材料
泛布尔代数在数字电路设计中的应用
被引量:
2
11
作者
季曾超
庞敏
《装备制造技术》
2007年第7期46-48,54,共4页
泛布尔代数是一种新兴的逻辑方法,已经在多个领域内有了应用。在研究和使用泛布尔代数的过程中,发现其在数字电路设计领域中也能得到很好的运用,这种新的设计方法给数字电路设计带来一些新的思维。本文将新方法与传统方法进行一些比较,...
泛布尔代数是一种新兴的逻辑方法,已经在多个领域内有了应用。在研究和使用泛布尔代数的过程中,发现其在数字电路设计领域中也能得到很好的运用,这种新的设计方法给数字电路设计带来一些新的思维。本文将新方法与传统方法进行一些比较,介绍了新方法的一些特点以及设计中的优势。
展开更多
关键词
泛布尔代数
设计方法
数字电路
逻辑方法
在线阅读
下载PDF
职称材料
山区输气管道地震风险评价方法研究
被引量:
4
12
作者
王雯悦
伍颖
+1 位作者
尤潇
陈良若
《煤气与热力》
2022年第10期I0007-I0012,I0015,共7页
以失效可能性、失效后果为评价准则,从地震危险性、管道易损性、产品危害性和受体易损性4方面建立山区输气管道地震风险评价体系,其中一级指标4个,二级指标10个,三级指标20个。采用G1法计算指标权重,引入布尔代数对指标关系进行逻辑分析...
以失效可能性、失效后果为评价准则,从地震危险性、管道易损性、产品危害性和受体易损性4方面建立山区输气管道地震风险评价体系,其中一级指标4个,二级指标10个,三级指标20个。采用G1法计算指标权重,引入布尔代数对指标关系进行逻辑分析,提出不同逻辑关系(与、或关系)下的风险值计算方法。将该评价方法应用于四川西部某山区输气管道,得到该输气管道属于低风险等级。根据实际运行维护数据,该输气管道目前没有因地震造成的失效记录,评价结果与实际情况基本一致,说明建立的山区输气管道地震风险评价模型具有可靠性。
展开更多
关键词
地震风险评价
G1法
布尔代数
山区输气管道
在线阅读
下载PDF
职称材料
一种故障树预处理和最小割集的嵌套求解方法
13
作者
李旭
张仁斌
樊玉琦
《核安全》
2024年第5期48-56,共9页
故障树分析(Fault Tree Analyze,FTA)是一种系统安全性分析方法。求解故障树最小割集(Minimum Cut Set,MCS)是FTA的重要环节,其方法主要包括基于布尔代数的算法和基于二元决策图(Binary Decision Diagram,BDD)的算法,在使用普通计算机...
故障树分析(Fault Tree Analyze,FTA)是一种系统安全性分析方法。求解故障树最小割集(Minimum Cut Set,MCS)是FTA的重要环节,其方法主要包括基于布尔代数的算法和基于二元决策图(Binary Decision Diagram,BDD)的算法,在使用普通计算机分析大规模故障树时,现有方法存在工作内存不足和计算时间过久的问题。为了解决上述问题,针对国内某百万千瓦级大型压水堆风险模型,提出了一种基于布尔代数的故障树预处理和最小割集嵌套求解算法(Pretreat and Nested Minimum Cut-Set Algorithm,PNMCS)。该算法由三个模块组成:故障树化简、故障树剪枝、最小割集嵌套计算。在国内某大型压水堆风险模型和几种实际应用风险模型上的应用表明,本算法在求得正确结果的同时,有效解决了工作内存不足和计算时间过久的问题。
展开更多
关键词
故障树分析
割集法
组合爆炸
布尔代数
二元决策图
在线阅读
下载PDF
职称材料
基于“小应力区域减法”的钢骨车架设计
被引量:
1
14
作者
宁磊
张晓钟
《机械科学与技术》
CSCD
北大核心
2014年第2期276-281,共6页
钢骨车架焊接节点的性能直接影响车架结构及车辆运行的稳定性、安全性和动力性能。提出了一种"小应力区域减法"的车架设计方法,该方法采用"减"的思想,利用ANSYS参数化设计技术,通过将车架划分出底盘中与车架联系的...
钢骨车架焊接节点的性能直接影响车架结构及车辆运行的稳定性、安全性和动力性能。提出了一种"小应力区域减法"的车架设计方法,该方法采用"减"的思想,利用ANSYS参数化设计技术,通过将车架划分出底盘中与车架联系的各个系统的模块空间,得到整个车架的应力分布情况,切除小应力区域,再次进行强度分析;通过多次迭代计算与切除,以达到满足强度刚度要求的质量最小化。最后再根据加工制造与装配工艺要求进行最小量的分割,以此得到高性能的钢骨车架构造。
展开更多
关键词
钢骨车架
参数化设计
强度和刚度
最小量分割
在线阅读
下载PDF
职称材料
矩阵半张量积的基本原理与适用领域
被引量:
6
15
作者
程代展
齐洪胜
《系统科学与数学》
CSCD
北大核心
2012年第12期1488-1496,共9页
作为一种新的矩阵乘法,矩阵半张量积正得到国内外学者越来越多的重视和参与,从而使之应用于越来越多的研究课题中.希望分析矩阵半张量积的基本原理,从其合理性说明它产生的必然性和存在的意义.同时,与已有的综述不同,这里不准备具体介...
作为一种新的矩阵乘法,矩阵半张量积正得到国内外学者越来越多的重视和参与,从而使之应用于越来越多的研究课题中.希望分析矩阵半张量积的基本原理,从其合理性说明它产生的必然性和存在的意义.同时,与已有的综述不同,这里不准备具体介绍它在那些问题中得到那些应用,而是从原理出发,说明它可能在那些类型的相关科学问题中得到应用.这使我们能够更主动地去开发它可能的潜在应用.
展开更多
关键词
矩阵半张量积
布尔网络
泛代数
多元多项式
非线性矩阵方法
状态空间与正则
子空间
原文传递
题名
基于蒙特卡罗模拟的城市信息通信网络故障树分析
被引量:
1
1
作者
唐梓萌
李莎莎
卓志豪
刘星雨
机构
武汉理工大学安全科学与应急管理学院
华中师范大学城市与环境科学学院
出处
《武汉理工大学学报(信息与管理工程版)》
2025年第3期299-304,313,共7页
基金
国家社会科学基金项目(23BGL280).
文摘
为保证城市信息通信网络的稳定运行,以网络全面中断为顶事件,通过故障树分析,构建城市信息通信网络的故障树模型。该模型涵盖了核心网络设备故障、通信链路故障、网络安全威胁、电源与能源故障等多个中间事件,并进一步细分到具体的底事件,如路由器硬件故障、交换机软件故障等,同时为每个底事件分配相应的故障概率。在此基础上采用蒙特卡罗模拟方法,对故障树模型进行仿真分析,通过随机抽样计算顶事件的故障概率,并评估各底事件对顶事件的影响程度。该方法不仅验证了故障树模型的正确性和客观性,还为城市信息通信网络的风险评估和优化提供了有力的工具。
关键词
故障树
信息通信网络
布尔代数法
最小割集
蒙特卡罗模拟
Keywords
fault tree
information and communication network
boolean algebra method
minimal cut set
Monte Carlo simulation
分类号
TP393.08 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
陶瓷辊道窑的温度特性与智能逻辑控制研究
被引量:
6
2
作者
陈静
程明家
徐国成
黄必辉
李佳
机构
武汉理工大学自动化学院
出处
《武汉理工大学学报》
CAS
CSCD
北大核心
2009年第2期100-103,共4页
基金
湖北省科技专项资金计划项目
鄂科技发计(2007)101号
文摘
针对陶瓷辊道窑温度的特性和温度控制的实现方案,提出了陶瓷辊道窑温度控制智能逻辑控制方法。以检测到的陶瓷辊道窑内温度偏差和其偏差变化率作为反馈信号。首先建立其逻辑控制规则;然后将逻辑控制规则进行符号化,得到逻辑控制表达式;最后计算输出的状态布尔值得到对应的逻辑控制量。
关键词
陶瓷辊道窑
温度控制
逻辑控制方法
泛布尔代数
Keywords
ceramic roller kiln
temperature control
logic control
method
pan-
boolean
algebra
分类号
TP273.5 [自动化与计算机技术—检测技术与自动化装置]
原文传递
题名
关于逻辑函数化简方法的研究
被引量:
3
3
作者
冯乃勤
孙玉强
魏淑桃
陈广林
机构
河南师范大学计算机科学系
中国电波传播研究所
出处
《小型微型计算机系统》
CSCD
北大核心
2003年第1期130-134,共5页
基金
河南省自然科学基金 (基金编号 :0 2 110 5 0 80 0 )
文摘
变量个数大于 6的逻辑函数可以称为高变量逻辑函数 .逻辑函数的化简方法有公式法和图形法两种 .一般认为 ,对于高变量逻辑函数的化简 ,图形法没有实用价值 .本文观点与此不同 ,认为图形法对于高变量逻辑函数的化简仍然具有实用价值 ,同时提出了用图形法化简高变量逻辑函数的具体方法 .提出并证明了一个定理 ,该定理揭示了将高变量逻辑函数转化为低变量逻辑函数并用小卡诺图来化简的一般意义和实用意义 .通过本文 。
关键词
数字系统
布尔代数
逻辑函数
卡诺图
公式法
Keywords
digital system
boolean
algebra
logical function
karnaugh map
formula
method
分类号
TP331 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
煤矿复杂事故树最小径集算法研究
被引量:
3
4
作者
代张音
机构
贵州大学矿业学院
贵州省非金属矿产资源综合利用重点实验室
出处
《工业安全与环保》
北大核心
2015年第2期44-45,61,共3页
基金
教育部"春晖计划"科研项目(Z2007-1-52008)
文摘
文章在分析"成功树"法求事故树最小径集不足的基础上,结合煤矿五大灾害复杂事故树分析的特点,运用布尔代数和福塞尔行列法的基本原理,提出两种事故树最小径集的求解方法。通过一个煤矿复杂事故树分析实例,验证了方法的正确性和有效性,为实现事故树分析计算机化提供了有效的算法支撑。
关键词
煤矿
复杂事故树
最小径集
成功树
布尔代数
行列法
Keywords
coal mine complex fault tree minimum path set success tree
boolean
algebra
determinant
method
分类号
TD77 [矿业工程—矿井通风与安全]
在线阅读
下载PDF
职称材料
题名
一种布尔变换及解变换方法在数据处理中的应用
被引量:
1
5
作者
陈宇
王遵立
王瑞光
朴燕
机构
中国科学院长春物理研究所
出处
《发光学报》
EI
CAS
CSCD
北大核心
1996年第3期251-256,共6页
文摘
通常情况下,由于计算机在字符显示状态下在内存中存在一个显示代码缓存区,此缓存区存放屏幕上显示内容的ASCⅡ码;因此在LED显示应用上,尤其在需要将控制机显示内容在另一区域的LED屏幕重现时所需要的数据传输方面上,上述代码缓存区具有重要的作用.但是当我们使用象pc-1500这样的机器作LED显示系统的控制机时,由于它无上述的系统有规律的顺序显示代码缓存区,同时鉴于LED与主控机点阵的不同及需传送的数据量等问题,我们在传输屏幕内容上存在一定的困难.本文提出并采用一种布尔变换及解变换方法来解决这个问题.
关键词
布尔变换
LED显示
Hash码
平板显示
Keywords
transformation of
boolean
algebra
, LEDs display, Hash codes, logical calculation
method
分类号
TN27 [电子电信—物理电子学]
TN911.1 [电子电信—通信与信息系统]
在线阅读
下载PDF
职称材料
题名
N型四能级光学量子相干系统的结构子类型研究
6
作者
孟冬冬
刘晓东
郑渝
闫学群
胡占宁
戚桢
机构
天津工业大学物理系
日本佐贺大学理工学部
出处
《天津师范大学学报(自然科学版)》
CAS
北大核心
2010年第1期40-44,共5页
基金
天津市教委高等学校教师科研项目(20070505)
天津工业大学博士科研启动项目(20080033)
文摘
根据偶极跃迁选择规则,选择合适的跃迁通道,利用布尔代数方法将N型四能级量子相干系统分成5种不同的现实通道子类型,并根据相关耦合光场强度的强、弱不同,将现实通道子类型进一步精确分为48种现实强度子类型.这些子类型的确定有利于N型四能级量子相干系统研究成果的整理与利用.
关键词
光学量子相干系统
子类型
N型能级系统
布尔代数方法
Keywords
optical quantum coherence system
subscheme
N-type system
boolean algebra method
分类号
O438 [机械工程—光学工程]
在线阅读
下载PDF
职称材料
题名
布尔代数模式搜索技术——一种新的启发式推理方法
被引量:
1
7
作者
涂象初
涂承宇
机构
北京工业大学
海军装备论证研究中心
出处
《北京工业大学学报》
CAS
CSCD
1989年第2期57-61,共5页
文摘
简要地评述了现代的搜索技术,指出了其主要弱点;提出一种快速、高效的搜索技术——布尔代数模式搜索,列出了有关的4个子命题,并举例逐一加以说明。综合得到的命题是:在具备相应启发信息的条件下,状态空间内的搜索过程从问题求解的角度看去同构于一个布尔代数。
关键词
布尔代数
搜索技术
人工智能
推理
Keywords
boolean
algebra
,search technique,heuristic reasoning
method
,artificial intelligence
分类号
O153.2 [理学—基础数学]
在线阅读
下载PDF
职称材料
题名
逻辑函数的减-非和除-非展开式的最小化方法
被引量:
1
8
作者
潘伟珍
肖林荣
陈偕雄
机构
绍兴文理学院数理信息学院
浙江大学信息与电子工程系
出处
《浙江大学学报(理学版)》
CAS
CSCD
2004年第5期524-527,共4页
文摘
讨论了布尔减和布尔除的定义以及逻辑函数在布尔减及非运算、布尔除及非运算完备集中的展开 ,给出了减 -非和除 -非逻辑函数的化简公式 .在此基础上提出了减 -非和除 -非逻辑函数的代数化简法以及图形化简法 ,并给出了化简实例 .
关键词
布尔减
布尔除
规范式
非规范式
代数化简法
图形化简法
Keywords
boolean
SUBTRACTION
boolean
DIVISION
standard expression
non-standard expression
method
of
algebra
ic minimization
method
of graphic minimization
分类号
TP331 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
基于FTA的煤矿瓦斯事故分析
被引量:
3
9
作者
李俊禄
李刚
车彦峰
机构
神东地测公司
内蒙古科技大学矿业工程学院
黑龙江龙煤矿业集团股份有限公司鹤岗分公司
出处
《工矿自动化》
2010年第11期40-43,共4页
文摘
给出了事故树分析的步骤,绘制出了煤矿瓦斯事故树图,运用事故树分析方法对瓦斯事故进行了逻辑分析;采用布尔代数法,找出了煤矿瓦斯爆炸事故发生的最小割集、最小径集;通过对最小割集(最小径集)的求解,确定了基本事件的结构重要度,从而了解了煤矿的危险程度和安全程度,掌握了导致瓦斯事故发生的各基本原因事件的组合关系及其重要程度;给出了防治瓦斯事故发生的措施。
关键词
煤矿
瓦斯事故
瓦斯爆炸
事故树
布尔代数法
Keywords
coal mine, gas accident, gas explosion, FTA,
boolean
algebra
law
method
分类号
TD712 [矿业工程—矿井通风与安全]
在线阅读
下载PDF
职称材料
题名
逻辑函数的布尔减-异或、布尔除-符合展开式在固定极性下的最小化方法
被引量:
1
10
作者
许翔
周振峰
肖林荣
机构
嘉兴学院电子信息系
嘉兴学院电气工程系
出处
《浙江大学学报(理学版)》
CAS
CSCD
北大核心
2006年第5期540-543,共4页
文摘
在混合极性下的减-异或、除-符合展开式的最小化方法基础上,讨论了在固定极性下减-异或、除-符合展开式的代数化简法和图形化简法,并给出了化简实例.实例验证了上述方法的有效性.该法有助于进一步完善减-异或、除-符合代数系统的理论并促进新的数字元件及新一代数字电路的研发.
关键词
布尔减-异或代数系统
布尔除-符合代数系统
固定极性
代数化简法
图形化简法
Keywords
boolean
SUBTRACTION-XOR
algebra
ic system
boolean
DIVISION-COINCIDENCE
algebra
ic system
fixed polarity
method
of
algebra
ic minimization
method
of graphic minimization
分类号
TP331 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
泛布尔代数在数字电路设计中的应用
被引量:
2
11
作者
季曾超
庞敏
机构
广西大学电气工程学院
出处
《装备制造技术》
2007年第7期46-48,54,共4页
文摘
泛布尔代数是一种新兴的逻辑方法,已经在多个领域内有了应用。在研究和使用泛布尔代数的过程中,发现其在数字电路设计领域中也能得到很好的运用,这种新的设计方法给数字电路设计带来一些新的思维。本文将新方法与传统方法进行一些比较,介绍了新方法的一些特点以及设计中的优势。
关键词
泛布尔代数
设计方法
数字电路
逻辑方法
Keywords
Pan-
boolean
algebra
design
method
digital circuit
logic
method
分类号
TM11 [电气工程—电工理论与新技术]
在线阅读
下载PDF
职称材料
题名
山区输气管道地震风险评价方法研究
被引量:
4
12
作者
王雯悦
伍颖
尤潇
陈良若
机构
西南石油大学土木工程与测绘学院
广元市天然气有限责任公司
出处
《煤气与热力》
2022年第10期I0007-I0012,I0015,共7页
基金
四川省重点研发项目(2019YFS0075)
四川省应用基础研究项目(2020YJ0153)
广元市天然气有限责任公司科技项目资助(GYRQ-技术部-20190801-02-FW)。
文摘
以失效可能性、失效后果为评价准则,从地震危险性、管道易损性、产品危害性和受体易损性4方面建立山区输气管道地震风险评价体系,其中一级指标4个,二级指标10个,三级指标20个。采用G1法计算指标权重,引入布尔代数对指标关系进行逻辑分析,提出不同逻辑关系(与、或关系)下的风险值计算方法。将该评价方法应用于四川西部某山区输气管道,得到该输气管道属于低风险等级。根据实际运行维护数据,该输气管道目前没有因地震造成的失效记录,评价结果与实际情况基本一致,说明建立的山区输气管道地震风险评价模型具有可靠性。
关键词
地震风险评价
G1法
布尔代数
山区输气管道
Keywords
seismic risk assessment
G1
method
boolean
algebra
mountain gas transmission pipeline
分类号
TU996.7 [建筑科学—供热、供燃气、通风及空调工程]
在线阅读
下载PDF
职称材料
题名
一种故障树预处理和最小割集的嵌套求解方法
13
作者
李旭
张仁斌
樊玉琦
机构
合肥工业大学计算机与信息学院
出处
《核安全》
2024年第5期48-56,共9页
文摘
故障树分析(Fault Tree Analyze,FTA)是一种系统安全性分析方法。求解故障树最小割集(Minimum Cut Set,MCS)是FTA的重要环节,其方法主要包括基于布尔代数的算法和基于二元决策图(Binary Decision Diagram,BDD)的算法,在使用普通计算机分析大规模故障树时,现有方法存在工作内存不足和计算时间过久的问题。为了解决上述问题,针对国内某百万千瓦级大型压水堆风险模型,提出了一种基于布尔代数的故障树预处理和最小割集嵌套求解算法(Pretreat and Nested Minimum Cut-Set Algorithm,PNMCS)。该算法由三个模块组成:故障树化简、故障树剪枝、最小割集嵌套计算。在国内某大型压水堆风险模型和几种实际应用风险模型上的应用表明,本算法在求得正确结果的同时,有效解决了工作内存不足和计算时间过久的问题。
关键词
故障树分析
割集法
组合爆炸
布尔代数
二元决策图
Keywords
fault tree analysis
cut set
method
combination explosion
boolean
algebra
binary decision diagrams
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于“小应力区域减法”的钢骨车架设计
被引量:
1
14
作者
宁磊
张晓钟
机构
西安建筑科技大学
出处
《机械科学与技术》
CSCD
北大核心
2014年第2期276-281,共6页
文摘
钢骨车架焊接节点的性能直接影响车架结构及车辆运行的稳定性、安全性和动力性能。提出了一种"小应力区域减法"的车架设计方法,该方法采用"减"的思想,利用ANSYS参数化设计技术,通过将车架划分出底盘中与车架联系的各个系统的模块空间,得到整个车架的应力分布情况,切除小应力区域,再次进行强度分析;通过多次迭代计算与切除,以达到满足强度刚度要求的质量最小化。最后再根据加工制造与装配工艺要求进行最小量的分割,以此得到高性能的钢骨车架构造。
关键词
钢骨车架
参数化设计
强度和刚度
最小量分割
Keywords
accident prevention
assembly
boolean
algebra
calculations
computer software
design
finite element
method
light weight structures
manufacture
parameterization
schematic diagrams
stiffness
stress con- centration
skeleton frame
parametric design
strength and stiffness
minimum segmentation
分类号
U463.82 [机械工程—车辆工程]
在线阅读
下载PDF
职称材料
题名
矩阵半张量积的基本原理与适用领域
被引量:
6
15
作者
程代展
齐洪胜
机构
中国科学院数学与系统科学研究院系统科学研究所系统控制重点实验室
出处
《系统科学与数学》
CSCD
北大核心
2012年第12期1488-1496,共9页
基金
国家自然科学基金(61074114
60821091
61104065)资助项目
文摘
作为一种新的矩阵乘法,矩阵半张量积正得到国内外学者越来越多的重视和参与,从而使之应用于越来越多的研究课题中.希望分析矩阵半张量积的基本原理,从其合理性说明它产生的必然性和存在的意义.同时,与已有的综述不同,这里不准备具体介绍它在那些问题中得到那些应用,而是从原理出发,说明它可能在那些类型的相关科学问题中得到应用.这使我们能够更主动地去开发它可能的潜在应用.
关键词
矩阵半张量积
布尔网络
泛代数
多元多项式
非线性矩阵方法
状态空间与正则
子空间
Keywords
Semi-tensor product of matrices,
boolean
network, university
algebra
,multi-variable polynomials, matrix
method
of nonlinear problems.
分类号
O151.21 [理学—基础数学]
原文传递
题名
作者
出处
发文年
被引量
操作
1
基于蒙特卡罗模拟的城市信息通信网络故障树分析
唐梓萌
李莎莎
卓志豪
刘星雨
《武汉理工大学学报(信息与管理工程版)》
2025
1
在线阅读
下载PDF
职称材料
2
陶瓷辊道窑的温度特性与智能逻辑控制研究
陈静
程明家
徐国成
黄必辉
李佳
《武汉理工大学学报》
CAS
CSCD
北大核心
2009
6
原文传递
3
关于逻辑函数化简方法的研究
冯乃勤
孙玉强
魏淑桃
陈广林
《小型微型计算机系统》
CSCD
北大核心
2003
3
在线阅读
下载PDF
职称材料
4
煤矿复杂事故树最小径集算法研究
代张音
《工业安全与环保》
北大核心
2015
3
在线阅读
下载PDF
职称材料
5
一种布尔变换及解变换方法在数据处理中的应用
陈宇
王遵立
王瑞光
朴燕
《发光学报》
EI
CAS
CSCD
北大核心
1996
1
在线阅读
下载PDF
职称材料
6
N型四能级光学量子相干系统的结构子类型研究
孟冬冬
刘晓东
郑渝
闫学群
胡占宁
戚桢
《天津师范大学学报(自然科学版)》
CAS
北大核心
2010
0
在线阅读
下载PDF
职称材料
7
布尔代数模式搜索技术——一种新的启发式推理方法
涂象初
涂承宇
《北京工业大学学报》
CAS
CSCD
1989
1
在线阅读
下载PDF
职称材料
8
逻辑函数的减-非和除-非展开式的最小化方法
潘伟珍
肖林荣
陈偕雄
《浙江大学学报(理学版)》
CAS
CSCD
2004
1
在线阅读
下载PDF
职称材料
9
基于FTA的煤矿瓦斯事故分析
李俊禄
李刚
车彦峰
《工矿自动化》
2010
3
在线阅读
下载PDF
职称材料
10
逻辑函数的布尔减-异或、布尔除-符合展开式在固定极性下的最小化方法
许翔
周振峰
肖林荣
《浙江大学学报(理学版)》
CAS
CSCD
北大核心
2006
1
在线阅读
下载PDF
职称材料
11
泛布尔代数在数字电路设计中的应用
季曾超
庞敏
《装备制造技术》
2007
2
在线阅读
下载PDF
职称材料
12
山区输气管道地震风险评价方法研究
王雯悦
伍颖
尤潇
陈良若
《煤气与热力》
2022
4
在线阅读
下载PDF
职称材料
13
一种故障树预处理和最小割集的嵌套求解方法
李旭
张仁斌
樊玉琦
《核安全》
2024
0
在线阅读
下载PDF
职称材料
14
基于“小应力区域减法”的钢骨车架设计
宁磊
张晓钟
《机械科学与技术》
CSCD
北大核心
2014
1
在线阅读
下载PDF
职称材料
15
矩阵半张量积的基本原理与适用领域
程代展
齐洪胜
《系统科学与数学》
CSCD
北大核心
2012
6
原文传递
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部