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

O-tree 표현법을 이용한 기존의 플로어플랜 알고리즘은 결정적 기법에 기반한 것으로써, 회로의 각 모듈을 차례대로 삭제한 후 가장 좋은 다른 위치에 삽입하는 과정을 함으로써 해 공간을 검색해 간다. 이는 모듈을 처리하는 순서에 따라 결과가 결정되는 단점이 있다. 이런 단점을 해결하기 위해 본 논문에서는 Simulated Annealing 프레임을 이용하여 해 공간을 효과적으로 검색하는 방법을 제시한다. 이웃 해를 탐색하기 위한 플로어 플랜의 변형은 매우 단순하면서도 효과적인 두 가지 방법을 사용한다. 첫째 방법은 한 쌍의 모듈을 선택하여 상호위치를 맞바꾸는 방법이고, 둘째는 임의의 한 모듈을 선택하여 삭제한 후 삽입 가능한 모든 위치 중 임의의 한 곳에 삽입하는 연산을 사용한다. 실험 결과는 매우 고무적이다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제7권2호
• /
• pp.183-192
• /
• 2001

호스트-타겟으로 연결되는 내장형 시스템 개발 환경에서 호스트의 링커는 크로스 컴파일된 목적 화일을 타겟의 모듈들과 링킹하고 타겟을 다운로딩한다. 본 연구에서는 이와 같은 링커를 목적 화일 형식에 종속적인 모듈과 독립적인 모듈로 세분화하였다. 종속적인 모듈은 목적 화일로부터 화일 형식에 독립적인 링킹 정보를 추출하고, 독립적인 모듈은 이 링킹 정보로부터 실제적인 링킹을 담당한다. 이와 같은 세분화는 내장형 시스템 개발 환경에서 타겟 시스템에 대한 이식성을 높일 수 있다. 또한, 본 연구의 링커는 로딩되는 목적 화일 뿐만 아니라 이미 로딩된 타겟 모듈들에 대해서도 재배치를 적용하는 점진적 원격 링킹을 수행한다. 링커의 점진적 원격 링킹은 모듈 단위로 타겟으로 링킹할 수 있기 때문에 모듈들을 통합하여 타겟으로 링킹하는 방식 보다 링킹 시간을 단축할 수 있다. SPEC95 정수형 벤치마크 프로그램들에 대한 실험 결과 평균 64.90%의 감소율을 보였다. 또한, 링커의 점진적 원격 링킹은 사용자가 목적 화일들의 링킹 순서를 고려하지 않고 임의의 순서로 링킹할 수 있는 편의성을 제공할 수 있다. 현재, 본 연구의 링커는 상용화 준비 중인 내장형 응용 개발 환경 ESTO의 [1] 내부 모듈로 개발되었다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권10호
• /
• pp.636-652
• /
• 2008

본 논문에서는 업데이트 기록에 기반한 모듈단위 포인터 분석 알고리즘을 제안한다. 여기서 모듈이란 상호 재귀적인 함수들의 집합을 의미하며, 모듈단위 분석이란 한 모듈을 분석 시에 다른 모듈의 소스코드가 필요하지 않는 분석을 의미한다. 일반적으로 이러한 형태의 분석은 분석 대상 모듈의 호출 문맥을 알 수 없는 상태에서 분석을 수행하여야 하기 때문에, 프로그램의 흐름 또는 호출 문맥에 관련하여 분석의 정확도를 잃을 수 있다. 본 논문에서는 업데이트 기록이라 이름지어진 모듈단위 분석 공간을 고안하여, 프로그램 문맥과 흐름에 민감한 정확도를 가지는 모듈단위 포인터 분석 방법을 제안한다. 업데이트 기록은 함수의 호출 문맥에 독립적으로 메모리 상태를 요약할 수 있을 뿐만 아니라, 메모리 반응이 일어난 순서에 관한 정보를 유지할 수 있다. 업데이트 기록의 이러한 특성은 모듈단위 분석을 정형화하는데 효과적으로 사용되었을 뿐만 아니라, 분석의 정확도를 높이기 위해 죽은 메모리 반응 또는 관련된 별칭 문맥을 구분하는 데에도 효과적으로 사용될 수 있었다.

