期刊文献+
共找到2,417篇文章
< 1 2 121 >
每页显示 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
基于SAT的GRANULE算法不可能差分分析
4
作者 武小年 匡晶 +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求解器
5
作者 赵海军 陈华月 崔梦天 《计算机应用研究》 CSCD 北大核心 2024年第1期200-205,共6页
针对布尔可满足性问题的高效求解进行了研究。首先,通过对k-SAT问题和基于耦合常微分方程形式的确定性连续时间动态系统的分析,提出了一种基于时延信息形式的改进连续时间动态系统方程,以保持集中搜索特性;然后,提出了实现该系统方程的... 针对布尔可满足性问题的高效求解进行了研究。首先,通过对k-SAT问题和基于耦合常微分方程形式的确定性连续时间动态系统的分析,提出了一种基于时延信息形式的改进连续时间动态系统方程,以保持集中搜索特性;然后,提出了实现该系统方程的三个主要组件即信号动态电路、辅助变量电路和数字验证电路的模拟设计。在信号动态电路的设计中,设计了一种获得更高性能、更小面积和更低功耗的模拟硬件形式;在提出的辅助变量电路和数字验证电路的模拟硬件设计中,实现了避免梯度下降搜索陷入无解和确定给定问题的解是否已经找到的目标;同时提出了降低面积和功耗的可替代辅助变量电路的两种设计方案。仿真实验结果表明,提出的新的模拟SAT求解器不仅是有效的,而且相比于单一软件算法实现的SAT求解器和其他硬件类SAT求解器具有更高的加速性能和更低的功耗。 展开更多
关键词 布尔可满足性问题 连续时间动态系统 模拟设计 辅助变量 数字验证 加速性能
下载PDF
企业智能会计信息系统研究与设计——基于改进的Apriori算法和属性归纳学习算法
6
作者 吴浩忠 陈思彤 《科技创新与生产力》 2024年第4期141-144,共4页
随着人工智能技术的发展,智能化会计核算系统成为会计发展的趋势。本文研究了会计核算智能化,重点在于实现学习和推理功能。采用机器学习算法,基于改进的关联规则挖掘算法(Apriori)和属性归纳学习算法,探索会计核算智能解决方案,促进会... 随着人工智能技术的发展,智能化会计核算系统成为会计发展的趋势。本文研究了会计核算智能化,重点在于实现学习和推理功能。采用机器学习算法,基于改进的关联规则挖掘算法(Apriori)和属性归纳学习算法,探索会计核算智能解决方案,促进会计人员的角色转变。本文结合会计实务流程,设计了智能会计核算系统,并实现了学习、推理和智能判断功能,为会计智能化研究与实践开辟了新途径。 展开更多
关键词 智能会计核算 布尔映射矩阵 关联规则 属性归纳学习
下载PDF
采用推理方法提高多面体Boolean运算的可靠性 被引量:4
7
作者 李新友 唐泽圣 孙家广 《软件学报》 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
8
作者 曹飞龙 王宏勇 《数学进展》 CSCD 北大核心 2005年第5期600-608,共9页
定义单纯形上高维Stancu算子的Boolean和迭代算子并且研究它逼近连续函数的正定理、逆定理与饱和定理,得到了较高的逼近阶.
关键词 STANCU算子 boolean 迭代算子 正定理 逆定理 饱和
下载PDF
Boolean方阵的注记 被引量:1
9
作者 宋占杰 鹿玲娣 +2 位作者 刘丽霞 佟宏志 杜同凯 《河北师范大学学报(自然科学版)》 CAS 2000年第2期164-165,共2页
Discussed some properties of Boolean square matrices mainly.
关键词 boolean向量 boolean方阵 单位矩阵
下载PDF
关于Boolean矩阵的加权广义逆 被引量:4
10
作者 张荣娥 《浙江大学学报(理学版)》 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
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编码 低秩分解
下载PDF
点态化完备代数正规类中的Jacobson代数和Boolean代数 被引量:6
13
作者 杨宗文 何青海 《理论数学》 2019年第9期1009-1014,共6页
定义了点态化完备代数正规类中的周期代数、Jacobson代数与Boolean代数,讨论了周期代数、Jacobson代数与Boolean代数的一些性质,证明了Jacobson代数类κ与Boolean代数类β都是遗传根类,但都不是超幂零根,从而都不是特殊根,并证明了正则... 定义了点态化完备代数正规类中的周期代数、Jacobson代数与Boolean代数,讨论了周期代数、Jacobson代数与Boolean代数的一些性质,证明了Jacobson代数类κ与Boolean代数类β都是遗传根类,但都不是超幂零根,从而都不是特殊根,并证明了正则根是遗传根,但不是超幂零根,从而不是特殊根。 展开更多
关键词 点态化完备代数正规类 周期代数 Jacobson代数 κ-根 boolean代数 β-根 正则根
下载PDF
粗糙集的两种新型算子及其Boolean代数性质 被引量:2
14
作者 张化光 梁洪力 《应用科学学报》 CAS CSCD 2004年第4期503-508,共6页
主要定义两种新型算子并讨论基于这两种新型算子的粗糙集的代数性质.基于这两种算子建立了粗糙集的并、交、补运算,并证明在此定义下的粗糙集补集为Boolean补.
关键词 代数性质 算子 补集 粗糙集 证明 运算
下载PDF
基于非正交离散变换的物理不可克隆函数可靠性提升算法
15
作者 李诗扬 倪少杰 +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
利用Poisson Boolean模型建立股票价格波动过程及数据模拟 被引量:2
16
作者 王宁 王军 《北京交通大学学报》 EI CAS CSCD 北大核心 2005年第3期25-28,共4页
通过耦合的方法建立非齐次Poisson过程,从而利用连续渗流理论中的PoissonBoolean模型建立股票的价格波动过程模型.并利用计算机模拟分析,结果表明用本方法建立的模型走势图与实际走势图形很接近.
关键词 数据模拟 波动过程 股票价格 POISSON过程 计算机模拟分析 渗流理论 过程模型 价格波动 非齐次 走势
下载PDF
具有八值Walsh谱的布尔函数的构造
17
作者 张蔚郁 卓泽朋 《江苏师范大学学报(自然科学版)》 CAS 2024年第2期53-59,共7页
布尔函数在编码理论、对称密码学和序列设计中起着重要作用.Walsh变换是研究布尔函数密码学性质的重要工具.本文利用两类bent函数在4个不同点的函数值互补,构造两类具有八值Walsh谱的布尔函数,并确定它们的Walsh谱值分布.
关键词 布尔函数 BENT函数 八值Walsh谱 WALSH变换
下载PDF
犬胃切开手术仿真实训系统关键技术研究
18
作者 纪昌宁 冯德万 《计算机仿真》 2024年第5期291-295,共5页
在手术仿真实训系统中,针对无法同时展示仿真模型内外表面,以及无法兼顾切开仿真效果和交互式操作要求的传统算法,提出了一种犬胃切开过程的交互式仿真算法。不需要任何预处理流程,而是根据交互式操作的位置,自动生成对应的动态骨骼和... 在手术仿真实训系统中,针对无法同时展示仿真模型内外表面,以及无法兼顾切开仿真效果和交互式操作要求的传统算法,提出了一种犬胃切开过程的交互式仿真算法。不需要任何预处理流程,而是根据交互式操作的位置,自动生成对应的动态骨骼和蒙皮数据,以及作为内表面渲染的CSG几何体数据,解决了同时展示模型内外表面仿真效果和交互式操作要求的问题,实现了一个实时的犬胃切开手术实训仿真系统,并进行了初步的推广应用。实践表明,上述系统具有操作简单,效率高,渲染效果较好的特点,可以用于相关动物外科手术的仿真训练教学中。 展开更多
关键词 犬胃切开术 虚拟仿真 布尔运算 骨骼动画
下载PDF
基于STE的减少查询泄露的关系数据库加密方案
19
作者 苏雨晨 马昌社 《网络与信息安全学报》 2024年第2期165-181,共17页
近年提出的基于部分预计算的SQL连接索引(PpSj)方案是一种基于结构化加密技术的关系数据库加密方案,它利用部分预计算索引连接技术和过滤哈希集技术支持高效的连接查询和布尔查询。但是,该方案也存在一些缺陷,主要表现在执行布尔查询时... 近年提出的基于部分预计算的SQL连接索引(PpSj)方案是一种基于结构化加密技术的关系数据库加密方案,它利用部分预计算索引连接技术和过滤哈希集技术支持高效的连接查询和布尔查询。但是,该方案也存在一些缺陷,主要表现在执行布尔查询时会泄露过多的信息,以及不能支持范围查询。针对这些问题,提出一种改进的多功能加密数据库(MFEDB)方案,该方案在PpSj方案基础上,引入一种混合过滤技术,结合2种过滤方法,减少了布尔查询的信息泄露,扩展了支持的结构化查询语言(SQL)的查询子集,包括等值查询、连接查询、布尔查询和范围查询,同时平衡了服务器存储开销与客户端和服务器之间产生的通信开销。 展开更多
关键词 等值查询 连接查询 范围查询 布尔查询 结构化加密
下载PDF
有向根树上局部更新函数为NAND或NOR的广义并序动力系统的固定点
20
作者 孙彦文 郑洁 《Journal of Donghua University(English Edition)》 CAS 2024年第2期214-220,共7页
研究对象为有向根树上的广义并序动力系统,其局部更新函数为NAND或NOR。为了研究这类广义并序动力系统中的固定点的个数及状态,采用结构分析法和分类讨论法,得到了此类动力系统中关于固定点的确切结果。证明了这类广义并序动力系统中的... 研究对象为有向根树上的广义并序动力系统,其局部更新函数为NAND或NOR。为了研究这类广义并序动力系统中的固定点的个数及状态,采用结构分析法和分类讨论法,得到了此类动力系统中关于固定点的确切结果。证明了这类广义并序动力系统中的固定点状态完全由有向根树中的自环决定。离散动力系统是数学建模的重要工具,该文可为离散动力系统的研究提供新的思路。 展开更多
关键词 广义并序动力系统 有向根树 布尔函数 固定点
下载PDF
上一页 1 2 121 下一页 到第
使用帮助 返回顶部