线性有界自动机（英文：Linear bounded automaton，简写： LBA）是受限形式的非确定图灵机。它拥有由包含来自有限字母表的符号的单元构成的磁带，可以一次读取和写入磁带上一个单元的并可以移动的磁头，和有限数目个状态。它区别于更为普遍的图灵机在于尽管磁带最初被认为是无限的，只有...

在理论计算机科学中，自动机理论是对抽象机和它们能解决的问题的研究。自动机理论密切关联于形式语言理论，因为自动机经常按它们所能识别的形式语言类来分类。 自动机是有限状态机（FSM）的数学模型。FSM是给定符号输入，依据（可表达为一个表格的）转移函数“跳转”过一系列状态的一种机器。在常见的FSM的“米...

grammar）是一種形式文法，其中任何产生式规则的左手端和右手端都可以被终结符和非终结符構成的上下文所围绕。上下文有关文法比上下文无关文法更一般性，但仍足够有秩序得可以被线性有界自动机所解析。 上下文有关文法的概念是诺姆·乔姆斯基在1950年代介入的，被作为描述自然语言的语法的一种方式，在自然语言中一个单词是否可以出现...

S 。这种文法规定的语言可以被线性有界非确定图灵机接受。 2-型文法（上下文无关文法）生成上下文无关语言。这种文法的产生式规则取如 A -> γ 一样的形式。这里的A 是非终结符号，γ 是包含非终结符号与终结符号的字串。这种文法规定的语言可以被非确定下推自动机接受。上下文无关语言为大多数程序设计语言的语法提供了理论基础。...

机的计算方面、用途的计算机或计算机语言。 到目前为止构建的现实计算机可以在功能上进行分析，就像单带图灵机（对应于它们的内存的“带”）一样； 因此，相关的数学问题可以通过足够抽象的运算来应用。但是，现实计算机的物理资源有限，因此它们仅是线性有界自动机。与之对应的，通用计算机...

机理和听觉机理、人工智能等等。 早在计算机发明之前，自动语音识别的设想就已经被提上了议事日程，早期的声码器可被视作语音识别及合成的雏形。而1920年代生产的「Radio Rex」玩具狗是最早的语音识别器，当这只狗的名字被呼唤的时候，它能够从底座上弹出来。最早的基于电子计算机...

线性代数方法简化，从而达到求解微分方程的目的。 伽辽金法采用微分方程对应的弱形式，其原理为通过选取有限多项试函数（又称基函数或形函数），将它们叠加，再要求结果在求解域内及边界上的加权积分（权函数为试函数本身）满足原方程，便可以得到一组易于求解的线性代数方程，且自然边界条件能够自动满足。...

线性运算的拓扑空间，因此，同样是拓扑的线性空间一般不是线性拓扑空间。 有限维线性空间都是线性拓扑空间，因为其中只有一种拓扑结构，使其成为线性拓扑空间。因此“有限维线性空间”与“有限维线性拓扑空间”等价，所以有限维线性拓扑空间的可逆线性变换都是同胚变换。对有限维实线性...

x_{0}} 附近 有輸入信號的線性系統，其穩定性是用有界輸入有界輸出穩定性（BIBO 穩定性）來描述，針對任何有界的輸入信號，其輸出也是有界。 有輸入信號的非線性系統，其穩定性是用輸入-狀態穩定性（input-to-state stability），結合了李雅普諾夫穩定性及類似有界輸入有界輸出穩定性的表示方式。...

机游戏设计和开发的指南。 该模型可以实现跨行业应用，包括政府和军事机构/单位、游戏产业和学术界。 随着ALGAE模型的应用变得更加广泛，模型的实际价值和实施方法（聚焦或非聚焦）将得到充分实现。 虽然学习工具的营销经常提到自适应学习功能，但其适应能力可能会有很大差异。...

