병렬 및 분산 임베디드 시스템을 위한 모델 기반 코드 생성 프레임워크

학위논문(박사)--서울대학교 대학원 :공과대학 컴퓨터공학부,2020. 2. 하순회.소프트웨어 설계 생산성 및 유지보수성을 향상시키기 위해 다양한 소프트웨어 개발 방법론이 제안되었지만, 대부분의 연구는 응용 소프트웨어를 하나의 프로세서에서 동작시키는 데에 초점을 맞추고 있다. 또한, 임베디드 시스템을 개발하는 데에 필요한 지연이나 자원 요구 사항에 대한 비기능적 요구 사항을 고려하지 않고 있기 때문에 일반적인 소프트웨어 개발 방법론을 임베디드 소프트웨어를 개발하는 데에 적용하는 것은 적합하지 않다. 이 논문에서는 병렬 및 분산 임베디드 시스템을 대상으로 하는 소프트웨어를 모델로 표현하고, 이를 소프트웨어 분석이나 개발에 활용하는 개발 방법론을 소개한다. 우리의 모델에서 응용 소프트웨어는 계층적으로 표현할 수 있는 여러 개의 태스크로 이루어져 있으며, 하드웨어 플랫폼과 독립적으로 명세한다. 태스크 간의 통신 및 동기화는 모델이 정의한 규약이 정해져 있고, 이러한 규약을 통해 실제 프로그램을 실행하기 전에 소프트웨어 에러를 정적 분석을 통해 확인할 수 있고, 이는 응용의 검증 복잡도를 줄이는 데에 기여한다. 지정한 하드웨어 플랫폼에서 동작하는 프로그램은 태스크들을 프로세서에 매핑한 이후에 자동적으로 합성할 수 있다. 위의 모델 기반 소프트웨어 개발 방법론에서 사용하는 프로그램 합성기를 본 논문에서 제안하였는데, 명세한 플랫폼 요구 사항을 바탕으로 병렬 및 분산 임베디드 시스템을에서 동작하는 코드를 생성한다. 여러 개의 정형적 모델들을 계층적으로 표현하여 응용의 동적 행태를 나타고, 합성기는 여러 모델로 구성된 계층적인 모델로부터 병렬성을 고려하여 태스크를 실행할 수 있다. 또한, 프로그램 합성기에서 다양한 플랫폼이나 네트워크를 지원할 수 있도록 코드를 관리하는 방법도 보여주고 있다. 본 논문에서 제시하는 소프트웨어 개발 방법론은 6개의 하드웨어 플랫폼과 3 종류의 네트워크로 구성되어 있는 실제 감시 소프트웨어 시스템 응용 예제와 이종 멀티 프로세서를 활용하는 원격 딥 러닝 예제를 수행하여 개발 방법론의 적용 가능성을 시험하였다. 또한, 프로그램 합성기가 새로운 플랫폼이나 네트워크를 지원하기 위해 필요로 하는 개발 비용도 실제 측정 및 예측하여 상대적으로 적은 노력으로 새로운 플랫폼을 지원할 수 있음을 확인하였다. 많은 임베디드 시스템에서 예상치 못한 하드웨어 에러에 대해 결함을 감내하는 것을 필요로 하기 때문에 결함 감내에 대한 코드를 자동으로 생성하는 연구도 진행하였다. 본 기법에서 결함 감내 설정에 따라 태스크 그래프를 수정하는 방식을 활용하였으며, 결함 감내의 비기능적 요구 사항을 응용 개발자가 쉽게 적용할 수 있도록 하였다. 또한, 결함 감내 지원하는 것과 관련하여 실제 수동으로 구현했을 경우와 비교하였고, 결함 주입 도구를 이용하여 결함 발생 시나리오를 재현하거나, 임의로 결함을 주입하는 실험을 수행하였다. 마지막으로 결함 감내를 실험할 때에 활용한 결함 주입 도구는 본 논문의 또 다른 기여 사항 중 하나로 리눅스 환경으로 대상으로 응용 영역 및 커널 영역에 결함을 주입하는 도구를 개발하였다. 시스템의 견고성을 검증하기 위해 결함을 주입하여 결함 시나리오를 재현하는 것은 널리 사용되는 방법으로, 본 논문에서 개발된 결함 주입 도구는 시스템이 동작하는 도중에 재현 가능한 결함을 주입할 수 있는 도구이다. 커널 영역에서의 결함 주입을 위해 두 종류의 결함 주입 방법을 제공하며, 하나는 커널 GNU 디버거를 이용한 방법이고, 다른 하나는 ARM 하드웨어 브레이크포인트를 활용한 방법이다. 응용 영역에서 결함을 주입하기 위해 GDB 기반 결함 주입 방법을 이용하여 동일 시스템 혹은 원격 시스템의 응용에 결함을 주입할 수 있다. 결함 주입 도구에 대한 실험은 ODROID-XU4 보드에서 진행하였다.While various software development methodologies have been proposed to increase the design productivity and maintainability of software, they usually focus on the development of application software running on a single processing element, without concern about the non-functional requirements of an embedded system such as latency and resource requirements. In this thesis, we present a model-based software development method for parallel and distributed embedded systems. An application is specified as a set of tasks that follow a set of given rules for communication and synchronization in a hierarchical fashion, independently of the hardware platform. Having such rules enables us to perform static analysis to check some software errors at compile time to reduce the verification difficulty. Platform-specific program is synthesized automatically after mapping of tasks onto processing elements is determined. The program synthesizer is also proposed to generate codes which satisfies platform requirements for parallel and distributed embedded systems. As multiple models which can express dynamic behaviors can be depicted hierarchically, the synthesizer supports to manage multiple task graphs with a different hierarchy to run tasks with parallelism. Also, the synthesizer shows methods of managing codes for heterogeneous platforms and generating various communication methods. The viability of the proposed software development method is verified with a real-life surveillance application that runs on six processing elements with three remote communication methods, and remote deep learning example is conducted to use heterogeneous multiprocessing components on distributed systems. Also, supporting a new platform and network requires a small effort by measuring and estimating development costs. Since tolerance to unexpected errors is a required feature of many embedded systems, we also support an automatic fault-tolerant code generation. Fault tolerance can be applied by modifying the task graph based on the selected fault tolerance configurations, so the non-functional requirement of fault tolerance can be easily adopted by an application developer. To compare the effort of supporting fault tolerance, manual implementation of fault tolerance is performed. Also, the fault tolerance method is tested with the fault injection tool to emulate fault scenarios and inject faults randomly. Our fault injection tool, which has used for testing our fault-tolerance method, is another work of this thesis. Emulating fault scenarios by intentionally injecting faults is commonly used to test and verify the robustness of a system. To emulate faults on an embedded system, we present a run-time fault injection framework that can inject a fault on both a kernel and application layer of Linux-based systems. For injecting faults on a kernel layer, two complementary fault injection techniques are used. One is based on Kernel GNU Debugger, and the other is using a hardware breakpoint supported by the ARM architecture. For application-level fault injection, the GDB-based fault injection method is used to inject a fault on a remote application. The viability of the proposed fault injection tool is proved by real-life experiments with an ODROID-XU4 system.Chapter 1 Introduction 1 1.1 Motivation 1 1.2 Contribution 6 1.3 Dissertation Organization 8 Chapter 2 Background 9 2.1 HOPES: Hope of Parallel Embedded Software 9 2.1.1 Software Development Procedure 9 2.1.2 Components of HOPES 12 2.2 Universal Execution Model 13 2.2.1 Task Graph Specification 13 2.2.2 Dataflow specification of an Application 15 2.2.3 Task Code Specification and Generic APIs 21 2.2.4 Meta-data Specification 23 Chapter 3 Program Synthesis for Parallel and Distributed Embedded Systems 24 3.1 Motivational Example 24 3.2 Program Synthesis Overview 26 3.3 Program Synthesis from Hierarchically-mixed Models 30 3.4 Platform Code Synthesis 33 3.5 Communication Code Synthesis 36 3.6 Experiments 40 3.6.1 Development Cost of Supporting New Platforms and Networks 40 3.6.2 Program Synthesis for the Surveillance System Example 44 3.6.3 Remote GPU-accelerated Deep Learning Example 46 3.7 Document Generation 48 3.8 Related Works 49 Chapter 4 Model Transformation for Fault-tolerant Code Synthesis 56 4.1 Fault-tolerant Code Synthesis Techniques 56 4.2 Applying Fault Tolerance Techniques in HOPES 61 4.3 Experiments 62 4.3.1 Development Cost of Applying Fault Tolerance 62 4.3.2 Fault Tolerance Experiments 62 4.4 Random Fault Injection Experiments 65 4.5 Related Works 68 Chapter 5 Fault Injection Framework for Linux-based Embedded Systems 70 5.1 Background 70 5.1.1 Fault Injection Techniques 70 5.1.2 Kernel GNU Debugger 71 5.1.3 ARM Hardware Breakpoint 72 5.2 Fault Injection Framework 74 5.2.1 Overview 74 5.2.2 Architecture 75 5.2.3 Fault Injection Techniques 79 5.2.4 Implementation 83 5.3 Experiments 90 5.3.1 Experiment Setup 90 5.3.2 Performance Comparison of Two Fault Injection Methods 90 5.3.3 Bit-flip Fault Experiments 92 5.3.4 eMMC Controller Fault Experiments 94 Chapter 6 Conclusion 97 Bibliography 99 요 약 108Docto

