• Title/Summary/Keyword: 형식성

Search Result 3,208, Processing Time 0.036 seconds

, the Formal Aesthetics of Film Music and the Horror (<샤이닝>, 영화음악의 형식적 미학과 공포)

  • Park, Byung-Kyu
    • The Journal of the Korea Contents Association
    • /
    • v.20 no.10
    • /
    • pp.76-88
    • /
    • 2020
  • Since the pre-existing music itself used in has no direct relation to the film, it raises the question of whether it was properly utilized as film music. The purpose of this paper is to clarify that 's 20th century modern music effectively fulfills the role of film music through iconicity with images. This study approached the similarity between the character of fear and the form of music through Hanslick's formal aesthetics to discuss the use of 20th century modern music in the horror film. The formal characteristics of music are observed in the movement of notes, which are similar to the fearful state of mind mentioned by Heidegger. In the analysis, the stagnant movement and the continuity of notes, the special playing method of the musical instrument, the unspecified trembling of the clustered notes, the melody of the weak intensity in the high-pitched range, the smash of percussions, and the progression of the notes that deviate from the center confirms the aptitude of 20th century modern music in the horror film. The fact that this study did not simply rely on the emotions represented in the 20th century modern music, but thoroughly caught the movements of the notes, has great significance in the research of film .

도로안정성을 고려한 친환경적 터널 갱문 설계 및 시공사례

  • Wi, Yong-Gon;Kim, Do-Hyeong;Kim, Yeong-Geun;Kim, Il-Hwan;Gwon, Jae-Seok;Lee, Won-U
    • Proceedings of the Korean Society for Rock Mechanics Conference
    • /
    • 2004.04a
    • /
    • pp.199-217
    • /
    • 2004
  • 터널 설계에 있어 갱구부의 위치 및 갱문형식의 선정은 터널 및 갱구사면의 안정성뿐만 아니라, 주위환경과의 조화 및 자연환경 훼손 최소화 등과 같은 환경적인 측면에서도 매우 중요한 부분이다. 현행 국내의 경우 경제성과 시공성 위주의 갱구부 위치 선정으로 과다 절취구간이 발생되어 환경훼손, 민원문제 발생, 과다한 용지 매입비용 등의 여러 가지 부작용이 발생되고 있다. 또한, 갱문 형식의 선정에 있어서 갱구부의 지형여건 및 제반 환경적 영향을 고려하지 않고 원통절개형과 면벽식 갱문의 획일적인 적용으로 주변지형과의 부조화를 이루는 사례가 다수 발생하고 있으며, 갱구부 상단의 유실된 토석이 완충공간의 부족으로 도로 노면상에 낙하되는 사고가 발생하고 있어 그에 대한 대책이 필요한 실정이다. 이와 같은 문제점을 보완하기 위해 갱구부 절취구간 최소화를 위한 구체적인 최소토피고 기준을 마련하였으며, 갱구상단 지형경사의 완급, 갱문주위의 배수기능, 낙석${\cdot}$산사태 등의 발생가능성 등을 고려한 새로운 갱문형식을 제안하고 체계적인 검토를 수행하였다. 이를 통해 점차 강화되는 환경보호정책 방향에 부응하고 자연환경 훼손을 최소화하며, 특히 해빙기와 집중호우시 낙석${\cdot}$눈사태로부터 도로의 안전을 확보할 수 있는 터널 갱문부 설계기준을 제시하였다. 또한, 실제 고속도로 터널의 설계 적용사례를 통하여 본 설계기준의 적용성을 분석하였으며, 실제 갱문 시공사례를 소개하여 향후 설계 및 시공에 도움이 되고자 하였다.

  • PDF

Formal Semantics Based on Action Equation 2.0 for Python (작용식 2.0 기반 파이썬에 대한 형식 의미론)

  • Han, Jung Lan
    • KIPS Transactions on Computer and Communication Systems
    • /
    • v.10 no.6
    • /
    • pp.163-172
    • /
    • 2021
  • To specify a formal semantics for a programming language is to do a significant part for design, standardization and translation of it. The Python is popular and powerful, it is necessary to do research for a formal semantics to specify a static and dynamic semantics for Python clearly in order to design a similar language and do an efficient translation. This paper presents the Action Equation 2.0 that specifies a formal semantics for Python to change and update Action Equation. To measure the execution time for Python programs, we implemented the semantic structure specified in Action Equation 2.0 in Java, and prove through simulation that Action Equation 2.0 is a real semantic structure that can be implemented. The specified Action Equation 2.0 is compared to other descriptions, in terms of readability, modularity, extensibility, and flexibility and then we verified that Action Equation 2.0 is superior to other formal semantics.