線性關係。 要延長直流馬達的壽命，可以使用保護裝置以及电机控制器來避免馬達的機械損壞、過度潮濕、電擊穿、高溫或是熱過載。保護設備會感測馬達的異常條件，並且產生警報提醒操作者，或是在故障發生時自動將馬達斷電。馬達的過載可以用熱過載继电器來保護。有些馬達在繞組中嵌有...

算法（英語：algorithm），在数学（算学）和计算机科学之中，指一个被定义好的、计算机可施行其指示的有限步骤或次序，常用于计算、数据处理和自动推理。算法可以使用条件语句通过各种途径转移代码执行（称为自动决策），并推导出有效的推论（称为自动推理），最终实现自动化。 相反，启发式是一种解决问题的方法，可能没...

{\displaystyle \ell (y,{\hat {y}})} ，用来描述基准真相和模型预测值之间的差距。一般来说，损失函数是一个有下确界的函数；当基准真相和模型预测值足够接近，损失函数的值也会接近该下确界。 因此，机器学习的训练过程可以被转化为训练集 D {\displaystyle {\mathcal {D}}}...

线性规划（LP），是凸规划的一种，研究目标函数f为线性函数、约束只包含线性等式与不等式的问题。若这种约束集是有界集合，又称作多面体或多胞形。 二阶锥规划（SOCP）是凸规划的一种，包括某些类型的二次规划。 半正定规划（SDP）是凸规划的一个子领域，其中底变量是半正定矩阵，它是线性规划与凸二次规划的推广。...

{\displaystyle {\mathcal {H}}} 限制为线性函数：这可以被看成是把问题简化为标准设计的线性回归。 H {\displaystyle {\mathcal {H}}} 也可以被限制为 p {\displaystyle p} 次多项式，指数函数，或L1上的有界函数。对假设空间的限制能防止过拟合的原因是...

《心灵传说》和系列其他游戏一样，采用线性动作战斗系统（LMBS）——如同格斗游戏，玩家按键直接发动各类攻击，而一系列攻击会构成连击。而该作版本称为「连携空中LMBS」。战斗队伍由至多三人组成，玩家可选择一人操作，其他角色由人工智能自动控制。玩家可為AI角色分配战术，如注重防御、攻击最...

题。数学中通常用星号*表示埃尔米特伴随。†-代数在量子力学，特别是量子信息科学中有重要地位。 有限维C*-代数的一个直接推广是近似有限维C*-代数。 C*-代数的典型例子是定义在复希尔伯特空间H上的有界（等价于连续）线性算子的代数 B ( H ) {\displaystyle B(H)} ，其中x*表示算子...

通过这些数据，很容易得出结论说计算机 A 运行的算法比计算机 B 的算法要高效得多。但假如输入的数组长度显著增加的话，很容易发现这个结论的错误。 以下是另一组数据： 计算机 A 运行的线性搜索算法具有线性时间。它的运行时间直接与输入规模成正比。输入大小若加倍，运行时间同样加倍。而计算机 B...

我们还可以使用博雷尔函数演算来抽象地解决一些线性初值问题，例如热方程或麦克斯韦方程组。 具有上述函数演算性质的映射的存在性需要证明。对于有界自伴算子 T {\displaystyle T} ，博雷尔函数演算的存在性可以用初等的方式叙述如下： 首先利用魏尔施特拉斯逼近定理来从多项式过渡到连续函数演算。这里的关键事实是，对于有界自伴算子 T...

）。导数的本质是通过极限的概念对函数进行局部的线性逼近。当函数 f {\displaystyle f} 的自变量在一点 x 0 {\displaystyle x_{0}} 上产生一个增量 h {\displaystyle h} 时，函數输出值的增量與自變量增量 h {\displaystyle h}...

上阶跃函数所构成的向量空间上的线性映射。事实上，容易验证这个映射是一个环同态。该映射以一种典范的方式扩张到 X {\displaystyle X} 上的全体有界复值博雷尔函数，并且有： 定理 — 对 X {\displaystyle X} 上的任一有界博雷尔函数 f {\displaystyle f} ， 有唯一的一个有界算子...

