• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1998.10a
• /
• pp.275-277
• /
• 1998

최근 Ravi와 Goemanns는 즉 전체 길이의 합이 일정한 값을 넘지 않는 최소비용신장나무(minimum spanning tree problem)를 구하는 문제의 (1+$\varepsilon$,1)-근사해를 구할 수 있는 알고리듬을 제시하였다. 즉 비용은 최적을 보장하지만 전체길이 제약조건은 근사적으로 만족하는 해를 생성한다. 그러나 이러한 알고리듬은 문제의 비가능해를 생성 할 수 있으며 1/$\varepsilon$에 대하여 지수함수의 수행시간을 갖는다. 본 논문에서는 Ravi와 Geomanns의 알고리듬을 실용적으로 변형하여 전체 길이 제약조건을 정확히 만족하며, 그 비용은 최적비용과의 차이가 호의 비용 중 최대값을 넘지 않도록 보장하는 강성다항식 알고리듬을 제사한다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.36 no.2A
• /
• pp.139-148
• /
• 2011

This paper presents the minimum-cost network selection scheme which determines the transmission instance in the multi-band maritime communication system, so that the shipment-related real-time information can be transmitted within the maximum allowed period. The transmission instances and the corresponding network selection process are modeled by a Markov Decision Process (MDP), for the channel model in the 2-state Markov chain, which can be solved by stochastic dynamic programming. It derives the minimum-cost network selection rule, which can reduce the network cost significantly as compared with the straight-forward scheme with a periodic transmission.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.142-144
• /
• 2000

최근의 내장형 시스템은 점점 대형화되고 복잡성이 증가하고 있다. 또한 시스템의 생명주기는 매우 빠른 속도로 단축되고 있는 추세이다. 이에 따라 발생될 수 있는 에러율이 증가하고 있으며 이를 해결하기 위해 많은 비용과 시간에 소비될 수 있다. 따라서, 시스템 설계단계부터 신뢰성과 안정성을 보장하며 신속하게 명세를 표현할 수 있는 정형 명세 기법이 필요하다. 본 논문은 신속하면서 견고한 정형 명세 개발을 위해 컨포넌트를 지원하는 Statechart 도구를 구현한다. 본 논문에서 개발된 도구를 이용하면 이미 작성된 정형 명세를 최대한 재사용함으로 새로운 시스템 설계의 개발시간을 단축시킬 수 있는 장점을 지닌다.

• Defense and Technology
• /
• no.8 s.270
• /
• pp.40-45
• /
• 2001

설계가 잘된 개방형 무기체계는 마치 자동차의 타이어 교환처럼 신 기술이 적용된 부품을 모듈로써 쉽게 교환해 넣을 수 있기 때문에 기술의 진부화도 걱정할 필요가 없고 나아가서는 부품 공급업체를 걱정하지 않아도 된다. 동일한 인터페이스를 사용하여 구성품간의 상호운용성 보장하고 비용절감과 군수지원성의 이점을 살릴 수 있게 된다. 그러므로 우리가 무기체계를 개발할 때 개방형 체계접근방법을 적용한다면 무기체계를 운용하는 기간 중에 발전하는 기술을 최대한 활용할 수 있는 방법을 갖게 되는 것이다.

• Journal of KIISE:Information Networking
• /
• v.28 no.4
• /
• pp.578-585
• /
• 2001

IP Multicast that provides best-efforts service does not guarantee reliable delivery of multicast packets. In recent years, there are many approaches to support reliable multicast, but those are insufficient for implementing scalable and reliable multicast over Internet. We propose a Reliable Multicast Architecture(RMA) for scalable and reliable multicast. The RMA model guarantees reliability using a receiver initiated retransmission mechanism, and scalability using a feedback suppression mechanism by Multicast Router(MR). Furthermore, it utilizes underlying multicast routing information to minimize the cost of protocol modification and overheads. Our performance analyses show that RMA is much superior to previous works in the point of scalability and compatibility.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.10b
• /
• pp.1537-1540
• /
• 2001

