• Proceedings of the KIEE Conference
• /
• 2008.07a
• /
• pp.1014-1015
• /
• 2008

Safety critical systems are those in which a failure can have serious and irreversible consequences. Nowadays digital technology has been rapidly applied to critical system such as railways, airplanes, nuclear power plants, and vehicles. The main difference between analog system and digital system is that the software is the key component of the digital system. The digital system performs more varying and highly complex functions efficiently compared to the existing analog system because software can be flexibly designed and implemented. The flexible design make it difficult to predict the software failures. This paper reviews safety standard and criteria for safety critical system such as railway system and suggests development process, ordering management and assessment process for railway software with more detail description.

• Proceedings of the KSME Conference
• /
• 2008.11a
• /
• pp.948-954
• /
• 2008

In this study, vibrational characteristics of two nano-imprinting stages is analyzed and compared with respect to the methodology to support the upper-plate of the stage. The first type of the stage has three supporters at each corners of the stage and one thrust bearing at the center of the stage. The other type of the stage has four supporter in each corner of the stage without a thrust bearing. The FEM software with flexible modeling is used for the normal mode analysis. The result depicts the difference of vibrational characteristics caused by the difference of support methods. The design criteria for the precision nano-imprinting stage is also discussed.

• Proceedings of the Korean Society for Applied Microbiology Conference
• /
• 2005.06a
• /
• pp.66-70
• /
• 2005

Microbiology research must be conducted in a fashion that assures the health and well being of the researcher and the safety of the community. This lecture raises awareness of biosafety issues and discusses how the interaction of the pathogen being studied, the person conducting the research, and the practices being used can be manipulated to assure safety. The characterization of pathogens into Risk Groups, how these relate to Biosafety Levels, and the personal practices and laboratory design criteria associated with each Biosafety Level are explained. The importance of preventing or containing aerosols, limiting opportunities for cross-contamination, and taking a flexible multi-component approach to biosafety are emphasized.

• Journal of the Korean Statistical Society
• /
• v.27 no.3
• /
• pp.305-318
• /
• 1998

Smoothing tests based on an L$_2$ error between a truncated courier series estimator and a true function have shown good powers for a wide class of alternatives, These tests have the same form of the Neyman smooth test whose performance depends on the selected order, a basis, the farm of estimators. We construct flexible data driven Neyman smooth tests by changing a basis, combining model selection criteria and different series estimators. A simulation study shows that the generalized Neyman smooth test with the best basis provides good power for a wider class of alternatives compared with other data driven Neyman smooth tests based on a fixed form of estimator, a fixed basis and a fixed criterion.

• Proceedings of the KIEE Conference
• /
• 2000.07d
• /
• pp.2735-2737
• /
• 2000

In this paper, we deal with modeling and analysis for mobile manipulator systems. In order to avoid the difficulties occurring due to slippage or unevenness of the terrain, we propose the utilization of minimum actuators. In this case, the resulting systems typically possess kinematic redundancies which can be beneficially employed for correcting the position error. A simple PD control method along with kinematic redundancy is employed to recover position errors for trajectory control in task space. Several primary and secondary criteria utilizing kinematic redundancy of the mobile manipulator system are tested through graphic animation.

• Steel and Composite Structures
• /
• v.1 no.4
• /
• pp.377-392
• /
• 2001

The response of multi-story building structures to lateral loads, mainly due to earthquake and wind, is investigated for preliminary design purposes. Emphasis is placed on structural systems consisting of rigid and braced steel frames. An attempt to gain a qualitative understanding of the influence of bending and shear stiffness distribution on the deformations of such structures is made. This is achieved by modeling the structure with a stiffness equivalent Timoshenko beam. It is observed that the conventional stiffness distribution, dictated by strength constraints, may not be the best to satisfy deflection criteria. This is particularly the case for slender structural systems with prevailing bending deformations, such as flexible braced frames. This suggests that a new approach to the design of such frames may be appropriate when serviceability governs. A pertinent strategy for preliminary design purposes is proposed.

• The Mathematical Education
• /
• v.53 no.1
• /
• pp.41-55
• /
• 2014

In recent years, there has been increasing interest in the pedagogical importance of counter-examples that contradict statements about mathematics education research and the curriculum revision process for high school mathematics courses. Using a literature research method, this study analyzed views about counter-examples according to a method of approach to statements and the classification of counter-examples and their criteria. The study also described the learnability of the content of counter-examples presented in Korean secondary school mathematics textbooks. The results showed that generating many counter-examples enables learners to understand mathematical concepts exactly, construct links between mathematical contents, and have flexible thoughts about mathematical objects. Considering the learnability of counter-examples, the contents of counter-examples in school mathematics textbooks are needed for mathematics teachers and students to generate numerous counter-examples and verify the justification of generating counter-examples in various manners.

• Journal of Ocean Engineering and Technology
• /
• v.31 no.2
• /
• pp.111-120
• /
• 2017

It is generally acknowledged that the Steel Catenary Riser (SCR) is the most cost-effective riser type for deep-water offshore fields among various risers, including the SCR, flexible riser, and hybrid riser. However, in West Africa, the SCR type may not be suitable for FPSO systems because the large vertical motion of the floater brings about a considerable riser dynamic response. In this paper, an SCR system is designed for the FPSO in the West African field, where the use of a hybrid riser has been preferred. The proposed SCR configuration fulfills the design criteria of the API, such as the strength check and fatigue life. Moreover, a sensitivity analysis is also carried out to improve the certainty in the SCR design of a deep-water FPSO. The parameters affecting the strength and fatigue performance of the SCR are considered.

• International Journal of Computer Science & Network Security
• /
• v.21 no.12
• /
• pp.257-263
• /
• 2021

Though many have studied choosing one of the alternative ways to reach a destination, the factors such as average road speed, distance, and number of traffic signals, traffic congestion, safety, and services still presents an indisputable challenge. This paper proposes two approaches: Appropriate membership function and ambiguous rule-based approach. It aims to tackle the route choice problem faced by almost all drivers in any city. It indirectly helps in tackling the problem of traffic congestion. The proposed approach considers the preference of each driver which is determined in a flexible way like a human and stored in the driver profile. These preferences relate to the criteria for evaluating each candidate route, considering the average speed, distance, safety, and services available. An illustrative case study demonstrates the added value of the proposed approach compared to some other approaches.

• Communications for Statistical Applications and Methods
• /
• v.28 no.2
• /
• pp.99-118
• /
• 2021

In this paper, we introduce an extended form of the inverse power Lomax model via Marshall-Olkin approach. We call it the Marshall-Olkin inverse power Lomax (MOIPL) distribution. The four- parameter MOIPL distribution is very flexible which contains some former and new models. Vital properties of the MOIPL distribution are affirmed. Maximum likelihood estimators and approximate confidence intervals are considered under Type I censored samples. Maximum likelihood estimates are evaluated according to simulation study. Bayesian estimators as well as Bayesian credible intervals under symmetric loss function are obtained via Markov chain Monte Carlo (MCMC) approach. Finally, the flexibility of the new model is analyzed by means of two real data sets. It is found that the MOIPL model provides closer fits than some other models based on the selected criteria.