• Nuclear Engineering and Technology
• /
• v.41 no.1
• /
• pp.91-98
• /
• 2009

The "3+3 Process" for safety critical software for nuclear power plants' I&C (Instrumentation and Control system) has been developed in this work. The main idea of the "3+3 Process" is both to simplify the software development and safety analysis in three steps to fulfill the requirements of a software safety plan [1]. The "3-Step" software development process consists of formal modeling and simulation, automated code generation and coverage analysis between the model and the generated source codes. The "3-Step" safety analysis consists of HAZOP (hazard and operability analysis), FTA (fault tree analysis), and DV (design validation). Put together, these steps are called the "3+3 Process". This scheme of development and safety analysis minimizes the V&V work while increasing the safety and reliability of the software product. For assessment of this process, validation has been done through prototyping of the SDS (safety shut-down system) #1 for PHWR (Pressurized Heavy Water Reactor).

• Journal for History of Mathematics
• /
• v.28 no.2
• /
• pp.65-72
• /
• 2015

The Joseon dynasty (1392-1910) is basically an agricultural country and therefore, the main source of her national revenue is the farmland tax. Thus the farmland tax system becomes the most important state affair. The 4th king Sejong establishes an office for a new law of the tax in 1443 and adopts the farmland tax system in 1444 which is legalized in Gyeongguk Daejeon (1469), the complete code of law of the dynasty. The law was amended in the 19th king Sukjong era. Jo Tae-gu mentioned the new system in his book Juseo Gwan-gyeon (1718) which is also included in Sok Daejeon (1744). Investigating the mathematical structures of the two systems, we show that the systems involve various aspects of mathematics and that the systems are the most precise applications of mathematics in the Joseon dynasty.

• Publications of The Korean Astronomical Society
• /
• v.19 no.1
• /
• pp.77-81
• /
• 2004

A high performance computing cluster for astronomical computations has been built at Korea Astronomy Observatory. The 64 node cluster interconnected with Gigabit Ethernet is composed of 128 Intel Xeon processors, 160 GB memory, 6 TB global storage space, and an LTO (Linear Tape-Open) tape library. The cluster was installed and has been managed with the Open Source Cluster Application Resource (OSCAR) framework. Its performance for parallel computations was measured with a three-dimensional hydrodynamic code and showed quite a good scalability as the number of computational cells increases. The cluster has already been utilized for several computational research projects, some of which resulted in a few publications, even though its full operation time is less than one year. As a major resource of the $K^*Grid$ testbed, the cluster has been used for Grid computations, too.

• Journal of The Korean Astronomical Society
• /
• v.40 no.4
• /
• pp.165-169
• /
• 2007

The numerical simulations associated with the interaction of High Velocity Clouds (HVC) with the Magnetized Galactic Interstellar Medium (ISM) are a powerful tool to describe the evolution of the interaction of these objects in our Galaxy. In this work we present a new project referred to as Theoretical Virtual i Observatories. It is oriented toward to perform numerical simulations in real time through a Web page. This is a powerful astrophysical computational tool that consists of an intuitive graphical user interface (GUI) and a database produced by numerical calculations. In this Website the user can make use of the existing numerical simulations from the database or run a new simulation introducing initial conditions such as temperatures, densities, velocities, and magnetic field intensities for both the ISM and HVC. The prototype is programmed using Linux, Apache, MySQL, and PHP (LAMP), based on the open source philosophy. All simulations were performed with the MHD code ZEUS-3D, which solves the ideal MHD equations by finite differences on a fixed Eulerian mesh. Finally, we present typical results that can be obtained with this tool.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.41 no.8
• /
• pp.69-78
• /
• 2004

In this paper, we estimated the exact software defect density to build up a suitable model that is closely related to the size of module in the probability model proposed by MD (Malaiya and Denton). To put it concretely, we predict that the software defect density using some practical data sets that are the outcomes from the system test performed our three projects for the types of distribution (exponential and geometric), per a unit of module, and the size of source line that have been recommended by KLOC(kilo-line-of-code). Then, we make comparison between our proposed defect density model and those examined real data.

