내장형 소프트웨어 컴포넌트의 상향식 합성과 검증

최윤자,Choi, Yun-Ja 한국정보처리학회 2010 정보처리학회논문지D Vol.17 No.6

본 논문은 단위 컴포넌트가 제공하는 서비스를 중심으로 컴포넌트 행위모델을 합성하고 상위수준의 추상적 행위모델을 추출하는 서비스기반 합성과 검증기법을 제안한다. 이를 위하여, 상향식 행위양식 추상화의 기초가 되는 추상 컴포넌트를 정의하고, 포트기반 동기화 알고리즘과 서비스기반 투영을 통한 추상화기법을 제안하였다. 또한, 제안된 기법을 적용한 모델검증 프레임워크를 개발하고, 사례연구를 통하여 제안된 방식이 검증비용을 절감함을 입증하였다. This paper proposes service-oriented composition and verification techniques for incrementally extracting high-level abstract behavior of unit components in a systematic manner. Proposed techniques include the definition for abstract component, which is a basic building-block of the abstraction process, an algorithm for port-based synchronized abstraction, and projection abstraction. A verification framework is developed using the proposed techniques and its efficiency is demonstrated through a case example.

아동의 학업성취도와 교우관계 향상을 위한 또래교수 실행연구

최윤자 ( Choi Yun-ja ),손현동 ( Son Hyun-dong ) 부산대학교 과학교육연구소 2017 교사교육연구 Vol.56 No.1

본 연구의 목적은 아동의 학업성취도와 교우관계 향상을 위해 보다 효과적으로 또래교수를 실시하기 위한 방안을 실행연구를 통해 알아보는 것이다. 이를 위해 광주광역시에 소재한 초등학교 4학년 학생 25명을 대상으로 실행연구를 실시하였다. 또래교수 수업은 자기 반성적 실행 연구 사이클 모형에 따라 `계획-실행-관찰-반성`의 과정을 따랐으며, 예비, 1차, 2차에 걸쳐 실행 연구를 실시하였다. 또래교수 실행 후 교사의 수업일지, 심층면담, 서술형 설문지 조사 등 수집한 자료들을 분석하여 최종적으로 효과적인 또래교수를 위해 고려해야 할 요소들을 정리하였다. 이런 과정을 통해 밝혀진 결과는 다음과 같다. 첫째, 또래교수 실시 전에는 또래를 매칭하는 방법과 학습 운영 과정에 대한 계획을 세워야 한다. 둘째, 또래교수 실시 중에는 학생들의 활동 과정을 살피고 적절히 개입하도록 한다. 셋째, 또래교수 후에는 계획된 회차의 실행 효과를 분석하고, 더불어 반성의 과정을 통해 문제점을 발견하여 다음 실행에 반영하여야 한다. 넷째, 실행연구 결과 또래교수는 실행연구에 참여한 학생들의 학업성취도에는 유의한 변화가 있었으나 교우관계에서는 유의한 변화가 나타나지 않았다. 본 연구는 실제 교육 현장에서 실행 연구 방법으로 또래교수 시 고려해야 할 점들을 밝혔다는 점과 실행연구 분석 시 다양한 형태의 질적 분석 접근을 시도하였다는 점에서 의의가 있다. The purpose of this study was to identify considerations when carry out peer tutoring in order to more effectively improve children`s academic achievement and peer relationships. The participants of this study were 25 fourth grade students at M elementary school in Gwangju Metropolitan City. This research was based on 3 action research studies (preliminary, first, second) following the steps of Kemmis and McTaggart`s self-reflection action research cycle model. Collected data included interviews with students and survey results which were analyzed to identify specific considerations. The results of this study were as follows: First, before administering peer tutoring, it is necessary to plan how to conduct the learning process and consider ways of matching tutoring peers. Second, during peer tutoring, teachers should observe the peer tutoring process carefully and intervene appropriately. Third, after the peer tutoring, teachers should analyze the execution and identify problems to reflect upon before the next class. Fourth, the results of this study showed that there was a significant change in the academic achievement of the students who participated in the action study but there was no significant change in the peer relationship. This study was meaningful in that identify specific considerations to help carry out peer tutoring more effectively and tried to approach various types of qualitative analysis in its action research analysis..