Exploring the Possibilities of Students' Conception Construction through Inquiry Activities and Inscriptions in Middle School Science Textbooks

학위논문 (석사)-- 서울대학교 대학원 사범대학 과학교육과, 2017. 8. 김희백.본 연구에서는 2009개정 중학교 과학 교과서에서 제시된 탐구활동이 학생들의 과학 개념 구성을 어떻게 지원하는지를 알아보고자 하였으며, 소단원의 목표 개념을 구성하는데 탐구활동과 시각자료가 어떻게 지원할 수 있는지 탐색하였다. 먼저 탐구활동에 제시된 질문을 바탕으로 추론 유형을 분석하고, 이를 통해 학생들이 구성할 수 있는 개념 속성을 파악하였다. 그리고 탐구활동을 통해 학생들이 구성할 수 있는 개념 속성과 탐구활동이 포함된 소단원의 목표 개념 속성을 비교하여, 탐구활동이 소단원의 목표 개념을 이해하는데 충분한 인지적 조력을 제공하는지를 분석하였다. 그러나 탐구활동이 소단원의 목표 개념에 도달하는데 충분한 인지적 조력을 제공하지 못한 경우, 관련된 시각자료가 나타내는 개념이 소단원의 목표 개념을 이해할 수 있도록 어떠한 인지적 조력을 제공하는지를 알아보고자 시각자료에서 모두 포괄할 수 있는 대표성을 띄는 개념을 하나 선정하여 분석하였다. 연구 결과, 탐구활동에서 요구되는 과학적 추론의 유형과 그에 따른 탐구활동에서 구성할 수 있는 개념 속성에는 차이가 나타났다. 현상 기반 추론을 요구하는 탐구활동에서 구성할 수 있는 개념 속성은 85%로 구조 속성이 가장 많이 나타났으며, 현상 기반과 관계 기반 추론을 요구하는 질문이 함께 제시된 경우는 기능 속성과 행동 속성의 개념을 구성하는 탐구가 각각 40%와 52%로 많이 나타났다. 모형 기반 추론이나 다양한 추론을 함께 요구하는 탐구활동에서는 구조나 기능 속성보다는 행동이나 기작 속성의 개념 구성을 지원하는 경우가 많이 나타났다. 탐구활동에서 구성할 수 있는 개념 속성과 소단원에서 목표로 하는 개념 속성을 비교한 결과, 탐구활동에서 구성가능한 개념과 소단원의 목표 개념 속성이 일치한 경우가 64.3%로 나타났다. 그 중 소단원 목표 개념 속성이 기작인 경우 탐구활동에서 행동 속성의 개념을 지원하는 비율이 기작 속성을 지원하는 비율보다 상대적으로 높았다. 소단원 목표 개념과 탐구활동에서 구성할 수 있는 개념의 속성이 일치하지 않은 56개의 사례 중 경우, 교과서에 제시된 28개의 시각자료가 나타내고 있는 개념 속성이 소단원의 목표 개념 속성에 도달할 수 있도록 지원해주었음을 확인할 수 있다. 하지만 일부 시각자료는 소단원의 목표 개념에 도달할 수 있도록 지원해주지 못하고 있었다. 시각자료가 나타내는 개념 속성이 소단원의 목표 개념 속성과 다를 경우 학생들은 시각자료를 통해 목표 개념을 이해하는데 어려움을 갖게 되거나 오개념을 유발할 수 있다. 따라서 본 연구에서는 탐구활동과 시각자료의 사례를 통해 학생들이 구성할 수 있는 개념 속성을 파악하고, 탐구활동이나 시각자료가 목표 개념에 도달하지 못하는 개념 속성에 대해 알아보고, 학생들이 소단원의 목표 개념 속성에 도달할 수 있도록 교사의 인지적 지원이 필요함을 보였다. 그리고 학생들의 과학 개념 구성을 지원하는 탐구활동과 시각자료의 특성에 대한 이해를 제공하며, 이를 바탕으로 성공적인 과학학습을 지원하기 위한 인지적 조력의 필요성에 대한 시사점을 제공하고자 한다.Ⅰ.서론 1 1.연구의 필요성 1 2.연구 목적 및 질문 4 3.연구의 제한점 5 Ⅱ.이론적 배경 6 1.탐구활동 6 1.1.과학학습에서 탐구활동 6 1.2.교과서에 제시된 탐구활동 7 2.과학적 추론 8 2.1.과학적 추론의 정의 및 중요성 8 2.2.과학적 추론의 종류 8 2.3.과학적 추론을 위한 질문의 중요성 9 3.시각자료 11 4.존재론적 속성 12 Ⅲ.연구 방법 및 절차 14 1.연구대상 14 2.연구방법 15 2.1.과학개념의 존재론적 속성 분석 15 2.2.과학개념 속성 분석 대상 16 2.3.탐구활동에 제시된 질문 분석 19 Ⅳ.결과 및 논의 21 1.질문에 따른 추론 유형 분석 21 1.1.단원별 탐구활동의 개념 속성 21 1.2.탐구활동에 제시된 질문의 추론 유형과 개념 속성 간의 관계 25 1.3.탐구활동을 통한 개념 구성 지원 사례 28 1.3.1.'구조' 속성의 개념 구성을 지원하는 탐구 사례 28 1.3.2.'기능' 속성의 개념 구성을 지원하는 탐구 사례 30 1.3.3.'행동' 속성의 개념 구성을 지원하는 탐구 사례 32 1.3.4.'기작' 속성의 개념 구성을 지원하는 탐구 사례 34 2.소단원의 목표 개념 속성과 탐구활동 37 2.1.단원별 소단원의 개념 속성 37 2.2.소단원의 목표 개념 속성과 탐구활동 개념 속성 39 2.3.탐구활동을 통한 소단원의 개념 구성 지원 가능성 42 2.3.1.탐구활동과 소단원에서 구성할 개념 속성이 일치한 사례 42 2.3.2.탐구활동과 소단원에서 구성할 개념 속성이 일치하지 않은 사례 45 3.과학 개념 구성을 지원하는 시각자료의 역할 48 3.1.소단원과 시각자료의 개념 속성 관계 48 3.2.시각자료를 통한 소단원의 개념 구성 지원 가능성 51 3.2.1.'행동'-'구조'로 일치하지 않은 경우 51 3.2.2.'기작'-'행동'으로 일치하지 않은 경우 53 Ⅴ.결론 및 제언 56Maste

