ICS25.040.40

iv18

中華人民共和國(guó)國(guó)家標(biāo)準(zhǔn)

GB/T17645.20-2002/ISO13584-20:1998

工業(yè)自動(dòng)化系統(tǒng)與集成

零件庫

第20部分:邏輯資源:表達(dá)式的邏輯模型

Industrialautomationsystemsandintegration

-PartsLibrary

-Part20:Logicalresource:Logicalmodelofexpressions

(LSO13584-20:1998}IIDT)

2002一05一08發(fā)布2002一10一01實(shí)施

中華人民共和國(guó)

國(guó)家質(zhì)量監(jiān)督檢驗(yàn)檢疫總局

發(fā)布

GB/T17645.20-2002/ISO13584-20:1998

目次

前言····································?！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ??！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁ！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ??！ぁぁぁぁぁぁぁぁ??v

ISO前言····?！ぁぁぁぁぁぁぁぁぁぁぁぁぁ?，·······。。··············，·····················，······················，···················??VII

引言················?！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ??IX

1范圍·····················?！??！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ??！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ?。·····················??1

2規(guī)范性引用文件······················································································.....·····??1

3術(shù)語和定義····························································································?！ぁぁぁぁぁぁ??1

3.1從ISO10303-11中引用的術(shù)語和定義·?！ぁぁぁぁぁぁぁぁぁぁ?，··········?！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ???！???1

3.2從GB/T16656.44中引用的術(shù)語和定義·····?！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ??2

3.3其他的術(shù)語和定義·······································?！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ??。.??2

4縮略語········································?！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぃぁぁぁぁぁぁぁぁぁぁぁぁぁ??4

5基本概念和假設(shè)···················。························?！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ??！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ！ぁぁぁぁぁぁぁぁぁぁぁぁぁ??4

5.1靜態(tài)和動(dòng)態(tài)數(shù)據(jù)····················································································?！ぁぁぁぁぁぁぁ??4

5.2表達(dá)式語法··········。?！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ??！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ??4

5.3表達(dá)式語義·························。··············，··························································??4

5.3.1表達(dá)式語義·.....................................................................................................4

5.3.2交換階段和求值階段····················，······。································.·..·········...·..·..·.??4

5.4表達(dá)式建模中的抽象等級(jí)········，······?！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぃぁぁぁぁぁぁ?。·······························..·..···.·??5

5.4.1ISO13584通用表達(dá)式模式的專門化···························。···································??5

5.4.2ISO13584表達(dá)式模式的專門化·············。························。················?！ぁぁぁぁぁぁぁぁぁぁぁぁ??5

5.5變量的建立··。································································································??5

5.5.1符合語法的表達(dá)································。················。·································..·.···??5

5.5.2變量值域·······································?！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ??！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ??6

5.5.3變量語義··········································································?！ぁぁぁぁぁぁぁぁぁぁぁぁ?、··········??6

5.6SQL語言可映射性··························································...·..··············....·..·....??6

6ISO13584通用表達(dá)式模式···············，·······················································.....·····??6

6.1概述············································································，·······························??6

6.2ISO工3584通用表達(dá)式模式實(shí)體定義··································?！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ??6

6.2.I通用表達(dá)式·······。?！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ！ぁぁぁぁぁぁぁぁ?。··················，···········?！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ??6

6.2.2簡(jiǎn)單通用表達(dá)式··························································....·.·······..·.....·..·.....·??7

6.2.3通用文字·························?！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ?。·····························??7

6.2.4通用變量··························，········?！ぁぁぁぁぁぁぁぁぁぁぃぁぁぁぁぁぁぁ?。································.···········一7

6.2.5變量語義·························?！ぁぁぁぁぁぁぁぃぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ??8

6.2.6環(huán)境·..............................................................................................................8

6.2.7一元通用表達(dá)式····························································································一9

6.2.8二元通用表達(dá)式···············?！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ?.......·.??9

6.2.9多元通用表達(dá)式·············。···················。···················。·························.??。·.??9

