KR101836333B1 - System of automatic design verification of nuclear reactor core design - Google Patents

Abstract

This technology discloses a system and method for automatic verification of core design of a nuclear power plant. According to the embodiment of the present invention, the design quality can be improved by quickly and automatically verifying the design results at the core design of the nuclear power plant, and the proven design values are automatically stored in the database, The designer's know-how can be preserved and handed down. It can contribute to the safety of nuclear power plants by ensuring minimum design quality even in imminent design environments that are not friendly to design.

Description

BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention relates to an automatic verification system for a core design of a nuclear power plant,

The present invention relates to a system for verifying a design result for a core design of a nuclear power plant, and more particularly to a method for automatically verifying a design result for a core design of a nuclear power plant using a graphical user interface .

The core design is divided into loading model selection, safety evaluation, nuclear design report, and operation data production for each power station cycle. The number of design items required for evaluation is 40 ~ 50 per cycle. The designer creates the input data for these design items, executes the design code, produces the result, and creates the design note. The reviewer then proceeds to validate the design notes and design results for each design item. Usually, the number of design results per design item varies from 1 to as many as 10.

Identification of design verification requirements for current design results is not systematically established. In the existing design procedure, the designer executes the design code for the input data and the input data, writes the produced design result into the design note, and creates the calculation note for the design result without any special review process. In the process of reviewing the calculation notes of the reviewer, many input errors are found and recalculated, wasting a lot of time and manpower.

Given that the design and verification of nuclear power plants depend on the experience and ability of the designer or reviewer and the number of design verification requirements to be verified by designers ranges from tens to hundreds, And concentration. In addition, long-term training for one or two years is required for design or independent review work in situations where such high level of expertise is required.

Therefore, there is a plan to systematically convey the design review experience of accumulated advanced design manpower for many years, and to prevent the design failure due to the gradually expanding design work with limited manpower and the design verification part that reaches about 40% Verification automation is required for efficiency.

Design automation of nuclear power plant core design automation has a difficulty to automate so as to reflect the various and subjective verification will of reviewers. The reviewer's willingness to verify means the evaluator's own personal ability or desire for verification of a specific matter that reflects his or her intention to the design notes. This is very difficult to automate because it is very variable. Due to these difficulties, the automation of design validation part of nuclear power plant core design has not been originated in the world.

It is an object of the present invention to provide a system and a method for automatically performing a verification of a design result for nuclear power plant core design.

In order to achieve the above object, an automatic core design verification system of a nuclear power plant according to an embodiment of the present invention includes: a user-defined function providing unit that provides user-defined functions used for identification or verification of a design result; A design result identifying unit for identifying a design result for verifying a design item using the user-defined function selected by the user; And a design verification unit for performing design verification using the user-defined function selected by the user for each identified design result.

An object of the present invention is to provide a system for automatically performing a verification of a design result for nuclear power plant core design.

Preferably, the user-defined function provider divides the user-defined functions into groups, divides the group and user-defined functions into visualized icons, and provides the icons to the user, and the design- The verification tree used is configured with the design item located at the top of the verification tree structure.

Preferably, the verification tree is configured in a stepwise manner using the user-defined function selected by the user, and the design item, the design result, and the user-defined function constituting the verification tree can be added, changed, and deleted, respectively do.

Preferably, the database automatic storage unit classifies the data extracted or verified by the design verification unit and automatically stores the data in a database so that the data can be browsed. An output unit for displaying the inputs and results in real time when constructing or using the verification tree in the design result identification unit and the design verification unit and outputting the design verification result for each design item in the form of a verification report; And an analysis unit for analyzing the data stored by the automatic database storage unit and displaying the analyzed data in a picture or a chart.

