• Journal of the Korea Computer Industry Society
• /
• v.3 no.2
• /
• pp.209-216
• /
• 2002

World Wide Web has potential possibility of infrastructure for parallel computing environment connecting massive computing resources, not just platform to provide and share information via browser. The approach of Web-based parallel computing has many advantages of the ease of accessibility, scalability, cost-effectiveness, and utilization of existing networks. Applet has the possibility of decomposing the independent/parallel task, moving over network, and executing in computers connected in Web, but it lacks in the flexibility due to strict security semantic model. Therefore, in this paper, Web-based parallel computing environment using mobile agent, Aglet (Agile applet) was designed and possible implementation technologies and architecture were analyzed. And simple simulation and analysis was done compared with applet-based approach.

• Journal of KIISE:Computer Systems and Theory
• /
• v.33 no.1_2
• /
• pp.1-14
• /
• 2006

Sort-last parallel rendering using a cluster of GPUs has been widely used as an efficient method for visualizing large- scale volume datasets. The performance of this method is constrained by load balancing when data parallelism is included. In previous works static partitioning could lead to self-balance when only task level parallelism is included. In this paper, we present a load balancing scheme that adapts to the characteristic of volume dataset when data parallelism is also employed. We effectively combine the hierarchical data structures (octree and BSP tree) in order to skip empty regions and distribute workload to corresponding rendering nodes. Moreover, we also exploit a 3D clustering method to determine visibility order and save the AGP bandwidths on each rendering node. Experimental results show that our scheme can achieve significant performance gains compared with traditional static load distribution schemes.

• KIPS Transactions on Computer and Communication Systems
• /
• v.5 no.12
• /
• pp.439-446
• /
• 2016

In this paper, an efficient prediction accuracy enhancement strategy is proposed for improving the performance of the prediction-based parallel event-driven gate-level timing simulation. The proposed new strategy adopts the static double prediction and the dynamic prediction for input and output values of local simulations. The double prediction utilizes another static prediction data for the secondary prediction once the first prediction fails, and the dynamic prediction tries to use the on-going simulation result accumulated dynamically during the actual parallel simulation execution as prediction data. Therefore, the communication overhead and synchronization overhead, which are the main bottleneck of parallel simulation, are maximally reduced. Throughout the proposed two prediction enhancement techniques, we have observed about 5x simulation performance improvement over the commercial parallel multi-core simulation for six test designs.

• Journal of the Korean Society of Propulsion Engineers
• /
• v.23 no.1
• /
• pp.52-60
• /
• 2019

In this study, the performance and structure of a parallel ejector comprised of multiple single ejectors were confirmed through numerical analysis. The same design variables (mass suction ratio, compression ratio, and expansion ratio) relevant to the performance of a single ejector were considered in the design of the parallel ejector. Analytical results showed that there was no significant difference in the performance of either system related to the operating mass suction ratio; however, the systemsize was significantly reduced. In addition, it was confirmed that when ejectors of the same performance capacity are arranged in parallel, the combined mass suction ratio is lower than that of the single ejector, allowing a lower pressure to be realized. The results of the analysis indicated that the parallel ejector's performance is not significantly different from that of any single ejector, but confirmed that the parallel ejector can offer a configurationdependent advantage in size and operation.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10e
• /
• pp.577-579
• /
• 2002

적은 비용으로 고성능 컴퓨팅 시스템을 구축하는 방법중의 하나로 클러스터링이라는 방법이 도입되어 그에 관련된 많은 연구와 방법들이 적용되고 있다. 하지만 베어울프와 같은 대표적인 기존의 고성능 연산 클러스터링의 방법은 주로 동일한 운영체제 환경에서 플러스터링 노드들의 통신에서는 MPI나 PVM등의 병렬처리용 라이브러리에 국한되어 있다. 이러한 방법은 서로 이질적인 네트워크 환경에서 특정 기능의 모듈을 동적으로 확장하거나 적용하는 것에 대해서는 사용자나 관리자의 많은 수동적인 노력을 필요로 하고 있다. 이에 본 논문에서는 네트워크상에서의 자바 기반의 이동 에이전트를 이용하여 서로 다른 이질적인 시스템들에 대한 확장과 이동이 용이하고 실시간 노드들의 정보를 수집하여 제안한 클러스터링 알고리즘을 적용하여 병렬처리 가능한 작업들의 분배 및 처리할 수 있는 이동 에이전트 기반의 클러스터링 시스템을 연구하였다.

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

본 논문은 ATM(Abstract Timed Machine)에 대해서 기술한다. ATM 은 임무 위급 시스템과 같은 실시간 시스템을 명세, 분석 및 검증할 수 있는 정형 기법이다. ATM 은 모드(mode), 전이(transition), 포트(port)로 구성된다. 모드는 머신의 압축된 상태를 의미하고 전이는 모드와 모드 사이의 변화를 말한다. 포트는 ATM 들 사이의 상호작용을 위한 진입을 나타내기 위한 것이다. ATM 은 소프트웨어 순환 공학을 위해 디자인 되었다. ATM은 재/역공학적 측면에서 계산 이론과 더불어 기존의 실시간 시스템의 소스코드에 대한 디지안 및 환경 정보를 나타낸다. 본 논문은 병렬성, 병렬적으로 동작하는 엔터티들 사이의 제어 정보이 흐름, ATM 타입과 클래스로부터의 인스턴스, 비/동기적 이벤트, 포트와 이벤트 타입, 포트의 타입, 통신, 입/출력, 예외처리, 시간에 관한 요구사항, 다수를 대상으로 하는 통신 주기적 작업등과 같은 ATM의 여러 개념을 기술하고 이러한 속성들을 Producer-Buffer-Consumer 예제로 살펴본다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04a
• /
• pp.163-165
• /
• 2003