6.3ISO13584通用表達(dá)式模式函數(shù)的定義·······························································??9

GB/T17645.20-2002/ISO13584-20:1998

Q︺1上弓9偽。六j。凸。a月q月4月呀月吸口J口dl﹄“5‘u﹃卜‘劃，.門了向廠。.。OSC︺︺Q︺0“。J門0011，eso乙qn乙n。d。八八j，八

1111111，.11，11，.11，es，1，.勝1，.1，上11，esll.11‘1.111，.幾lq曰Q曰八n乙9曰n習(xí)今自n乙Q一，曰勺n︸q戶幾

6.3.1判斷非循環(huán)函數(shù)····················································································??”·’二

6.3.2已使用的變量函數(shù)·······，···············································································??

7ISO13584表達(dá)式模式················································??‘二“‘······??‘二‘二””’‘’‘·“’“’

7.1概述············································································································??

7.2ISO13584表達(dá)式模式的所有實(shí)體定義················································??’‘·““‘·“““

:.:.:

表達(dá)式

1變量

7.2.1.2

7.2.1.3

定義的函數(shù)·········??

SQI_可映射的定義函數(shù)

7.3ISO13584表達(dá)式模式:數(shù)值表達(dá)式的實(shí)體定義

7.3.1數(shù)值表達(dá)式································································································??

7.3.2簡(jiǎn)單數(shù)值表達(dá)式··，·······················································································??

7.3.3數(shù)值型文字····。······。·······。············································································??

7.3.4整型數(shù)文字································································································??

7.3.5實(shí)型數(shù)文字················································································?！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁ??

7.3.6數(shù)值變量···································································································??

7.3.7整型數(shù)值變量·····························································································??

7.3.8實(shí)型數(shù)值變量·····························································································??

7.3.9一元數(shù)值表達(dá)式·...............................................................................................

7.3.10二元數(shù)值表達(dá)式···········································?！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ??

7.3n多元數(shù)值表達(dá)式·······················································································?！ぁ?

7.3.12長(zhǎng)度函數(shù)·.....................................................................................................

7.3.13值函數(shù)···································································································。?！?

7.3.14整數(shù)值函數(shù)··············?！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ??

7.3.15數(shù)值定義的函數(shù)·······················································································??

7.3.16加法表達(dá)式··························································································?！ぁ??

7.3.17減法表達(dá)式·····························································································??

7.3.18乘法表達(dá)式·····························································································??

7.3.19整除表達(dá)式·····························································································??

7.3.2。求模數(shù)表達(dá)式·...............................................................................................

7.3.21除法表達(dá)式·····························································································??

7.3.22冪表達(dá)式································································································??

7.3.23一元函數(shù)調(diào)用··························································································??

7.3.24二元函數(shù)調(diào)用··························································································??

7.3.25多元函數(shù)調(diào)用··························································································??

7.3.26求絕對(duì)值函數(shù)··························································································??

7.3.27負(fù)函數(shù)····························································································?！ぁぁぁぁぁ??

7.3.28正弦函數(shù)································································································??

7.3.29余弦函數(shù)································································································??

7.3.30正切函數(shù)································································································??

7.3.31反正弦函數(shù)·，···························································································??

7.3.32反余弦函數(shù)·····························································································??

7.3.33e的冪函數(shù)

cB/T17645.20-2002/iso13584-20:1998

7.3.34自然對(duì)數(shù)函數(shù)··························································································??24

7.3.35以2為底的對(duì)數(shù)函數(shù)···············································，······························??“‘24

7.3.36常用對(duì)數(shù)函數(shù)······?！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ??24

7.3.37平方根函數(shù)·...........................................················································??25

7.3.38反正切函數(shù)·················································?！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ??25

7.3.39求最大值函數(shù)···········································?！ぁぁぁぁぁ?，····························?！ぁぁぁぁぁぁぁぁ??25

7.3.4。求最小值函數(shù)······························?！ぁぁぁぁぁぁぁぁぁ！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ??25