《廢都》에 나타난 사랑의 양상에 관한 小考

《廢都》의 주인공은 유명 소설가인 莊之蝶으로 西安시 4대 문화인 중의 한 사람이기도 하다. 이 소설의 골간을 이루는 것은 그의 사랑이야기이다. 그는 牛月淸이라는 조강지처를 두고서 唐婉兒·阿燦·柳月과 차례로 밀회를 즐기고 비록 성관계까지 이어지진 않았다고 해도 친구인 汪希眠의 부인과도 사랑을 나눈다. 그 사이 唐婉兒와 함께 도시로 도망 온 周敏이 직장에서의 위치를 공고히 하기 위해 莊之蝶의 과거 연애사를 잡지에 게재하게 되고, 이로 인해 莊之蝶은 첫사랑이었던 景雪蔭과의 송사에 휘말리게 된다. 그리고 이 과정에서 그는 결국 죽는다. 그런데 莊之蝶과 밀회를 즐기는 唐婉兒, 阿燦, 柳月과 그의 부인인 牛月淸, 그리고 첫사랑이었던 景雪蔭, 오랫동안 莊之蝶에 대한 연정을 품어왔던 汪希眠 부인 사이에는 질적인 차이가 존재하는 것으로 보인다. 唐婉兒는 동네 건달과 바람이 나 남편과 자식을 버리고 시골에서 도시로 도망쳐나온 여자이고, 阿燦은 별 볼일 없는 남편을 만나 도시 외곽의 동향촌에서 구질구질한 삶을 살고 있는 여자이며, 柳月은 陝北이라는 가난한 지역에서 돈을 벌기 위해 도시로 올라온 가정부이다

