CN110688243A - Inspection method of automatic inspection tool for train control center engineering data sheet - Google Patents

Inspection method of automatic inspection tool for train control center engineering data sheet Download PDF

Info

Publication number
CN110688243A
CN110688243A CN201910919971.9A CN201910919971A CN110688243A CN 110688243 A CN110688243 A CN 110688243A CN 201910919971 A CN201910919971 A CN 201910919971A CN 110688243 A CN110688243 A CN 110688243A
Authority
CN
China
Prior art keywords
error
file
checking
module
reporting
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.)
Pending
Application number
CN201910919971.9A
Other languages
Chinese (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.)
Casco Signal Beijing Ltd
Original Assignee
Casco Signal Beijing 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 Casco Signal Beijing Ltd filed Critical Casco Signal Beijing Ltd
Priority to CN201910919971.9A priority Critical patent/CN110688243A/en
Publication of CN110688243A publication Critical patent/CN110688243A/en
Pending legal-status Critical Current

Links

Images

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/07Responding to the occurrence of a fault, e.g. fault tolerance
    • G06F11/0703Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation
    • G06F11/0766Error or fault reporting or storing
    • G06F11/0769Readable error formats, e.g. cross-platform generic formats, human understandable formats

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Train Traffic Observation, Control, And Security (AREA)

Abstract

The invention discloses a method for checking an automatic checking tool of a train control center engineering data sheet, which comprises the following steps of S1, reading an input file and storing data, and reporting an error and stopping running if the reading fails; step S2, checking the format of each file, if there is error, then reporting the error; step S3, checking the content of each file, if there is error, then reporting the error; step S4, cross checking the content of each file, if there is error, then reporting error; step S5, if the error is detected, an error report and related prompt information are printed; if the check is correct, the file is output as a text file. The invention inspects the file format and content of the engineering data table and the content among the files, thereby not only improving the inspection speed and overcoming the problem of low efficiency of manual inspection, but also having comprehensive inspection and avoiding possible omission of the conventional manual inspection; and an error report and related prompt information can be output, errors can be accurately positioned, and the usability is improved.

Description

