Schematic Development on the Extension Remodeling Types of Apartment Building Stocks

Yunjae Lee,Jaepil Choi,Hyojeong Kang,Nahyang Byun 한국주거학회 2007 한국주거학회 국제학술대회논문집 Vol.2007 No.8

Model Checking an OSEK/VDX-Based Operating System for Automobile Safety Analysis

'Institute of Electronics, Information and Communi 2013 IEICE transactions on information and systems Vol.96e.d No.3

A Toolset for Validation and Verification of Automotive Control Software Using Formal Patterns

CHOI, Yunja,KIM, Dongwoo 'Institute of Electronics, Information and Communi 2017 IEICE transactions on information and systems Vol.100e.d No.7

<P>An automotive control system is a typical safety-critical embedded software, which requires extensive verification and validation (V&V) activities. This article introduces a toolset for automated V&V of automotive control system, including a test generator for automotive operating systems, a task simulator for validating task design of control software, and an API-call constraint checker to check emergent properties when composing control software with its underlying operating system. To the best of our knowledge, it is the first integrated toolset that supports V&V activities for both control software and operating systems in the same framework.</P>

Fabrication of Electro-active Polymer Actuator Based on Transparent Graphene Electrode

Yunjae Park,Hyonkwang Choi,Kihong Im,Seonpil Kim,Minhyon Jeon 한국진공학회 2014 한국진공학회 학술발표회초록집 Vol.2014 No.2

Design verification in model-based μ-controller development using an abstract component

Choi, Yunja,Bunse, Christian Springer-Verlag 2011 Software and Systems Modeling Vol.10 No.1

A configurable V&V framework using formal behavioral patterns for OSEK/VDX operating systems

Elsevier 2018 Journal of Systems and Software Vol.137 No.-

<P><B>Abstract</B></P> <P>Verification and Validation (V&V) of small-scale embedded software must consider the operating system. Unlike general-purpose systems, the underlying operating system is closely coupled with the application logic, generating potentially an infinite number of different control programs depending on the application configuration and application logic. Verifying this software individually is time-consuming and costly, especially when the objective is rigorous verification.</P> <P>To assist in rigorous V&V activities for such embedded software, the proposed work suggests a pattern-based framework that can be used to generate configurable formal OS and test models. At the core of the framework, lies a set of predefined behavioral patterns and constraint patterns that can be composed for the auto-generation of formal models for variously configured operating systems. These configurable formal models form the basis of formal validation and verification activities such as model checking safety properties, model-based test generation, and formal application simulation. We have implemented a prototype tool, specially designed for embedded control software based on the OSEK/VDX international standard, to demonstrate the benefits of the framework in task simulation, test generation, and formal verification. A series of experiments and analysis demonstrate that the suggested pattern-based framework is more efficient in test sequence generation and more effective in identifying problems compared to existing approaches.</P> <P><B>Highlights</B></P> <P> <UL> <LI> This work defines formal behavioral patterns for OSEK/VDX operating systems. </LI> <LI> A formal V&V framework based on pre-defined behavioral patterns is suggested. </LI> <LI> The framework supports auto-generation of configurable formal models. </LI> <LI> Generated formal models can be utilized for rigorous V&V activities. </LI> <LI> An application of the framework is demonstrated through a prototype implementation. </LI> </UL> </P>

비영리기관 광고 매체의 경쟁 · 보완 관계에 대한 연구

최지윤(Choi, Jiyoon),정윤재(Cheong, Yunjae) 한국광고홍보학회 2016 한국광고홍보학보 Vol.18 No.3

