• Journal of Ship and Ocean Technology
• /
• v.5 no.3
• /
• pp.1-13
• /
• 2001

Present-day rules and regulations for the design and construction of ships are almost without exemption of a prescriptive and deterministic nature. Often it is argued that this situation is far from ideal; it does no right to the advances, which have been made during the past decades in engineering tools in marine technology, both in methodology and in computational power. Within IMO this has been realized for some time and has resulted in proposals to use Formal Safety Assessment(FSA) as a tool to improve and to modernize the rule making process. The present paper makes use of elements of the FSA methodology, but instead of working towards generic regulations or requirements, a Risk Assessment Approach, not unlike a 'safety case'; valid for a certain ship or type of ship is worked out. Delft University of Technology investigated the application of safely assessment procedures in ship design, in co-operation with Anthony Veder Shipowners and safety experts from Safely Service Center BV. The ship considered is a semi-pressurized-fully refrigerated LPG carrier. On the basis of the assumption that a major accident occurs, various accident, scenarios were considered and assessed, which would impair the safety of the carrier. In a so-called Risk Matrix, in which accident frequencies versus the consequence of the scenarios are depicted, the calculated risks all appeared lo be in the ALARP('as low as reasonable practicable') region. A number of design alternatives were compared, both on safety merits and cost-effectiveness. The experience gained with this scenario-based approach will be used to establish a set of general requirements for safety assessment techniques in ship design. In the view that assessment results will be most probably presented in a quasi-quantified manner, the requirements are concerned with uniformity of both the safety assessment. These requirements make it possible that valid comparison between various assessment studies can be made. Safety assessment, founded on these requirements, provides a validated and helpful source of data during the coming years, and provides naval architects and engineers with tools experience and data for safety assessment procedures in ship design. However a lot of effort has to be spent in order to make the methods applicable in day-to-day practice.

• Journal of the Korean Home Economics Association
• /
• v.45 no.1
• /
• pp.63-73
• /
• 2007

Korean children's clothes have unique aesthetic characteristics distinguished from other countries'. Our folk beliefs handed down from ancient times always contained fortune - seeking thoughts and particularly mothers' earnest wishes for the happiness of their children were sublimated into the symbolic beauty of their children's clothes. The present study examined children's clothes in the royal family and among the people for 50 years of the transitional period from the late Joseon Dynasty to modern times, by classifying them into ritual dress for new-born babies, festival dress and everyday dress. Male children's clothes included caps such as Bokgeon(복건), Hogeon(호건) and Gulle(굴레) topcoats such as Durumagi(두루마기), Sagyusam(사규삼) Koija(쾌자) and Jeonbok(전복) and others such as Magoja(마고자), Baeja(배자), Joggi(조끼) and Bajijeogori(바지저고리), Female children's clothes included caps and head ornaments such as Gulle, Jobawi(조바위) and Daenggi(댕기) and others such as Durumagi, Jegori and Chima(치마). What is interesting is that old clothes handed down to the present are mostly boys' and few of them are girls'. This is probably because of the strong preference for boys rather than girls that continued until the end of the 20th century. Ordinary people dressed their new - born babies with simple white clothes until Samchilil (the 21st day) or Baekil (the 100thday) but, for these occasions, the royal family prepared clothes as formal as those for the $1^{st}$ birthday among the public. Rainbow-striped garments were more popular among the public than in the royal family. As rainbow colors were known to Korean people to dispel evil power and bring in fortunes, rainbow - striped garments were essential for the $1^{st}$ birthday and festive days. However, they were seldom used in ordinarytimes, and most boys and girls wore plain jackets and plain topcoats. When children's clothes in noble families were compared with royal family's ones, either handed down to the present or found in old literature, no significant difference was observed in the basic composition of everyday dress. In particular, it was found that Andong Kim's family had dressed their children with very formal dress such as Dopo and Sagyusam. Among children's clothes, the most gorgeous one was that worn on the $1^{st}$ birthday, and those for other occasions or festive days were similar or simpler. Colors, patterns and designs used in decorating children's clothes mostly had the meanings of seeking fortunes for children such as long life, wealth and prosperity.

• Journal of Elementary Mathematics Education in Korea
• /
• v.21 no.4
• /
• pp.663-686
• /
• 2017

