CN112164481B - Intelligent verification method and system for nuclear power safety control display equipment database - Google Patents
Intelligent verification method and system for nuclear power safety control display equipment database Download PDFInfo
- Publication number
- CN112164481B CN112164481B CN202010826797.6A CN202010826797A CN112164481B CN 112164481 B CN112164481 B CN 112164481B CN 202010826797 A CN202010826797 A CN 202010826797A CN 112164481 B CN112164481 B CN 112164481B
- Authority
- CN
- China
- Prior art keywords
- controlled equipment
- database
- verification
- type
- standard model
- 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
Links
Classifications
-
- G—PHYSICS
- G21—NUCLEAR PHYSICS; NUCLEAR ENGINEERING
- G21D—NUCLEAR POWER PLANT
- G21D3/00—Control of nuclear power plant
- G21D3/001—Computer implemented control
- G21D3/002—Core design; core simulations; core optimisation
-
- G—PHYSICS
- G21—NUCLEAR PHYSICS; NUCLEAR ENGINEERING
- G21D—NUCLEAR POWER PLANT
- G21D3/00—Control of nuclear power plant
- G21D3/04—Safety arrangements
-
- 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
- Y02E—REDUCTION OF GREENHOUSE GAS [GHG] EMISSIONS, RELATED TO ENERGY GENERATION, TRANSMISSION OR DISTRIBUTION
- Y02E30/00—Energy generation of nuclear origin
Landscapes
- Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- Plasma & Fusion (AREA)
- High Energy & Nuclear Physics (AREA)
- Business, Economics & Management (AREA)
- Emergency Management (AREA)
- Testing And Monitoring For Control Systems (AREA)
- Monitoring And Testing Of Nuclear Reactors (AREA)
Abstract
The application relates to an intelligent verification method and system for a nuclear power safety control display equipment database, belongs to the technical field of nuclear power safety control display databases, and solves the problems of high error rate and low efficiency of the conventional manual verification safety control display equipment database. The method comprises the following steps: determining the type of the controlled device according to the function executed by the controlled device; determining control characteristics of the controlled equipment according to the type of the controlled equipment, and further determining reference information of the controlled equipment, so as to establish a corresponding standard model; traversing each type of controlled equipment and establishing a standard model database; and extracting corresponding data from the control function diagram of the controlled equipment to be verified based on the standard model of the controlled equipment to be verified, generating a verification reference database, extracting corresponding data from the nuclear power safety control display equipment database to be verified, generating a verification object database, and carrying out consistency comparison to obtain a verification result. The automatic verification of the nuclear power safety control display equipment database is realized, the error rate is reduced, and the verification efficiency is improved.
Description
Technical Field
The application relates to the technical field of nuclear power safety control display databases, in particular to an intelligent verification method and system for a nuclear power safety control display equipment database.
Background
The nuclear safety level instrument control system is a central nerve of the nuclear power plant and plays a vital role in ensuring the safe operation of the nuclear power plant. With the rapid development of informatization technology, a digital control system is mostly adopted in the safety level instrument control system of the newly-built or transformed nuclear power plant. The safety control display device is used for realizing the functions of safety related device control, device state monitoring and the like. And the operator sends a control instruction to the safety related equipment through an operation panel in the control display equipment, receives the state feedback of the controlled equipment and displays the state feedback on an operation interface, and provides monitoring information of the controlled equipment for the operator. The security control display device is used as a security level device, and verification work is required to be carried out on output files of each stage of the application software development process.
In the design stage of the safety control display equipment application software, a designer makes and generates a nuclear power safety control display equipment database according to the software control function diagram. The equipment database contains information such as operation button labels, equipment state display labels, feedback signals and the like, and has the characteristics of various controlled equipment and control panels, huge data volume, strong customization, complex and cumbersome corresponding relation between control function diagrams and the equipment database and the like. In the design V & V stage, a verifier needs to verify the database of the nuclear power safety control display device one by one according to a software control function diagram.
The prior art has the defects that firstly, the nuclear power safety control display equipment database is verified one by one manually, the data volume is huge, the relationship is complex, human error is easy to introduce, and the error rate is high; secondly, the data in the database of the nuclear power safety control display device is huge, the manual verification process is complex, the execution efficiency is low, and the labor cost is high.
Disclosure of Invention
The application aims to provide an intelligent verification method and system for a nuclear power safety control display equipment database, which are used for solving the problems of high error rate and low efficiency of the existing manual verification database.
In one aspect, the application provides an intelligent verification method for a nuclear power safety control display device database, which comprises the following steps:
determining the type of the controlled device according to the function executed by the controlled device;
determining the control characteristic of the controlled equipment according to the type of the controlled equipment;
determining reference information of the controlled equipment according to the control characteristics of the controlled equipment, so as to establish a corresponding standard model;
traversing each type of controlled equipment and establishing a standard model database;
based on a standard model of the controlled equipment to be verified, extracting corresponding data from a control function diagram of the controlled equipment to be verified, generating a verification reference database, and extracting corresponding data from a nuclear power safety control display equipment database to be verified, generating a verification object database;
and carrying out consistency comparison on the data in the verification reference database and the data in the verification object database to obtain a verification result.
Further, the reference information includes control information, operation feedback information and feedback information of the controlled device corresponding to the controlled device.
Further, the standard model database is established, and the standard model database further comprises fields corresponding to the types of the controlled devices, the control information of the control panel corresponding to each type of the controlled devices, the operation feedback information and the feedback information of the controlled devices.
Further, the verification reference database and the verification object database are generated by the following procedures:
extracting corresponding data from the control function diagram of the controlled equipment to be verified according to fields in the standard model corresponding to the type of the controlled equipment to be verified, and filling the data into the standard model corresponding to the type of the controlled equipment to be verified to generate a verification reference database;
and extracting corresponding data from the nuclear power safety control display equipment database to be verified according to fields in the standard model corresponding to the type of the controlled equipment to be verified, and filling the data into the standard model corresponding to the type of the controlled equipment to be verified to generate a verification object database.
Further, the method further comprises the step of carrying out data isomorphism processing on the data in the verification reference database and the verification object database before consistency comparison to obtain the verification reference database and the verification object database with the same data structure.
Further, consistency comparison is performed on the data in the verification reference database and the data in the verification object database to obtain a verification result, including:
consistency comparison is carried out on the information corresponding to the same field in the verification reference database and the verification object database with the same data structure;
and if the corresponding information in the same field is the same, the information is consistent.
On the other hand, the application provides an intelligent verification system of a nuclear power safety control display device database, which comprises the following components:
the standard model building module is used for determining the type of the controlled equipment according to the function executed by the controlled equipment; determining the control characteristic of the controlled equipment according to the type of the controlled equipment; determining reference information of the controlled equipment according to the control characteristics of the controlled equipment, so as to establish a corresponding standard model; traversing each type of controlled equipment and establishing a standard model database;
the data extraction module is used for extracting corresponding data from the control function diagram of the controlled equipment to be verified based on the standard model of the controlled equipment to be verified, generating a verification reference database, extracting corresponding data from the nuclear power safety control display equipment database to be verified, and generating a verification object database;
and the verification module is used for carrying out consistency comparison on the data in the verification reference database and the data in the verification object database to obtain a verification result.
Further, the reference information comprises control information, operation feedback information and feedback information of the controlled equipment corresponding to the controlled equipment;
the standard model database is established and further comprises corresponding fields configured for the type of the controlled equipment, the control information of the control panel corresponding to each type of the controlled equipment, the operation feedback information and the feedback information of the controlled equipment.
Further, the data extraction module is configured to:
extracting corresponding data from the control function diagram of the controlled equipment to be verified according to fields in the standard model corresponding to the type of the controlled equipment to be verified, and filling the data into the standard model corresponding to the type of the controlled equipment to be verified to generate a verification reference database;
and extracting corresponding data from the nuclear power safety control display equipment database to be verified according to fields in the standard model corresponding to the type of the controlled equipment to be verified, and filling the data into the standard model corresponding to the type of the controlled equipment to be verified to generate a verification object database.
Further, the device also comprises an output module for generating a result list according to the verification result and displaying the result list.
Compared with the prior art, the application has the following beneficial effects:
1. according to the type of the controlled equipment to be verified, a standard model database is established, the established standard model database comprises standard models of each type of controlled equipment, and the information contained in the standard models comprises control information, operation feedback information and feedback information of the controlled equipment of a control panel corresponding to the type of the controlled equipment; therefore, the related data of one type of controlled equipment can be verified according to a standard model, the defects of low manual verification speed and low efficiency are overcome, the verification efficiency of the related data of the controlled equipment is improved, and meanwhile, the labor cost is greatly saved; meanwhile, if the reference information of the controlled equipment is changed, the related information of the corresponding standard model in the standard model database is only required to be modified, and the operation is simple and quick.
2. According to the method and the device, corresponding data are respectively extracted from the control function diagram corresponding to the controlled equipment and the database to be verified according to the fields in the standard model corresponding to the type of the controlled equipment to be verified, and one-to-one verification is automatically carried out, so that verification efficiency is improved, human errors such as verification errors and verification omission caused by manual verification are avoided, and verification accuracy is improved to a great extent.
In the application, the technical schemes can be mutually combined to realize more preferable combination schemes. Additional features and advantages of the application will be set forth in the description which follows, and in part will be obvious from the description, or may be learned by practice of the application. The objectives and other advantages of the application may be realized and attained by the structure particularly pointed out in the written description and drawings.
Drawings
The drawings are only for purposes of illustrating particular embodiments and are not to be construed as limiting the application, like reference numerals being used to refer to like parts throughout the several views.
FIG. 1 is a flow chart of a method for intelligent verification of a security control display device database according to an embodiment of the present application;
FIG. 2 is a schematic diagram of a control function diagram of a controlled device according to an embodiment of the present application;
FIG. 3 is another schematic diagram of a controlled device control function diagram according to an embodiment of the present application;
FIG. 4 is a schematic diagram of a database of a display device for nuclear power security control to be verified according to an embodiment of the present application;
FIG. 5 is a schematic diagram of an intelligent authentication system for securely controlling a database of a display device according to an embodiment of the present application;
FIG. 6 is a schematic diagram of an exemplary checklist of records according to the present application;
FIG. 7 is a schematic diagram of an abnormal issue record list according to an embodiment of the present application.
Detailed Description
The following detailed description of preferred embodiments of the application is made in connection with the accompanying drawings, which form a part hereof, and together with the description of the embodiments of the application, are used to explain the principles of the application and are not intended to limit the scope of the application.
Method embodiment
The application discloses an intelligent verification method of a nuclear power safety control display equipment database, which is shown in fig. 1 and comprises the following steps:
and step 1, establishing a standard model database according to the type of the controlled equipment.
And 1.1, determining the type of the controlled device according to the function executed by the controlled device. Illustratively, it is determined as a solenoid valve, a pneumatic valve, an electric regulating valve, a heater, an electric valve, or the like, according to the function performed by the controlled apparatus.
Step 1.2, determining the control characteristics of the controlled equipment according to the type of the controlled equipment; the electric regulating valve is operated by an increasing button and a decreasing button on the control panel, and continuously feeds back the actual opening, for example, the opening is between 0% and 100%; the pneumatic valve is operated by an on/off button on the control panel, and the state is only one state, namely on or off, and no intermediate state exists.
Step 1.3, determining reference information of the controlled equipment according to the control characteristics of the controlled equipment, so as to establish a corresponding standard model; the reference information comprises control information, operation feedback information and feedback information of the controlled equipment, wherein the control information and the operation feedback information correspond to the controlled equipment.
Illustratively, the reference information of the electric control valve includes: the two operation buttons on the control panel are respectively increased and decreased, and the actual opening of the regulating valve is displayed on the operation panel, wherein the range is 0-100, and the unit is; for pneumatic valves, the reference information includes: the operation buttons on the control panel are two, namely open and close respectively, and the state feedback of the operation buttons on the control panel is two: fully on and fully off.
And 1.4, configuring corresponding fields for the type of the controlled equipment, the control information of the control panel corresponding to each type of the controlled equipment, the operation feedback information and the feedback information of the controlled equipment.
In actual operation, corresponding fields are configured for relevant information of a standard model by combining a control function diagram corresponding to the type of the controlled equipment to be verified and corresponding information in a nuclear power safety control display equipment database to be verified, so that the standard model corresponding to the type of the controlled equipment, the control function diagram and the fields in the nuclear power safety control display equipment database to be verified are consistent.
Step 1.5, traversing each type of controlled equipment and establishing a standard model database; specifically, the standard model database comprises standard templates corresponding to each controlled device type, and when the reference information of the controlled device is changed, only the related information in the standard model is required to be changed, so that the operation is simple and quick.
And 2, extracting corresponding data from a control function diagram of the controlled equipment to be verified based on a standard model of the controlled equipment to be verified, generating a verification reference database, extracting corresponding data from a nuclear power safety control display equipment database to be verified, and generating a verification object database.
And step 3, carrying out consistency comparison on the data in the verification reference database and the data in the verification object database to obtain a verification result.
Exemplary, the controlled device reference information includes a controlled device driving module name, a controlled device ID, operation button information (code, tag, ID and feedback signal), controlled device status information (code, tag and feedback signal), fault information (code, tag and feedback signal), and the corresponding standard templates thereof are shown in table 1:
TABLE 1
Preferably, the verification reference database and the verification object database are generated by the following procedures:
and extracting corresponding data from the control function diagram of the controlled equipment to be verified according to the fields in the standard model corresponding to the type of the controlled equipment to be verified, filling the data into the standard model corresponding to the type of the controlled equipment to be verified, and generating a verification reference database. For example, the standard model corresponding to the controlled device to be verified specifies that the field operation button C1 is "on" and the field operation button C2 is "off", and then the "on" button information in the control function diagram is extracted and filled in the corresponding field of the standard model. Specifically, the control function diagram is a logic diagram which is designed in advance by a designer and contains reference information of the controlled equipment to be verified.
Illustratively, the control function diagram is shown in fig. 2 or fig. 3, and the extracted extraction items are shown in table 2:
TABLE 2
| Numbering device | Extract item |
| (1) | Device driver module name |
| (2) | Operation panel name |
| (3) | Device ID |
| (4) | Operation button label text |
| (5) | Operating button feedback signal |
| (6) | Status information tag text |
| (7) | Status information feedback signal |
| (8) | Fault information label text |
| (9) | Fault information feedback signal |
The corresponding generated verification reference database is shown in table 3:
TABLE 3 Table 3
Correspondingly, extracting corresponding data from the nuclear power safety control display equipment database to be verified according to fields in the standard model corresponding to the type of the controlled equipment to be verified, and filling the data into the standard model corresponding to the type of the controlled equipment to be verified to generate a verification object database. Illustratively, according to a field C1 in a standard model corresponding to the controlled device to be verified, information corresponding to the device C1 in the verification object security control display device database is directionally extracted and filled in the corresponding field of the standard model.
Illustratively, the database of the nuclear power safety control display device to be verified is shown in fig. 4, and the extracted terms are shown in table 4:
TABLE 4 Table 4
| Extract item | Supplementary description |
| ID | Operation panel name |
| Device ID | Device serial number |
| Button text | Operation button label text |
| Label text | Status information tag text |
| Message text | Fault information label text |
| Operation ID | Operation button ID |
| Feedback signal | Operation button, fault information feedback signal |
| Status of | Status information feedback signal |
The corresponding generated verification object database is shown in table 5:
TABLE 5
Preferably, in order to improve the data comparison and verification speed, the method further comprises the step of carrying out data isomorphism processing on the data in the verification reference database and the verification object database before consistency comparison to obtain the verification reference database and the verification object database with the same data structure.
Preferably, the consistency comparison of the data in the verification reference database and the data in the verification object database is performed to obtain a verification result, which includes:
consistency comparison is carried out on the information corresponding to the same field in the verification reference database and the verification object database with the same data structure;
and if the corresponding information in the same field is the same, the information is consistent.
Exemplary, validation rules are shown in table 6:
TABLE 6
System embodiment
In another embodiment of the present application, an intelligent verification system for a database of a nuclear power safety control display device is disclosed, as shown in fig. 5, including:
the standard model building module is used for determining the type of the controlled equipment according to the function executed by the controlled equipment; determining the control characteristic of the controlled equipment according to the type of the controlled equipment; determining reference information of the controlled equipment according to the control characteristics of the controlled equipment, so as to establish a corresponding standard model; and traversing each type of controlled equipment and establishing a standard model database.
The data extraction module is used for extracting corresponding data from the control function diagram of the controlled equipment to be verified based on the standard model of the controlled equipment to be verified, generating a verification reference database, extracting corresponding data from the nuclear power safety control display equipment database to be verified, and generating a verification object database.
And the verification module is used for carrying out consistency comparison on the data in the verification reference database and the data in the verification object database to obtain a verification result.
Preferably, the data extraction module is configured to:
and extracting corresponding data from the control function diagram of the controlled equipment to be verified according to fields in the standard model corresponding to the type of the controlled equipment to be verified, and filling the data into the standard model corresponding to the type of the controlled equipment to be verified to generate a verification reference database.
And extracting corresponding data from the nuclear power safety control display equipment database to be verified according to fields in the standard model corresponding to the type of the controlled equipment to be verified, and filling the data into the standard model corresponding to the type of the controlled equipment to be verified to generate a verification object database.
Preferably, before the consistency comparison, the data extraction module is further configured to perform data isomorphism processing on data in the verification reference database and the verification object database, so as to obtain the verification reference database and the verification object database with the same data structure.
Preferably, the system further comprises an output module for generating a result list according to the verification result and displaying the result list. The result list comprises an inspection record list and an abnormal problem record list, which are respectively shown in fig. 6 and 7, so that a designer can modify the related information of the controlled equipment to be verified according to the abnormal record list.
Compared with the prior art, the intelligent verification method and the intelligent verification system for the nuclear power safety control display equipment database are characterized in that firstly, a standard model database is established according to the type of the controlled equipment to be verified, the established standard model database comprises standard models of each type of the controlled equipment, and the information contained in the standard models comprises control information, operation feedback information and feedback information of a control panel corresponding to the type of the controlled equipment; therefore, the related data of one type of controlled equipment can be verified according to a standard model, the defects of low manual verification speed and low efficiency are overcome, the verification efficiency of the related data of the controlled equipment is improved, and meanwhile, the labor cost is greatly saved; meanwhile, if the reference information of the controlled equipment is changed, the related information of the corresponding standard model in the standard model database is only required to be modified, and the operation is simple and quick; and secondly, according to the fields in the standard model corresponding to the type of the controlled equipment to be verified, corresponding data are respectively extracted from the control function diagram corresponding to the controlled equipment and the database to be verified, and one-to-one verification is automatically carried out, so that the verification efficiency is improved, human-caused errors such as verification errors, verification omission and the like caused by manual verification are avoided, and the verification accuracy is improved to a great extent.
Those skilled in the art will appreciate that all or part of the flow of the methods of the embodiments described above may be accomplished by way of a computer program to instruct associated hardware, where the program may be stored on a computer readable storage medium. Wherein the computer readable storage medium is a magnetic disk, an optical disk, a read-only memory or a random access memory, etc.
The present application is not limited to the above-mentioned embodiments, and any changes or substitutions that can be easily understood by those skilled in the art within the technical scope of the present application are intended to be included in the scope of the present application.
Claims (5)
1. An intelligent verification method for a nuclear power safety control display device database is characterized by comprising the following steps:
determining the type of the controlled device according to the function executed by the controlled device;
determining the control characteristic of the controlled equipment according to the type of the controlled equipment;
determining reference information of the controlled equipment according to the control characteristics of the controlled equipment, so as to establish a corresponding standard model; the reference information comprises control information, operation feedback information and feedback information of the controlled equipment corresponding to the controlled equipment; configuring corresponding fields for the type of the controlled equipment, control information of a control panel corresponding to each type of the controlled equipment, operation feedback information and feedback information of the controlled equipment; traversing each type of controlled equipment and establishing a standard model database; the standard model database comprises standard models corresponding to each controlled equipment type, and when the reference information of the controlled equipment is changed, the related information in the standard models is only required to be changed;
extracting corresponding data from the control function diagram of the controlled equipment to be verified according to fields in the standard model corresponding to the type of the controlled equipment to be verified, and filling the data into the standard model corresponding to the type of the controlled equipment to be verified to generate a verification reference database;
extracting corresponding data from a nuclear power safety control display equipment database to be verified according to fields in a standard model corresponding to the type of the controlled equipment to be verified, filling the data into the standard model corresponding to the type of the controlled equipment to be verified, and generating a verification object database;
and carrying out consistency comparison on the data in the verification reference database and the data in the verification object database to obtain a verification result.
2. The intelligent verification method of the nuclear power safety control display equipment database according to claim 1, further comprising the step of performing data isomorphism processing on data in the verification reference database and the verification object database before consistency comparison to obtain the verification reference database and the verification object database with the same data structure.
3. The intelligent verification method of a nuclear power safety control display device database according to claim 1, wherein the step of comparing the consistency of the verification reference database with the data in the verification object database to obtain a verification result comprises the steps of:
consistency comparison is carried out on the information corresponding to the same field in the verification reference database and the verification object database with the same data structure;
and if the corresponding information in the same field is the same, the information is consistent.
4. An intelligent verification system for a nuclear power safety control display device database, comprising:
the standard model building module is used for determining the type of the controlled equipment according to the function executed by the controlled equipment; determining the control characteristic of the controlled equipment according to the type of the controlled equipment; determining reference information of the controlled equipment according to the control characteristics of the controlled equipment, so as to establish a corresponding standard model; the reference information comprises control information, operation feedback information and feedback information of the controlled equipment corresponding to the controlled equipment; configuring corresponding fields for the type of the controlled equipment, control information of a control panel corresponding to each type of the controlled equipment, operation feedback information and feedback information of the controlled equipment; traversing each type of controlled equipment and establishing a standard model database; the standard model database comprises standard models corresponding to each controlled equipment type, and when the reference information of the controlled equipment is changed, the related information in the standard models is only required to be changed;
extracting corresponding data from the control function diagram of the controlled equipment to be verified according to fields in the standard model corresponding to the type of the controlled equipment to be verified, and filling the data into the standard model corresponding to the type of the controlled equipment to be verified to generate a verification reference database;
extracting corresponding data from a nuclear power safety control display equipment database to be verified according to fields in a standard model corresponding to the type of the controlled equipment to be verified, filling the data into the standard model corresponding to the type of the controlled equipment to be verified, and generating a verification object database;
and the verification module is used for carrying out consistency comparison on the data in the verification reference database and the data in the verification object database to obtain a verification result.
5. The intelligent verification system of a nuclear power safety control display device database according to any one of claim 4, further comprising an output module for generating a result list according to the verification result and displaying the result list.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202010826797.6A CN112164481B (en) | 2020-08-17 | 2020-08-17 | Intelligent verification method and system for nuclear power safety control display equipment database |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202010826797.6A CN112164481B (en) | 2020-08-17 | 2020-08-17 | Intelligent verification method and system for nuclear power safety control display equipment database |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN112164481A CN112164481A (en) | 2021-01-01 |
| CN112164481B true CN112164481B (en) | 2023-09-29 |
Family
ID=73860003
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN202010826797.6A Active CN112164481B (en) | 2020-08-17 | 2020-08-17 | Intelligent verification method and system for nuclear power safety control display equipment database |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN112164481B (en) |
Citations (12)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH10307609A (en) * | 1997-05-06 | 1998-11-17 | Toshiba Corp | Software verification tool for plant control |
| JP2001318959A (en) * | 2000-05-11 | 2001-11-16 | Fujitsu Ltd | Logical circuit verifying device |
| CN102315963A (en) * | 2011-08-11 | 2012-01-11 | 百度在线网络技术（北京）有限公司 | Method for authenticating system configuration change and equipment |
| KR20130069106A (en) * | 2011-12-16 | 2013-06-26 | 국방과학연구소 | Embeded software test equipment and operating method thereof |
| CN104635669A (en) * | 2014-12-11 | 2015-05-20 | 国核自仪系统工程有限公司 | Instrument control system verification method |
| CN105005295A (en) * | 2015-07-15 | 2015-10-28 | 上海核工程研究设计院 | Test system and test method for control logic |
| CN108229182A (en) * | 2017-11-29 | 2018-06-29 | 北京广利核系统工程有限公司 | Utilize the method and system of information isomorphism verification picture configuration |
| CN108256074A (en) * | 2018-01-17 | 2018-07-06 | 链家网（北京）科技有限公司 | Method, apparatus, electronic equipment and the storage medium of checking treatment |
| CN109117136A (en) * | 2018-08-01 | 2019-01-01 | 北京广利核系统工程有限公司 | I&C system human-computer interface device and its control method |
| CN109150877A (en) * | 2018-08-21 | 2019-01-04 | 三星电子（中国）研发中心 | Method and apparatus for carrying out security control to controlled plant |
| CN110764572A (en) * | 2019-09-17 | 2020-02-07 | 北京广利核系统工程有限公司 | Nuclear safety level control display device for nuclear power station |
| CN111104783A (en) * | 2019-12-17 | 2020-05-05 | 珠海格力电器股份有限公司 | Data verification method and device, electronic equipment and storage medium |
Family Cites Families (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| KR101859629B1 (en) * | 2017-10-23 | 2018-05-18 | 한국수력원자력 주식회사 | Method for validating instrumentation and control system of nuclear power plant and validating apparatus therefor |
-
2020
- 2020-08-17 CN CN202010826797.6A patent/CN112164481B/en active Active
Patent Citations (12)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH10307609A (en) * | 1997-05-06 | 1998-11-17 | Toshiba Corp | Software verification tool for plant control |
| JP2001318959A (en) * | 2000-05-11 | 2001-11-16 | Fujitsu Ltd | Logical circuit verifying device |
| CN102315963A (en) * | 2011-08-11 | 2012-01-11 | 百度在线网络技术（北京）有限公司 | Method for authenticating system configuration change and equipment |
| KR20130069106A (en) * | 2011-12-16 | 2013-06-26 | 국방과학연구소 | Embeded software test equipment and operating method thereof |
| CN104635669A (en) * | 2014-12-11 | 2015-05-20 | 国核自仪系统工程有限公司 | Instrument control system verification method |
| CN105005295A (en) * | 2015-07-15 | 2015-10-28 | 上海核工程研究设计院 | Test system and test method for control logic |
| CN108229182A (en) * | 2017-11-29 | 2018-06-29 | 北京广利核系统工程有限公司 | Utilize the method and system of information isomorphism verification picture configuration |
| CN108256074A (en) * | 2018-01-17 | 2018-07-06 | 链家网（北京）科技有限公司 | Method, apparatus, electronic equipment and the storage medium of checking treatment |
| CN109117136A (en) * | 2018-08-01 | 2019-01-01 | 北京广利核系统工程有限公司 | I&C system human-computer interface device and its control method |
| CN109150877A (en) * | 2018-08-21 | 2019-01-04 | 三星电子（中国）研发中心 | Method and apparatus for carrying out security control to controlled plant |
| CN110764572A (en) * | 2019-09-17 | 2020-02-07 | 北京广利核系统工程有限公司 | Nuclear safety level control display device for nuclear power station |
| CN111104783A (en) * | 2019-12-17 | 2020-05-05 | 珠海格力电器股份有限公司 | Data verification method and device, electronic equipment and storage medium |
Non-Patent Citations (1)
| Title |
|---|
| 李萌等.核电厂安全级控制显示装置的软件设计.《核电仪控》.68-73. * |
Also Published As
| Publication number | Publication date |
|---|---|
| CN112164481A (en) | 2021-01-01 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US8606538B2 (en) | Method of testing an electronic system | |
| JP6615759B2 (en) | Batch field device operation | |
| CN102087657B (en) | IO (Input/output) to point method and IO (Input/output) to point for nuclear power plant simulation platform | |
| JP2016530647A5 (en) | ||
| CN109933521A (en) | Automated testing method, device, computer equipment and storage medium based on BDD | |
| WO2021228118A1 (en) | Central air conditioner intelligent design method, system and device | |
| US20130053996A1 (en) | Method of programming recipe through gui and media recording the same | |
| CN108229182B (en) | Method and system for verifying picture configuration by using information isomorphism | |
| CN111538628B (en) | Information processing method, device, equipment and medium | |
| US6941261B1 (en) | Cause and effect logic application implementation | |
| US8874598B2 (en) | Method and system for an executable specification | |
| CN112164481B (en) | Intelligent verification method and system for nuclear power safety control display equipment database | |
| CN109086104A (en) | The multi-thread body multistation parameter management method of AOI and system | |
| CN111401028B (en) | Automatic comparison method and device for RPS software versions of nuclear power station | |
| CN112949018B (en) | System and method for creating and testing verification of direct-current transmission control and protection platform model | |
| CN107404405B (en) | Intelligent substation IEC61850 consistency test method and system | |
| CN101887087B (en) | Automatic test system and operating method and instrument control device thereof | |
| JP2011096029A (en) | Method and system for supporting maintenance operation plan | |
| CN111414440A (en) | Method and system for isomorphically verifying control system algorithm configuration diagram by using data stream | |
| CN110569868A (en) | Dangerous work standard management system and management method thereof | |
| CN115328442B (en) | Hazardous chemical substance enterprise safety risk management and control platform constructed based on low code platform | |
| CN110473076A (en) | A kind of method and device of double screen Credential data processing and display | |
| US20230237249A1 (en) | Method and system for generating an automation engineering project in a technical installation using multidisciplinary approach | |
| US20240037016A1 (en) | Computer readable storage medium, debugging support device, debugging support method, and machine learning device | |
| CN116542066A (en) | Cross-platform equipment configuration conversion method and system based on EPLAN drawing software |
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 |