7.3.41整數(shù)定義的函數(shù)·························································································，?26

7.3.42實(shí)數(shù)定義的函數(shù)········?！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ！?。?！ぁぁぁぁぁぁぁ！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ??26

7.4布爾表達(dá)式················?！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ??26

7.4.1簡(jiǎn)單布爾表達(dá)式··························································································??27

7.4.2布爾文字·········································?！ぁぁぁぁぁぁぁぁぁぁぁ?。?！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ?。·····················??27

7.4.3布爾變量······································。····························································??27

7.4.4一元布爾表達(dá)式··············、·······················?！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ??！ぁぁぁぁぁぁぁ??27

7.4.5非表達(dá)式························································································?！ぁぁぁぁぁぁぁ??28

7.4.6奇函數(shù)····························，.······························································?！ぁぁぁぁぁぁぁぁひ?8

7.4.7二元布爾表達(dá)式··················································?！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ??28

7.4.8多元布爾表達(dá)式········································。·················································??29

7.4.9邏輯異或表達(dá)式········。····································?！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ??29

7.4.10等于表達(dá)式·················，···············································‘···························??29

7.4.11邏輯與表達(dá)式··?！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ??！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁひ?0

7.4.12邏輯或表達(dá)式·..................................·········?！ぁぁぁぁぁぁぁぁぁ！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ??30

7.4.13比較表達(dá)式······················································?！ぁぁぁぁぁぁぁぁぁぃぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ??30

7.4.14比較等于·················································...············································??31

7.4.15比較大于·······························。···············································?！ぁぁぁぁぃぁぁぁぁぁぁぁぁぁ??31

7.4.16比較大于等于···········································。。······，······································??31

7.4.17比較小于··························································································，·····??32

7.4.18比較小于等于······························································，····························?！?32

7.4.19比較不等于·············································?！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ?。。??32

7.4.20匹配表達(dá)式····························，······························。································。??33

7.4.21區(qū)間表達(dá)式····?！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぃぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ??！ぁぁぁぁぁぁぁぁぁ?。·········。···············??33

7.4.22布爾定義的函數(shù)···············································?！ぁぁぁぁぁぁぁぁぁ??！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ??34

7.5字符串表達(dá)式·.......................·，········，·········，，·····，······1，·，··，········，，，········，】，??35

7.5.1簡(jiǎn)單字符串表達(dá)式·············?！ぁぁぁぁぁぁぁぁぁ??！ぁぁぁぁぁぁぁぁ?。?！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ??‘····??‘35

7.5.2字符串文字·.....................................................................................................35

7.5.3字符串變量·....................................................................................................35

7.5.4索引表達(dá)式································································································??36

7.5.5子字符串表達(dá)式··························································································??36

7.5.6串聯(lián)表達(dá)式·····················································?！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ??37

7.5.7格式化函數(shù)···············································································、················??38

7.5.8字符串定義的函數(shù)·······································。··········。························??‘·····??38

7.6確定表達(dá)式特性的函數(shù)·············?！ぁぁぁぁぁぁぁぁぁ??！ぁぁぁぁぁ?，····················································??39

7.6.1判斷整型表達(dá)式函數(shù)······················?！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ?。·······································??39

GB/T17645.20-2002/ISO13584-20:1998

7.6.2判斷SQL可映射的函數(shù)·······························································??’二‘二‘二““·42

7.6.3被使用的函數(shù)···········································································。················??45

附錄A(規(guī)范性附錄)實(shí)體名與縮寫········································································??49

附錄B(規(guī)范性附錄)信息對(duì)象注冊(cè)···?！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ??51

B.1文件標(biāo)識(shí)···········?！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ??！ぁぁ?。············??51

B.2模式標(biāo)識(shí)·。?！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ??51

B.2.1ISO13584通用表達(dá)式模式······························?！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ??51

B.2.2ISO13584表達(dá)式模式················································································??51

附錄C(資料性附錄)EXPRESS-G圖...........................................................................52

附錄D(資料性附錄)ISO13584表達(dá)式模式的使用··················