• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (1)
• /
• pp.653-655
• /
• 2000

버퍼넘침(buffer overflow)은 특정 프로그램 언어에서 발생하는 배열의 경계파괴 현상을 말한다. 그 대표적인 언어로서 C/C++을 들 수 있는데, 이들 언어는 기본적으로 스트링(문자열)을 정의함에 있어서 크기속성을 배제하고 끝을 의미하는 종료문자(delimiter character, NULL)을 사용함으로써 배열(버퍼)의 경계침범 가능성을 허용하고 있다. 이때 스택영역에 할당된 버퍼가 넘침다면, 주변에 위치한 지역변수, 레지스터 보관, 복귀주소 등의 값이 변질되어 원래의 의도된 제어흐름을 보장할 수 없게 된다. 특히 복귀주소 부분을 의도적으로 침범하여 특정 값을 덮어쓸 수 있다면 해당 프로그램의 동작을 인위적으로, 그리고 자유롭게 변경할 수 있게 된다. 본 논문에서는 이와 같은 스택영역에서의 버퍼넘침을 사용한 제어흐름 변경 해킹기법의 과정을 현존하는 UNIX 시스템 및 C/C++ 언어를 이용하여 살펴보고 대응방향을 모색한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2022년도 추계학술발표대회
• /
• pp.684-686
• /
• 2022

다양한 언어로 소통하고 있는 우리는 다른 언어와 교류하기 위해 번역, 통역의 존재가 필수가 되기도 한다. 하지만 음성언어를 사용하지 않는 즉, 손으로 언어를 표현하는 수어를 번역하는 통역의 존재는 아직 실현되지 않았다. 이에 본 논문에서는 MediaPipe와 OpenCV 라이브러리를 이용하여 손의 형태를 인식하고 CNN 알고리즘을 통한 텍스트 데이터화 하여 수어 동작을 학습시켜 이를 번역시켜주는 시스템을 연구한다. 이를 통해 공공기관을 이용함에 불편함을 줄이고, 농인의 의사를 보다 빠르게 파악할 수 있도록 도와주는 번역 시스템 제작하는 것에 목적이 있다.

• 아동학회지
• /
• 제5권
• /
• pp.47-52
• /
• 1984

인지 어휘 유형(cognitive dictionary)이란 단어 연상의 반응 어휘를 인지 유형에 따라 분류, 분석하는 것을 가리킨다. 인지 어휘 유형 개념을 McNeill의 언어 발달 연구에 준하여 논의하였다. 즉 아동의 어의(語義) 발달은 자작문(自作文) 형식(形式) 표현에서 시작되어 어휘 사용에 이른다는 것이다. 한편 Moran은 범세계적으로 유아들의 인지 어휘 유형은 단어의 동작적(動作的) 특성에 주로 의거한다는 것을 발견했는데 이는 언어의 효시에 관한 Piaget 나 Bruner의 이론과 일치하는 것이다. Moran의 인지 어휘 유형의 추가 개념은 Bruner의 심상(心象)(ikonic representation)에 의한 관계, 기능적 관계 (functional representation), 논리적(logical)관계를 포함한 단어의 연합 관계에 반영시켰다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (B)
• /
• pp.643-645
• /
• 2001

자바 가상교육센터(Java Virtual Education Center)는 자바 프로그래밍 교육을 위한 가상교육시스템으로 인터넷과 웹 브라우저를 통해 사용자들에게 투명하게 자바 프로그래밍 실습 환경을 제공한다. 이것은 자바 컴파일러 실행을 웹 기반으로 구현함으로써 가능하게 된다. 본 논문에서는 자바 가상교육센터 구현에 적용된 자바 기술을 정리하고, 실제 자바 가상교육센터의 구조 및 동작원리를 설명한다. 또한 구현모델이 어떠한 설계개념을 가지고 구현되었는지를 살펴봄으로써, 향후 자바뿐 아니라 C나 C++와 같은 다른 프로그래밍 언어에도 적용할 수 있는 종합적인 프로그래밍언어 가상실습실의 구현 가능성을 제시한다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 1991년도 제3회 한글 및 한국어정보처리 학술대회
• /
• pp.133-138
• /
• 1991

새로운 한글 자판 배열이 제안되었다. 자판에서 키 선택을 위한 기본적인 원칙들과 유추되는 제안들이 간략하게 설명되었으며, 나아가 이들에 토대한 키 배열이 선택되었다. 가장 중요한 원칙은 한글에 대한 인지모형을 따라서 자음중에서 초성자와 종성자의 구분이 같은 키에서 Shift의 동작의 유무로 이루어지는 점이며, 따라서 2벌식과 3벌식의 중간 형태로 생각될 수 있으므로, 본 자판 배열은 2.5벌식으로 명명하였다. 구체적인 키들의 배열은 최근에 조사된 신빙성있는 현대 한글에 대한 자소 빈도수와 손가락에 대한 부하를 고려해서 결정되었다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (A)
• /
• pp.31-33
• /
• 2001

