GB/T 17645.20-2002 工业自动化系统与集成零件库 第20部分：逻辑资源：表达式的逻辑模型

标准中涉及的相关检测项目

由于《GB/T 17645.20-2002 工业自动化系统与集成零件库 第20部分：逻辑资源：表达式的逻辑模型》属于较为专业的标准文献，具体详细内容可能涉及大量的数据与专业条款。以下是根据一般标准框架推测可能涉及的内容，因具体内容需要参考标准原文，仅供参考： ---

一、相关的检测项目：

根据工业自动化与逻辑模型的特性，《GB/T 17645.20-2002》可能包含以下检测项目（仅供参考）：

• 表达式逻辑模型的结构完整性检测。
• 逻辑资源定义的准确性检测。
• 逻辑模型的兼容性及一致性检测。
• 零件库逻辑节点的正确性检测。
• 模型中参数值的有效性检测。

---

二、检测方法：

常用的检测方法可能包括（具体需要标准原文支持）：

• 数据验证法：对逻辑资源模型中定义的表达式进行数据校验。
• 仿真模拟法：对表达式逻辑运行场景进行模拟运行，观测结果与标准要求的匹配程度。
• 对比验证法：将表达式的逻辑模型与标准样例对比，发现结构上的差异。
• 静态分析法：通过分析表达式的静态结构，判断逻辑资源模型的正确性与必要性。
• 动态测试法：在实际系统中运行逻辑资源，通过采集运行数据验证模型的准确性。

---

三、涉及的产品：

标准《GB/T 17645.20-2002》作为工业自动化和系统集成的相关内容指导，涉及的产品可能包括：

• 工业自动化软件系统。
• 逻辑控制器（如PLC等）。
• 电子零部件库相关产品。
• 智能化制造生产设备。
• CAD、CAM、CAE等设计软件相关组件。

---

以上内容仅提供一般性推测与标准框架参考，具体详细的检测项目、检测方式及涉及产品，需要查阅标准的官方完整文本。

GB/T 17645.20-2002 工业自动化系统与集成零件库 第20部分：逻辑资源：表达式的逻辑模型的基本信息

标准名：工业自动化系统与集成零件库 第20部分：逻辑资源：表达式的逻辑模型

标准号：GB/T 17645.20-2002

标准类别：国家标准(GB)

发布日期：2002-05-08

实施日期：2002-10-01

标准状态：现行

GB/T 17645.20-2002 工业自动化系统与集成零件库 第20部分：逻辑资源：表达式的逻辑模型的简介

本部分为GB/T17545的第20部分，对应于ISO10303-20：1998《工业自动化系统与集成零件库第20部分：逻辑资源：表达式的逻辑模型》(1998年英文版)。本部分等同翻译ISO10303-20：1998。GB/T17545的本部分规定了：——通用表达式的EXPRESS模式；——表达式的EXPRESS模式建立了EXPRESS语言所允许的表达式的自集，对应于ISO10303-11：1994中定义的整型、实型、布尔型和字符串型。该模式使用通用表达式中定义的资源。GB/T17545的本部分适用于：——包括常量和变量的表达式的交换；——检查数值表达式是否应该计算得出整数值的函数；——确保表达式在语义上正确的约束条件；——表达式中使用的变量或函数的计算；——检查表达式是否可以映射到SQL查询语言的函数。GB/T17545的本部分不适用于：——在某些相关环境中对变量赋值；——在给定的相关环境中，计算表达式值的触发机制。GB/T17645.20-2002工业自动化系统与集成零件库第20部分：逻辑资源：表达式的逻辑模型GB/T17645.20-2002

GB/T 17645.20-2002 工业自动化系统与集成零件库 第20部分：逻辑资源：表达式的逻辑模型的部分内容

14S 25. 0:0. 40

中华人民和国家棕准

GB/T 17645. 20 2002/1SO 13584-20:1998工业自动化系统与集成

