• 한국컴퓨터정보학회논문지
• /
• 제11권1호
• /
• pp.107-117
• /
• 2006

자바 언어는 객체지향 언어이며 다양한 개발 환경과 이식성에 맞는 언어로써 각광을 받고 있다. 하지만 자바 언어는 실행속도가 느리다는 단점을 가지고 있다. 이러한 이유는 자바 프로그래밍 환경에서 자바 가상 기계 코드인 바이트코드가 인터프리터 방식으로 사용되기 때문이다. 따라서 프로그램의 수행에는 실행속도가 현저히 저하되는 단점이 발생하게 된다. 또한 자바 언어는 컴파일러를 통해 생성된 클래스 파일에 프로그램의 수행과 관련된 정보가 숨겨져 있다. 클래스 파일의 분석으로 바이트코드를 위한 효율적인 분석 및 최적화를 할 수 있다. 본 논문에서는 자바 클래스 파일의 정보들을 이용해 자바 바이트코드 분석을 하려한다. 분석을 위해 정적 단일 배정문 형태로 변환하게 되는데 정적 단일 배정문 형태는 정의-사용체인에서 변형된 형태이다. 정적 단일 배정문 형태는 각각의 타입들을 오직 한번만 배정하고 재명명함으로써 프로그램을 정적으로 분석 할 수 있게 한다. 정적 단일 배정문 형태는 최적화와 분석을 위한 효과적인 중간 코드이다.

• 정보처리학회논문지A
• /
• 제11A권2호
• /
• pp.165-174
• /
• 2004

현재 유선 인터넷 컨텐츠와 비교할 때 무선 인터넷 컨텐츠가 크게 부족하여 유선 컨텐츠들을 무선 인터넷 컨텐츠로 변환시키고자 하는 요구가 높다. 본 연구의 변환 서버는 사용자 단말기로부터 요청을 자동적으로 인식하여 대상 URL 서버상의 원본 문서를 검색하여 이들을 중간 언어인 metaXML 문서로 생성하고 이를 사용자 단말기에 적합한 무선 마크업 언어 문서로 변환 출판한다. 또한, 본 변환 서버는 이미지 변환을 위하여 이미지 변환기와 기존 웹 페이지들의 재구성 저작 도구인 Clipper와 연동하여 동작한다. 대상 URL의 정적/동적 웹 페이지를 처리하는 변환 서버의 처리 능력에 대하여 성능 실험을 수행하였으며, 동적 문서에 대한 변환 실험 결과에 따르면, 변환 서버내 스레드 풀의 스레드 개수를 5개로 유지할 때 변환 서버가 가장 나은 처리량을 나타내었다.

• 정보처리학회논문지A
• /
• 제16A권4호
• /
• pp.245-254
• /
• 2009

임베디드 프로세서 사용이 증가함에 따라 임베디드 프로세서를 위한 컴파일러를 시기 적절히 개발해야 할 필요성이 증가하고 있다. 컴파일러 후단부를 수정하여 새로운 컴파일러를 구성하는 재겨냥 기법이 이에 적합한 기법으로 채택되고 있다. 이 논문에서는 재겨냥성 C 컴파일러를 테스트하기 위한 테스트 집합 생성 시스템을 제안한다. 제안한 시스템은 문법 커버리지 개념을 이용하여 테스트 집합을 생성한다. 일반적으로 원시 프로그래밍 언어의 문법을 이용하여 테스트 집합을 생성하면 방대한 크기의 테스트 집합이 얻어진다. 그러나 신속히 컴파일러를 출시해야하는 상황에서는 방대한 테스트 집합 크기가 문제가 될 수 있다. 이에 이 논문에서 제안한 시스템은 중간 코드를 고려하여 테스트 집합을 축약하는 기능을 탑재하고 있다. 실험 결과에 따르면, 비록 축약된 테스트 집합 크기는 원본 테스트 집합 크기의 평균 10%에 불과하지만 원본 테스트 집합이 검출할 수 있는 컴파일러 오류의 75% 정도를 검출할 수 있음을 알 수 있었다. 이는 본 논문에서 제시한 축약 기법이 임베디드 컴파일러 개발 초기 단계에서 효과적으로 사용될 수 있음을 의미한다.

• 디지털융복합연구
• /
• 제17권12호
• /
• pp.59-65
• /
• 2019

