• Journal of the Korean Society of Safety
• /
• v.27 no.5
• /
• pp.64-69
• /
• 2012

The concept of SIL is applied in the most of all standards relating to functional system safety. However there are problems for the people to apply SIL to their plants. as these standards don't include sufficient informations. In this regards, this paper will suggest the direction of SIL application and concept based on IEC 61508 and IEC 61511. A Safety Integrity Level(SIL) is the discrete level(one out of possible fours), corresponding to a range of the probability of an E/E/PE (Electric/Electrical/Programmable Electrical) safety-related system satisfactorily performing the specific safety functions under all the stated conditions within a stated period of time. SIL can be divided into the target SIL(or required SIL) and the result SIL. The target SIL is determined by the risk analysis at the analysis phase of safety lifecycle and the result SIL is calculated during SIL verification at the realization phase of safety lifecycle. The target SIL is determined by the risk analysis like LOPA(Layer Of Protection Analysis), Risk Graph, Risk Matrix and the result SIL is calculated by HFT(Hardware Fault Tolerance), SFF(Safe Failure Fraction) and PFDavg(average Probability of dangerous Failure on Demand). SIL is applied to various areas such as process safety, machinery(road vehicles, railway application, rotating equipment, etc), nuclear sector which functional safety is applied. The functional safety is the part of the overall safety relating to the EUC and the EUC control system that depends on the correct functioning of the E/E/PE safety-related systems and other risk reduction measures. SIL is applied only to the functional safety of SIS(Safety Instrumented System) in safety. EUC is the abbreviation of Equipment Under Control and is the equipment, machinery, apparatus or plant used for manufacturing, process, transportation, medical or other activities.

• Journal of the Korean School Mathematics Society
• /
• v.19 no.1
• /
• pp.63-82
• /
• 2016

Mathematical notation is the main means to realize the power of mathematics. Under this perspective, this study analyzed the difficulties of learning an irrational number concept in terms of notation. I tried to find ways to overcome the difficulties arising from the notation. There are two primary ideas in the notation of irrational number using root. The first is that an irrational number should be represented by letter because it can not be expressed by decimal or fraction. The second is that $\sqrt{2}$ is a notation added the number in order to highlight the features that it can be 2 when it is squared. However it is difficult for learner to notice the reasons for using the root because the textbook does not provide the opportunity to discover. Furthermore, the reduction of the transparency for the letter in the development of history is more difficult to access from the conceptual aspects. Thus 'epistemological obstacles resulting from the double context' and 'epistemological obstacles originated by strengthening the transparency of the number' is expected. To overcome such epistemological obstacles, it is necessary to premise 'providing opportunities for development of notation' and 'an experience using the notation enhanced the transparency of the letter that the existing'. Based on these principles, this study proposed a plan consisting of six steps.

• The KIPS Transactions:PartC
• /
• v.10C no.1
• /
• pp.61-70
• /
• 2003

I-Business providers and customers have chosen the service availability as the most important technical parameter which should be included in their SLA to succeed in their business. This means that web Service availability management is crucial to the web-based service providers. Application availability is originally defined as a measure of the fraction of time during a defined period when the service provided is deemed to be better than user expectation of service performance. But, because most web service availability measurement tools simply monitor disconnected state, they do not satisfy user's expectation of extended availability concept. In this paper, We propose the web service availability measurement method which supports extended availability concept. It takes account of performance degradation of web service based on response time, and determines what is the cause of unavailability of the service. We developed a measurement tool, WebSerAvail.

• Fire Science and Engineering
• /
• v.31 no.4
• /
• pp.35-42
• /
• 2017

Large Eddy Simulation (LES) was peformed for the backdraft occurred in a compartment filled with high-temperature methane fuel using the Fire Dynamics Simulator (FDS) of version 6. The prediction performance of FDS, adopted the Eddy Dissipation Concept (EDC) combustion model with five different chemical reaction mechanisms, was evaluated. The temporal distributions of temperature, fuel mass fraction, velocity and pressure were discussed with numerical results and the pressure variation in time was compared with that of previous experiment. The FDS adopted the EDC model showed the possibility of LES for the backdraft phenomena. However, the prediction performance of the LES with EDC model strongly depended on the chemical reaction mechanism considered. It is necessary that the suitability of the chemical reaction mechanism should be validated in advance for LES with the FDS v6 to be applied to the simulation of backdraft.

• Cross-Cultural Studies
• /
• v.38
• /
• pp.433-459
• /
• 2015

This paper aims at a better understanding of the concept of korean separable syntactic atom, of which inner parts is separable in syntax, and at examining whether or not this concept can apply to derivatives, functional complex constructions, idiomatic expressions in korean. I defined a syntactic atom as a minimum unit which is drawn directly from lexicon and then is applied to syntactic rules. And I insist that so-called 'lexical island constraint' has some problems and that the syntactic rules can be applied to inner parts of syntactic atom, if the syntactic rules is irrelevant to new syntactic atom formation. The greater part of derivatives is non-separable syntactic atoms. But the likes of '반짝거리다', '죄송스럽다', '칭얼대다' are the separable syntactic atoms. The degree of separability of them is different in the insertion of korean particles or negative adverbs and the omission of root of sytactic atom. The derivatives of 'X-적', of which roots is regular nominal roots, permit the syntactic link between roots and the syntactic combination of the root and its argument. These kinds of derivatives is separable syntactic atoms. Also the derivatives of 'bracket paradox' and 'X-답-' derivatives is separable syntactic atoms. All functional complex constructions are not separable syntactic atoms. According to the degree of grammaticalization, inner parts of some are separable, some is non-separable. Separable functional complex constructions only permit the switching of endings or Josas but not application of other syntactic rules. All idiomatic expressions which are composed of two or more syntactic atoms are separable syntactic atoms. Some of them have so strong separability to allow the insertion of syntactic atom, adverb or adnominal modification and the noun in idiomatic expression to become the head of the relative clause. And some idiomatic expressions which have weak separability only permit interrogative's substitution or form change in fraction of idiomatic expressions.

