逻辑-一流百科

半导体IP核

半导体IP核在电子设计中，半导体知识产权核心（SIP 核心）、IP 核心或 IP 块是逻辑、单元或集成电路布局设计的可重用单元，属于一方的知识产权。 IP 核可以授...

词条百科

层叠式封装

层叠式封装层叠式封装 (PoP) 是一种将分立逻辑和存储球栅阵列 (BGA) 封装垂直组合的集成电路封装方法。两个或多个封装安装在彼此之上，即堆叠，并使用标准接...

词条百科

逻辑斯谛映射

逻辑斯谛映射逻辑映射是 2 次多项式映射（等效地，递归关系），通常被称为一个原型示例，说明非常简单的非线性动力学方程可以产生多么复杂、混沌的行为。该...

词条百科

可逆计算

可逆计算可逆计算是计算过程在某种程度上是时间可逆的任何计算模型。在使用从抽象机的一个状态到另一个状态的确定性转换的计算模型中，可逆性的必要条件是从...

词条百科

网袜

网袜在纺织品领域，渔网是一种带有开口菱形针织物的袜子；它最常用作长袜、紧身衣、手套或连体袜的材料。网裙有多种颜色可供选择，尽管它最常用的是传统的...

词条百科

自动化定理证明

自动化学定义证明自动化定理证明（也称为 ATP 或自动演绎）是自动推理和数学逻辑的一个子领域，涉及通过计算机程序证明数学定理。基于数学证明的自动推理是...

词条百科

业务逻辑

业务逻辑在计算机软件中，业务逻辑或域逻辑是程序的一部分，它对现实世界的业务规则进行编码，这些规则决定了如何创建、存储和更改数据。它与软件的其余部分...

词条百科

计算机逻辑

计算机逻辑计算机总编辑涵盖了逻辑领域和计算机科学领域之间的重叠部分。该主题基本上可以分为三个主要领域：理论基础和分析使用计算机技术来帮助逻辑学家将...

词条百科

形式等效性检查

形式等效性检查形状等效性检查过程是电子设计自动化 (EDA) 的一部分，通常用于数字集成电路的开发，以正式证明电路设计的两种表示形式表现出完全相同的行为。...

词条百科

数据库理论

数据库理论数据库理论涵盖了与数据库和数据库管理系统理论领域的研究和研究相关的广泛主题。数据管理的理论方面包括查询语言的基础、查询的计算复杂性和表达...

词条百科

行为时序逻辑

行为时序逻辑行为时序图 (TLA) 是由 Leslie Lamport 开发的一种逻辑，它结合了时间逻辑和动作逻辑。它用于描述并发和分布式系统的行为。它是规范语言 TLA+ ...

词条百科

并发性

并发性在计算机科学中，并发是程序、算法或问题的不同部分或单元在不影响结果的情况下乱序或部分顺序执行的能力。这允许并行执行并发单元，这可以显着提高多...

词条百科

数字信号

数字信号数字信号是将数据表示为离散值序列的信号；在任何给定时间，它最多只能取有限数量的值之一。这与代表连续值的模拟信号形成对比；在任何给定时间，...

词条百科

桶式移位器

桶式移位器桶形移位器是一种数字电路，可以将数据字移位指定位数，而无需使用任何时序逻辑，仅使用纯组合逻辑，即它本身提供二进制运算。然而，理论上它也可...

词条百科

异步电路

异步电路异步电路（无时钟或自定时电路）：第 12 讲： 157–186 是一个时序数字逻辑电路，不使用全局时钟电路或信号发生器来同步其组件。： 3–5 相反，组件由...

词条百科

时钟门控

时间门控时钟门控是许多同步电路中用于降低动态功耗的流行技术，方法是在电路不使用或忽略时钟信号时移除时钟信号。时钟门控通过修剪时钟树来节省功耗，但代...

词条百科

三值逻辑

三值逻辑在逻辑中，三值逻辑（也称为三元逻辑、三价、三元或三元逻辑，有时缩写为 3VL）是多个多值逻辑系统中的任何一个，其中有三个真值表示真、假和一些不...

词条百科

三重模块冗余

三重模块冗余在计算机领域，三重模块冗余，有时也称为三重模式冗余，（TMR）是N重模块冗余的一种容错形式，其中三个系统执行一个过程，该结果由一个多数投票...

词条百科

超大规模集成电路

简介超大规模集成电路是通过将数百万或数十亿的MOS晶体管组合到一个芯片上来创造集成电路（IC）的过程。VLSI始于20世纪70年代，当时MOS集成电路（金属氧化物...

词条百科

可编程逻辑控制器

简介可编程逻辑控制器（PLC）或可编程控制器是一种工业计算机，已被加固并适用于控制制造过程，如装配线、机器、机器人设备，或任何需要高可靠性、易于编程和...

词条百科

功能区块图

简介功能区块图（FBD）是一种用于可编程逻辑控制器设计的图形语言，描述输入和输出变量之间的功能。一个功能被描述为一组基本块。输入和输出变量通过连接线连...

词条百科

子句 (逻辑)

子句（逻辑）在逻辑学中，子句是一个命题公式，由有限数量的格子（原子或其否定）和逻辑连接词组成。当组成子句的至少一个标点是真的时候，或者当组成子句的...

词条百科

逻辑分析仪

逻辑分析仪逻辑分析仪是一种电子仪器，可以捕捉并显示数字系统或数字电路的多个信号。逻辑分析仪可以将捕获的数据转换为时序图、协议解码、状态机跟踪、汇编...

词条百科

描述逻辑

描述逻辑描述逻辑（DL）是一个形式化知识表示语言的家族。许多DL比命题逻辑的表达能力强，但比一阶逻辑的表达能力弱。与后者相比，DL的核心推理问题（通常）...

词条百科

计算智能

简介计算智能（CI）这一表述通常是指计算机从数据或实验观察中学习一项特定任务的能力。尽管它通常被认为是软计算的同义词，但仍然没有普遍接受的计算智能的...

词条百科

并发MetateM

并发MetateM并发MetateM是一种多代理语言，在这种语言中，每个代理都是用一组它应该表现的行为的（增强的）时间逻辑规范来编程的。这些规范被直接执行以产生...

词条百科

人工智能的概要

人工智能的概要以下概要是对人工智能的概述和专题指南。人工智能（AI）--机器或软件所表现出的智能。它也是研究如何创建能够产生智能行为的计算机和计算机软...

词条百科

逻辑学习机

逻辑学习机逻辑学习机（LLM）是一种基于生成可理解规则的机器学习方法。LLM是切换神经网络（SNN）范式的有效实现，由意大利国家研究委员会CNR-IEIIT在热那亚...

词条百科

行动模型学习

行动模型学习行动模型学习（有时缩写为行动学习）是机器学习的一个领域，涉及到创建和修改软件代理对其环境中可以执行的行动的效果和前提条件的知识。这种知...

词条百科

逻辑编程协会

逻辑编程协会(了解如何以及何时删除此模板信息)逻辑编程协会（LPA）是一家专门从事逻辑编程和人工智能软件的公司。LPA成立于1980年，因其一系列的Prolog编译...

词条百科

1 2 3 … 5