Modal Identification and Nonlinearity Assessment of Electric Cabinet for Improvement of Basic Fragility Variables (취약도변수의 개선을 위한 전기 캐빈비넷의 동특성 및 비선형성 평가)

  • 조양희;조성국;박형기
    • Journal of the Earthquake Engineering Society of Korea
    • /
    • v.4 no.4
    • /
    • pp.83-91
    • /
    • 2000
  • 합리적인 기기의 활률론적 지진위험도 평가를 위해서는 모델의 동특성에 대한 보다 현실적인 정보가 제공되어야 한다. 이 연구에서는 심한 비선형 동적 거동을 보일 것으로 예상되는 철제 전기 캐비넷의 동특성 시험결과 및 분석 절차를 제시하였다. 특히, 이 연구에서는 가진 강도의 크기에 따른 동특성의 비선형 집중분석하고, 그 비선형성의 원인을 고찰하였다. 시험 결과 및 이 논문에 제시된 분석 절차를 이용하여 시험체의 동특성이 효과적으로 도출될 수 있으며, 대상 시험체는 가진 강도에 따라 심한 비선형 거동을 함을 입증하였다. 비선형성의 원인은 일반적인 재료 비선형이라기 보다는 각 부품들의 마찰력과 기하학적인 비선형성에 기인함을 발견하였다. 또한, 캐비넷 형식의 기긱에 대한 합리적인 내진안전성 평가를 위해서는 각 방향별로 서로 다른 감쇠값을 적용할 것을 추천하였다. 또한, 캐비넷 형식의 기기에 대한 합리적인 내진안전성 평가를 위해서는 각 방향별로 서로 다른 감쇠값을 적용할 것을 추천하였다.

  • PDF

An approximate study on flood reduction effect depending upon weir or gate type of lateral overflow structure of washland (강변저류지 월류부에서 월류제 또는 수문 형식에 따른 홍수저감효과에 관한 개략적 연구)

  • Ahn, Tae Jin
    • Journal of Wetlands Research
    • /
    • v.15 no.4
    • /
    • pp.573-583
    • /
    • 2013
  • Construction of large-scale structures such as dams would be suggested actively to cope with change of flood characteristics caused by climate change. However, due to environmental, economic and political issues, dams are not ideally constructed. Thus flood damage reduction planning projects would get started including washland or detention pond for sharing the flood in basin. The washland made artificially by human being is an area of floodplain surrounded by bank to be intentionally inundated by overflowing through overflow structure adjacent to main channel during flood season. Flood reduction capacity at just downstream of each washland could be affected by type, length, and crest elevation of overflow structure in addition to shape of design hydrograph, storage volume of washland, etc.. In this study flood reduction effects of washland are estimated for overflow weir type and gate type to compare the results of flood reduction respectively subjected to given hydrograph in sample site, the Cheongmicheon stream. It has been shown that even if gate type at overflow structure could yield more flood reduction than overflow weir type, economic aspect such as initial cost, operation cost and maintenance cost should be considered to select the type of overflow structure because flood reduction rate by gate type could not be significant value from engineering point of view.

Flexural & Fatigue Evaluation of Link Slab for Continuous Girder-Type Precast Modular Bridges (거더형식 프리캐스트 모듈러교량 연속화 지점부에 적용되는 연결슬래브의 휨성능 및 피로성능 평가)

  • Joo, Bong-Chul;Song, Jae-Joon;Lee, Sang-Yoon
    • Journal of the Korea Concrete Institute
    • /
    • v.25 no.5
    • /
    • pp.517-528
    • /
    • 2013
  • The modular technology has been already applied in automotive industry, plant and shipbuilding industry. Recently, the modular technology was applied in bridge construction. The modular bridge is different from the existing precast bridges in terms of standardized design that the detailed design of members is omitted by using the standard modules; the design of the modular bridge is completed by only assembling the standard modules without design in member level. The girder-type precast modular bridge has been developed as a simply supported bridge. The girder-type precast modular bridge could be applied to the multi-span bridges through the continuity method. The continuity of the girder-type precast modular bridge is achieved by using the link slab which is easy to construction and appropriate to the rapid construction. The link slabs have been used as the type of reinforced concrete structure in US from the 1950's. In 2000's, the link slab using the engineered cementitious concrete (ECC link slab) has been developed. In this study, the RC type link slab which is more reproducible and economic relative to the ECC link slab was used for the continuity of the girder-type precast modular bridges, and the construction detail of RC type link slab was modified. In addition, the modified iterative design method of RC type link slab was proposed in this study. To verify the proposed design method, the flexural tests were conducted using the RC type link slab specimens. Also, the fatigue test using the mock-up specimen was conducted with cyclic loading condition up to two million cycles.

