• Title/Summary/Keyword: 형식성

Search Result 3,208, Processing Time 0.034 seconds

Integrated Hybrid Modeling Methodology and Simulation Engine Design Based on HDEVS Formalism (HDEVS 형식론에 기반한 통합 하이브리드 모델링 방법론 및 시뮬레이션 엔진 설계)

  • Kwon, Se Jung;Sung, Changho;Song, Hae-Sang;Kim, Tag Gon
    • Journal of the Korea Society for Simulation
    • /
    • v.22 no.1
    • /
    • pp.21-30
    • /
    • 2013
  • A hybrid system is a combination of sub systems which have different types of state and time: a typical example is a combination of discrete event and continuous systems. A HDEVS(Hybrid DEVS) formalism was proposed for modeling and analyzing a hybrid system. The HDEVS formalism allows modelers to construct a hierarchical and modular model based on the mathematical set theory. Because the HDEVS formalism was applied to the distributed and interoperated simulators, modelers should make several heterogenous models dividing a target system. Hence, this paper proposes an extended hybrid coupled model of HDEVS formalism and an integrated hybrid modeling methodology in contrast to the existing simulation framework on interoperable simulators. By applying the proposed modeling method, a target system can be translated to a hybrid model in a similar form as the target system. This paper also contains a simulation engine design for the proposed modeling methodlogy and a case study which simulates water tank control systems.

Hydraulic experiment for analysis of hydraulic performance of the Piano Key Weir (피아노건반 물넘이의 수리성능분석을 위한 수리모형실험)

  • Lee, Byeong Wook;Jang, Eun Cheul;Baek, Donghae;Yoon, Jae-Seon;Song, Hyun-Gu
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2022.05a
    • /
    • pp.258-258
    • /
    • 2022
  • 물넘이 형식에는 수문과 밸브로 조절할 수 있는 조절형식, 개수로 및 관수로 형식의 자연적으로 수위조절이 되는 비조절형식, 레버린스(Labyrinth), 피아노건반(Piano Key Weir), 사이펀(Siphon) 등의 특수형식으로 구분할 수 있다. 이 중에서 피아노건반 물넘이는 레버린스 물넘이를 피아노건반 모양으로 개량한 것으로 2003년 알제리 Biska 대학의 Quamane 교수에 의해 제안되었다. 제한된 물넘이 폭에 물넘이의 길이를 연장하여 방류능력을 증가시키는 효과를 나타내는 물넘이 형식으로 여수로의 월류수심을 낮게 유지하면서 방류량을 증가시킬 수 있다. 피아노건반 물넘이는 2006년에 프랑스에서 최초로 적용되었으며, 현재까지 약 30여 지역(프랑스, 베트남, 호주 등)의 댐에 적용되었다. 본 연구에서는 국내 저수지를 대상으로 여수로에 피아노건반 물넘이를 적용하여 방류능력과 수리적 안정성 검토를 위해 농어촌연구원 국제융합수리시험센터에서 수리모형실험을 수행하였다. 농어촌연구원은 2018년도에 기존 수리모형실험 시설을 확장하여 가로 250m, 세로 102m의 국내 최대규모의 실내 수리모형실험 시설을 준공하였고, 대형유사순환수로, 고정식 급경사수로, PIV 전용실험수로 등 기능별 7종의 실험수로를 갖추고 있다. 수리실험은 Froude 상사에 의한 축척을 적용하여 모형을 제작하였고, 기존의 수리시설과 하류하천까지 포함하여 70m(L)×20(B)×2m(H) 규모이다. 실험은 유량을 다양하게 변화시키면서 수위-방류량을 검토하였고, PMF 홍수위에서 방류량이 배제 가능한지 검토하였다. 또한, 물넘이의 안정성 검토를 위한 접근유속을 게측하였고, 물넘이를 통해 월류하는 흐름의 유황을 분석하여 수리학적으로 안정한 흐름이 발생하는지 검토하였다.

  • PDF

Comparison of Efficiency by Span in Various Railway Bridge Types (철도교량형식의 경간에 따른 효율성 비교연구)

  • Lee, Tae-Gyu
    • The Journal of the Korea Contents Association
    • /
    • v.14 no.7
    • /
    • pp.511-517
    • /
    • 2014
  • The superstructure type of the railway bridge in our country, is mainly classified into the box girder and the I-type girder. The box girder is widely used in the high speed railway bridge because of the safety due to dynamic behavior. The I-type girder is used in the conventional railway bridge, and is also divided into the general type and the composite type, and the newly modified types have been developed. According to the current railway bridge design code, the girder design by the span length in various railway bridge types are performed in this study. The suitable girder height by the span length are analyzed, and the comparative analysis of the structural efficiency and the economical efficiency is carried out. From this study, the composite type girder is appeared the good result in respect of the structural efficiency. However, in the economical aspect, the general I-type girder is required less cost than the other types.