IETF 이동 IP에서는 원격 가입 방식과 양방향 터널링 방식의 두 가지 멀티캐스트 프로토콜을 제안하고 있다. 원격 가입 방식은 데이터 패킷의 최적 경로를 보장하지만 호스트의 이동성이 활발할 경우 멀티캐스트 트리의 재구성이 빈번하게 발생할 수 있다. 양방향 터널링 방식은 알고리즘이 간단하고 안정적인 반면 비효율적인 전송경로에 기인한 삼각형 라우팅 문제와 터널집중화문제를 발생시킨다. 본 논문에서는 에이전트의 멀티캐스트 그룹 가입과 탈퇴를 최대한 억제하여 트리 재구성 비용을 절감하였다. 또한 터널링에이전트(TA: Tunneling Agent)의 개념을 도입하여, MIP-RS와 MIP-BT의 문제점을 동시에 개선시킴과 동시에 네트워크에 크게 영향을 받지 알고 일정 수준 이상의 성능을 보장하는 방법을 제안한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2015.10a
• /
• pp.325-326
• /
• 2015

스몰셀은 저전력으로 단거리에 작동하는 기지국을 설치하는 기술로서 저렴한 비용으로 매크로셀의 커버리지 확대와 트래픽 분산을 위한 해결책으로 주목받고 있다. 하지만, 스몰셀의 운영은 기존 매크로셀 구조의 변화를 야기함으로써 여러가지 문제점들을 발생시킨다. 이에 본 논문에서는 매크로셀 유저에게 허용된 오수신 확률을 보장하면서 최대의 전력을 할당할 수 있는 전력 할당 기법을 제안하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2009.11a
• /
• pp.571-572
• /
• 2009

결함이 발생하는 센서 네트워크 환경에서 데이터 전송의 신뢰도와 집계질의의 정확도를 보장하기 위해 각 센서 노드들에 유일한 비트 레이블을 할당하고, 이를 이용한 다중 경로 라우팅 기법이 제안되었다. 하지만 기존 다중 경로 라우팅 기법은 네트워크 토폴로지 변경 시 발생하는 노드 레이블의 재할당에 따른 높은 갱신비용이 발생한다. 본 논문에서는 데이터의 중복 집계를 방지하는 동시에 레이블 갱신 비용을 줄이는 새로운 라우팅 기법을 제안한다. 제안하는 기법의 우수성을 보이기 위해 시뮬레이션을 통해 기존 기법과 성능을 비교평가 하였다. 그 결과, 제안하는 기법은 단위 질의당 데이터 전송량을 최대 22% 감소 시켰다.

• Journal of Arbitration Studies
• /
• v.17 no.2
• /
• pp.125-139
• /
• 2007

최근 한국과 미국 법원에서는 조정제도를 자주 이용하고 있다. 조정제도를 이용함으로써 법원은 사건부담을 줄일 수 있을 뿐만 아니라 소송지연을 막고 비용을 절감할 수 있다. 그러나 조정제도의 장점을 극대화하기 위해서는 일반 조정제도의 기본원칙인 당사자 원칙을 최대한 반영하고 법원의 개입은 제한하여야 할 필요가 있다. 이점에 있어 미국과 한국의 법원내 조정제도에 비교해볼 때, 전자가 법원의 개입은 필요한 최소한에 그치고 조정인과 분쟁당사자간의 당사자자치를 최대한 보장하고 있음을 알 수 있다. 이 글은 한국과 미국의 법원내 조정제도를 비교 분석하여 효과적인 법원내 조정제도를 정착시키기 위하여 개선해야 한 점을 제시하고자한다. 한국과 미국의 법원내 조정제도의 근본적인 차이는 조정절차진행에서 법원의 역할과 관련되어 있다. 특히 미국법원은 분쟁 당사자들 스스로 분쟁해결을 할 수 있도록 돕는 역할에 주력하는 반면, 한국법원은 조정절차 전 과정에서 분쟁해결에 적극 개입한다. 보다 공정하고 효율적인 민사조정절차를 위해서는 관련법의 정비뿐만 아니라 조정인의 교육과 전문성을 강화하기 위한 제도적 장치를 마련할 필요가 있다.

• Journal of KIISE:Databases
• /
• v.31 no.2
• /
• pp.132-139
• /
• 2004

A range $Top-\kappa$ query returns top k records in order of a measure attribute within a specified region on multi-dimensional data, and it is a powerful tool for analysis in spatial databases and data warehouse environments. In this paper, we propose an algorithm for answering the query via selective traverse of a Hierarchical Max R-Tree(HMR-tree). It is possible to execute the query by accessing only a small part of the leaf nodes in the query region, and the query performance is nearly constant regardless of the size of the query region. The algorithm manages the priority queue efficiently to reduce cost of handling the queue and the proposed HMR-tree can guarantee the same fan-out as the original R-tree.