Inspection method of automatic inspection tool for train control center engineering data sheet
Technical Field
The invention belongs to the technical field of railway signal system engineering data table inspection, and particularly relates to an inspection method of an automatic inspection tool for an engineering data table of a train control center.
Background
Along with the rapid development of the socioeconomic performance of China, higher requirements are put forward on the transportation capacity of railways. The improvement of the train running speed is the key point for improving the railway capacity, and the train running control system is an important technical support means for realizing the speed improvement goal. The CTCS-2 level train control system is a widely applied control system in China at present, wherein a train control center is used as core ground safety equipment of the CTCS-2 level train control system and plays a vital role in efficient and safe operation of trains.
For the train control center, the system initialization and the realization of normal functions need the support of related configuration data. The configuration data is based on an engineering data sheet in xls or xlsx format provided by the railroad design institute. It is necessary to check the correctness of the format and contents before using the engineering data table. At present, the engineering data table is basically checked manually by a configuration data maker, and the low efficiency and the insecurity of the engineering data table cannot adapt to the increasingly developed industrial requirements.
In the patent application with the patent application number of 201520797433.4, a column control data management platform is disclosed, and the scheme is that a column control data flow card control management subsystem carries out card control on each link of column control data in a workflow manner; the train control data checking and early warning subsystem collects message data based on a DMS, checks train control basic data, checks basic data and engineering data, engineering data and configuration data and a DMS message; the train control application data management subsystem extracts response train control data in an informatization mode according to application; the train control data security management subsystem is based on the security protection measures of a bank network system and a data security transmission strategy.
However, the train control data management platform disclosed in the above patent cannot conveniently check the correctness of the format and the content of the engineering data.
Disclosure of Invention
In order to solve the above problems, an object of the present invention is to provide an inspection method for an automatic inspection tool for a train control center engineering data table, which has the advantages of fast inspection speed, overcoming the problem of low efficiency of the existing manual inspection, and avoiding possible omission of the existing manual inspection.
The invention also aims to provide a method for checking the automatic checking tool of the train control center engineering data sheet, which can not only report error information in detail, but also accurately position errors, make error reports clearer and improve the usability.
In order to achieve the purpose, the technical scheme of the invention is as follows:
a method for checking an automatic checking tool of a column control center engineering data sheet comprises the following steps:
step S1, reading the input file and storing the data, if the reading fails, reporting an error and stopping the operation;
step S2, checking the format of each file, if there is error, then reporting the error;
step S3, checking the content of each file under the condition that the check of step S2 is correct, and reporting an error if the error exists;
step S4, under the condition that the check of step S3 is correct, the contents of each file are checked in a cross way, if the error exists, the error is reported;
step S5, if the error is checked in step S4, an error report and related prompt information are printed; if the check is correct, the file is output as a text file. In the invention, the related prompt information is the correct content prompt for the wrong place, and the file format and the content of the engineering data table and the content among the files can be checked through the arrangement of the checking method, so that the checking speed is improved, the problem of low efficiency of the existing manual checking is solved, the checking is comprehensive, and possible omission of the existing manual checking is avoided; meanwhile, once the error is detected, the error reporting function is also realized, the error report and related prompt information can be output, and different error reporting information is different, so that the error can be accurately positioned, the error report is clearer, and the usability is improved.
Further, the inspection method is realized by an inspection tool, and the inspection tool comprises:
the memory module is used for storing the file data of the project data table;
the data reading module is used for reading the file content and storing the file data to the memory module;
the first-level checking module is used for checking the format of the file;
the second-level checking module is used for checking the content of the file;
the three-level inspection module is used for performing cross inspection on the contents of the files;
the output module is used for outputting an error report and related prompt information or outputting a text file without error data;
and the display interface is used for selecting the file to be checked and operating the error report and the related prompt information or the output of the text file without error data. According to the invention, through the arrangement of the memory module, the data reading module, the primary checking module, the secondary checking module, the tertiary checking module, the output module and the display interface, the file of the engineering data table can be checked better and quickly, the problem of low efficiency of the existing manual checking is overcome, the checking is comprehensive, and possible omission of the existing manual checking is avoided; meanwhile, once the error is detected, the error reporting function is achieved, the error report and related prompt information can be output through the display interface, different error reporting information is different through the arrangement of the first-level checking module, the second-level checking module and the third-level checking module, the error can be accurately positioned, the error report is clearer, and the usability is improved.
Further, in step S1, after the file of the engineering data table is input, the file is read by the data reading module and all the data is stored in the memory module;
in step S2, the format of each file is checked by a primary check module, and if there is an error, a primary error report is performed;
in step S3, the content of each file is checked through the secondary check module, and if there is an error, a secondary error report is performed;
in step S4, cross-checking the contents of each file by a three-level checking module, and if there is an error, performing three-level error reporting;
in step S5, if the error is detected by the third-level inspection module, the operation is performed on the display interface, and an error report and related prompt information are printed out through the output module; if the three-level checking module checks that the text file is correct, the text file is output through the output module. According to the invention, through the arrangement of the checking method, the file format and content of the engineering data table and the content among the files can be checked, so that the checking speed is improved, the problem of low efficiency of the existing manual checking is solved, the checking is comprehensive, and possible omission of the existing manual checking is avoided; meanwhile, once the error is detected, the error reporting function is achieved, an error report and related prompt information can be output, different error reporting information can be different through the arrangement of the first-level checking module, the second-level checking module and the third-level checking module, the error can be accurately positioned, the error reporting information is graded, the error report is clearer, and the usability is improved.
Further, in step S2, the file format is checked, including the checking of the work sheet name and the header in the file. According to the invention, the subsequent operation of the train control center can be safer through the checking of the format.
Further, step S3 specifically includes the following steps:
step S31, checking whether the content of each cell in each worksheet in a single file conforms to an expected regular expression, and if there are bad parts, reporting an error;
step S32, checking whether the content in each row of each worksheet in the single file conforms to the expected logic, if there is a mismatch, reporting an error;
step S33, checking whether the content of each line in each worksheet in a single file conforms to the expected logic, if there is a mismatch, reporting an error;
step S34, check if the contents of the worksheets in the single file match the expected logic, and report an error if there is a mismatch. In the invention, the content of the file can be checked more comprehensively, and possible omission in the existing manual check is avoided; meanwhile, the subsequent operation of the train control center can be safer.
Further, in step 4, the cross check of the contents of the files includes checking whether the same information in different files is consistent, and checking whether the result calculated by comprehensively using the data in different files conforms to the relevant technical specification of the train operation control system. In the invention, through the cross inspection of the contents of each file, the inspection can be more comprehensive, and possible omission in the existing manual inspection is avoided; meanwhile, the subsequent operation of the train control center can be safer.
Further, the error information is classified into 3 levels, specifically, a slight error, a general error, and a fatal error. In the invention, the user can set the error reporting grade, so that the error report is clearer.
The invention has the beneficial effects that: compared with the prior art, the file format and content of the engineering data table and the content among the files can be checked through the checking method, so that the checking speed is increased, the problem of low efficiency of the existing manual checking is solved, the checking is comprehensive, and possible omission of the existing manual checking is avoided; meanwhile, once the error is detected, the error reporting function is also realized, the error report and related prompt information can be output, and different error reporting information is different, so that the error can be accurately positioned, the error report is clearer, and the usability is improved.
Drawings
FIG. 1 is a flow chart illustrating steps of an inspection method of an automatic inspection tool for a train control center engineering data sheet according to the present invention.
FIG. 2 is a schematic diagram of a display interface in the inspection method of the automatic inspection tool for the engineering data sheet of the train control center according to the present invention.
Detailed Description
In order to make the objects, technical solutions and advantages of the present invention more apparent, the present invention is described in further detail below with reference to the accompanying drawings and embodiments. It should be understood that the specific embodiments described herein are merely illustrative of the invention and are not intended to limit the invention.
In order to achieve the above object, the technical solution of the present invention is as follows.
Referring to fig. 1, an inspection method for an automatic inspection tool for a project data sheet of a column control center includes the following steps:
step S1, reading the input file and storing the data, if the reading fails, reporting an error and stopping the operation;
step S2, checking the format of each file, if there is error, then reporting the error;
step S3, checking the content of each file under the condition that the check of step S2 is correct, and reporting an error if the error exists;
step S4, under the condition that the check of step S3 is correct, the contents of each file are checked in a cross way, if the error exists, the error is reported;
step S5, if the error is checked in step S4, an error report and related prompt information are printed; if the check is correct, the file is output as a text file. In the invention, the related prompt information is the correct content prompt for the wrong place, and the file format and the content of the engineering data table and the content among the files can be checked through the arrangement of the checking method, so that the checking speed is improved, the problem of low efficiency of the existing manual checking is solved, the checking is comprehensive, and possible omission of the existing manual checking is avoided; meanwhile, once the error is detected, the error reporting function is also realized, the error report and related prompt information can be output, and different error reporting information is different, so that the error can be accurately positioned, the error report is clearer, and the usability is improved.
Specifically, the inspection method is realized by an inspection tool, and the inspection tool comprises:
the memory module is used for storing the file data of the project data table;
the data reading module is used for reading the file content and storing the file data to the memory module;
the first-level checking module is used for checking the format of the file;
the second-level checking module is used for checking the content of the file;
the three-level inspection module is used for performing cross inspection on the contents of the files;
the output module is used for outputting an error report and related prompt information or outputting a text file without error data;
and the display interface is used for selecting the file to be checked and operating the error report and the related prompt information or the output of the text file without error data. According to the invention, through the arrangement of the memory module, the data reading module, the primary checking module, the secondary checking module, the tertiary checking module, the output module and the display interface, the file of the engineering data table can be checked better and quickly, the problem of low efficiency of the existing manual checking is overcome, the checking is comprehensive, and possible omission of the existing manual checking is avoided; meanwhile, once the error is detected, the error reporting function is achieved, the error report and related prompt information can be output through the display interface, different error reporting information is different through the arrangement of the first-level checking module, the second-level checking module and the third-level checking module, the error can be accurately positioned, the error report is clearer, and the usability is improved.
Specifically, in step S1, after the file of the engineering data table is input, the file is read by the data reading module and all the data is stored in the memory module;
in step S2, the format of each file is checked by a primary check module, and if there is an error, a primary error report is performed;
in step S3, the content of each file is checked through the secondary check module, and if there is an error, a secondary error report is performed;
in step S4, cross-checking the contents of each file by a three-level checking module, and if there is an error, performing three-level error reporting;
in step S5, if the error is detected by the third-level inspection module, the operation is performed on the display interface, and an error report and related prompt information are printed out through the output module; if the three-level checking module checks that the text file is correct, the text file is output through the output module. According to the invention, through the arrangement of the checking method, the file format and content of the engineering data table and the content among the files can be checked, so that the checking speed is improved, the problem of low efficiency of the existing manual checking is solved, the checking is comprehensive, and possible omission of the existing manual checking is avoided; meanwhile, once the error is detected, the error reporting function is achieved, an error report and related prompt information can be output, different error reporting information can be different through the arrangement of the first-level checking module, the second-level checking module and the third-level checking module, the error can be accurately positioned, the error reporting information is graded, the error report is clearer, and the usability is improved.
Specifically, in step S2, the file format is checked, including the work sheet name and the header in the file. According to the invention, the subsequent operation of the train control center can be safer through the checking of the format.
Specifically, step S3 includes the following steps:
step S31, checking whether the content of each cell in each worksheet in a single file conforms to an expected regular expression, and if there are bad parts, reporting an error;
step S32, checking whether the content in each row of each worksheet in the single file conforms to the expected logic, if there is a mismatch, reporting an error;
step S33, checking whether the content of each line in each worksheet in a single file conforms to the expected logic, if there is a mismatch, reporting an error;
step S34, check if the contents of the worksheets in the single file match the expected logic, and report an error if there is a mismatch. In the invention, the content of the file can be checked more comprehensively, and possible omission in the existing manual check is avoided; meanwhile, the subsequent operation of the train control center can be safer.
Specifically, in step 4, the cross check of the contents of the files includes checking whether the same information in different files is consistent, and checking whether the result calculated by comprehensively using the data in different files conforms to the relevant technical specifications of the train operation control system. In the invention, through the cross inspection of the contents of each file, the inspection can be more comprehensive, and possible omission in the existing manual inspection is avoided; meanwhile, the subsequent operation of the train control center can be safer.
Specifically, the error information is classified into 3 levels, specifically, a slight error, a general error, and a fatal error. In the invention, the user can set the error reporting grade, so that the error report is clearer.
Referring to fig. 1-2, the technical solution of the present invention is explained, and first, referring to fig. 2, the automatic inspection tool for engineering data sheets is easily understood and used by those skilled in the art. On this basis, the process method of the present invention is described with reference to fig. 1.
Referring first to fig. 2, the tool using interface of the present invention, when the tool is used to automatically generate a configuration file, includes the following steps: .
Step 100, a user inputs a path of an engineering data table to be checked, the path can be manually selected in sequence, a quick acquisition function can also be used, a folder is selected, and files in the folder are matched through keywords;
step 101, a user can set relevant rules in the checking process in a setting window on an interface, and when the user does not set the relevant rules, default rules are used;
102, a user can select the lowest level of log display on an interface, and when the user does not set the lowest level, all logs are displayed by default;
step 103 requires the user to click the start check button. The engineering data table inspection tool inspects each file under the path given in step 100 according to the rules in the configuration. Preferably, the check button is valid only after all paths of the document to be checked are filled in said step 100;
step 104, printing process information, error reporting information and inspection conclusion information in the inspection process;
referring to fig. 1, a flowchart of the steps of the method for checking the train control center engineering data table according to the present invention is shown. The project data sheet for checking the project of the column control center mainly comprises the following steps:
step 105, checking whether the file can be opened;
step 106, checking the file format, including the name and the header of the worksheet;
step 107, checking whether the content of each cell in each worksheet in the file conforms to an expected regular expression, and reporting an error if the content of each cell in each worksheet in the file does not conform to the expected regular expression;
step 108, checking whether the content in each row in each worksheet in the file conforms to the expected logic, and if there are unmatched parts, reporting an error;
step 109, checking whether the contents of each row in each worksheet in the file conform to the expected logic, and if there are unmatched parts, reporting an error;
step 110, checking whether the contents of each worksheet in the file conform to the expected logic, and if there are unmatched parts, reporting an error;
step 111, cross-checking the contents of each file, including checking whether the same information in different files is consistent, and checking whether the result calculated by comprehensively using the data in different files conforms to the related technical specification.
The tool aims at solving the problems of low efficiency and low safety of manual inspection of the engineering data sheet, and is used on trial in the process of inspecting the engineering data sheet at present, so that the repeated labor of data makers can be greatly reduced, and the process of inspecting the engineering data becomes safe and efficient.
Compared with the prior art, the invention has the following advantages:
1. the inspection is comprehensive, and possible omission in the existing manual inspection is overcome;
2. the inspection speed is high, and the problem of low efficiency of the existing manual inspection is solved;
3. error information is detailed, and errors can be accurately positioned;
4. the error reporting grade is selectable, so that the error report is clearer, and the usability is improved.
The present invention is not limited to the above preferred embodiments, and any modifications, equivalent substitutions and improvements made within the spirit and principle of the present invention should be included in the protection scope of the present invention.