본 연구는 비전공생 대상의 프로그래밍 교육에서 중·소규모의 학생 수로 구성된 학습에서도 학습 성취도를 높일 수 있는 방안으로 동질적 학습 집단 구성의 필요성을 제안하기 위하여 진행되었다. 학부전공별 수업이 진행되고 있는 현실에서 이러한 집단구성이 학습자를 동질 집단으로 분류할 수 있는 요인인지 살펴보았다. 학습내용의 난이도는 동질 집단을 분류하는 요인에 영향을 미칠 것으로 보고, 난이도가 쉬운 중간성취도와 기말성취도를 나누어 요인을 분석하였다. 또한 난이도와 상관없이 학기내 지속적 학습 의지를 갖는데 영향을 끼치는 요인을 분석하기 위해 두 성적간의 차이에 영향을 미치는 요인도 살펴보았다. 학습자의 성별과 학부전공은 학업성취도에 유의미한 영향을 미치지 않았다. 현재 학부전공별로 프로그래밍 수업이 진행되고 있는 수업환경을 재고해볼 필요가 있을 것으로 보인다. 난이도가 쉬운 학습내용의 학업성취도에는 학습자의 개인적동기가 영향을 미쳤고, 난이도가 어려운 학습내용의 학업성취도와 성취도의 유지에는 수행자기효능감이 영향을 미치는 것으로 나타났다.

• 한국산학기술학회논문지
• /
• 제9권6호
• /
• pp.1659-1665
• /
• 2008

본 논문에서는 무선 인터넷 서비스를 보다 원활하게 제공하기 위해서 HTML Filter의 설계 및 개발을 제안한다. HTML Filter는 HTML로 작성된 웹 문서를 WAP 환경에 맞는 휴대용 무선 장비에 적합한 WML 문서로 자동으로 변환한다. HTML Filter는 HTML 프로그램을 토큰 단위로 구분하는 "HTML 어휘 분석기", 어휘 분석 단계에서 만들어진 토큰들을 받아 들여서 프로그램의 문법적 구조를 분석하는 "HTML 구문 분석기", HTML 프로그램의 의미를 보다 효율적으로 표현할 수 있는 중간언어인 "HTML 추상구문트리", 그리고 중간언어인 추상구문트리를 WML 프로그램으로 변환하는 "목적 코드 WML 생성기"로 구성되어 있다. 기존의 컴파일러 개발 기술을 이용하여 제안된 번역 방식은 기존의 방식보다 개발하기 쉽고 효율적이어서 다른 무선 언어 변환 방식에도 응용할 수 있을 것으로 본다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제27권8호
• /
• pp.886-901
• /
• 2000

네트웍을 이용한 분산 컴퓨팅 환경이나 소프트웨어의 안전성이 중요한 시스템 등에서, 외부로 부터 전달되는 코드의 안전성을 검증하는 일이 점점 더 중요한 문제가 되고 있다. 전자메일에 첨부되어 온 코드나 웹브라우저를 통해 외부로부터 전달된 코드를 수행하는 일이 일상생활에서 자주 발생하고 있다. 본 논문에서는 기계어 코드의 성질을 검증하는 방법을 제안한다. 코드제공자가 기계어를 만듦과 동시에 그 기계어 코드의 성질을 만들어내어 전달하면, 코드사용자는 전달받은 코드와 그 성질이 부합하는지를 검사하는 것이다. 소스언어의 안전성은 잘 정의된 컴파일러 시스템이 검증해 주지만, 중간언어나 기계어 코드의 성질을 검증하는 잘 정의된 방법은 아직 개발되어있지 않다. 중간언어로 etySECK을 설계하고 이 언어로 작성된 프로그램의 성질을 검증하는 방법을 제안한다. 그리고 타입과 효과분석방식을 사용하여 설계된 시스템의 안전성을 증명한다.

• 한국융합학회논문지
• /
• 제10권5호
• /
• pp.119-124
• /
• 2019

본 연구의 목적은 일본어 중급 단계 학습자들에게 NHK"NEWS WEB EASY"라는 온라인 사이트를 소개하고, 오프라인 수업에서 "NEWS WEB EASY"의 기사를 활용한 수업설계방안을 통해 블랜디드러닝의 효과적인 방법을 제안하는 것이다. 본고에서는 "NEWS WEB EASY"를 활용한 블랜디드러닝을 통하여 첫째, 다양한 어휘 학습능력을 배양하고. 둘째, 다양한 분야의 기사를 통해 일본문화 및 일본사정을 익히고. 셋째, 기사별 리스닝 파일을 통해 자연스럽게 리스닝 트레이닝을 실시하고, 넷째, 후리가나가 없는 파일을 학습자들에게 배포, 검색하게 함으로 한자 읽기연습 및 어휘실력 향상에 도움을 주고. 다섯째, 낭독연습을 통하여 스피킹 실력을 향상시키는 방법에 대하여 제시하였다. "NEWS WEB EASY"를 활용한 학습을 통해 어렵다는 선입견으로 접할 수 없었던 뉴스기사를 학습함에 따라 일본을 이해하고 일본어 실력향상에 많은 도움이 되었다는 사실을 알 수 있었다.

