美利体育登录入口官网:ISO 18629-11:2005
工业自动化系统和集成.工艺规范语言.第11部分:PSL芯
Industrial automation systems and integration - Process specification language - Part 11: PSL core
- 标准号
- ISO 18629-11:2005
- 发布
- 2005年
- 国际标准分类(ICS)
- 25.040.40 工业过程的测量和控制
- 总页数
- 49页
- 中文版
- GB/T 20719.11-2010 (等同采用的中文版本)
- 发布单位
- 国际标准化组织
- 当前最新
- ISO 18629-11:2005
- 引用标准
- ISO 10303-1 ISO 15531-1 ISO 15531-42:2005 ISO/IEC 8824-1
- 本体
- 本体
- 适用范围
- ISO 18629 的这一部分使用一组以 ISO 18629 基本语言编写的公理提供了 PSL 核心概念的表示。 以下内容属于 ISO 18629 这部分的范围： ——所有通用概念的表示流程。
| 术语 | 描述 |
|---|---|
| 公理 axiom | 形式语言中的合式公式，提供对语言词汇中符号解释的约束。 |
| 保守定义 conservative definition | 指定术语必须满足的必要和充分条件的定义，且不允许从理论中得出新的推论。 |
| 核心理论 core theory | 与一些公理相关联的谓词、函数符号和个体常量的集合，是本体中的原始概念。 |
| 数据 data | 以适合人类或计算机通信、解释或处理的形式表示的信息。 |
| 定义词汇 defined lexicon | 表示定义概念的非逻辑词汇中的符号集。定义词汇分为常量、函数和关系符号。 |
| 扩展 extension | 包含额外公理的 PSL 核心扩充。PSL 核心是一组相对简单的公理，足以表达广泛的基本过程，但更复杂的过程需要超出 PSL 核心的表达能力。 |
| 语法 grammar | 指定如何组合逻辑符号和词汇术语以形成合式公式的说明。 |
| 个体 individual | 解释域中的元素，在逻辑中视为不可分割而不损失身份的元素。在谓词逻辑中，谓词的参数总是个体常量。 |
| 信息 information | 事实、概念或指令。 |
| 解释 interpretation | 论域以及对理论中所有句子的真值（真或假）的赋值。 |
| 语言 language | 词汇和语法的组合。 |
| 词汇 lexicon | 符号和术语的集合。词汇由逻辑符号（如布尔连接词和量词）和非逻辑符号组成。 |
| 线性排序 linear ordering | 一组元素，其中任意两个元素之间存在一个传递的、非自反的和反对称的二元关系。 |
| 制造 manufacturing | 将材料从原材料或半成品状态转换为进一步完成状态的功能或行为。 |
| 制造过程 manufacturing process | 对材料执行的结构化活动或操作集，将其从原材料或半成品状态转换为进一步完成状态。 |
| 模型 model | 满足理论中所有合式公式的元素集和真值赋值的组合。 |
| 本体 ontology | 一组专业术语词汇，并附带对词汇中术语含义的某些说明。 |
| 时间点 point in time | 时间域内某事物的可察觉位置。 |
| 原始概念 primitive concept | 没有保守定义的词汇术语。 |
| 原始词汇 primitive lexicon | 表示原始概念的非逻辑词汇中的符号集。 |
| 过程 process | 涉及各种企业实体的结构化活动集，旨在实现特定目的。 |
| 产品 product | 由自然或人工过程产生的事物或物质。 |
| 证明理论 proof theory | 解释语言语义所需的理论和词汇元素集。它由 PSL 核心、外部核心和扩展组成。 |
| 理论 theory | 与给定概念或概念集相关的公理和定义的集合。 |
| 论域 universe of discourse | 属于现实世界某个领域的具体或抽象事物的集合，根据其对要建模的系统及其相应环境的兴趣而选择。 |