• 제목/요약/키워드: 단일할당

검색결과 173건 처리시간 0.023초

자동화된 프로그램 시험을 위한 입력 자료구조의 모양 식별 (Identifying a Shape of Input Data Structure for Automated Program Testing)

  • Insang, Chung
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제31권10호
    • /
    • pp.1304-1319
    • /
    • 2004
  • 프로그램 시험 비용은 테스트 데이타를 생성하는 과정을 자동화함으로써 상당히 줄일 수 있다. 테스트 데이타 생성은 보통 선택된 프로그램 경로를 실행하는 입력 값들을 식별하는 데 주안점을 둔다. 지금까지 많은 연구가 있어왔지만 여전히 해결해야할 문제가 있다 그러한 문제들 중에 모양 문제가 있다. 모양 문제는 주어진 프로그램 경로를 수행하기 위해 요구되는 입력 자료구조를 밝혀내는 문제이다. 이 논문에서 이 모양 문제에 대한 새로운 방법을 제시한다. 이 방법은 주어진 경로를 포인터 역 참조가 없는 정적단일 할당문 (Static Single Assignment, SSA) 형태로 변환한다. 이는 주어진 경로 상에 존재하는 각 프로그램 문장을 등식이나 부등식과 같은 제약식으로 간주할 수 있게 해준다. 이러한 제약식에 대한 해는 각 입력 변수에 대한 'points-to relation' 형태로 나타난다. 간단한 예들을 통하여 제안한 방법에 대해 설명한다.에 대해 설명한다.

페이딩 채널에서 직접 대역확산 부호분할 다중접속 통신을 위한 일반화된 혼합 전력/전송률 적응화 기법 (Generalized Combined Power and Rate Adaptations in DS/CDMA Communications over Fading Channels)

  • 이예훈;김동호
    • 한국통신학회논문지
    • /
    • 제38A권8호
    • /
    • pp.680-687
    • /
    • 2013
  • 본 논문에서는 나카가미 페이딩 채널 환경에서 직접 대역확산 부호분할 다중접속 통신을 위한 일반화된 혼합 전력/전송률 적응화 기법에 관하여 연구한다. 각 사용자를 위한 전송전력은 $G^p_i$에 비례하여 할당되는데, 여기에서 $G_i$는 사용자 i의 채널 이득이고 p는 실수이다. 전송률(즉, 처리이득)도 원하는 전송품질을 얻기 위하여 동시에 결합되어 적응화 된다. 본 연구에서는 평균 전력 및 최대 전력이 고정되어 있을 때 제안하는 혼합 적응화 방식으로 얻을 수 있는 평균 데이터율을 분석하였다. 본 논문의 결과를 통해서 제안하는 혼합 전력/전송률 적응화 방식이 전력 혹은 전송률의 단일 적응화 방식에 비하여 많은 성능 향상이 있음을 알 수 있었다.

완전탐색 블럭정합 알고리즘의 고속 처리를 위한 VLSI 어레이 프로세서의 구조 (A VLSI Array Processor Architecture for High-Speed Processing of Full Search Block Matching Algorithm)

  • 이수진;우종호
    • 한국통신학회논문지
    • /
    • 제27권4A호
    • /
    • pp.364-370
    • /
    • 2002
  • 본 논문에서는 완전탐색 블럭정합 알고리즘의 고속처리를 위한 VLSI 어레이 프로세서의 구조를 제안한다. 완전 탐색 블록정합 알고리즘으로부터 인덱스 공간을 확장한 단일할당코드를 변환 후, 이것으로부터 데이터의존그래프를 구하고, 최적의 방향으로 투영시켜 신호흐름그래프를 얻는다. 신호흐름그래프에 시간 및 공간적인 지역성을 추가하여 이차원 VLSI 어레이를 구하였다. 탐색영역의 후보블럭이 행과 열로 중첩되므로, 중복되는 데이터를 재사용해서 데이터 임력횟수를 줄이고 처리 속도를 향상시켰다. 블럭의 크기가 N이고 최대탐색거리가 p인 경우, 제안한 VLSI 어레이의 처리요소는 ($N_2$+1)$\times$(2p+1)개이고, 입력포트는 (N+2p)개이다. 첫 번째 기준블럭에 대한 이동벡터를 구하는 시간은 ($N_2$+2(p+1)N+6p)이고, 매 (3N+4p-1) 단위시간마다 다음 기준 블럭에 대한 이동벡터가 구해진다.