• 한국정보기술학회 영문논문지
• /
• 제10권1호
• /
• pp.71-83
• /
• 2020

In this paper, we propose a system that can detect the shape of a hand at high speed using an FPGA. The hand-shape detection system is designed using Verilog HDL, a hardware language that can process in parallel instead of sequentially running C++ because real-time processing is important. There are several methods for hand gesture recognition, but the image processing method is used. Since the human eye is sensitive to brightness, the YCbCr color model was selected among various color expression methods to obtain a result that is less affected by lighting. For the CbCr elements, only the components corresponding to the skin color are filtered out from the input image by utilizing the restriction conditions. In order to increase the speed of object recognition, a median filter that removes noise present in the input image is used, and this filter is designed to allow comparison of values and extraction of intermediate values at the same time to reduce the amount of computation. For parallel processing, it is designed to locate the centerline of the hand during scanning and sorting the stored data. The line with the highest count is selected as the center line of the hand, and the size of the hand is determined based on the count, and the hand and arm parts are separated. The designed hardware circuit satisfied the target operating frequency and the number of gates.

• International Journal of Computer Science & Network Security
• /
• 제22권11호
• /
• pp.331-337
• /
• 2022

Smart learning is augmented with digital, context-aware, and adaptable technologies to encourage students to learn better and faster. To ensure that digital learning is successful and that implementation is efficient, it is critical that the dimensions of digital learning are arranged correctly and that interactions between the various elements are merged in an efficient and optimal manner. This paper builds and discusses a basic framework for smart learning in the digital age, aimed to improve students' abilities and performance in learning. The proposed framework consists of five dimensions: Teacher, Technology, Learner, Digital content, and Evaluation. The Teacher and Learner dimensions operate on two levels: (a) an abstract level to fit in knowledge and skills or interpersonal characteristics and (b) a concrete level in the form of digital devices used by teachers and learners. Moreover, this paper proposes asynchronous online course delivery model. An Arabic smart learning platform has been developed, based on these smart learning core dimensions and the asynchronous online course delivery model, because despite the official status of this language in many countries, there is a lack of Arabic platforms to teach Arabic. Moreover, many non-native Arabic speakers around the world have expressed an interest in learning it. The Arabic digital platform consists of over 70 lessons classified into three competence levels: beginner, intermediate, and advanced, delivered by Arabic experts and Arabic linguists from various Arab countries. The five dimensions are described for the Arabic platform in this paper. Learner dimension is the Arabic and non-Arabic speakers, Teacher dimension is Arabic experts and Arabic linguistics, Technology dimension consists of technology for Arabic platform that includes web design, cloud computing, big data, etc. The digital contents dimension consists of web-based video, records, etc. The evaluation dimension consists of Teachers rating, comments, and surveys.

• 말소리와 음성과학
• /
• 제15권4호
• /
• pp.17-26
• /
• 2023

이 연구는 베트남인 성인 학습자들이 학습 단계별로 한국어 어두 초성 장애음을 어떻게 지각하는지 밝히고, 지각 훈련을 통해 오류가 교정될 수 있는지를 밝히는 것을 목적으로 한다. 이를 위해 베트남인 초급, 중급, 고급 학습자 105명을 대상으로 한국어 초성 장애음에 대한 지각 훈련을 실시하였다. 훈련 자료는 원어민 음성으로 녹음한 자연 자극으로 한국어의 최소대립쌍을 적극적으로 활용하여 제작하였다. 실험 집단에 속한 학습자들은 약 2주간에 걸쳐 20-40분의 자기주도적 지각 훈련을 5회 수행했고, 통제 집단에 속한 학습자들은 사전 테스트와 사후 테스트에만 참여하였다. 실험 결과 훈련 전에 잘 구분되지 않았던 음들에 대한 지각이 많이 개선되었고, 초급뿐만 아니라 고급 집단의 학습자들도 끝까지 교정이 잘 되지 않았던 음에 대한 효과를 보았다. 이 연구에서는 대규모의 지각 훈련을 통해 베트남인 학습자들이 한국어의 서로 다른 음을 구별하는 적절한 음향 단서를 학습하는 데 지각 훈련이 중요한 역할을 할 수 있음을 확인하였다.