• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (3)
• /
• pp.13-15
• /
• 2001

최근에 이르러 프로세서의 병렬성을 분석적 기법으로 예측하기 위한 연구가 활발해지면서 프로세서의 성능 예측 모델에 대한중요성이 대두되고 있다. 그러나 기존의 연구는 현재 광범위하게 사용되고 있는 다중 분기 예측법을 이용하는 프로세서에 대하여 분기 차수와 관계없는 재귀적 성능 모델을 제공해주지 않는다. 본 논문에서는 이것을 해결하기 위하여, 매 싸이클마다 명령어 종속 트리를 구성하고 종속인 명령어 간에 상대적인 병렬도 갓을 부여하여 성능 예측 모델 입력 데이타를 측정하였다. 그 곁과, 다중 분기 예측법을 사용하는 프로세서에서 정수형 프로그램에 대한 성능을 기존의 성능모델보다 작은 상대 오차로 예측할 수 있다.

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

메모리 반납(deallocation) 명령어는 프로그램에게 할당된 힙 셀(heap cell)을 반납하는 명령어로 힙 사용량을 낮추어 주지만, 잘못된 반납으로 인해 심각한 오류를 일으킬 수 있다. 본 논문에서는 재귀적인 자료구조(recursive data structure),를 안전하게 반납하는 명령어를 삽입하는 알고리즘을 제시한다. 메모리의 모양새를 분석하고 나중에 쓰이지 않을 힙 셀들을 추정하여 반납 명령어를 삽입한다. 분석시 요약 수준을 적절히 조절함으로써 빠르면서도 정확하게 분석한다. 또한, 실행시간에 부가적인 정보를 전달하여 일찍 힙 셀을 반납할 수 있도록 한다. 제시한 알고리즘으로 메모리 반납을 하지 않는 프로그램에 반납 명령어를 삽입하여 전체 메모리 할당량의 5.2-98.7%를 반납할 수 있었다.

• 한국통신학회논문지
• /
• 제35권9C호
• /
• pp.721-728
• /
• 2010

재귀적 구조의 SPCPC (single parity check product code)인 CAMC (constant amplitude multi-code) 는 반복적 복호를 행할 때 SPCPC에 비하여 오류 정정 성능이 우수하다. 본 논문에서는 대역확산 신호인 CAMC의 처리 이득이 성능 향상에 미치는 영향을 분석한다. 일반적인 곱 부호에서는 반복적 복호로 오류 정정 과정이 종료되지만, CAMC 는 반복적 복호 후의 역확산 과정에서 추가적으로 오류가 정정된다. 잔존하는 비트 오류의 수가 ($\sqrt{N}/2-1$)개 이하인 경우에는 (N은 코드워드의 길이), 역확산 과정에서 그 오류들은 모두 정정된다. 반복적 복호에서 EI (extrinsic information)의 분포 형태를 관찰한 결과, 초기의 EI 분포는 대체로 랜덤하나, 몇 회의 iteration 후에는 ($-E_{max}$) 혹은 ($+E_{max}$)의 이진 값으로 수렴한다. EI의 분포가 오류 정정의 진행 사항을 반영하는 점을 이용하는 iteration 제어 방법을 실험한 결과 Eb/No 에서 약 0.2 dB의 이득을 얻었다.

• 정보처리학회논문지D
• /
• 제8D권6호
• /
• pp.723-734
• /
• 2001

현재 대부분의 컴포넌트 기반 개발 환경 들이 특정 형태 컴포넌트와 이를 위한 프레임웍 기능 제공을 위주로 하는데 대하여, 좀 더 효과적인 컴포넌트 기반 개발 환경의 구축을 위해서는 재귀적 컴포넌트 결합 및 다양한 결합형태의 지원, 그리고 다중 티어 아키텍쳐를 지원할 수 있는 방안의 필요성이 제기되고 있다. 이의 해결 방안의 하나로 본 논문에서는 재귀적 컴포넌트 결합을 지원할 수 있으며, 컴포넌트간 상호 동작 조건을 기술할 수 있도록 확장된 컴포넌트 결합 명세의 기술 방안 및 이를 이용한 컴포넌트 결합 모델을 제안하였다. 제안된 결합 명세서는 기존의 컴포넌트 기술 방법들에서 지적되고 있는 컨트랙트로서의 부족한 기능을 보완하고 있을 뿐만 아니라 다양한 형태의 컴포넌트간 결합을 일관된 형태로 지원 함으로써 다중 티어(Multi-Tier) 개념을 지원하는 컴포넌트 아키텍쳐의 구현 및 이를 위한 컴포넌트 결합 도구의 구현에 활용될 수 있다.

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

한국어 문법 연구에서 뿐만 아니라, 현대 언어학에서는 일반적으로 대명사들은 재귀적 대명사와 비재귀적 대명사라는 두 개의 구분된 통사 범주로 분류된다는 대명사의 이분법적 통사 분류 가설이 지배적이다. 그러나 최근 [Hertz 92ab]가 제시한 조응성의 등급(anaphoric scale)이라는 개념에 의거한 본 연구에서는 한국어 대명사들을 두 개의 구분된 통사 범주로 이분하지 않으며 오직 서로 다른 조응도(anaphoric degree)에 의해서만 구분하는 스칼라식 관점을 제안하였다. 한국어 대명사들의 조응도를 기술하기 위해 본 연구에서는 몇 가지 통사 의미적 준거 항목들을 제시하였다. 본 연구의 접근 방법은 그간 많은 연구들에 의해 밝혀진 바와 같은 대명사들의 다양하고도 이질적인 통사 의미 특성들을 자연스럽게 설명하여 줄 수 있다는 장점이 있다. 반면, 이와 같은 대명사들의 통사 의미적 다양성은 전통적인 이분법적 분류의 관점에서는 풀기 어려운 숙제로 남게 된다.

