• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.4
• /
• pp.265-269
• /
• 2009

Formal specification plays important roles in guaranteeing software safety of safety-critical systems such as nuclear power plant's digital control systems. We had developed a technique [1] which synthesizes Function Block Diagram(FBD) programs from NuSCR formal requirements specifications, but it did not be used widely as it had no automatic tool support. FBD is one of the programming languages for Programmable Logic Controllers(PLC) based system. This paper introduces a CASE tool, NuSCRtoFBD, developed to automate the synthesis procedure. The CASE tool NuSCRtoFBD can reduce a number of errors occurred in the process of manual FBD programming.

• Journal of the Korea Safety Management & Science
• /
• v.10 no.2
• /
• pp.123-132
• /
• 2008

This study try introduce a cell manufacturing form and to make the productivity in a conveyor line manufacture for the customer requirement and market change. The case research from JIT theory that made the model to make a productivity enhance through the cell line in a conveyor line and U-line. This research was subject with a cosmetics manufacture company, therefor we can raise the quality enhance, personnel expenses and reduction of delivery effectiveness in a stroke types of industry consequently.

• Proceedings of the KSR Conference
• /
• 2011.10a
• /
• pp.1624-1630
• /
• 2011

Currently the train operating environment to affect track irregularity is changed rapidly such as speed-up, linear improvement and rolling stack upgrade. The recent track maintenance criteria of track irregularity was quoted from past Japan's, and the needs of revision of criteria are increased because of the rapid change in train operating environment. In case of enhance the track irregularity criteria, it secure driving safety and riding comfort but maintenance cost are increase. And also decrease ballast durability by frequent corrective work. In case of mitigate the criteria, it decrease driving safety and riding comfort, but save the maintenance cost. The study for enacting rational criteria did not carry out so far. In this study, survey the domestic and international track irregularity and case study for track irregularity inspection results and maintenance history for guideline of enacting irregularity criteria study.

• Journal of the Korea Safety Management & Science
• /
• v.15 no.4
• /
• pp.279-288
• /
• 2013

The purpose of this study is to present a case study of six sigma quality improvement practice in cooling fan motor(CFM) manufacturing processes. In this study, the CFM manufacturing process of automobile parts not relevant to the target process rate of the process point of view, in order to reduce the system to solve the problem of localized resolution procedures of six sigma DMAIC methodology was applied to study. In conclusion, this study's field D in order to improve the initial rate of inadequate quality management best practices by applying the method of Six Sigma quality CFM failure through stabilization schemes were proposed cost reduction.To be CFM product to satisfy customers based on continuous monitoring of the effective field of claims quality management system is required.

• Proceedings of the Safety Management and Science Conference
• /
• 2006.04a
• /
• pp.471-484
• /
• 2006

The focus of analysis is effect on Non-electrical Machinery and Equipment of Macroeconomic variables through long-term and short-term periods. Also, this paper is related with implication on steady growth possibility of Non-electrical Machinery and Equipment. The period of variables is from 1985 to April in 2005. In case of not-available data is treated as missing figures. As spatial scope, these data are Non-electrical Machinery and Equipment on the basis of KSIC. In case of items, it composes MTI 1&3 digit of Korea International Trade Association (KITA), on the basis of HSK & classification of Korea Machinery industries. According to Granger causality test, yield of Cooperate Bond and export amount of Machinery have a meaning at statistical Confidence level of 10%. In case of index of the unit cost of export and export amount of Machinery, they have an interactive Granger cause. In yen dollar exchange rate and export amount of Machinery, former variable gives an unilateral Granger cause to latter that.

• Journal of the Korean Society of Safety
• /
• v.13 no.4
• /
• pp.213-220
• /
• 1998

Welding structures will be occurred sudden crack or failure by reduced fracture toughness in case of low temperature. To protect these unstable fracture is very important. Because fracture of welding part come from welding faults or residual stress, critical stress intensity factors are acquired at temperatures between $22^{\circ}C$ and $-70^{\circ}C$ from base metal, welding metal and H.A.Z. It was studied effectiveness of annealing and affection of residual stress under low temperatures. In case of fracture toughness test, it showed that fracture toughness value decreased, according to the decrease of temperature. Expecially In case that compressive residual stress was existed, $K_C$ increased.

• Journal of the Korea Safety Management & Science
• /
• v.12 no.1
• /
• pp.71-81
• /
• 2010

Today's fierce competition and global economic recession make most of manufacturing companies in the world difficult to gain a profit. In order to survive such a environment and increase competitiveness, manufacturing companies have to continuously eliminate their wasteful factors through an efficient process analysis, improve quality of products, increase the flexibility of manufacturing processes. In this paper, we consider a case study for the Shanghai New Auto which is a subcontractor of MOBIS in China, to improve productivity by using therblig method, one of the motion analysis, to minimize the work-in-process inventories and to shorten the manufacturing cycle times. We also try to relocate the facility layout to increase the efficiency and flexibility of manufacturing processes.

• Proceedings of the Safety Management and Science Conference
• /
• 1999.11a
• /
• pp.421-424
• /
• 1999

In this short report (before the authors would like to introduce an important application for one of the techniques of complex angular momentunm, say, Regge Pole approach, to nuclear fusion reaction for Light-ions: it will be reported in forthcoming papers), two kinds of thermalnuclear fusion reaction sources are introduced and discussed (A) the case of fusion: the production of neutron and target of Deuteron and (B) the case of fusion: the production of proton and target of Deuteron. Nuclear fusion reactions for Light-ions , such as the thermalnuclear energy sources and fuel cycles, are already well known. Fusion reactions are widely known as being extremly important and nationally vital (in point of view of nuclear weapons we must reconsider seriously development and building of such dangerous weapons) for our next generations in the future. This paper (a topics in review) is concerned with a simple introduction about a new nuclear fusion reaction of the above case of (B) for the second generation. Typical thermalnuclear fusion reactions which result in the release of huge amount of energy are nuclear stripping reactions:

• Journal of the Korea Safety Management & Science
• /
• v.3 no.2
• /
• pp.113-121
• /
• 2001

Today, facilities are composed of many complex components or parts. Because of this characteristics, the frequency of failures is decreasing, but the strength of failures is increasing; therefore, the failure analysis about many complex components or parts was needed. In the former research about Fault Tree Analysis, failure data of similar facilities have been used for forecasting about target system or components, but in case that the system or components for forecasting failure is new or qualitative and quantitative data are given simultaneously, there are many difficulty in using Fault Tree Analysis with this incorrect failure data. Therefore, this paper deal with the Fault Tree Analysis method which be applied with Fuzzy theory in above case. In case that , therefore, if there is no the correct failure data, it is represented a system or components as qualitative variable. subsequently, it converted to the quantitative value using fuzzy theory, and the values used as the value for failure forecast.

• International Journal of Safety
• /
• v.5 no.2
• /
• pp.24-28
• /
• 2006

There are many structural problems when the scaffolding frame is applied to a construction site contractor may use a used pipe or buckled pipe which they lended them from commercial firms without any inspection of those materials even though they have been used and exposed to weather for a long times. Therefore, they should be checked of their current capacity, comparing with the original one so that construction contractor can apply their capacity to a temporary frame depending on the site situation against collapsion of those. This study is mainly focused on the behavior of a scaffolding frame using prebuckled pipes. Additionally, standard frame with bracing and without bracing case are also tested for comparing with the prebuckled case. Prebuckled case has its capacity less approximately 20 % than the standard frame.