• 한국정보통신학회논문지
• /
• 제11권3호
• /
• pp.491-499
• /
• 2007

본 논문에서는 Reed-Muller 전개식에 의한 3치 논리 회로를 설계하는 한 가지 방법을 제시하였다. 제시된 3치 논리 회로의 설계 방법은 Reed-Muller 전개식의 계수에 대하여 모든 변수의 차수를 검사하여 RME 모듈(Reed-Muller Expansions module)의 수를 최소화하는 최적의 제어 입력 변수의 순서를 결정한다. 최적의 제어 입력 변수의 순서는 회로 비용 행렬의 계산에 사용되며, 이 회로 비용 행렬의 계산 결과를 이용하여 Reed-Muller 전개식에 의한 RME 모듈의 나무 구조의 3치 논리 회로를 설계한다. 제시된 방법은 최적 제어 입력 변수를 찾는데 유일하게 단위시간 내에 수행되며, 컴퓨터 프로그램이 가능하고, 프로그래밍 수행 시간이 $3^n$이다.

• 한국지능시스템학회논문지
• /
• 제7권4호
• /
• pp.1-8
• /
• 1997

본 논문에서는 관계형 데이타베이스 시스템을 위한 새로운 지능적인 질의 처리 시스템을 제안하였다. 애매한 질의와 관련된 기존의 연구결과를 분석하여 그 문제점들을 해결할 수 있는 새로운 질의 처리 시스템이 개발되었는데, 지능적 질의 처리기를 비롯한 각 모듈의 역할을 정의하였으며, 구문분석기, 질의변환 모듈, 추진 엔진, 의미 데이타베이스 모듈, 결과합성기 등의 알고리즘을 제시하였다. 또한 제안된 질의처리 시스템의 기반한 실제 작동의 과정을 한 예를 들어 검증한 결과 타당성 있는 결과가 입증되었으며, 사용자의 일반적인 질의뿐만 아니라 애미한 질의에도 지능적으로 대처하여 순서화된 겨로가를 보여주고 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2007년도 한국컴퓨터종합학술대회논문집 Vol.34 No.1 (C)
• /
• pp.287-292
• /
• 2007

본 연구에서는 동적 수신호 패턴에 대한 효과적인 인식을 위하여, 특징추출 단계와 패턴 분류 단계의 두 모듈로 이루어지는 복합형 신경망 모델을 제안한다. 특징추출 모듈을 위하여 고유의 특징표현 기법과 3차원 수용영역 구조의 CNN 모델을 제안한다. 이는 3차원 형식의 데이터로 표현되는 수신호 패턴으로부터 특징점의 공간적 변이뿐만 아니라 시간적 변이에 강인한 특징추출 기능을 제공한다. 패턴 분류 모듈에서는 효율적인 학습과 인식 기능을 위하여 수정된 구조의 GFMM 모델을 제안한다. 또한 학습패턴의 빈도를 고려한 활성화 특성과 학습 방법을 정의함으로써 기존의 GFMM 모델이 갖는 단점인 학습결과가 학습순서에 종속되는 특성과 비정상적 패턴 및 노이즈 패턴에 민감한 현상을 개선한다.

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

본 논문에서는 UART(Universal Asynchronous Receiver-Transmitter)를 soft IP(Intellectual Property) 모듈 형태로써 VLSI 설계과정을 통하여 구현하였다. 이 모듈은 현재 각종 통신 디바이스에서 최하 말단에서 직렬 데이터를 시스템으로 받아들이거나 병렬 데이터를 직렬 라인에 실어 보내는 중요한 역할을 담당한다. 본 연구에서 설계한 UART는 간단한 모듈 형태로 제작되어 있어 Verilog-HDL을 사용하여 직렬 송ㆍ수신을 필요로 하는 시스템에 내장되어 사용될 수 있다. 본 논문에서는 설계 순서에 따라 UART를 설계하고 Simulation을 하고 Synopsys Tool을 사용하여 Compile 과 Synthesis 후 Gate Area 와 Belay를 검출해 내었다. 합성결과 0.25$\mu$m 공정의 CMOS Cell Library를 사용하였을 경우 전체 면적은 1,013 gate가 나왔다. 본 논문에서 설계한 UART의 최장경로가 최대 4.12ns로 나타났으며, 최대 동작 클럭 주파수는 200MHz 로써 150Mbps 이상의 전송 속도를 가진다.

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

