Schematic Development on the Extension Remodeling Types of Apartment Building Stocks

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

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

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 Self-Biased Current-Mode Amplifier With an Application to 10-bit Pipeline ADC

Seungnam Choi,Yunjae Suh,Joohyun Lee,Jinkyu Kim,Byungsub Kim,Hong-June Park,Jae-Yoon Sim IEEE 2017 IEEE Transactions on Circuits and Systems I: Regul Vol.64 No.7

<P>This paper presents a self-biased current-mode amplifier (CMAMP) suitable for a switched-capacitor circuit. The CMAMP uses a subthreshold-biased transimpedance stage as a current-sensing load, and minimizes static power dissipation by passing bias current only at the input stage. The first-order system behavior with single dominant pole gives stable phase margin without complicated frequency compensation. Self-biasing circuits automatically generate bias voltages to sustain performance over a wide range of supply voltage. The designed CMAMP is verified in a 10-bit pipeline analog-to-digital converter (ADC) fabricated in a 65-nm CMOS process. The ADC achieves a figure of merit of 14.3 fJ/c-s with a supply voltage of 0.6 V at 2.5 MS/s.</P>

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.

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.

크로스모델 광고전략이 광고효과에 미치는 영향

최지윤(Choi, Jiyoon),정윤재(Cheong, Yunjae) 한국광고홍보학회 2014 광고연구 Vol.0 No.103

‘크로스모델 광고전략’이란 여성제품을 남성모델이, 남성제품을 여성모델이 광고하는 것으로, 동성모델이 광고에 등장해 제품 구입을 유도하던 기존 전략에서 벗어나, 이성 모델의 기용을 통해 감성을 자극하는 광고 전략을 말한다. 최근 여성 속옷 브랜드에 남성 모델(비비안-소지섭)이 등장하고, 여성 화장품 브랜드에 남성모델(더바디샵-현빈)이 등장하는 경우뿐만 아니라 남성 면도기 브랜드에 여성 모델(질레트-유인나)이 등장 하는 등 크로스모델 광고전략은 점점 활성화 되고 있다. 그러나, 이와 같은 크로스모델 광고전략의 활성화에도 불구하고 이를 소비자의 심리적 요인과 연결지어 광고효과를 살펴본 연구는 부족한 실정이다. 또한 지금까지 이루어진 연구는 남성제품을 제외한 여성제품으로만 한정하여 크로스모델 광고 전략 효과를 살펴본 연구가 주를 이루어왔다는 점에서 한계가 있어 왔다. 따라서 본 연구는 크로스모델 광고전략이 활발한 화장품을 실험제품군으로 하여 남성화장품과 여성화장품 광고에서의 크로스모델 광고전략이 광고효과에 미치는 영향을 심적 소유방식을 중심으로 살펴보았으며, 이를 통해 사용과정/사용결과 중심 시뮬레이션에 따라 소비자들이 경험하는 크로스모델 광고전략의 광고효과를 검증하고자 하였다. 사전조사를 통해 가상 브랜드네임과 광고모델을 선정하고, 프라이밍을 위한 자극으로는 심적 시뮬레이션 표상방식을 통해 사용과정/사용결과 시뮬레이션용 가상 신문 기사를 각각 구성하였다. 이후 본조사는 약 400명의 피실험자를 대상으로 제품성별(남성화장품/여성화장품), 모델성별(남성모델/여성모델), 심적 소유방식(사용과정/사용결과)의 2X2X2 요인설계를 통해 실험방법으로 실시하였다. 실험결과, 여성화장품 광고에서는 광고태도, 제품태도, 구매의도에 대해 심적소유방식과 모델성별 간의 상호작용이 유의하지 않게 나타난 반면, 남성화장품 광고에서는 광고태도, 제품태도, 구매의도에 대하여 심적 소유방식과 모델성별 간의 상호작용이 유의하게 나타났다. 이는 남성화장품 광고에서 결과 시뮬레이션의 경우, 여성모델로 인한 광고효과가 큰 반면, 과정 시뮬레이션의 경우, 남성모델로 인한 광고 효과가 크다는 사실을 나타낸다. Cross-model advertising strategy is the use of male models to advertise in women’s products, and female models to advertise in men’s products. It is a new advertising strategy which simulates the consumer’s emotional sensitivity to models who are the opposite sex, in contrast to the formal way, appealing to a consumer’s desire to imitate a model who is the same sex. This study started out to examine the effects of cross-model advertising strategy, focusing on psychological possession. The psychological possession produces different results from focusing on usage-process or usage-outcome. The research question was set to examine which strategy has more positive cross-model advertising effects?in men’s products or women’s products. According to the literature review, the 12 hypotheses were established. The results are summarized as follows: Obvious differences appeared with cosmetics according to the gender of the consumers to whom the cosmetics were marketed. In the case of advertising in men’s cosmetics, an interaction between the sex of the models and the psychological possession appeared for all of the advertising effects (attitude toward advertising, attitude toward product, purchase intention). In other words, in the case of process?focused simulation, male models were more effective than female models in men’s products. In the case of outcome-focused simulation, female models were more effective than male models. In contrast, in the case of advertising in women’s cosmetics, the direction of the hypotheses partially matched up with attitude toward advertising, but these results were statistically concluded to be non-significant. In the case of the result of interaction between the models’ sex and the psychological possession for all advertising effects in women’s cosmetics advertising, the hypotheses were not supported. Also, in the case of the result of interaction between the models’ sex and the psychological possession for all advertising effects in women’s cosmetics advertising, the hypotheses were not supported. In conclusion, the study is meaningful as is an in-depth study to analyze advertising effects using psychological variance and to reflect the newest advertising trend.