Claims (7)

1. A method for checking an automatic checking tool of a column control center engineering data sheet is characterized by comprising the following steps:
step S1, reading the input file and storing the data, if the reading fails, reporting an error and stopping the operation;
step S2, checking the format of each file, if there is error, then reporting the error;
step S3, checking the content of each file under the condition that the check of step S2 is correct, and reporting an error if the error exists;
step S4, under the condition that the check of step S3 is correct, the contents of each file are checked in a cross way, if the error exists, the error is reported;
step S5, if the error is checked in step S4, an error report and related prompt information are printed; if the check is correct, the file is output as a text file.
2. The method as claimed in claim 1, wherein the inspection is performed by an inspection tool, and the inspection tool comprises:
the memory module is used for storing the file data of the project data table;
the data reading module is used for reading the file content and storing the file data to the memory module;
the first-level checking module is used for checking the format of the file;
the second-level checking module is used for checking the content of the file;
the three-level inspection module is used for performing cross inspection on the contents of the files;
the output module is used for outputting an error report and related prompt information or outputting a text file without error data;
and the display interface is used for selecting the file to be checked and operating the error report and the related prompt information or the output of the text file without error data.
3. The method for inspecting the automatic inspection tool of the train control center engineering data sheet according to claim 2, wherein in step S1, after the file of the engineering data sheet is input, the file is read by the data reading module and all data is stored in the memory module;
in step S2, the format of each file is checked by a primary check module, and if there is an error, a primary error report is performed;
in step S3, the content of each file is checked through the secondary check module, and if there is an error, a secondary error report is performed;
in step S4, cross-checking the contents of each file by a three-level checking module, and if there is an error, performing three-level error reporting;
in step S5, if the error is detected by the third-level inspection module, the operation is performed on the display interface, and an error report and related prompt information are printed out through the output module; if the three-level checking module checks that the text file is correct, the text file is output through the output module.
4. The checking method of automatic checking tool for engineering data sheet of column control center as claimed in claim 1, wherein in step S2, the checking of file format includes checking of the name and header of the worksheet in the file.
5. The method for inspecting the automatic inspection tool for the engineering data sheet of the column control center according to claim 1, wherein the step S3 specifically includes the following steps:
step S31, checking whether the content of each cell in each worksheet in a single file conforms to an expected regular expression, and if there are bad parts, reporting an error;
step S32, checking whether the content in each row of each worksheet in the single file conforms to the expected logic, if there is a mismatch, reporting an error;
step S33, checking whether the content of each line in each worksheet in a single file conforms to the expected logic, if there is a mismatch, reporting an error;
step S34, check if the contents of the worksheets in the single file match the expected logic, and report an error if there is a mismatch.
6. The method as claimed in claim 1, wherein in step 4, the cross check of the contents of the files includes checking whether the same information in different files is consistent, and checking whether the result calculated by comprehensively using the data in different files conforms to the relevant technical specification of the train operation control system.
7. The method as claimed in claim 1, wherein the error information is classified into 3 levels, specifically, a minor error, a general error and a fatal error.
CN201910919971.9A 2019-09-26 2019-09-26 Inspection method of automatic inspection tool for train control center engineering data sheet Pending CN110688243A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201910919971.9A CN110688243A (en) 2019-09-26 2019-09-26 Inspection method of automatic inspection tool for train control center engineering data sheet

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201910919971.9A CN110688243A (en) 2019-09-26 2019-09-26 Inspection method of automatic inspection tool for train control center engineering data sheet