<The Coronation of the Virgin> from the 12th to 15th century : Emphasis on the political and religious significance

This dissertation discusses the changes in form of <The Coronation of the Virgin> that was produced over the 12th to 15th century and its political and religious significance. The first purpose of this thesis is to examine why <The Coronation of the Virgin> appeared in the 12th century and its relation to the appearance of the image. The second purpose is to interpret the change of production medium from the 12th to 15th century such as Tympanum, Stained glass, and the Altarpiece, as well as the appearance of new motifs in the context of the society during that time. Ultimately, it is to realize what the meaning of <The Coronation of the Virgin> was to the people whose lives were undifferentiated between religion and everyday life and who considered the church as the most public place. In order for this to be possible, in Chapter I, I suggest a new perspective of the research on <The Coronation of the Virgin> in terms of the object and extent of research as well as the starting point as previous researches do not make this very clear. Thus, in the case of the Virgin Mary already wearing a crown, I inspected <The Coronation of the Virgin> in a narrative structure from Death to Ascension to heaven of the Virgin Mary to avoid confusion of the image of the bride and groom from the 'Song of Songs'. Therefore, this thesis presents the first work as <The Coronation of the Virgin> in the Santa Maria in Trastevere in Rome which portrays the death and ascension of the Virgin together. Chapter II deals with the origin of <The Coronation of the Virgin>. It aims to look at the various aspects of the coronations that came before <The Coronation of the Virgin> as well as the documents that became the foundations for image. Also, it examines the theological aspects of Mary who is the main character of <The Coronation of the Virgin>. It is obvious that the Church used Mary as the political rhetoric device to inspire spirituality to the lay people. This can be seen clearly from the fact that many <The Coronation of the Virgin> were produced in Île de France by the Capet dynasty which maintained the closest relationship with the Pope in the 12th to 13th century which is depicted in Chapter Ⅲ. Chapter Ⅳ discusses the new characteristics of <The Coronation of the Virgin> during the end of 13th century to the 14th century when Papal authority dwindles, focusing on Italy based on the fading of political rhetoric and more emphasis on the religious rhetoric. As <The Coronation of the Virgin> is used as an ornament to embellish the altar, it consolidates its role as a part of church architecture and escapes the narrative structure of Death and Ascension of the Virgin Mary. As the scene of <The Coronation on the Virgin> becomes a independent scene, more attention to Heaven is given. The chapter Ⅴ discusses how <The Coronation of the Virgin> in the 15th century depicts the notion of Heaven as a more colorful place. In summary, the specific reality that <The Coronation of the Virgin> tries to depict is the features of Heaven that cannot be seen on Earth. People are able to see Heaven within the architectural realms of the Church and this emphasizes that the Church is the Kingdom of God here on Earth.;본 논문은 12-15세기에 걸쳐 제작된 <성모대관>의 형식적 변천과 정치ㆍ종교적 의미를 논하였다. 논문의 목적은 도상의 탄생과 관련하여, 성모대관이 왜 12세기에 나타났는가를 밝히는 것이다. 또한 12세기에서 15세기까지 팀파눔, 스테인드글라스, 제단화 등 제작 매체의 변화, 새로운 모티프의 등장과 그 의미를 당대의 사회문맥과 연결하여 해석하는 것이다. 궁극적으로 종교와 일상이 미분화된 당대를 살았던 사람들에게 가장 공적인 공간인 교회에 나타난 <성모대관>이 수용자들에게 어떤 의미를 전달하였는지를 알아보는 것이다. 이를 위해 Ⅰ장에서는 연구의 대상, 범위와 함께 기존 연구가 명확히 하지 못했던 성모대관의 출발점에 관해 새로운 시각을 제안하였다. 즉 이미 관을 쓰고 있는 성모의 경우는 아가(雅歌)의 신랑-신부 이미지와 혼란을 피하기 위해, 성모의 일생 중 죽음과 승천이라는 서사 구조 속에서 성모대관을 보았다. 따라서 본 논문은 최초의 작품을 성모의 죽음과 승천이 함께 나타난 로마의 산타 마리아 인 트라스테베레 앱스에 그려진 <성모대관>으로 제시하였다. Ⅱ장에서는 <성모대관>의 유래를 다루었다. 도상적 내용의 단초가 된 문헌과 형식적인 근간이 된 성모대관 이전의 여러 대관의 양상들, 그리고 성모대관의 주인공인 마리아에 대한 신학적인 견해를 살펴보았다. 교회는 신자들의 신앙을 고취하는 정치적 수사의 도구로 마리아를 이용한 측면이 역력한데, 이러한 의도는 Ⅲ장에서 다룬 12-13세기, 교황과 친밀한 관계를 유지했던 프랑스의 카페 왕조가 다스렸던 일드프랑스에서 제작된 <성모대관>에서 두드러진다. Ⅳ장에서는 교황의 힘이 쇠퇴해지는 13세기 후반-14세기의 <성모대관>이 정치적인 의미가 탈색하고 종교적인 내용이 강화되는 양상을 이탈리아를 중심으로 논하였다. 교회를 장식하는 제단화에 <성모대관>이 그려지면서 교회 건축의 일부에 속했다는 입지와 성모의 죽음과 승천이라는 서술적인 구조에서 탈피해 대관식이 일어나는 장면이 단독으로 나타나게 되면서, 이 사건이 일어나는 천국이라는 장소에 더 큰 관심을 두게 된다. V장에서 다룬 15세기 <성모대관>들은 이러한 천국이라는 장소를 보다 다채롭게 전달한다. 결국, 성모대관이 재현하는 구체적인 실재는 바로 우리가 현세에서는 볼 수 없는 천국의 모습이며, 교회라는 건축 공간에서 천국을 수용자의 눈으로 바라볼 수 있게 하고, 교회가 곧 땅 위에 세워진 하느님 나라임을 강조하는 것이다. 바로 이를 밝힌 것이 본 논문의 의의이다.논문 개요 = vii Ⅰ. 서론 = 1 A. 연구 목적 = 1 B. 연구 대상 및 범위 = 4 C. 연구 방법 및 관련 문헌 = 8 Ⅱ. <성모대관>의 유래 = 13 A. 문헌에 언급된 성모대관 = 13 B. 성모대관 이전의 대관 = 24 C. 마리아 공경과 축제 = 33 Ⅲ. 정치적 수사의 재현 : 12세기-13세기 전반 = 40 A. <성모대관> 출현의 배경 = 41 B. 신부이미지(Imago Sponsæ) : 교회가 주관하는 결혼 = 50 C. 여왕이미지(Imago Reginæ) : 교황권의 절정 = 60 Ⅳ. 정치적 수사에서 종교적 수사로 : 13세기 후반-14세기 = 73 A. 종교적 위기와 사회적 불안이 가져온 변화 = 74 B. 서술적 문맥 속의 <성모대관> = 84 C. 제단화로 독립된 <성모대관> = 93 Ⅴ. <성모대관>이 전하는 실재: 15세기 = 102 A. 신학적 논쟁과 문학적 상상력의 반영 = 103 B. 새로운 모티프의 등장 = 108 C. 성인 공경과 새로운 공간의 창조 = 126 D. 천국의 풍경 = 133 VI. 결론 = 145 부록 = 151 참고문헌 = 165 그림목록 = 178 그림 = 185 Abstract = 21

