• The Transactions of the Korean Institute of Electrical Engineers P
• /
• v.65 no.4
• /
• pp.242-249
• /
• 2016

The railway system is being converted to the computer system from the existing mechanical device, and the dependency on software is being increased rapidly. Though the size and degree of complexity of software for railway system are slower than the development speed of hardware, it is expected that the size will be grown bigger gradually and the degree of complexity will be increased also. Accordingly, the validation of reliability and safety of embedded software for railway system was started to become influential as the important issue. Accordingly, various software test and validation activities are highly recommended in the international standards related railway software. In this paper, we presented a software coding analysis tool using symbolic execution for railway system, and presented its result of implementation.

• Journal of the Korean Society of Safety
• /
• v.24 no.2
• /
• pp.42-47
• /
• 2009

The flash point and the AIT(auto-ignition temperature) are the most important combustible properties used to determine the potential for the fire and explosion hazards of flammable material. In order to know the accuracy of data in MSDS(Material Safety Data Sheet), the flash point of n-acids were measured by using Pensky-Martens closed cup tester(ASTM D93), Setaflash closed cup tester(ASTM D3278), Tag open cup tester(ASTM D1310) and Cleveland open cup tester(ASTM D92). Also, the AIT of n-acids were measured by using ASTM E659-78 tester. The measured the flash points and the AIT were compared with literatures and MSDS in KOSHA. The measured the flash points and the AIT were different from those in literatures and MSDS. Therefore, This paper shows that it is needed to investigate the MSDS compatibility of n-acids for the fire safety objectives.

• Journal of the Korean Society of Systems Engineering
• /
• v.17 no.2
• /
• pp.114-121
• /
• 2021

Today, it is a time when self-help efforts are being made to increase the demand for international certification by domestic and foreign railway orderers and develop excellent railway systems for railway system and railway construction projects. Since 2011, cases of obtaining international certification related to the domestic railway system/products have been collected and analyzed through literature and Internet data and based on the analysis results, evaluation results on the acquisition of international certification in Korea are presented. Through these results, the government, research institutes, and industries will be practical reference materials for international certification-related work.

• Journal of the Society of Naval Architects of Korea
• /
• v.28 no.1
• /
• pp.150-168
• /
• 1991

A practical procedure for the ultimate compressive strength-based safety and reliability assessment of the double skin upper deck structure is described. The external compressive stress acting on the upper deck structure which is due to the still water and wave-induced sagging moment is approximately estimated by using the existing rule of classification society. The ultimate compressive stress of double skin structure under the action of sagging moment is analyzed by using idealized structural unit method. Here an idealized plate element subjected to uniaxial load is formulated by idealizing the nonlinear behaviour of the actual element taking account of the initial imperfections in the form of initial deflection and welding residual stress. The interaction effect between the local and global failure in the structure is also taken into consideration. The accuracy of the present method is verified comparing with the present solution and the existing numerical and experimental results for unit member and welded box columns. The safety of the structure is evaluated using the concept of conventional central safety factor and the reliability assessment is made by using Cornel's MVFOSM method. The present procedure is then applied to upper deck structure of double skin product oil carrier. The influence of the initial imperfections and the yield stress of the material on the safety and reliability of the structure is investigated.

• Journal of Preventive Medicine and Public Health
• /
• v.48 no.5
• /
• pp.239-248
• /
• 2015

Objectives: The purpose of this study was to assess the inter-rater reliability and intra-rater reliability of medical record review for the detection of hospital adverse events. Methods: We conducted two stages retrospective medical records review of a random sample of 96 patients from one acute-care general hospital. The first stage was an explicit patient record review by two nurses to detect the presence of 41 screening criteria (SC). The second stage was an implicit structured review by two physicians to identify the occurrence of adverse events from the positive cases on the SC. The inter-rater reliability of two nurses and that of two physicians were assessed. The intra-rater reliability was also evaluated by using test-retest method at approximately two weeks later. Results: In 84.2% of the patient medical records, the nurses agreed as to the necessity for the second stage review (kappa, 0.68; 95% confidence interval [CI], 0.54 to 0.83). In 93.0% of the patient medical records screened by nurses, the physicians agreed about the absence or presence of adverse events (kappa, 0.71; 95% CI, 0.44 to 0.97). When assessing intra-rater reliability, the kappa indices of two nurses were 0.54 (95% CI, 0.31 to 0.77) and 0.67 (95% CI, 0.47 to 0.87), whereas those of two physicians were 0.87 (95% CI, 0.62 to 1.00) and 0.37 (95% CI, -0.16 to 0.89). Conclusions: In this study, the medical record review for detecting adverse events showed intermediate to good level of inter-rater and intra-rater reliability. Well organized training program for reviewers and clearly defining SC are required to get more reliable results in the hospital adverse event study.

• Journal of the Korean Society of Marine Environment & Safety
• /
• v.25 no.3
• /
• pp.287-297
• /
• 2019

