• Journal of computational fluids engineering
• /
• v.21 no.2
• /
• pp.25-31
• /
• 2016

In this paper, a study on the development of OpenFOAM grid generation program for two-dimensional flow analysis is described. By using the pre-processor(eMEGA) of EDISON_CFD system, grids for OpenFOAM flow calculation were obtained. Resultant two-dimensional grids were used to calculate flow fields by applying simpleFoam, one of the OpenFOAM's popular solvers, and the obtained flow results were compared with theoretical and experimental data available. Also grids generated by present program were compared with grids by a commercial pre-processor Pointwise for the purpose of verification. Verification work includes three cases(single block, O-type single block, and multi block grid), and all results show reasonable matches. According to the current achievement, it can be concluded that OpenFOAM grid can be constructed conveniently by using eMEGA with GUI.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2022.10a
• /
• pp.559-561
• /
• 2022

In order to secure the stability of tap water production and supply, we have built a system that can be pre-verified before applying AI-based composite sensors to the water purification plant, which is a demonstration site. We have collected and analyzed data related to the drug input of the GO-RYEONG water purification plant for about two years from December 2019 to December 2021. The outliers of each tag were removed through data preprocessing such as outliers and derived variable, and the cycle was set as average data for 60 minutes of each one-minute period, and the model was learned using the PLS model.

• Journal of Nuclear Fuel Cycle and Waste Technology(JNFCWT)
• /
• v.19 no.4
• /
• pp.479-489
• /
• 2021

The Republic of Korea is expected to participate in the denuclearization verification activities by the International Atomic Energy Agency (IAEA) in case any neighboring countries declared denuclearization. In this study, samples for the verification of nuclear activities in undeclared areas were selected for the denuclearization of neighboring countries, and the appropriateness of the procedures was considered. If a country with nuclear weapons declares denuclearization, it must be accompanied by the IAEA's verification regarding nuclear materials and weapons in the declared and undeclared areas. The analysis of the process samples or on-site environmental samples and the verification of undeclared nuclear facilities and materials aid in uncovering any evidence of concealment of nuclear activity in undeclared areas. Therefore, a methodology was established for effective sampling and analysis in accordance with proper procedures. Preparations for sampling in undeclared areas were undertaken for various potential scenarios, such as, the establishment of zones according to radiation dose, methods of supplying electricity, wireless communication networks, targets of sampling according to characteristics of nuclides, manned sampling method, and unmanned sampling method. Through this, procedures were established for pre- and post-site settings in preparation for hazards and limiting factors at nuclear inspection sites.

• Journal of Korean Elementary Science Education
• /
• v.32 no.3
• /
• pp.327-345
• /
• 2013

This study aims to investigate how pre-service elementary school teachers understand 'something scientific', 'being scientific', 'scientific events' and 'scientific questions' through semantic network analysis. To achieve this purpose, this study carried out a central analysis of the frequency and density of words and the degree of connection between key words, a concentric analysis, a click analysis and a common network analysis through text semantic network analysis by using NetMiner 4.0 Program. Based on the results of these analyses, this study came to the following conclusions. Firstly, in perceiving 'something scientific', pre-service elementary school teachers recognized 'verification', 'objective' and 'experiment' as most important words. In other words, they perceived that main grounds for something scientific should be provided through clear facts, possible to be verified and accompanied by an exact and logical theoretical system. In regard to 'being scientific', they perceived 'explanation', 'objective' and 'verification' as most important words, while having a traditional point of view that science is a set that can be explained objectively. Secondly, in regard that the term, 'observation', is contained in 'scientific events', they showed a high rate of understanding it as a scientific event. In regard to scientifical reasons, they showed the highest frequency of 'observation', and for unscientific reasons, they showed the highest frequency of 'behavior'. In perceiving 'scientific questions', they showed the highest frequency of determining bacteria-related questions as scientific. As a reason why they thought as scientific, they mentioned 'observation' most frequently like 'scientific events', while mentioning 'value judgement' as a reason why they thought as unscientific most frequently. From the results of integrated network analysis, this study found out that words pre-service teachers commonly used in stating scientific events or scientific questions were overlapped with words they mentioned for scientific events or scientific questions. As a result, it was found there were many pre-service teachers having interpreted scientific words without clearly distinguishing scientific events or scientific questions.

• Journal of Advanced Navigation Technology
• /
• v.23 no.5
• /
• pp.361-366
• /
• 2019