An analysis of field experts' perceptions of the content and format of school safety standards (학교안전기준 내용 및 형식에 대한 현장 전문가의 인식 분석)

  • Cho, Yong;Lee, Byoung-Ho;Han, Jong-Guk;Park, Youn-Ju
    • The Journal of Sustainable Design and Educational Environment Research
    • /
    • v.22 no.3
    • /
    • pp.14-29
    • /
    • 2023
  • This study aims to elucidate the content and format of school safety standards to clarify the roles and responsibilities of schools in realizing school safety. Toward this end, difficulties in operating school safety standards at various sites were classified into four small groups with a total of 26 educational administrators, superintendents, and researchers to listen to the opinions of experts in the field and analyze related data. As a result, we comprehensively analyzed in-depth interviews with the respondents who are working at provincial offices of education regarding the proposed school safety standards. We also analyzed the necessity of developing these standards and examining the appropriateness of their content and format. Results were derived from four aspects, including the field applicability of such standards. The study draws the following conclusions. First, it focuses on setting the direction for the development of school safety standards. Second, it highlights the exploration of the system and content of these standards. Third, it pertains to the preparation of a draft of these standards.

The Persuasive Impact of Fit between Message Goals(Promotion vs. Prevention) and Modality of Message on Social Media (메시지 조절목표와 메시지 형식 간 적합성이 메시지 설득력에 미치는 영향)

  • Kim, Dong Hoo;Song, Young-A
    • The Journal of the Korea Contents Association
    • /
    • v.21 no.2
    • /
    • pp.604-621
    • /
    • 2021
  • Examination of the concurrent evolution of communication tools and eating behaviors over recent decades reveals that social media and other forms of digital content have become powerful new driving forces for nutritional choices and food consumption. The purpose of this research was to examine the effect between goal orientation of message (promotion versus prevention) and the type of message (text versus image) on effectiveness of the message. The findings showed that individuals exposed to a promotion-focused message similarly responded to the message regardless of the type of the message. By contrast, those who exposed to a prevention-focused message showed significantly more positive responses to the message posted on the text-based social media than the message on the image-based social media. The findings indicated that, if presented effectively, social media could be harnessed to promote healthier eating habits and behaviors, prevent those which can be harmful, and ultimately improve an individual's daily food consumption and overall quality of life.

Boundary between Human and Humanism Constructed by Formalism Film <Dogville> (형식주의 영화 <Dogville>이 구성하는 인간과 인간다움의 경계)

  • Kang, Seung-Mook
    • The Journal of the Korea Contents Association
    • /
    • v.9 no.12
    • /
    • pp.138-145
    • /
    • 2009
  • Humanism connotes dignity and esteem with the essential idea of human and more human. This paper has conducted a inquiry of the understanding about human and humanism represented by visual image of film. Especially, this study investigated the way to adhere to reflective attitude about human and society. It is based on theoretical discussion of formalism and auteurism and analyzed the way of constructing time-space structure of (by Lars von Trier) which is known the typical formalism film. According to the findings, appeared to appropriate the ocularcentrism aesthetic to film form and give the self-regulation to definite the idea of film art through picturesque imagination of dramatic stage. Such a result means that it converts the filmic time-space to the virtual things and practicalize the classification of the ethical doctrine of innate goodness and innate sin of human and the definition of humanism. Also it means formalism film overturns the existing institutional mode of representation.

A Comparative Study on Type Approval of Maritime Cyber Security and RMF in the View of System Development Lifecycle (개발 전주기 사이버보안 관점에서의 해상 사이버보안 형식 승인과 RMF 비교 연구)

  • Lee, Suwon;Hwang, Seyoung;Hong, Jina;Kim, Byeong-jin
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.32 no.2
    • /
    • pp.279-287
    • /
    • 2022
  • With the advancement of cyber threats and the development of hacking technologies, cyber security is being emphasized in various fields such as automobiles and ships. According to this trend, various industrial fields are demanding cybersecurity, and related certifications. In this paper, cybersecurity type approval is compared with the RMF stage under the premise that there are common elements with RMF in that cybersecurity elements must be reflected in the entire system development cycle. For comparison, type approval of maritime cyber security of the Korean Register of Shipping was selected. In conclusion, although type approval of maritime cyber security acquisition procedure is not divided by development stage like the RMF, there are the commonalities in the procedure to apply the cybersecurity element to the System development lifecycle like the RMF. Accordingly, the possibility of determining that the cybersecurity element was applied to the entire development cycle was confirmed.

