在模型論中，型是一階邏輯中的一個相容的公式集合。一個完備型是這類集合中的一個極大元素。 首先固定以下對象： L {\displaystyle {\mathcal {L}}} ：一個一階語言 T {\displaystyle T} ：一個 L {\displaystyle {\mathcal {L}}}...

在模型論中，飽和模型可以大致描述為一個實現夠小的型的模型。 令 κ 為一個基數， M {\displaystyle {\mathcal {M}}} 為某個一階語言中對某理論的模型。 M {\displaystyle {\mathcal {M}}} 被稱作是 κ-飽和 的，當且僅當對所有基數小於 κ 的子集...

证明论是数理逻辑的一个分支，它将数学证明表达为形式化的数学客体，从而通过数学技术来简化对他们的分析。证明通常用归纳式地定义的数据结构来表达，例如链表，盒链表，或者树，它们根据逻辑系统的公理和推理规则构造。因此，证明论本质上是语法逻辑，和本质上是语义学的模型论形相反。和模型论，公理化集合论，以及递归论...

雁形形态有多种含义，但它们的共同点是描述后进国家追赶先进国家的发展过程。 第一模型是单一国家雁行发展的模型。它可以分为基本型和副次型（变型）。小岛后来将基本型描述为“生产效率提高”，将副次型描述为“生产的多样化和高级化”。 从一个国家的经济来看，产业发展的过程，首先是进口低附加值（英语：Value...

查看维基词典中的词条「type」。 类型（英語：type）可能指： 数学 型 (模型論)，是模型論中一階邏輯中的一個相容的公式集合。 类型论（英語：Type theory），类型系统研究的基础。 直觉类型论（英語：Intuitionistic type theory），是基於數學構造主義的函數式程式語言、邏輯和集合論。...

理论物理学中，拓扑弦论是弦论的一个版本，见于爱德华·威滕与卡姆朗·瓦法等人的论文，与威滕早期的拓扑量子场论思想相类。 拓扑弦论有两种变体：拓扑A模型与拓扑B模型。拓扑弦论的计算结果一般编码了完整弦论中的所有全纯量，其值受时空超对称性保护。拓扑弦论中的各种计算与陈-西蒙斯理论、格罗莫夫–威滕不变量、镜像对称、几何朗兰兹纲领等很多主题。...

柏拉圖理型論。 實在論起源於中古歐洲經院哲學家對於柏拉圖理型論的一種詮釋，他們認為共相是存在的。唯名論與概念論者，反對這種看法。 康德派哲學家認為，實在論是與唯心主義相反的一種論點。 卡尔·波普尔把「實在論」（realism）这个含糊的术语分为本质主义和实在论...

斯腾伯格同时也形容了三种爱模型，包Spearmanian模型、Thomsonian模型和Thurstonian模型。Thomsonian模型中，爱是多种感觉的混合而产生感觉。Spearmanian模型的解释与爱情三因论最接近，指示爱是由可以被简单理解的相等部分所构成的复杂整体。在这个模型中，多个与造成情感的因素相等且可以相互断联。...

現代色彩理論使用RGB加色模型或CMY減色模型，其中互補成對為： 紅色 ▉ - 青色 ▉ 綠色 ▉ - 洋紅色 ▉ 藍色 ▉ - 黃色 ▉ 在傳統的RYB顏色模型中，互補色對是： 紅色 ▉ - 綠色 ▉ 黃色 ▉ - 紫色 ▉ 藍色 ▉ - 橙(橘)色 ▉ 色彩拮抗論建議，最對比的顏色對是： 紅色...

II型弦論主要有兩種類型： II型弦是只包含閉弦的理論，起初因為它與弱力造成P破壞的事實矛盾，故無法解釋四維時空的標準模型。II型弦不能描述規範作用，其低能極限等價於N=2的10維超重力理論。 IIA 型弦（type IIA）是五種超弦之一，它與IIB型弦之間有T對偶聯繫，且與11維的M理論之間有...

科學模型 是科學研究中對一類研究方法的通稱，使用數學公式、電腦模擬或簡單的圖示來表示一個簡化的自然界，透過分析這個模型，以期能夠進一步了解科學，包括說明、驗證假說、或分析資料。依據不同需求，科學模型可以藉由概念模型幫助我們了解現象，操作模型給出操作型定義，數學模型幫助量化，以及用圖象模型將抽象概念視覺化。...

Claude是由美國科技公司Anthropic開發的大型语言模型，其最新版本为Claude 3.7 Sonnet。 Claude是由Anthropic公司开发的先进人工智能模型，该公司专注于创建安全、可靠且符合人类价值观的人工智能系统。Claude以信息论之父香农的名字命名，旨在成为友善、诚实、无害的人工智...

I型弦(Type I)是五種超弦之一，並且與O型雜弦具有S對偶聯繫。 早期约翰·施瓦茨在獨自鑽研弦論的時代，大致上分為I型弦和II型弦理論。I型弦是包含開弦和閉弦的理論，起初擁有許多問題，例如無法解釋標準模型等等，但這些弊端在第一次超弦革命則有所改善。Ⅰ型弦的低能極限等價於N=1的10維超重力和超楊-米爾斯理論...

基于转换器的生成式预训练模型（英語：generative pre-trained transformers，GPT）是一种大型语言模型（LLM），也是生成式人工智慧的重要框架。首个GPT由OpenAI于2018年推出。GPT模型是基于Transformer模型...

模型中，状态并不是直接可见的，但受状态影响的某些变量则是可见的。每一个状态在可能输出的符号上都有一概率分布。因此输出符号的序列能够透露出状态序列的一些信息。 隐马尔可夫模型在热力学、统计力学、物理学、化学、经济学、金融学、信号处理、信息论...