The recent increase in crude oil trading has led to an increase in the workings of SPM for crude oil carriers. VLCCs generally encounter difficulty entering port due to limitations in terms of sea depth and maneuverability. The SPM is a system that allows mooring to the buoy located in the outer sea for such vessels. However, the buoy is more affected by relatively external forces because of their of shore location. Therefore, the safety assessment of SPM is particularly important as it can lead to large oil pollution disasters in the event of SPM accidents. Despite this, in the implementation of the Marine Traffic Safety Audit Scheme in Korea, there exists no guidance for SPM. In this study, a SPM mooring safety assessment is performed using OPTIMOOR, a numerical analysis program, so as to understand the mooring characteristics of SPM. As a result, it is confirmed that the tension of mooring lines and hull movement in the SPM are greatly affected by the encounter angles with external forces. In addition, it is found that the maximum tension of the mooring line is elevated as the water depth becomes shallower through sensitivity analysis. According to SPM characteristics, which has a large influence on the encounter angle, this study has proposed an amendment to setting criteria in the implementation of the Maritime Traffic Safety Audit Scheme which could improve the reliability and accuracy of mooring safety assessments.

• Journal of the Korea Furniture Society
• /
• v.20 no.4
• /
• pp.358-373
• /
• 2009

Probability based design(PBD)method has some advantages against current design methods. First, it can provide the quantitative values for the structural safety or capacity through the reliability index, $^{\beta}$. That presented the certainty on the corresponding structure for the designer or user, also that permitted the broad consideration in the safety of structures. In addition, it can give the quantitative lifetime of the related structure in the calculation process of target reliability index. Also, incidental economical efficiency can be expected because decrease of required structural material can be obtained by using the practical material data. Unlikely current deterministic structural design methods, main advantage is the reflection of real condition in the structural design process by application of the data with not small clear specimen but structural size material. Advanced countries, namely America, Canada, Europe, Australia and New Zealand already converted from allowable stress design(ASD) method to PBD method and used as a standard wooden structures code in the late 1980s and 1990s. Other domestic constructions standards such as the steel or concrete constructions accepted and used the PBD methods already. Accordingly, wooden structural design method also should be converted from deterministic ASD to probabilistic LRFD(Load and resistance factor design) in order to keep pace with worldwide demands for PBD. Hence, to suggest the reason of introduction the PBD in domestic wooden structural design and analysis, a brief example was used to show the different reliability index by using the different design methods. Definition, merits and demerits of deterministic ASD and probabilistic LRFD were followed. Also the three examples were presented to show the similarity and differences between ASD and LRFD. Finally, connection problems that might cause a disputation in wooden structural design and analysis were broadly examined.

• Structural Engineering and Mechanics
• /
• v.53 no.6
• /
• pp.1183-1200
• /
• 2015

Reinforcement corrosion can cause serious safety deterioration to aging concrete structures exposed in aggressive environments. This paper presents an approach for reliability analyses of deteriorating reinforced concrete structures affected by reinforcement corrosion on the basis of the representative symptoms identified during the deterioration process. The concrete cracking growth and rebar bond strength evolution due to reinforcement corrosion are chosen as key symptoms for the performance deterioration of concrete structures. The crack width at concrete cover surface largely depends on the corrosion penetration of rebar due to the expansive rust layer at the bond interface generated by reinforcement corrosion. The bond strength of rebar in the concrete correlates well with concrete crack width and decays steadily with crack width growth. The estimates of cracking development and bond strength deterioration are examined by experimental data available from various sources, and then matched with symptom-based lifetime Weibull model. The symptom reliability and remaining useful life are predicted from the predictive lifetime Weibull model for deteriorating concrete structures. Finally, a numerical example is provided to demonstrate the applicability of the proposed approach for forecasting the performance of concrete structures subject to reinforcement corrosion. The results show that the corrosion rate has significant impact on the reliability associated with serviceability and load bearing capacity of reinforced concrete structures during their service life.

• Journal of the Korean Society of Safety
• /
• v.33 no.2
• /
• pp.86-93
• /
• 2018

Recently, the use of composite steel plate concrete structural modules filled with concrete between steel plates of complex internal structure, in which a large amount of studs are installed, is increasing in order to reduce the weight and to increase workability of structures such as LNG storage tanks. However, in Korea, there is no systematic criterion for evaluating the construction performance of composite steel plate concrete structural modules. Therefore, in this study, we propose a filling guideline of concrete for composite steel plate structural module. For this purpose, high filling performance concrete with general strength range was formulated and tested for filling ability and permeability for each formulation. Rheology analysis was performed to quantitatively evaluate the flow characteristics of concrete. The reliability of $T_{500}$ and plastic viscosity was evaluated to reflect the results of each test, and a guideline for high filling concrete satisfying the reliability of 0.9 or more was derived by reflecting the results of the study on the relationship between the $T_{500}$ and plastic viscosity. Through final fill-box test, filling performance was verified and guidelines were suggested.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.20 no.1
• /
• pp.205-210
• /
• 2020

Thanks to the shift in awareness of environmentally friendly energy and government initiatives, practical light-emitting diode(LED) lighting fixtures have emerged and are being distributed, resulting in very large energy savings. However, in actual use of LED lighting, it is possible to use it as an individual, but when using a large street light or a whole home lighting, the whole lighting system is realized due to various problems such as efficiency, stability, and reliability. Doing so has several problems. Although AC-LED has been developed recently to solve safety problems such as heat generation phenomenon of the conventional DC-LED, it also has various problems such as quality safety and reliability, which are difficult to use as outdoor lighting using existing AC Power. This happens. Accordingly, the appropriate power for AC-LED should be developed and applied, and the emergence of such LED lighting will play a role as a tool that can overcome the limitations of existing LED lighting and implement sustainable energy saving.