• Journal for History of Mathematics
• /
• v.25 no.4
• /
• pp.21-36
• /
• 2012

It is commonly believed that the model-theoretic account of logical consequence is originated from Tarski' s 1936 paper. But Etchemendy has denied this. This paper discusses and evaluates the recent controversies over whether the definition of logical consequence presented in Tarski' s paper is based on the fixed-domain conception or the variable-domain conception.

• Fire Science and Engineering
• /
• v.13 no.4
• /
• pp.1-6
• /
• 1999

In this paper, We have analyzed the application characteristics of the three different consequence programs(SuperChems Pro., PHAST Pro., and SAFER Trace) for the models (pool fire, jet fire ＆ flare, fireball, flash fire) based on the four possible accident scenarios. And we have proposed a development direction of fire consequence analysis models using the related theories and the results analysis of consequence programs.

• Journal of the Korean Society of Safety
• /
• v.19 no.4 s.68
• /
• pp.60-68
• /
• 2004

Consequence analysis of flammable materials that affect to a risk of facilities was studied at the risk based inspection using API-581. We found that consequence areas (damage area of equipment and fatality area) by release accident of flammable materials showed high value for the case of liquid phase and auto-ignition likely, and that consequence areas of flammable gases decreased as temperature increased and the pipe diameter and pressure decreased at continuous release.

• Nuclear Engineering and Technology
• /
• v.37 no.3
• /
• pp.245-258
• /
• 2005

This paper addresses two types of uncertainty: stochastic uncertainty and subjective uncertainty in probabilistic accident consequence assessments. The off-site consequence assessment code OSCAAR has been applied to uncertainty and sensitivity analyses on the individual risks of early fatality and latent cancer fatality in the population outside the plant boundary due to a severe accident. A new stratified meteorological sampling scheme was successfully implemented into the trajectory model for atmospheric dispersion and the statistical variability of the probability distributions of the consequence was examined. A total of 65 uncertain input parameters was considered and 128 runs of OSCAAR with 144 meteorological sequences were performed in the parameter uncertainty analysis. The study provided the range of uncertainty for the expected values of individual risks of early and latent cancer fatality close to the site. In the sensitivity analyses, the correlation/regression measures were useful for identifying those input parameters whose uncertainty makes an important contribution to the overall uncertainty for the consequence. This could provide valuable insights into areas for further research aiming at reducing the uncertainties.

• Journal of the Korean Society of Safety
• /
• v.27 no.6
• /
• pp.192-204
• /
• 2012

For a severe accident of nuclear power plant, an approach to estimation of the radiological source term using a severe accident code(MELCOR) has been proposed. Although the MELCOR code has a capability to estimate the radiological source term, it has been hardly utilized for the radiological consequence analysis mainly due to a lack of understanding on the relevant function employed in MELCOR and severe accident phenomena. In order to estimate the severe accident source term to be linked with the radiological consequence analysis, this study proposes 4-step procedure: (1) selection of plant condition leading to a severe accident(i.e., accident sequence), (2) analysis of the relevant severe accident code, (3) investigation of the code analysis results and post-processing, and (4) generation of radiological source term information for the consequence analysis. The feasibility study of the present approach to an early containment failure sequence caused by a fast station blackout(SBO) of a reference plant (OPR-1000), showed that while the MELCOR code has an integrated capability for severe accident and source term analysis, it has a large degree of uncertainty in quantifying the radiological source term. Key insights obtained from the present study were: (1) key parameters employed in a typical code for the consequence analysis(i.e., MACCS) could be generated by MELCOR code; (2) the MELOCR code simulation for an assessment of the selected accident sequence has a large degree of uncertainty in determining the accident scenario and severe accident phenomena; and (3) the generation of source term information for the consequence analysis relies on an expert opinion in both areas of severe accident analysis and consequence analysis. Nevertheless, the MELCOR code had a great advantage in estimating the radiological source term such as reflection of the current state of art in the area of severe accident and radiological source term.

• Journal of the Korean Professional Engineers Association
• /
• v.31 no.5
• /
• pp.60-68
• /
• 1998

• Korean Journal of Logic
• /
• v.13 no.2
• /
• pp.135-165
• /
• 2010

In this paper, I explore Turner's argument against libertarianism. He claims that libertarians can't be compatible with naturalism, without abandoning the Consequence Argument. In order to support this claim, he proposes the Supervenience Argument. According to him, the Supervenience Argument can't be rejected without abandoning either the Consequence Argument or naturalism. But I show that libertarians don't have to accept his Supervenience Argument, even though they stick to the Consequence Argument, and that even though they accept his Supervenience Argument, they don't have to abandon the freedom of agent. For these reasons, I conclude that Turner's argument against libertarianism turns out a failure.

• International Journal of Advanced Culture Technology
• /
• v.8 no.2
• /
• pp.184-191
• /
• 2020

This study is conducted to find out the nurses' character for care and the workplace bullying for the early stage nurses working in the clinical field and their relation in order to understand the factors which would affect the consequence of the workplace bullying. Data collected from 131 early stage nurses working at one general hospital for 7 months was used for this study. The data was analyzed with descriptive statistics, Independent t-test, one-way ANOVA, Pearson's correlation coefficient, Hierarchical multiple regression by using SPSS/WIN 21.0. It was found that high the nurses' character for care was related to the lower workplace bullying (type and consequence) (r=-.31, p<.001; r=-.26, p=.003) and that the worse the score in the type of bullying wasthe higher consequence (r=.54, p<.001). The multiple regression analysis showed that the factors affecting the consequence of the workplace bullying were the type of bullying (β=.48), dissatisfaction with nursing (β=.22), and moderate satisfaction with nursing (β=.19) and that the explanation of the model by variables was 32.5%. Based on the results of the study, it is suggested that the effort of lowering the occurrence of the type of bullying and the strategy of enhancing the satisfaction with nursing such as improvement in the quality of nursing education be made in order to improve the consequence of workplace bullying at the workplace for the early stage nurses.

• Journal of the Korean Institute of Gas
• /
• v.7 no.1 s.18
• /
• pp.10-18
• /
• 2003

Consequence model has been suggested to evaluate consequence of city gas accident considering actual situation. Through event tree analysis(ETA), probable accidents were summarized and listed. Then release rate was calculated both sonic and subsonic conditions. Among city gas accidents, fire damage is the dominant one and mainly discussed; fatality, burning injury, and damage to building were estimated using the consequence model suggested. With an appropriate conditions, calculating total cost by accident was suggested.

• Nuclear Engineering and Technology
• /
• v.54 no.4
• /
• pp.1516-1525
• /
• 2022

Interfacing the output of severe accident analysis with the input of radiological consequence analysis is an important and mandatory procedure at the beginning of Level 3 PSA. Such interfacing between the severe accident analysis code MELCOR and MACCS, one of the most commonly used consequence analysis codes, is relatively tractable since they share the same chemical groups, and the related interfacing software, MelMACCS, has already been developed. However, the linking between MAAP, another frequently used code for severe accident analyses, and MACCS has difficulties because MAAP employs a different chemical grouping method than MACCS historically did. More specifically, MAAP groups by chemical compound, while MACCS groups by chemical element. An appropriate interfacing method between MAAP and MACCS has therefore long been requested by users. This study suggests a way of extracting relevant information from MAAP results and providing proper source term information to MACCS by an appropriate treatment. Various parameters are covered in terms of magnitude and manner of release in this study, and special treatment is made for a bypass scenario. It is expected that the suggested approach will provide an important contribution as a guide to interface MAAP and MACCS when performing radiological consequence analyses.