• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10a
• /
• pp.649-652
• /
• 2000

실시간 데이터를 처리하는 응용에서는 유효시간이 지난 데이터를 사용할 수 없다. ${\triangle}$-인과순서화는 데이터의 유효시간 내에 메시지를 인과순서로 전달하는 추상 통신 개념이다. 인과순서를 유지하기 위해서는 순서를 유지하기 위한 제어정보를 교환하여야 하며, 전송부하를 줄이기 위하여 제어정보의 양을 최소화하기 위한 많은 노력이 계속되어 왔다. 본 논문에서는 전송부하를 줄이기 위하여 유효한 통신패턴을 분석하여 중복으로 교환되는 제어정보가 최소화되는 ${\triangle}$-인과순서화 알고리즘을 제안한다.

• Korean Journal of Logic
• /
• v.6 no.2
• /
• pp.83-106
• /
• 2003

선호구조의 논리를 결정모델에 적용시킬 때 선호구조는 일반적으로 특정 수치적 순서화 조건을 만족하게끔 표현된다. 그래야 주어진 선택지들을 둘러싼 개인 혹은 집단의 선호구조에 관한 정보가 형식적으로 표출될 수 있다고 여겨져 왔다. 그러나 선호구조의 수치적 순서화에 의해서만 선호관계의 정보가 형식적으로 표출될 수 있다는 성각은 일종의 독단이다. 더욱이 다양한 선택지의 결합에 의한 선호구조의 정보 이동은 기존의 수치적 순서화 속에서 제대로 다루어질 수 없다. 하나의 대안으로서 선형대수의 그래프이론에 바탕을 둔 선호구조의 질적 순서화 방식을 제안한다. 개인 혹은 집단의 선호구조에 관한 정보는 제안될 질적 순서화에 의해 보다 포괄적으로 다루어질 수 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.10a
• /
• pp.267-270
• /
• 2001

본 논문에서는 이동통신망에서의 효율적인 인과순서 알고리즘을 채널전환 알고리즘과 함께 제안한다. 인과순서를 유지하기 위해서는 순서를 유지하기 위한 제어정보를 교환하여야 하며, 송수신 양측은 메시지를 보내거나 받은 전후에 각각의 제어정보를 수정하여야 한다. 특히 이동유닛이 다른 셀로 이동한 경우, 채널전환 프로토콜은 기존의 기지국과 새로운 기지국에서 동시에 제어정보 관리를 위한 작업을 수행하여야 하며, 기존의 기지국에 있는 이동 유닛의 제어정보는 새로운 기지국으로 전달되어야 한다. 따라서 제어정보의 크기가 채널전환시간과 메시지 지연시간에 직접적인 영향을 주기 때문에, 전송되는 제어정보의 양을 최소화하여야 한다. 본 논문에서는 제어정보의 양을 줄이기 위하여 유효한 통신패턴을 분석하여 중복으로 교환되는 제어정보가 최소화되는 인과순서 알고리즘을 제안하였으며, 모의실험을 통하여 제안된 알고리즘이 기존의 알고리즘에 비해 효율적임을 보였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10b
• /
• pp.16-18
• /
• 2003

멀티데이터베이스 시스템이란 기존에 독자적으로 개발되어 사용되고 있는 서로 다른 지역 데이터베이스 시스템들을 논리적으로 통합하기 위해 제안된 시스템이다. 본 논문에서는 논리적인 통합 인터페이스로 메시징 소프트웨어를 이용하고 메시징 순서 기능을 적용한 전역 동시성 제어 기법을 제안한다. 전역 직렬성을 보장하기 위하여 전역 트랜잭션의 서브 트랜잭션이 실행되는 모든 LDBS에서 같은 순서로 직렬화 되어야 한다. 메시징 순서 기능은 하의 노드가 여러 개 메시기를 송신하는 경우, 모든 노드는 송신한 순서에 따라 메시지를 수신함을 보장하는 것으로 이를 이용하여 전역 트랜잭션의 서브 트랜잭션들을 실행 노드에 같은 순서로 전송하고 실행 LDBS는 해당 순서대로 직렬화한다면 전역 직렬성을 보장할 수 있다. 그 결과 제안된 기법은 LDBS의 실행 정보 없이 전역 트랜잭션의 상대적인 실행 순서를 결정할 수 있기 때문에 지역 자치성을 보장한다.

• The KIPS Transactions:PartA
• /
• v.12A no.1 s.91
• /
• pp.23-30
• /
• 2005

Causal order of message delivery algorithm ensures that every transmitted message is delivered in causal order. It should be noted that control information should be transmitted with each message in order to enforce causal order. Hence, it is important to reduce this communication overhead because the impact of the overhead increases proportionally with the number of related processes. In this paper we propose and evaluate effective a ${\Delta}-causal$ order algorithm for multimedia data which have real-time property. To reduce transmission overhead, proposed algorithm eliminates redundant information as early as possible which is not explicitly required for preserving causal order. Average communication overhead of our algorithm is much smaller than other existing algorithms.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.11a
• /
• pp.537-539
• /
• 2012

