期刊文献+
共找到2,424篇文章
< 1 2 122 >
每页显示 20 50 100
Set Stabilization of Large-Scale Stochastic Boolean Networks:A Distributed Control Strategy
1
作者 Lin Lin Jinde Cao +1 位作者 Jianquan Lu Leszek Rutkowski 《IEEE/CAA Journal of Automatica Sinica》 SCIE EI CSCD 2024年第3期806-808,共3页
Dear Editor,This letter deals with the set stabilization of stochastic Boolean control networks(SBCNs)by the pinning control strategy,which is to realize the full control for systems by imposing control inputs on a fr... Dear Editor,This letter deals with the set stabilization of stochastic Boolean control networks(SBCNs)by the pinning control strategy,which is to realize the full control for systems by imposing control inputs on a fraction of agents. 展开更多
关键词 boolean STABILIZATION LETTER
下载PDF
Self-Triggered Set Stabilization of Boolean Control Networks and Its Applications
2
作者 Rong Zhao Jun-e Feng Dawei Zhang 《IEEE/CAA Journal of Automatica Sinica》 SCIE EI CSCD 2024年第7期1631-1642,共12页
Set stabilization is one of the essential problems in engineering systems, and self-triggered control(STC) can save the storage space for interactive information, and can be successfully applied in networked control s... Set stabilization is one of the essential problems in engineering systems, and self-triggered control(STC) can save the storage space for interactive information, and can be successfully applied in networked control systems with limited communication resources. In this study, the set stabilization problem and STC design of Boolean control networks are investigated via the semi-tensor product technique. On the one hand, the largest control invariant subset is calculated in terms of the strongly connected components of the state transition graph, by which a graph-theoretical condition for set stabilization is derived. On the other hand, a characteristic function is exploited to determine the triggering mechanism and feasible controls. Based on this, the minimum-time and minimum-triggering open-loop, state-feedback and output-feedback STCs for set stabilization are designed,respectively. As classic applications of self-triggered set stabilization, self-triggered synchronization, self-triggered output tracking and self-triggered output regulation are discussed as well. Additionally, several practical examples are given to illustrate the effectiveness of theoretical results. 展开更多
关键词 boolean control networks(BCNs) output regulation self-triggered control semi-tensor product of matrices set stabilization SYNCHRONIZATION
下载PDF
On Boolean elements and derivations in 2-dimension linguistic lattice implication algebras
3
作者 ZHU Hua ZHAO Jian-bin 《Applied Mathematics(A Journal of Chinese Universities)》 SCIE CSCD 2023年第2期274-292,共19页
A 2-dimension linguistic lattice implication algebra(2DL-LIA)can build a bridge between logical algebra and 2-dimension fuzzy linguistic information.In this paper,the notion of a Boolean element is proposed in a 2DL-L... A 2-dimension linguistic lattice implication algebra(2DL-LIA)can build a bridge between logical algebra and 2-dimension fuzzy linguistic information.In this paper,the notion of a Boolean element is proposed in a 2DL-LIA and some properties of Boolean elements are discussed.Then derivations on 2DL-LIAs are introduced and the related properties of derivations are investigated.Moreover,it proves that the derivations on 2DL-LIAs can be constructed by Boolean elements. 展开更多
关键词 DERIVATION boolean element Lattice implication algebra(LIA) 2-dimension linguistic lattice implication algebra(2DL-LIA) 2-dimension fuzzy linguistic information
下载PDF
任意偶变元上代数免疫度最优的平衡旋转对称布尔函数的构造
4
作者 赵庆兰 李盼 +2 位作者 郑东 李梦苒 张建东 《密码学报(中英文)》 CSCD 北大核心 2024年第4期924-944,共21页
旋转对称布尔函数是一类在输入进行循环移位的条件下输出保持不变的布尔函数.此类函数因具有特殊的结构并且包括许多具有良好密码学性质的布尔函数而在密码学领域受到广泛关注.在代数攻击出现之后,如何构造出具有最优代数免疫度的平衡... 旋转对称布尔函数是一类在输入进行循环移位的条件下输出保持不变的布尔函数.此类函数因具有特殊的结构并且包括许多具有良好密码学性质的布尔函数而在密码学领域受到广泛关注.在代数攻击出现之后,如何构造出具有最优代数免疫度的平衡旋转对称布尔函数成为布尔函数相关研究中的一个热点问题.对于这个问题的研究,在任意奇数变元上已经有了丰富的成果,而在任意偶变元上构造此类函数一直以来都是一件具有挑战性的工作.2021年,Mesnager等人提出了一类构造方法成功解决了这个难题,但所构造函数的非线性度不高.本文在任意偶变元n上给出了一类新的旋转对称布尔函数构造方法,所构造的函数不仅具有最优代数免疫度和平衡性,同时其非线性度在变元个数n大于等于8时均高于现有的任意偶变元上的同类构造.除此之外,通过电脑程序得到了这类新函数在变元个数小于等于16时不仅具有良好的抵抗快速代数攻击的能力而且代数次数可达到最高值n−1或次高值n−2. 展开更多
关键词 旋转对称布尔函数 代数次数 代数免疫度 平衡性 非线性度
下载PDF
基于SAT的GRANULE算法不可能差分分析
5
作者 武小年 匡晶 +1 位作者 张润莲 李灵琛 《计算机应用》 CSCD 北大核心 2024年第3期797-804,共8页
基于布尔可满足性问题(SAT)的自动化搜索方法可以直接刻画与、或、非、异或等逻辑运算,从而建立更高效的搜索模型。为更高效地评估GRANULE算法抵抗不可能差分攻击的能力,首先,基于S盒差分分布表性质优化S盒差分性质刻画的SAT模型;其次,... 基于布尔可满足性问题(SAT)的自动化搜索方法可以直接刻画与、或、非、异或等逻辑运算,从而建立更高效的搜索模型。为更高效地评估GRANULE算法抵抗不可能差分攻击的能力,首先,基于S盒差分分布表性质优化S盒差分性质刻画的SAT模型;其次,对GRANULE算法建立基于比特的不可能差分区分器的SAT模型,通过求解模型得到多条10轮GRANULE算法的不可能差分区分器;再次,针对不可能差分区分器,给出改进的SAT自动化验证方法并验证;最后,将得到的区分器往前和往后各扩展3轮,对GRANULE-64/80算法发起16轮的不可能差分攻击,通过该攻击可以恢复80比特主密钥,时间复杂度为251.8次16轮加密,数据复杂度为241.8个选择明文。与表现次优的对GRANULE算法不可能差分分析的方法相比,所得到的区分器轮数和密钥恢复攻击轮数都提高了3轮,且时间复杂度、数据复杂度都进一步下降。 展开更多
关键词 GRANULE算法 布尔可满足性问题 不可能差分区分器 差分分布表 自动化验证
下载PDF
基于改进连续时间动态系统的模拟SAT求解器
6
作者 赵海军 陈华月 崔梦天 《计算机应用研究》 CSCD 北大核心 2024年第1期200-205,共6页
针对布尔可满足性问题的高效求解进行了研究。首先,通过对k-SAT问题和基于耦合常微分方程形式的确定性连续时间动态系统的分析,提出了一种基于时延信息形式的改进连续时间动态系统方程,以保持集中搜索特性;然后,提出了实现该系统方程的... 针对布尔可满足性问题的高效求解进行了研究。首先,通过对k-SAT问题和基于耦合常微分方程形式的确定性连续时间动态系统的分析,提出了一种基于时延信息形式的改进连续时间动态系统方程,以保持集中搜索特性;然后,提出了实现该系统方程的三个主要组件即信号动态电路、辅助变量电路和数字验证电路的模拟设计。在信号动态电路的设计中,设计了一种获得更高性能、更小面积和更低功耗的模拟硬件形式;在提出的辅助变量电路和数字验证电路的模拟硬件设计中,实现了避免梯度下降搜索陷入无解和确定给定问题的解是否已经找到的目标;同时提出了降低面积和功耗的可替代辅助变量电路的两种设计方案。仿真实验结果表明,提出的新的模拟SAT求解器不仅是有效的,而且相比于单一软件算法实现的SAT求解器和其他硬件类SAT求解器具有更高的加速性能和更低的功耗。 展开更多
关键词 布尔可满足性问题 连续时间动态系统 模拟设计 辅助变量 数字验证 加速性能
下载PDF
一类新的逐重量完美平衡布尔函数的构造
7
作者 赵庆兰 李梦苒 +1 位作者 李盼 郑东 《西安邮电大学学报》 2024年第4期67-74,共8页
对逐重量完美平衡(Weightwise Perfectly Balanced,WPB)函数的构造进行研究。给出一类四次函数,分析其k-重量,通过修改四次函数的支撑集完成一类新WPB函数的构造,并对其完美平衡性和代数次数进行证明。利用计算机程序对所构造的小变元WP... 对逐重量完美平衡(Weightwise Perfectly Balanced,WPB)函数的构造进行研究。给出一类四次函数,分析其k-重量,通过修改四次函数的支撑集完成一类新WPB函数的构造,并对其完美平衡性和代数次数进行证明。利用计算机程序对所构造的小变元WPB函数的k-重量非线性度进行计算,结果表明,构造的一类新WPB函数在某些重量k的子集上与现有函数相比有所提高。 展开更多
关键词 布尔函数 FLIP 逐重量完美平衡函数 代数次数 k-重量非线性度
下载PDF
企业智能会计信息系统研究与设计——基于改进的Apriori算法和属性归纳学习算法
8
作者 吴浩忠 陈思彤 《科技创新与生产力》 2024年第4期141-144,共4页
随着人工智能技术的发展,智能化会计核算系统成为会计发展的趋势。本文研究了会计核算智能化,重点在于实现学习和推理功能。采用机器学习算法,基于改进的关联规则挖掘算法(Apriori)和属性归纳学习算法,探索会计核算智能解决方案,促进会... 随着人工智能技术的发展,智能化会计核算系统成为会计发展的趋势。本文研究了会计核算智能化,重点在于实现学习和推理功能。采用机器学习算法,基于改进的关联规则挖掘算法(Apriori)和属性归纳学习算法,探索会计核算智能解决方案,促进会计人员的角色转变。本文结合会计实务流程,设计了智能会计核算系统,并实现了学习、推理和智能判断功能,为会计智能化研究与实践开辟了新途径。 展开更多
关键词 智能会计核算 布尔映射矩阵 关联规则 属性归纳学习
下载PDF
面向数控车床的切削加工仿真方法
9
作者 张剑飞 李亚南 《齐齐哈尔大学学报(自然科学版)》 2024年第3期28-33,共6页
针对现有数控加工仿真系统中存在的加工过程动态仿真效果差、切削加工仿真类型有限以及系统交互性不足等问题,结合加工工件的几何外形和成形特征,采用基于二维边界表示法(B-rep)模型生成算法,实现回转体工件模型的快速生成和更新。在虚... 针对现有数控加工仿真系统中存在的加工过程动态仿真效果差、切削加工仿真类型有限以及系统交互性不足等问题,结合加工工件的几何外形和成形特征,采用基于二维边界表示法(B-rep)模型生成算法,实现回转体工件模型的快速生成和更新。在虚拟数控车床上的应用实验表明,该方法能够高效地生成和更新工件模型,满足实时监控的要求。基于布尔运算的二维B-rep多边形切削算法实现了内径加工、外径加工和螺纹加工3种切削类型的加工模拟,提升了系统的仿真能力和灵活性。 展开更多
关键词 加工过程仿真 车削加工 布尔运算 工件模型 B-REP
下载PDF
布尔代数的(λ,μ)直觉模糊点理想
10
作者 姜曼 《西安交通工程学院学术研究》 2024年第2期1-4,16,共5页
在布尔代数中引入了(λ,μ)直觉模糊点理想的概念并讨论其性质,证明了布尔代数的(,μ)直觉模糊点理想的交,同态像及其同态逆像仍然是布尔代数的(λ,μ)直觉模糊点理想。
关键词 布尔代数 μ)直觉模糊点理想 同态
下载PDF
采用推理方法提高多面体Boolean运算的可靠性 被引量:4
11
作者 李新友 唐泽圣 孙家广 《软件学报》 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
12
作者 曹飞龙 王宏勇 《数学进展》 CSCD 北大核心 2005年第5期600-608,共9页
定义单纯形上高维Stancu算子的Boolean和迭代算子并且研究它逼近连续函数的正定理、逆定理与饱和定理,得到了较高的逼近阶.
关键词 STANCU算子 boolean 迭代算子 正定理 逆定理 饱和
下载PDF
Boolean方阵的注记 被引量:1
13
作者 宋占杰 鹿玲娣 +2 位作者 刘丽霞 佟宏志 杜同凯 《河北师范大学学报(自然科学版)》 CAS 2000年第2期164-165,共2页
Discussed some properties of Boolean square matrices mainly.
关键词 boolean向量 boolean方阵 单位矩阵
下载PDF
关于Boolean矩阵的加权广义逆 被引量:4
14
作者 张荣娥 《浙江大学学报(理学版)》 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
15
作者 潘芳芳 王顺钦 《南阳师范学院学报》 CAS 2008年第12期8-9,共2页
给出了单位Quantale上的Boolean子代数的概念,并讨论了Boolean子代数若干性质;同时介绍了左(右)保持元和左(右)零化子,并研究了最小左保持与最大左零化子限制在完备Boolean子代数上两者之间的关系.
关键词 QUANTALE boolean子代数 左保持元 左零化子
下载PDF
基于Boolean编码的自下而上视觉显著性检测方法研究 被引量:1
16
作者 赵迪 王晓鹏 陈丹淇 《航天控制》 CSCD 北大核心 2017年第2期66-71,共6页
提出了一种利用Boolean编码的二值特征自下而上视觉显著性检测方法。该方法是基于视觉注意的Boolean分布图理论而提出的,同时结合多特征通道(如CIELab颜色空间),利用二进制值(即0/1)编码每个像素,以表征场景视觉认知的位置分布信息。根... 提出了一种利用Boolean编码的二值特征自下而上视觉显著性检测方法。该方法是基于视觉注意的Boolean分布图理论而提出的,同时结合多特征通道(如CIELab颜色空间),利用二进制值(即0/1)编码每个像素,以表征场景视觉认知的位置分布信息。根据显著区域和背景区域间各维度的Boolean编码的不同分布,通过低秩分解实现显著性检测。该模型不仅很容易实现,而且通过在2个公开的基准数据库中进行的实验结果表明该方法有效。 展开更多
关键词 自下而上 视觉显著性 boolean编码 低秩分解
下载PDF
点态化完备代数正规类中的Jacobson代数和Boolean代数 被引量:6
17
作者 杨宗文 何青海 《理论数学》 2019年第9期1009-1014,共6页
定义了点态化完备代数正规类中的周期代数、Jacobson代数与Boolean代数,讨论了周期代数、Jacobson代数与Boolean代数的一些性质,证明了Jacobson代数类κ与Boolean代数类β都是遗传根类,但都不是超幂零根,从而都不是特殊根,并证明了正则... 定义了点态化完备代数正规类中的周期代数、Jacobson代数与Boolean代数,讨论了周期代数、Jacobson代数与Boolean代数的一些性质,证明了Jacobson代数类κ与Boolean代数类β都是遗传根类,但都不是超幂零根,从而都不是特殊根,并证明了正则根是遗传根,但不是超幂零根,从而不是特殊根。 展开更多
关键词 点态化完备代数正规类 周期代数 Jacobson代数 κ-根 boolean代数 β-根 正则根
下载PDF
压气机叶片激光熔化沉积修复的机器人路径自动规划和试验研究
18
作者 梁旭峰 蔡振华 +4 位作者 刘琦 牟梓鑫 曾春年 牛少鹏 邓春明 《航空制造技术》 CSCD 北大核心 2024年第13期119-126,共8页
针对航空发动机TC17高压压气机叶片服役损伤后的修复问题,本文基于工业机器人的激光熔化沉积路径生成策略,提出使用模型布尔运算来分析叶片损伤区域,并在RobotStudio离线编程软件中嵌入二次开发插件分别生成Zigzag轴向扫描、中心线偏移... 针对航空发动机TC17高压压气机叶片服役损伤后的修复问题,本文基于工业机器人的激光熔化沉积路径生成策略,提出使用模型布尔运算来分析叶片损伤区域,并在RobotStudio离线编程软件中嵌入二次开发插件分别生成Zigzag轴向扫描、中心线偏移扫描和边缘螺旋扫描路径。路径的仿真和沉积形貌分析表明,在设定扫描速度5 mm/s、沉积层厚度0.3 mm、搭接率50%时,中心线偏移扫描在95.97%时间内保持速度稳定,折返点处的速度下降幅度更小,同时沉积后表面高度接近0.3 mm,高度波动方差更小,保持了较高的平整度。此外,矩形平板区域的沉积模拟和试验表明,类似Zigzag扫描的连续路径可以显著降低成形表面的残余应力。 展开更多
关键词 压气机叶片 激光熔化沉积技术 工业机器人 模型布尔运算 路径规划
下载PDF
粗糙集的两种新型算子及其Boolean代数性质 被引量:2
19
作者 张化光 梁洪力 《应用科学学报》 CAS CSCD 2004年第4期503-508,共6页
主要定义两种新型算子并讨论基于这两种新型算子的粗糙集的代数性质.基于这两种算子建立了粗糙集的并、交、补运算,并证明在此定义下的粗糙集补集为Boolean补.
关键词 代数性质 算子 补集 粗糙集 证明 运算
下载PDF
基于非正交离散变换的物理不可克隆函数可靠性提升算法
20
作者 李诗扬 倪少杰 +2 位作者 邓丁 陈雷 林红磊 《计算机应用》 CSCD 北大核心 2024年第7期2116-2122,共7页
为了解决物理不可克隆函数(PUF)受外部环境和自身老化因素影响存在响应不稳定的问题,提出基于非正交离散(NOD)变换的PUF可靠性提升算法。首先,设计了一种重排序混淆器,将随机种子向量及PUF响应经重排序混淆器迭代处理后得到非正交混淆... 为了解决物理不可克隆函数(PUF)受外部环境和自身老化因素影响存在响应不稳定的问题,提出基于非正交离散(NOD)变换的PUF可靠性提升算法。首先,设计了一种重排序混淆器,将随机种子向量及PUF响应经重排序混淆器迭代处理后得到非正交混淆矩阵与混淆响应矩阵的内积,据此建立NOD谱,有效缓解了因PUF本身均匀性不足而产生偏向性密钥的问题;随后,通过分区编解码策略,赋予NOD谱一定的波动容错能力,将不稳定响应的影响限制在有限的范围,从而显著提高最终响应的可靠性。所提算法相较于传统基于纠错码的方法,需要的帮助数据更少。基于SRAM-XMC数据集进行实验,所提算法在对2949120组64位响应进行101次重复实验过程中平均可靠性达到99.97%,唯一性达到49.92%,均匀性达到50.61%。实验结果表明,所提算法能够在保证PUF响应均匀性与唯一性的同时有效提高可靠性。 展开更多
关键词 非正交离散变换 物理不可克隆函数 可靠性 分区编解码 唯一性 布尔函数
下载PDF
上一页 1 2 122 下一页 到第
使用帮助 返回顶部