类型-一流百科

栓剂

栓剂栓剂是一种剂型，用于通过插入体孔来递送药物，在那里它溶解或融化以发挥局部或全身作用。有三种类型的栓剂，每一种都插入不同的部分：直肠栓剂插入直肠...

词条百科

服务提供者

服务提供者服务提供商 (SP) 是向其他组织提供咨询、法律、房地产、通信、存储和处理服务等服务的组织。尽管服务提供商可以是其所服务组织的子部门，但通常是...

词条百科

挡圈

挡圈固定环是一种紧固件，在安装时将部件或组件固定在轴上或外壳/孔中 - 通常在凹槽中 - 仅供一次性使用。安装后，暴露部分充当肩部，用于固定特定部件或组...

词条百科

盖子

简介封盖是用于关闭或密封容器（例如瓶子、罐子、罐子、管子或罐头）的装置。封闭物可以是盖子、盖子、盖子、塞子、衬垫等。应用封闭物的容器部分称为瓶口...

词条百科

果聚糖

果聚糖果聚糖是果糖分子的聚合物。链长较短的果聚糖被称为低聚果糖。果聚糖存在于超过 12% 的被子植物中，包括单子叶植物和双子叶植物，例如龙舌兰、朝鲜蓟...

词条百科

模式属

模式属在生物分类学中，模式属是定义一个生物科的属，是该科名的根。动物学命名根据国际动物命名法典，名义科群分类单元的命名类型是称为“模式属”的名义属； ...

词条百科

模式种

模式种在动物学命名法中，模式种（典型种）是一种物种名称，属或亚属的名称被认为在分类学上xxx相关，即包含生物模式标本的物种。类似的概念用于超属组，称...

词条百科

昼夜垂直迁移

昼夜垂直迁移昼夜垂直迁移，也称为昼夜垂直迁移，是一些生活在海洋和湖泊中的生物体（例如桡足类）使用的一种运动模式。当生物在夜间移动到海洋的最上层并在...

词条百科

细胞分化

细胞分化细胞分化是干细胞从一种类型转变为分化类型的过程。通常，细胞会变成更特殊的类型。在多细胞生物的发育过程中，分化会发生多次，因为它从简单的受...

词条百科

热带森林

热带森林热带森林（又名丛林）是热带地区的森林景观：即大致以北回归线和南回归线为界的陆地区域，但可能受到其他因素（例如盛行风）的影响。一些热带森林类...

词条百科

肉冻

肉冻肉冻或肉冻 (/ˈæspɪk/) 是一种用肉汤或肉汤制成的咸味明胶，放在模具中以包裹其他成分。这些通常包括肉块、海鲜、蔬菜或鸡蛋。肉冻有时也被称为 aspic ...

词条百科

土壤类型

土壤类型土壤类型是土壤科学中的一个分类单位。共享一组明确定义的属性的所有土壤形成了独特的土壤类型。土壤类型是土壤分类的专业术语，是对土壤进行系统...

词条百科

损蚀

损蚀损毁是固体表面材料的损坏、逐渐去除或变形。磨损的原因可以是机械的（例如侵蚀）或化学的（例如腐蚀）。磨损和相关过程的研究被称为摩擦学。机械元件...

词条百科

典型晶体结构类型

典型晶体结构类型在晶体学中，典型晶体结构类型是通过类比另一个已知结构进行详细晶体结构分类的系统。这些名称旨在全面，但主要用作空间群晶体结构名称的补...

词条百科

炭笔

炭笔艺术家的木炭是用作干燥艺术介质的木炭。使用压缩木炭（由胶或蜡粘合剂固定在一起）和木炭棒（在没有空气的情况下在窑中燃烧的木棒）。它在纸上留下的标...

词条百科

简单类型λ演算

简单类型λ演算简单类型的 lambda 演算 ( λ → {\displaystyle \lambda {\to }} ) 是类型理论的一种形式，是对只有一个类型构造函数 ( → {\displaystyle \to } ...

词条百科

λ演算

λ演算λ演算（也写作λ-calculus）是数学逻辑中的一个形式系统，用于表达基于函数抽象和应用的计算，使用变量绑定和替换。它是一种通用计算模型，可用于模拟任...

词条百科

同伦类型论

同伦类型论在数理逻辑和计算机科学中，同伦类型理论 (HoTT /hɒt/) 是指直觉类型理论的各种发展路线，基于将类型解释为（抽象）同伦理论直觉适用的对象。除其...

词条百科

里氏替换原则

里氏替换原则里氏替代原则 (LSP) 是子类型关系的特定定义，称为强行为子类型，最初由 Barbara Liskov 在 1988 年题为数据抽象和层次结构的会议主题演讲中引入...

词条百科

分区类型

分区类型主引导记录 (MBR) 内分区表中分区条目中的分区类型（或分区 ID）是一个字节值，旨在指定分区包含的文件系统或标记用于访问这些文件系统的特殊访问方...

词条百科

不透明指针

不透明指针在计算机编程中，不透明指针是不透明数据类型的特例，一种声明为指向某个未指定类型的记录或数据结构的指针的数据类型。不透明指针存在于多种编程...

词条百科

函数原型

函数原型在计算机编程中，函数原型或函数接口是函数的声明，它指定了函数的名称和类型签名（元数、参数的数据类型和返回类型），但省略了函数体。虽然函数定...

词条百科

结构支承

结构支承桥梁支座是桥梁的一个组成部分，通常在桥墩和桥面板之间提供一个支撑表面。轴承的目的是允许受控运动，从而减少所涉及的应力。运动的可能原因是热...

词条百科

电气管线

简介电气导管是用于保护和布线建筑物或结构中的电线的管子。电线可能由金属、塑料、纤维或烧制粘土制成。大多数导管是刚性的，但出于某些目的使用柔性导管...

词条百科

家用交流电源插头与插座

简介家用交流电源插座与插座将电气设备连接到建筑物和其他场所的交流 (AC) 主电源。电插头和插座在电压和电流额定值、形状、尺寸和连接器类型方面各不相同。...

词条百科

单键飞梭

单键飞梭慢跑拨盘、慢跑轮、穿梭拨盘或穿梭轮是一种旋钮、环、轮或拨盘，允许用户在音频或视频媒体中穿梭或慢跑。它常见于专为唱片骑师制作的 CD 播放器型号...

词条百科

柯里-霍华德同构

简介在编程语言理论和证明理论中，柯里-霍华德同构（也称为 Curry-Howard 同构或等价）是两者之间的直接关系计算机程序和数学证明。它是美国数学家 Haskell C...

词条百科

踩高跷

踩高跷高跷是一种杆子、柱子或支柱，可以使人或建筑物站在离地面一定的高度。在洪泛区、海滩或不稳定的地面上，建筑物通常建在高跷上，以保护它们免受水、波...

词条百科

空白类型

空白类型空白类型，是一个正常返回的函数的返回类型，但不向其调用者提供结果值。通常这样的函数被调用是为了其副作用，如执行一些任务或写入其输出参数。在...

词条百科

单元类型

单元类型简介在被称为类型理论的数理逻辑和计算机科学领域，单元类型是一种只允许一个值的类型。与单位类型相关的载体（底层集合）可以是任何单子集。任何两...

词条百科

1 2 3 4

扫码分享到朋友圈