오늘날 운영체제나 응용프로그램에서 레이스 컨디션으로 인한 문제가 발생하여 공격에 이용하거나 레이스 컨디션을 기반으로 한 공격을 막기 위한 연구가 진행되고 있다. 그러나 레이스 컨디션이 발생할 때 스레드가 자원에 접근하는 매커니즘을 응용한 보호기법과 관련된 연구는 미흡하다. 이에 본 논문에서는 레이스 컨디션이 발생할 때 스레드가 무작위 순서로 자원에 접근하는 점을 이용해 새로운 난수 생성 방식을 제안한다. 또한 이를 난수 생성 알고리즘을 사용하는 랜덤 모듈과 비교하여 더 안정적인 난수 생성 모듈을 개발할 수 있는 가능성에 대해 알아봤다.

• 방송공학회논문지
• /
• 제11권3호
• /
• pp.320-325
• /
• 2006

JPEG 표준에 의거한 정지 영상 압축을 위하여, 영상은 겹치지 $8{\times}8$ 블록 단위로 분할된다. 카메라 모듈로부터는 라스터 스캔 순서로 화소 데이터를 입력되기 때문에 JPEG 인코더와의 사이에 화소 순서 정렬을 위한 스캔 순서 변환기가 위치한다. 일반적으로 카메라와 인코더 동작을 병렬로 수행하기 위하여 8 라인에 해당하는 화소 데이터를 저장하기 위한 로컬 메모리를 2개 필요하다. 그러나 이와 같이 2개의 메모리를 사용하는 구조는 영상의 수평 해상도에 정비례하여 메모리 용량이 증가하는 문제 때문에 고해상도 영상 압축에는 적합하지 않게 된다. 본 논문에서는 하나의 메모리를 사용하여 스캔 순서 변환을 수행할 수 있는 록 메모리 주소 생성 알고리즘을 제안한다. 이 알고리즘은 가산기와 감산기와 같은 기본 연산 소자로 구현되기 때문에, JPEG 인코더를 내장한 시스템을 효과적으로 구성할 수 있게 한다.

• 한국정보교육학회:학술대회논문집
• /
• 한국정보교육학회 2010년도 동계학술대회
• /
• pp.347-352
• /
• 2010

현장에서 프로그래밍 교육은 교수 학습 방법 외에도 교육실습 환경을 위한 프로그래밍 교육용 시스템의 준비나 사용면에서도 어려움이 많다. 특히 C언어의 경우 적당한 교육용 시스템이 없어 일반 상업용 개발 툴을 이용하는데 그렇지 않아도 어렵다고 인식되는 C언어 교수 학습에 소프트웨어 도구마저 복잡하여 작지 않은 걸림돌이 되고 있다. 다양한 프로그래밍 언어가 있지만 현재는 구문 교육 및 논리 표현의 수월함과 결과 확인의 편리함에 우위를 가진 로고 계통의 언어 도구가 교육에서 많이 활용되고 있다. 이러한 점에 착안하여 본 연구에서는 기존 C언어 교육 환경을 개선하고 C언어를 효과적으로 교수 학습할 수 있도록 VPL요소로써 순서도 편집 및 자동 구현과 실행 시간 중 각종 흐름과 변수의 실시간 누적 시각화 시스템을 내포한 C언어 인터프리터와 학습 모듈 관리 및 사용자간 및 교수자와 교류하는 기능이 합쳐진 웹 기반 C 프로그래밍 언어 교육을 위한 시스템을 설계하였다.