다중 트랙픽 지원을 위한 CDMA 예약 ALOHA 방안의 성능 분석 (Performance Analysis of CDMA Reservation ALOHA for Multi-traffic Services)

  • 조춘근;허경무;이연우;차균현
    • 한국통신학회논문지
    • /
    • 제24권12A호
    • /
    • pp.1852-1861
    • /
    • 1999
  • 본 논문은 음성 그리고 우선권이 있는 연속적인 트래픽 및 우선권이 없는 랜덤 트래픽을 완전 패킷 방식으로 제공할 수 있는 CDMA 예약 ALOHA 방식을 제안한 것으로, 성능에 영향을 미치는 패킷의 충돌과 타사용자 간섭을 최소로 하는 구조로 되어 있다. 제안된 구조에서 시간 슬롯과 패킷은 같은 크기를 갖고 각각 액세스/전송 단계와 액세스/전송 필드로 나누어져 있다. 액세스 단계에서 패킷의 충돌을 줄이기 위해 piggyback을 이용한 예약과 시스템 평형 상태에서 추정한 경쟁 사용자 수를 이용한 액세스 허용 확률을 이용하고, 전송 단계에서의 타사용자 간섭을 줄이기 위해서 액세스 단계에서 기지국으로부터 전송코드를 할당받은 패킷만이 전송 단계에서 전송을 할 수 있게 하였다. 즉, 음성과 우선 순위가 있는 연속적인 트래픽에 대해 예약을 허용하여 실시간 전송을 가능하게 하고, 우선권이 없는 랜덤 트래픽에도 액세스 허용 확률을 적용하여 전송 지연을 줄일 수 있었다. 또한, 단일 셀 환경의 평형 상태에서 Markov 모델링 기법을 이용하여 각 트래픽의 요구하는 성능을 수식적으로 유도하고, 모의실험을 통해 성능을 도시하였다.

  • PDF

OFDM 셀룰러 시스템에서 부반송파 기반의 가상 다중안테나 기법 (A Subcarrier-based Virtual Multiple Antenna Technique for OFDM Cellular Systems)

  • 이규인;고현수;우경수;고요한;김영준;안재영;조용수
    • 한국통신학회논문지
    • /
    • 제31권10C호
    • /
    • pp.981-990
    • /
    • 2006
  • 본 논문에서는 OFDM 기반의 셀룰러 시스템에서 실제 다중 수신안테나를 사용하지 않고 부반송파를 가상의 다중 수신안테나로 간주하여 MIMO 기법을 적용할 수 있는 부반송파 기반 가상 수신안테나 기법을 기술한다. 부반송파 기반 가상 안테나 기법은 단일 수신안테나에서도 셀간 간섭 제거 또는 SDMA를 수행할 수 있는 기법으로 송수신단에서 다중 안테나를 사용하는 경우에도 쉽게 확장가능하다. 부반송파 기반 가상 안테나 기법은 스마트 안테나 기법을 적용한 가상 스마트 안테나 기법과 MIMO 기법을 적용한 가상 다중 안테나 기법으로 분류된다. 특히 수신단이 주파수 재 사용률이 1인 셀 경계지역에 있을 때 인접 셀의 간섭을 효과적으로 제거할 수 있는 기법으로 간섭의 정도에 따라 유동적으로 자원할당이 가능한 방법이다. 모의실험을 통해 동일한 데이터 전송률에서 기존 셀간 간섭 제거 기법보다 부반송파 기반 가상 안테나 기법이 우수함을 보인다.

