美利体育登录入口官网:ISO 18629-11:2005
工业自动化系统和集成.工艺规范语言.第11部分:PSL芯
Industrial automation systems and integration - Process specification language - Part 11: PSL core
说明：
- 此图仅显示与当前标准最近的5级引用；
- 鼠标放置在图上可以看到标题编号；
- 此图可以通过鼠标滚轮放大或者缩。
- 表示标准的节点，可以拖动；
- 绿色表示标准：ISO 18629-11:2005 ， 绿色、红色表示本平台存在此标准，您可以下载或者购买，灰色表示平台不存在此标准；
- 箭头终点方向的标准引用了起点方向的标准。
点击查看大图
- 标准号
- 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 |
| 语法 | grammar |
| 个体 | individual |
| 信息 | information |
| 解释 | interpretation |
| 语言 | language |
| 词汇 | lexicon |
| 线性排序 | linear ordering |
| 制造 | manufacturing |
| 制造过程 | manufacturing process |
| 模型 | model |
| 本体 | ontology |
| 时间点 | point in time |
| 原始概念 | primitive concept |
| 原始词汇 | primitive lexicon |
| 过程 | process |
| 产品 | product |
| 证明理论 | proof theory |
| 理论 | theory |
| 论域 | universe of discourse |