최근 web기반에서 언제 어디서나 사용자만의 컴퓨터환경을 제공하는 Virtual OS를 구현한 사례가 많이 발표되고 있다. [1, 2, 3]. Virtual OS는 Unix나 Windows같은 Real OS를 기반으로 하여 web에서 OS의 기능을 구현한 것으로 Real OS에 있는 프로그램을 실행하고 파일을 관리한다. 본 논문에서는 Web기반 Virtual OS에서 동작하는 C 언어 Preprocessor를 설계한다. Web기반으로 preprocessor를 설계하면 어디서나 사용자가 프로그래밍을 할 수 있는 환경을 구축할 수 있다. 본 논문에서는 Linux를 기반으로 preprocessor를 구현하였으며, 분석 결과를 시뮬레이션을 통해 알아보았다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (A)
• /
• pp.43-45
• /
• 2001

본 논문에서는 MPEG 비디오 코어 프로파일 디코더 ASIC 상위 구조 설계를 시스템 수준에서 검증하는 기법을 제시한다. 상위 구조 설계는 RISC 프로세서와 펌웨어 그리고 일반 로직이 병존하는 혼합형 구조라는 것과 설계의 상위 단계라는 특징을 가지고 있기 때문에 Verilog HDL과 CSIM 모델 두 가지 모델이 혼합되어 있다. 통합 환경은 C 언어를 이용한 하드웨어 모델링 기법과 PLI를 통한 프로그래밍 언어와 Verilog의 통합 방법을 이용하여 설계 단계에서 각 블록의 특성에 가장 적합한 모델을 이용하여 동작 검증이 가능하도록 하였다.

• 한국정보처리학회논문지
• /
• 제5권8호
• /
• pp.2164-2178
• /
• 1998

본 논문에서는 한 사이클에 여러 개의 명령들이 다중 이슈되어 명령어 수준에서 병렬처리되는 ILP 프로세서의 성능을 측정하고 평가하는 시스템을 개발한다. 개발되는 시스템은 C 컴파일러와 시뮬레이터로 구성된다. C 컴파일러는 C 소스 프로그램을 입력으로 받아 3-주소 코드형태의 중간언어를 생성한다. 생성된 중간언어는 ILP 프로세서의 환경 파라미터와 함께 시뮬레이터에 입력되어 시뮬레이션된 후 메모리 내용, 수행된 클럭 수 및 명령 트레이스, 수행된 명령들의 동적 빈도수, 분기명령의 예측률, profiling 정보 등을 생성한다. 개발된 성능측정 시스템의 동작 검증을 위하여 순차이슈 되어 정적으로 스케쥴링 되는 조건실행 방식의 성능과 분기처리 방식의 성능을 측정하여 분석한다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2002년도 춘계학술발표논문집(상)
• /
• pp.58-63
• /
• 2002

본 논문에서는 분산 환경을 위해 OMG에서 발표한 CORBA의 표준에 따라 하는 컴파일러의 전반부를 위해 OMG IDL 컴파일러를 사용하였다. CORBA에서 클라이언트와 서버간의 상호 동작을 위해 인터페이스를 정의한다. CORBA에서 인터페이스는 IDL(Interface Definition Language)를 통해 정의를 할 수 있다. IDL은 CORBA의 인터페이스를 기술하기 위한 추상 표기법이므로 개발에 사용되는 언어와는 연관성이 없다. 이를 개발에 사용하기 위해서 해당 언어로 맵핑을 하여야 한다. 본 논문은 IDL로 정의된 인터페이스를 C++로 맵핑하도록 하여 분산 객체 환경을 지원하도록 하기 위한 것이다. IDL 컴파일러는 IDL 정의를 입력 받아 어휘 및 구문 분석을 한 후 AST 트리를 생성하며, 생성된 각 노드를 통해 맵핑된 C++ 코드를 생성토록 한다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2004년도 춘계학술발표대회논문집
• /
• pp.354-357
• /
• 2004

자바는 스마트 카드 상의 다중 애플리케이션 기능을 지원하기 위한 가장 유용한 프로그래밍 언어이다. $\lrcorner$CVM(Java Card Virtual Machine)은 자바 언어로 작성된 프로그램들을 스마트 카드 상에서 동작 가능하게 한다. 현재 스마트 카드는 작은 프로세서를 가지고 있으며 이런 제한적인 환경에서의 JCVM 성능 향상은 매우 중요한 이슈 중의 하나이다 그리고 기존의 스마트 카드는 쓰기 속도가 느린 EEPROM에 객체를 생성하여 사용함으로 JCVM의 성능 저하를 가져왔다. 본 논문에서는 스마트 카드 메모리 관리, 즉, EEPROM에서 RAM으로 객체를 이동시킴으로써 JCVM 성능을 보다 향상시키는 알고리즘에 관해 제안하고자 한다.