Bio-Sensing Convergence Big Data Computing Architecture (바이오센싱 융합 빅데이터 컴퓨팅 아키텍처)

  • Ko, Myung-Sook;Lee, Tae-Gyu
    • KIPS Transactions on Software and Data Engineering
    • /
    • v.7 no.2
    • /
    • pp.43-50
    • /
    • 2018
  • Biometric information computing is greatly influencing both a computing system and Big-data system based on the bio-information system that combines bio-signal sensors and bio-information processing. Unlike conventional data formats such as text, images, and videos, biometric information is represented by text-based values that give meaning to a bio-signal, important event moments are stored in an image format, a complex data format such as a video format is constructed for data prediction and analysis through time series analysis. Such a complex data structure may be separately requested by text, image, video format depending on characteristics of data required by individual biometric information application services, or may request complex data formats simultaneously depending on the situation. Since previous bio-information processing computing systems depend on conventional computing component, computing structure, and data processing method, they have many inefficiencies in terms of data processing performance, transmission capability, storage efficiency, and system safety. In this study, we propose an improved biosensing converged big data computing architecture to build a platform that supports biometric information processing computing effectively. The proposed architecture effectively supports data storage and transmission efficiency, computing performance, and system stability. And, it can lay the foundation for system implementation and biometric information service optimization optimized for future biometric information computing.

Establishing Engine Accelerated Mission Test Cycles complying with the CS-E of European Aviation Safety Agency (유럽항공안전청 형식증명 감항기준에 부합하는 엔진가속시험 사이클 수립)

  • Park, Sooyoul;Moon, Gyeongchan;Koo, Hyuncheol
    • Journal of Aerospace System Engineering
    • /
    • v.14 no.1
    • /
    • pp.62-67
    • /
    • 2020
  • The European Aviation Safety Agency (EASA) legislates the CS-E (Certification Specification-Engine) for type certification of aircraft engines. According to the CS-E, engine manufacturers (type certificate holders) the need to show compliance of continued airworthiness of an engine during the overhaul, and the Accelerated Mission Test (AMT) is usually accepted as means of compliance. As a part of the Korean Civil Helicopter program, the engine has been developed with foreign manufacturers to achieve the EASA engine type certificate. In this study, the AMT procedure is planned for the engine to be certified by the EASA, and AMT cycles are also established to meet airworthiness requirements of the CS-E in consideration of the engine design and operation characteristics.

The Development and Implementation of Smart Project Learning that Integrates Formal Education with Informal Learning (형식 교육과 비형식 학습 경험을 통합한 스마트 프로젝트학습 활동 개발 및 적용)

  • Jo, Miheon;Heo, Heeok;Kang, Euisung;Ryu, Sookhee;Kim, Yongdae;Seo, Jeonghee
    • Journal of The Korean Association of Information Education
    • /
    • v.17 no.3
    • /
    • pp.291-304
    • /
    • 2013
  • Considering the change of educational environments and strategies for the future, this research attempted to develop project learning that uses various smart technologies, and integrates formal education within a school with informal learning experiences outside of the school. For effective learning, the processes of the project learning, instructional activities for each process and supporting materials were specified and developed as a learning package. The project learning program and the instructional package were applied to 18 fifth graders in an elementary school located in Seoul. The results of the pilot test were collected with observations, interviews, and assessment of learning processes and products. And then the results were analyzed in regard of 'the whole processes of project activities', 'learning materials and tools', and 'informal learning experiences'. Based on the results, some suggestions were provided for implementing the smart project learning for integrative learning experiences.