자원 신뢰성 측정을 통한 효율적인 그리드 자원 스케줄링 모델 (Efficient Grid Resource Scheduling Model with Resource Reliability Measurement)

  • 박다혜;이종식
    • 한국시뮬레이션학회논문지
    • /
    • 제15권4호
    • /
    • pp.129-136
    • /
    • 2006
  • 그리드 컴퓨팅은 단일 컴퓨터로는 해결할 수 없는 대용량의 작업을 처리하기 위해 제안되었다. 그리드 컴퓨팅은 지리적으로 분산된 이기종 자원들을 상호 연결하여 대용량의 작업들을 처리하는 새로운 차세대 컴퓨팅이다. 그런데, 분산된 이기종의 자원들을 모을 때에 많은 어려운 문제들이 발생한다. 특히, 자원들의 신뢰성을 보장하는 것은 가장 심각한 문제 중에 하나이다. 그래서 우리는 그리드 자원의 신뢰성을 측정하여 자원을 할당하는 그리드 자원 신뢰성 측정 스케줄링 모델을 제안한다. 우리는 자원의 상태 정보를 기반으로 하여 자원 신뢰성을 측정하고, DEVSJAVA 모델링과 시뮬레이션 환경에서 그리드 시뮬레이션 모델에 그리드 자원 신뢰성 측정 방법을 적용하였다. 그리고, 이 논문은 스케줄링 모델들의 Utilization, Job loss, Throughput 그리고 Average Turn-around Time 같은 파라미터들을 측정하였고, 자원 신뢰성 측정을 이용한 그리드 자원 신뢰성 측정 스케줄링 모델의 실험 결과들을 기존의 스케줄링 모델들(랜덤 스케줄링 모델, 라운드 로빈 스케줄링 모델)과 비교하였다. 이 실험 결과들은 자원 신뢰성 측정 스케줄링 모델이 랜덤 스케줄링 모델과 라운드 로빈 스케줄링 모델에 비해 효율적인 자원 할당과 안정적인 작업 처리를 제공한다는 것을 보여준다.

  • PDF

부분전송열 직교 주파수분할다중화 시스템에서 새로운 부블럭분할법 (A New Subblock Partition Scheme for Partial Transmit Sequence Orthogonal Frequency Division Multiplexing System)

  • 강석근;강군석;김정구;주언경
    • 전자공학회논문지S
    • /
    • 제36S권10호
    • /
    • pp.1-9
    • /
    • 1999
  • 본 논문에서는 직교 주파수분할다중화의 첨두전력 대 평균전력비 감소를 위한 부분전송열 방식에서 연산 복잡도를 줄이기 위한 부블럭분할법이 제안된다. 여기서는 부블럭의 부분부대역에 랜덤하게 복소신호를 할당하고 이들을 반복적으로 연결시킨다. 그리고 보간 형태로 활성화된 부대역을 이용하여 변조함으로써 연산량이 감소된다. 모의실험 결과 제안된 방법은 기존의 방법과 거의 유사한 첨두전력 대 평균전력비 감소성능을 나타내었다. 그러나 부분전송열 직교 주파수분할다중화의 단일 심벌 전송에 요구되는 연산복잡도는 기존의 방법에 크게 감소됨을 알 수 있었다.

  • PDF

AWG 기반 WDM-PON을 위한 MAC 칩 설계- I: 입출력 모듈 (Design of MAC Chip for AWG Based WDM-PON - I : Input/Output Nodule)

  • 양원혁;한경은;김영천
    • 한국통신학회논문지
    • /
    • 제33권6B호
    • /
    • pp.456-468
    • /
    • 2008
  • 본 논문에서는 혼합형 2단 AWG 기반의 WDM-PON을 하드웨어적으로 구현하기 위한 초기 단계로서 입출력 모듈을 설계하고 로직 시뮬레이션을 통해 동작을 검증한다. 혼합형 2단 AWG 기반의 WDM-PON은 32개의 파장을 통하여 128개의 ONU에게 서비스를 제공한다. 이때, 하향 전송에서 각 ONU는 각기 할당된 별도의 파장을 이용하는 반면 상향 전송의 경우 4개의 ONU가 단일의 파장을 공유하는 형태이다. 설계한 WDM-PON MAC 칩은 sub-MAC을 기반으로 하며, 각 sub-MAC마다 제어부, 수신부 그리고 네 개의 송신부로 구성된다. 따라서 본 논문에서는 sub-MAC을 구성하는 송 수신부의 기능, 사용되는 핀, 제어 신호 및 타이밍을 정의하고 이를 기반으로 각 기능 모듈을 설계한다. 설계한 WDM-PON MAC 칩은 각 입출력 모듈이 1Gbps의 송수신률을 가지는 것을 목표로 하였으며 이 동작을 위하여 125MHz 구동 클럭에 맞도록 설계된다. WDM-PON MAC 칩의 설계과정은 FSM(Finite State Machine)을 이용한 설계 흐름을 따랐으며 설계한 sub-MAC의 입출력 기능의 검증 및 성능 평가를 위하여 ModelSIM에서 각 기능별로 시나리오를 작성하고 이를 기반으로 로직 시뮬레이션을 수행한다.

