• 제목/요약/키워드: Formal power

검색결과 175건 처리시간 0.032초

Towards Safety Based Design Procedure for Ships

  • Bakker, Marijn;Boonstra, Hotze;Engelhard, Wim;Daman, Bart
    • Journal of Ship and Ocean Technology
    • /
    • 제5권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.

  • PDF

근대 아동한복 연구 (Korean Traditional Children's Clothes in Modern Times)

  • 조효숙;최은수
    • 대한가정학회지
    • /
    • 제45권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.

STEAM 기반 수학 수업이 문제해결력과 자기효능감에 미치는 영향 (The Effects of STEAM-based Mathematics Class in the Mathematical Problem-solving Ability and Self-efficacy)

  • 이가은;최재호
    • 한국초등수학교육학회지
    • /
    • 제21권4호
    • /
    • pp.663-686
    • /
    • 2017
  • 본 연구는 초등학교 3학년 학생을 대상으로 STEAM을 적용한 수학 교과 중심의 프로그램을 설계하고 현장에 적용하여 수학 교육의 융합적 접근이 학생들의 문제해결력과 자기효능감에 미치는 영향을 밝히고자 하였다. 본 연구를 위하여 D광역시 소재 C초등학교 3학년 2개 학급을 사전 검사를 통하여 실험집단과 비교집단으로 선정하여 문제해결력과 자기효능감 검사를 실시하고 결과를 분석하였다. 또한 수업결과물과 사후설문지를 분석하여 학생들의 문제해결과정에서 나타나는 융합적 사고력과 학습에 대한 긍정적인 변화정도를 파악하고자 하였다. 본 연구의 결과를 살펴보면, 문제해결력과 관련하여 두 집단 간의 검사 결과는 통계적으로 유의미한 차이를 나타내지는 않았으나 실험집단은 비교집단에 비해 수준별 고른 성취수준과 높은 평균점수를 보였다. 또한 STEAM 기반 수학 수업을 진행한 실험 집단의 자기효능감 t-검정을 실시한 결과 5% 유의수준에서 통계적으로 유의미한 결과를 보여 자기효능감에 긍정적인 영향을 미치는 것으로 나타났으며, 수업 결과물 및 소감문을 통하여 표현력의 향상과 수학적 태도의 긍정적인 변화를 확인할 수 있었다. 이를 통해 수학 교과를 중심으로 한 STEAM 프로그램 적용은 학생들의 정의적 영역에 긍정적인 영향을 주며 수학교과 수업 개선 전략으로 활용될 수 있을 것이다.

  • PDF

전통 조형정신의 구현체계의 분석 방법과 실현 방안에 관한 고찰 (Notes on Methods for Realization and Analysis for Implementation of Traditional Aesthetic Value)

  • 민경우
    • 디자인학연구
    • /
    • 제17권3호
    • /
    • pp.335-342
    • /
    • 2004
  • 최근 한국의 전통조형에 관련되는 연구가 활발하게 이뤄지고 있다. 그러나 그간 이뤄졌던 선행연구의 대부분이 극히 개인적이고 부분적이며 산발적으로 이뤄졌기에, 그 내용이 단편적이고, 체계화되지 못한 경향이 있다. 따라서 이러한 선행연구들을 체계적 틀로 종합하여 객관적으로 정리할 필요가 있다. 대체적으로 인간의 모든 행위(조형행위 또한)는 목표와 절차와 수단을 갖고 있다. 즉 인간은 어떤 사상을 구현하기 위해서는 세 가지 요소가 필요한데, 이 세 가지 요소는 내용적, 형식적, 그리고 실질적 요소로 구분하는 것이 보편화되어 있다. 내용적 요소는 사상의 가치, 관념, 의미, 그리고 목적으로서 이루고자 하는 목표이며, 형식적 요소는 목표를 이루기 위해 그 사상의 단위들을 구성하는 방법, 원리, 규범, 절차, 형태 그리고 양식이며, 실질적 요소는 형식을 통하여 내용을 구체화시킬 수 있는 구체적인 수단, 도구, 매체, 재료 그리고 기술 등을 가리킨다. 이 세 가지는 상호연관 되어 있어 이중 한 가지라도 결여되면 완벽한 구현을 이룰 수 없다. 인간이 표현코자 하는 사상과 의미는 거의 언어로 이뤄지고 있다. 문장의 주성분에는 주어(생략가능), 목적어(목적), 서술어(방법), 보어(수단)가 있으며, 그것의 구성요소를 층위별로 규칙을 갖고 체계화시켜놓은 것이 문장이므로 위의 내용들을 언어와 비교 연구하여 디자인(조형)과의 상관관계를 살펴 전통조형의 체계에 관련된 분석의 틀을 만들었다. 또한 위의 방법으로 분석ㆍ정리된 결과를 갖고 전통 조형정신을 시대에 적합하게 실현하기 위한 방안을, 단계별로 정리하였다. 터미널에 상호 호환적 형태로 소비될 수 있는 터미널 구조 및 구현, 그리고 실험 결과를 처음으로 제시 하였다는데 의미가 있다고 할 수 있겠다.있을 것이다. for business transactions, which is composed by ′Classify Phase′ that classify transactions. We called this model "3-Phase Commit Method Applied by Classify Phase", we design this model to manage an resource of enterprise efficiently. The proposed method is compared by the method based on 2-Phase commit that could be a problem of management the resource of enterprise, and the advantage of this method is certified to propose the solution of that problem.should be more cautious in interpreting data obtained from so-called "in vivo counter-transport" experiments.d in many countries now. Especially, development of high power/quality diode laser will be accelerate the introduction of this magnificent

  • PDF

데카르트 신 존재증명의 의의 (Descartes' proofs for the existence of God)

  • 김완종
    • 철학연구
    • /
    • 제141권
    • /
    • pp.1-42
    • /
    • 2017
  • 본 논문은 데카르트의 "성찰"(Meditations)을 중심으로 신 존재증명을 논증한다. 데카르트의 신 존재증명 방식은 공식적으로 전통적인 신앙이 아니라 넌크리스천을 위해 기하학적 방식으로 이성에 호소하였다는 점을 분석적 방식(대부분 Georges Dicker의 방식)을 사용해서 밝힐 것이다. 그의 신 존재 논증은 "성찰 III"에 나타난 첫 번째, 두 번째 증명과 "성찰 V"의 세 번째 증명이다. 데카르트는 "성찰 III"에서 신의 관념은 내 안에 있지만 그 관념의 원인자는 신이며(첫 번째 논증), 이에 근거하여 신의 관념을 가지고 있는 사유하는 자아의 존재를 신만이 원인자(두 번째 논증)라는 우주론적 논증(Cosmological argument)을 제시한다. 이를 위해 그는 먼저 관념들을 형상적 실재성(formal reality)과는 다른 표상적 실재성(representative reality)의 차등에 따라 위계가 정해진다는 것을 진술하고, 이 실재성의 차등이 결과와 원인으로 동일하게 적용되어 최초의 관념인 신에게로 나아가며 나의 존재의 원인(나는 누구로부터 나왔는가?)도 신이 될 수밖에 없다는 것을 논증한다. 세 번째 논증인 존재론적 논증(Ontological argument)에서 필자는 최고의 완전한 존재자인 신이 모양이나 수를 증명하는 것과 수학의 확실성 못지않게 신의 존재(완전성)가 그의 본질에 포함되어 있다는 사실이 명석 판명하다는 데카르트의 논증을 살핀다. 이를 통해 필자는 그의 신 존재 증명의 의도와 의의가 신은 회의의 대상이 될 수 없는 '나는 생각한다 그러므로 존재한다'(cogito ergo sum)를 보증하는 것 즉, 이성을 만족시키고 충족시킬 수 있는 것은 신의 존재 밖에 없었기 때문에 신이 요구되었으며, 인간 이성의 명석 판명한 지각이 참된 인식일 수 있다는 것을 보증해주는 궁극적 근거의 확보였다는 것을 고찰할 것이다. 더 나아가 그의 증명이 전통적인 노선(안셀무스, 토마스 아퀴나스)에 있었지만 그럼에도 불구하고 신 존재증명은 전통과는 다른 의미의 증명이며 전적으로 다른 의미의 신존재였다(Jean-Luc Marion)는 것을 비판적으로 검토할 것이다.

알토의 마이레아 저택 미술전시개념에 나타난 일본주택 도꼬노마의 영향에 관한 연구 (A Study on the Influence of Japanese Tokonoma on Aalto's Art Display Concept in Villa Mairea (1937-39))

  • 김현섭
    • 건축역사연구
    • /
    • 제15권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.

  • PDF

해외 고등학교 정보 교육 검사도구의 비교 분석 (Comparative Analysis of Informatics Education Assessment Tools in Overseas High School)

  • 최희정;이원규;김자미
    • 컴퓨터교육학회논문지
    • /
    • 제21권1호
    • /
    • pp.31-42
    • /
    • 2018
  • 빠른 사회 변화를 이끌고 있는 기술의 발전에 대처하기 위해 세계 각국은 정보교육을 강화하고 있다. 보통교육을 통해 육성해야 할 역량의 마지막 단계는 고등학생이다. 본 연구는 대학진학을 목표로 하는 고등학생들이 갖추어야 할 정보교과에 대한 역량과 수준을 검사도구의 측면에서 알아보기 위한 목적이 있다. 연구 진행을 위해 일본, 독일, 미국 등, 고등학생 대상의 정보교육 관련 검사 도구를 분석하였다. 분석 결과, 첫째, 선다형 문항 형식 뿐만 아니라 논술형과 단답형 문항을 검사도구에 함께 포함한다. 둘째, 현실세계의 모델을 문항으로 활용하여 실제적인 문제해결력에 컴퓨팅 파워를 활용할 수 있는 지 묻고 있다. 셋째, 대학 교육과 직접 연계되는 내용을 문항에 반영하고 있다. 본 연구는 검사도구의 특징 및 논의사항을 도출하고 정보교육의 검사도구 개발 방향성을 세우는데 도움을 주었다는 데 시사점이 있다.

의료기관의 균형적 경영전략, 조정 및 학습 기전의 경영성과에 대한 영향 (Balanced Strategy, Coordinating and Learning Mechanism, and Performance of Hospitals)

  • 노연주;류시원;김영랑
    • 한국병원경영학회지
    • /
    • 제14권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.

  • PDF

조선후기 기녀의 머리형태가 일반여성의 머리형태에 미친 영향 (The Influence of the Traditional Hostess's Hair Shapes in the Last of Chosun Dynasty on the Modern Ladies Hair Shapes)

  • 임영자;조미영
    • 복식
    • /
    • 제54권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.

실시간 모델 체커를 이용한 풀트 트리의 체계적 검증 (Systematic Evaluation of Fault Trees using Real-Time Model Checker)

  • 지은경;차성덕;손한성;유준범;구서룡;성풍현
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제29권12호
    • /
    • pp.860-872
    • /
    • 2002
  • 폴트 트리 분석(Fault Tree Analysis)은 산업계에서 가장 널리 사용되는 안전성 분석 기법 중의 하나이다. 하지만, 이 기법은 보통 수작업으로 이루어지며, 분석 결과를 체계적이고 자동적으로 검증할 수 있는 방법이 없다는 약점을 지닌다. 본 논문에서는 실시간 모델 체커인 UPPAAL을 이용하여 안전성이 중요한 소프트웨어의 요구 사항들을 정형 명세하고, 수작업으로 찬성된 폴트 트리의 정확성을 검증하는 방법을 제안하고 있다. 제안된 방법을 유용성을 확인하기 위해서 월성 원자력 발전소의 비상 정지 소프트웨어(Wolsung SDS2)에서 사용된 기능 요구 사항들을 예제로서 사용하였다. 폴트 트리는 월성 SDS2에 대한 전문적인 지식을 지니고 폴트 트리를 이용한 안전성 분석을 여러 번 수행해 본 경험이 있는 대학원생들에 의해 작성되었다. 기능 요구 사항들은 UPPAAL의 입력으로서 사용되기 위해서 시제 오토마타의 형태로 수작업으로 변환되었으며, 이 폴트 트리의 정확성을 검증하기 위해서 모델 체킹을 사용하였다 본 논문에서 제안된 방법을 월성 SDS2 예제에 적용해 본 결과, 수작업으로 작성된 폴트 트리에 존재하는 오류를 찾을 수 있었으며, 이러한 작업을 통하여 제안된 방법이 폴트 트리 분석에 대한 신뢰도를 높이는데 유용함을 발견하였다.