CN112380205B - 一种分布式架构的特征自动生成方法和系统 - Google Patents

一种分布式架构的特征自动生成方法和系统 Download PDF

Info

Publication number
CN112380205B
CN112380205B CN202011283601.XA CN202011283601A CN112380205B CN 112380205 B CN112380205 B CN 112380205B CN 202011283601 A CN202011283601 A CN 202011283601A CN 112380205 B CN112380205 B CN 112380205B
Authority
CN
China
Prior art keywords
data
feature
partition
node
sample
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.)
Active
Application number
CN202011283601.XA
Other languages
English (en)
Other versions
CN112380205A (zh
Inventor
杨帆
周楚杰
黄馨
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Beijing Rongqiniu Information Technology Co ltd
Original Assignee
Beijing Rongqiniu Information Technology Co ltd
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by Beijing Rongqiniu Information Technology Co ltd filed Critical Beijing Rongqiniu Information Technology Co ltd
Priority to CN202011283601.XA priority Critical patent/CN112380205B/zh
Publication of CN112380205A publication Critical patent/CN112380205A/zh
Application granted granted Critical
Publication of CN112380205B publication Critical patent/CN112380205B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F16/00Information retrieval; Database structures therefor; File system structures therefor
    • G06F16/20Information retrieval; Database structures therefor; File system structures therefor of structured data, e.g. relational data
    • G06F16/21Design, administration or maintenance of databases
    • G06F16/215Improving data quality; Data cleansing, e.g. de-duplication, removing invalid entries or correcting typographical errors
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F16/00Information retrieval; Database structures therefor; File system structures therefor
    • G06F16/20Information retrieval; Database structures therefor; File system structures therefor of structured data, e.g. relational data
    • G06F16/22Indexing; Data structures therefor; Storage structures
    • G06F16/2282Tablespace storage structures; Management thereof
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F16/00Information retrieval; Database structures therefor; File system structures therefor
    • G06F16/20Information retrieval; Database structures therefor; File system structures therefor of structured data, e.g. relational data
    • G06F16/27Replication, distribution or synchronisation of data between databases or within a distributed database system; Distributed database system architectures therefor
    • G06F16/278Data partitioning, e.g. horizontal or vertical partitioning

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Databases & Information Systems (AREA)
  • Data Mining & Analysis (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Computing Systems (AREA)
  • Software Systems (AREA)
  • Quality & Reliability (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)

Abstract

本发明涉及一种分布式架构的特征自动生成方法,包括:S1,从数据库中抽取样本对应的数据,每张表存储为一张新的数据表;S2,对抽取的数据进行清洗加工;S3,将数据表进行分区,使得归属同一个样本的所有数据都存放到同一个分区中;S4,采用分布式计算引擎对数据进行特征生成;S5,将每个子节点生成的特征数据文件进行合并,合成一个完整的特征数据文件。本发明还对应提出了一种分布式架构的特征自动生成系统。本发明实现了一种针对特征自动生成算法的分布式架构,能够应用分布式计算高效率的进行特征自动生成,能够进行大数据处理,保证了特征的高效生成。

Description

一种分布式架构的特征自动生成方法和系统
技术领域
本发明涉及机器学习技术领域,更具体地,涉及一种分布式架构的特征自动生成方法和系统。
背景技术
随着大数据人工智能技术的普及,通过机器学习算法进行数据分析处理的方法逐步被各个行业的工程人员所采用。同时,为了应对日益增长的大数据处理需要,分布式计算已经被广泛应用到数据处理与计算中。
机器学习算法的输入数据被称为特征,是通过一系列工程方法将原始数据加工而成的。目前,特征生成方法有如下几种:
1)人工特征生成:技术人员经过底层数据的清洗,筛选,特征逻辑的设计,开发特征计算代码等过程。需要花费技术人员大量的时间,效率很低。尤其是需要对大数据进行加工处理时,需要根据处理方法针对性的设计分布式处理架构,此时依赖于技术人员的处理经验与工程能力。
2)半自动特征生成:现有的机器学习平台,可基于图形界面的交互方式来完成特征生成流程。流程主要为:技术人员指定特征生成逻辑,并手动输入到平台中,平台根据用户指定特征生成逻辑进行计算,生成特征。该方法依赖于技术人员的特征开发经验,无法对非专业人员使用,并且在需要生成大量特征时,效率较低。
3)自动特征生成:自动特征生成是将特征生成的逻辑进行抽象、实现后固定下来,用于自动处理数据生成特征的一种方法。自动特征生成一般不依赖于使用人员的技术能力与业务经验,是一种更加智能化、高效率、低门槛的特征生成方法。但是目前自动特征生成算法仍不成熟,尤其在大数据处理的实际情况下,还没有可靠的分布式计算方法。
发明内容
针对背景技术中的问题,本发明的明目的是:自动对原始数据进行处理分析,生成正确的有效的特征。对于非专业技术人员,可以通过本发明的系统方便快捷的生成供模型建模使用的特征变量。对于专业技术人员,可以通过本发明的系统快速测试、分析或迭代特征。
本发明提出一种分布式架构的特征自动生成方法,包括:S1,从数据库中抽取样本对应的数据,每张表存储为一张新的数据表;S2,对抽取的数据进行清洗加工;S3,将数据表进行分区,使得归属同一个样本的所有数据都存放到同一个分区中;S4,采用分布式计算引擎对数据进行特征生成;S5,将生成的特征数据文件进行合并,合成一个完整的特征数据文件。
本发明还提出一种分布式架构的特征自动生成系统,包括:数据抽取单元,从数据库中抽取样本对应的数据,每张表存储为一张新的数据表;数据加工单元,对抽取的数据进行清洗加工;数据分区单元,将数据表进行分区,使得归属同一个样本的所有数据都存放到同一个分区中;特征生成单元,为分布式计算引擎,对数据进行特征生成;特征合并单元,将特征生成单元生成的特征数据文件进行合并,合成一个完整的特征数据文件。
与现有技术相比,本发明的优点有:
(1)实现了一种针对特征自动生成算法的分布式架构,能够应用分布式计算高效率的进行特征自动生成,能够进行大数据处理,保证了特征的高效生成。
(2)该架构解决了分布式计算场景下特征自动生成需要保证的特征一致性问题,满足并行生成特征。
附图说明
为了更容易理解本发明,将通过参照附图中示出的具体实施方式更详细地描述本发明。这些附图只描绘了本发明的典型实施方式,不应认为对本发明保护范围的限制。
图1为本发明的方法的一个实施例的流程图。
图2为本发明的方法的数据分区的示例性数据表。
图3为本发明的方法的数据分区之后的示例性结果。
图4为本发明的方法的特征计算的一个实施例的流程图。
图5为本发明的系统的一个实施例的结构原理图。
具体实施方式
下面参照附图描述本发明的实施方式,其中相同的部件用相同的附图标记表示。在不冲突的情况下,下述的实施例及实施例中的技术特征可以相互组合。
如图1所示,本发明的方法包括步骤S1,在步骤S1中进行数据抽取:从数据库中抽取样本对应的数据,每张表存储为一张新的数据表。
在步骤S2中进行数据清洗:对抽取的数据进行清洗加工。例如包括:乱码数据置空;数据回溯;数据字段名统一重命名;数据去重等。
在步骤S3中进行数据分区:将数据表进行分区,使得归属同一个样本的所有数据都存放到同一个分区中。具体地,如2所示,样本表与数据表一关联,数据表一与数据表二关联。
S31,对样本表随机给定分区号(partition_id),不同的样本可以给定相同的分区号,之后相同分区号的数据被划分到同一个分区中。其中,每一个分区划分的样本数量应该根据计算资源的具体情况而定。在一个示例中,采用的标准是使得一个分区的数据计算不会超过单个机器的资源上限,一般经验值为一个分区包含1-1000个样本。
S32,从样本表开始,根据表的关联关系,依次传递分区号,使得每一条数据都给定一个分区号,如此可以让归属于同一样本的数据得到相同的分区号。
S33,在所有的数据表都给定分区号之后,将样本表及数据表根据分区号进行分区存储,相同分区号的数据被划分到同一个分区下,并且数据仍然按照原来的数据表结构进行保存,划分的结果示意图如3所示。
再次参照图1,本发明的方法包括步骤S4,在步骤S4进行特征计算:采用分布式计算引擎(如Apache Spark)对数据进行特征生成。计算时采用对分区号进行并行,每个子节点计算时根据传入的分区号取得对应分区的样本和数据,然后进行计算操作。
优选地,为了保证每个子节点自动生成的特征列名是一致的,可以采用如下方法,如图4所示:
S41,设置主节点,主节点调用某一个子节点(如子节点1)进行特征计算,子节点读取对应分区的数据,进行特征生成任务。由于该步骤仅为得到具体的特征列名,因此在某些特征自动生成算法中不需要进行具体的数值计算,仅采用生成算法得到生成后的特征列名,返回给主节点。
所述特征生成任务指任意的单机特征生成处理方法,例如:某特征生成算法为将数据表中所有的数值型字段求和,将所有非数值型字段求长度和等。当然,这里也可以是单机的自动特征生成算法,例如featuretools的特征生成算法。
S42,主节点将生成的特征列名数据发送给每一个子节点。
S43,每个子节点根据具体的特征列名计算对应的特征数据。由此保证了每个子节点计算得到的特征列名是相同且有序的,计算完成后将生成的特征数据文件进行保存。
再次参照图1,本发明的方法包括步骤S5,在步骤S5进行特征合并:将每个子节点生成的特征数据文件进行合并,合成一个完整的特征数据文件。由于每个子节点计算的特征列名是相同且有序的,该步骤仅需要将各个子节点计算的特征数据文件进行纵向的拼接即可。
如图5所示,本发明还提出了一种分布式架构的特征自动生成系统,所述系统包括:数据抽取单元、数据清洗单元、数据分区单元、特征计算单元和特征合并单元。
数据抽取单元实施如前所述步骤S1中的过程。数据清洗单元实施如前所述步骤S2中的过程。数据分区实施完成如前所述步骤S3中的过程。特征计算单元实施如前所述步骤S4中的过程。特征合并单元实施如前所述步骤S5中的步骤。
其中,特征计算单元包括多个主节点和子节点。主节点和子节点实施如前所述步骤S41-S43所述的步骤。
与现有的特征自动生成算法相比,本发明提出的分布式架构有以下优点:
(1)兼容现有的单机运行的特征自动生成算法:本架构中,每个子节点的特征计算与单机计算过程一致,因此可以直接对接使用;
(2)使用分布式计算大幅提高了特征自动生成算法在大数据计算情况下的可能性和运行效率;
(3)保证了不同子节点生成的特征列名的一致性,不会造成不同节点生成不同特征的情况。
本发明已经经过开发、测试,测试使用结果表明本架构达到了预期目的,能够大幅提高特征开发的效率,能够满足大数据运算需要,能够满足特征一致性的要求。
如图5所示,本发明还提出一种分布式架构的特征自动生成系统,包括:数据抽取单元、数据加工单元、数据分区单元、特征生成单元、特征合并单元。
样本抽取单元从数据库中抽取样本对应的数据,每张表存储为一张新的数据表。
数据加工单元对抽取的数据进行清洗加工。
数据分区单元将数据表进行分区,使得归属同一个样本的所有数据都存放到同一个分区中。更具体地,数据分区单元,对样本表随机给定分区号,不同的样本可以给定相同的分区号,之后相同分区号的数据被划分到同一个分区中;从样本表开始,根据表的关联关系,依次传递分区号,使得每一条数据都给定一个分区号;在所有的数据表都给定分区号之后,将样本表及数据表根据分区号进行分区存储,相同分区号的数据被划分到同一个分区下。
特征生成单元对数据进行特征生成,特征生成单元采用分布式设计,为分布式计算引擎。具体地,特征生成单元包括多个主节点和多个子节点。
主节点调用某一个子节点进行特征计算,子节点读取对应分区的数据,进行特征生成。主节点将生成的特征列名数据发送给每一个子节点。每个子节点根据具体的特征列名计算对应的特征数据。
特征合并单元将每个子节点生成的特征数据文件进行合并,合成一个完整的特征数据文件。
以上所述的实施例,只是本发明较优选的具体实施方式,本领域的技术人员在本发明技术方案范围内进行的通常变化和替换都应包含在本发明的保护范围内。