In another aspect of the present invention, there is provided an automatic core design verification method for a nuclear power plant, comprising: (a) providing a user-defined function used for identifying or verifying a design result; (b) identifying a design result for verifying a design item using a user-defined function selected from a user among the user-defined functions by constructing and verifying a verification tree; And (c) configuring the verification tree using the user-defined function selected from the user among the user-defined functions for each identified design result, and performing the design verification using the configured verification tree And the verification tree is classified as the top of the verification tree.

Preferably, the step (d) includes automatically classifying data extracted or verified by the design verification performing unit and automatically storing the data in a database so that the data can be browsed, and (e) Wherein the steps (b) and (c) further comprise the step of displaying the configuration and use of the verification tree in real time by the output unit when constructing and using the verification tree.

Preferably, the user-defined function provided by the user-defined function provision unit in the step (a) is divided into groups, and each user-defined function included in each of the divided groups and groups is divided into visualized icons Wherein the verification tree constructed or used in the steps (b) and (c) is configured step by step using the user-defined function selected from the user, and the design item, the design result, and the user defined function Can be added, changed, and deleted, respectively.

The computer usable medium according to another embodiment of the present invention is also a computer usable medium having embodied computer readable program code for causing the computer readable program code to be executed to implement a method for automatically validating core design of a nuclear power plant The method comprising the steps of: (a) providing a user-defined function provider, the user-defined function being used for identification or verification of a design result; (b) identifying a design result for verifying a design item using a user-defined function selected from a user among the user-defined functions by constructing and verifying a verification tree; And (c) configuring the verification tree using the user-defined function selected from the user among the user-defined functions for each identified design result, and performing the design verification using the configured verification tree do.

Preferably, the step (d) includes automatically classifying data extracted or verified by the design verification performing unit and automatically storing the data in a database so that the data can be browsed, and (e) (B) and (c) further comprises the step of displaying, in real time, the outputting unit of the construction or use of the verification tree when constructing or using the verification tree, wherein the verification The tree is characterized in that the design items are classified at the top of the verification tree.

Preferably, the user-defined function provided by the user-defined function provision unit in the step (a) is divided into groups, and each user-defined function included in each of the divided groups and groups is divided into visualized icons Wherein the verification tree constructed or used in the steps (b) and (c) is configured step by step through a combination of the user-defined functions selected from the user for the purpose of verification, and the design tree , The design result and the user-defined function can be added, changed and deleted, respectively.

According to the present invention, the design quality can be improved by quickly and automatically verifying the design results in the core design of a nuclear power plant, and the proven design values are automatically stored in the database, so that systematic management can be performed. Can be preserved and handed over. It can contribute to the safety of nuclear power plants by ensuring minimum design quality even in imminent design environments that are not friendly to design.

1 shows a block diagram of an automatic core design product verification system for a nuclear power plant of the present invention.
Figure 2 illustrates the types of user defined functions provided in an embodiment of the present invention.
Figure 3 illustrates a screen on which a user-defined function can be selected and executed in an embodiment of the present invention.
FIG. 4 is a conceptual diagram illustrating a tree structure including a verification tree structure according to an embodiment of the present invention.
5 shows an output screen of recharging design verification data stored in a database according to an embodiment of the present invention.
FIG. 6 is a view illustrating an example of a screen provided according to an embodiment of the present invention.
FIG. 7 shows a verification report output screen for each design item according to an embodiment of the present invention.
FIG. 8 illustrates a data validation screen through statistical analysis of reload design values stored in a database according to an embodiment of the present invention.
FIG. 9 shows a flowchart of the operation of an automatic core design verification method of a nuclear power plant according to another embodiment of the present invention.
Figure 10 shows a conceptual diagram according to an embodiment of the present invention.

Brief Description of the Drawings The advantages and features of the present invention, and how to accomplish them, will become apparent with reference to the embodiments described hereinafter with reference to the accompanying drawings. The present invention may, however, be embodied in many different forms and should not be construed as limited to the embodiments set forth herein. Rather, these embodiments are provided so that this disclosure will be thorough and complete, and will fully convey the scope of the invention to those skilled in the art. To fully disclose the scope of the invention to those skilled in the art, and the invention is only defined by the scope of the claims. Like reference numerals refer to like elements throughout the specification.