• JSTS:Journal of Semiconductor Technology and Science
• /
• v.16 no.6
• /
• pp.880-888
• /
• 2016

In this paper, we propose a new HDFS-AIO framework to enhance HDFS with Adaptive I/O System (ADIOS), which supports many different I/O methods and enables applications to select optimal I/O routines for a particular platform without source-code modification and re-compilation. First, we customize ADIOS into a chunk-based storage system so its API semantics can fit the requirement of HDFS easily; then, we utilize Java Native Interface (JNI) to bridge HDFS and the tailored ADIOS. We use different I/O patterns to compare HDFS-AIO and the original HDFS, and the experimental results show the design feasibility and benefits. We also examine the performance of HDFS-AIO using various I/O techniques. There have been many studies that use ADIOS, however our research is expected to help in expanding the function of HDFS.

• Journal of computational fluids engineering
• /
• v.22 no.1
• /
• pp.95-102
• /
• 2017

Debris flow is a composition of solid objects of various sizes, suspension and water, which occurs frequently as the results of landslide following heavy rainfall. This often causes extensive damage in the form of socio-economic losses and casualties as witnessed during the incident around Mt. Umyeon, Seoul in 2011. There have been numerous investigation to mitigate the impacts from debris flow; however, the estimation as preparedness measure has not been successful due to nonlinear and multiphase characteristics of phenomena both in material and process inherent in the debris flow. This study presents a numerical approach to simulate the debris flow using open source code of computational fluid dynamics, OpenFOAM with non-Newtonian viscosity model for three phase material modeling. In order to validate the proposed numerical method, the quantitative evaluations were made by comparisons with experimental results and qualitative analysis for the dispersion characteristics was carried for the case of debris flow in the actual incident from Mt. Umyeon.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.12 no.2
• /
• pp.217-227
• /
• 1992

The first and second-order reliability method(FORM and SORM) is presented using one dimensional finite difference and two dimensional finite element transport models. FORM and SORM can be used without any restrictive assumptions about the properties of the media, and the sensitivity information obtained as part of these analyses is used to identify the parameters which have major influence on the estimate of probability. The reliability analysis of transport in a one-dimensional domain is used to test the robustness of the reliability code and to evaluate the accuracy of the reliability method. A continuous source 2-D example with a concentration threshold limit state function is used to evaluate the influence of the parameters in the location of interest on the reliability solution.

• The Journal of the Korea Contents Association
• /
• v.13 no.1
• /
• pp.55-63
• /
• 2013

NUI(Natural User Interfaces) has been developed through CLI(Command Line Interfaces) and GUI(Graphical User Interfaces). NUI uses many different input modalities, including multi-touch, motion tracking, voice and stylus. In order to adopt NUI to legacy GUI applications, he/she must add device libraries, modify relevant source code and debug it. In this paper, we propose a gesture-based interface model that can be applied without modification of the existing event-based GUI applications and also present the XML schema for the specification of the model proposed. This paper shows a method of using the proposed model through a prototype.

• Journal of Computing Science and Engineering
• /
• v.2 no.4
• /
• pp.375-393
• /
• 2008

The dynamic cast operation allows flexibility in the design and use of data management facilities in object-oriented programs. Dynamic cast has an important role in the implementation of the Data Management Services (DMS) of the Mission Data System Project (MDS), the Jet Propulsion Laboratory's experimental work for providing a state-based and goal-oriented unified architecture for testing and development of mission software. DMS is responsible for the storage and transport of control and scientific data in a remote autonomous spacecraft. Like similar operators in other languages, the C++ dynamic cast operator does not provide the timing guarantees needed for hard real-time embedded systems. In a recent study, Gibbs and Stroustrup (G&S) devised a dynamic cast implementation strategy that guarantees fast constant-time performance. This paper presents the definition and application of a cosimulation framework to formally verify and evaluate the G&S fast dynamic casting scheme and its applicability in the Mission Data System DMS application. We describe the systematic process of model-based simulation and analysis that has led to performance improvement of the G&S algorithm's heuristics by about a factor of 2. In this work we introduce and apply a library for extracting semantic information from C++ source code that helps us deliver a practical and verifiable implementation of the fast dynamic casting algorithm.