零件库

第20部分：逻辑资源：表达式的逻辑模型Irdusirial automation syglems and inlegralion-Paris Library

Part 20:Logicat resourcc: 1.ogical model nf cxpressions(1S0 13584 20:1508,11)1)

2002C5·08发布

华人民共和试

家质量监好捡验检装总局

2002-10-01实施

TS拍言

现范用文件

代沿私定义

。。 从S13303用的术和亲义

3.从16656.4中用的术语和定文

3.3其他的本术谱利定艾

1群粘语

5英本既念和假设

5.1协态和动杰数据..

5.2表达式诺法

5. 3 表达式语义

5.3.1衣式语文

5.3.2变换除段利求值阶段

5.1表达式建漠的拍象学级

5. 4. 1[S0 13554 通用表达式接式的专门化5.4.2ISC13584达式操式的4 门化5.5变世的建立

5.5.1符合渐法的表达

变且值域

5.5.量语义

61S01581通H达式模

6.2S()13561通出表送火模实休定义6.2.1通用表达式

带单通用表达式

通用文字

诵月之旱

变左语义

汇通旧表达式

一通用表达式

多元通用表达式

6.31S(13584通在达式提式函数的定交次

...........

GB/T17645.20—202/1SO1358420:1998GR/T17645.20—2002/TSO135B4-20:19986.3.1划断非环长数

6.3.2已使用的企最函效

71S013584丧然戎模式

7.2ISO13554志式模式的所实位亲义7.3.1表达武..

7. 2. 1. 1 变量..

定文的函效-

7. 2. 1.2

映的定义医教

IS0-3531表达式措式：效值友达或的实体定义7.3

凝值表达式

简年数值衣达试-

数估型文疗

转通数文

实型数文字

数变*

实礼数拍量

元数值表达式

一正数值表达式

多方数估志题式

长度面数

有函数

虚数值该数

数值息文的函效

辽法表达式

法表达式

乘决表达式

整除表步式

求模数表运式

降法表达式

萧表达成战

元医数谢乐

三元阴数调市

多元函数调用．

速绝对值医数

负西数

正张荫浆

余兹函魁

技[蓝医敏

反余改玉数

e的享西题

.................

...................

自然刘数两数

以2,为底的对数病效

常用对数雨数

平力限涵数

虚正阅函数

求来前医效

求展小值两数

整激定义的函数

实数定义的数

了.4东务表式

简单尔表达式

市尔文学，

布尔变册

元布尔表达式

元市表达式

多元布尔表达式.

逆辑况或表达

守于表达

逻与表以式

返样或表达式

比装达式

比较等于

出较大于

民较太上等丁

比较小于

较小」等于

比较不等于

匹配表法式

区表达式

有尔定文的函数

？.3教中表这式·

奇单学持申装达…

..．2字符文...

..字符中变量

索引表达武

丁学符串表达式

?..．串联变达式.·

7.3.7格式化函效

.3.字符串定文范润效.

7.心确究表达式特性的函数

了，，判断整型表达式隔数…

GB/T 17645.20—2002/S) 13584-20.195A21

GH/T17645.20—2002/1SO)13584-20:199E3.6.2判断SQL可映时的函款

….被使用的函数

除录A（范性附）实体名与辅

附录B(现范性附录后息刘象注州B.1 文件标识

.3模式标识

R.%1TS0）1353通用表达式漠式

B.2.21SUJ584表这式按式

附录C（资料性附录）EXPRESS-C图除录[(资料世附录】O 13584.表达式漠式的使HD.1

候择函教和变最义

13.3（B/17645的和部分中解释丽数书没达D.4使月业景语义实体定义新量的讲义1门.4.1变量讲义实外特殊于考的倪用[.1.2变量拓义实体和片他其本内多立继D,1.3定文一个不车模型中表达的读念诺录正资料性闹录）模式的专门化F.1概述

S1H1通用表达模式的专门化...

H.31S013584表达式热式药专门化E：1本部分专门化的方丧论

.1013581通用表法式模式专的例，E.615H1表这或模止女门北的例十..附录（放料性附录）表认式为静态分析F.1

判断非话环函教

被使用的用的

判断Q1.可晚对的函数

类型丝制和类型合录

专文献

图[.1与变量相老的语文和语法

图，2巾变量语文实体的子类化说阅语义医.主子差化的变量语义实体率其他实伴定义的语义说明生模型中未表达定义概态的刻子：坐标 D. 4

窦依名与缩写

GBT1/645.202C02/1SO 13584-20:19981科工业营动化系统方集波4比库分为以下部分第1部分：综述与基木原玛；

第2U部分：促辑资源：表达的逆非接型一等24前分：逻辑资源：供应商本的逻轻模型：第26分：逆#资源：信息使间新标认：一第部分：实境资源，儿间我程按一：一第42前分：描述法学：快4件族的方法学第10处：视博交换协议：出参数化科序规克的儿现图交换办议：第103部公：视图交放协议：由1501U3一性规范确定的规图交换协议：本年分为14的第部对应501业动化系案零件库第部分选抵资源：表达的模133年英文版：人部分等尚通301584-21003件修改下

1.对划线的用R语言述各黑支实长空，为现要维护其英文原文要便，超其名称少求的画思在木部分中，当其许为标题到标出了其中文泽名：作车山文中以受义为主，在共第次出源改必要时临中文译名起来放在英文原名行2.国求满1）13584中的齐部分山有禁效等心转化为国家准.对应的国家标准分券元171中谷部分，一在技术利使月上等：考态别际你洋035科！的X1RESS满盗、以改成用饮件中各模式，实体，特性，离性，函数等表法的需要，为丁礼配套施用软件实际品时，不发会因标准转化所来的向愿，对出现在车标准的本部中的有的汉PRF5S证和间STEPT发1其动生成的！文件收XPRESS-G用中的际标谁编仍保持小变，5.为使十死本分的理：加了个孝文成口示。在国际标准中心发现一些综辑性错识，我们过行了隧改，对照郊下：.-fi. a. 1,1s x uzed variabes 用 5, 3, 2,实际w小H 3. 3. 26.2.1,1S原文币2.：.6.实乐1达原文中有应夜见.1.1;6. 2. 4:[0 原文这些了类实在第1代,实际上这收下炎定义在第了竞。一国你标非正文中供附A的的内，1增内奔国标环弹1以）1358安动旅分为七人类，概念描速，遇辆资源，实现资源，质速方法学，一改性洲或，初图交换协议起维的相关范用，31384-：99二业口动化系统一禁减零件库商别部分：逻资源：去适式的遇划模型5属工超据资源整，该部分为零件军计发商走供措述需件流的在达式轻模型，

S现已正岁广个年分前其中闪第1分第部分第分，？商二教化我国家标准，分划为：GT17i15.15001T业片动化系统与东成零件店：第：部分：综述苯本原！d15013534-1:1953

三门145.262工业口动化系统与年成4个产第2部分：逻料资版：临早风定商你ey s h e:

17645.3一1上业白动化系统与来速4件岸第31部分：实现资现：儿何张程按口CB/T17615.20~2002/1So 13584-20:1998(idt150 135841:1997):

GR/T1?645.42—2u1

上业自动化系统与集成零件求第43部分：描建方法学，构墙零计族的法学t1354-42：1998）

113584的其他部分出将随慈被转化为我国上家标。本部分的对录和附承是规范性阴录,除录心附录1),阻上和阴录上足料所永。本部分由中国标准研沈中心据山。车部分中企因工业口动化系统与成标准化我术委员会CSH1S/IC139问口。本部分起举单位，中州标痛化研究中心。本部分主要越人：洪出、学文武。ISO前言

GB.7:17645.202002/1SO13584-70.1996际标准化组织(ISC>)是世界各区标准北机构I）或员)的联合体，区示标准的制定.1.作是通对1S）的热术委贝会正式完成的，对口经建立x代要贝会的学科感兴睡的每一个成员构群在权在该委员会驻代表，与ISU相联亲的可际组织，定方的变-官的出结与其忙，S）上上尔工依本委员会（正C)在申山电三标难化的所领威有若密的合作，技术委员会越草的国际标准艾案经每一成员投账·至少关的150投系屏家成沐费战，能发市成为国际标满，

[S035B4-23录川IS/C18代委品会T业自动化案统与成的款4分技术套尚会（L业数路及全速制洗缩程语言)制定的。S0F13584的总标题为“上业自或化系统集成本性未”，它包活以下部分：—第1部分，综注本床理

第20邦分，逆辑资源：达或药逻模举；到部分：遇资源，供成面的遇护精型第24部分：递辑资源：信息付量商求认第31部分：安资源：儿何给社您二；第部分插述方泌学：构声季族的方法学：一第[部分：图实换供：知过落数化滑序达的儿危我医交换资没-：第1逆：均交换设：主欧）1心！一教性原池地是的视图变款议在13584-1中拥述了本国质标准的结构，木标准部分的缩号反了它的结构一第[心部分规定了概念描送

：-第90~79部分规定了深释资源：第30--39部分规定实现资限：

--第4~·4!部分规宗了推方法学；第-55部分规定广一政性测试；

第100~-99部分规定下初图交换协议，第500-59？部分就定，标的关范带，今后发布的1358各分将的京两录折所录部的现生录，附录℃附录D、附丞E和求下为术部分的贷料性时来，·范围

GB/T 17615.202002/I50 13584-20:1998工业自动化系统与集成

零件库

第部分：逻辑资源：表达式的逻辑模型GB/T1764前木帮分规定了

一道用衣达式的FXPRESS模式：

表式的EXPRSS模建立了X1RESS语言所允阵的表达式的！集，完于Sn114中余文的整型实出，布乐业和符中型，该提式使用卫表达式锁式中定义的资源E/T17645的本部分适用于：

一总活量和变量内表送站的交披格生数值表达式应该计算势出暨数值的所数；确保表认式在语文“止确的的束条件；达武中使用的必量受或效的第：一检变农达式是否可以对到SQ1，至语言的函激GB/17615的本部分入诺月于：

在实比村关还境十对变量贴偿：一。在给定的相关环境宁，心算衣运女慎的站发机制，2规范性引用文件

下列文扫中的条款通过B/117645的本部分的月%成办本割分的条款，从乐注日期的引文件，其髓后所有的修改单：不包活刷读的内容或修证版均不追用下本部分，然而，励根本部分运成协改能各如究是否可使用这文件的最新版本。下是不社口期的引用，其最新说本适用车部分.

GI/T16655.1-19551业白动化系统与实成产品数据表5和交损资44部分或通日器满：产品站构配置（03134：4）13-1：1业口动化要统·英成产品数据表法和交换第11部分：播述法PRESS言意务手品

10/IEC5075：：92信点救术微据：-523术语和定义

0303199和6569商立约别术语和定适用G1的本部分，

3.1以用的术语定义

数据变型datape

数据的取花法国.

H/T17645.2C—7002/1S心13584-20,19983.1.2

实体Enity

自公式转性定义的信息类，

实体数据类型enuitydatatype

实体弟适。实体效期失型变了由公共成生和约史定义的偿域，3. 1. 4

实体（整据类型）实例enlily（datatype）instance在实伴定义的类中，达一个位息羊的命名韧单元，它无实体效去圳定的性用城的组成部分。

3.2从BT16635.44中引用的术衰和定义3. 2. 1

前幸节点anceslornode

从一给实节点出发，题过逆方间对款的连装遍访所能够达到的任位节点，对于--个龄尽市点，它的前半节点包括全部变书点、以及这些交了点的企郭父点，等等。3.2.7

了节点child nrde

.个赖指问闪节点，

后节点descendenlnode

从一始完的节点出放·通社诺的控续退开所能达创的门何节点。外一个给定节点它的后专出点包指会部了古点这些于节点的全部了节点，季等，3.2.4

有向循环国dineelecylieuraph

节点为有向链的集介：该案合中行盗节点都不足它白二的前代”点泌片非节点3.2.5

链Hink

在-个向错环守，从一个“点到与“个书点的单向系。3.2.6

节点nnde

有回非循环图中的-…个心起，它通认较学见不这计的元素相道痰，3. 2. 7

父节点parent node

一个殖的.开始节点。

3.3其他的不语利思实

探作符的元arityofanoperaton

与操性义联的探数的大数量。

二元撑作符hinaryoperator

元等放探作符.

环境enriranment

语义和话达的统称。

GB/T17645.202002/15013584-20:1998注，车分的相环量niremeat环境天与geueririab川变的次，相的艾文由ria2maities量讲义买表达。3. 3. 4

求eraluation

计端士表关式长达的俏

表达式expriun

变常的供合，或用探作符组的变我市的免会。注，：适式「个效两的达式中中见的会，或，达

单尚关系、

exprcssiondatatype

表达式数据关型

需必式止算结果的值域。

计：部单控型成[3siouh表式实现单均降保类型控制RE否是或心陷数州新型装发型成，EF数个es我是ares数表g学甲n数判

iou的值整

解释Interprelalion

退过与有使美讲文的医效

：这个闲数使非变境方诺义升生成向位美表的环范3. 3. 8

multiplearityuperalur

多元作符

元大二的换作并：

手operator

操作符

操作符是心降效，连反一人或几个弥作探作效的值·其牛成的直称作结！：生择的包其作数科结型正

语义srmanti

给定项念的含义

例：安他语义充变量定义。

：lmn盘家体来，这实体一个，以携尺体的文和智

按语运视见表达syntactierepresentatian志龄定摄念宁序划

三1：一常的领程产六中，手1来这不同授金的宇符序划次这守该证六的严法见，注：（本部分中，范许然规则世让的是注恒：整指类主实阅。

现行

北检院检验检测中心能够参考《GB/T 17645.20-2002 工业自动化系统与集成零件库 第20部分：逻辑资源：表达式的逻辑模型》中的检验检测项目，对规范内及相关产品的技术要求及各项指标进行分析测试。并出具检测报告。

检测范围包含《GB/T 17645.20-2002 工业自动化系统与集成零件库 第20部分：逻辑资源：表达式的逻辑模型》中适用范围中的所有样品。

测试项目

按照标准中给出的实验方法及实验方案、对需要检测的项目进行检验测试，检测项目包含《GB/T 17645.20-2002 工业自动化系统与集成零件库 第20部分：逻辑资源：表达式的逻辑模型》中规定的所有项目，以及出厂检验、型式检验等。

热门检测项目推荐

检测流程

线上咨询或者拨打咨询电话;

获取样品信息和检测项目;

支付检测费用并签署委托书;

开展实验，获取相关数据资料;

出具检测报告。

北检研究院的服务范围

1、指标检测：按国标、行标及其他规范方法检测

2、仪器共享：按仪器规范或用户提供的规范检测

3、主成分分析：对含量高的组分或你所规定的某种组分进行5~7天检测。

4，样品前处理：对产品进行预处理后，进行样品前处理，包括样品的采集与保存，样品的提取与分离，样品的鉴定以及样品的初步分析，通过逆向剖析确定原料化学名称及含量等共10个步骤;

5、深度分析：根据成分分析对采购的原料标准品做准确的定性定量检测，然后给出参考工艺及原料的推荐。最后对产品的质量控制及生产过程中出现问题及时解决。