Publications (1)

Publication Number Publication Date
CN110688243A true CN110688243A (en) 2020-01-14

Family

ID=69110527

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201910919971.9A Pending CN110688243A (en) 2019-09-26 2019-09-26 Inspection method of automatic inspection tool for train control center engineering data sheet

Country Status (1)

Country Link
CN (1) CN110688243A (en)

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN111651799A (en) * 2020-05-09 2020-09-11 北京交大思诺科技股份有限公司 Automatic generation system of train control engineering data table
CN112181325A (en) * 2020-09-18 2021-01-05 胜宏科技(惠州)股份有限公司 Automatic generation method of PCB printing drawing
CN112597747A (en) * 2021-01-05 2021-04-02 网易(杭州)网络有限公司 Data table checking method and device, electronic equipment and storage medium

Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN106294294A (en) * 2016-08-03 2017-01-04 上海自仪泰雷兹交通自动化系统有限公司 The consistency desired result method of rail traffic signal system consolidation form data file
WO2018090759A1 (en) * 2016-11-15 2018-05-24 捷开通讯(深圳)有限公司 Method for checking and compiling system start-up files
CN109492203A (en) * 2018-11-21 2019-03-19 深圳中广核工程设计有限公司 A kind of nuclear power large-scale synthesis reporting format method of calibration and system