• Journal of Elementary Mathematics Education in Korea
• /
• v.18 no.1
• /
• pp.1-17
• /
• 2014

Instructions for the commutative property of multiplication at elementary schools tend to be based on checking the equality between the quantities of 'a times b 'and b' times a, ' for example, $3{\times}4=12$ and $4{\times}3=12$. This article critically examined the approaches to teach the commutative property of multiplication from Kant's perspective of mathematical knowledge. According to Kant, mathematical knowledge is a priori. Yet, the numeric exploration by checking the equality between the amounts of 'a groups of b' and 'b groups of a' does not reflect the nature of apriority of mathematical knowledge. I suggest we teach the commutative property of multiplication in a way that it helps reveal the operational schema that is necessarily and generally involved in the transformation from the structure of 'a times b' to the structure of 'b times a.' Distributive reasoning is the mental operation that enables children to perform the structural transformation for the commutative property of multiplication by distributing a unit of one quantity across the other quantity. For example, 3 times 4 is transformed into 4 times 3 by distributing each unit of the quantity 3, which results in $3{\times}4=(1+1+1){\times}4=(1{\times}4)+(1{\times}4)+(1{\times}4)+(1{\times}4)=4+4+4=4{\times}3$. It is argued that the distributive reasoning is also critical in learning the subsequent mathematics concepts, such as (a whole number)${\times}10$ or 100 and fraction concept and fraction multiplication.

• Nuclear Engineering and Technology
• /
• v.41 no.5
• /
• pp.617-648
• /
• 2009

Under the government supported long-term nuclear R&D program, the severe accident research program at KAERI is directed to investigate unresolved severe accident issues such as core debris coolability, steam explosions, and hydrogen combustion both experimentally and numerically. Extensive studies have been performed to evaluate the in-vessel retention of core debris through external reactor vessel cooling concept for APR1400 as a severe accident management strategy. Additionally, an improvement of the insulator design outside the vessel was investigated. To address steam explosions, a series of experiments using a prototypic material was performed in the TROI facility. Major parameters such as material composition and void fraction as well as the relevant physics affecting the energetics of steam explosions were investigated. For hydrogen control in Korean nuclear power plants, evaluation of the hydrogen concentration and the possibility of deflagration-to-detonation transition occurrence in the containment using three-dimensional analysis code, GASFLOW, were performed. Finally, the integrated severe accident analysis code, MIDAS, has been developed for domestication based on MELCOR. The data transfer scheme using pointers was restructured with the modules and the derived-type direct variables using FORTRAN90. New models were implemented to extend the capability of MIDAS.

• The Plant Pathology Journal
• /
• v.21 no.2
• /
• pp.93-98
• /
• 2005

Molecular ecological studies of microbial communities revealed that only tiny fraction of total microorganisms in nature have been identified and characterized, because the majority of them have not been cultivated. A concept, metagenome, represents the total microbial genome in natural ecosystem consisting of genomes from both culturable microorganisms and viable but non-culturable bacteria. The construction and screening of metagenomic libraries in culturable bacteria constitute a valuable resource for obtaining novel microbial genes and products. Several novel enzymes and antibiotics have been identified from the metagenomic approaches in many different microbial communities. Phenotypic analysis of the introduced unknown genes in culturable bacteria could be an important way for functional genomics of unculturable bacteria. However, estimation of the number of clones required to uncover the microbial diversity from various environments has been almost impossible due to the enormous microbial diversity and various microbial population structure. Massive construction of metagenomic libraries and development of high throughput screening technology should be necessary to obtain valuable microbial resources. This paper presents the recent progress in metagenomic studies including our results and potential of metagenomics in plant pathology and agriculture.

• Journal of the Korean Society for Precision Engineering
• /
• v.19 no.2
• /
• pp.72-78
• /
• 2002

Thermomechanical behavior and mechanical properties of A16061 matrix composite with shape memory alloy(SMA) fiber are studied by using fnite element analysis(FEA). The smartness of the SMA is given due to the shape memory effect of the TiNi fiber which generates compressive residual stress in the matrix material when healed after being prestrained. In this paper, an analytical model is assumed two dimentional axisymetric model of one fiber and around the matrix. To evaluate the strength of composite usig FEM, the concept of smart composite was simulated on computer. The Shape memory effect(SME) simulation is very difficult using FEM because of the nonlinear analysis and the elastic plastic analysis. Thus, in this paper, the FEA was carried out at two critical temperature conditions; room temperature and high temperature(363K). The analysis is compare the finite element analysis result with the test result for the analysis validity.

• Journal of Korean Society of Water and Wastewater
• /
• v.22 no.1
• /
• pp.79-86
• /
• 2008

In Korea, most of the drinking water treatment relied upon the availability of the surface water, of which the raw water quality varied significantly by season and location. Therefore, the comparison of two operation modes (Pressurized type and Submerged type membrane system) must be estimated before the long-term establishment of two systems. In this study, two pilot-scale microfiltration systems with the capacity of $50m^3/day$ were installed and operated in two different modes, and the applicability of the system was determined based on the results such as the TMP (Trans-Membrane Pressure) and flux. For quantitatively comparing the two systems, a new concept, DRF (Differential Resistance Fraction) was introduced. The accumulated sum of the permeate after each cycle of chemical cleaning was also used as a tool for the system comparison.