單純貝氏自1950年代已广泛研究，在1960年代初就以另外一个名称引入到文本信息检索界中， 并仍然是文本分类的一种热门（基准）方法，文本分类是以词频为特征判断文件所属类别或其他（如垃圾邮件、合法性、体育或政治等等）的问题。通过适当的预处理，它可以与这个领域更先进的方法（包括支持向量机）相竞争。 它在自动医疗诊断中也有应用。...

须是在计算机领域具有持久而重大的先进性的技术贡献。大多数获奖者是计算机科学家。图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。 图灵奖对获奖者的要求极高，评奖程序也极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名以上在同一方向上做出贡献的科学家同时获奖。2014年11月13日...

ˈlɒjoʃ]），出生於匈牙利的美國籍猶太人数学家，理论计算机科学与博弈论的奠基者，在泛函分析、遍历理论、几何学、拓扑学和数值分析等众多数学领域及電腦科學、量子力學和经济学中都有重大貢獻。 冯诺伊曼从小就以过人的智力与记忆力而闻名。冯诺伊曼一生中发表了大约150篇论文，其中有60篇纯数学论文，20篇物理学以及60篇应...

k-均值的这一应用能成功地与自然语言处理和计算机视觉中半监督学习的简单线性分类器结合起来。在对象识别任务中，它能展现出与其他复杂特征学习方法（如自动编码器、受限Boltzmann机等）相当的效果。然而，相比复杂方法，它需要更多的数据来达到相同的效果，因为每个数据...

子，通常用的向量算子（∇）来表示，也被称为“Nabla算子”。向量分析的五个最重要的微分运算： 同样，也有几个与这几个相关的重要定理，将微积分基本定理拓展到了更高维度： 线性近似用几乎相同的线性函数代替复杂函数。给定实值可微函数 f ( x ,   y ) {\displaystyle f(x,\...

自动化技术是一门综合性技术，它和控制论、信息论、系统工程、计算机技术、电子学、液压及气压技术、自動控制等都有着十分密切的关系，而其中又以“控制理论”和“计算机技术”对自动化技术的影响最大。一些过程已经被完全自动化。狭义上指最高程度的机械化和电气化，即机器由依靠人力直接操作，转变为按人给出的既定要求...

年的技术改进。” 软件作者 Adam N. Rosenburg 在他的博客“数字计算机的失败”中将当前的编程状态描述为接近“软件事件视界”，（暗指道格拉斯亚当斯的《银河系漫游指南》 ）。他估计自 1980 年代以来，已经有70dB的生产力因子损失或“其交付货物能力的 99.99999%” ——当Arthur...

细胞（英語：Cell）旧称䏭，是生物体结构和功能的基本单位。它是除了病毒之外全部有完整生命力的生物的最小单位，也经常被称为生命的积木（病毒仅由DNA/RNA组成，并由蛋白质和脂肪包裹其外）。细胞可分為兩大類：原核细胞和真核细胞。细菌界和古菌界的生物由原核细胞构成。原生生物，真菌，植物和动物均由真核细胞构成。...

直觉逻辑（构造性逻辑） Heyting代数 中间逻辑 直觉类型论 多值逻辑 三值逻辑 模糊逻辑 概率逻辑 亚结构逻辑（子结构逻辑） 线性逻辑 相干逻辑 非单调逻辑 缺省逻辑 自动认识逻辑 可废止逻辑 模态逻辑 真势模态逻辑 认识逻辑 道义逻辑 时间逻辑（时态逻辑） 动态逻辑 可证明性逻辑 可解释性逻辑 哲学逻辑...

自动化（EDA）、计算机辅助设计（CAD）方法学等，是电机工程学和计算机工程的一个子集。 对于数字集成电路来说，设计人员现在更多的是站在高级抽象层面，即寄存器传输级甚至更高的系统级（有人也称之为行为级），使用硬件描述语言或高级建模语言来描述电路的逻辑、时序功能，而逻辑综合可以自动...