期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到2,364篇文章
< 1 2 … 119 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
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
从布尔逻辑到语义交互:大语言模型重构科学文献检索范式研究
2
作者 陈雁 岳媛媛 《图书情报导刊》 2026年第2期53-61,共9页
大语言模型的出现为传统的文献检索方式带来了新的机遇和挑战。结合布尔检索的发展历史,阐述了大语言模型的演进与语义搜索,将传统检索与AI增强检索对比测试、效果评估,分析了大语言模型在科学文献搜索中的应用可行性,及其面临的新问题... 大语言模型的出现为传统的文献检索方式带来了新的机遇和挑战。结合布尔检索的发展历史,阐述了大语言模型的演进与语义搜索,将传统检索与AI增强检索对比测试、效果评估,分析了大语言模型在科学文献搜索中的应用可行性,及其面临的新问题;提出有效结合两者的优势,利用生成式人工智能工具辅助检索,可以大大提高构建检索式、优化检索策略的效率,实现更高效的文献检索。 展开更多
关键词 大语言模型 文献检索 布尔检索
在线阅读 下载PDF
多元Stancu算子的Boolean和迭代 被引量：3
3
作者 曹飞龙 王宏勇 《数学进展》 CSCD 北大核心 2005年第5期600-608,共9页
定义单纯形上高维Stancu算子的Boolean和迭代算子并且研究它逼近连续函数的正定理、逆定理与饱和定理,得到了较高的逼近阶.
关键词 STANCU算子 boolean和 迭代算子 正定理 逆定理 饱和
在线阅读 下载PDF
粗糙集的两种新型算子及其Boolean代数性质 被引量：2
4
作者 张化光 梁洪力 《应用科学学报》 CAS CSCD 2004年第4期503-508,共6页
主要定义两种新型算子并讨论基于这两种新型算子的粗糙集的代数性质.基于这两种算子建立了粗糙集的并、交、补运算,并证明在此定义下的粗糙集补集为Boolean补.
关键词 代数性质 算子 补集 粗糙集 证明 运算
在线阅读 下载PDF
利用Poisson Boolean模型建立股票价格波动过程及数据模拟 被引量：2
5
作者 王宁 王军 《北京交通大学学报》 EI CAS CSCD 北大核心 2005年第3期25-28,共4页
通过耦合的方法建立非齐次Poisson过程,从而利用连续渗流理论中的PoissonBoolean模型建立股票的价格波动过程模型.并利用计算机模拟分析,结果表明用本方法建立的模型走势图与实际走势图形很接近.
关键词 数据模拟 波动过程 股票价格 POISSON过程 计算机模拟分析 渗流理论 过程模型 价格波动 非齐次 走势
在线阅读 下载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方阵的注记 被引量：1
7
作者 宋占杰 鹿玲娣 +2 位作者 刘丽霞 佟宏志 杜同凯 《河北师范大学学报（自然科学版）》 CAS 2000年第2期164-165,共2页
Discussed some properties of Boolean square matrices mainly.
关键词 boolean向量 boolean方阵 单位矩阵
在线阅读 下载PDF
基于控制输入和状态翻转的布尔控制网络状态估计
8
作者 邢谦 杨俊起 王尚坤 《复杂系统与复杂性科学》 北大核心 2026年第1期146-152,共7页
为了解决布尔控制网络的状态估计问题,运用控制输入,将布尔控制网络转化为布尔网络。进而基于控制输入和输出研究布尔控制网络状态估计问题,输出依赖状态估计集元素不唯一时,引入状态翻转控制,并提出实现到达目标状态的充分条件。设计... 为了解决布尔控制网络的状态估计问题,运用控制输入,将布尔控制网络转化为布尔网络。进而基于控制输入和输出研究布尔控制网络状态估计问题,输出依赖状态估计集元素不唯一时,引入状态翻转控制,并提出实现到达目标状态的充分条件。设计联合控制对序列求解算法,将输出依赖状态估计状态集中的所有状态同时翻转到目标状态,实现对布尔控制网络的状态估计。实例证明:该研究方法能够实现布尔控制网络的状态估计。 展开更多
关键词 布尔网络 半张量积 状态翻转控制 状态估计
在线阅读 下载PDF
关于Boolean矩阵的加权广义逆 被引量：4
9
作者 张荣娥 《浙江大学学报（理学版）》 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
改进的全轮HALFLOOP-48相关调柄攻击
10
作者 孙晓萌 张文英 苑兆忠 《电子与信息学报》 北大核心 2026年第3期1311-1321,共11页
HALFLOOP是一类基于调柄机制、结构类似AES的轻量级分组密码,用于保护第4代高频无线电系统中的自动链路消息。由于其行移位与列混合操作具有使差分快速扩散的特点,寻找具有实际可行性的长轮数、高概率的差分区分器,并实现对完整轮HALFLO... HALFLOOP是一类基于调柄机制、结构类似AES的轻量级分组密码,用于保护第4代高频无线电系统中的自动链路消息。由于其行移位与列混合操作具有使差分快速扩散的特点,寻找具有实际可行性的长轮数、高概率的差分区分器,并实现对完整轮HALFLOOP-48的有效攻击仍是亟待解决的关键问题。为此,该文提出一个新的截断差分三明治区分器框架,并基于布尔可满足性(SAT)方法实现自动化搜索最优差分区分器。该框架将密码分为3个子密码层,E_0和E_1使用字节级模型,E_m使用比特级模型。为突破大型S盒差分特征建模的瓶颈,该文提出基于仿射子空间的降维方法,将高维向量的差分特征分解为两个低维子向量,显著降低了SAT的约束规模。其次,为提高区分器概率,将E_0与E_1的依赖关系系统地分为3层,逐一计算每层概率并相乘,得到了概率高达2^(-43.2)的8轮HALFLOOP-48截断差分三明治区分器,且给出了满足该差分路径的明文对实例。最终,利用该实际差分路径,对完整轮数的HALFLOOP-48算法发起密钥恢复攻击。与已有结果相比,该文结果在时间复杂度上减少了2^(2)^(5.4),在内存复杂度上减少了2^(10)。结果说明HALFLOOP算法无法抵抗相关调柄下的三明治攻击。 展开更多
关键词 轻量级分组密码 相关调柄攻击 截断三明治区分器 布尔可满足性问题 密钥恢复攻击
在线阅读 下载PDF
Quantale上的Boolean子代数 被引量：1
11
作者 潘芳芳 王顺钦 《南阳师范学院学报》 CAS 2008年第12期8-9,共2页
给出了单位Quantale上的Boolean子代数的概念,并讨论了Boolean子代数若干性质;同时介绍了左(右)保持元和左(右)零化子,并研究了最小左保持与最大左零化子限制在完备Boolean子代数上两者之间的关系.
关键词 QUANTALE boolean子代数 左保持元 左零化子
在线阅读 下载PDF
基于Boolean编码的自下而上视觉显著性检测方法研究 被引量：1
12
作者 赵迪 王晓鹏 陈丹淇 《航天控制》 CSCD 北大核心 2017年第2期66-71,共6页
提出了一种利用Boolean编码的二值特征自下而上视觉显著性检测方法。该方法是基于视觉注意的Boolean分布图理论而提出的,同时结合多特征通道(如CIELab颜色空间),利用二进制值(即0/1)编码每个像素,以表征场景视觉认知的位置分布信息。根... 提出了一种利用Boolean编码的二值特征自下而上视觉显著性检测方法。该方法是基于视觉注意的Boolean分布图理论而提出的,同时结合多特征通道(如CIELab颜色空间),利用二进制值(即0/1)编码每个像素,以表征场景视觉认知的位置分布信息。根据显著区域和背景区域间各维度的Boolean编码的不同分布,通过低秩分解实现显著性检测。该模型不仅很容易实现,而且通过在2个公开的基准数据库中进行的实验结果表明该方法有效。 展开更多
关键词 自下而上 视觉显著性 boolean编码 低秩分解
原文传递
Near Boolean 代数的几个性质 被引量：1
13
作者 陈世联 施恩伟 《昆明工学院学报》 CAS 1997年第6期16-17,共2页
讨论ＮｅａｒＢｏｏｌｅａｎ代数的性质，这些性质，一方面，它是布尔代数的性质的重要推广；另一方面，它与半环的性质有着密切的联系．
关键词 满同态 逆序对应 近布尔代数
在线阅读 下载PDF
VeriOptima:基于两阶多智能体的电路设计与优化AI框架
14
作者 秦海岩 冯家豪 +2 位作者 谢智威 李晶晶 康旺 《集成电路与嵌入式系统》 2026年第2期1-13,共13页
针对大型语言模型(LLM)在自动化硬件设计中存在的功能正确性与优化效率不足的问题,提出VeriOptima,一个从自然语言生成高效门级网表的两阶段框架。其第一阶段ReasoningV为高保真Verilog生成模型,在VerilogEval Human基准上取得57.8%的pa... 针对大型语言模型(LLM)在自动化硬件设计中存在的功能正确性与优化效率不足的问题,提出VeriOptima,一个从自然语言生成高效门级网表的两阶段框架。其第一阶段ReasoningV为高保真Verilog生成模型,在VerilogEval Human基准上取得57.8%的pass@1准确率,媲美业界顶尖模型。第二阶段CircuitMind作为多智能体优化框架,能将生成的代码优化至人类专家水平。在真实设计竞赛衍生的门级基准TC Bench上进行了严格评估,以ReasoningV输出为起点,经CircuitMind优化后,55.6%的实现达到或超越了顶级人类专家的设计效率,且其PPA指标显著优于基于其他LLM的流程。研究首次提供了克服电路生成与优化挑战的端到端解决方案,为实现高质量全自动电路设计奠定了基础,相关代码已开源。 展开更多
关键词 大型语言模型 电子设计自动化 Verilog生成 布尔优化 门级网表
在线阅读 下载PDF
非线性可分Boolean函数分解及神经网络实现 被引量：1
15
作者 贺勤斌 刘曾荣 《科学技术与工程》 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
基于DES算法与整数分解的负数据库生成算法
16
作者 赵冬冬 刘志晖 +2 位作者 廖磊 向剑文 江浩 《信息安全学报》 2026年第1期115-135,共21页
在计算机科学理论领域,SAT问题(Boolean Satisfiability Problem,布尔可满足性问题)是一项经典的数理逻辑问题,其在计算机学科中扮演着至关重要的角色。在隐私保护领域中,负数据库技术是一种新兴的隐私保护技术,其主要原理是通过存储原... 在计算机科学理论领域,SAT问题(Boolean Satisfiability Problem,布尔可满足性问题)是一项经典的数理逻辑问题,其在计算机学科中扮演着至关重要的角色。在隐私保护领域中,负数据库技术是一种新兴的隐私保护技术,其主要原理是通过存储原始数据的补集来实现对数据的保护。相较于传统的加解密算法,负数据库技术在大数据隐私保护领域展现出显著的效率优势,因而具备巨大的潜力与前景。值得注意的是,本文研究的负数据库方法等价于经典的SAT问题,这一等价性表现在负数据库的实例表达与求解过程上,因此本文也是对SAT问题的探索。现有的负数据库生成算法通常使用概率参数来进行生成,这种方法在面对一些最新的SAT求解器时,可能容易被求解。为此,本文提出了基于DES(Data Encryption Standard,数据加密标准)算法的负数据库生成算法D-hidden和基于整数分解问题的负数据库生成算法F-hidden。实验表明,在D-hidden算法中,当隐藏串的长度与基准串的长度相等且轮数不小于5时,相较于目前经典的负数据库生成算法K-hidden,D-hidden算法生成了更加难解且更为稳定的负数据库,并且具有更高的生成效率。在F-hidden算法中,隐藏串长度在[50,600]范围内相对于已有负数据库生成算法表现出显著的难解性。本工作是首个将负数据库技术与传统的加解密算法相结合的工作,为隐私保护领域提供新的思路,同时也为SAT领域提供新的研究视角。 展开更多
关键词 隐私保护 布尔可满足性问题 负数据库
在线阅读 下载PDF
基于不相交码的严格几乎最优弹性函数构造
17
作者 季彦晗 孙玉娟 李路阳 《密码学报(中英文)》 北大核心 2026年第1期109-121,共13页
布尔函数是流密码系统中的核心非线性部件.为了流密码系统免受各种攻击,如最佳仿射逼近攻击、相关攻击和代数攻击等,需要布尔函数满足多种密码学指标,如高的非线性度、适当的弹性阶和好的代数性质.然而,布尔函数的弹性和非线性具有制约... 布尔函数是流密码系统中的核心非线性部件.为了流密码系统免受各种攻击,如最佳仿射逼近攻击、相关攻击和代数攻击等,需要布尔函数满足多种密码学指标,如高的非线性度、适当的弹性阶和好的代数性质.然而,布尔函数的弹性和非线性具有制约关系,如何构造高非线性度弹性布尔函数是密码函数设计领域的重要问题.本文借鉴传统Maiorana-McFarland(M-M)类构造思想,利用一类特殊的不相交码构造出一类Walsh谱交错分布的布尔函数族.对这族函数加以级联,并进行一些必要的修改,由此实现了一种高非线性度弹性函数的构造方法.此方法可将k变元(k≥6)具有严格几乎最优非线性度的平衡函数扩展到3k变元函数的情形,并可在不损失非线性度的前提下将所得到的平衡函数修改为弹性函数. 展开更多
关键词 布尔函数 不相交谱函数 不相交码 非线性度 弹性
在线阅读 下载PDF
基于模型诊断中求解环形数据极小碰集的算法
18
作者 李红玫 黄森 赵相福 《计算机集成制造系统》 北大核心 2026年第3期915-931,共17页
极小碰集求解是人工智能领域中的重要问题之一。然而,当前多数求解算法往往忽视了冲突集合簇的结构特性,而结构信息在求解大规模问题时具有至关重要的作用。本文提出求解环形结构数据的环形算法(CLM)。该算法将复杂的环形结构简化成线... 极小碰集求解是人工智能领域中的重要问题之一。然而,当前多数求解算法往往忽视了冲突集合簇的结构特性,而结构信息在求解大规模问题时具有至关重要的作用。本文提出求解环形结构数据的环形算法(CLM)。该算法将复杂的环形结构简化成线性结构,采用LinearMerge算法高效求解;在产生所有极小候选解的过程中,将每个候选解的独立覆盖检测范围缩小至两个集合,避免了复杂的极小化操作,大幅度缩短了求解时间。为进一步提高效率,提出优化的环形算法(ICLM),该优化策略通过寻找相交元素个数最多的两个集合,连续选取交集元素将环形数据分解成若干相同的线性数据,利用节点重用方法提高求解效率。实验结果表明,CLM算法的求解时间相比于其他经典算法最多可减少99%以上。ICLM算法的时间复杂度大大降低,求解时间相比于CLM算法最多可减少45%以上。 展开更多
关键词 极小碰集 线性数据 环形数据 布尔代数 独立覆盖
在线阅读 下载PDF
二元Boolean矩阵的加权Moore-Penrose逆
19
作者 张荣娥 《纯粹数学与应用数学》 CSCD 北大核心 2008年第3期444-448,共5页
主要研究了二元Boolean矩阵A的加权Moore-Penrose逆的存在性问题,给出了二元Boolean矩阵A的加权Moore-Penrose逆存在的一些充分必要条件,并讨论了加权Moore-Penrose逆存在时的若干等价刻画及惟一性问题.
关键词 boolean矩阵 对称矩阵 矩阵方程 加权MOORE-PENROSE逆
在线阅读 下载PDF
关于用线性正算子与Lagrange插值算子的Boolean和逼近
20
作者 罗俊波 《辽宁大学学报（自然科学版）》 CAS 1992年第1期5-8,共4页
本文是对文[1]的一个注记,将该文的结果推广到多个插值结点的情形,从而在插值结点附近逼近度可以得到改善。
关键词 线性正算子 L-插值多项式 布尔和
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 119 下一页 到第 页
使用帮助 返回顶部