美利体育登录入口官网:ISO 18629-11:2005
工业自动化系统和集成.工艺规范语言.第11部分:PSL芯
Industrial automation systems and integration - Process specification language - Part 11: PSL core
美利体育登录入口官网: ISO 18629-11:2005 发布历史
ISO 18629-11:2005由国际标准化组织 IX-ISO 发布于 2005-10-01。
ISO 18629-11:2005 在中国标准分类中归属于: N17 自动控制与遥控装置，在国际标准分类中归属于: 25.040.40 工业过程的测量和控制。
本标准有等同采用的 中文版 GB/T 20719.11-2010 工业自动化系统与集成 过程规范语言 第11部分：PSL核心
ISO 18629-11:2005 工业自动化系统和集成.工艺规范语言.第11部分:PSL芯的最新版本是哪一版？
最新版本是 ISO 18629-11:2005 。
- 标准号
- ISO 18629-11:2005
- 发布时间
- 2005-10-01
- 标准名称
- 工业自动化系统和集成 - 过程规范语言 - 第 11 部分：PSL 核心
- 发布机构
- 国际标准化组织
- 文件关系说明
- ISO 18629 是用于计算机可解释的制造过程信息交换的国际标准。本部分是 ISO 18629 系列标准的一部分。
- 专利声明（未识别专利）
- 应注意到，本 ISO 18629 部分的一些要素可能是专利权的主题。ISO 不负责识别任何此类专利权。
- 提出和归口信息
- 由 ISO/TC 184 技术委员会，工业数据分技术委员会 SC4 编制。
- 版本历史
- 第一版
- 编制原因和目的
- 提供描述 ISO 18629 标准内定义的语言核心元素的描述。为改进制造管理领域软件应用程序之间的互操作性提供结构框架。
- 技术内容特殊信息
- 本部分使用一组公理来表示 PSL 核心概念。
- 分部分标准的各部分关系
- ISO 18629 系列标准各部分独立于制造管理领域软件应用程序中提出的特定过程表示或模型。
- 与法规或其他标准的关系说明
- 与 ISO 10303、ISO 13584 和 ISO 15926 标准不同，但与 ISO 15531 密切相关且互补。
ISO 18629-11:2005 发布之时，引用了标准
- ISO 10303-1 工业自动化系统及集成*， 2024-01-01 更新
- ISO 15531-1 工业自动化系统和集成.工业生产管理数据.第1部分:总揽
- ISO 15531-42:2005 工业自动化系统和集成.工业生产管理数据.第42部分:时间模式
- ISO/IEC 8824-1 信息技术 抽象语法符号一（ASN.1） 第1部分：基本符号规范*， 2021-06-30 更新
* 在 ISO 18629-11:2005 发布之后有更新，请注意新发布标准的变化。
ISO 18629-11:2005的历代版本如下：
- 2005年 ISO 18629-11:2005 工业自动化系统和集成.工艺规范语言.第11部分:PSL芯
ISO 18629 的这一部分使用一组以 ISO 18629 基本语言编写的公理提供了 PSL 核心概念的表示。 以下内容属于 ISO 18629 这部分的范围： ——所有通用概念的表示流程。
采用 ISO 18629-11 的发行版本有：
- BS ISO 18629-11:2005 工业自动化系统及集成 流程规范语言 PSL核心
| 术语 | 描述 |
|---|---|
| 公理 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 | 属于现实世界某个领域的具体或抽象事物的集合，根据其对要建模的系统及其相应环境的兴趣而选择。 |
点击查看大图
- 标准号
- 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
- 本体
- 本体