Some properties of operators in class θ

Let θ = {T : [T*T; T + T*] = 0} where [X; Y ] = XY - YX for bounded linear operators X, Y . In this thesis, we study some properties of operators in class θ. We show that if T is in θ, then T is quasinormal if and only if T is binormal, and T～, Aluthge transformation of T, where T is quasinormal, is in calss θ. Also, we show that Jordan form of any operator T is in class θ if T is diagonalizable. Finally we prove that for a weighted unilateral shift operator T with a weight sequence □, T ∈ θ if and only ifα0=αkfor all k >= 1.;이 논문에서는 집합 θ 속하는 작용소들의 특징에 대하여 공부한다. (여기서 θ = {T : [T*T; T + T*] = 0}이고, 유계인 선형작용소 X, Y에 대하여 [X; Y ] = XY - YX 라고 한다.) 우리는 T 가 θ에 속하면 T 가 quasinormal이라는 것과 binormal이라는 것이 동치임을 증명하고, T 의 Aluthge 변환 T～에 대하여 T가 quasinormal이면 T가 집합 θ에 속한다는 것을 증명할 것이다. 또한 T가 대각화가 가능하면 T의 Jordan 형태가 집합 θ에 속한다는 것을 보일 것이다. 마지막으로 이 weihgt 수열이 □ 인 weighted unilateral shift 작용소 T에 대하여 T～가 집합 θ에 속한다는 것과 모든 k >= 1에 대하여임을 증명할 것이다.1 Introduction = 1 2 Preliminaries = 3 3 Some properties of operators in class θ = 11 References = 31 논문초록 = 3

A Study on Sonata for Flute and Piano by Paul Hindemith