In developing the avionics system, a system integration laboratory (SIL) is established to verify the function and interworking of individual components. In case of individual verification of SIL's components and system integration, a SIL model that simulates the function and interworking of each equipment is developed and used. A SIL model shall be pre-verified against all data defined in the interface control document (ICD) before interworking with the actual equipment and reverified even when the ICD changes or functions change. However, if the verification of the SIL model is performed manually, the verification of the individual SIL model takes considerable time. For this reason, selective regression tests are often performed to determine a impact of SIL models on ICD changes and some functional changes. In this paper, we designed SIL model verification automation method to perform regession test by reducing verification time of SIL model and verify the usefulness of verification automation design by developing SIL model verification automation tool.

• Proceedings of the IEEK Conference
• /
• 2002.06b
• /
• pp.273-276
• /
• 2002

In this paper, we propose a bias random vector generator which can verify functions of microprocessor effectively. This generator is a pre-processor of assembly program, and defines pre-processor instructions which create random vector only in the pall which the designer wants to verify. Therefore, this generator shows higher detection ration than any other generators. And, we can cut down design costs because of shortening a Period for verifying function.

• Proceedings of the IEEK Conference
• /
• 2002.06b
• /
• pp.121-124
• /
• 2002

In this paper, we propose a bias random vector generator which can verify functions of microprocessor effectively. This generator is a pre-processor of assembly program, and defines pre-processor instructions which create random vector only in the part which the designer wants to verify. Therefore, this generator shows higher detection ration than any other generators. And, we can cut down design costs because of shortening a period for verifying function.

• Progress in Medical Physics
• /
• v.11 no.2
• /
• pp.147-155
• /
• 2000

Patient dose verification is one of the most important parts in quality assurance of the treatment delivery for radiation therapy. The dose distributions may be meaningfully improved by modulating two dimensional intensity profile of the individual high energy radiation beams In this study, a new method is presented for the pre-treatment dosimetric verification of these two dimensional distributions of beam intensity by means of a charge coupled device video camera-based fluoroscopic device (henceforth called as CCD-VCFD) as a radiation detecter with a custom-made software for dose calculation from fluorescence signals. This system of dosimeter (CCD-VCFD) could reproduce three dimensional (3D) relative dose distribution from the digitized fluoroscopic signals for small (1.0$\times$1.0 cm$^2$ square, ø 1.0 cm circular ) and large (30$\times$30cm$^2$) field sizes used in intensity modulated radiation therapy (IMRT). For the small beam sizes of photon and electron, the calculations are performed In absolute beam fluence profiles which are usually used for calculation of the patient dose distribution. The good linearity with respect to the absorbed dose, independence of dose rate, and three dimensional profiles of small beams using the CCD-VCFD were demonstrated by relative measurements in high energy Photon (15 MV) and electron (9 MeV) beams. These measurements of beam profiles with CCD-VCFD show good agreement with those with other dosimeters such as utramicro-cylindrical (UC) ionization chamber and radiographic film. The study of the radiation dosimetric technique using CCD-VCFD may provide a fast and accurate pre-treatment verification tool for the small beam used in stereotactic radiosurgery (SRS) and can be used for verification of dose distribution from dynamic multi-leaf collimation system (DMLC).

• Atmosphere
• /
• v.27 no.2
• /
• pp.235-249
• /
• 2017

This paper describes methodology verifying near-surface predictability of numerical weather prediction models against the surface synoptic weather station network (SYNOP) observation. As verification variables, temperature, wind, humidity-related variables, total cloud cover, and surface pressure are included in this tool. Quality controlled SYNOP observation through the pre-processing for data assimilation is used. To consider the difference of topographic height between observation and model grid points, vertical inter/extrapolation is applied for temperature, humidity, and surface pressure verification. This verification algorithm is applied for verifying medium-range forecasts by a global forecasting model developed by Korea Institute of Atmospheric Prediction Systems to measure the near-surface predictability of the model and to evaluate the capability of the developed verification tool. It is found that the verification of near-surface prediction against SYNOP observation shows consistency with verification of upper atmosphere against global radiosonde observation, suggesting reliability of those data and demonstrating importance of verification against in-situ measurement as well. Although verifying modeled total cloud cover with observation might have limitation due to the different definition between the model and observation, it is also capable to diagnose the relative bias of model predictability such as a regional reliability and diurnal evolution of the bias.

• Proceedings of the IEEK Conference
• /
• 2000.11c
• /
• pp.37-40
• /
• 2000

A fast method of Hangul address word verification is presented in this Paper. Pre-segmentation and recognition by DP matching is adopted in this paper. An address line image is over-segmented by analyzing the topology of connected components and the projection profile. A fast individual Hangul character verifier was developed by applying SVM (Support Vector Machine). The segmentation hypothesis was represented by lattice structure, and a best path search by dynamic programming generates the most probable segmentation path and the final verification score. The word verifier was tested on 310 address image DB, and it show the possibility of improvements of this method.