While the present invention has been described in connection with what is presently considered to be the most practical and preferred embodiment, it is to be understood that the invention is not limited to the disclosed embodiments. Also, in certain cases, there may be a term selected arbitrarily by the applicant, in which case the meaning thereof will be described in detail in the description of the corresponding invention. Therefore, the term used in the present invention should be defined based on the meaning of the term, not on the name of a simple term, but on the entire contents of the present invention.

The system in the present invention can be configured to include an information processing apparatus including a conventional input / output device and a processor, and when a component is referred to as "including" It is to be understood that the invention is not limited to these embodiments, but may include other elements. In addition, the term "part " used in the specification means components such as software, FPGA or ASIC, and" part " However, 'minus' is not limited to software or hardware. The " part " may be configured to reside on an addressable storage medium and may be configured to play back one or more processors. Thus, by way of example, and not limitation, "part (s) " refers to components such as software components, object oriented software components, class components and task components, and processes, Subroutines, segments of program code, drivers, firmware, microcode, circuitry, data, databases, data structures, tables, arrays and variables. The functions provided in the components and "parts " may be combined into a smaller number of components and" parts " or further separated into additional components and "parts ".

Hereinafter, embodiments of the present invention will be described in detail with reference to the accompanying drawings so that those skilled in the art can easily carry out the present invention. The present invention may, however, be embodied in many different forms and should not be construed as limited to the embodiments set forth herein. In order to clearly explain the present invention in the drawings, parts not related to the description will be omitted.

In the present invention, the design item may be something like a "loading model selection" and an "APOLLO model production" that are prepared for each power plant cycle / cycle. Design items can contain from 1 to 10 design results. Design results can be composed of design notes on nuclear cross-sectional production, for example in the selection of loading models. Preferably, the design notes constituting the design result may be a file in text form.

1 is a block diagram of a system for automatically checking the nuclear design results of a nuclear power plant of the present invention.

Referring to FIG. 1, a core design result automatic verification system 10 of a nuclear power plant according to an embodiment of the present invention includes a user-defined function providing unit 100, a design result identifying unit 200, a design verification performing unit 300, A database automatic storage unit 400, an output unit 500, and an analysis unit 600. [

The user-defined function supplier 100 searches a design result according to an identification requirement, which is a calculation feature in a design result, and provides a user-defined function as a resource for automatically identifying a design result for a calculation. The user can combine the user-defined functions provided by the user-defined function provider 100 as resources, identify the design results included in the design items, and configure the verification tree.

Also, the user-defined function providing unit 100 extracts data required for verification of the design verification requirement targeted by the user for each identified design result from the design result, and compares the extracted data with the design standard, A user-defined function for confirming whether the criterion satisfies the criterion can be provided as a resource.

In addition, the user-defined function providing unit 100 may provide functions for operating the database.

The user-defined functions provided by the user-defined function providing unit 100 may be various kinds of functions, such as arithmetic operations, comparison, mathematical functions, string extraction, conversion, and elimination, Function.

In addition, the user-defined functions provided by the user-defined function providing unit 100 can be divided into basic functions (folder creation, string scanning), file functions (file designation, selection, file information) (Subtraction, subtraction, substitution, conditional substitution), arithmetic functions (arithmetic operations, comparison, statistical functions, mathematical functions) , Conditional location search, set, interpolation), and DB function (storage, search, browsing), and can be divided into visualized icons for easy storage by the user.

Referring to FIG. 2, an example of a user defined function, a group of user defined functions, and respective icons that can be provided by the present invention can be seen.

Referring to FIG. 3, there is shown a screen that can be provided by the present invention, and an example of a screen that can be selected in the execution or verification tree by selecting a user-defined function.