Patent Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN106294294A (en) * 2016-08-03 2017-01-04 上海自仪泰雷兹交通自动化系统有限公司 The consistency desired result method of rail traffic signal system consolidation form data file
WO2018090759A1 (en) * 2016-11-15 2018-05-24 捷开通讯(深圳)有限公司 Method for checking and compiling system start-up files
CN109492203A (en) * 2018-11-21 2019-03-19 深圳中广核工程设计有限公司 A kind of nuclear power large-scale synthesis reporting format method of calibration and system

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN111651799A (en) * 2020-05-09 2020-09-11 北京交大思诺科技股份有限公司 Automatic generation system of train control engineering data table
CN112181325A (en) * 2020-09-18 2021-01-05 胜宏科技(惠州)股份有限公司 Automatic generation method of PCB printing drawing
CN112597747A (en) * 2021-01-05 2021-04-02 网易(杭州)网络有限公司 Data table checking method and device, electronic equipment and storage medium

Similar Documents

Publication Publication Date Title
CN110688243A (en) Inspection method of automatic inspection tool for train control center engineering data sheet
CN110569197B (en) Credible evidence analysis and measurement method for software credibility evaluation
CN106502895A (en) A kind of automatic test information generation device and method
CN102331967A (en) Method for managing chip verification test cases
CN113031934A (en) Interlocking data safety conversion method for formal verification and translator
CN106230602A (en) The integrity detection system of the certificate chain of digital certificate and method
CN105302924A (en) File management method and device
CN110390082A (en) A kind of communication matrix control methods and system
CN101840742B (en) Method and system for setting default value of digital control system in nuclear power plant
CN102479174A (en) Chinese character automatic checking and error-correcting system aiming at GBK (Chinese Internal Code Specification) encoding and method thereof
CN112668292B (en) Method for automatically extracting tracking matrix from system configuration rule and application thereof
CN113205705B (en) Flight telegram centralized processing system and method based on telegram label
CN103049619A (en) Method for completing chip design integrated functions by forms
CN113553117A (en) Method and device for automatically generating configuration data of automatic train supervision system
CN113704135B (en) Demand coverage verification method and device
CN102902494A (en) Control method for valuable document printing of banks or insurances
Bajceta et al. Using NLP Tools to Detect Ambiguities in System Requirements-A Comparison Study.
CN113378294B (en) Safety inward bound design feasibility inspection device and inspection method
CN102968700B (en) A kind of offshore oil and gas field general corrosion management system
CN111585664A (en) Active message checking system of transponder
CN116142253B (en) Code bit table generation method and device
CN113033019A (en) Production system graphic billing method based on simulated rehearsal
Groth et al. A model-based approach to HRA: example application and quantitative analysis
CN104239583B (en) Database script issues the processing method and processing device of result
CN109800425A (en) A kind of semantic missing automatic error-correcting processing method and system of cross-platform information exchange

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
RJ01 Rejection of invention patent application after publication

Application publication date: 20200114

RJ01 Rejection of invention patent application after publication