본 논문은 본인의 석사 과정 이수를 위한 졸업 독주회에서 연주하였던 작품 중 힌데미트(Paul Hindemith, 1895〜1963)의「플루트와 피아노를 위한 소나타(1936)」에 관한 분석 연구이다. 힌데미트는 20세기의 현대음악의 다양한 사조 안에서 고전미로 회귀하려 했던 신고전주의 대표적 작곡가이다. 그의 작품 세계에 있어 조성과 전통적 양식은 가장 중요한 위치에 있다. 힌데미트의 음악은 크게 네 가지의 범주로 나눌 수가 있는데 제1기(1895∼1919)는 다양한 형식의 초기양식 음악, 제2기(1920∼1923)는 반낭만적이며 아방가르드한 음악, 제3기(1924∼1934)는 고전적 전통이 드러나는 음악, 마지막 제4기(1935∼1963)는 고전적 형식에 배음렬에 근거한 자신이 만든 음계를 사용한, 조성 안에서 다성음악의 특징이 보이는 완전한 신고전주의의 성격의 음악을 작곡하였다. 본 논문에서는 힌데미트의「플루트와 피아노를 위한 소나타」의 분석을 통해 전통적 형식, 선율, 악기적 특성 등을 살펴보았고 그 결과는 다음과 같이 요약된다. 이 작품은 3악장으로 구성되어 있으며, 제1악장과 2악장은 소나타 형식, 스케르초 부분과 일종의 코다부분인 행진곡으로 구성된 제3악장은 론도와 순환2부 형식을 갖는다. 소재로 된 음계는 조성이 아닌 중심음 체계로 이루어지며, 교회선법들이 음이 생략되거나 변형되는 방법으로 자유롭게 사용되어졌다. 제1악장은 대조적이면서도 유사성을 갖는 2개의 주제가 악장 전체를 통해 주요하게 사용되며, 모방이나 동형진행 등의 대위적 기법이 주로 나타난다. 2악장은 1악장의 박진감 있는 리듬전개와는 달리 성악적 선율이 특징적이다. 마지막 악장은 매우 경쾌한 리듬과 동기적 소재들이 지속적으로 변형, 발전하는 진행이 특징적으로 나타난다. 전체적으로 힌데미트의「플루트와 피아노를 위한 소나타」는 대위적 기법, 점음표와 당김음의 잦은 사용으로 인한 반복적이면서도 생동감 있는 리듬전개, 병행하는 화성구조, 변형된 교회선법의 사용 등으로 관현악적 색채가 돋보이는 작품이며, 이러한 특징으로 20세기의 대표적인 플루트 레퍼토리로 손꼽힌다.;This thesis is an analytical study of Paul Hindemith’s (1895-1963) work, Sonatas for Flute and Piano, which I performed at my graduation recital of degree course. In the 20th century, Various genres of music exist. Among them, Hindemith is one of the most significant Neoclassical German composers of his time who sought to revert to the classical style. The structure of his music is in a critical position. Hindemith shows various muical structure through 4 phases by era.; In the 1st phase (1895-1919), he composed music of the early western style, reflecting Romantic modernism, Impressionism and early Classical tradition. In the second phase from 1920-1923, his works can be classified as semi-romantic and Avant-garde. The third phase of his work from 1924-1934, continued to have an semi-romantic trend from the previous phases but in a different style. It revealed more of a classical traditional style breaking away from a radical and experimental style. His latest and most recent work from 1935-1963, was a work of classical style based on harmonic structure by applying melodic and harmonic scales created himself. The tonality of his work covers a complete neoclassical style of polyphony. “Sonatas for Flute and Piano” of Hindemith which is analyzed in this paper, is a combination of classical and chamber music styles of the 20th century which clearly reveals the unique characteristics of Hindemith’s last era of work. This works consists of three movements. The first and second movements are Sonata form style. The third movement including a fast tempo and marching style, has a Rondo and rounded binary form. The scales are centered on the tonic rather than tonality. Church modes are freely applied by modifying or deleting a note. The first movement consists of two different subjects which are similar while contrasting each other and it shows great contrapuntal forms such as imitation or sequence. In comparison to the strong energetic rhythm of the first movement, the second movement is characterized by a vocal melody. The last movement consists of a six-eight time scherzo part and two-two time coda. This movement is a march which is characterized by its very light rhythm and dynamic melody which constantly change and evolve. In the rhythm, the main theme is modified and repeated. In addition, ostinato and syncopation often appear. The great contrapuntal forms, are representative characteristics of neoclassical music which are found in the strong dissonance by applying imitation and modification. In conclusion, Paul Hindemith’s (1895-1963) work, Sonatas for Flute and Piano, is influenced by the traditional classical style of music, applying classical skills to express the subject and motive of the music. Meanwhile, such characteristics of Hindemith’s work are combined and expressed with modern scale techniques of the 20th century which presents music in a complete neoclassical style. The author hopes that this study helps performers to have an insightful, in-depth understanding of Hindemith's Sonatas for Flute and Piano to enhance their performance.Ⅰ. 서론 1 Ⅱ. 본론 2 A. 힌데미트의 생애 2 1. 생애 2 2. 음악관 5 B. 힌데미트의 실내악 작품에 나타난 음악적 특징 11 1. 힌데미트의 실내악 11 2. 시기별 특징 14 C. 플루트와 피아노를 위한 소나타 연구 분석 21 Ⅲ. 결론 54 참고문헌 55 ABSTRACT 5

조반니 벨리니(Giovanni Bellini)의 「성모자」 도상에 관한 연구

