期刊文献+
共找到2,484篇文章
< 1 2 125 >
每页显示 20 50 100
BWSS:结合可疑集合簇计算极小碰集的Boolean算法
1
作者 赵相福 黄森 +3 位作者 魏霞 童向荣 欧阳丹彤 张立明 《软件学报》 北大核心 2025年第7期3226-3238,共13页
在基于模型的诊断领域中,因为极小冲突集(minimal conflict set,MCS)的极小碰集(minimal hitting set,MHS)即为待诊断设备的候选诊断,所以计算极小碰集是候选诊断的一个关键步骤.其中,极小碰集是一个NPhard约束求解问题,随着问题规模增... 在基于模型的诊断领域中,因为极小冲突集(minimal conflict set,MCS)的极小碰集(minimal hitting set,MHS)即为待诊断设备的候选诊断,所以计算极小碰集是候选诊断的一个关键步骤.其中,极小碰集是一个NPhard约束求解问题,随着问题规模增大,求解难度成指数级增长.Boolean算法是计算极小碰集的经典算法,然在求解过程中,解集的极小化却占据运算的绝大部分时间.为了解决该问题并提升计算效率,提出了结合可疑集合簇计算极小碰集的BWSS(Boolean with suspicious sets)算法,通过深度分析Boolean算法生成树规则,找到使候选解成为超集的集合,在向根节点扩展元素时,如果候选解与可疑集合簇中至少1个集合交集为空,那么该解为极小候选解,否则删除该解,通过递归的策略保证算法结束时产生且仅产生所有极小碰集.除此之外,每个候选解在极小化时,至少存在m(m≥1)个元素甚至整个解无须极小化.理论上,BWSS算法的复杂度要远低于Boolean算法.通过随机数据及大量基准电路数据,实验结果表明,所提算法与目前最先进的几种算法相比,运行时间减少了几个数量级. 展开更多
关键词 基于模型诊断 极小碰集 boolean算法 候选解 冲突集
在线阅读 下载PDF
Construction of Even-Variable 2-Output Almost Optimal Five-Valued Spectra Boolean Functions
2
作者 SONG Chao-Fan JI Yan-Han SUN Yu-Juan 《密码学报(中英文)》 北大核心 2025年第3期714-728,共15页
Five-valued Boolean functions play an important role in the design of symmetric cryptography.While the design and properties of single-output almost optimal five-valued spectra Boolean functions have been extensively ... Five-valued Boolean functions play an important role in the design of symmetric cryptography.While the design and properties of single-output almost optimal five-valued spectra Boolean functions have been extensively studied over the past few decades,there has been limited research on the construction of almost optimal five-valued spectra vectorial Boolean functions.In this paper,we present a construction method for even-variable 2-output almost optimal five-valued spectra balanced Boolean functions,whose Walsh spectra values belong to the set{0,±2^(n/2),±2^(n/2+1)},at the same time,we discuss the existence of sufficient conditions in the construction.Additionally,this paper presents a novel construction method for balanced single-output Boolean functions with even variables featuring a special five-valued spectral structure,whose Walsh spectra values are constrained to the set{0,±2^(n/2),±3·2^(n/2)}.These functions provide new canonical examples for the study of Boolean function spectral theory. 展开更多
关键词 boolean function Walsh transform semi-bent function five-valued function totally disjoint spectra functions
在线阅读 下载PDF
采用推理方法提高多面体Boolean运算的可靠性 被引量:4
3
作者 李新友 唐泽圣 孙家广 《软件学报》 EI CSCD 北大核心 1991年第3期26-35,共10页
提高实体Boolean运算的可靠性是几何造型中最基本也是最迫切的工作。通过对国内外几何造型系统在实体Boolean运算可靠性方面的测试,我们发现,实体Boolean运算不可靠是一个普遍现象,运算失败的根本原因在于数值计算存在误差。数值计算误... 提高实体Boolean运算的可靠性是几何造型中最基本也是最迫切的工作。通过对国内外几何造型系统在实体Boolean运算可靠性方面的测试,我们发现,实体Boolean运算不可靠是一个普遍现象,运算失败的根本原因在于数值计算存在误差。数值计算误差决定了我们不能精确地确定集合成员分类。集合成员分类的结果与选定的计算容差有关,具 有相对性。从而相关分类之间会发生冲突。一旦分类之间发生冲突,Boolean运算就不能得到正确的结果。我们提出了一个相当可靠的Boolean运算算法。该算法采用推理的方法在进行Boolean运算之前解决由数值计算误差所引起的相关分类之间冲突。这些算法已在Apollo和SUN工作站上实现,并取代了GEMS 2.0造型系统,构成了一个新的造型系统GEMS 2.1。经测试和比较,这个系统的可靠性比SDRC公司的Geomod 3.9和Intergraph公司的I/EMS高得多。 展开更多
关键词 推理法 可靠性 几何造型 boolean
在线阅读 下载PDF
多元Stancu算子的Boolean和迭代 被引量:3
4
作者 曹飞龙 王宏勇 《数学进展》 CSCD 北大核心 2005年第5期600-608,共9页
定义单纯形上高维Stancu算子的Boolean和迭代算子并且研究它逼近连续函数的正定理、逆定理与饱和定理,得到了较高的逼近阶.
关键词 STANCU算子 boolean 迭代算子 正定理 逆定理 饱和
在线阅读 下载PDF
Boolean方阵的注记 被引量:1
5
作者 宋占杰 鹿玲娣 +2 位作者 刘丽霞 佟宏志 杜同凯 《河北师范大学学报(自然科学版)》 CAS 2000年第2期164-165,共2页
Discussed some properties of Boolean square matrices mainly.
关键词 boolean向量 boolean方阵 单位矩阵
在线阅读 下载PDF
点态化完备代数正规类中的Jacobson代数和Boolean代数 被引量:6
6
作者 杨宗文 何青海 《理论数学》 2019年第9期1009-1014,共6页
定义了点态化完备代数正规类中的周期代数、Jacobson代数与Boolean代数,讨论了周期代数、Jacobson代数与Boolean代数的一些性质,证明了Jacobson代数类κ与Boolean代数类β都是遗传根类,但都不是超幂零根,从而都不是特殊根,并证明了正则... 定义了点态化完备代数正规类中的周期代数、Jacobson代数与Boolean代数,讨论了周期代数、Jacobson代数与Boolean代数的一些性质,证明了Jacobson代数类κ与Boolean代数类β都是遗传根类,但都不是超幂零根,从而都不是特殊根,并证明了正则根是遗传根,但不是超幂零根,从而不是特殊根。 展开更多
关键词 点态化完备代数正规类 周期代数 Jacobson代数 κ-根 boolean代数 β-根 正则根
在线阅读 下载PDF
关于Boolean矩阵的加权广义逆 被引量:4
7
作者 张荣娥 《浙江大学学报(理学版)》 CAS CSCD 北大核心 2007年第3期241-244,共4页
对Boolean矩阵的各种加权广义逆进行了研究,主要研究了Boolean矩阵A的加权最小二乘广义逆(AM)l-和加权极小范数广义逆(AN)m-存在的几个等价条件,并用(AM)l-和(AN)m-给出了Boolean矩阵A的加权Moore-Penrose逆AM+N存在的几个条件和若干等... 对Boolean矩阵的各种加权广义逆进行了研究,主要研究了Boolean矩阵A的加权最小二乘广义逆(AM)l-和加权极小范数广义逆(AN)m-存在的几个等价条件,并用(AM)l-和(AN)m-给出了Boolean矩阵A的加权Moore-Penrose逆AM+N存在的几个条件和若干等价刻画. 展开更多
关键词 boolean矩阵 广义逆 加权广义逆
在线阅读 下载PDF
Quantale上的Boolean子代数 被引量:1
8
作者 潘芳芳 王顺钦 《南阳师范学院学报》 CAS 2008年第12期8-9,共2页
给出了单位Quantale上的Boolean子代数的概念,并讨论了Boolean子代数若干性质;同时介绍了左(右)保持元和左(右)零化子,并研究了最小左保持与最大左零化子限制在完备Boolean子代数上两者之间的关系.
关键词 QUANTALE boolean子代数 左保持元 左零化子
在线阅读 下载PDF
基于Boolean编码的自下而上视觉显著性检测方法研究 被引量:1
9
作者 赵迪 王晓鹏 陈丹淇 《航天控制》 CSCD 北大核心 2017年第2期66-71,共6页
提出了一种利用Boolean编码的二值特征自下而上视觉显著性检测方法。该方法是基于视觉注意的Boolean分布图理论而提出的,同时结合多特征通道(如CIELab颜色空间),利用二进制值(即0/1)编码每个像素,以表征场景视觉认知的位置分布信息。根... 提出了一种利用Boolean编码的二值特征自下而上视觉显著性检测方法。该方法是基于视觉注意的Boolean分布图理论而提出的,同时结合多特征通道(如CIELab颜色空间),利用二进制值(即0/1)编码每个像素,以表征场景视觉认知的位置分布信息。根据显著区域和背景区域间各维度的Boolean编码的不同分布,通过低秩分解实现显著性检测。该模型不仅很容易实现,而且通过在2个公开的基准数据库中进行的实验结果表明该方法有效。 展开更多
关键词 自下而上 视觉显著性 boolean编码 低秩分解
原文传递
非线性可分Boolean函数分解及神经网络实现 被引量:1
10
作者 贺勤斌 刘曾荣 《科学技术与工程》 2010年第11期2646-2649,2654,共5页
对于2n个顶点用"0"或"1"标记的n维超方体,利用n输入Boolean函数f的输出vi(i=0,1,…,2n-1)与偏移量σi的关系,用一组平行的超平面实现分隔n维超方体顶点。从而,实现非线性可分Boolean函数的分解及二进神经网络隐层... 对于2n个顶点用"0"或"1"标记的n维超方体,利用n输入Boolean函数f的输出vi(i=0,1,…,2n-1)与偏移量σi的关系,用一组平行的超平面实现分隔n维超方体顶点。从而,实现非线性可分Boolean函数的分解及二进神经网络隐层神经元的实现。同时,给出几个例子说明分解方法以及其有效性。 展开更多
关键词 boolean函数 二进神经网络 神经元
在线阅读 下载PDF
粗糙集的两种新型算子及其Boolean代数性质 被引量:2
11
作者 张化光 梁洪力 《应用科学学报》 CAS CSCD 2004年第4期503-508,共6页
主要定义两种新型算子并讨论基于这两种新型算子的粗糙集的代数性质.基于这两种算子建立了粗糙集的并、交、补运算,并证明在此定义下的粗糙集补集为Boolean补.
关键词 代数性质 算子 补集 粗糙集 证明 运算
在线阅读 下载PDF
利用Poisson Boolean模型建立股票价格波动过程及数据模拟 被引量:2
12
作者 王宁 王军 《北京交通大学学报》 EI CAS CSCD 北大核心 2005年第3期25-28,共4页
通过耦合的方法建立非齐次Poisson过程,从而利用连续渗流理论中的PoissonBoolean模型建立股票的价格波动过程模型.并利用计算机模拟分析,结果表明用本方法建立的模型走势图与实际走势图形很接近.
关键词 数据模拟 波动过程 股票价格 POISSON过程 计算机模拟分析 渗流理论 过程模型 价格波动 非齐次 走势
在线阅读 下载PDF
Near Boolean 代数的几个性质 被引量:1
13
作者 陈世联 施恩伟 《昆明工学院学报》 CAS 1997年第6期16-17,共2页
讨论NearBoolean代数的性质,这些性质,一方面,它是布尔代数的性质的重要推广;另一方面,它与半环的性质有着密切的联系.
关键词 满同态 逆序对应 近布尔代数
在线阅读 下载PDF
BOOLEAN表达式故障的测试方法研究
14
作者 宫云战 高文玲 李晓维 《计算机应用》 CSCD 2000年第S1期190-191,共2页
分析了软件BOOLEAN表达式中常见的故障。给出了VNF测试的一般计算格式 ,并证明了测试VNF的用例UVNF对ENF、VRF、ORF、ASF的检测能力。该方法对BOOLEAN表达式故障的检测是通用的。
关键词 boolean表达式 故障 测试方法
在线阅读 下载PDF
二元Boolean矩阵的加权Moore-Penrose逆
15
作者 张荣娥 《纯粹数学与应用数学》 CSCD 北大核心 2008年第3期444-448,共5页
主要研究了二元Boolean矩阵A的加权Moore-Penrose逆的存在性问题,给出了二元Boolean矩阵A的加权Moore-Penrose逆存在的一些充分必要条件,并讨论了加权Moore-Penrose逆存在时的若干等价刻画及惟一性问题.
关键词 boolean矩阵 对称矩阵 矩阵方程 加权MOORE-PENROSE逆
在线阅读 下载PDF
原子Boolean格代数的模中有限秩算子的性质
16
作者 赵文玲 宋道金 《淄博学院学报(自然科学与工程版)》 2000年第4期11-15,共5页
本文对原子 Boolean格代数模中的有限秩算子进行了讨论,得到了一些结论,这些结论是子空间格代数中相应结论的推广 .
关键词 原子boolean格代数 原子boolean格代数的模 有限秩算子
在线阅读 下载PDF
二进神经网络的Boolean函数化简
17
作者 贺勤斌 《台州学院学报》 2010年第3期13-19,共7页
利用二进神经网络方法对Boolean函数逻辑化简具有理论研究与实际应用意义。通过二进神经网络化简复杂非线性可分Boolean函数的方法,说明对非线性可分Boolean函数化简采用二进神经网络方法能够取得比传统方法更加高效、简便的化简。同时... 利用二进神经网络方法对Boolean函数逻辑化简具有理论研究与实际应用意义。通过二进神经网络化简复杂非线性可分Boolean函数的方法,说明对非线性可分Boolean函数化简采用二进神经网络方法能够取得比传统方法更加高效、简便的化简。同时,给出几个二进神经网络化简非线性可分Boolean函数的实例,具体说明该方法的有效性。 展开更多
关键词 卡诺图 二进神经网络 神经元 boolean函数
在线阅读 下载PDF
关于Boolean矩阵置换等价的注记(英文)
18
作者 洪绍方 《四川大学学报(自然科学版)》 CAS CSCD 北大核心 2002年第2期202-204,共3页
对于正整数m ,n ,以Bmn 表示所有m行n列的Boolean矩阵所构成的集合 .设R(A)表示由A ∈Bmn 的行所生成的子空间 .以 |R(A) |表示R(A)的基数 .作者证明 :如果s是一个非负整数且A ∈Bn ,n+s,那么 |R(A) |=2 n
关键词 基数 行空间 置换等价 单项式子阵 boolean矩阵 单位矩阵
在线阅读 下载PDF
Boolean方阵的几条性质
19
作者 刘兵军 《保定师专学报》 2001年第2期35-37,共3页
提出了 n阶 Boolean方阵的几条性质并给予了证明,从而使关于 Boolean方阵性质的结论更加完善。
关键词 boolean向量 boolean方阵 单位阵
在线阅读 下载PDF
关于用线性正算子与Lagrange插值算子的Boolean和逼近
20
作者 罗俊波 《辽宁大学学报(自然科学版)》 CAS 1992年第1期5-8,共4页
本文是对文[1]的一个注记,将该文的结果推广到多个插值结点的情形,从而在插值结点附近逼近度可以得到改善。
关键词 线性正算子 L-插值多项式 布尔和
在线阅读 下载PDF
上一页 1 2 125 下一页 到第
使用帮助 返回顶部