• Proceedings of the Korean Society of Computer Information Conference
• /
• 2022.07a
• /
• pp.409-412
• /
• 2022

본 논문에서는 대입수시전형에서 생활기록부 입력은 대한민국 입시를 결정하는 매우 중요한 평가자료이다. 30명의 교사를 대상으로 실시한 설문조사를 통해서 교사들이 생활기록부를 작성하는데 가장 많이 참고하는 자료로는 수행평가 결과물, 발표내용, 보고서, 감상문 등의 학습 결과물(90%), 학생들이 작성한 자기평가서(73.3%), 관찰 평가지(50%)로 나타났으며, 80%(24명)의 교사들이 생활기록부를 작성하는데 고충을 겪고 있음을 확인할 수 있었다. 교사들이 느끼는 고충의 원인으로는 학생들의 개인별 특성 파악이 어려워 차별성있게 작성하는 것(76.7%)을 가장 힘들어 하였고, 작성해야 할 많은 수의 학생(60%), 문구를 만드는데 대해 부담(86.7%)을 느끼는 것으로 나타났다. 이 과정에서 교사의 전문성 뿐만 아니라 기계적이고 반복적인 작업도 많이 요구되고 있기 때문에, 생활기록부를 작성하는데에 도움을 줄 수 있는 프로그램 개발이 필요하다고 고안을 내었다. 교사들 역시 반복적이고 일률적인 생활기록부 작성에 도움을 줄 수 있는 프로그램이 있다면 유용하게 활용할 것이라는 응답이 90%였다. 따라서 본 연구에서 자연어 처리 인공지능 기술을 활용하여 교사들이 생활기록부를 작성하는데 있어 기계적이고 단순한 작업을 도와 주는 프로그램 개발에 대한 연구의 필요성을 제시하였다. 제안하는 프로그램은 학생들의 탐구보고서, 토론, 발표, 감상문 등의 생화기록부 작성 참고자료들을 텍스트로 변환하고 추상요약(Abstractive Summarization)을 통해 교사들이 효율적으로 작성하는데 활용될 수 있도록 설계하였다. 연구 결과 생활기록부 작성 참고자료를 텍스트로 변환하는 것과 추상요약을 할 수 있는 개방형 데이터셋까지는 확보하였다. 추상요약을 구현하는 방법에 대해서는 보다 심도 있는 추가연구가 필요하였다. 이를 통해 교사들이 교육 본질에 더욱 충실할 수 있는 환경을 마련하고, 내실 있는 생활기록부 작성이 공교육 신뢰 제고에 밑바탕이 되고자 한다.

• Applied Microscopy
• /
• v.37 no.2
• /
• pp.73-82
• /
• 2007

The antennae of millipedes have a prominent function in detecting various types of environmental stimuli. The structural modification of the antennae is closely associated with the degree of sense recognition. Here we study functional morphology of the antennae of the millipede Cawjeekelia pyongana using field emission scanning electron microscope (FESEM). The antennae generally include eight segments, called articles. On the surface of the antennae, there are a variety of sensory receptors which include olfactory and mechanical receptors. We could identify four different types of antennal sensory organs in C. pyongana as follows: apical cone (Ac), trichoid sensilla (Ts), chaetiform sensilla (Cs) and basiconic sensilla (Bs). The most prominent of which is four APs at the 8th article. Both of the Is and the Cs are abundantly observed almost all of the antennal segments. They are long and strong bristles with longitudinal grooves acuminating toward the tip. The Bs is further divided into three subtypes: large basiconic sensilla $(Bs_1)$, small basiconic sensilla $(Bs_2)$ and spiniform basiconic sensilla $(Bs_3)$. The $Bs_1$ is located at the 5th and 6th articles, while the $Bs_2$ and $Bs_3$ can be seen at the 5th and at the 7th article, respectively.

• Journal of the Korean Society of Costume
• /
• v.41
• /
• pp.5-21
• /
• 1998