본 논문은 15세기에서 16세기에 걸쳐 베네치아에서 활동한 조반니 벨리니의 성모자를 주제로한 작품에 관한 연구이다. 원래 성모자 도상은 경배용 그림으로 제작되는 것이 일반적이나, 그는 성모자상에 특징적인 모티브들을 도입하여 서술적인 의미를 부여하였다. 그러므로, 본 연구에서는 이러한 모티브들이 사용된 조형적 의도와 함께 도상적인 의미를 밝히고자 한다. 먼저, 벨리니 성모자상이 제작된 배경에는 베네치아와 밀접한 관계에 있는 비잔틴의 영향과 비잔틴 문화의 근간을 이루는 그리스적인 취향, 그리고 베네치아에서 각별했던 성모 마리아에 대한 신심등이 있다. 그러므로, 그의 작품에는 그리스 미술에서 나타나는 규범과 조화로움, 그리고 종교적인 분위기가 공존하고 있다. 벨로니 성모자상의 주목할만한 특징은 성모의 모습이 몇몇의 예외를 제외하고는 일관되게 반신상의 형태를 취한다는 점이다. 이것은 그의 작품이 비잔틴 이콘의 전통을 계승한 까닭이다. 특히, 13세기부터 베네치아에서 선호된 엘레오우자양식의 영향이 두드러진다. 그리고, 이콘의 기원은 고대 초상과 관련이 있는데, 로마시대에는 죽은 이의 모습을 사실적으로 묘사한 대드 마스크와 황제의 모습을 이상적으로 표현한 초상이 제작되었다. 이러한 초상은 기념의 기능과 함께 현존의 의미를 나타낸다. 그러므로, 반신상이라는 로마 황제의 세속적인 초상화 양식이 마돈나의 의미는 성모의 현존과 하늘의 여왕으로서의 성모의 권위를 나타내는 것으로 해석할 수 있겠다. 본 연구의 중심 과제인 벨리니의 성모자상을 서술적이게 하는 반복되는 모티브들은 잠자는 아기예수, 파라펫, 그리고, 휘장이다. 첫 번째로, 벗은 모습으로 표현된 아기예수는 조형적으로 르네상스기에 유행한 인체를 조각적으로 묘사하는데 적합하며, 그리스도의 인성을 나타내는 모티브이다. 그리고, 잠은 죽음의 은유이며, 잠자는 아기예수는 십자가 위에서 못박혀 돌아가신 그리스도 수난의 예표이다. 또한 벨리니는 죽음의 의미를 강조하기 위하여, 에투루리아의 석관조각 이후로 사용된 쿠션이라는 모티브를 함께 사용하였다. 두 번째로, 화면의 하단부에 수평으로 그려진 파라펫은 반신상으로 표현된 마돈나상에 함께 등장한다. 원래 파라펫은 초상화에 등장하는 모티브로 관람자와의 공간을 분리하며, 인물을 입체감 있게 보이도록 삼차원의 지지체 역할을 한다. 벨리니는 이러한 양식상의 효과와 함께 파라펫에 어린 예수가 봉헌된 제대이며, 동시에 죽은 그리스도가 묻힌 석관이라는 이중적인 의미를 부여하였다. 그리하여, 파라펫을 통해 제단에 제물로 봉헌된 그리스도라는 상징적인 의미를 시각화하였다. 마지막으로, 성모의 뒤에 드리워진 휘장은 원래 옥좌와 결합되어 나타나는 모티브이다. 화면에서 휘장은 성모자를 배경으로부터 분리하여, 공간의 깊이감을 부여하는 기능이다. 특히, 파라펫과 동시에 사용된 작품에서는 깊이감이 더욱 강조된다. 모세 시대에 성막에서 등장하는 휘장이 성소와 지성소를 오가는 문이듯이 성모상에 등장하는 휘장은 하늘의 문이라는 성모의 중재자로서의 역할을 나타내는 것이다. 따라서, 휘장 뒤의 배경은 신의 자비가 드러나는 천국을 묘사한 이상적인 풍경으로 볼 수 있다. 벨리니의 성모자상은 비잔틴 이콘에서 반신상이라는 형식을 계승하여, 여기에 특징적인 모티브를 반복해서 그려 넣음으로써 경배용 그림인 성모자상에 서술성을 부여하는 혁신을 가져왔다. 즉, 그는 그리스도의 수난과 부활 그리고, 이러한 일련의 사건 속에서 중개자로서 성모의 위치를 강조한 그리스도교 교리의 핵심을 상징적으로 표현한 것이다. ; This thesis proposes a study on Giovanni Bellini, a Venetian artist of the 15 and 16th century, and his works on Virgin Mary and Jesus Christ. Unlike traditional icons of the Virgin Mary and Jesus Christ which were produced as Andachtsbild, Bellini incorporates other special motifs adding narrative significance to his works. This thesis, therefore, aims to clarify the plastic intentions of the motifs and their iconographic significances. First of all, the influences of Byzantine, which had close relationship with Venice, and the Greek taste that formed the basis of the Byzantine culture, along with the special devotion shown towards the Virgin Mary in Venice form the aesthetic background in the production of Bellini s Madonna and Child. Thus, it can be argued that in Bellini s works the order and harmony of the Greek art coexist with Venetian religious resonances. A notable characteristic of Bellini s Madonna and Child is that with only a few exceptions the Madonna is depicted in half-length. This trait comes from the fact that Bellini s works inherit the iconographic tradition of Byzantine. Influences from Eleousa, a much preferred artist of the 13th century in Venice, is especially prominent. The origins of iconography also has certain connections with ancient portraiture. During the Roman period, the Dead mask, a realistic depiction of the deceased and the idealistic portrait of the Emperor were produced. These portraits nat only have commemorative functions but also significance as presence. Therefore, Madonna, depicted in half-length, the style used for a secular portraiture of the Roman Emperor, can be interpreted as possessing the presence of the Holy Virgin and the authority of Regina Ceali. The main project of this thesis consist in the analysis of the repetitive use of motif that bring narrative to the icons. the motifs considered are the Sleeping Child, the Parapet and the Veil. First, the naked is suitable model for a sculpture-like depiction of the human body, an interest wide-spread during the Renaissance and a motif descriptive of christ s humanity. Here, sleep is a metaphor for death, and the sleeping Child a foretelling of Christ s Crucification. In order to emphasize the idea of death, Bellini also incorporated the cushion motif used by artists after the Etulurian Sacrcopagus. Secondly, the motif of the parapet drawn horizontally in the lower part of the picture is used with the half-length Madonnas. The parapet was originally a motif used in portraits to divide the space between the spectator and the picture and to give the sitter a 3-dimensional effect. In addition to these stylistic effects, the parapet for Bellini attains other meanings; such as the devotional altar on which the Child is presented and the stone coffin in which Christ in laid. Bellini substantializes the symbolic meaning of the sacrifice of Jesus through the motif of the parapet. Lastly, the veil let down behind the Madonna is a motif primarily related to the throne. The veil in the picture divides the Madonna and Child from the background and adds spatial depth to the picture. The depth is especially emphasized in works where the veil is used in conjunction with the parapet. As the veil of the tabernacle divides the Sanctum from the Sanctum Sanctorum during the time of Moses, the veil present in the Virgin and Child symbolizes the mediative function of the Virgin Mary as the Gate of Heaven. The background behind the veil shows the idealistic view of Heaven, through which the Grace of God is revealed. Bellini s Virgin and Child inherited the half-length style from the icons of Byzantine and through the repetitive depiction of certain motifs incorporated an innovative narrativity to the original Andachtsbild. In short, he was able to symbolically express the main ideas of the Christian doctrine which emphasized the Passion and the Resurrection of Jesus Christ along with the mediative role performed by the Virgin Mary in the series of incidents concerning Christ.논문개요 = iv 서론 = 1 본론 = 6 Ⅰ. 벨리니 성모자상의 배경 = 6 Ⅱ. 반신상으로 표현된 마돈나 = 14 A. 비잔틴 이콘의 특징과 영향 = 14 1. 비잔틴 이콘의 특징 = 14 2. 벨리니의 작품에 나타난 이콘의 영향 = 22 B. 고대 초상 모티브의 부활 = 26 1. 반신상의 기원과 의미 = 26 2. 반신상 마돈나의 의미 = 30 Ⅲ. 성모자상에 반복되는 모티브들 = 34 A. 잠자는 아기예수 : 수난의 예표 = 34 B. 파라펫 : 봉헌의 의미 = 45 C. 휘장 : 하늘의 문 = 59 결론 = 70 참고문헌 = 72 그림목차 = 81 그림 = 88 Abstract = 10

