常用符号大全

.

.

页脚 常用液压图形符号

表1常用液压图形符号（摘自GB/T786.1-1993）

（1）液压泵、液压马达和液压缸

名称 符号 说明 名称 符号 说明

液压泵 液压泵

一般符号

双作用缸 不可调单向缓冲缸 详细符号

单向定量液压泵 单向旋转、单向流动、定排量 简化符号

双向定量液压泵 双向旋转，双向流动，定排量 可调单向缓冲缸 详细符号

单向变量液压泵 单向旋转，单向流动，变排量 简化符号

双向变量液压泵 双向旋转，双向流动，变排量 不可调双向缓冲缸 详细符号

液压马达 液压马达

一般符号

简化符号

单向定量液压马达

单向流动，单向旋转 可调双向缓冲缸 详细符号

双向定量液压马达 双向流动，双向旋转，定排量 简化符号 .

.

页脚 单向变量液压马达 单向流动，单向旋转，变排量 伸缩缸

双向变量液压马达 双向流动，双向旋转，变排量

压力转换器 气-液转换器 单程作用

摆动马达 双向摆动，定角度 连续作用

泵-马达 定量液压泵-马达 单向流动，单向旋转，定排量

增压器 单程作用

变量液压泵-马达 双向流动，双向旋转，变排量，外部泄油 连续作用

液压整体式传动装置 单向旋转，变排量泵，定排量马达

蓄能器 蓄能器

一般符号

单作用缸 单活塞杆缸 详细符号 气体隔离式

简化符号 重锤式

单活塞杆缸（带弹簧复位） 详细符号 弹簧式

简化符号 辅助气瓶

.

.

页脚 柱塞缸

气罐

伸缩缸

能量源 液压源 一般符号

双作用缸 单活塞杆缸 详细符号 气压源 一般符号

简化符号 电动机

双活塞杆缸 详细符号 原动机 电动机除外

简化符号

（2）机械控制装置和控制方法

名称 符号 说明 名称 符号 说明

机械控制件 直线运动的杆 箭头可省略

先导压力控制方法 液压先导加压控制 部压力控制

第1页 共7页 数学符号及读法大全

常用数学输入符号： ≈ ≡ ≠ ＝ ≤≥ ＜ ＞ ≮ ≯ ∷ ± ＋ － × ÷ ／ ∫ ∮ ∝ ∞ ∧ ∨ ∑ ∏ ∪ ∩

∈ ∵ ∴ // ⊥ ‖ ∠ ⌒ ≌ ∽ √ （） 【】 ｛｝ Ⅰ Ⅱ ⊕ ⊙∥α β γ δ ε ζ η θ Δ

大写 小写 英文注音 国际音标注音 中文注音

Α α alpha alfa 阿耳法

Β β beta beta 贝塔

Γ γ gamma gamma 伽马

Δ δ deta delta 德耳塔

Ε ε epsilon epsilon 艾普西隆

Ζ ζ zeta zeta 截塔

Η η eta eta 艾塔

Θ θ theta θita 西塔

Ι ι iota iota 约塔

Κ κ kappa kappa 卡帕

∧ λ lambda lambda 兰姆达

Μ μ mu miu 缪

Ν ν nu niu 纽

Ξ ξ xi ksi 可塞

Ο ο omicron omikron 奥密可戎

∏ π pi pai 派

Ρ ρ rho rou 柔

∑ σ sigma sigma 西格马

Τ τ tau tau 套

Υ υ upsilon jupsilon 衣普西隆

Φ φ phi fai 斐

Χ χ chi khai 喜

Ψ ψ psi psai 普西

Ω ω omega omiga 欧米

第2页 共7页 符号 含义

i -1的平方根

f(x) 函数f在自变量x处的值

sin(x) 在自变量x处的正弦函数值

exp(x) 在自变量x处的指数函数值，常被写作ex

a^x a的x次方；有理数x由反函数定义

ln x exp x 的反函数

ax 同 a^x

logba 以b为底a的对数； blogba = a

cos x 在自变量x处余弦函数的值

tan x 其值等于 sin x/cos x

cot x 余切函数的值或 cos x/sin x

常用UML符号

下面这个表格简要介绍了常用的UML符号和关系。要了解有关UML概念和各种面向对象术语的详细说明，请参见后面的参考资源。

符号 说明

Package

包。用来聚集和组织模型中的一个部分（Use Case，类，等等）。

Actor

参与者。它代表一个用户或者其他外部的激励器。

Use Case

用例。Use Case描述了系统某一部分的行为。一般地，Use Case记录对某个系统功能的需求，而这个功能由对动作或者事件的应答示范。

<> Relationship

包含关系。标注为<>关系的Use Case关系能够引入其他Use Case的功能。这是一种方便的分割Use

Case、避免单个Use Case过于庞大的方法。

<> Relationship

扩充关系。标注为<>关系的Use Case关系能够在不重复现有Use Case的各种描述和需求的情况下，使现有Use Case的行为特殊化。 Dependency

依赖。正如其字面意义，它表示一个事物依赖另一个事物。这意味着一个事物了解另一个事物，并需要另外一个事物才能发挥功能。

Note

注解。在UML图中提供注解的目的是以简短的说明阐明图表的内容。

Component

构件。构件一般代表一个软件单元，它可能是一个DLL、一个执行文件，或者是一个数据库。

Node

节点。节点一般代表一台机器，这台机器具有运行一个或者多个系统构件的能力。

Class

类。UML中的类与面向对象编程中的类一样，即它定义并封装了一组行为和属性。类在运行时被实例化从而创建出对象。

Object

对象。对象是类的实例。例如，“MyClass myObj =

new MyClass; ”创建了一个myObj对象。 Generalization

泛化。父类能够派生出（或称为特殊化）具有更多特殊行为的子类，此时父类即为子类的超类（或子类的泛化版本）。

逻辑学使用一系列符号来表示不同的逻辑关系和操作。以下是逻辑学中常用的符号大全：

命题逻辑符号：

逻辑连接词：¬（非）、∧（合取）、∨（析取）、→（蕴含）、↔（等价）

括号：( )

真值：T（真）、F（假）

等同符号：≡

谓词逻辑符号：

量词：∀（全称量词）、∃（存在量词）

唯一性量词：∃!（存在唯一）

谓词：P, Q, R, ...

关系运算符：=（相等）、≠（不等）、<（小于）、>（大于）、≤（小于等于）、≥（大于等于）

集合论符号：

集合：A, B, C, ...

元素关系：∈（属于）、∉（不属于）、⊆（包含于）、⊇（包含）

推理规则和符号：

蕴含关系：⊢（可推导）、⊨（语义蕴含）

推理规则：Modus Ponens（分离规则）、Modus Tollens（否定规则）、Hypothetical Syllogism（假言三段论）等

这些符号用于描述和表示命题逻辑、谓词逻辑、集合论和推理规则等不同领域的逻辑关系。需要注意的是，不同的逻辑学派和教材可能会稍有差异，因此符号的具体用法和解释可能会有所不同。