美利体育登录入口官网

美利体育登录入口官网:GB/T 20719.13-2010
工业自动化系统与集成 过程规范语言 第13部分:时序理论

Industrial automation systems and integration.Process specification language.Part 13:Duration and ordering theories

GBT20719.13-2010, GB20719.13-2010

正版授权中国标准出版社正式授权销售可通过授权方官方渠道验证

标准号
GB/T 20719.13-2010
别名
GBT20719.13-2010, GB20719.13-2010
发布
2010年
国际标准分类(ICS)
25.040.40 工业过程的测量和控制   
总页数
31页
采用标准
ISO 18629-13:2006 IDT
发布单位
国家市场监督管理总局
当前最新
GB/T 20719.13-2010
 
 
引用标准
GB/T 16262.1 GB/T 19114.1 GB/T 20719.1 ISO 18629-11:2005 ISO 18629-12
适用范围
GB/T20719 的本部分提供了与活动的次序和周期约束相关的基本概念的衰述,莫范围如下=一子活动发生次序…一周期…一迭代发生次序薯一发生树自同态薯活动包络″
术语描述
交换群
Commutative Group
在内部二元运算下具有a OP b = b OP a的代数结构
同构
Automorphism
保留模型中关系和函数集合上元素的一一映射
公理
Axiom
形式语言中的合式公式,用于对门语言词汇中的符号进行约束

美利体育登录入口官网: 专题


美利体育登录入口官网: GB/T 20719.13-2010相似标准


美利体育登录入口官网: GB/T 20719.13-2010系列标准


美利体育登录入口官网: 谁引用了GB/T 20719.13-2010 更多引用





Copyright ?2007-2026 ANTPEDIA, All Rights Reserved
京ICP备07018254号 京公网安备1101085018 电信与信息服务业务经营许可证:京ICP证110310号
页面更新时间: 2026-09-10 17:42

美利体育(meili)官方网站_美利体育手机版下载