• 한국콘텐츠학회논문지
• /
• 제8권2호
• /
• pp.9-17
• /
• 2008

본 논문에서는 동기적인 분산시스템에서 불리 알고리즘에 기초하여 하나의 새로운 선출(election) 알고리즘을 설계하고 이를 분석하고자 한다. 동기적인 분산시스템에서 기존의 불리 알고리즘은 고장 추적 장치를 이용하여 더욱 효율적으로 설계되고 구현 될 수 있음을 보인다.

• 한국정보처리학회논문지
• /
• 제6권1호
• /
• pp.42-48
• /
• 1999

최단경로를 포함한 어떤 문제를 해결하는데 필요한 정보가 네트워상의 프로세서에 분산되어 있는 상황에서 그들 정보를 교환하면서, 그 문제를 해결하는 알고리즘을 분산알고리즘(Distributed Algorithm)이라고 한다. 본 논문에서는 비동기식 네트워크에서 최단경로문제를 해결하는 분산 알고리즘을 제안한다. 일반적으로 분산 알고리즘은 메시지 복잡도와 이상시간 복잡도로 평가되는데, 본 논문에서 제안하는 분산 알고리즘이 메시지 복잡도와 이상 시간 복잡도는 각각 O(n53)와 O(nln)이다. 여기서, n은 네트상에 있는 프로세서 수를 나타낸다.

• 대한전자공학회논문지
• /
• 제27권1호
• /
• pp.20-29
• /
• 1990

In this paper, we propose the \ulcorner/G algorithm that is an efficient distributed process coordination algorithm. It controls mutually exclusive access to a shared resource in a distributed system. We show that the \ulcorner/G algorithm satisfies the properties of distributed systems. In performnace, the algorithm is more efficient than existing algorithms because it sends only 3(K-1)/G meassages.

• 스마트미디어저널
• /
• 제10권4호
• /
• pp.15-20
• /
• 2021

분산 트리거 계수 문제는 외부로부터 트리거를 수신하는 n개의 노드로 구성된 분산 시스템에서 수신한 전체 트리거 수의 합이 w에 이르렀을 때 이를 사용자에게 알려주는 문제로 무선 센서 네트워크를 포함한 다양한 분산 시스템 환경에서 모니터링과 전역 스냅샷을 위해 사용된다. 이 논문에서는 분산 트리거 계수 문제를 위한 간단하고 효율적인 알고리즘을 제안한다. 제안 알고리즘은 차수가 $\sqrt{n}$이고 높이가 2인 트리 구조를 기반으로 동작하며, 남은 트리거 수에 따라 세 단계의 서로 다른 방식으로 동작한다. 제안 알고리즘에서 수신한 전체 트리거 수의 합이 w에 이르렀을 때 이를 사용자에게 알려주지 않을 확률이 0임을 증명하였고, 실험을 통해 제안 알고리즘이 CoinRand에 비해 더 작은 메시지 복잡도를 가지며 노드 수가 많지 않을 때는 MaxRcv 또한 더 작음을 보여주었다.

• International Journal of Computer Science & Network Security
• /
• 제24권4호
• /
• pp.192-196
• /
• 2024

The memory coherence problem occurs while mapping shared virtual memory in a loosely coupled multiprocessors setup. Memory is considered coherent if a read operation provides same data written in the last write operation. The problem is addressed in the literature using different algorithms. The big question is on the correctness of such a distributed algorithm. Formal verification is the principal term for a group of techniques that routinely use an analysis that is established on mathematical transformations to conclude the rightness of hardware or software behavior in divergence to dynamic verification techniques. This paper uses UPPAAL model checker to model the dynamic distributed algorithm for shared virtual memory given by K.Li and P.Hudak. We analyse the mechanism to keep the coherence of memory in every read and write operation by using a dynamic distributed algorithm. Our results show that the dynamic distributed algorithm for shared virtual memory partially fulfils its functional requirements.

• 한국항해항만학회지
• /
• 제47권6호
• /
• pp.401-409
• /
• 2023

