期刊文献+
共找到223篇文章
< 1 2 12 >
每页显示 20 50 100
Responsive MXene nanovehicles deliver CRISPR/Cas12a for boolean logic-controlled gene editing
1
作者 Song Wang Zhenhua Zhang +4 位作者 Rui Tang Fang He Yan Huang Zhou Nie Chunyang Lei 《Science China Chemistry》 SCIE EI CAS CSCD 2022年第11期2318-2326,共9页
Programmable and precise regulation of genetic information is crucial in bioengineering and biomedicine;however, it remains challenging to implement this objective. Here we deployed DNA-functionalized MXenes as a smar... Programmable and precise regulation of genetic information is crucial in bioengineering and biomedicine;however, it remains challenging to implement this objective. Here we deployed DNA-functionalized MXenes as a smart delivery system for spatiotemporally controllable genome editing. The MXene nanovehicles rationally integrated photothermal effect with nucleic acid strand displacement reaction, thereby allowing for the binary logic gate-controlled release of Cas ribonucleoprotein complexes in response to different input patterns of NIR light and nucleic acids. This system was highly programmable and could be harnessed to construct 2-input(AND, OR, and N-IMPLY) and 3-input(AND/OR and N-IMPLY/OR) logic gates for precise gene editing in mammalian cells. Moreover, an AND logic gate-controlled delivery system achieved selective induction of tumor cell death in a xenograft mice model using tissue-penetrating NIR light and cancer-relevant microRNA as the inputting cues.Therefore, the MXene nanovehicles adopted both the external and endogenous signals as the stimuli to precisely control gene editing under logic computation, presenting a helpful strategy for therapeutic genome editing. 展开更多
关键词 Mxenes boolean logic gates CRSIPR/Cas12a gene editing nanovehicles
原文传递
REAIZATION OF THE NEIGHBORING LOGIC SYMMETRY FOR BOOLEAN ORDERED SET
2
作者 林柏钢 《Journal of Electronics(China)》 1990年第4期306-311,共6页
By means of Logic symmetric relation,the single neighboring Logic path for Ndimensions Boolean ordered set is solved.A new method of determining any logic neighboringsubset in limited dimension is proposed.Its results... By means of Logic symmetric relation,the single neighboring Logic path for Ndimensions Boolean ordered set is solved.A new method of determining any logic neighboringsubset in limited dimension is proposed.Its results are intuitional and realizable for computer. 展开更多
关键词 boolean ORDERED SET Single neighboring PATH logical SYMMETRY
在线阅读 下载PDF
基于量子逻辑的正交模格新刻画
3
作者 杨小飞 肖飞虎 +1 位作者 马盈仓 辛小龙 《山东大学学报(理学版)》 北大核心 2025年第5期74-78,共5页
为了研究正交模格中正交模律新的刻画,本文从代数的视角,借助补运算给出了正交模律的等价刻画。利用部分运算加法和减法的互逆性给出了正交模律的等价刻画。利用全局运算乘法和蕴涵的剩余性给出了正交模律的等价刻画,这些事实揭示正交... 为了研究正交模格中正交模律新的刻画,本文从代数的视角,借助补运算给出了正交模律的等价刻画。利用部分运算加法和减法的互逆性给出了正交模律的等价刻画。利用全局运算乘法和蕴涵的剩余性给出了正交模律的等价刻画,这些事实揭示正交模律产生的内在规律。通过例子说明正交模格上的全局运算加法和乘法都是非结合的和非交换的。 展开更多
关键词 正交模格 正交格 布尔代数 希尔伯特空间 量子逻辑
原文传递
基于布尔逻辑运算的地铁直流牵引供电系统直流母线过流保护方案研究
4
作者 刘禹兴 郑淳淳 +3 位作者 赖沛鑫 谢金莲 谢悦海 刘雅杰 《城市轨道交通研究》 北大核心 2025年第7期241-247,共7页
[目的]为实现地铁直流牵引供电系统直流母线过流保护的精准判断,提升该系统故障跳闸的选择性,在不增加设备及电流采样回路的基础上,需对直流母线过流保护方案进行研究。[方法]对地铁直流牵引供电系统在不同运行状态下与直流母线连接的... [目的]为实现地铁直流牵引供电系统直流母线过流保护的精准判断,提升该系统故障跳闸的选择性,在不增加设备及电流采样回路的基础上,需对直流母线过流保护方案进行研究。[方法]对地铁直流牵引供电系统在不同运行状态下与直流母线连接的各回路的电流方向及保护动作情况进行分析,利用布尔逻辑运算提炼整理出母线过流保护的逻辑判断依据。对基于GOOSE(面向通用对象的变电站事件)信息交互的工程实施方案,进行了直流母线过流保护逻辑节点的扩展。搭建基于HSR(高可用性无缝冗余)的环形网络结构测试平台,对直流牵引供电系统在正常运行、母线故障、直流进线上端故障及直流馈线故障等4种情况进行模拟分析。[结果及结论]设计的通过检测直流母线上进出线的正向过流保护动作情况来判断母线故障的方案,可以满足保护动作的可靠性与快速性要求,是一种集低成本、高可靠、实施简单等优点于一体的直流母线保护方案。该方案能实现母线故障的可靠跳闸,满足保护装置对选择性和速动性的要求。 展开更多
关键词 地铁 直流牵引供电系统 直流母线过流保护方案 布尔逻辑运算
在线阅读 下载PDF
基于量化布尔公式的超时态计算树逻辑有界模型检测
5
作者 明志勇 王以松 冯仁艳 《计算机工程与科学》 北大核心 2025年第6期1062-1070,共9页
超时态属性的模型检测是形式化验证的重要研究课题。超时态计算树逻辑Hyper CTL^(*)扩展了计算树逻辑CTL^(*),以显式地量化系统多个执行路径上的性质。针对Hyper CTL^(*)模型检测的高时间复杂度的问题,首先为Hyper CTL^(*)提出了有界模... 超时态属性的模型检测是形式化验证的重要研究课题。超时态计算树逻辑Hyper CTL^(*)扩展了计算树逻辑CTL^(*),以显式地量化系统多个执行路径上的性质。针对Hyper CTL^(*)模型检测的高时间复杂度的问题,首先为Hyper CTL^(*)提出了有界模型语义,其次提出了基于量化布尔公式的Hyper CTL^(*)有界模型检测算法,分析了该算法的正确性,最后实现了Hyper CTL^(*)有界模型检测原型工具Hybmc。实验结果表明,Hybmc的有界模型检测效率显著优于Hyper LTL有界模型检测工具Hyper Qube。 展开更多
关键词 超时态计算树逻辑 有界模型检测 量化布尔公式
在线阅读 下载PDF
Logical Function Decomposition Method for Synthesis of Digital Logical System Implemented with Programmable Logic Devices (PLD)
6
作者 Mihai Grigore Timis Alexandru Valachi +1 位作者 Alexandru Barleanu Andrei Stan 《Circuits and Systems》 2013年第7期472-477,共6页
The paper consists in the use of some logical functions decomposition algorithms with application in the implementation of classical circuits like SSI, MSI and PLD. The decomposition methods use the Boolean matrix cal... The paper consists in the use of some logical functions decomposition algorithms with application in the implementation of classical circuits like SSI, MSI and PLD. The decomposition methods use the Boolean matrix calculation. It is calculated the implementation costs emphasizing the most economical solutions. One important aspect of serial decomposition is the task of selecting “best candidate” variables for the G function. Decomposition is essentially a process of substituting two or more input variables with a lesser number of new variables. This substitutes results in the reduction of the number of rows in the truth table. Hence, we look for variables which are most likely to reduce the number of rows in the truth table as a result of decomposition. Let us consider an input variable purposely avoiding all inter-relationships among the input variables. The only available parameter to evaluate its activity is the number of “l”s or “O”s that it has in the truth table. If the variable has only “1” s or “0” s, it is the “best candidate” for decomposition, as it is practically redundant. 展开更多
关键词 Combinational CIRCUITS Static HAZARD logic Design boolean Functions logical DECOMPOSITIONS
在线阅读 下载PDF
Conditional Events and Quantum Logic
7
作者 Philip G. Calabrese 《Journal of Applied Mathematics and Physics》 2018年第6期1278-1289,共12页
This paper begins with an overview of quantum mechanics, and then recounts a relatively recent algebraic extension of the Boolean algebra of probabilistic events to “conditional events” (order pairs of events). The ... This paper begins with an overview of quantum mechanics, and then recounts a relatively recent algebraic extension of the Boolean algebra of probabilistic events to “conditional events” (order pairs of events). The main point is to show that a so-called “superposition” of two (or more) quantum events (usually with mutually inconsistent initial conditions) can be represented in this algebra of conditional events and assigned a consistent conditional probability. There is no need to imagine that a quantum particle can simultaneously straddle two inconsistent possibilities. 展开更多
关键词 HEISENBERG INDETERMINACY SUPERPOSITION of EVENTS Quantum Entanglement Hidden Variables boolean Algebra CONDITIONAL logic
在线阅读 下载PDF
Two Analytical Methods for Detection and Elimination of the Static Hazard in Combinational Logic Circuits
8
作者 Mihai Grigore Timis Alexandru Valachi +1 位作者 Alexandru Barleanu Andrei Stan 《Circuits and Systems》 2013年第7期466-471,共6页
In this paper, the authors continue the researches described in [1], that consists in a comparative study of two methods to eliminate the static hazard from logical functions, by using the form of Product of Sums (POS... In this paper, the authors continue the researches described in [1], that consists in a comparative study of two methods to eliminate the static hazard from logical functions, by using the form of Product of Sums (POS), static hazard “0”. In the first method, it used the consensus theorem to determine the cover term that is equal with the product of the two residual implicants, and in the second method it resolved a Boolean equation system. The authors observed that in the second method the digital hazard can be earlier detected. If the Boolean equation system is incompatible (doesn’t have solutions), the considered logical function doesn’t have the static 1 hazard regarding the coupled variable. Using the logical computations, this method permits to determine the needed transitions to eliminate the digital hazard. 展开更多
关键词 Combinational CIRCUITS STATIC HAZARD logic Design boolean Functions
暂未订购
Reconfigurable Dual-Gate Ferroelectric Field-Effect Transistors Based on Semiconducting Polymer for Logic Operations and Synaptic Applications
9
作者 Yuqing Ding Xinzhao Xu +6 位作者 Yangjiang Wu Haoqin Zhang Lin Shao Zhihui Wang Hailing Zhang Yan Zhao Yunqi Liu 《SmartMat》 2025年第2期181-190,共10页
Organic field-effect transistors (OFETs), with their potential for low-cost manufacturing and compatibility with flexible substrates,have emerged as an indispensable element in next-generation electronics. However, th... Organic field-effect transistors (OFETs), with their potential for low-cost manufacturing and compatibility with flexible substrates,have emerged as an indispensable element in next-generation electronics. However, the existing OFETs are significantlyhindered by their lack of reconfigurability and multifunctionality for application in complex electronic systems. To addressthese limitations, we propose a novel design strategy to develop a dual-gate organic field-effect transistor (DG-OFET), primarilyfeaturing a synergistic combination of interface charge trapping and the nonvolatile nature of ferroelectric polarization, whichrealizes the multifunctional integration within a single platform. Specifically, the DG-OFET can be utilized as synaptic devicesthat can successfully perform both short-term and long-term synaptic plasticity by manipulating the input gate of artificial pulsevoltages, depending on the switching mechanism between bottom-gate controlled electrostatic doping and top-gate inducedferroelectric polarization. Besides, the presynaptic spike applied to a specific gate electrode can trigger the excitatory andinhibitory postsynaptic current response. The potentiation and depression of synaptic weight are mimicked by consecutivepositive and negative spikes, respectively. The dual-gate coupling strategy further expands its functionality towards simulatingthe operation of logic gates. By modulating the combination of dual-gate input signals, the channel conductivity can analogouslyperform a family of elementary Boolean logic operations, including AND, OR, NAND, NOR, XOR, and XNOR. Theseresults highlight the electronic reconfigurability of DG-OFET and tremendous potential for applications in energy-efficientneuromorphic computing networks and organic circuits, thus providing a versatile strategy for the development of advancedand efficient multifunctional integration. 展开更多
关键词 boolean logic operations dual-gate transistors ferroelectric material polymer semiconductor synaptic plasticity
原文传递
Initialization-Free Programmable Spin-Logic Gate in a Single Spin-Orbit Torque Device
10
作者 Jie Lin Shuai Zhang +13 位作者 Shihao Li Yan Xu Xin Li Wei Duan Jincheng Hou Chenxi Zhou Wei Zhan Zhe Guo Min Song Xiaofei Yang Yufeng Tian Xuecheng Zou Dan Feng Long You 《Engineering》 2025年第8期215-220,共6页
In-memory computing(IMC)based on spin-logic devices is regarded as an advantageous way to optimize the Von Neumann bottleneck.However,performing complete Boolean logic with spintronic devices typi-cally requires an in... In-memory computing(IMC)based on spin-logic devices is regarded as an advantageous way to optimize the Von Neumann bottleneck.However,performing complete Boolean logic with spintronic devices typi-cally requires an initialization operation,which can reduce processing speed.In this work,we conceptu-alize and experimentally demonstrate a programmable and initialization-free spin-logic gate,leveraging spin-orbit torque(SOT)to effectuate magnetization switching,assisted by in-plane Oersted field gener-ated by an integrated bias-field Au line.This spin-logic gate,fabricated as a Hall bar,allows complete Boolean logic operations without initialization.A current flowing through the bias-field line,which is electrically isolated from the device by a dielectric,generates an in-plane magnetic field that can invert the SOT-induced switching chirality,enabling on-the-fly complete Boolean logic operations.Additionally,the device demonstrated good reliability,repeatability,and reproducibility during logic operations.Our work demonstrates programmable and scalable spin-logic functions in a single device,offering a new approach for spin-logic operations in an IMC architecture. 展开更多
关键词 Spin logic Complete boolean logic Spin-orbit torque Fully electrical operations Initialization-free
在线阅读 下载PDF
逻辑函数适于双逻辑实现的探测算法 被引量:8
11
作者 夏银水 毛科益 叶锡恩 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2007年第12期1522-1527,共6页
提出一种判定逻辑函数是否适于双逻辑实现的探测算法,直接从XOR逻辑的特点出发,即2个汉明距离为2的最小项可以由XOR逻辑表示.通过计算函数最小项之间的汉明距离分析其所具有的逻辑模式,给出探测适用于双逻辑实现的判断条件.该算法已用C... 提出一种判定逻辑函数是否适于双逻辑实现的探测算法,直接从XOR逻辑的特点出发,即2个汉明距离为2的最小项可以由XOR逻辑表示.通过计算函数最小项之间的汉明距离分析其所具有的逻辑模式,给出探测适用于双逻辑实现的判断条件.该算法已用C语言实现,并应用于MCNC benchmark电路的判定测试,实验结果验证了其有效性. 展开更多
关键词 布尔逻辑 Reed-Muller逻辑 汉明距离 探测算法
在线阅读 下载PDF
基于粗糙集与遗传算法的储层识别技术 被引量:4
12
作者 李铁军 薛玲 +2 位作者 郭大立 杜国峰 许江文 《断块油气田》 CAS 2014年第2期196-200,共5页
储层的含油气性识别是储层综合评价的难点和关键,文中以粗糙集理论为基础,利用布尔逻辑和粗糙集理论相结合的离散化算法对每个条件属性进行离散化处理;利用基于遗传算法的粗糙集理论提取具有一定决策概率的不精确判别规则;利用规则的支... 储层的含油气性识别是储层综合评价的难点和关键,文中以粗糙集理论为基础,利用布尔逻辑和粗糙集理论相结合的离散化算法对每个条件属性进行离散化处理;利用基于遗传算法的粗糙集理论提取具有一定决策概率的不精确判别规则;利用规则的支持度、置信度和覆盖度挑选有效规则,进行储层类型的识别。实例应用结果表明,该方法提高了储层识别的正确率,提取的判别规则具有可解释性且较易理解,能够有效挖掘勘探数据中的潜在关键信息,对储层开发方案的制定具有重要的指导意义。 展开更多
关键词 储层识别 粗糙集 遗传算法 布尔逻辑 属性约简
在线阅读 下载PDF
粗糙集概念与运算的布尔矩阵表示 被引量:20
13
作者 李龙星 运士伟 杨炳儒 《计算机工程》 EI CAS CSCD 北大核心 2005年第14期16-17,共2页
建立了属性集与布尔矩阵以及逻辑方程组的解之间的关系;在此基础上给出了粗糙集理论中概念与运算的布尔矩阵表示;最后证明了属性约简在布尔矩阵和代数两种不同表示下是等价的。
关键词 粗糙集 属性约简 布尔矩阵 逻辑方程组 等价性
在线阅读 下载PDF
基于布尔逻辑的测试选择算法 被引量:13
14
作者 杨鹏 邱静 +1 位作者 刘冠军 沈亲沐 《测试技术学报》 2007年第5期386-390,共5页
提出了一种基于布尔逻辑运算的测试选择新方法.首先建立布尔关联矩阵来描述系统中故障与测试的相关关系;然后依据关联矩阵,分别定义描述故障检测用测试集和故障隔离用测试集的布尔逻辑函数;再根据布尔运算定律对逻辑函数进行展开和化简... 提出了一种基于布尔逻辑运算的测试选择新方法.首先建立布尔关联矩阵来描述系统中故障与测试的相关关系;然后依据关联矩阵,分别定义描述故障检测用测试集和故障隔离用测试集的布尔逻辑函数;再根据布尔运算定律对逻辑函数进行展开和化简处理,并根据计算结果得到最优测试集.通过案例验证了该方法的正确性,并指出了该方法的优势及其在计算复杂性方面存在的不足. 展开更多
关键词 测试性设计 测试选择 布尔逻辑 故障检测 故障隔离
在线阅读 下载PDF
基于不相交乘积项的逻辑探测和拆分算法 被引量:3
15
作者 王伦耀 夏银水 +1 位作者 陈偕雄 叶锡恩 《电子学报》 EI CAS CSCD 北大核心 2012年第10期2091-2096,共6页
针对以往逻辑探测算法存在的不足,提出了一种基于不相交乘积项的逻辑探测和拆分算法.该算法通过将逻辑函数的乘积项转化为不相交乘积项,并结合不相交乘积项之间海明距关系将不相交乘积项拆分成互不相交的二部分,使之分别适合RM逻辑综合... 针对以往逻辑探测算法存在的不足,提出了一种基于不相交乘积项的逻辑探测和拆分算法.该算法通过将逻辑函数的乘积项转化为不相交乘积项,并结合不相交乘积项之间海明距关系将不相交乘积项拆分成互不相交的二部分,使之分别适合RM逻辑综合和布尔逻辑综合.通过对拆分结果分析,本文进一步提出了一种新的逻辑探测方法.实验结果表明,本文的判别结果能对电路综合过程中的逻辑选择提供一个良好的指导作用. 展开更多
关键词 Reed-Muller逻辑 布尔逻辑 逻辑探测 海明距
在线阅读 下载PDF
求解混合整数规划的嵌入正交杂交的差分进化算法 被引量:6
16
作者 张莉 李宏 冯大政 《系统工程与电子技术》 EI CSCD 北大核心 2011年第9期2126-2132,共7页
针对混合整数非线性规划问题中同时含有0-1整数变量和连续变量,采用0-1二进制编码和实数编码的混合编码方案,将布尔逻辑运算中的异或(exclusive-or,XOR)算子引入到差分进化的变异算子中,以处理0-1整数变量,将基于正交试验设计的正交杂... 针对混合整数非线性规划问题中同时含有0-1整数变量和连续变量,采用0-1二进制编码和实数编码的混合编码方案,将布尔逻辑运算中的异或(exclusive-or,XOR)算子引入到差分进化的变异算子中,以处理0-1整数变量,将基于正交试验设计的正交杂交算子和差分进化的杂交算子相结合,来增强差分进化算法的系统探索能力。为了验证该算法的性能,测试了一些数值例子,并与其他算法作了比较。数值实验结果表明,提出算法具有良好的稳健性和有效性。 展开更多
关键词 差分进化 非线性规划 布尔逻辑运算 正交试验设计
在线阅读 下载PDF
基于乘积项的双逻辑实现探测算法 被引量:5
17
作者 叶锡恩 毛科益 夏银水 《电子学报》 EI CAS CSCD 北大核心 2009年第5期961-965,共5页
在基于函数最小项的双逻辑探测算法中,由于函数最小项个数将随着变量数的增加而急剧增大,使得算法因时间或空间的占用过大而失效.为此,本文提出了基于函数最简项的快速探测算法,弥补了其缺陷.由于基于最小项和最简项的探测算法所适用的... 在基于函数最小项的双逻辑探测算法中,由于函数最小项个数将随着变量数的增加而急剧增大,使得算法因时间或空间的占用过大而失效.为此,本文提出了基于函数最简项的快速探测算法,弥补了其缺陷.由于基于最小项和最简项的探测算法所适用的函数范围都有一定的局限性,因此进一步提出了将两种算法综合运用的策略,可有效改进探测效果.经MCNC Benchmark上电路的判定测试,验证了其有效性. 展开更多
关键词 boolean逻辑 Reed-Muller逻辑 汉明距离 探测算法
在线阅读 下载PDF
基于标准化函数与布尔逻辑的医院实验室自动审核系统设计与应用 被引量:4
18
作者 杨超 孙德华 +3 位作者 张鹏 亓涛 赵明海 郑磊 《中国医学装备》 2022年第1期129-132,共4页
目的:设计基于标准化函数与布尔逻辑的新型自动审核系统,提高医院实验室自动审核效率。方法:将自动审核中涉及到的样本信息划分为分析前、分析中和分析后的各种要素进行标准化并形成标准化函数,然后采用布尔逻辑和多种运算符联合多个标... 目的:设计基于标准化函数与布尔逻辑的新型自动审核系统,提高医院实验室自动审核效率。方法:将自动审核中涉及到的样本信息划分为分析前、分析中和分析后的各种要素进行标准化并形成标准化函数,然后采用布尔逻辑和多种运算符联合多个标准化函数形成规则表达式,通过表达式解析引擎实现规则表达式的计算并判断检验结果是否通过审核。结果:基于标准化函数与布尔逻辑的新型自动审核系统通过规则表达式的编写实现了多种复杂的自动审核规则设置,有效扩充了输入数据,提高了实验室自动审核通过率。结论:基于标准化函数与布尔逻辑的自动审核系统能够克服传统系统的诸多不足,为各医院开发自动审核系统提供参考,能够提高医院实验室信息系统的智能化和标准化水平。 展开更多
关键词 布尔逻辑 标准化函数 自动审核 智能提示 实验室信息系统
暂未订购
基于粗糙集的变压器故障诊断方法研究 被引量:2
19
作者 孙秋野 张化光 刘贺男 《仪器仪表学报》 EI CAS CSCD 北大核心 2006年第z1期385-386,共2页
本文提出了一种布尔逻辑与粗糙集相结合的变压器连续属性离散化方法,用计算机仿真实例说明算法的有效性。在变压器故障诊断中,首次将连续和离散信号统一应用粗糙集进行约简。通过这种方法,能够对变压器故障诊断模型进行更精确的模拟,从... 本文提出了一种布尔逻辑与粗糙集相结合的变压器连续属性离散化方法,用计算机仿真实例说明算法的有效性。在变压器故障诊断中,首次将连续和离散信号统一应用粗糙集进行约简。通过这种方法,能够对变压器故障诊断模型进行更精确的模拟,从而提高故障辨识的精度。 展开更多
关键词 粗糙集 离散化 布尔逻辑 变压器
在线阅读 下载PDF
利用GIS知识驱动模型开展区域矿产资源预测 被引量:5
20
作者 陈江 付建飞 《地质与勘探》 CAS CSCD 北大核心 2005年第5期66-68,共3页
在G IS环境中可以用多种模型来处理各类图件。文章重点强调了经验模型,即从专家角度主观地控制各类参数。当处理G IS图件时,布尔逻辑,索引叠加模型和模糊逻辑是3个基本的重要的方法。这些模型适合于勘查区选择,还可以根据其成矿潜力进... 在G IS环境中可以用多种模型来处理各类图件。文章重点强调了经验模型,即从专家角度主观地控制各类参数。当处理G IS图件时,布尔逻辑,索引叠加模型和模糊逻辑是3个基本的重要的方法。这些模型适合于勘查区选择,还可以根据其成矿潜力进行分级。文章介绍了3种模型的意义,并用实例方法阐述了如何在一个成矿远景区开展矿产资源预测工作。 展开更多
关键词 GIS 知识驱动模型 布尔逻辑 索引叠加模型 模糊逻辑
在线阅读 下载PDF
上一页 1 2 12 下一页 到第
使用帮助 返回顶部