期刊文献+
共找到2,481篇文章
< 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方阵的注记 被引量:1
3
作者 宋占杰 鹿玲娣 +2 位作者 刘丽霞 佟宏志 杜同凯 《河北师范大学学报(自然科学版)》 CAS 2000年第2期164-165,共2页
Discussed some properties of Boolean square matrices mainly.
关键词 boolean向量 boolean方阵 单位矩阵
在线阅读 下载PDF
J-Boolean like环
4
作者 秦蕊 《杭州师范大学学报(自然科学版)》 CAS 2013年第5期413-417,共5页
本文首先引进了Boolean-like环的一类新的扩张J-Boolean like环,即对任意环R中元素a,b都有(a-a2)(b-b2)∈J(R),这里J(R)为环R的Jacobson根,则环R称为J-Boolean like环.证明了两个定理分别为(1)设D是一个环,C是D的一个子环,R[D,C]是一个J... 本文首先引进了Boolean-like环的一类新的扩张J-Boolean like环,即对任意环R中元素a,b都有(a-a2)(b-b2)∈J(R),这里J(R)为环R的Jacobson根,则环R称为J-Boolean like环.证明了两个定理分别为(1)设D是一个环,C是D的一个子环,R[D,C]是一个J-Boolean like环(a)C,D是J-Boolean like环,(b)J2(C)■J(D).(2)如果B/J(B)是Boolean环,并且B[i]={a+bi|i2=ui+η,a,b,u,η∈B},那么B[i]是J-Boolean like环当且仅当uη∈J(B). 展开更多
关键词 boolean boolean-like环 J-boolean like环 JACOBSON根 R[D C]环
在线阅读 下载PDF
广义Boolean-like环
5
作者 秦蕊 《杭州师范大学学报(自然科学版)》 CAS 2013年第2期119-123,共5页
广义Boolean-like环是Boolean-like环的一个推广,文章主要介绍了广义Boolean-like环的构建,从而列举了若干广义Boolean-like环的相关例子及基本性质.并且,考虑了广义Boolean-like环的部分扩张,如上三角矩阵环.
关键词 boolean-like环 广义boolean-like环 boolean 幂等元 幂零元
在线阅读 下载PDF
原子Boolean格代数的模中有限秩算子的性质
6
作者 赵文玲 宋道金 《淄博学院学报(自然科学与工程版)》 2000年第4期11-15,共5页
本文对原子 Boolean格代数模中的有限秩算子进行了讨论,得到了一些结论,这些结论是子空间格代数中相应结论的推广 .
关键词 原子boolean格代数 原子boolean格代数的模 有限秩算子
在线阅读 下载PDF
Boolean方阵的几条性质
7
作者 刘兵军 《保定师专学报》 2001年第2期35-37,共3页
提出了 n阶 Boolean方阵的几条性质并给予了证明,从而使关于 Boolean方阵性质的结论更加完善。
关键词 boolean向量 boolean方阵 单位阵
在线阅读 下载PDF
采用推理方法提高多面体Boolean运算的可靠性 被引量:4
8
作者 李新友 唐泽圣 孙家广 《软件学报》 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
点态化完备代数正规类中的Jacobson代数和Boolean代数 被引量:6
9
作者 杨宗文 何青海 《理论数学》 2019年第9期1009-1014,共6页
定义了点态化完备代数正规类中的周期代数、Jacobson代数与Boolean代数,讨论了周期代数、Jacobson代数与Boolean代数的一些性质,证明了Jacobson代数类κ与Boolean代数类β都是遗传根类,但都不是超幂零根,从而都不是特殊根,并证明了正则... 定义了点态化完备代数正规类中的周期代数、Jacobson代数与Boolean代数,讨论了周期代数、Jacobson代数与Boolean代数的一些性质,证明了Jacobson代数类κ与Boolean代数类β都是遗传根类,但都不是超幂零根,从而都不是特殊根,并证明了正则根是遗传根,但不是超幂零根,从而不是特殊根。 展开更多
关键词 点态化完备代数正规类 周期代数 Jacobson代数 κ-根 boolean代数 β-根 正则根
在线阅读 下载PDF
多元Stancu算子的Boolean和迭代 被引量:3
10
作者 曹飞龙 王宏勇 《数学进展》 CSCD 北大核心 2005年第5期600-608,共9页
定义单纯形上高维Stancu算子的Boolean和迭代算子并且研究它逼近连续函数的正定理、逆定理与饱和定理,得到了较高的逼近阶.
关键词 STANCU算子 boolean 迭代算子 正定理 逆定理 饱和
在线阅读 下载PDF
关于Boolean矩阵的加权广义逆 被引量:4
11
作者 张荣娥 《浙江大学学报(理学版)》 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
12
作者 潘芳芳 王顺钦 《南阳师范学院学报》 CAS 2008年第12期8-9,共2页
给出了单位Quantale上的Boolean子代数的概念,并讨论了Boolean子代数若干性质;同时介绍了左(右)保持元和左(右)零化子,并研究了最小左保持与最大左零化子限制在完备Boolean子代数上两者之间的关系.
关键词 QUANTALE boolean子代数 左保持元 左零化子
在线阅读 下载PDF
基于Boolean编码的自下而上视觉显著性检测方法研究 被引量:1
13
作者 赵迪 王晓鹏 陈丹淇 《航天控制》 CSCD 北大核心 2017年第2期66-71,共6页
提出了一种利用Boolean编码的二值特征自下而上视觉显著性检测方法。该方法是基于视觉注意的Boolean分布图理论而提出的,同时结合多特征通道(如CIELab颜色空间),利用二进制值(即0/1)编码每个像素,以表征场景视觉认知的位置分布信息。根... 提出了一种利用Boolean编码的二值特征自下而上视觉显著性检测方法。该方法是基于视觉注意的Boolean分布图理论而提出的,同时结合多特征通道(如CIELab颜色空间),利用二进制值(即0/1)编码每个像素,以表征场景视觉认知的位置分布信息。根据显著区域和背景区域间各维度的Boolean编码的不同分布,通过低秩分解实现显著性检测。该模型不仅很容易实现,而且通过在2个公开的基准数据库中进行的实验结果表明该方法有效。 展开更多
关键词 自下而上 视觉显著性 boolean编码 低秩分解
原文传递
非线性可分Boolean函数分解及神经网络实现 被引量:1
14
作者 贺勤斌 刘曾荣 《科学技术与工程》 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方阵的性质
15
作者 宋占杰 《河北农业大学学报》 CAS CSCD 北大核心 1991年第4期84-87,共4页
本文主要研究了Booleam方阵(以下简称B方阵)的性质,将所得主要结果归结为3个定理。
关键词 矩阵 boolean方阵 boolean向量
在线阅读 下载PDF
BOOLEAN表达式故障的测试方法研究
16
作者 宫云战 高文玲 李晓维 《计算机应用》 CSCD 2000年第S1期190-191,共2页
分析了软件BOOLEAN表达式中常见的故障。给出了VNF测试的一般计算格式 ,并证明了测试VNF的用例UVNF对ENF、VRF、ORF、ASF的检测能力。该方法对BOOLEAN表达式故障的检测是通用的。
关键词 boolean表达式 故障 测试方法
在线阅读 下载PDF
二元Boolean矩阵的加权Moore-Penrose逆
17
作者 张荣娥 《纯粹数学与应用数学》 CSCD 北大核心 2008年第3期444-448,共5页
主要研究了二元Boolean矩阵A的加权Moore-Penrose逆的存在性问题,给出了二元Boolean矩阵A的加权Moore-Penrose逆存在的一些充分必要条件,并讨论了加权Moore-Penrose逆存在时的若干等价刻画及惟一性问题.
关键词 boolean矩阵 对称矩阵 矩阵方程 加权MOORE-PENROSE逆
在线阅读 下载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
作者 贺勤斌 《台州学院学报》 2010年第3期13-19,共7页
利用二进神经网络方法对Boolean函数逻辑化简具有理论研究与实际应用意义。通过二进神经网络化简复杂非线性可分Boolean函数的方法,说明对非线性可分Boolean函数化简采用二进神经网络方法能够取得比传统方法更加高效、简便的化简。同时... 利用二进神经网络方法对Boolean函数逻辑化简具有理论研究与实际应用意义。通过二进神经网络化简复杂非线性可分Boolean函数的方法,说明对非线性可分Boolean函数化简采用二进神经网络方法能够取得比传统方法更加高效、简便的化简。同时,给出几个二进神经网络化简非线性可分Boolean函数的实例,具体说明该方法的有效性。 展开更多
关键词 卡诺图 二进神经网络 神经元 boolean函数
在线阅读 下载PDF
基于Boolean矩阵的子基族约简
20
作者 李怡靓 《闽南师范大学学报(自然科学版)》 2018年第3期14-20,共7页
定义了子基辨识Boolean矩阵,给出了子基辨识Boolean矩阵的计算方法,讨论了子基辨识Boolean矩阵与子基族约简之间的关系,从而提出了基于Boolean矩阵的子基族约简算法.
关键词 子基辨识boolean矩阵 子基族约简 基于boolean矩阵的约简算法
在线阅读 下载PDF
上一页 1 2 125 下一页 到第
使用帮助 返回顶部