The design result identification unit 200 verifies design results for verifying a design item using a user-defined function selected or selected by the user using the user-defined functions provided by the user-defined function provider 100 as resources A tree can be constructed and identified.

The verification tree constituted by the designing result identification unit 200 may be one in which the design item is positioned at the highest position in the verification tree structure, and the design item may have the sub-structure of the design result as identified above.

The verification tree constructed by the design result identification unit 200 can be completed by the user inputting user-defined functions, which are shared with the design verification unit 300 and are sub-structures of the identified design results, in the design verification unit 300.

The design verification performing unit 300 constructs a verification tree using a user-defined function selected from the user for each design result identified by the design result identifying unit 200, and performs design verification using the configured verification tree .

Specifically, the design verification performing unit 300 uses the user-defined function selected or selected by the user to calculate data required for verification of the design verification requirement that the user is targeting from each identified design result, Can be extracted.

The design verification performing unit 300 compares the extracted data with the user-defined function from the design verification requirement and the design result set as the target, and can determine whether it meets the design requirement.

In addition, the data extracted from the design result can be processed into data required for the user's target verification by using various user-defined functions such as logic / arithmetic / transformation.

The design verification performing unit 300 can construct a verification tree such that the user-defined functions selected by the user are located below the design result for the extraction, determination, and processing as described above, and can perform design verification using the configured verification tree have.

The design item, the design result, and the user defined function constituting each step of the verification tree used in the design result identification unit 200 and the design verification performing unit 300 can be added / deleted / changed / copied.

Users can build validation goals through a combination of user-defined functions, such as establishing validation goals and then stacking them in phases to realize them.

In order to manage the verification tree structurally, it is possible to classify the verification trees as the upper structural items of the verification tree, and the upper structure items of the verification tree, such as the power plant cycle and the design cycle, Change / copy may be possible.

Referring to FIG. 4, there is schematically shown an example of a design verification structure using a tree structure devised in the present invention.

In an embodiment, the core design result automatic verification system of a nuclear power plant may include a database automatic storage unit 400. The database automatic storage unit 400 automatically stores the data extracted from the design result or the verified data in the database The database can be constructed using a system server, and the data can be automatically stored in a three-dimensional data structure.

The database automatic storage unit 400 can automatically store data or verified data extracted from the design results in the database in the database in accordance with the expiration / period / design items simultaneously with the verification of the design result, Can be read whenever necessary. Through this, the completed design verification input can be used repeatedly at every design cycle, and the know-how based on the accumulated verification experience of the designer can be easily implemented in the current design verification.

In the embodiment, the automatic database storage unit 400 establishes a system capable of systematically managing the reloading design data automatically and automatically through the database. Therefore, the user can view the loading model stored in the database as the extracted or verified data from the design result or the reloading design value at any time / period.

FIG. 5 shows an example of the reloading design value stored in the database of the present invention, which can be stored in the database as data in the form of a 1, 2, or 3 dimensional array.

The output unit 500 may display the input and the execution result on the screen when the user-defined function is executed in the identification and verification step of the design result to construct or use the verification tree. Preferably, the output unit 500 is capable of displaying input and execution results in real time. The output unit 500 may also display a list that allows the user to view the database stored by the automatic database storage unit 400.

Referring to FIG. 6, an example of a verification tree being constructed as a screen that the present invention can provide is shown. Referring to FIG. 6, an example of the database list can be seen in S13 of the screen that can be provided by the present invention.

In addition, the output unit 500 can confirm the verification result report such as the verification description and the satisfaction of the design verification performed in each design item in a separate document file format. Preferably, the document file is output in an HTML file format so that it can be checked or retrieved using various web browsers installed in the design Linux system without using a separate program.

Fig. 7 shows an example of a verification report verifying the selection items of the 27th cycle loading model of Kori 2 as a verification report output screen for each design item.

