CN111026053A - 基于真值表的模块化程控控制方法及装置 - Google Patents
基于真值表的模块化程控控制方法及装置 Download PDFInfo
- Publication number
- CN111026053A CN111026053A CN201911244653.3A CN201911244653A CN111026053A CN 111026053 A CN111026053 A CN 111026053A CN 201911244653 A CN201911244653 A CN 201911244653A CN 111026053 A CN111026053 A CN 111026053A
- Authority
- CN
- China
- Prior art keywords
- data
- truth table
- program control
- equipment
- control
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
- 238000000034 method Methods 0.000 title claims abstract description 40
- 230000009471 action Effects 0.000 claims abstract description 56
- 230000000875 corresponding effect Effects 0.000 claims abstract description 52
- 238000012856 packing Methods 0.000 claims description 29
- 230000001276 controlling effect Effects 0.000 claims description 26
- 238000004590 computer program Methods 0.000 claims description 16
- 238000006243 chemical reaction Methods 0.000 claims description 4
- 238000004806 packaging method and process Methods 0.000 claims description 4
- 230000006870 function Effects 0.000 description 37
- 238000010586 diagram Methods 0.000 description 35
- 230000008569 process Effects 0.000 description 5
- 101100269850 Caenorhabditis elegans mask-1 gene Proteins 0.000 description 4
- 230000004048 modification Effects 0.000 description 4
- 238000012986 modification Methods 0.000 description 4
- 238000012545 processing Methods 0.000 description 4
- 101000767160 Saccharomyces cerevisiae (strain ATCC 204508 / S288c) Intracellular protein transport protein USO1 Proteins 0.000 description 2
- 102100036822 Ankyrin repeat and KH domain-containing protein 1 Human genes 0.000 description 1
- 101000928335 Homo sapiens Ankyrin repeat and KH domain-containing protein 1 Proteins 0.000 description 1
- 101001099465 Homo sapiens PGC-1 and ERR-induced regulator in muscle protein 1 Proteins 0.000 description 1
- 102100038594 PGC-1 and ERR-induced regulator in muscle protein 1 Human genes 0.000 description 1
- 238000000605 extraction Methods 0.000 description 1
- 230000006872 improvement Effects 0.000 description 1
- 238000004519 manufacturing process Methods 0.000 description 1
- 230000000873 masking effect Effects 0.000 description 1
- 230000003287 optical effect Effects 0.000 description 1
- 238000012360 testing method Methods 0.000 description 1
Images
Classifications
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B19/00—Programme-control systems
- G05B19/02—Programme-control systems electric
- G05B19/418—Total factory control, i.e. centrally controlling a plurality of machines, e.g. direct or distributed numerical control [DNC], flexible manufacturing systems [FMS], integrated manufacturing systems [IMS] or computer integrated manufacturing [CIM]
-
- Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
- Y02—TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
- Y02P—CLIMATE CHANGE MITIGATION TECHNOLOGIES IN THE PRODUCTION OR PROCESSING OF GOODS
- Y02P90/00—Enabling technologies with a potential contribution to greenhouse gas [GHG] emissions mitigation
- Y02P90/02—Total factory control, e.g. smart factories, flexible manufacturing systems [FMS] or integrated manufacturing systems [IMS]
Landscapes
- Engineering & Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Manufacturing & Machinery (AREA)
- Quality & Reliability (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Automation & Control Theory (AREA)
- Programmable Controllers (AREA)
Abstract
本发明提供一种基于真值表的模块化程控控制方法及装置，其中，该装置包括：程控模块，所述程控模块包括数据接收接口、顺序控制单元和控制接口，其中，控制接口与被控设备连接；所述数据接收接口，用于接收真值表数据和连锁动作数据，其中，所述真值表数据由在程控的每一步骤中需要动作的设备应达到的状态而确定；所述连锁动作数据由在程控的每一步骤中需要动作的设备所要实现的连锁动作而确定；所述顺序控制单元，用于根据真值表数据和连锁动作数据按照程控步骤顺序通过控制接口控制设备实现相应的动作。该方案可以简便易用的方式进行程控的组态，并且修改方便，不需要改变组态结构，只需要对参数进行修改。
Description
技术领域
本发明涉及程控控制技术领域，特别涉及一种基于真值表的模块化程控控制方法及装置。
背景技术
在火电厂DCS(Distributed Control System，分布式控制系统)中常会用到程控(程序控制，利用单片机、PLC，或其他嵌入式系统，用电子计算机按照预先编制好的程序实现的自动控制)的方式实现对一系列设备的控制，使其按既定的方式进行启停、开关等操作，即采用程序中的算法块进行组态，每一步需要一个算法块完成既定操作和接受相应反馈。对于程控的建立需要根据设备的数量和步序的多少进行算法块的增减和搭建相应的反馈接受逻辑，具有一定的难度和相当的工作量，如果在调试的过程中需要修改，则可能需要进行大量的编辑。另外，采用编程语言方式的程控控制，这样控制不直观，程序的调试很不方便。
发明内容
本发明实施例提供了一种基于真值表的模块化程控控制方法及装置，解决了现有技术中程控的建立具有一定的难度和相当的工作量、在调试的过程中需要修改时可能需要进行大量的编辑的技术问题。
本发明实施例提供了一种基于真值表的模块化程控控制方法，该方法包括：
接收真值表数据和连锁动作数据，其中，所述真值表数据由在程控的每一步骤中需要动作的设备应达到的状态而确定；所述连锁动作数据由在程控的每一步骤中需要动作的设备所要实现的连锁动作而确定；
根据真值表数据和连锁动作数据按照程控步骤顺序控制设备实现相应的动作。
本发明实施例还提供了一种基于真值表的模块化程控控制装置，该装置包括：程控模块，所述程控模块包括数据接收接口、顺序控制单元和控制接口，其中，控制接口与被控设备连接；
所述数据接收接口，用于接收真值表数据和连锁动作数据，其中，所述真值表数据由在程控的每一步骤中需要动作的设备应达到的状态而确定；所述连锁动作数据由在程控的每一步骤中需要动作的设备所要实现的连锁动作而确定；
所述顺序控制单元，用于根据真值表数据和连锁动作数据按照程控步骤顺序通过控制接口控制设备实现相应的动作。
本发明实施例还提供了一种计算机设备，包括存储器、处理器及存储在存储器上并可在处理器上运行的计算机程序，所述处理器执行所述计算机程序时实现上述所述方法。
本发明实施例还提供了一种计算机可读存储介质，所述计算机可读存储介质存储有执行上述所述方法的计算机程序。
在本发明实施例中，基于真值表进行模块化程控，可以根据设备状态表方便的得到真值表，提高组态效率，以简便易用的方式进行程控的组态，并且修改方便，不需要改变组态结构，只需要对参数进行修改即可。
附图说明
为了更清楚地说明本发明实施例或现有技术中的技术方案，下面将对实施例或现有技术描述中所需要使用的附图作简单地介绍，显而易见地，下面描述中的附图仅仅是本发明的一些实施例，对于本领域普通技术人员来讲，在不付出创造性劳动的前提下，还可以根据这些附图获得其他的附图。
图1是本发明实施例提供的一种基于真值表的模块化程控控制装置接口框图；
图2是一种SELECT功能块示意图；
图3是一种OR功能块示意图；
图4是一种AND功能块示意图；
图5是一种NOT功能块示意图；
图6是一种SUM功能块示意图；
图7是一种SUB功能块示意图；
图8是一种MUL功能块示意图；
图9是一种DEV功能块示意图；
图10是一种RS触发器功能块示意图；
图11是一种GE功能块示意图；
图12是一种LE功能块示意图；
图13是一种EQ功能块示意图；
图14是本发明实施例提供的一种程控逻辑组态示意图(模块总图)；
图15是本发明实施例提供的一种程控逻辑示意图(第一部分)；
图16是本发明实施例提供的一种程控逻辑示意图(第二部分)；
图17是本发明实施例提供的一种程控逻辑示意图(第三部分)；
图18是本发明实施例提供的一种程控逻辑示意图(第四部分)；
图19是本发明实施例提供的一种打包单元PACK功能图；
图20是本发明实施例提供的一种拆包单元UNPACK功能图；
图21是本发明实施例提供的一种顺序控制单元的功能图；
图22是本发明实施例提供的一种顺序控制单元中的每一步骤块功能图。
具体实施方式
下面将结合本发明实施例中的附图，对本发明实施例中的技术方案进行清楚、完整地描述，显然，所描述的实施例仅是本发明一部分实施例，而不是全部的实施例。基于本发明中的实施例，本领域普通技术人员在没有做出创造性劳动前提下所获得的所有其他实施例，都属于本发明保护的范围。
在本发明实施例中，提供了一种基于真值表的模块化程控控制装置，如图1所示，该装置包括：程控模块，所述程控模块包括数据接收接口、顺序控制单元和控制接口，其中，控制接口与被控设备连接；
所述数据接收接口，用于接收真值表数据和连锁动作数据，其中，所述真值表数据由在程控的每一步骤中需要动作的设备应达到的状态而确定；所述连锁动作数据由在程控的每一步骤中需要动作的设备所要实现的连锁动作而确定；
所述顺序控制单元，用于根据真值表数据和连锁动作数据按照程控步骤顺序通过控制接口控制设备实现相应的动作。
在本发明实施例中，所述数据接收接口还用于：接收第一掩码数据，其中，所述第一掩码数据由在程控的每一步骤中需要动作的设备应达到的状态而确定；
所述顺序控制单元具体用于：根据第一掩码数据、真值表数据和连锁动作数据按照步骤顺序通过控制接口控制设备实现相应的动作。
在本发明实施例中，所述数据接收接口还用于：接收程控的每一步骤中所需的系统条件；
所述顺序控制单元具体用于：根据所述真值表数据、第一掩码数据、连锁动作数据、系统条件按照程控步骤通过控制接口控制设备实现相应的动作。
在本发明实施例中，所述数据接收接口还用于：接收反馈数据，其中，反馈数据由顺序控制单元根据在程控的每一步骤中所需动作的设备实际达到的状态数据确定；
所述顺序控制单元具体用于：根据所述真值表数据、第一掩码数据、连锁动作数据、系统条件、反馈数据按照程控步骤顺序通过控制接口控制设备实现相应的动作。
在本发明实施例中，所述程控模块还包括第一打包单元，用于对所述系统条件、反馈数据进行打包处理；
所述顺序控制单元包括第二打包单元、拆包单元、非操作单元、脉冲转换单元、按位与操作单元、控制单元；
其中，所述第二打包单元用于：对每一步的设备群状态和第二掩码数据进行打包，其中，每一步的设备群状态和第二掩码数据根据所述真值表数据、第一掩码数据、连锁动作数据、打包后的系统条件、打包后的反馈数据按照程控步骤顺序控制设备获得；
拆包单元用于：对所述每一步的设备群状态打包数据和第二掩码打包数据分别进行拆包操作，获得每一步的设备群状态拆包数据和第二掩码拆包数据；
非操作单元用于：将所述每一步的设备群状态拆包数据进行非操作，获得每一步的设备群状态非操作数据；
脉冲转换单元用于：将每一步的设备群状态非操作数据和每一步的设备群状态拆包数据转换成脉冲数据；
所述第二打包单元还用于：将转换成的脉冲数据进行打包操作，获得第一打包数据；
所述非操作单元还用于：将第二掩码拆包数据进行非操作；
所述第二打包单元还用于：将执行非操作后的二掩码拆包数据进行打包操作，获得第二打包数据；
按位与操作单元用于：将第一打包数据和第二打包数据进行按位与操作；
所述拆包单元还用于：将进行按位与操作后的第一打包数据和第二打包数据进行拆包操作，获得第一拆包数据；
所述控制单元用于：根据第一拆包数据通过控制接口控制设备实现相应的动作。
在本发明实施例中，所述顺序控制单元还用于：
将反馈数据与真值表数据进行比较，当反馈数据与真值表数据相等时，表明设备已完成相应的动作。
在本发明实施例中，所述顺序控制单元具体用于：
将反馈数据与第一掩码数据进行与操作，获得第一结果；
将第一结果与真值表数据进行比较，获得第二结果；
将第二结果与系统条件进行与操作，获得第三结果；
基于第三结果判断相应步骤的反馈数据是否正常。
在本发明实施例中，所述数据接收接口还用于：接收程控的每一步骤的执行超时时间；
所述顺序控制单元还用于：确定程控的每一步骤的实际执行时间，将所述执行超时时间和实际执行时间进行比较，当实际执行时间超过执行超时时间时，表示相对应的步骤执行失败。
在本发明实施例中，所述程控模块还包括复位接口、失败接口、完成接口；
其中，所述复位接口用于：在程控失败或停止时进行复位操作；
所述失败接口用于：在程控失败时输出失败结果；
所述完成接口用于：在程控完成时输出完成结果。
上述是从功能模块单元的角度来说明的，下面从芯片引脚等角度来说明本装置。本装置采用DCS逻辑组态语言，基于真值表的模块化的通用程控控制方案，只需要用通过控制设备的状态得到真值表填入模块即可；若步序通过需要具备其他条件，可以通过系统条件接口方便的连接。
功能块说明如下：
(1)SELECT功能块如图2所示，SELECT块为模拟量选择块，IN1和IN2为模拟量输入，SEL为选择信号输入，OUT为输出。当SEL为FALSE时，OUT输出IN2的值；当SEL为TRUE时，OUT输出IN1的值。
(2)OR功能块如图3所示，OR块为逻辑“或”，输入IN1～INn任意一个为TRUE时，输出OUT为TRUE；否则，为FALSE。
(3)AND功能块如图4所示，AND块为逻辑“与”，输入IN1～IN2两个都为TRUE时，输出OUT为TRUE；否则，为FALSE。
(4)NOT功能块如图5所示，NOT块为逻辑“非”，输入为TRUE时，输出OUT为FALSE，输入为FALSE时，输出OUT为TRUE。
(5)SUM功能块如图6所示，SUM为加法块，IN1和IN2为模拟量输入，OUT为IN1和IN2模拟量之和的输出。
(6)SUB功能块如图7所示，SUB为减法块，IN1和IN2为模拟量输入，OUT为IN1和IN2模拟量之差的输出。
(7)MUL功能块如图8所示，MUL为乘法块，IN1和IN2为模拟量输入，OUT为IN1和IN2模拟量之积的输出。
(8)DEV功能块如图9所示，DEV为除法块，IN1和IN2为模拟量输入，OUT为IN1和IN2模拟量之商的输出。
(9)RS功能块如图10所示，RS为触发器块，该算法的开关量输入IN1分别为置位端(S)和IN2接复位端(R)，IN1为TRUE，输出OUT为TRUE，IN2为TRUE，输出OUT为FALSE。
(10)GE功能块如图11所示，GE为大于等于块，IN1和IN2为模拟量输入，OUT为IN1和IN2模拟量比较后高值的输出，如果IN1和IN2输入相同，则OUT输出为IN1和IN2的相同值。
(11)LE功能块如图12所示，LE为小于等于块，IN1和IN2为模拟量输入，OUT为IN1和IN2模拟量比较后低值的输出，如果IN1和IN2输入相同，则OUT输出为IN1和IN2的相同值。
(12)EQ功能块如图13所示，IN1和IN2为模拟量。如果IN1等于IN2，输出端OUT输出TRUE，否则为FALSE。
在本发明实施例中，图14为程控逻辑组态示意图(模块总图)，其中，数据接收接口包括真值表接口TABLE1至TABLEn、掩码接口MASK1至MASKn、设备反馈接口FEEDBACK1至FEEDBACKn、系统条件接口PERM1至PERMn。在图14中，整个程控模块需要设置的地方为步序真值表(掩码)(1至n)，系统条件接口和设备联锁动作接口。其中步序真值表(掩码)为每一步应达到的设备状态，每一步对应一个步序真值表(掩码)；系统条件为设备状态以外在每一步中系统还应达到的状态，如压力、温度等；设备联锁接口为根据步序真值表(掩码)在每一步中去动作的设备的联锁接口。设备连锁接口与待控设备(1至n)连接，实现待控设备连锁开/启、关/停。同时，还根据需要连接设备反馈、指令(联锁)和其他接口(复位接口RESET、完成接口COMPLETE、失败接口FAIL、开始接口START)。其中，开始标识TASK_START。同一设备的反馈和指令需要按真值表顺序接入。
根据工艺系统步序，提取真值表，如表1所示：
表1
提取规则如下：
真值表：启/开设备为1，停/关设备为0，某一步序不判断/不发指令的为1；
掩码：启/开设备为0，停/关设备为0，某一步序不判断/不发指令的为1；
将得到的0/1数字串组成二进制数据，转化为十进制后得到最终的真值表。
在本发明实施例中，图15为程控逻辑示意图(第一部分)，在图15中，程控模块中控制是按照顺序执行的，所以程模块包括顺序控制单元。EQUIP_FEEDBACKS为设备反馈打包数据(具体获得方式可见图16)；SYSTEM_PERMS为系统条件打包数据(具体获得方式可见图17)；EQUIP_COMMANDS为指令打包数据(其具体的使用可见图18)，程控启动后，EQUIP_COMMANDS按照步序输出每一步的设备群状态；EQUIP_MASKS_OUT为掩码打包数据。TASK_START为程控启动信号输入，输入为TRUE时，程控开始；复位接口提供程控失败或停止的功能，输入TRUE后，模块复位到初始状态；完成接口为程控成功完成后输出TRUE，否则为FALSE；失败接口为程控失败时输出TRUE，否则为FALSE。
如图16所示，设备1-n反馈(即输入bitn～bit0)经过打包单元的打包处理得到EQUIP_FEEDBACKS。
如图17所示，系统条件1-n(即输入bitn～bit0)经过打包单元的打包处理得到SYSTEM_PERMS。
如图18所示，指令打包数据EQUIP_COMMANDS经过拆包单元(UNPACK)拆包后得到输出bitn～bit0，输出bitn～bit0的每一个经过非(NOT)功能块，然后在经过脉冲功能块得到脉冲数据，再与输出bitn～bit0共同构成打包单元的输入(bitk、bitk-1～bit0，其中k＝2n)，得到输出out。掩码打包数据EQUIP_MASKS_OUT经过拆包单元(UNPACK)拆包后得到输出bitn～bit0，输出bitn～bit0的每一个经过非(NOT)功能块，得到非后bitn～bit0，两份的bitn～bit0共同构成打包单元的输入，得到输出out。两者得到的输出out经过按位与功能块后的输出作为拆包模块的输入，最后得到控制设备1-n联锁开/启、关/停的控制指令。
在本发明实施例中，打包单元(PACK)的实现原理如图19所示：
将输入bit15～bit0分别乘以215～20：
bit15×32768(215)
bit14×16384(214)
bit13×8192(213)
bit12×4096(212)
bit11×2048(211)
bit10×1024(210)
bit9×512(29)
bit8×256(28)
bit7×128(27)
bit6×64(26)
bit5×32(25)
bit4×16(24)
bit3×8(23)
bit2×4(22)
bit1×2(21)
bit0×1(20)
然后将bit15～bit0与215～20分别相乘后的结果相加(SUM)，得到了的输出(OUT)。
如此，将bit15～bit0的16位开关量输入转化为了模拟量输出OUT。
在本发明实施例中，拆包单元(UNPACK)的实现原理如图20所示：
将输入IN减去32768(215)，判断结果是否大于等于0。若结果大于等于0，输出bit15为TRUE，否则为FALSE。若结果为TRUE，将IN减去32768(215)的值作为下一步的输入；若结果为FALSE，将IN的值作为下一步的输入。
将本步的输入减去16384(214)，判断结果是否大于等于0。若结果大于等于0，输出bit14为TRUE，否则为FALSE。若结果为TRUE，将本步的输入减去16384(214)的值作为下一步的输入；若结果为FALSE，将本步的输入作为下一步的输入。
将本步的输入减去8192(213)，判断结果是否大于等于0。若结果大于等于0，输出bit13为TRUE，否则为FALSE。若结果为TRUE，将本步的输入减去8192(213)的值作为下一步的输入；若结果为FALSE，将本步的输入作为下一步的输入。
将本步的输入减去4096(212)，判断结果是否大于等于0。若结果大于等于0，输出bit12为TRUE，否则为FALSE。若结果为TRUE，将本步的输入减去4096(212)的值作为下一步输入；若结果为FALSE，将本步的输入作为下一步的输入。
将本步的输入减去2048(211)，判断结果是否大于等于0。若结果大于等于0，输出bit11为TRUE，否则为FALSE。若结果为TRUE，将本步的输入减去2048(211)的值作为下一步的输入；若结果为FALSE，将本步的输入作为下一步的输入。
将本步的输入减去1024(210)，判断结果是否大于等于0。若结果大于等于0，输出bit10为TRUE，否则为FALSE。若结果为TRUE，将本步的输入减去1024(210)的值作为下一步的输入；若结果为FALSE，将本步的输入作为下一步的输入。
将本步的输入减去512(29)，判断结果是否大于等于0。若结果大于等于0，输出bit9为TRUE，否则为FALSE。若结果为TRUE，将本步的输入减去512(29)的值作为下一步的输入；若结果为FALSE，将本步的输入作为下一步的输入。
将本步的输入减去256(28)，判断结果是否大于等于0。若结果大于等于0，输出bit8为TRUE，否则为FALSE。若结果为TRUE，将本步的输入减去256(28)的值作为下一步的输入；若结果为FALSE，将本步的输入作为下一步的输入。
将本步的输入减去128(27)，判断结果是否大于等于0。若结果大于等于0，输出bit7为TRUE，否则为FALSE。若结果为TRUE，将本步的输入减去128(27)的值作为下一步的输入；若结果为FALSE，将本步的输入作为下一步的输入。
将本步的输入减去64(26)，判断结果是否大于等于0。若结果大于等于0，输出bit6为TRUE，否则为FALSE。若结果为TRUE，将本步的输入减去64(26)的值作为下一步的输入；若结果为FALSE，将本步的输入作为下一步的输入。
将本步的输入减去32(25)，判断结果是否大于等于0。若结果大于等于0，输出bit5为TRUE，否则为FALSE。若结果为TRUE，将本步的输入减去32(25)的值作为下一步的输入；若结果为FALSE，将本步的输入作为下一步的输入。
将本步的输入减去16(24)，判断结果是否大于等于0。若结果大于等于0，输出bit4为TRUE，否则为FALSE。若结果为TRUE，将本步的输入减去16(24)的值作为下一步的输入；若结果为FALSE，将本步的输入作为下一步的输入。
将本步的输入减去8(23)，判断结果是否大于等于0。若结果大于等于0，输出bit3为TRUE，否则为FALSE。若结果为TRUE，将本步的输入减去8(23)的值作为下一步的输入；若结果为FALSE，将本步的输入作为下一步的输入。
将本步的输入减去4(22)，判断结果是否大于等于0。若结果大于等于0，输出bit2为TRUE，否则为FALSE。若结果为TRUE，将本步的输入减去4(22)的值作为下一步的输入；若结果为FALSE，将本步的输入作为下一步的输入。
将本步的输入减去2(21)，判断结果是否大于等于0。若结果大于等于0，输出bit1为TRUE，否则为FALSE。若结果为TRUE，将本步的输入减去2(21)的值作为下一步的输入；若结果为FALSE，将本步的输入作为下一步的输入。
将本步的输入减去1(20)，判断结果是否大于等于0。若结果大于等于0，输出bit0为TRUE，否则为FALSE。
如此，将模拟量输入IN转化为了bit15～bit0的16位开关量输出。
在本发明实施例中，顺序控制单元的实现功能如图21所示。顺序控制单元是由n个步骤功能块串联实现。以步骤1功能块为例：
(1)开始：程控开始条件，作为步骤1的开始条件，当开始为TRUE时，步骤1开始执行。
(2)系统条件1：当步骤1开始执行后，系统条件1为TRUE，说明步骤1具备pass的条件。
(3)Table1：Table1是步骤1开始执行后，动作步骤1需要动作的设备(阀门，泵等)的状态对应的真值表的值，当Table1等于Feedback1时，步骤1具备pass条件
(4)Feedback1：当步骤1开始执行后，步骤1会发出指令，动作对应的设备(阀门，泵等)动作后，反馈状态对应的真值表的值为Feedback1，当Feedback1等于Table1时，代表设备已经按指令动作完成，步骤1具备pass的条件。
(5)掩码1：掩码1是步骤1动作设备前后，不需要判定反馈状态的设备所对应的真值表的值。
(6)超时时间：步骤1从开始执行到complete所需要的最大时间，当超过超时时间时，步骤1失败。
(7)指令、掩码与failout说明：
当开始条件为TRUE时，经过步骤1功能块，out输出为TRUE，out再经过select选择功能块，选择int1：Table1为输出指令，动作相应的设备，out同时经过延时功能块，当超过超时时间时，failout为TRUE，步骤1不能完成，当小于超时时间时failout为FALSE，满足其他条件时，步骤1的complete为TRUE，代表步骤1执行完成。Out同时还经过另外一个select选择块，选择输出int1：掩码1，所以当步骤1的out为TRUE时，指令输出Table1，掩码输出掩码1(指令和掩码都对应真值表的值)。
(8)pass条件说明：
Feedback1与掩码1，经过一个按位与的功能块，判定设备的反馈状态(真值表的值)，反馈状态在经过等于功能块，判断是否与Table1相等，相等输出TRUE，不等输出FALSE，当等于功能块输出为TRUE时，再经过一个AND功能块，同系统条件1一起判断是否同时为TRUE，同时为TRUE时，pass为TRUE，代表步骤1反馈正常。
(9)complete说明：
当步骤1pass为TRUE时，且reset为FALSE且failout为FALSE时，complete为TRUE，代表步骤1完成。
(10)当步骤1完成后，步骤1的complete为TRUE，连接到步骤2的开始条件上，作为步骤2的开始条件，当步骤2开始执行后，指令输出为Table2，掩码输出为掩码2，动作步骤2需要动作的设备。步骤2的complete连接到步骤3的开始条件上……连接到步骤n，完成步骤功能块的串联，实现了顺序控制单元的功能。
在本发明实施例中，每个步骤块的功能图如图22所示。
(1)输入端：
开始：步序开始条件
Reset：步序复位条件，当reset为TRUE时此步序复位，不在执行。
Pass：步序完成条件，当pass为TRUE时，代表此步序完成条件具备。
Failin：步序失败条件，当failin为TRUE时，代表此步序执行失败。
(2)输出端：
Out：代表步序开始执行：开始为TRUE时，reset为0时经过RS触发器功能块，out输出为TRUE。
Complete：代表步序完成：out为TRUE，pass为TRUE且failout为0，经过AND功能块，complete输出为TRUE。
Failout：代表步序失败：当failin为TRUE且reset为0时，经过RS触发器功能块，failout输出为TRUE。
基于同一发明构思，本发明实施例中还提供了一种基于真值表的模块化程控控制方法，如下面的实施例所述。由于基于真值表的模块化程控控制方法解决问题的原理与基于真值表的模块化程控控制装置相似，因此基于真值表的模块化程控控制方法的实施可以参见基于真值表的模块化程控控制装置的实施，重复之处不再赘述。
该基于真值表的模块化程控控制方法包括：接收真值表数据和连锁动作数据，其中，所述真值表数据由在程控的每一步骤中需要动作的设备应达到的状态而确定；所述连锁动作数据由在程控的每一步骤中需要动作的设备所要实现的连锁动作而确定；
根据真值表数据和连锁动作数据按照程控步骤顺序控制设备实现相应的动作。
在本发明实施例中，还包括：
接收第一掩码数据，其中，所述第一掩码数据由在程控的每一步骤中需要动作的设备应达到的状态而确定；
根据真值表数据和连锁动作数据按照程控步骤顺序控制设备实现相应的动作，包括：
根据第一掩码数据、真值表数据和连锁动作数据按照步骤顺序控制设备实现相应的动作。
在本发明实施例中，还包括：
接收程控的每一步骤中所需的系统条件；
根据真值表数据和连锁动作数据按照程控步骤顺序控制设备实现相应的动作，包括：
根据所述真值表数据、第一掩码数据、连锁动作数据、系统条件按照程控步骤控制设备实现相应的动作。
在本发明实施例中，还包括：
接收反馈数据，所述反馈数据根据在程控的每一步骤中所需动作的设备实际达到的状态数据而确定；
根据真值表数据和连锁动作数据按照程控步骤顺序控制设备实现相应的动作，包括：
根据所述真值表数据、第一掩码数据、连锁动作数据、系统条件、反馈数据按照程控步骤顺序控制设备实现相应的动作。
在本发明实施例中，还包括：
对所述系统条件、反馈数据进行打包处理；
根据所述真值表数据、第一掩码数据、连锁动作数据、系统条件按照程控步骤顺序控制设备实现相应的动作，包括：
根据所述真值表数据、第一掩码数据、连锁动作数据、打包后的系统条件、打包后的反馈数据按照程控步骤顺序控制设备，获得每一步的设备群状态打包数据和第二掩码打包数据；
对所述每一步的设备群状态打包数据和第二掩码打包数据分别进行拆包操作，获得每一步的设备群状态拆包数据和第二掩码拆包数据；
将所述每一步的设备群状态拆包数据进行非操作，获得每一步的设备群状态非操作数据，将每一步的设备群状态非操作数据和每一步的设备群状态拆包数据转换成脉冲数据后进行打包操作，获得第一打包数据；
将第二掩码拆包数据进行非操作，再进行打包操作，获得第二打包数据；
将第一打包数据和第二打包数据进行按位与操作，再进行拆包操作，获得第一拆包数据；
根据第一拆包数据控制设备实现相应的动作。
在本发明实施例中，还包括：
将反馈数据与真值表数据进行比较，当反馈数据与真值表数据相等时，表明设备已完成相应的动作。
在本发明实施例中，根据所述真值表数据、第一掩码数据、连锁动作数据、系统条件按照程控步骤顺序控制设备实现相应的动作，包括：
将反馈数据与第一掩码数据进行与操作，获得第一结果；
将第一结果与真值表数据进行比较，获得第二结果；
将第二结果与系统条件进行与操作，获得第三结果；
基于第三结果判断相应步骤的反馈数据是否正常。
在本发明实施例中，还包括：
接收程控的每一步骤的执行超时时间；
确定程控的每一步骤的实际执行时间；
将所述执行超时时间和实际执行时间进行比较，当实际执行时间超过执行超时时间时，表示相对应的步骤执行失败。
在本发明实施例中，还包括：
在程控失败或停止时进行复位操作；
在程控失败时输出失败结果；在程控完成时输出完成结果。
本发明实施例还提供了一种计算机设备，包括存储器、处理器及存储在存储器上并可在处理器上运行的计算机程序，所述处理器执行所述计算机程序时实现上述所述方法。
本发明实施例还提供了一种计算机可读存储介质，所述计算机可读存储介质存储有执行上述所述方法的计算机程序。
综上所述，该基于真值表的模块化程控控制装置及方法具有如下优点：
1)采用DCS逻辑组态语言，只需要用通过控制设备的状态得到真值表填入模块即可，提高组态效率；
2)方便修改步序和设备状态，便于使用测试。
本领域内的技术人员应明白，本发明的实施例可提供为方法、系统、或计算机程序产品。因此，本发明可采用完全硬件实施例、完全软件实施例、或结合软件和硬件方面的实施例的形式。而且，本发明可采用在一个或多个其中包含有计算机可用程序代码的计算机可用存储介质(包括但不限于磁盘存储器、CD-ROM、光学存储器等)上实施的计算机程序产品的形式。
本发明是参照根据本发明实施例的方法、设备(系统)、和计算机程序产品的流程图和/或方框图来描述的。应理解可由计算机程序指令实现流程图和/或方框图中的每一流程和/或方框、以及流程图和/或方框图中的流程和/或方框的结合。可提供这些计算机程序指令到通用计算机、专用计算机、嵌入式处理机或其他可编程数据处理设备的处理器以产生一个机器，使得通过计算机或其他可编程数据处理设备的处理器执行的指令产生用于实现在流程图一个流程或多个流程和/或方框图一个方框或多个方框中指定的功能的装置。
这些计算机程序指令也可存储在能引导计算机或其他可编程数据处理设备以特定方式工作的计算机可读存储器中，使得存储在该计算机可读存储器中的指令产生包括指令装置的制造品，该指令装置实现在流程图一个流程或多个流程和/或方框图一个方框或多个方框中指定的功能。
这些计算机程序指令也可装载到计算机或其他可编程数据处理设备上，使得在计算机或其他可编程设备上执行一系列操作步骤以产生计算机实现的处理，从而在计算机或其他可编程设备上执行的指令提供用于实现在流程图一个流程或多个流程和/或方框图一个方框或多个方框中指定的功能的步骤。
以上所述仅为本发明的优选实施例而已，并不用于限制本发明，对于本领域的技术人员来说，本发明实施例可以有各种更改和变化。凡在本发明的精神和原则之内，所作的任何修改、等同替换、改进等，均应包含在本发明的保护范围之内。
Claims (20)
1.一种基于真值表的模块化程控控制方法，其特征在于，包括：
接收真值表数据和连锁动作数据，其中，所述真值表数据由在程控的每一步骤中需要动作的设备应达到的状态而确定；所述连锁动作数据由在程控的每一步骤中需要动作的设备所要实现的连锁动作而确定；
根据真值表数据和连锁动作数据按照程控步骤顺序控制设备实现相应的动作。
2.如权利要求1所述的基于真值表的模块化程控控制方法，其特征在于，还包括：
接收第一掩码数据，其中，所述第一掩码数据由在程控的每一步骤中需要动作的设备应达到的状态而确定；
根据真值表数据和连锁动作数据按照程控步骤顺序控制设备实现相应的动作，包括：
根据第一掩码数据、真值表数据和连锁动作数据按照步骤顺序控制设备实现相应的动作。
3.如权利要求2所述的基于真值表的模块化程控控制方法，其特征在于，还包括：
接收程控的每一步骤中所需的系统条件；
根据真值表数据和连锁动作数据按照程控步骤顺序控制设备实现相应的动作，包括：
根据所述真值表数据、第一掩码数据、连锁动作数据、系统条件按照程控步骤控制设备实现相应的动作。
4.如权利要求3所述的基于真值表的模块化程控控制方法，其特征在于，还包括：
接收反馈数据，所述反馈数据根据在程控的每一步骤中所需动作的设备实际达到的状态数据而确定；
根据真值表数据和连锁动作数据按照程控步骤顺序控制设备实现相应的动作，包括：
根据所述真值表数据、第一掩码数据、连锁动作数据、系统条件、反馈数据按照程控步骤顺序控制设备实现相应的动作。
5.如权利要求4所述的基于真值表的模块化程控控制方法，其特征在于，还包括：
对所述系统条件、反馈数据进行打包处理；
根据所述真值表数据、第一掩码数据、连锁动作数据、系统条件按照程控步骤顺序控制设备实现相应的动作，包括：
根据所述真值表数据、第一掩码数据、连锁动作数据、打包后的系统条件、打包后的反馈数据按照程控步骤顺序控制设备，获得每一步的设备群状态打包数据和第二掩码打包数据；
对所述每一步的设备群状态打包数据和第二掩码打包数据分别进行拆包操作，获得每一步的设备群状态拆包数据和第二掩码拆包数据；
将所述每一步的设备群状态拆包数据进行非操作，获得每一步的设备群状态非操作数据，将每一步的设备群状态非操作数据和每一步的设备群状态拆包数据转换成脉冲数据后进行打包操作，获得第一打包数据；
将第二掩码拆包数据进行非操作，再进行打包操作，获得第二打包数据；
将第一打包数据和第二打包数据进行按位与操作，再进行拆包操作，获得第一拆包数据；
根据第一拆包数据控制设备实现相应的动作。
6.如权利要求4所述的基于真值表的模块化程控控制方法，其特征在于，还包括：
将反馈数据与真值表数据进行比较，当反馈数据与真值表数据相等时，表明设备已完成相应的动作。
7.如权利要求4所述的基于真值表的模块化程控控制方法，其特征在于，根据所述真值表数据、第一掩码数据、连锁动作数据、系统条件按照程控步骤顺序控制设备实现相应的动作，包括：
将反馈数据与第一掩码数据进行与操作，获得第一结果；
将第一结果与真值表数据进行比较，获得第二结果；
将第二结果与系统条件进行与操作，获得第三结果；
基于第三结果判断相应步骤的反馈数据是否正常。
8.如权利要求1所述的基于真值表的模块化程控控制方法，其特征在于，还包括：
接收程控的每一步骤的执行超时时间；
确定程控的每一步骤的实际执行时间；
将所述执行超时时间和实际执行时间进行比较，当实际执行时间超过执行超时时间时，表示相对应的步骤执行失败。
9.如权利要求1所述的基于真值表的模块化程控控制方法，其特征在于，还包括：
在程控失败或停止时进行复位操作；
在程控失败时输出失败结果；在程控完成时输出完成结果。
10.一种基于真值表的模块化程控控制装置，其特征在于，包括：程控模块，所述程控模块包括数据接收接口、顺序控制单元和控制接口，其中，控制接口与被控设备连接；
所述数据接收接口，用于接收真值表数据和连锁动作数据，其中，所述真值表数据由在程控的每一步骤中需要动作的设备应达到的状态而确定；所述连锁动作数据由在程控的每一步骤中需要动作的设备所要实现的连锁动作而确定；
所述顺序控制单元，用于根据真值表数据和连锁动作数据按照程控步骤顺序通过控制接口控制设备实现相应的动作。
11.如权利要求10所述的基于真值表的模块化程控控制装置，其特征在于，所述数据接收接口还用于：接收第一掩码数据，其中，所述第一掩码数据由在程控的每一步骤中需要动作的设备应达到的状态而确定；
所述顺序控制单元具体用于：根据第一掩码数据、真值表数据和连锁动作数据按照步骤顺序通过控制接口控制设备实现相应的动作。
12.如权利要求11所述的基于真值表的模块化程控控制装置，其特征在于，所述数据接收接口还用于：接收程控的每一步骤中所需的系统条件；
所述顺序控制单元具体用于：根据所述真值表数据、第一掩码数据、连锁动作数据、系统条件按照程控步骤通过控制接口控制设备实现相应的动作。
13.如权利要求12所述的基于真值表的模块化程控控制装置，其特征在于，所述数据接收接口还用于：接收反馈数据，其中，反馈数据由顺序控制单元根据在程控的每一步骤中所需动作的设备实际达到的状态数据确定；
所述顺序控制单元具体用于：根据所述真值表数据、第一掩码数据、连锁动作数据、系统条件、反馈数据按照程控步骤顺序通过控制接口控制设备实现相应的动作。
14.如权利要求13所述的基于真值表的模块化程控控制装置，其特征在于，所述程控模块还包括第一打包单元，用于对所述系统条件、反馈数据进行打包处理；
所述顺序控制单元包括第二打包单元、拆包单元、非操作单元、脉冲转换单元、按位与操作单元、控制单元；
其中，所述第二打包单元用于：对每一步的设备群状态和第二掩码数据进行打包，其中，每一步的设备群状态和第二掩码数据根据所述真值表数据、第一掩码数据、连锁动作数据、打包后的系统条件、打包后的反馈数据按照程控步骤顺序控制设备获得；
拆包单元用于：对所述每一步的设备群状态打包数据和第二掩码打包数据分别进行拆包操作，获得每一步的设备群状态拆包数据和第二掩码拆包数据；
非操作单元用于：将所述每一步的设备群状态拆包数据进行非操作，获得每一步的设备群状态非操作数据；
脉冲转换单元用于：将每一步的设备群状态非操作数据和每一步的设备群状态拆包数据转换成脉冲数据；
所述第二打包单元还用于：将转换成的脉冲数据进行打包操作，获得第一打包数据；
所述非操作单元还用于：将第二掩码拆包数据进行非操作；
所述第二打包单元还用于：将执行非操作后的二掩码拆包数据进行打包操作，获得第二打包数据；
按位与操作单元用于：将第一打包数据和第二打包数据进行按位与操作；
所述拆包单元还用于：将进行按位与操作后的第一打包数据和第二打包数据进行拆包操作，获得第一拆包数据；
所述控制单元用于：根据第一拆包数据通过控制接口控制设备实现相应的动作。
15.如权利要求13所述的基于真值表的模块化程控控制装置，其特征在于，所述顺序控制单元还用于：
将反馈数据与真值表数据进行比较，当反馈数据与真值表数据相等时，表明设备已完成相应的动作。
16.如权利要求13所述的基于真值表的模块化程控控制装置，其特征在于，所述顺序控制单元具体用于：
将反馈数据与第一掩码数据进行与操作，获得第一结果；
将第一结果与真值表数据进行比较，获得第二结果；
将第二结果与系统条件进行与操作，获得第三结果；
基于第三结果判断相应步骤的反馈数据是否正常。
17.如权利要求10所述的基于真值表的模块化程控控制装置，其特征在于，所述数据接收接口还用于：接收程控的每一步骤的执行超时时间；
所述顺序控制单元还用于：确定程控的每一步骤的实际执行时间，将所述执行超时时间和实际执行时间进行比较，当实际执行时间超过执行超时时间时，表示相对应的步骤执行失败。
18.如权利要求10所述的基于真值表的模块化程控控制装置，其特征在于，所述程控模块还包括复位接口、失败接口、完成接口；
其中，所述复位接口用于：在程控失败或停止时进行复位操作；
所述失败接口用于：在程控失败时输出失败结果；
所述完成接口用于：在程控完成时输出完成结果。
19.一种计算机设备，包括存储器、处理器及存储在存储器上并可在处理器上运行的计算机程序，其特征在于，所述处理器执行所述计算机程序时实现权利要求1至9任一所述方法。
20.一种计算机可读存储介质，其特征在于，所述计算机可读存储介质存储有执行权利要求1至9任一所述方法的计算机程序。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201911244653.3A CN111026053B (zh) | 2019-12-06 | 2019-12-06 | 基于真值表的模块化程控控制方法及装置 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201911244653.3A CN111026053B (zh) | 2019-12-06 | 2019-12-06 | 基于真值表的模块化程控控制方法及装置 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN111026053A true CN111026053A (zh) | 2020-04-17 |
| CN111026053B CN111026053B (zh) | 2021-03-23 |
Family
ID=70207473
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201911244653.3A Active CN111026053B (zh) | 2019-12-06 | 2019-12-06 | 基于真值表的模块化程控控制方法及装置 |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN111026053B (zh) |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN113359530A (zh) * | 2021-06-16 | 2021-09-07 | 浙江中控技术股份有限公司 | 一种顺序控制方法及装置 |
| CN114137919A (zh) * | 2021-11-26 | 2022-03-04 | 浙江中控技术股份有限公司 | 工业控制系统的控制方法及装置、处理设备和存储介质 |
Citations (6)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN103869801A (zh) * | 2012-12-13 | 2014-06-18 | 中广核工程有限公司 | 核电站仪控逻辑功能块的测试方法和系统 |
| GB2522111A (en) * | 2013-11-15 | 2015-07-15 | Ultra Electronics Ltd | Method and apparatus for controlling aircraft control systems |
| CN205430052U (zh) * | 2016-03-08 | 2016-08-03 | 西安霍威电源有限公司 | 一种模块化程控电源 |
| CN106094742A (zh) * | 2016-05-31 | 2016-11-09 | 苏州时代华理电气有限公司 | 一种安全仪表控制系统 |
| CN106249632A (zh) * | 2016-09-23 | 2016-12-21 | 中国核动力研究设计院 | 一种用于核电厂仪控系统的优选模块 |
| CN107209661A (zh) * | 2014-09-26 | 2017-09-26 | 英特尔公司 | 用于提供simd sm4加密块密码功能性的指令和逻辑 |
-
2019
- 2019-12-06 CN CN201911244653.3A patent/CN111026053B/zh active Active
Patent Citations (6)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN103869801A (zh) * | 2012-12-13 | 2014-06-18 | 中广核工程有限公司 | 核电站仪控逻辑功能块的测试方法和系统 |
| GB2522111A (en) * | 2013-11-15 | 2015-07-15 | Ultra Electronics Ltd | Method and apparatus for controlling aircraft control systems |
| CN107209661A (zh) * | 2014-09-26 | 2017-09-26 | 英特尔公司 | 用于提供simd sm4加密块密码功能性的指令和逻辑 |
| CN205430052U (zh) * | 2016-03-08 | 2016-08-03 | 西安霍威电源有限公司 | 一种模块化程控电源 |
| CN106094742A (zh) * | 2016-05-31 | 2016-11-09 | 苏州时代华理电气有限公司 | 一种安全仪表控制系统 |
| CN106249632A (zh) * | 2016-09-23 | 2016-12-21 | 中国核动力研究设计院 | 一种用于核电厂仪控系统的优选模块 |
Non-Patent Citations (3)
| Title |
|---|
| A.L. WHITE: "《Comments on modified condition/decision coverage for software testing of flight control software》", 《2001 IEEE AEROSPACE CONFERENCE PROCEEDINGS》 * |
| 任天庆: "《卡诺图进行程控气路及连锁气路设计法》", 《铸造设备自动控制系统设计》 * |
| 方小明: "《基于4台通风机的PLC逻辑量控制矿井通风系统》", 《南方农机》 * |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN113359530A (zh) * | 2021-06-16 | 2021-09-07 | 浙江中控技术股份有限公司 | 一种顺序控制方法及装置 |
| CN114137919A (zh) * | 2021-11-26 | 2022-03-04 | 浙江中控技术股份有限公司 | 工业控制系统的控制方法及装置、处理设备和存储介质 |
Also Published As
| Publication number | Publication date |
|---|---|
| CN111026053B (zh) | 2021-03-23 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN111026053B (zh) | 基于真值表的模块化程控控制方法及装置 | |
| CN104065545B (zh) | 基于Modbus协议的RS485总线通讯方法及基于该通讯方法的电力电子系统 | |
| Boute | The binary decision machine as programmable controller | |
| WO2009155993A1 (en) | A safety system for a machine | |
| CN103283149B (zh) | 用于处理数据元素序列的装置和方法 | |
| CN110705117B (zh) | 一种数字孪生系统复杂任务可配置高效求解方法和系统 | |
| CN103135989A (zh) | 一种回调函数代码生成方法及装置 | |
| CN104793919A (zh) | 一种蒙哥马利模乘装置及具有其的嵌入式安全芯片 | |
| CN108696277A (zh) | 模数转换器 | |
| CN102591200B (zh) | 一种fpga控制系统开发平台 | |
| US20030041300A1 (en) | Universal device for processing Reed-Solomon forward error-correction encoded messages | |
| Vyatkin et al. | Object-oriented modular place/transition formalism for systematic modeling and validation of industrial automation systems | |
| CN111190571B (zh) | 一种基于二元扩域的模乘电路及其控制方法 | |
| CN114996204A (zh) | 一种片上系统可配置装置 | |
| CN104461619B (zh) | 一种嵌入式软件功能可配置方法 | |
| CN205375150U (zh) | 一种在fpga平台实现plc控制装置 | |
| CN103309270B (zh) | 一种基于fpga的可变参数pi控制器 | |
| CN106527175B (zh) | 分散式外围设备 | |
| CN201097200Y (zh) | 利用图形操作设定的输入/输出模块系统 | |
| CN111832714A (zh) | 运算方法及装置 | |
| CN109189476B (zh) | Fpga的控制流执行方法、装置、设备及介质 | |
| Lee et al. | Conversion of ladder diagram to petri net using module synthesis technique | |
| CN103758583A (zh) | 基于deh的汽轮机的调门配汽曲线转换装置 | |
| Radecka et al. | Arithmetic transforms for verifying compositions of sequential datapaths | |
| CN108268243A (zh) | 一种基于查找的复合域乘法装置 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| PB01 | Publication | ||
| PB01 | Publication | ||
| SE01 | Entry into force of request for substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| GR01 | Patent grant | ||
| GR01 | Patent grant |