간이식 환자에서 혼합혈액의 급속 수혈

학위논문 (석사)-- 서울대학교 대학원 : 의학과, 2014. 8. 정철우.Background There is little information regarding the use of rapid infusion device and blood mixture prefilled in the reservoir. The current study aimed at describing acute biochemical changes following rapid transfusion of blood mixture during liver transplantation. Methods Ten adult liver recipients treated with massive transfusion during hepatic dissection were sequentially enrolled. Blood mixture composed of red blood cell, fresh frozen plasma and normal saline (4 units: 4 units: 800 ml) was prepared in the reservoir of the rapid infusion device. During massive hemorrhage, 300 ml bolus of blood mixture was repeatedly transfused at a rate of 500 ml/min. Blood samples were gathered during the 1st, 3rd, 5th and 7th bolus transfusions. For each transfusion, three sequential blood samples were taken from the arterial line, blood mixture and the arterial line, respectively, before, during and after transfusion. Changes of pH, base excess, hematocrit and concentrations of potassium, sodium, ionized calcium, glucose and lactate were measured and analyzed. Results Significant increase of potassium and decrease of hematocrit were observed during the former and latter half of transfusion, respectively. Hypocalcemia and acidosis needed immediate corrections after each bolus transfusion. Significant changes were observed for sodium, glucose and lactate after transfusion of one reservoir volume, however of little clinical importance. Discussion & Conclusions Acute hypocalcemia and acidosis require prompt corrections during rapid transfusion. Acute hyperkalemia and anemia as well as delayed hyperglycemia may be potential risks associated with repeated infusions of blood mixture. We conclude that rapid transfusion of blood mixture is substantially safe only if aggressive intraoperative care be given during liver transplantation surgery.Abstract i List of Figures iv List of Tables v Introduction 1 Material and Methods 3 Results 8 Discussion and Conclusion 10 Reference 23 국문초록 26Maste

중문과 강사를 위한 강의법 과정:미래를 위한 준비

인간의 삶이란 새로움의 연속이 기에 완벽한 준비란 있을 수 없다. 그런데 사람들은 이러한 사실을 잘 알고 있음에도 불구하고 좀 더 나은 미래를 위한 준비과정에 많은 투자 를 한다. 완벽한 준비가 불가능하다 는 것을 잘 알면서도 준비과정을 결 코 소홀히 여기지 않는 이유는 어디 에 있을까? 그것은 내일을 알 수 없 음으로 인한 불안감과 설렘 때문일 것이다. 이렇듯 확정되지 않은 내일 이 있다는 것이 가져다주는 불안감 과 설렘은 사람들로 하여금 미래를 준비하게 만들고, 이러한 준비과정은 삶에 있어 필수적인 것이라 할 수 있

The Regional Characteristics of Department Stores and the Consumer' s Shopping Behavior in Seoul

This study is derived from a viewpoint that the location of urban function is a most basic step of urban spatial structure. The purpose of this study is to understand how Department stores, which play a commercial role on a large scale, appeared in urban spatial structure of Seoul. For this purpose, the subject of this paper is Department stores which are enrolled in the Department of Trade and Industry of Seoul. This paper clarified regional change of distribution, regional characteristics on the basis of Seoul spatial structure's hierarchy(C.B.D., Subcenter, Outer region) and whether this regional hierarchy is reflected in the consumer's shopping behavior. The major findings of this study are as follows. 1. In the growth of the complex retail store, Department stores have grown lastingly for about 60 years and are given much weight in Seoul but now we can see large Department stores beginning to locate in the provinces through the fact that the relative weight of Seoul has decreased by degrees since 1990. 2. After the 1930' s, when the first Department store was established in Seoul, the distribution of Department stores in Seoul was concentrated in C.B.D. up to the 1970' s. Since the beginning of the 1980' s, Department stores have increased in Suchogu . Kangnamgu, and the consumer's use of Department stores has become popularized. From 1988, Department stores appeared in the Outer region, and have grown during the 1990' s. Now Department stores in Seoul which are geared with spread of residential district development are distributed hierarchially in C.B.D., Subcenter, Outer region