家用希尔伯特空间中的状态向量来描写它们，详细的理论基础為量子场论。但按照粒子物理学的常规在这篇文章中这些物体依然被称为“粒子”，虽然这些粒子也具有波的特性。 今天所知的所有基本粒子都可以用一个叫做粒子物理标准模型的量子场论来描写。标准模型是目前粒子物理學中最好的理论，它包含37种基本粒子，这些基本粒...

的正确性可以在算法上检验（比如通过计算机或手工）。 如果一个公式在这个公式的语言的所有模型中都为真，它就被称为“逻辑上有效”的。为了形式的陈述哥德尔完备性定理，你必须定义这个上下文中词语“模型”的意义。这是模型论的基本定义。 在另一个方向上，哥德尔完备性定理声称一阶谓词演算的推理规则是“完备的”，...

索洛-斯旺模型（英語：Solow–Swan model，又称外生增长模型，英語：exogenous growth model）是一种解释长期经济增长的经济模型。该模型通过考察资本积累（英语：capital accumulation）、人口增长以及主要由技术进步推动的生产率提升，试图阐释长期经济增长的...

TRAINLINE」推出EMU400型銅製N規電聯車組成功通過臺鐵商標授權後，成為目前可知繼鐵支路後成功申請臺鐵商標授權的臺鐵模型車產品。 如前所述，模型以N規為主。 自動門莒光號FPK10500型(NK3501) 普通車TP32850型(NK3502) 現行塗裝復興號SP20000型(NK3503)...

模型论，证明论，集合论和可计算性理论。 数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号逻辑（相对于哲学逻辑），又称元数学。数理逻辑一般着重于研究公理系统的推断能力和表达能力。它也包括分析正确的数学推断来构筑数学基础。 数理逻辑的主要分支包括： 公理化集合论 模型论 证明论和数学构成主义...

ChatGPT是生成型预训练变换模型（GPT），在GPT-3.5之上用基于人类反馈的监督学习和强化学习微调。这两种方法都用人类教練来提高模型性能，以人类干预增强机器学习效果，获得更逼真的结果。在监督学习的情况下為模型提供这样一些对话，在对话中教練充当用户和AI助理两种角色。在强化步骤中，人类教練首先為模型...

ecology）。 博弈论也应用于数学的其他分支，如概率、统计和线性规划等。 对于“博弈”有不少可以互换的定义。这里给出简短的介绍和相互关系的说明。 范式博弈又被译为正則形式的博弈、策略型賽局或標準型賽局。 设定 N {\displaystyle \mathrm...

09VI型核潜艇（北約代號：唐級，英语：Tang-class）是中国人民解放军海军目前研制中的第三代核动力弹道导弹潜艇，是09IV型核潜艇的後繼型，於2020年代開始生產。 從中國公布一款弹道导弹核潜艇模型中可以看出，09VI型攜帶潛射彈道飛彈數量至少14枚多於09IV型的12枚。因為09IV型...

space）到达今天的状态。大爆炸这一模型的框架基于爱因斯坦的广义相对论，又在场方程的求解上作出了一定的简化（例如宇宙學原理假设空间的均匀性（英语：Homogeneity (physics)）和各向同性）。1922年，苏联物理学家亚历山大·弗里德曼用广义相对论描述了流体，从而给出了这一模型...

图、活动图、序列图、部署图、构件图、类图、状态图，是模型中信息的图形表达方式，但是UML模型独立于UML图存在。UML的当前版本只提供了模型信息的交换，而没有提供图信息的交换。 UML使用一套与Java语言或其他面向对象语言等价物，同时也是本体论等价物的图形标记。...

尽管标度不变的量子场论有可能不是共形不变的，但这样的例子极少。因此，在量子场论中这两个术语常常当作同义词。事实上标度对称群比共形对称群小。 在一些特殊情况下，由标度不变性可以推出共形不变性，例如二维的幺正紧致共形场论。 二维共形场论有两种：欧几里得型和洛伦兹型。前者用于统计力学，而后者用于量子场论。可以通过威克转动把二者联系起来。...

在数学学科模型论中，语言 L {\displaystyle {\mathcal {L}}} 的结构 A {\displaystyle {\mathfrak {A}}} (也叫做 ' L {\displaystyle {\mathcal {L}}} -结构'，并通常写为哥特体大写)是一个有序对，它的第一个成员是论域或全集...

模型。 为了能够处理长数据序列，Mamba 采用了结构化状态空间序列模型 (S4)。 S4 可以通过结合连续时间、循环和卷积模型有效且高效地对长序列进行建模。这使得它能够处理不规则采样的数据和长上下文，并在训练和推理期间保持计算效率。 Mamba对S4模型...

决策论中 （如风险管理），决策树（Decision tree）由一个决策图和可能的结果（包括资源成本和风险）组成， 用来创建到达目标的规划。决策树建立并用来辅助决策，是一种特殊的树结构。决策树是一个利用像树一样的图形或决策模型的决策支持工具，包括随机事件结果，资源代价和实用性。它是一个算法显示的方...

马尔萨斯模型（英語：Malthusian growth model）本质上是一个简单指数增长模型，即函数与函数增长率成正比。该模型得名于托马斯·罗伯特·马尔萨斯，他于1798年写下了最早的人口学著作之一《人口論》。 马尔萨斯增长模式的数学表达如下： P ( t ) = P 0 e r t {\displaystyle...

格状态（或称“替代人格”）为特征的精神障碍。此诊断具有高度争议，主要存在两种对立的理论模型：支持DID存在的人主张“创伤模型”，认为此障碍是严重童年创伤所引发的应激性反应。而批评者则主张“社会生成模型”（幻想模型），将其视为一种社会建构的行为模式，通过治疗过程中的医源性、文化信仰、以及媒体或网络接...