This study aims to show how tradition and modernity has interacted to produce the aesthetic consciousness of body and dress in contemporary Korea. For this purpose, documentary studies were proceeded. And photos of the modern Korean dress from 1980 to 1997 were analyzed. The results are as follows: First, the body form was studied in terms of exposure and concealment of the physical body parts and the perception of body was classified into two categories, the abstract and the realistic. And the dress form was studied in silhouette and the perception of dress was assorted as body priority and clothes priority. Second, the aesthetic values of body were categorized to divinity, humanity and sexuality. And the aesthetic values of dress were defined in relation to the aesthetic values of body as ascetic beauty, pure beauty, natural beauty and erotic beauty. Third, while the traditional Korean costume (Hanbok) pursues the aesthetic values of divinity and humanity of human body and ascetic beauty, pure beauty and natural beauty on the aesthetic values of humanity of human body and the pure beauty and natural beauty of dress. The contemporary Korean fashion expresses the aesthetic values of divinity, humanity and sexuality of human body and the aesthetic values of ascetic beauty, pure beauty, natural beauty and erotic beauty of dress. In conclusion, the emphasis of sexuality of body and erotic beauty of dress in the modern Korean dress can be interpreted as the change of the aesthetic consciousness of body and dress in contemporary Korean by the influence of the western modernity.

• Journal of Intelligence and Information Systems
• /
• v.10 no.2
• /
• pp.165-187
• /
• 2004

Constraint Programming in AS and Optimization in OR started and have grown in different backgrounds to solve common decision-making problems in real world. This paper tries to integrate results from those different fields by suggesting a hybrid solver as an integration framework. Starting with an integrating modeling language, a way to implement a hybrid solver will be discussed using Warren's abstract machine and an finite domain constraint programming solver structures. This paper will also propose some issues rising when implementing the hybrid solver and provide their solutions.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.326-328
• /
• 2000

본 논문에서는 지연계산기반 함수형 언어 프로그램을 받아 Java 프로그램을 목적 코드로 생성하는 컴파일러를 설계하고 구현한다. 이 컴파일러는 제한된 형태의 함수형 언어 Shared Term Graph(STG)를 입력언어로 하는 추상기계 Spineless Tagiess G-Machine (STGM)을 수행 모델로 한다. 본 논문에서는 명령형 언어 L-code를 제안하고 이를 입력언어로 하는 새로운 형태의 STGM인 L-Machine을 제안한다. STG 언어를 L-code로 변환하는 컴파일러와 L-code를 Java로 변환하는 컴파일러를 설계하고 구현함으로써 원하는 컴파일러를 구성한다. 그리고 Glasgow Haskell 컴파일러를 전단부로 하여 지연계산 기반 함수형 언어 Haskell로 작성된 프로그램들을 컴파일하여 STG 프로그램으로 변환한 다음 본 논문에서 구현한 컴파일러로 이를 Java 프로그램으로 변환한다. 변환된 Java 프로그램을 Sun JIT 컴파일러로 컴파일하여 수행한 성능 평가 결과를 제시한다.

• The Journal of the Korea Contents Association
• /
• v.10 no.2
• /
• pp.89-98
• /
• 2010

The enterprise system is becoming more complex and larger. With the changes of the times, the system is developing to object-oriented programming method(OOP). However, the same code inserts to the core class repetitiously in the OOP, that causes a decrease in productivity and a trouble of application of another requirement. To solve this weak point, we propose a weaving mechanism what applies to metadata and crosscutting concern. For a class optimization and an integration between different languages, we take the following way. This paper uses three ways, those are, metadata generation using reflection, transformation to Abstract Syntax Tree, and mapping through crosscutting information specified XML. Through the proposed theory, class optimization can be accomplished by solving a functional decentralization and a confusion of codes.

• The Journal of the Korea Contents Association
• /
• v.11 no.5
• /
• pp.75-83
• /
• 2011