본 연구는 수용자들이 비영리기관(국제구호개발 NGO)의 광고에 대해 4개 매체(TV, 인쇄, 인터넷, 대인)별로 5가지 충족 차원(광고 호감, 조직 호감, 조직 신뢰, 사회 충족, 후원 의도)에 대해 어떠한 충족을 느끼는지, 그리고 각 충족 차원별 매체 간 경쟁과 보완 관계는 어떠한지를 적소 폭, 적소 중복, 경쟁 우위 개념을 통해 분석하였다. 우선 적소 폭연구 결과, TV는 모든 차원에서 가장 넓은 적소 폭을 나타낸 반면, 인터넷은 전 차원에서 가장 좁은 적소 폭을 나타냈다. 적소 중복 분석 결과, TV와 인쇄 매체는 광고 호감, 조직 신뢰, 후원 의도 차원에서 높은 적소 중복을 보였으며, 인쇄와 인터넷 매체는 조직 호감, 사회 충족 차원에서, 인쇄와 대인 매체는 후원 의도 차원에서 높은 적소 중복을 보여 각 매체 간 경쟁 관계임을 나타냈다. 반면, TV와 인터넷은 전 차원에서 낮은 적소 중복을 보여 보완 관계임을 나타냈다. 경쟁 우위 분석 결과, TV는 전 차원에 있어서 모든 매체에 대해 경쟁 우위를 차지하고 있었으며, 인쇄 매체는 전 차원에 있어서 인터넷보다 경쟁 우위를 차지하고 있었다. 또한 대인 매체는 광고 호감을 제외한 4가지 차원에 대해서 인터넷 매체보다 경쟁 우위를 차지하고 있는 것으로 나타났다. 그 외 연구 결과에 대해서는 결론에서 다양한 함의를 논의하였다. This study analyzed what gratification audience felt about 5 gratification dimensions (advertising liking, organization liking, organization reliability, society gratification and donation intention) according to 4 types of media (TV, print, internet and interpersonal) for advertisement of non-profit organization (international relief and development NGO) and how it went with competitive and complementary relationship between media types according to each gratification dimension through niche breadth, niche overlap and competitive superiority concept. First of all, in the results of study on niche breadth, TV showed the widest breadth in all dimensions. On the other hand, internet showed the narrowest breadth in all dimensions. In the results of analyzing the niche overlap, TV and print media showed high niche overlap in advertising liking, organization reliability and donation intention dimension. And print and internet media showed high niche overlap in organization liking and society gratification dimension, and print and interpersonal media showed high niche overlap in donation intention dimention. So, it was shown that there was a competitive relationship between respective media types. On the other hand, TV and internet showed low niche overlap. So, it was shown that there was a complementary relationship between them. In the results of analyzing the competitive superiority, TV had competitive superiority over all media in all dimensions. And print media had competitive superiority over internet in all dimensions. Besides, it was shown that interpersonal media had competitive superiority over internet media in 4 dimensions except advertising liking. Besides that, with regard to the results of study, various implications were discussed in the conclusion.

Effects of Body Postures on Clothing Air Gap in a Protective Suit

( Jiyoung Choi ),( Heejin Kim ),( Yunja Nam ),( Min K. Chung ),( Hyunsook Jung ) 한국감성과학회 2014 춘계학술대회 Vol.2014 No.-