요즘 값싼 PC들을 빠른 네트웍으로 묶어 높은 성능을 얻고자 하는 클러스터 컴퓨팅에 대한 연구가 활발히 이루어지고 있다. 이러한 연구 중 파일에 대한 서비스를 제공하여 주는 파일 시스템에서 높은 대역폭과 병렬성을 지원하는 분산 파일 시스템이 개발되고 있다. 한편 기존 분산 파일 시스템에 대한 연구 중 서버의 부하를 감소시키고 성능을 향상시키기 위하여 상호협력 캐쉬가 제시되었다. 상호협력 캐쉬는 클라이언트간 파일 캐쉬를 공유함으로써 자신에게 없는 파일에 대한 내용을 다른 클라이언트가 가지고 있을 경우 서버에게 파일을 요구하지 않고 클라이언트간 파일 내용 전달을 통하여 요구를 처리하게 된다. 분산 파일 시스템 중 클러스터 컴퓨팅에서 많이 사용되고 있는 Linux 운영체제에서 구현된 PVFS는 높은 성능과 병렬 I/O를 제공한다. 하지만 기존 PVFS에서는 파일에 대한 캐쉬를 제공하지 않는다. 따라서 본 논문에서는 기존 PVFS에서 제공하지 않은 상호협력 캐쉬를 설계하고 구현한다. 그리고 기존 PVFS와의 성능 비교를 통하여 캐쉬의 효율성을 증명한다.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2003.12a
• /
• pp.665-668
• /
• 2003

컴퓨터 바이러스 문제에 대한 해결 주체는 현재의 클라이언트 중심에서 서버 중심으로 옮겨가는 것이 바람직하다. 그러나 지금까지 나온 서버용 안티바이러스 엔진들은 기존의 클라이언트용 엔진에 대한 반복 구현적인 성격이 강했기에 서버 시스템 자체의 특성을 충분히 감안하지 못하고 있다. 본 논문에서는 대부분의 서버들이 다수의 CPU 가진 병렬처리 시스템임을 감안하여 이러한 특징을 반영하여 전체적인 시스템 효율성을 높이도록 새로운 안티바이러스 엔진을 설계한 후 현재 구현 중인 주요 연구 내용을 소개한다. 다중프로세서 시스템에서 실행되는 안티바이러스 엔진은 하나의 모니터링 모듈에 다수의 동등한 에이전트 엔진을 가지고 구성된다. 모니터링 모듈은 엔진의 설치와 동적 부하균형, 자동갱신 등의 일을 담당한다. 에이전트 엔진들은 안티바이러스 기능을 기반으로 다양한 실행패턴을 가질 수 있으며 이를 통하여 서버에서 수행되는 효율성을 높일 수 있게 해준다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.593-595
• /
• 1999

모형 검증을 통한 시스템 명세의 정형적인 검증은 상태 폭발 문제로 인해 많은 어려움을 겪고 있다. 여러 개의 병렬 프로세스로 구성된 시스템에서 지수적으로 증가하는 상태의 객수로 인해 현실적으로 모형 검증을 적용하는 것이 불가능한 경우가 많다. 이런 문제점을 해결하기 위해서 시스템을 모듈 단위로 생각하여 정형 검증을 시도하는 많은 연구가 수행되고 있다. 병렬성을 중요한 특성의 하나로 하는 Statecharts 또한 널리 사용되고 있음에도 불구하고 아직 모듈을 바탕으로 검증을 수행하려는 시도가 그리 많지 않다. 본 연구에서는 내장 소프트웨어 시스템에 널리 사용되는 Statecharts명세를 모듈을 바탕으로 검증하는 방법을 제시하고자 한다. 먼저 Statecharts에서의 모듈을 정의하고 그와 같은 정의를 바탕으로 여러 개의 모듈로 구성되어 있는 Statecharts 명세의 모듈 기반 검증 방법을 제안한다. 여기서 사용되는 모듈 기반 검증은 환경에 대한 가정이 만족된다면 모듈을 반드시 주어진 성질을 만족한다는 가정-보증 추론(Assume-Guarantee Reasoing)을 이용한다.

• Proceedings of the KIPE Conference
• /
• 2020.08a
• /
• pp.251-252
• /
• 2020

화석연료 사용으로 발생하는 환경문제 대처방안으로 풍력 등 신재생 에너지원 사용의 필요성이 강조되고 있으며, 이러한 사회적 요구에 따라 신재생 에너지 발전 시스템의 대용량화 추세에 있다. 시스템 대용량화에 있어 안정적인 에너지 발전과 공급을 위해 전력변환장치의 신뢰성 향상이 필요하다. 특히, 풍력발전시스템의 경우 돌풍 등 일정하지 않은 풍속으로 인하여 전력변환장치의 잦은 고장이 발생하고, 이는 전체 시스템의 신뢰성 결정에 주된 영향을 미친다. 본 논문에서는 병렬형 전력변환장치에서 높은 고장률을 보이는 스위칭 소자의 열적 스트레스를 줄이기 위한 무효전력순환 기반 능동 열 제어기법을 제안한다. 제안한 기법의 동작특성을 이론적으로 분석하고, 열 회로망 시뮬레이션을 통해 그 영향을 검증한다.