The purpose of this study was to identify the effects of convergent approach of mathematics education on students' problem-solving ability and self-efficacy by designing and applying mathematics curriculum based on STEAM. The results are as follows. First, the test results between the two groups did not show any statistically significant difference in terms of problem solving ability, but the experimental group showed a higher average score than the comparative group. Compared with the standard deviation of the experimental group, It can be seen that the level of difference between students is great. This suggests that STEAM-based mathematics lessons have a positive effect on the problem solving ability of low-level students. Second, the results of the self-efficacy t-test of STEAM-based mathematics class showed statistically significant results at a 5% significance level. In the sub-domain, the preference for the difficulty of the mathematics task, except math self-confidence and the math self-regulation efficacy, were statistically significant at a 5% significance level. This study shows that STEAM-based mathematics classes have a positive effect on the students' positive aspects. Through the STEAM program, students learn that mathematics is connected with other fields, and it provides an opportunity to explore on their own, and they more became interested, motivated, and achievement. Also, through the results of the STEAM-based mathematics class, it can be seen that the expressive power and self-confidence are increased by using the non-formal representation outside of the existing formal representation center. The result of this study can be summarized as follows: A STEAM-based mathematics class has a positive effect on problem solving ability and self-efficacy. Therefore, it is interpreted that the application of the STEAM program focusing on mathematics accounts for education effectives.

• Archives of design research
• /
• v.17 no.3
• /
• pp.335-342
• /
• 2004

Recently there have been various research activities regarding Korean traditional aesthetics. However, those researches were mainly conducted individually, partially, and periodically, which resulted in unsystematic and incomprehensive works. Therefore, it is required to orginze all the precedent research works with more systematic and objective framework. Generally speaking, all the human activities including aesthetic activity have ends, procedure and means. In other words, human being needs three key elements for realizing any thought and those three elements include contents, formal, and practical element. Element of contents is ultimate goal to accomplish as value, concept, and meaning of thought with their aims. Formal element includes methods, principles, norms, procedure, formality and style comprising of thought in order to accomplish the goal. Finally, practical element refers to specific means, tool, media, material and techniques to concretize the contents through form. Almost all of thoughts and meaning which human being tries to express consist of language. Major elements in sentence include 'subject (omissible)' , 'objects (aim)', 'predicate (formality)', 'complement (means)' and they are composed systematically and hierarchically with rules in sentence. The study compared human activity model with language structure and analyzed their implication with design (aesthetics), which made it possible to propose analytic frameworks for traditional aesthetics. In addition, the study also systematically organized the way to realize traditional aesthetic value in the present context based on the methods developed in this study.

• Journal of Korean Philosophical Society
• /
• v.141
• /
• pp.1-42
• /
• 2017

This paper's purpose is to seek to grasp how Descartes demonstrates proofs of God's existence on the basis of his works especially Meditations. To consider these points, I shall explore first, second, third proofs that are present in his works, and contents related to God. Descartes argues that there is idea of God within me, but it is God, which is first proof. On the basis of this fact, Descartes shows only God is the cause of thinking self who has idea of God(second proof), both of them are called Cosmological argument. To investigate this, at first he states that representative reality that is different from formal reality sets a kind of hierarchy, the degree of this reality is equally applied to cause and effect, consequently to the cause of my idea or existence(God). From Meditation V, third proof which is called Ontological argument, Descartes examined a supremely perfect God can't be separated from God's existence(perfection) just as surly as the certainty of any shape or number, for example triangle, namely it is quite evident that God's existence includes his essence. Through these processes I shall examine following points: the way of having Descartes' proofs of God's existence itself is not only exposed, God's existence who guarantees cogito ergo sum which is never doubted, despite doubting all things that is outside, is but also postulated; Proofs for the existence of God are an ultimate source of ensuring the clear and distinct perception of human reason, Descartes uses reason suitable for non-christians instead of faith suitable for Christians for these methods, which are similarities with the traditional views on the one hand, but nevertheless there are some of discontinuities establishing authority or power of the first philosophical principle to which God is subjected, on the other.

• Journal of architectural history
• /
• v.15 no.3
• /
• pp.43-57
• /
• 2006

The Villa Mairea (1937-39) designed by Alvar Aalto (1898-1976) has been studied by many researchers from various viewpoints. However, few studies have devoted their attention to the major issue raised by Aalto at the Yale University lecture and "Mairea" article in arkitekten in 1939. The issue is to fuse art with life in the living room with mobile partition walls that can function both as art exhibition walls and as art storage cabinets at the same time. Through this device, he maintained, the client can change displayed pictures easily according to the situation and so "painting and everyday life can evolve in a more direct manner." This paper argues that Aalto's concept originated from Japanese 'tokonoma' in Tetsuro Yoshida's Das japanische Wohnhaus (1935), which he referred to during the project. Differently from other Japanese features in the house, this tokonoma idea is more than formal, but more decisive than passing in driving the plan. And, whether coincidently or not, his idea exactly corresponds to Japanese aesthetes' and critics' own interpretation of the tononoma as the symbolic centre of Japanese people's everyday life. More importantly, however, this art display concept discloses secret strata of modern architecture during the time when the petrified rationalism was still at its power Even through the tokonoma motif alone, we see diverse trails in modern architecture: fusion of the East and the West, fusion of the traditional and the modern, to say nothing of fusion of art with life.