Standard Specification Research for Monorail Type LRT (모노레일형식 경전철 차량 표준규격 연구(기본 구성 및 성능))

  • Hong, Jai-Sung;Ryu, Sang-Hwan;Lee, Ho-Yong;Hwang, Hyeon-Chyeon
    • Proceedings of the KSR Conference
    • /
    • 2008.11b
    • /
    • pp.436-440
    • /
    • 2008
  • Monorail is a type of LRT that a train, made with $2{\sim}4$ cars runs on single track. Monorail can be divided into two types - straddled type, running on track beam and suspended type, running suspended from track beam. After Wuppertal, world's first monorail in German, many monorails are currently operated in Australia, U.S.A, Japan etc. In macountry, it was decided to introduce monorail to 3rd line of Daegue. Daegue's 3rd line is public financial project and supported about 60% of total project cost by central government. The central government announced a standard for rubber-wheel type LRT and steel-wheel type LRT. It becomes a guide to local government willing to introduce this type of LRT. The standard for monorail hasn't announced yet although the necessity of research has grown. Korea Railroad Research Institute which has been asked to research by Ministry of Land Transport and Maritime Affairs has carried out research on standard of monorail considering domestic condition. The on-going research is described in this paper. We wish that it becomes national standard and a good guide for local government.

  • PDF

Social Annotation and Navigation Support for Electronic Textbooks (전자책 환경을 위한 사회적 어노테이션 및 탐색 지원 기법)

  • Kim, Jae-Kyung;Sohn, Won-Sung
    • Journal of Korea Multimedia Society
    • /
    • v.12 no.10
    • /
    • pp.1486-1498
    • /
    • 2009
  • Modem efforts on digitizing electronic books focus on preserving authentic image representation of the original sources. Unlike the text-based format, it is difficult to recognize the information in the image, so the new format requires new tools to help users to access, process, and make sense of digital information. This paper presents an approach which assists users of these image sources by giving them a combination of annotation and social navigation support. Especially in the education domain, the proposed technique improves the usability of online education system. This approach is currently fully implemented and under evaluation in a classroom study.

  • PDF

Macroscopic and Microscopic Traffic Simulation Using the Discrete Event system Formalism (이산 사건 형식론을 이용한 거시적 및 미시적 교통류 시뮬레이션)

  • 이종근
    • Proceedings of the Korea Society for Simulation Conference
    • /
    • 1999.04a
    • /
    • pp.110-114
    • /
    • 1999
  • 본 연구는 Zeigler가 제안한 이산 사건 시스템 형식론(DEVS: Discrete Event System Specification)을 이용한 거시적 및 미시적 교통류 시뮬레이션 방법론의 개발을 주 목적으로 한다. 도로 교통망의 모델링 방법은 미시적(microscopic)방법과 거시적(macroscopic)방법으로 분류된다. 이러한 모델링 방법들은 그 목적에 따라 각기 표현되어 제각기 사용되어 왔으나, 시스템 이론적으로 이들은 독립적 모델이 아니며 오히려 이들은 서로 동질적 추상화 관계에 있어서, 통합 모델링 환경의 구축시 미시적 모델들로부터 추상화에 의한 거시적 모델의 자동생성 등 설계상의 효율뿐 아니라 모델간의 일관성을 통한 모델 유효성을 보장할 수 있는 장점이 제공될 수 있다. 따라서, 본 논문에서는 서로 다른 표현 방법(즉, 이산시간 형식론과 이산사건 형식론)간의 통합 표현을 기반으로 양자간의 추상화 관계를 도출하고, 이를 이용한 모델 추상화를 통해 거시적 및 미시적 교통류 시뮬레이션 방법론을 제안한다. 시스템 이론적 접근을 토대로 접근한 통합 교통류 시뮬레이션 환경은 미국 Berkeley 대학 교통 연구소에서 개발한 SHIFT 등과 같은 최첨단 교통류 시뮬레이션 도구에 비하여 SES/MB를 기반을 시스템 이론적이며 소프트웨어공학적인 접근을 통하여, 1) 기존 제어 방식의 검증 및 신뢰도 분석, 2) 각종 사건, 사고의 시간별 파급효과 분석, 3) 도로건설 계획안에 대한 타당성 검토, 4) 운전자 및 관리자를 위한 예측된 교통정보 등을 제공할 수 있을 것으로 기대된다.

  • PDF