Air gaps entrapped in a protective suit play an important role in heat transfer, and it is closely related to the wearer`s safety. The distribution and size of the air gaps depends on body motions. In this study 8 representative body motions (stretching, walking, crawling, crouching, twisting, climbing and reaching, moving weights, and lateral bending) of CBR excercise and 2~4 body postures per each motion were derived. After that, for one male participant, theses postures were scanned with a 3D body scanning technique. Scanning was performed for the nude and the dressed to measure the distribution and size of air gaps between the human body and clothing. As a result, the air gaps varied with the different postures. The results will be basic data to improve the protective performance of current protective suit.

Smart Learning 환경에서 GBS 를 활용한 역사수업 설계 연구

황윤자(YunJa Hwang),진영심(YoungSim Jin),심창현(ChangHyun Shim),최경화(KyungHwa Choi),김경진(Kyungjin Kim) 한양대학교 교육공학연구소 2011 학습과학연구 Vol.5 No.1

최근의 사회 환경과 정보통신 기술의 발달은 과거에 비해 그 속도와 발전방향을 가늠할 수 없을 정도로 빨리 변화하고 있으며, 더욱더 언제(anytime), 어디서나(anywhere) 학습자 중심의 맥락적 상호작용적 학습이 가능한 ‘스마트한’ 학습이 이루어지고 있다. Smart Learning 은 학습자들이 학교에서 벗어나 박물관, 과학관, 미술관 등 비형식적인 학습과 실제적 환경에서의 상황적 학습을 할 수 있는 기회를 제공하고 있다. 따라서 본 연구에서는 먼저 다양한 쓰이고 있는 스마트러닝의 개념과 특징을 규명하고 GBS 의 특징과 학습프로세스의 7 가지 핵심요소를 파악하여 초등학교 역사수업을 박물관과 교실수업을 병행한 실제적 맥락에서 학습할 수 있도록 스마트러닝 환경에서 GBS 을 활용한 역사수업을 설계하였다. 이러한 설계연구는 스마트러닝 환경에서 학습자들은 물리적인 공간을 벗어나 언제 어디서나 뿐만 아니라 이동하면서도 정보를 습득 및 제공할 수 있게 될 것이며, GBS 를 통해서 학습자중심의 맥락적, 상황적, 경험적인 학습 환경을 잘 반영할 수 있게 될 것이다. In these days, social environment and information technology are being developed faster than ever before in an unpredictable way. Under such circumstances, the pattern of study is also changing. Interactive way of learning so called smart learning which is led by the learner and which enables the learner to study anytime and anywhere is popular. Smart Learning provides the learner an opportunity to learn in untraditional places such as museums, science centers and art galleries as well as to conduct situated learning under practical environment. This study identified the concept and characteristics of smart learning and the features of GBS and seven core elements of the learning process and designed a history session for elementary students using GBS under the smart learning environment to apply such findings to sessions both in classrooms and museums. With smart learning, this study will contribute to enabling learners to acquire and provide information anywhere anytime not being restricted by physical spaces and to fully utilizing GBS to create learner-centered environment based on context, situation and experience.

청각장애학생 교육지원 요구와 지원방안에 대한 교사와 청각장애인 단체의 인식

최상배(Choi, Sangbae),황윤재(Hwang, Yunjae),고은지(Ko, Eun-Ji) 한국특수교육교과교육학회 2021 특수교육교과교육연구 Vol.14 No.1

이 연구는 청각장애학생 교육지원 요구와 개선방안을 도출하기 위하여 실시되었으며, 이를 위해교사, 농인 단체, 난청인 단체를 대상으로 초점집단면담을 실시하였다. 연구 결과는 다음과 같다. 첫째, 청각장애학생 교육 지원 요구를 분석한 결과, 3개의 하위범주(개인 특성과 요구에 맞는 교육지원, 교사의 수업과 상담 역량 강화, 부모지원 강화)와 10개의 의미단위가 도출되었다. 둘째, 청각장애학생 교육지원 방안을 분석한 결과, 3개의 하위범주(청각장애학교 재구조화, 청각장애 거점 특수교육지원센터의 역량 강화, 청각장애 교육지원의 질적 모색)와 14개의 의미단위가 도출되었다. 면담 참가자들은 청각장애교육의 질 향상을 위해서 청각장애학교는 재구조화와 교사의 전문성 신장이 필요하다고 인식하였으며, 청각장애 거점 특수교육지원센터 활성화를 위해 전문가 배치와 협력, 교사의 전문성이 필요하다고 인식하였다. 또한 청각장애교육의 질적 도약을 위해서는 청각장애교육 교사자격증 제도 운영, 동반입학, 통합교육 준비도 평가, 청각중복장애학생 지원을 위한 방안이 필요하다고 인식하였다. 이 연구는 청각장애학생 교육지원의 방향과 우선순위 설정에 도움이 될 것으로 기대된다. This study identified key issues recognizing educational needs and educational support plan for deaf and hard of hearing(DHH) students. Data were collected from focus groups consisting teachers for the deaf, association of deaf, and association of hard of hearing. Focus groups indicated educational needs as three subcategories: individualized education support, enhancement of instruction and counseling capacity by teachers, family support. In addition, focus groups identified educational support plan as three subcategories: deaf school restructuring, enhancement of DHH education support center, and high quality of education support. Participants recognized that the most important issues to provide high quality of DHH education are considering deaf school restructuring and improving teacher professional growth and promoting utilization of DHH education support center. Also, participants emphasized to consider DHH teacher certificate, co-enrollment, evaluation for readiness of inclusion, supporting deaf plus for providing high quality of DHH education.