집단따돌림 행동과 자아개념 및 귀인성향과의 관계

최윤자(Yun Ja Choi),김아영(Ah Young Kim) 한국교육심리학회 2003 敎育心理硏究 Vol.17 No.1

현대소설에 나타난 그림자인격 인식과 의미 -최인호의「개미의 탑_·장정일의「펠리컨」을 중심으로

최윤자 ( Yun Ja Choi ) 단국대학교 한국문화기술연구소 2009 한국문화기술 Vol.7 No.-

One of the representative characteristics of modern novel is that they deal with severe psychological conflicts people experience in the business like, scientific, and competitive society. Psychological conflicts are expressed through psychological symptoms characters exhibit such as isolation, anxiety, hostility, anger, delusion, and murderous impulse. These are neurotic symptoms that appear as the gap between the conscious mind and the unconscious mind widens when one identifies his/her persona with the conscious self. Neurosis is an expression of one`s suppressed complex in the unconscious mind into an object in the external world and it can be seen as a projection of shadow personality psychologically. Characters suffering from such psychological problems appear in modern novels frequently because modern novels deal with inner personalities of modern men who are experiencing confusion about values and living mentally impoverished lives in the materially abundant world. This study analyzed the projection of shadow personality in" Tower of ants " by Inho Choi in 1977, and" Pelican"by Jungil Jang in 1980 based on C.G. Jung`s perspectives. Jung said that one`s life is a history of one`s unconsciousness realizing itself. He also said that all psychological symptoms have purposes and meanings and neurosis is an opportunity to achieve change and growth of one`s personality and unified self, i.e. wholeness. But people who only think scientifically cannot understand Jung` s concepts. Each discipline of science studies one specific science area while philosophy studies unity, totality, general and universal things. In other words, science is a study of something while philosophy is a study of nothingness of something or nothing. Jung`s psychology has something in common with Yin and Yang philosophy of eastern philosophy. According to the philosophy, Yin and Yang are not separate and Yin is dark shadow and Yang is bright light. This philosophy coincides with Jung`s psychology that sees consciousness as bright light and unconsciousness as dark shadow. This study analyzed the types of conflict in the two novels using the psychological symptoms to find out the shadow personality and semantic network of each character. It tried to understand the psychological symptoms of each character instead of considering them as pathological aspects. In the novels, characters express anger or fear to harmless animals like the ants and pelicans. This study tried to find the causes of such abnormal behaviors and the essence of shadow personality and its purpose. This study found that psychological symptoms each character exhibit in these novels are not just meaningless pain and they enabled the characters to move toward self realization and perfection of personality. Through this study, this author found that everyone has dark shadow personality in them but they just don`t realize it. These two novels provided special insights on psychological aspects and mental activities. And this study demonstrated that these two novels expressed the mental worlds of modern men rather than the set myths based on the traditional literary proposition that literature reflects the social phenomena of the time.

역공학을 이용한 자바 소스 코드의 변화량 분석 및 시각화 도구 개발

권진욱,최윤자,이우진,Kwon, Jin-Wook,Choi, Yun-Ja,Lee, Woo-Jin 한국정보처리학회 2012 정보처리학회논문지D Vol.19 No.1

소프트웨어 시스템을 효율적으로 유지보수 및 관리하기 위해서는 변경 전후의 시스템의 변경사항을 쉽게 파악할 수 있도록 시각적으로 표현해주는 것이 중요하다. 소프트웨어 변경사항 분석에 대한 연구는 많이 진행되어 왔으나 변경 유형뿐만 아니라 변경 정도를 정량화하고 이를 시각화하여 나타내려는 연구는 많지 않다. 이 연구에서는 자바로 구현된 시스템에 대해 클래스 다이어그램에서의 변경사항 분석 및 정량화 방법과 이를 시각적으로 나타내는 방법에 대해 제시한다. 먼저 소스 코드의 구조적인 변화를 검사하기 위해, 역공학을 이용하여 클래스 다이어그램을 추출한다. 그리고 클래스 다이어그램 정보를 이용하여 변경 유형 및 변경량을 정량화한 다음, 색상 스펙트럼을 이용하여 클래스 다이어그램에 변경량을 시각적으로 나타낸다. 이러한 시각화 기법을 이용하면, 유지보수 관리자가 쉽게 변경된 부분을 파악할 수 있어 유지보수에 소요되는 시간과 노력을 조금이라도 줄일 수 있다. In order to quickly understand which changes of source codes have been made and to perform effective maintenance of a system, it is important to visualize the changed parts. Although there are many works for analyzing software changes, there are few works for visualizing both of the change types and change quantifications for Java based systems. In this paper, we propose a change analysis technique based on class diagram and provide a change visualization technique by using change quantification information. In order to check the structural changes in source codes, source codes are transformed to class diagrams by reverse engineering methods. On the class diagrams, the changes are analyzed and quantified by numbers. Based on the change quantification, the changes are visualized on the class diagram by color spectrum. By using visualization techniques, maintainers can easily recognize the code changes to reduce the cost and time of maintenance.

모델기반 컴포넌트 정제 과정의 행위 일관성 검증을 위한 변환기

장훈,박민규,최윤자,Jang, Hoon,Park, Min-Gyu,Choi, Yun-Ja 한국정보처리학회 2011 정보처리학회논문지D Vol.18 No.6

모델 중심 컴포넌트 기반 개발 방법은 개발 대상 시스템을 하나의 추상컴포넌트로 보고, 재귀적인 컴포넌트의 분화(decomposition)와 정제(refinement) 과정을 통하여 물리적인 컴포넌트를 도출해내는 하향식 개발방식이다. 본 연구에서는 모델 기반 컴포넌트 개발기법을 근간으로 한 컴포넌트 정제 과정에서 정제 전 후의 추상컴포넌트들 간의 행위 일관성을 정형분석하기 위한 모델 변환기를 개발하였다. 이 모델변환기는 컴포넌트의 분화와 정제 전 과정에 걸쳐 사용되어 정제 전 후 컴포넌트 간의 상호작용 오류로 인한 잠재적인 결함을 조기에 발견하고 해결하는데 기여할 수 있다. 본 논문은 추상컴포넌트의 각 구성요소들을 정형검증기 SPIN의 구성요소로 변환하기 위해 사용된 변환방법들과 변환기의 구성요소들을 소개한다. 개발된 변환기는 자동차 거울조종시스템, 무선센서네트워크를 위한 운영체제 등의 사례연구에 적용되어 그 효용성을 입증하였다. Model-based Component development methodologies consider the whole system as an component and develop physical components through recursive decomposition and refinements of components in a top-down manner. We developed a model translator that can be used to formally verify interaction consistency among components, especially the interaction behavior between before- and after- refinements of components. This translator can be used to identify potential problems in the refinement process so that problems can be addressed from the early stage of development. This paper introduces our translation approach and the organization of the translator. The translator has been applied to two case studies to show its usefulness.

자동차 전자식 주차 브레이크 시스템 안전 요구사항 검증을 위한 모델검증 적용

최준열 ( Jun Yeol Choi ),조준형 ( Joon Hyung Cho ),최윤자 ( Yun Ja Choi ) 한국정보처리학회 2017 정보처리학회논문지. 소프트웨어 및 데이터 공학 Vol.6 No.4

자동차 산업이 급격히 발달하면서 각종 인명손실을 예방하기 위한 정책 및 안전장치가 늘어나고 있다. 트렌드의 일환으로 2011년에 차량의 전기전자시스템의 기능안전성을 확보하기 위한 ISO26262 1^st edition이 릴리즈 되었으며, 2016년 하반기에 2^nd edition이 릴리즈 될 예정이다. ISO 26262에서는 안전 요구사항에 대해 Walk through, 인스펙션, 준정형 검증, 정형 검증을 통해 전기전자시스템 요구사항에 대한 검증을 요구하고 있다. 본 논문에서는 ASIL (Automotive Safety Integrity Level) D등급의 전자식 주차 브레이크 양산 프로젝트의 전기전자시스템 요구사항 검증에 모델검증을 적용함으로써 전기전자시스템 요구사항 검증 시 모델검증의 효율성을 기술한다. There are increasing policies and safeguards to prevent various human resource losses with the development of automotive industry. Currently ISO26262 1^st edition has been released in 2011 to ensure functional safety of electrical and electronic systems and the 2^nd edition will be released in the second half of 2016 as part of a trend. The E/E (Electrical & Electronics) system requirements verification is required through walk-through, 인스펙션, semi-formal verification and formal verification in ISO 26262. This paper describe the efficiency of model checking for the E/E system requirements verification by applying the product development project of ASIL (Automotive Safety Integrity Level) D for the electrical parking brake system.

모델기반 컴포넌트 개발방법론의 지원을 위한 추상컴포넌트 자동 추출기법

윤상권 ( Sang Kwon Yun ),박민규 ( Park Min Gyu ),최윤자 ( Choi Yun Ja ) 한국정보처리학회 2013 정보처리학회논문지. 소프트웨어 및 데이터 공학 Vol.2 No.8

추상적 미술 작품의 감상에 따른 뇌파 변화 연구: 몬드리안과 칸딘스키의 작품을 중심으로

이경용 ( Kyoung Yong Lee ),최두현 ( Doo Hyun Choi ),이내선 ( Nae Sun Lee ),최윤자 ( Yun Ja Choi ),김강민 ( Kang Min Kim ),손철성 ( Cheol Sung Son ) 한국예술교육학회 2015 예술교육연구 Vol.13 No.3

미술 작품의 감상과 뇌파의 변화와 관련된 선행 연구에서 시각 자극으로 주로 사용된 것은 단순한 기본 색상이거나 구상 형태의 작품이며, 추상 미술 작품을 시각 자극으로 활용한 경우는 거의 없었다. 이 연구에서는 추상 미술 작품을 시각 자극으로 사용하고, 나아가 기하학적 추상 미술 작품과 서정적 추상 미술 작품으로 세분하여 뇌파나 정서에서 어떤 변화가 있는지를 분석하였다. 그리고 작품의 감상자를 미술 디자인 전공자와 비전공자로 구분하여 전문적 지식의 소유 여부에 따라 뇌파 변화에서 어떤 차이가 있는지도 분석하였다. 이 연구의 결과는 다음과 같다. 첫째, Kandinsky의 서정적 추상 그림을 감상했을 때보다는 Mondrian의 기하학적 추상 그림을 감상했을 때 O1, O2에서 RFA 평균값이 더 높게 발생하였다. 규칙적 패턴이 없는 무질서한 서정적 추상 그림을 감상할 때보다 일정한 규칙성을 발견하기 쉬운 기하학적 추상 그림을 감상할 때 자극의 수용자는 더 안정적이고 편안한 마음의 상태가 된다. 둘째, 기하학적 추상과 서정적 추상 자극이 주어질 경우에 자극의 종류와 관계없이 디자인 전공자 집단이 비전공자 집단에 비해 Fp1, F3에서 RHB 평균값이 모두 높게 나타났다. 이것은 비전공자 집단이 추상적 시각 자극을 단순하게 감각적 형태로만 인지한다면, 디자인 전공자 집단은 그것을 학습 내용이나 배경 지식 등을 동원하여 종합적으로 사고하면서 지적 형태로 인지하기 때문이다. 이러한 연구 결과는 효과 적인 교육이나 정서적 안정을 위한 환경을 조성하는 데 활용될 수 있다. 학생들의 불안한 정서를 안정 시키고 학습에 대한 관심이나 정신적 각성을 유도하기 위해서는 불규칙적인 복잡한 형태의 추상적 그림 보다는 규칙적이고 단순한 추상적 그림을 보여주는 것이 효과적일 것이다. 그리고 추상 그림과 같은 시각 자극을 활용하여 학생들을 지적인 긴장 상태로 만들어 학습에 집중할 수 있는 정서적 환경을 조성하기 위해서는 미술 작품 등에 대한 이론적 학습이나 감상 활동 등을 통해 예술적 지식을 습득하거나 예술적 소양을 쌓을 수 있는 예술 교육이 지속적으로 이루어져야 할 것이다. In the precedent studies about the relation between the appreciation of art and the change of EEG visual stimuli were the basic colors and the figurative art. We can not find the abstract art as visual stimuli in those. We studied the change of EEG by the appreciation of abstract art in this paper. We analysed the change of EEG when the examinees appreciated different abstract arts. We analysed the different changes of EEG between design majors and non-design majors when they appreciated abstract arts. The results of this study are as follows. First, the mean value of RFA in O1 and O2 was higher when the examinees appreciated the geometric abstract art of W. Kandinsky than the lyrical abstract art of P. Mondrian. The mind of examinees became more tranquil and comfortable when they appreciated the geometric abstract art composed regularly than the lyrical abstract art composed irregularly. Second, the mean value of RHB of design majors in Fp1 and F3 was higher than that of non-design majors when the examinees appreciated both the geometric abstract art and the lyrical abstract art. The non-design majors cognized abstract visual stimulus in the form of sensibility and the design majors cognized it in the form of intelligence using their background knowledge and thinking comprehensively. We may use the results of this study to make proper circumstances for efficient education or comfortable mind. If we want to make the unstable mind of students comfortable and make them pay attention to learning and awakening, it may be effective to show students the simple and regular art such as geometric abstract art than the complex and irregular art such as lyrical abstract art. If we want to lead students to intelligent tension and make emotional circumstance of paying attention to learning by making use of visual stimuli such as abstract art, the art education may be necessary to learn the knowledge of art and to build the culture of art by theoretical study and appreciation of art.

선택속성에 기초한 특급호텔 이미지 포지셔닝에 관한 연구 : 부산지역을 중심으로

범설균(Bum Sul-Kyoon),전재균(Jun Jae-Kyoon),허양회(Huo Yang-Hwae),최윤자(Choi Yun-Ja) 동북아시아문화학회 2009 동북아 문화연구 Vol.1 No.20

This study was initiated to ideally subdivide the market through a desirable image evaluation by each hotel and to provide recommendation to maintain a predominant position differentiated from othe competing hotels. Individual perception on hotel is made through selectively perceived actions shaped by individuals's own values, experience, desires, and information, and it is stimulated by various information flows. A research and an analysis on how customers perceive and recognize hotels are very important to devise hotel marketing strategies. The purpose of this study is to understand which properties, in selection a hotel enterprise, customers make an assessment with: and, by examining how customers perceive these properties, and to suggest the perception of the similarities of each hotel enterprise and provide the perception of selected properties among competitive hotels. The followings are specific objectives to accomplish this study's purpose: First, based on the exiting literature and previous studies, it examines theories of image positioning and selective properties of hotel companies. Second, it grasps effective causes in relation to hotel's selective properties and analyzes the similarities among deluxe hotels in Busan. Third, it measures the degrees of preference and perception based on selective properties of deluxe hotels in Busan.