Claims (4)

1.一种分布式架构的特征自动生成方法,其特征在于,包括:
S1,从数据库中抽取样本对应的数据,每张表存储为一张新的数据表;
S2,对抽取的数据进行清洗加工;
S3,将数据表进行分区,使得归属同一个样本的所有数据都存放到同一个分区中,包括:对样本表随机给定分区号,不同的样本给定相同的分区号,之后相同分区号的数据被划分到同一个分区中;从样本表开始,根据表的关联关系,依次传递分区号,使得每一条数据都给定一个分区号;在所有的数据表都给定分区号之后,将样本表及数据表根据分区号进行分区存储,相同分区号的数据被划分到同一个分区下;
S4,采用分布式计算引擎对数据进行特征生成,计算时采用对分区号进行并行,每个子节点计算时根据传入的分区号取得对应分区的样本和数据,然后进行计算操作,包括:S41,设置主节点,主节点调用多个子节点中的一个子节点进行特征计算,子节点读取对应分区的数据,进行特征生成;S42,主节点将生成的特征列名数据发送给每一个子节点;S43,每个子节点根据具体的特征列名计算对应的特征数据;
S5,对于生成的特征数据文件,将各个子节点计算的特征数据文件进行纵向的拼接,合成一个完整的特征数据文件。
2.根据权利要求1所述的分布式架构的特征自动生成方法,其特征在于,步骤S2包括:
将乱码数据置空;对数据进行回溯;将数据字段名统一重命名;以及数据去重。
3.一种分布式架构的特征自动生成系统,其特征在于,包括:
数据抽取单元,从数据库中抽取样本对应的数据,每张表存储为一张新的数据表;
数据加工单元,对抽取的数据进行清洗加工;
数据分区单元,将数据表进行分区,使得归属同一个样本的所有数据都存放到同一个分区中:对样本表随机给定分区号,不同的样本给定相同的分区号,之后相同分区号的数据被划分到同一个分区中;从样本表开始,根据表的关联关系,依次传递分区号,使得每一条数据都给定一个分区号;在所有的数据表都给定分区号之后,将样本表及数据表根据分区号进行分区存储,相同分区号的数据被划分到同一个分区下;
特征生成单元,为分布式计算引擎,对数据进行特征生成,计算时采用对分区号进行并行,每个子节点计算时根据传入的分区号取得对应分区的样本和数据,然后进行计算操作,包括:特征生成单元包括多个主节点和多个子节点,主节点调用某一个子节点进行特征计算,子节点读取对应分区的数据,进行特征生成;主节点将生成的特征列名数据发送给每一个子节点;每个子节点根据具体的特征列名计算对应的特征数据;
特征合并单元,对于特征生成单元生成的特征数据文件,将各个子节点计算的特征数据文件进行纵向的拼接,合成一个完整的特征数据文件。
4.根据权利要求3所述的分布式架构的特征自动生成系统,其特征在于,数据加工单元能够将乱码数据置空;对数据进行回溯;将数据字段名统一重命名;以及数据去重。
CN202011283601.XA 2020-11-17 2020-11-17 一种分布式架构的特征自动生成方法和系统 Active CN112380205B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN202011283601.XA CN112380205B (zh) 2020-11-17 2020-11-17 一种分布式架构的特征自动生成方法和系统

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN202011283601.XA CN112380205B (zh) 2020-11-17 2020-11-17 一种分布式架构的特征自动生成方法和系统

