• Nuclear Engineering and Technology
• /
• v.44 no.8
• /
• pp.929-938
• /
• 2012

The Computerized Procedure System (CPS) is one of the primary operating support systems in the digital Main Control Room. The CPS displays procedure on the computer screen in the form of a flow chart, and displays plant operating information along with procedure instructions. It also supports operator decision making by providing a system decision. A procedure flow should be correct and reliable, as an error would lead to operator misjudgment and inadequate control. In this paper we present a modeling for the CPS that enables formal verification based on Petri nets. The proposed State Token Petri Nets (STPN) also support modeling of a procedure flow that has various interruptions by the operator, according to the plant condition. STPN modeling is compared with Coloured Petri net when they are applied to Emergency Operating Computerized Procedure. A converting program for Computerized Procedure (CP) to STPN has been also developed. The formal verification and validation methods of CP with STPN increase the safety of a nuclear power plant and provide digital quality assurance means that are needed when the role and function of the CPS is increasing.

• Computers and Concrete
• /
• v.33 no.6
• /
• pp.725-738
• /
• 2024

This study presents a macro-modeling procedure for nonlinear finite element analysis of reinforced and prestressed concrete panels under blast loading. The analysis procedure treats cracked concrete as an orthotropic material based on a smeared rotating crack model within the context of total-load secant stiffness-based formulation. A direct time integration method compatible with the analysis formulation is adapted to solve the dynamic equation of motion. Considerations are made to account for strain rate effects. The analysis procedure is verified by modeling 14 blast tests from various sources reported in the literature including a blast simulation contest. The analysis results are compared against those obtained from experiments, simplified single-degree-of-freedom (SDOF) methods, and sophisticated hydrocodes. It is demonstrated that the smeared crack macro-modeling approach is a viable alternative analysis procedure that gives more information about the structural behavior than SDOF methods, but does not require detailed micro-modeling and extensive material characterization typically needed with hydrocodes.

• Journal of the Society of Naval Architects of Korea
• /
• v.33 no.1
• /
• pp.173-181
• /
• 1996

In this paper, we studied the modeling methods of initial ship structure design results using ship structure product model for concurrent engineering in shipbuilding industry. We suggested two modeling methods which are programming method using CAD commands and Macros for primary structure members. Also, we investigated three modeling procedures which are modeling procedure in unit concept, modeling procedure using version control, and modeling procedure for computer aided process planning. We demonstrated how to use the structure product modeling results in some application fields. Finally, we proposed some ideas for future research.

• Korean Journal of Agricultural Science
• /
• v.43 no.2
• /
• pp.163-175
• /
• 2016

For the past decades, advances in computational devices have propelled mathematical modeling to become an effective tool for solving the black box of complex biological systems because of its prominent analytical power and comprehensive insight. Nevertheless, modeling is still limitedly used in the fields of agriculture and food which generally concentrate on producing experimental data rather than processing them. This study, hence, intends to introduce modeling in terms of its procedure types of structure, formulation, analyses, and software, with reviews of current notable studies from micro to macro scales so as to propose the modeling technique as a novel approach in discerning conundrums in agriculture and food systems. We expect this review to provide an eligible source for researchers who are willing to apply modeling techniques into the unexplored fields related to bio-systems that comprehensively include biology, nutrition, agriculture, food, animal science, and ecology.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1997.10a
• /
• pp.647-650
• /
• 1997

A complete dome structure is based on a basic dome modeling, and the basic dome modeling affects safety of the dome structure. In other to save the manufacture expenses, an optimum shape modeling of a dome structure is necessary work of before manufacture of the dome. In this study, modeling of the triangle optimum shape in the surface of an aluminum dome is more focused to optimize shape of the dome and save manufacture expenses. After being made the systematic procedure of the basic modeling, the programming work of the procedure is performed. The program is made by C language, and the trust of the program is proved by comparison between output data of the program and basic modeling in PATRAN.

• Nuclear Engineering and Technology
• /
• v.37 no.1
• /
• pp.118-126
• /
• 2005

