BOOLEAN

作品数：173被引量：205H指数：8
导出分析报告
相关领域：自动化与计算机技术理学更多>>
相关作者：贺勤斌裘怿楠文健王军王宁更多>>
相关机构：台州学院复旦大学江西师范大学聊城大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划中国博士后科学基金国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Realization of Complete Boolean Logic and Combinational Logic Functionalities on a Memristor-Based Universal Logic Circuit被引量：1
《Chinese Journal of Electronics》2024年第5期1137-1146,共10页Xiaojuan LIAN Chuanyang SUN Zeheng TAO Xiang WAN Xiaoyan LIU Zhikuang CAI Lei WANG 
supported by the National Natural Science Foundation of China(Grant Nos.61964012 and 61974073);the National Key Research and Development Program of China(Grant No.2018YFB2202005);the Natural Science Foundation of Jiangsu Province(Grant Nos.BK20211273 and BZ2021031);the Nanjing University of Posts and Telecommunications(Grant No.NY220112);the Foundation of Jiangxi Science and Technology Department(Grant No.20202ACBL21200).
Memristors are a promising solution for building an advanced computing system due to their excellent characteristics,including small energy consumption,high integration density,fast write/read speed,great endurance an...
关键词：MEMRISTOR Universal logic circuit Memristor ratioed logic Numerical comparator Full adder 
A general Boolean semantic modelling approach for complex and intelligent industrial systems in the framework of DES
《Journal of Systems Engineering and Electronics》2024年第5期1219-1230,共12页XU Changyi WANG Yun DUAN Yiman ZHANG Chao 
supported by the National Natural Science Foundation of China(U21B2074,52105070).
Discrete event system(DES)models promote system engineering,including system design,verification,and assessment.The advancement in manufacturing technology has endowed us to fabricate complex industrial systems.Conseq...
关键词：industrial complex system operation specifying Boolean semantic discrete event system(DES)theory intelligent operation 
Research on the Parallel Tractability of Knowledge Graph Reasoning based on Boolean Circuits
《Data Intelligence》2024年第3期692-719,共28页Zhangquan Zhou 
supported by The Natural Science Foundation of the Jiangsu Higher Education Institutions of China under grant number 22KJB520003.The project name is"Research on Representation and Reasoning of Knowledge Graphs based on Semantic Mapping".
Although neural methods have been comprehensively applied in different fields,symbolic based logic reasoning is still the main choice for numerous applications based on knowledge graphs.To enhance the efficiency of kn...
关键词：Knowledge graph REASONING Parallel tractability Boolean circuit the NC complexity 
Self-Triggered Set Stabilization of Boolean Control Networks and Its Applications被引量：1
《IEEE/CAA Journal of Automatica Sinica》2024年第7期1631-1642,共12页Rong Zhao Jun-e Feng Dawei Zhang 
supported by the National Natural Science Foundation of China (62273201,62173209,72134004,62303170);the Research Fund for the Taishan Scholar Project of Shandong Province of China (TSTP20221103)。
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...
关键词：Boolean control networks(BCNs) output regulation self-triggered control semi-tensor product of matrices set stabilization SYNCHRONIZATION 
Set Stabilization of Large-Scale Stochastic Boolean Networks:A Distributed Control Strategy
《IEEE/CAA Journal of Automatica Sinica》2024年第3期806-808,共3页Lin Lin Jinde Cao Jianquan Lu Leszek Rutkowski 
supported by the National Key Research and Development Project of China(2020YFA0714301);the National Natural Science Foundation of China(61833005)。
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...
关键词：BOOLEAN STABILIZATION LETTER 
SAT-Based Automatic Searching for Differential and Linear Trails:Applying to CRAX
《Chinese Journal of Electronics》2024年第1期72-79,共8页Yiyi HAN Caibing WANG Zhongfeng NIU Lei HU 
supported by the National Key R&D Program of China(Grant No.2018YFA0704704);the Natural Science Foundation of China(Grant No.61772519);the Chinese Major Program of National Cryptography Development Foundation(Grant No.MMJJ20180102)。
Boolean satisfiability problem(SAT)is now widely applied in differential cryptanalysis and linear cryptanalysis for various cipher algorithms.It generated many excellent results for some ciphers,for example,Salsa20.In...
关键词：Differential cryptanalysis Linear cryptanalysis Boolean satisfiability problem CRAX 
Fault detectability of Boolean control networks via nonaugmented methods
《Science China(Information Sciences)》2023年第12期90-102,共13页Rong ZHAO Caixia WANG Yongyuan YU Jun-E FENG 
supported by National Natural Science Foundation of China (Grant Nos.62273201,62203264);Research Fund for the Taishan Scholar Project of Shandong Province of China (Grant No.TSTP20221103);Natural Science Fund of Shandong Province (Grant No.ZR2022QF061)。
This study is concerned with the fault detectability of Boolean control networks(BCNs)by two nonaugmented methods.Firstly,the equivalent system-based approach is considered,and the equivalence of BCNs is applied to an...
关键词：Boolean control network fault detectability equivalent system nonaugmented method semitensor product 
Machine Learning Methods in Solving the Boolean Satisfiability Problem被引量：3
《Machine Intelligence Research》2023年第5期640-655,共16页Wenxuan Guo Hui-Ling Zhen Xijun Li Wanqian Luo Mingxuan Yuan Yaohui Jin Junchi Yan 
supported by National Key Research and Development Program of China(No.2020AAA0107600);National Science Foundation of China(No.62102258);Shanghai Pujiang Program,China(No.21PJ1407300);Shanghai Municipal Science and Technology Major Project,China(No.2021SHZDZX0102);Science and Technology Commission of Shanghai Municipality Project,China(No.22511105100),and also sponsored by Huawei Ltd,China.
This paper reviews the recent literature on solving the Boolean satisfiability problem(SAT),an archetypal N P-complete problem,with the aid of machine learning(ML)techniques.Over the last decade,the machine learning s...
关键词：Machine learning(ML) Boolean satisfiability(SAT) deep learning graph neural networks(GNNs) combinatorial optimization 
Infinite-and K-Step Opacity Verification of Discrete-Event Systems Under Nondeterministic Observations
《Journal of Systems Science & Complexity》2023年第5期1830-1850,共21页CHU Qian ZHANG Jiahui HAN Xiaoguang LI Zhiwu CHEN Zengqiang 
supported by the National Natural Science Foundation of China under Grant Nos.61903274,61873342,61973175;the Tianjin Natural Science Foundation of China under Grant No.18JCQNJC74000。
In some practical applications modeled by discrete-event systems(DES),the observations of events may be no longer deterministic due to sensor faults/failures,packet loss,and/or measurement uncertainties.In this contex...
关键词：Boolean semi-tensor product discrete-event system infinite-step opacity K-step opacity nondeterministic observation 
Aggregation method to reachability and optimal control of large-size Boolean control networks被引量：2
《Science China(Information Sciences)》2023年第7期303-304,共2页Shuling WANG Haitao LI 
supported by National Natural Science Foundation of China(Grant No.62073202);Young Experts of Taishan Scholar Project(Grant No.tsqn201909076)。
Dear editor,As an effective model of genetic regulatory networks,the Boolean network was introduced by Kauffman,and has since been extensively studied in systems biology.Boolean control networks(BCNs)are Boolean netwo...
关键词：BOOLEAN OPTIMAL NETWORKS 
全选清除导出
共18页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部