Publications (2)

Publication Number Publication Date
CN112380205A CN112380205A (zh) 2021-02-19
CN112380205B true CN112380205B (zh) 2024-04-02

Family

ID=74584883

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202011283601.XA Active CN112380205B (zh) 2020-11-17 2020-11-17 一种分布式架构的特征自动生成方法和系统

Country Status (1)

Country Link
CN (1) CN112380205B (zh)

Citations (16)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101620600A (zh) * 2008-06-30 2010-01-06 上海全成通信技术有限公司 一种海量数据的处理方法
CN104268219A (zh) * 2014-09-24 2015-01-07 国家电网公司 一种海量用电信息采集数据的管理方法及其系统
WO2016119276A1 (zh) * 2015-01-30 2016-08-04 深圳市华傲数据技术有限公司 基于Hadoop框架的大规模对象识别方法
CN106599326A (zh) * 2017-01-23 2017-04-26 北京思特奇信息技术股份有限公司 一种云化架构下的记录数据剔重处理方法及系统
CN107315767A (zh) * 2017-05-17 2017-11-03 中国科学院计算机网络信息中心 一种通量数据的汇聚重建方法
CN107679192A (zh) * 2017-10-09 2018-02-09 中国工商银行股份有限公司 多集群协同数据处理方法、系统、存储介质及设备
CN108090516A (zh) * 2017-12-27 2018-05-29 第四范式(北京)技术有限公司 自动生成机器学习样本的特征的方法及系统
CN108563923A (zh) * 2017-12-05 2018-09-21 华南理工大学 一种基因变异数据分布式存储方法及架构
CN109582724A (zh) * 2018-12-07 2019-04-05 厦门铅笔头信息科技有限公司 分布式自动特征工程系统架构
CN110019106A (zh) * 2019-03-21 2019-07-16 国网江西省电力有限公司萍乡供电分公司 一种智能电网的电力营销海量数据处理方法及系统
CN110209668A (zh) * 2019-04-29 2019-09-06 苏宁云计算有限公司 基于流计算的维表关联方法、装置、设备及可读存储介质
CN110209728A (zh) * 2019-04-22 2019-09-06 凯通科技股份有限公司 一种分布式异构数据库同步方法、电子设备及存储介质
CN110442642A (zh) * 2019-06-19 2019-11-12 北京航天智造科技发展有限公司 分布式数据库的数据处理方法、装置和存储介质
CN111104466A (zh) * 2019-12-25 2020-05-05 航天科工网络信息发展有限公司 一种海量数据库表快速分类的方法
CN111427931A (zh) * 2020-03-30 2020-07-17 深圳市康拓普信息技术有限公司 分布式查询引擎及其查询关系型数据库的方法
CN111738356A (zh) * 2020-07-23 2020-10-02 平安国际智慧城市科技股份有限公司 特异化数据的对象特征生成方法、装置、设备及存储介质