Aspect-oriented programming is the paradigm which extracts crosscutting concern from a system and solves scattering of a function and confusion of a code through software modularization. Existing aspect developing method has a difficult to extract a target area, so it is not easy to apply aspect mining. In an aspect minning, it is necessary a technique that convert existing program refactoring elements to crosscutting area. In the paper, it is suggested an aspect mining technique for extracting crosscutting concern in a system. Using abstract syntax structure specification, extract functional duplicated relation elements. Through Apriori algorithm, it is possible to create a duplicated syntax tree and automatic creation and optimization of a duplicated source module, target of crosscutting area. As a result of applying module of Berkeley Yacc(berbose.c) to mining process, it is confirmed that the length and volume of program has been decreased of 9.47% compared with original module, and it has been decreased of 4.92% in length and 5.11% in volume compared with CCFinder.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05c
• /
• pp.1797-1800
• /
• 2003

내장형 시스템 환경에서는 급변하는 시장의 적시성 요구(time-to-market)와 저렴한 비용으로 다양한 사용자의 요구사항을 효율적으로 반영해야 한다. 그러한 특징에 의해 내장형 시스템 환경에서는 재구성 가능한 컴포넌트 기반 소프트웨어 개발방법이 주목받고 있다. 또한 내장형 시스템 소프트웨어 개발에는 이식성, 신뢰성, 재사용성에서 강점을 가진 자바 가상머신이 주목받고 있다. 따라서 본 논문에서는 컴포넌트 기반 내장형 자바 가상머신에 적합한 스케줄러를 개발하기 위해, 추상 컴포넌트 조림기법과 의존성 검사 방법을 적용한 컴포넌트 스케줄링 큐를 적용하여, 컴포넌트간의 문맥교환을 줄여 수행성능을 향상시킨 스케줄러의 설계 기법에 대하여 소개한다.

• Journal of The Korean Association For Science Education
• /
• v.42 no.1
• /
• pp.33-49
• /
• 2022

This study aims to explore, using both quantitative and qualitative data analyzing the structural relationship between creative process and product, the types of elementary students' scientific creativity. For this, 105 fifth-graders responded to a scientific creativity test that assesses creative process and product, and four students who scored the highest were interviewed. In the interview, they were asked about the cognitive process they used in generating the creative product. Then, correlation analysis and structural equation modeling were used, along with the interview data, to type the students. The main findings of the study are as follows. First, the structural equation modeling of creative process and product gave satisfactory results in absolute and incremental fit indexes. Second, among the three components of creative process - knowledge, inquiry skill-observation, and creative thinking skills -, only creative thinking skills had significant effects on creative product. Third, divergent thinking skills had the strongest correlation with the creative product, followed by convergent thinking skills. Associational thinking skills did not have significant correlation. Fourth, elementary students' scientific creativity could be categorized into Creative Type, Useful Type, Original Type, and Non-creative Type, based on their creative product. The Non-creative Type could be further classified into Common Type, Repetitive Type, Non-response Type, Irrelevant Type, and Abstract Type. Fifth, most students used either knowledge or observation in their creative process, making them either Knowledge-oriented Type or Observation-oriented Type. In addition, there were DT Type, DT-CT Type, and DT-CT-AT Type among the students, based on the kinds of creative thinking skills they mainly used in the process. This study provides implications for educators and researchers in scientific creativity education.

• Journal of KIISE:Software and Applications
• /
• v.28 no.12
• /
• pp.955-965
• /
• 2001

We propose a systematic method of compiling Haskell based on the spineless Tagless G-machine (STGM) for the Java, Virtual Machine (JVM) We introduce an intermediate language called L-code to identify each micro-operation of the machine by its instruction, Each macro operation of the machine is identified by a binding Each instruction of the L-code can be easily translated into Java statements. After our determination on representation and L-code program from a STG program is translated into Java program according to out compilation rules. Our experiment shows that the execution times of translated benchmarks are competitive compared with those in Haskell interpreter Hugs, particularly when Glasgow Haskell compiler's STG -level optimizations are applied.