型式-第 2 页-一流百科

形式验证

形式验证在硬件和软件系统的上下文中，形式验证是使用形式数学方法证明或反驳系统下针对特定形式规范或属性的预期算法的正确性的行为。形式验证可以帮助证明...

词条百科

形式等效性检查

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

词条百科

光通讯

光通讯光通信，也称为光通信，是利用光来传输信息的远距离通信。它可以通过视觉或使用电子设备进行。最早的光通信基本形式可以追溯到几千年前，而为此创造...

词条百科

推测执行

推测执行预测执行是一种优化技术，其中计算机系统执行一些可能不需要的任务。在知道是否实际需要之前完成工作，以防止在知道需要之后才进行工作而导致的延迟...

词条百科

蒙哥马利算法

蒙哥马利算法在模算术计算中，蒙哥马利算术，通常称为蒙哥马利乘法，是一种执行快速模乘法的方法。蒙哥马利算法依赖于一种称为蒙哥马利形式的特殊数字表示法...

词条百科

船体

船体船体是船、船或飞艇的防水体。船体可能在顶部敞开（例如小艇），也可能全部或部分被甲板覆盖。甲板顶部可能是甲板室和其他上层建筑，例如漏斗、井架或...

词条百科

串接

串接在形式语言理论和计算机程序设计中，字符串连接是将字符串首尾相接的操作。例如，雪和球的串联是雪球。在串联理论（也称为弦理论）的某些形式化中，弦...

词条百科

空串

简介在形式语言理论中，空字符串或空词是长度为零的xxx字符串。形式理论形式上，字符串是有限的、有序的字符序列，例如字母、数字或空格。空字符串是序列长度...

词条百科

罗森布罗克系统矩阵

罗森布罗克系统矩阵在应用数学中，线性时不变系统的罗森布罗克系统矩阵或 Rosenbrock 的系统矩阵是一种有用的连接状态空间表示和传递函数矩阵形式的表示。它...

词条百科

卡尔曼分解

卡尔曼分解在控制理论中，卡尔曼解析提供了一种数学方法，可以将任何线性时不变 (LTI) 控制系统的表示形式转换为可以将系统分解为标准形式的形式，该形式明确...

词条百科

氮循环

氮循环氮循环是生物地球化学循环，氮在大气、陆地和海洋生态系统中循环时被转化为多种化学形式。氮的转化可以通过生物和物理过程进行。氮循环的重要过程包括...

词条百科

公共艺术

公共艺术公共艺术是任何媒体的艺术，其形式、功能和意义是通过公共过程为大众创造的。它是一种特殊的艺术体裁，有自己的专业和批评话语。公共艺术在视觉上和...

词条百科

贝叶斯优化

贝叶斯优化贝叶斯优化是一种对黑箱函数进行全局优化的顺序设计策略，不承担任何函数形式。它通常被用于优化昂贵的评价函数。贝叶斯优化的历史该术语一般归功...

词条百科

图的规范化

图的规范化在图论（数学的一个分支）中，图的规范化是指寻找给定图G的规范形式的问题。规范形式是指与G同构的标记图Canon(G)，这样每个与G同构的图都具有与G...

词条百科

语义学（计算机科学）

语义学（计算机科学）在编程语言理论中，语义学是对编程语言意义的严格的数学研究。语义学将计算意义分配给编程语言语法中的有效字符串。语义学描述了计算机...

词条百科

句法（逻辑）

什么是句法（逻辑）在逻辑学中，句法是与形式语言或形式系统有关的任何东西，不考虑对它们的任何解释或意义。句法关注的是用于构建或转换语言的符号和词语的...

词条百科

形式系统

什么是形式系统形式系统是一个抽象的结构，用于根据一组规则从公理推断出定理。这些用于从公理进行推理的规则是形式系统的逻辑微积分。形式系统本质上是一个...

词条百科

符号（形式）

什么是符号（形式）逻辑符号是逻辑学中的一个基本概念，它的标记可能是形成特定模式的标记或标记的配置。虽然符号这个词在通常情况下，有些时候是指被象征的...

词条百科

后规范系统

后规范系统Postcanonicalsystem，又称Postproductionsystem，由EmilPost创造，是一种字符串处理系统，它从有限的许多字符串开始，通过应用有限的j套特定形式...

词条百科

黑田常态形式

简介在形式语言理论中，如果所有的生产规则都属于黑田常态形式，那么一个上下文敏感的语法就属于黑田常态形式。AB→CD或A→BC或A→B或A→a其中A、B、C和D为非终端...

词条百科

格雷巴赫正常形式

格雷巴赫正常形式在形式语言理论中，如果所有生产规则的右侧以一个终端符号开始，后面可选择一些变量，那么一个无语境语法就处于格雷巴赫正常形式（GNF）。非...

词条百科

形式证明

什么是形式证明在逻辑学和数学中，形式证明或推导是一个有限的句子序列，其中每个句子都是一个公理，一个假设，或通过一个推理规则从序列中的前面的句子推导...

词条百科

等价（形式语言）

等价（形式语言）在形式语言理论中，两个语法的弱等价意味着它们生成相同的字符串集，也就是说，它们生成的形式语言是相同的。在编译器理论中，这个概念与强...

词条百科

空字符串

什么是空字符串在形式语言理论中，空字符串，或空字，是长度为零的xxx字符串。形式理论从形式上看，一个字符串是一个有限的、有序的字符序列，如字母、数字或...

词条百科

语法系统理论

语法系统理论简介语法系统理论是理论计算机科学的一个领域，研究生成形式语言的形式语法有限集合的系统。每个语法都在一个字符串上工作，一个所谓的顺序形式...

词条百科

形式语言

形式语言在逻辑学、数学、计算机科学和语言学中，形式语言由单词组成，这些单词的字母来自于一个字母表，并且根据一套特定的规则被很好地构成。形式语言的字...

词条百科

外消旋化

什么是外消旋化在化学中，外消旋化是指通过加热或化学反应，将有光学活性的化合物转化为外消旋（无光学活性）形式。一半的光学活性物质成为其镜像（对映体）...

词条百科

同态性

什么是同态性同态性是指手性的均匀性，或手性。当物体不能与它们的镜像叠加时，它们就是手性。例如，人的左手和右手是彼此的近似镜像，但不是它们自己的镜像...

词条百科

烯醇

什么是烯醇酮-烯醇的例子丙酮的酮-烯醇平衡。酮的同构化，左边是酮的形式，右边是烯醇。例子是2,4-戊二酮，一个氢键（--）稳定的烯醇。醛的同构化，左边是烯...

词条百科

顶针管锅炉

顶针管锅炉顶针管锅炉是蒸汽锅炉的一种形式，通常作为辅助锅炉或热回收锅炉提供。它们是垂直的，可以被认为是水管锅炉的一种形式。描述这种锅炉的特点是它的“...

词条百科

1 2 3