Schematic Development on the Extension Remodeling Types of Apartment Building Stocks

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

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

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 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>

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>

애드테크(AD-Tech) 시대의 비콘(Beacon) 광고 수용 결정 요인에 관한 연구

최지윤(Choi, Jiyoon),정윤재(Cheong, Yunjae) 한국광고홍보학회 2018 한국광고홍보학보 Vol.20 No.4

시공간을 초월한 연결성을 핵심 가치로 하는 최근의 IoT 마케팅 환경 아래 본 연구는 사물 간 연결을 용이하게 하는 비콘 기술에 주목하여 수용자 관점에서 비콘 광고 채택에 영향을 미치는 요인들을 지각된 혜택과 제약의 관점에서 분석하였다. 또한 발견된 요인들이 비콘 광고 수용 태도와 이용 의도에 어떠한 영향을 미치는지 살펴보았다. 실제 비콘 앱을 마케팅에 활용하는 산업군이 젊은층 뿐 아니라 장년층을 타깃으로 하는 사례가 점차 많아진다는 점을 참고하여 20∼50대 스마트폰 이용자를 대상으로 온라인 설문 조사를 실시하였다. 연구 결과 비콘 광고의 지각된 혜택과 제약을 구성하는 요인들은 3개의 혜택 요인(정보 혜택, 쾌락 혜택, 금전 혜택)과 3개의 제약요인(학습 제약, 관계 제약, 안전 제약)으로 나타났다. 그중 정보 혜택, 쾌락 혜택, 금전 혜택과 관계 제약은 비콘 광고 수용 태도에 유의미한 영향을 미치는 것으로 나타난 반면, 학습 제약과 안전제약이 비콘 광고 수용 태도에 미치는 영향력은 유의미하지 않게 나타났다. 한편 비콘 광고 수용태도가 호의적일수록 비콘 광고 이용 의도 또한 높아지는 것을 확인할 수 있었다. 연구 결과에 대한 실무적, 학술적 함의는 결론 및 논의 부분에 서술하였다. Following recent marketing environment regarding connectivity over time and space as critical core value, this study focuses on Beacon technology that facilitates connectivity among objects and analyzes the factors influencing whether to accept Beacon advertising or not to, from the perspective of the audience in terms of perceived benefits and constraints. In addition, this study reviewed how those factors affect accepting attitude of Beacon Advertising and intention to use. it. Actually, as the industrial groups which use Beacon App for their marketing target more and more older as well as the young, online survey was conducted targeting smart phone users in 20s to 50s. As a result, the factors composing of perceived benefits and constraints of Beacon advertising turned out three beneficial factors (informative benefit, pleasant benefit, monetary benefit) and three constraints (study constraint, relation constraint, safety constraint). Among them, informative benefit, pleasant benefit, monetary benefit, and relation constraint turned out they affect Beacon advertising-accepting attitude significantly. On the other hand, the influence of study constraint and safety constraint on Beacon advertising attitude was not significant. Besides, as Beacon advertising accepting attitude gets more favorable, the dependence on Beacon advertising use gets stronger. The practical and academic implications of the results are described in the conclusion and discussion.

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

최지윤(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.

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

최상배(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.

초고층 철근콘크리트 기둥의 전산최적설계 프로세스

이윤재(Yunjae Lee),김치경(Chee-Kyeong Kim),최현철(Hyun-Chul Choi) 한국콘크리트학회 2014 콘크리트학회논문집 Vol.26 No.3