The analysis unit 600 may analyze the data stored in the database automatically by the database automatic storage unit and display the data in the form of a picture or a chart. Also, the analyzer 600 can statistically analyze the 95% confidence interval of the RSAC (Reload Safety Analysis Checklist) data stored in the current cycle for each cycle and display it on a chart.

In the embodiment, the statistical analysis of the reloading design values is preferably performed by statistically analyzing data of the same type of existing cycles and statistically confirming the validity of the current period reloading design value through setting of 95% confidence interval or the like . In this embodiment, the user can use this to evaluate whether the reloading design value produced in the current period is a reliable result in light of the existing design experience. Therefore, if the current cycle design deviates from the 95% confidence interval of the existing design values, the user is warned so that the validity of the design input can be re-evaluated.

FIG. 8 shows an example of data validation through statistical analysis according to an embodiment of the present invention.

FIG. 9 is a flowchart illustrating an operation procedure of the core design automatic verification system of the nuclear power plant shown in FIG. 1, and FIG. 8 is a flowchart illustrating a process of an automatic core design verification method for a nuclear power plant according to another embodiment of the present invention do.

First, the user-defined function provider 100 provides a user-defined function used for identification or verification of a design result (S100). Then, the design-result identification unit 200 constructs a verification tree for verifying the design item using the user-defined function selected from the user among the user-defined functions, and identifies the design result (S200). As described above, the design result identification unit 200 may be configured to identify a design item using a user-defined function provided by the user-defined function providing unit 100 as a resource, A verification tree can be constructed to identify design outcomes. At this time, the verification tree constituted by the design result identification unit 200 may be designed to place the design item at the highest position in the verification tree structure, and the design item may have the sub-structure of the design result as identified above. The user-defined functions provided by the user-defined function providing unit 100 may be various kinds of functions, such as arithmetic operations, comparison, mathematical functions, string extraction, conversion, and elimination, Function.

In addition, the user-defined functions provided by the user-defined function providing unit 100 can be divided into basic functions (folder creation, string scanning), file functions (file designation, selection, file information) (Subtraction, subtraction, substitution, conditional substitution), arithmetic functions (arithmetic operations, comparison, statistical functions, mathematical functions) , Conditional location search, set, interpolation), and DB function (storage, search, browsing), and can be divided into visualized icons for easy storage by the user.

Then, the design verification performing unit 300 constructs a verification tree using the user-defined functions selected from the user among the user-defined functions with respect to each identified design result, and performs the design verification using the configured verification tree S300). As described above, the design verification performing unit 300 designates data required for verification of a design verification requirement targeted by the user from each identified design result using a user-defined function selected or selected by the user And can be extracted from the resultant. Also, the design verification performing unit 300 can compare the data extracted by the user-defined function from the design verification requirement and the design verification requirement set as the target, and determine whether it meets the design requirement. The design verification performing unit 300 can construct a verification tree such that the user-defined functions selected by the user are located below the design result for the extraction, determination, and processing as described above, and can perform design verification using the configured verification tree have. Further, the design item, the design result, and the user-defined function constituting each step of the verification tree used in the design result identification unit 200 and the design verification performing unit 300 can be added / deleted / changed / copied .

Then, the database automatic storage unit 400 may classify the extracted or verified data by the design verification performing unit 300 and automatically store the data in a database so that the data can be browsed. As described above, the database automatic storage unit 400 can automatically store data or verified data extracted from the design results into the database in accordance with the breath / period / design items simultaneously with the verification of the design result, It is possible for the user to read the design item whenever necessary.

Then, the output unit 500 may output the design verification result for each design item in the form of a verification report. As described above, the output unit 500 executes each design item, The result of the verification, such as satisfaction, can be confirmed in a separate document file format. Preferably, the document file is output in an HTML file format so that it can be confirmed or retrieved using various web browsers installed in the design Linux system without using a separate program. In addition, the output unit 500 may cause the output unit to display a configuration process or a use process of the verification tree by the design result identification unit 200 and the design verification performing unit 300 in real time.