영상신호처리와 같이 공간적 신호처리를 하는 실시간 신호처리시스템에서는 서로 다른 입출력 순서를 갖는 특정 크기의 블록 단위 신호처리가 요구된다. 다양한 영상압축코덱에 쓰이는 엔트로피 코딩을 위한 데이터 재정렬이 대표적인 예이다. 이 경우 동일 주소에 데이터를 읽고 쓰는 단일 버퍼링 방법이 저장 공간을 최소화 하는 최적의 방법이지만 상이하고 불규칙한 입출력 순서를 갖는 경우 이 방법을 적용할 경우 불규칙한 순서열이 이어지기 때문에 구현하기 어렵고 두 배의 저장 공간을 소모하는 이중 버퍼링 방법을 주로 사용한다. 본 논문에서는 불규칙한 순서열 변화를 보이는 임의의 상이한 입출력 순서를 갖는 동시 입출력 동작에서도 예측가능한 유한한 횟수 안에 규칙적인 반복성이 나타남을 입증하고 자원을 최소화하는 단일 버퍼링 방법이 적용될 수 있음을 보였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11a
• /
• pp.178-180
• /
• 2005

최근 센서네트워크에서는 코드 분배과 같이 신뢰성 있는 전송을 요구하는 새로운 기능들이 추가 되고 있다. 이를 위한 기존의 프로토콜은 센서노드 간의 높은 전송 실패율 때문에 홉간 손실 복구 기법을 제안하였다. 하지만 기존 프로토콜은 홉간 손실 복구를 위해 종단간 세션의 정보를 사용하기 때문에 모든 중간 노드들이 최근 받은 패킷의 순서 번호 같은 정보를 알고 있어야만 한다. 만약, 세션 중간에 경로가 바뀌어서 새로운 노드가 참가하게 된다면 기존 프로토콜은 잘 동작할 수가 없다. 본 논문은 홉간 순서 번호 기반의 손실 복구 기법인 HRS를 제안한다. 홉간 손실 복구에서는 종단간 세션의 순서 번호 대신에 홉간 순서 번호가 사용되기 때문에 중간 노드는 종단간 세션의 정보 없이도 손실복구에 바로 참가 할 수 있다. 시뮬레이션을 통해 제안하는 기법이 세션 중간에 경로 변화와 상관없이 잘 동작하고 경로 변화가 없더라도 기존의 프로토콜보다 대부분의 기준에서 우수하다는 것을 보였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10c
• /
• pp.73-75
• /
• 2000

이 논문은 인과적 메시지 로깅 기법에서 결함 포용을 목적으로 완전 저장 장치(stable storage)에 저장되는 메시지 로그와 메시지 순서 로그의 쓰레기 처리 기법을 제안한다. 메시지 로그와 메시지 순서 로그는 메시기 순서 정보에 부가되는 검사점 정보를 기반으로 쓰레기 처리되어질 수 있으며, 이를 위해 메시지 로그와 메시기 순서 로그의 쓰레기 처리 조건을 제시한다. 제시된 조건을 기반으로 한 메시지 로그와 메시지 순서 로그의 쓰레기 처리는 송수신 메시지에 부가된 정보를 이용하므로 제안된 알고리즘은 '지연 쓰레기 처리 현상(lazy garbage collection)'를 발생시킨다. 하지만 '지연 쓰레기 처리 현상'은 분산 시스템의 일관성을 위배하지 않으며, 쓰레기 처리를 위한 부가적인 메시지 교환을 필요로 하지 않는다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.597-600
• /
• 2004

최근에는 웹 환경에 적합한 개방형과 컴포넌트들을 효율적으로 분류하고 추출하는 방법이 연구되고 있다. 본 논문은 개발환경에서 생성되는 산출물들 중 디자인패턴을 통합 관리하고, 추출, 검색하여 관리해 주는 인덱스순서관계정보모델을 설계 구현한다. 이 제안의 장점은 "인덱스 순서관계정보"로 클래스들 사이의 관련된 여러 관계정보를 UML 설계방법에 적응할 수 있는 구조로 변형할 수 있다. 두 번째 장점은 개발자가 인덱스 순서관계 정보에서 제공하는 정보를 가지고 관계정보를 쉽게 파악할 수 있으며, 디자인 패턴을 쉽게 추출함으로서 개발자는 설계정보에 쉽게 적용할 수 있다. 따라서 본 논문에서는 검색시간과 추출의 효율성을 입증하기 위해 시뮬레이션을 실시하여 향상된 기능을 입증하였다. 이 모델은 급변하는 소프트웨어 산업에 능동적으로 대체와 소프트웨어 개발에 시간을 단축함으로써 현존하는 다양한 디자인 패턴들을 최소한의 코드 수정을 통하여 재설계 함으로써 소프트웨어 개발 경제성을 높이는 데 있다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1995.04a
• /
• pp.635-642
• /
• 1995

조립제품을 생산하기 위해, 부품간의 조립순서를 결정하는 문제는 전체조립공정에 중대한 영향을 미치는 문제이다. 이때 부품간이 조립순서를 결정하기 위해서는 조립상태에 관한 정보가 필요하다. 따라서 효율적인 조립순서를 결정하기 위해서는 조립상태에 대한 효과적인 표현법이 필요하게 된다. 본 논문에서는 이러한 효과적인 조립정보의 표현법으로서 CCG를 제시한다. CCG는 Component Coupling Graph로서 부품간의 기하학적인 간섭관계에 대한 정보를 접근 방향별로 표현한 그래프이다. 이때 접근방향은 +x,-x,+y,-y,+z,-z의 여섯방향이다. 이 CCG를 이용하면 각 조립상태에 대한 분해가능한 부품을 논리적으로 추론해 낼 수 있게 된다. 부품간의 기하학적인 간섭관계는 coupling 개념을 이용하여 표현하게 되는데, coupling은 각 부품간의 방향별 거리를 나타낸다.