본 연구에서는 선박 간 정보 교환에 기반한 분산지역탐색 알고리즘과 분산확률탐색 알고리즘의 성능을 비교, 분석하고자 한다. 분산알고리즘은 선박 간 정보 교환을 기반으로 하여 최적의 피항 경로를 탐색할 수 있는 방법이다. 분산지역탐색알고리즘은 이웃 선박 중 비용 감소가 최대가 되는 선박만이 다음 예상 위치를 바꿀 수 있도록 해당 선박이 우선권을 가진다. 분산확률탐색알고리즘은 일정 확률로 최적이 아닌 값을 탐색할 수 있도록 하여 새로운 값을 탐색할 수 있도록 한다. 선박 간 충돌 피항 실험은 원형 기반 선박 충돌 피항 모델을 활용하였다. 실험 방법은 원형에 기반하여 원의 중심에서 같은 거리에 떨어진 선박을 2척부터 50척까지 증가시키면서 분산 지역 탐색알고리즘과 분산확률탐색알고리즘을 시뮬레이션 하였다. 실험 평가 방법은 각 알고리즘의 계산 소요 시간, 항행 거리, 메시지 교환 횟수를 비교 분석하였다. 실험 결과 DSSA는 DLSA에 비해 계산시간은 25%, 항행 거리는 88%, 메시지 교환 횟수는 84%를 기록하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (3)
• /
• pp.777-779
• /
• 1999

A new distributed/parallel algorithm simulator, DASim(Distributed Algorithm Simulator), is proposed in this paper. The idea is to ease the task of design, analysis and implementation of distributed algorithms. A small high level language has been proposed for the purpose. Through this non-language specific high level language, the users are spared from the tedious details about how to program distributed or parallel algorithms. Further, visualization of these algorithms are pretty helpful to understand behaviors of these algorithms.

• 전기학회논문지P
• /
• 제62권1호
• /
• pp.36-44
• /
• 2013

This paper is written for the development and application of boiler fuel control algorithm and distributed control system of coal-fired power plant by the steps of design, coding, simulation test, site installation and site commissioning test. Fuel control algorithm has the upper algorithm and it is boiler master control algorithm that controls the fuel, feed water, air by generation output demand. Generation output demand by power load influences fuel control. Because fuel can not be supplied fast to the furnace of boiler, fuel control algorithm was designed adequately to control the steam temperature and to prevent the explosion of boiler. This control algorithms were coded to the control programs of distributed control systems which were developed domestically for the first time. Simulator for coal-fired power plant was used in the test step. After all of distributed control systems were connected to the simulator, the tests of the actual power plant were performed successfully. The reliability was obtained enough to be installed at the actual power plant and all of distributed control systems had been installed at power plant and all signals were connected mutually. Tests for reliability and safety of plant operation were completed successfully and power plant is being operated commercially. It is expected that the project result will contribute to the safe operation of domestic new and retrofit power plants, the self-reliance of coal-fired power plant control technique and overseas business for power plant.

• 한국정보통신학회논문지
• /
• 제14권2호
• /
• pp.287-295
• /
• 2010

본 논문에서는 MPI(Message Passing Interface) 환경 하에서 채널배선 문제에 대한 분산 평균장 유전자 알고리즘(MGA, Mean field Genetic Algorithm)이라는 새로운 최적화 알고리즘을 제안한다. 분산 MGA는 평균장 어닐링(MFA, Mean Field Annealing)과 시뮬레이티드 어닐링 형태의 유전자 알고리즘(SGA, Simulated annealing-like Genetic Algorithm)을 결합한 경험적 알고리즘이다. 평균장 어닐링의 빠른 평형상태 도달과 유전자 알고리즘의 다양하고 강력한 연산자를 합성하여 최적화 문제를 효율적으로 해결하였다. 제안된 분산 MGA를 VLSI 설계에서 중요한 주제인 채널 배선문제에 적용하여 실험한 결과 기존의 GA를 단독으로 사용하였을 때보다 최적해에 빠르게 도달하였다. 또한 분산 알고리즘은 순차 알고리즘에서의 최적해 수렴 특성을 해치지 않으면서 문제의 크기에 대하여 선형적인 수행시간 단축을 나타냈다.

• Journal of Communications and Networks
• /
• 제5권3호
• /
• pp.197-201
• /
• 2003

We study in this paper both distributed power control and removal algorithms for multimedia CDMA wireless networks. In our study, users can have different data rates as well as different quality of service (QoS) requirements. We derive a necessary and sufficient condition for the fully distributed power control (FDPC) algorithm to find a feasible power set. We also prove that, if the maximal power level is used at the start, then the distributed constrained power control (DCPC) algorithm is equivalent to the FDPC algorithm. For the connection removal algorithm, we prove that the non-reinitialized removal algorithm finds a feasible power set faster and employs smaller power levels than the reinitialized one does. Performances of some connection removal criteria are also studied. Our simulation results reveal that the smallest normalized CIR (SNC) and largest CIR requirement (LCR) criteria result in smaller outage probability than the smallest CIR (SC) criterion in a multimedia environment.