Family Cites Families (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US10324961B2 (en) * 2017-01-17 2019-06-18 International Business Machines Corporation Automatic feature extraction from a relational database
US10733676B2 (en) * 2018-05-17 2020-08-04 Coupa Software Incorporated Automatic generation of expense data using facial recognition in digitally captured photographic images
CN110516087B (zh) * 2019-04-23 2021-12-07 广州麦仑信息科技有限公司 一种大规模分布式全掌脉络数据的闪速搜索比对方法

Patent Citations (16)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101620600A (zh) * 2008-06-30 2010-01-06 上海全成通信技术有限公司 一种海量数据的处理方法
CN104268219A (zh) * 2014-09-24 2015-01-07 国家电网公司 一种海量用电信息采集数据的管理方法及其系统
WO2016119276A1 (zh) * 2015-01-30 2016-08-04 深圳市华傲数据技术有限公司 基于Hadoop框架的大规模对象识别方法
CN106599326A (zh) * 2017-01-23 2017-04-26 北京思特奇信息技术股份有限公司 一种云化架构下的记录数据剔重处理方法及系统
CN107315767A (zh) * 2017-05-17 2017-11-03 中国科学院计算机网络信息中心 一种通量数据的汇聚重建方法
CN107679192A (zh) * 2017-10-09 2018-02-09 中国工商银行股份有限公司 多集群协同数据处理方法、系统、存储介质及设备
CN108563923A (zh) * 2017-12-05 2018-09-21 华南理工大学 一种基因变异数据分布式存储方法及架构
CN108090516A (zh) * 2017-12-27 2018-05-29 第四范式(北京)技术有限公司 自动生成机器学习样本的特征的方法及系统
CN109582724A (zh) * 2018-12-07 2019-04-05 厦门铅笔头信息科技有限公司 分布式自动特征工程系统架构
CN110019106A (zh) * 2019-03-21 2019-07-16 国网江西省电力有限公司萍乡供电分公司 一种智能电网的电力营销海量数据处理方法及系统
CN110209728A (zh) * 2019-04-22 2019-09-06 凯通科技股份有限公司 一种分布式异构数据库同步方法、电子设备及存储介质
CN110209668A (zh) * 2019-04-29 2019-09-06 苏宁云计算有限公司 基于流计算的维表关联方法、装置、设备及可读存储介质
CN110442642A (zh) * 2019-06-19 2019-11-12 北京航天智造科技发展有限公司 分布式数据库的数据处理方法、装置和存储介质
CN111104466A (zh) * 2019-12-25 2020-05-05 航天科工网络信息发展有限公司 一种海量数据库表快速分类的方法
CN111427931A (zh) * 2020-03-30 2020-07-17 深圳市康拓普信息技术有限公司 分布式查询引擎及其查询关系型数据库的方法
CN111738356A (zh) * 2020-07-23 2020-10-02 平安国际智慧城市科技股份有限公司 特异化数据的对象特征生成方法、装置、设备及存储介质

Also Published As

Publication number Publication date
CN112380205A (zh) 2021-02-19

Similar Documents

Publication Publication Date Title
Harjunkoski et al. Decomposition techniques for multistage scheduling problems using mixed-integer and constraint programming methods
CN106708719B (zh) 业务功能的测试方法和装置
Donatelli et al. A comparison of performance evaluation process algebra and generalized stochastic Petri nets
CN112835560A (zh) Web多终端低代码智能软件开发平台
CN111353754B (zh) 流程模板的生成方法、装置、电子设备及可读存储介质
CN109144481B (zh) 面向领域的软件密集型系统的构件化软件配置方法
CN111651365B (zh) 接口自动化测试方法及装置
CN111158800B (zh) 基于映射关系构建任务dag的方法及装置
CN111158680A (zh) 一种页面构建的方法、装置、设备及存储介质
CN113887396A (zh) 一种图像处理方法、装置、计算机设备和存储介质
Baier et al. Matching of events and activities-an approach based on constraint satisfaction
CN112380205B (zh) 一种分布式架构的特征自动生成方法和系统
CN111966597B (zh) 测试数据生成方法及装置
CN112765014A (zh) 一种用于多用户同时操作的自动测试系统及工作方法
CN114328525A (zh) 数据处理方法及设备
CN110457064B (zh) 网络割接脚本的生成方法及装置
CN111047144B (zh) 一种用于机组排班的航班任务环生成方法和装置
CN113127359A (zh) 一种测试数据的获得方法及装置
CN114860566A (zh) 源代码测试方法、装置、电子设备及存储介质
CN111522635A (zh) 计算任务处理方法、装置、服务器及存储介质
CN110825453A (zh) 基于大数据平台的数据处理方法及装置
CN111290966B (zh) 提高安卓应用测试覆盖率的测试用例分解组合方法和系统
CN113918211B (zh) 一种工业设备对象数据模型的执行方法、装置及设备
CN115714726A (zh) 一种网络割接规划方法及相关设备
CN112306470A (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