• 한국정보처리학회논문지
• /
• 제4권12호
• /
• pp.3069-3077
• /
• 1997

이 논문에서는 비공유 병렬구조에서 이행적 종속성을 갖는 선형적 재귀규칙의 병렬평가에 대한 패러다임을 제안한다. 병렬평가를 위해 우리는 모든 노드가 메시지 교환을 위해 연결망만을 공유하는 비공유 병렬구조를 고려한다. 여기서 정규화된 규칙의 평가는 그 규칙의 중명-이론적 의미의 계산이다. 이행적 종속성올 갖는 정규 화된 선형적 재귀규칙을 정의하고, 그 규칙이 등가의 표현식으로 변환될 수 있음을 보이고, 등가의 표현식을 근거로 결합, 분할, 이행성폐포 연산을 이용하여 정규화된 규칙에 대한 병렬평가를 위한 패러다임을 제안하고 시간 복잡도를 분석하였다.

• 정보과학회 논문지
• /
• 제43권12호
• /
• pp.1342-1350
• /
• 2016

귀납법과 코인덕션은 모두 컴퓨터 과학 분야에서 사용되는 중요한 증명 기법이다. 귀납법은 컴퓨터 과학 분야 학부 과정에서 기본적으로 가르치는 기법이며, 상대적으로 잘 알려지고 컴퓨터과학 분야 전반에 걸쳐 잘 쓰이고 있다. 반면에 코인덕션은 귀납법에 비해 많은 사람들에게 다소 어렵고 친숙하지 않은 개념이다. 본 논문에서는 재귀 타입과 합집합 타입을 포함하는 간단한 타입 언어에 대해 서브타입 시스템을 정의하고, 정의한 시스템의 추이성을 증명함으로써 코인덕션에 대해 소개한다. 이를 통해, 코인덕션에 대한 이해도를 높이고, 동시에 재귀 타입과 다양한 타입 요소가 있을 때 서브타입 시스템을 정의하는 방법에 대한 기초를 제공한다.

• 한국정보과학회논문지:시스템및이론
• /
• 제26권8호
• /
• pp.999-1007
• /
• 1999

이 논문은 재귀원형군 G(2^m , 2^k )를 그래프 이론적 관점에서 고찰하고 정점이 서로소인 사이클과 그래프 invariant에 관한 위상 특성을 제시한다. 재귀원형군은 1 에서 제안된 다중 컴퓨터의 연결망 구조이다. 재귀원형군 {{{{G(2^m , 2^k )가 길이 사이클을 가질 필요 충분 조건을 구하고, 이 조건하에서 G(2^m , 2^k )는 가능한 최대 개수의 정점이 서로소이고 길이가l`인 사이클을 가짐을 보인다. 그리고 정점 및 에지 채색, 최대 클릭, 독립 집합 및 정점 커버에 대한 그래프 invariant를 분석한다.Abstract In this paper, we investigate recursive circulant G(2^m , 2^k ) from the graph theory point of view and present topological properties of G(2^m , 2^k ) concerned with vertex-disjoint cycles and graph invariants. Recursive circulant is an interconnection structure for multicomputer networks proposed in 1 . A necessary and sufficient condition for recursive circulant {{{{G(2^m , 2^k ) to have a cycle of lengthl` is derived. Under the condition, we show that G(2^m , 2^k ) has the maximum possible number of vertex-disjoint cycles of length l`. We analyze graph invariants on vertex and edge coloring, maximum clique, independent set and vertex cover.

• 한국통신학회논문지
• /
• 제28권9C호
• /
• pp.843-850
• /
• 2003

터보 부호와 터보 처리는 무선 단일 입출력 통신 시스템과 마찬가지로 무선 다중 입출력 통신 시스템에서도 재귀 처리를 통하여 Shannon Limit에 근접하는 방법으로 알려져 왔다. 재귀 처리는 복호와 간섭 제거의 상호 영향을 극대화시킬 수 있으나 터보 부호는 복잡도와 내부의 복호 처리의 지연으로 인해 터보 처리에 사용되지 않고 있다. 본 논문에서는 고속 무선 통신을 위한 적응형 Turbo-PAST 처리를 갖는 터보 부호화된 다중 입출력 시스템과 효율적인 조기 정지 기법으로 E-CRC 기법을 제안한다. 시뮬레이션 결과는 Turbo-PAST가 기존 시스템보다 1.3dB 뛰어나고 제안된 E-CRC 기법은 평균 재귀 횟수 관점에서 터보 처리의 재귀를 약 1회정도 줄이는 것을 보여준다.

• 월간 양돈
• /
• 제20권4호통권224호
• /
• pp.72-75
• /
• 1998