While emergency operating procedures (EOPs) occupy an important role in the management of various abnormal situations in nuclear power plants (NPPs), current technology for the validation of EOPs still largely depends on manual review. A validation method for EOPs of NPPs is thus proposed based on dynamic multi-level flow modeling (MFM). The MFM modeling procedure and the EOP validation procedure are developed and provided in the paper. Application of the proposed method to EOPs of an actual NPP shows that the proposed method provides an efficient means of validating EOPs. It is also found that the information on state transitions in MFM models during the management of abnormal situations is also useful for further analysis on EOPs including their optimization.

• Journal of the Korean Society for Precision Engineering
• /
• v.13 no.7
• /
• pp.100-114
• /
• 1996

In order to create a solid model more efficiently for a plastic or sheet metal product with a thin and constant thickness, various methods have been proposed up to now. One of the most typical approaches is to create a sheet model initially and then transform it into a solid model automatically for a given thickness. The sheet model as well as the transitive model in sheet modeling procedure is a non-manifold model. However, the previous methods adopted the boundary representations for a solid model as their topological framework. Thus, it is difficult to represent the exact adjacency relationship between topological entities and to implement the topological operations for sheet modeling and the transformation procedure of a sheet into a solid. In this paper, we proposed a sheet modeling system based on a non-manifold topological representation which can represent solids, sheets, wireframes, and their mixture. A set of generalized Euler operators for non-manifold topology as well as the sheet modeling capabilities including adding, bending, and punching functions are provided for easy modeling of sheet objects, and they are perfomed interactively with a two dimensional curve editor. Once a sheet model is completed, it can be transformed into a solid automatically. The transformation procedure is composed of the offset functions and the Boolean operations of sheet models, and it is even more comprehensive and easier to be implemented than the precious methods.

• The Journal of Bigdata
• /
• v.7 no.1
• /
• pp.99-111
• /
• 2022

A simulation technique can be used to analyze performance measures and support decision makings in manufacturing systems considering operational uncertainty and complexity. The simulation requires an input modeling procedure to reflect the target system's characteristics. However, data collection to build a simulation is quite limited when a target system includes manual productions with a lot of operational time such as construction equipment assembly lines. This study proposes a procedure for simulation input modeling using video data when it is difficult to collect enough input data to fit a probability distribution. We conducted a video-data analysis and specify input distributions for the simulation. Based on the proposed procedure, simulation experiments were conducted to evaluate key performance measures of the target system. We also expect that the proposed procedure may help simulation-based decision makings when obtaining input data for a simulation modeling is quite challenging.

• Korean Journal of Computational Design and Engineering
• /
• v.15 no.1
• /
• pp.60-69
• /
• 2010

Outfitting systems in marine vessels have many kinds of standard parts. Ship CAD system should support the designers with an efficient tool for the modeling of outfitting parts such as pipes and valves. We develop a practical procedure for a part master model that combines ship CAD systems with the industrial standard. Part master or catalogue database of standard equipments is included in the database of ship CAD. The part master makes the associations of three dimensional modeling with the industrial standard. Moreover, it reflects the automatic modeling to maintain attributes that are disclosed in the entity of each part master in order to reduce the modeling time. Entity and attributes of pipe and valves are chosen from JIS(Japanese Industrial Standards) in order to explain the proposed procedure. Suggested procedure explains that three dimensional model of equipment is generated by parsing the pre-defined attributes after the entities of part masters is stored in database.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.39 no.3
• /
• pp.261-268
• /
• 2011

Generally, modeling procedure of cross section of composite rotor blade is complicated and time-consuming, because it is made up of various stiffeners and multiple layers of composite materials. For efficient modeling of cross section of composite rotor blade, a modeling program so called KSec2D, which provides a user friendly GUI, is developed by using a 2D modeling algorithm based on set operation. By the developed program KSec2D, a modeling of complicated cross section of rotor blade is carried out. Through the demonstration, the usefulness of developed program in modeling procedure of cross section of composite rotor blade is verified.