멀티코아 모바일 가상화 시스템에서 가상 CPU 할당 실시간 스케줄링 방법 (Real-Time Scheduling Method to assign Virtual CPU in the Multocore Mobile Virtualization System)

  • 강용호;금기문;김선종;진광윤;김주만
    • 디지털융복합연구
    • /
    • 제12권3호
    • /
    • pp.227-235
    • /
    • 2014
  • 모바일 가상화는 두 개의 가상 플랫폼을 하나의 무선 장치에 탑재하는 모바일 장치 관리의 한 접근 방법이다. 단일 무선 장치인 스마트폰은 사업용과 개인용으로의 가상 환경으로 사용될 수 있을 것이다. 모바일 가상화는 또한 동일한 장치에 두 개의 운영체제인 RTOS와 안드로이드 앱이 동시에 수행되는 환경일 수 있다. 본 논문에서는 멀티코아에서 각 코아를 가상화하고, 물리 CPU(pCPUs)에 배당된 여러 가상 CPU(vCPU)를 재 할당하는 기법을 제시하며 또한 가상 CPU들을 물리 CPU에 할당하기 위한 실시간 스케줄링 방법을 제안한다. 본 논문에서 제안된 기술은 인터럽트 처리시에 실시간 처리의 시간 지연을 해결하였고, 이전의 알고리즘보다 빠른 처리를 가능하게 한다.

Self-Similar 트래픽을 갖는 공유버퍼 메모리 스위치 네트워크 환경에서 호 수락 제어 방법 (Call Admission Control for Shared Buffer Memory Switch Network with Self-Similar Traffic)

  • 김기완;김두용
    • 한국통신학회논문지
    • /
    • 제30권4B호
    • /
    • pp.162-169
    • /
    • 2005
  • 패킷 스위치로부터 발생되는 트래픽이 전통적인 트래픽 모델인 포와송 분포와 마코비안 프로세스로 가정된 네트워크로부터 발생되는 트래픽과 상당히 차이가 나는 self-similar 현상을 보이고 있다는 것이 알려지고 있고 또한 기존에 제안된 대부분의 호 수락 제어 방법에 대한 성능 분석은 스위치가 단독으로 존재한다고 가정하여 이루어지고 있다. 그러나 실제 트래픽이 목적지에 도달하기 위해서는 라우팅을 통하여 여러 스위치들을 거쳐야하므로 호 수락 제어 방법에 대한 성능 분석은 다단으로 연결된 스위치로 확장되는 것이 필요하다. 본 논문을 통하여 기존에 제안된 호 수락 제어 방법이 단일 스위치 환경 하에서는 적절하게 동작이 이루어지나 다단으로 스위치가 연결되어 있는 환경에서는 뒤에 위치하고 있는 스위치에 필요 이상의 유효 대역폭을 할당 한다는 것을 알 수 있다. 그러므로 본 논문에서는 공유 버퍼 메모리를 갖는 다단 네트워크 스위치 환경에서 셀 손실률과 이용률 그리고 각 스위치 출력포트의 self-similarity를 분석하여 self-similar 트래픽 환경에서 효과적으로 대역폭을 할당할 수 있는 호 수락 제어 방법을 제안한다.