• The Journal of Korean Association of Computer Education
• /
• v.21 no.1
• /
• pp.31-42
• /
• 2018

Countries around the world are strengthening informatics education to cope with the development of technology that leads to rapid social change. The last step in the capacity to foster through formal education is high school education. The purpose of this study is to examine the competence and level of informatics curriculum for high school students who aim to enter university in terms of testing tools. In order to carry out the research, we analyzed informatics education related test tools for high school students such as Japan, Germany, and USA. The results of the analysis are as follows: First, both the essay type and the short answer type question are included in the test tool as well as the multiple choice question type. Second, we use the real world model as an item and ask whether we can use computing power for practical problem solving ability. Third, the items directly related to the university education are reflected in the items. This study suggests that it has helped to elucidate the features and discussions of the test tool and establish the development direction of the test tool for informatics education.

• Korea Journal of Hospital Management
• /
• v.14 no.4
• /
• pp.1-24
• /
• 2009

The purpose of this study was to find out the differences and relationships among balanced strategy, coordinating and learning mechanism, and perceived performance of hospitals in Korea, and provide some directions to establish effective strategic management of hospital. Measure items on balanced strategy, coordinating and learning mechanism, and perceived performance were developed from previous studies. Questionnaire was sent and received through Internet site and e-mail during May, 2008. Data were collected from key informant in each institutions, and analyzed using frequency analysis, T-test, ANOVA, correlation and regression analysis. The major findings of this study were as follows: 1. The level of strategic selection and external learning mechanism of private hospital was lower than that of medical corporation, and others corporation hospital. 2. There was little difference between hospitals in metropolitan and those in small cities. 3. Hospitals that have under 100 beds were statistically lower level in strategic selection and external learning mechanism than hospitals has over 100 beds. 4. Formal coordinating and external learning mechanism, and foundation form(medical corporation) were significantly influenced on profitability from specialized field. 5. Strategic selection and adaptation mechanism were significantly affected on total profitability. 6. Strategic selection and external learning mechanism were significantly influenced on competitive power around its local market. Hospitals that are to be competitive by specialization should have to establish mechanism for management such as balanced strategy, coordinating and learning mechanism.

• Journal of the Korean Society of Costume
• /
• v.54 no.3
• /
• pp.1-11
• /
• 2004

As Confucian ideology dominated all over the society, the androcentric patriarchical society in the last of Chosun Dynasty produced the unequal power relationship between man and woman. It was traditional hostesses(kisaengs) who uniquely had an occupation among the women in this society. In modern society. they are reinterpreted as 'fashion leaders' or 'professional career women with expert knowledge and it caused a lot of the studies of them to be in a progression vigorously. Therefore this paper studied on the influence of the traditional hostesses(kisaengs) -who were educated and permitted in ther social activity formally in a Confuanism-governed society which forbided a woman to participate in a social activity and which did not gave ladies any formal education. The general hostess in the beginning time of the Chosun Dynasty imitated the hair shape of women in the yangban family which formed the highest class in the Chosun Dyansty and it reflected their aspiration for the highest social class. Howerver, coming into the last age of the chosun dynasty, a reverse phenomenon -that women in the yangban family imitated the general hostesses' hairstyle -occured due to the spread of a genre painting ＆ the concubine system. The general hostesses were educated systematically and did social activity and influenced hair shapes as they were independent economically and their influence in the part of hairstyle appeared as great and high EONJIN MEURI and as one-sided EONJIN MEURI. Regarding-as the result of this study on the influence of the traditional hostess's hair shapes on the ladies hair shapes in the last of Chosun Dynasty -that the traditional hostesse of the last age of chosun dynasty played a role as a fashion leader of the ladies at the same age. the general hostesses in Chosun Dynasty should be revaluated... And the study of ladies which were hidden behind the scenes of Confuanism should be made much more.

• Journal of KIISE:Software and Applications
• /
• v.29 no.12
• /
• pp.860-872
• /
• 2002

Fault tree analysis is the most widely used saftly analysis technique in industry. However, the analysis is often applied manually, and there is no systematic and automated approach available to validate the analysis result. In this paper, we demonstrate that a real-time model checker UPPAAL is useful in formally specifying the required behavior of safety-critical software and to validate the accuracy of manually constructed fault trees. Functional requirements for emergency shutdown software for a nuclear power plant, named Wolsung SDS2, are used as an example. Fault trees were initially developed by a group of graduate students who possess detailed knowledge of Wolsung SDS2 and are familiar with safety analysis techniques including fault tree analysis. Functional requirements were manually translated in timed automata format accepted by UPPAAL, and the model checking was applied using property specifications to evaluate the correctness of the fault trees. Our application demonstrated that UPPAAL was able to detect subtle flaws or ambiguities present in fault trees. Therefore, we conclude that the proposed approach is useful in augmenting fault tree analysis.