As described above, FIG. 4 schematically shows a design verification system and method using a tree structure devised in the present invention. A unique design verification system that allows the user to add / modify / delete the verification tree component at each design stage to implement various verification wills and design experience of the reviewer through the present invention, and the user completes the verification step through the combination thereof Method.

This means how to implement a verification target through a combination of these from user-defined function resources, such that a user builds a verification target for a matter and then builds a top-level tower to realize that goal. This completed design verification input is very efficient because it can be used repeatedly at every design cycle.

As described above, according to the present invention, it is possible to improve the design quality through automatic verification of the design result quickly and accurately at the core design of the nuclear power plant, to systematically manage the reloading design value database, And can contribute to the safety of nuclear power plant by ensuring minimum design quality even in imminent design environment which is not favorable to design which is a problem of passive design verification.

Also, since the present invention can be applied to design results outputted in a text format regardless of the type of the nuclear power plant and the design code type, the present invention can be applied to domestic power plants as well as overseas power plants. Furthermore, it can be extended not only to the field of nuclear power plant design but also to the verification of all documents written in text form.

It will be understood by those skilled in the art that the foregoing description of the present invention is for illustrative purposes only and that those of ordinary skill in the art can readily understand that various changes and modifications may be made without departing from the spirit or essential characteristics of the present invention. will be. It is therefore to be understood that the above-described embodiments are illustrative in all aspects and not restrictive. For example, each component described as a single entity may be distributed and implemented, and components described as being distributed may also be implemented in a combined form.

The present invention can also be embodied as computer-readable codes on a computer-readable recording medium. A computer-readable recording medium includes all kinds of recording apparatuses in which data that can be read by a computer system is stored. Examples of the computer-readable recording medium include ROM, RAM, CD-ROM, magnetic tape, floppy disk, optical data storage, and the like. The computer-readable recording medium may also be distributed over networked computer systems so that computer readable code can be stored and executed in a distributed manner

The scope of the present invention is defined by the appended claims rather than the detailed description and all changes or modifications derived from the meaning and scope of the claims and their equivalents are to be construed as being included within the scope of the present invention do.

10 core design automatic verification system of nuclear power plant
100 User-Defined Function Provided 200 Design Result Identification
300 design verification performing unit 400 automatic database storage unit
500 output section 600 Analysis section

Claims (11)

delete A user defined function providing a user defined function used for identification or verification of a design result;
A design result identifying unit configured to identify and identify a design result for verifying a design item using the user-defined function selected by the user; And
A design verification unit configured to construct a verification tree using the user-defined function selected by the user for each identified design result, and to perform design verification using the configured verification tree;
A database automatic storage unit for classifying data extracted or verified by the design verification unit and automatically storing the data in a database so that the data can be browsed;
An output unit for displaying the inputs and results in real time when constructing or using the verification tree in the design result identification unit and the design verification unit and outputting the design verification result for each design item in the form of a verification report; And
And an analysis unit for analyzing the data stored by the automatic database storage unit and displaying the analyzed data in a picture or a chart,
The user-defined functions can be combined as if they were stacked in stages,
The verification tree classifies the power plant unit or design cycle that can be added / deleted / changed / copied into its upper structural items,
Wherein the output unit outputs the verification result report as a document file in an HTML file format.
3. The method of claim 2,
The user-defined function provider divides the user-defined functions into groups, divides the group and user-defined functions into visualized icons, and provides the icons to the user,
Wherein the verification tree used in the design result identification unit and the design verification performing unit is configured such that design items are located at the top of the verification tree structure.
The method of claim 3,
Wherein the verification tree is constructed step by step using the user-defined function selected by the user, and design items, design results, and user-defined functions constituting the verification tree can be added, changed, and deleted, respectively Core design automatic verification system.
delete delete delete delete delete delete delete

Images