• 제목/요약/키워드: 횟수

검색결과 5,403건 처리시간 0.029초

PS-Block 구조 기반의 반복횟수 분석기 설계 및 구현 (Design and Implementation of Loop Bound Analyzer based on PS-Block)

  • 김윤관;신원;김태완;장천현
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2006년도 한국컴퓨터종합학술대회 논문집 Vol.33 No.1 (C)
    • /
    • pp.133-135
    • /
    • 2006
  • 실시간 프로그램은 다양한 분야에서 사용되고 있으며, 그 개발자는 논리적, 시간적 정확성을 고려해야 한다. 시간적 정확성은 실시간 프로그램에서 가장 중요한 부분이며, 이를 위한 데드라인은 개발자에 의해 정의된다. 따라서 개발자는 데드라인의 정의를 위하여 기준점을 제시할 수 있는 정적 실행시간 분석이 필요하다. 정적 실행시간 분석에서 프로그램의 반복횟수 분석은 큰 비중을 차지한다. 현재 이러한 반복횟수 분석을 자동화하는 연구가 진행 중이다. 하지만 반복횟수 분석은 반복횟수에 영향을 주는 제어변수의 결정정책에 따라 결과가 달라지고, 자동화를 위한 반복횟수 계산 수식의 적용 범위가 제한되어 있다. 본 논문에서는 이러한 제어변수를 결정 및 탐색하고, 수집된 정보를 개선된 수식을 사용하여 반복횟수 분석을 수행할 수 있도록 PS-Block 구조를 기반으로 반복횟수 분석기를 설계 및 구현하였다. 반복횟수 분석기는 제어변수의 탐색 및 결정 분석 과정을 자동화하고, 수식의 개선으로 자동화 범위를 확대하며, 개별 반복 문 단위의 정밀한 반복횟수 분석을 통해 정확도를 높이고, 신뢰성을 향상시킬 수 있다.

  • PDF

KM-평준화: NAND 플래시 메모리를 위한 레벨 기반소거 횟수 평준화 기법 (KM-leveling : A Level-Based Wear Leveling Scheme for NAND Flash Memory)

  • 김도윤;박상원
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2007년도 한국컴퓨터종합학술대회논문집 Vol.34 No.1 (B)
    • /
    • pp.321-326
    • /
    • 2007
  • 최근 휴대전화 디지털 카메라, 랜 스위치, 디지털 셋톱박스, 휴대용 MP3 플레이어, 노트북용 PC 카드, 내장 기기의 펌웨어 등 플래시 메모리의 활용이 증가하고 있다. 하지만 기존 저장 장치와 달리 플래시 메모리는 특정 블록에 쓰기 연산을 하기 전에 해당 블록은 미리 소거(erase-before-write)되어 있어야 하는 제약이 있으며, 각 블록은 소거될 수 있는 횟수가 제한적이다. 이런 단점들은 플래시 메모리가 대용량화됨에 따라 중요한 문제로 대두되고 있다. 이런 각 블록에 대한 소거 횟수의 제한을 해결하기 위하여 소거 횟수 평준화 기법(wear-leveling) 기법이 필수적이다. 본 논문에서는 블록의 소거 횟수의 한계를 극복하기 위한 새로운 소거 횟수 평준화 기법으로 전체 블록에 대한 소거 횟수 레벨을 두어 소거 횟수 평준화를 이루는 KM-평준화(KM-leveling)를 제안한다. KM-평준화는 소거 횟수 평준화를 위한 전체 블록의 계산 비용을 최소화하고 블록에 대한 소거 레벨을 두어 적은 공간을 사용하는 효율적인 기법이다. 본 논문은 M값 범위 이내에 각 블록의 소거 횟수들이 존재하도록 보장하는 KM-평준화를 제안한다.

  • PDF

낸드 플래시 메모리의 가비지 컬렉션을 위한 적응적인 정책 (An Adaptive Policy for Garbage Collection of NAND Flash Memory)

  • 한규태;김성조
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2008년도 한국컴퓨터종합학술대회논문집 Vol.35 No.1 (B)
    • /
    • pp.361-365
    • /
    • 2008
  • 낸드 플래시 메모리를 저장매체로 사용하기 위해서는 제자리 덮어쓰기가 불가능하고 블록의 지움 횟수가 제한된다는 문제점을 해결해야 한다. 이러한 문제점을 해결하기 위해 지움 횟수 평준화를 지원하는 다양한 가비지 컬렉션 정책들이 연구되고 있다. 하지만 기존 정책들은 지움 횟수 평준화를 지원하기 위해 가비지 컬렉션이 수행될 때마다 전체 블록에 대해 지움 대상 블록을 선정하기 위한 클리닉 지표를 구하는 연산을 수행하여야 하고 이 연산들은 시스템의 성능을 저하시킨다. 본 논문은 블록당 지움 횟수의 분산과 블록들의 최대 지움 횟수에 따라 변경되는 임계값을 이용하여 전체 블록에 대한 클리닉지표를 구하는 연산을 수행하지 않으면서 지움 횟수 평준화를 제공한다. 가비지 컬렉션 시 분산이 임계값 보다 작을 때에는 Greedy 정책을 이용하여 지움 비용을 최소화하고, 분산이 임계값 보다 클때에는 최대 지움 횟수를 가진 블록을 지움 대상에서 제외하여 지움 횟수를 평준화시킨다. 제안된 방법은 전체 블록에 대한 클리닉 지표를 연산하는 과정을 제거하여 가비지 컬렉션 속도를 향상시킨다.

  • PDF

악성종양의 감별진단을 위한 근골격의 확산강조영상 검사 시 최적의 여기횟수 (Diffusion Weighted Imaging in Musculoskeletal MRI: Analysis on Optimal Number of Excitations Providing better Differentiation of Maglignant Tumor)

  • 최관우
    • 한국콘텐츠학회논문지
    • /
    • 제18권8호
    • /
    • pp.338-344
    • /
    • 2018
  • 본 연구에서는 근골격 확산강조영상 검사 시 검사시간이 긴 여기횟수의 문제점을 인지하고 이를 대체할 수 있는 최적의 여기횟수를 제시하여 이를 개선하고자 하였다. 연구방법은 무릎관절 MRI 검사를 받은 30명을 대상으로, 여기횟수를 1부터 5까지 사용하여 뼈와 근육의 확산강조영상을 획득한 다음 여기횟수의 변화에 따른 ADC value를 비교분석 하였다. 연구 결과 기존에 관행적으로 사용해왔던 여기횟수 5와 차이가 없는 최소 여기횟수는 뼈의 경우 4, 근육의 경우 2로 나타났다. 이는 기존 여기횟수의 검사시간에 비해 뼈는 21.2%, 근육은 59.6% 단축된 수치로, 위에 제시한 여기횟수를 적용하면 통계적으로 차이가 없어 검사시간을 단축시키면서 기존 여기횟수를 대체할 수 있음을 의미하는 것이다. 결론적으로 본 연구가 제시한 여기횟수를 근골격 확산강조영상 검사에 적용하면 검사시간의 증가로 인해 발생할 수 있는 문제점을 개선할 수 있다.

낸드 플래시 메모리를 위한 적응형 가비지 컬렉션 정책 (An Adaptive Garbage Collection Policy for NAND Flash Memory)

  • 한규태;김성조
    • 한국정보과학회논문지:컴퓨팅의 실제 및 레터
    • /
    • 제15권5호
    • /
    • pp.322-330
    • /
    • 2009
  • 제자리 덮어쓰기가 불가능하고 블록의 지움 횟수가 제한되는 낸드 플래시 메모리를 저장매체로 사용하기 위해서 지움 횟수 평준화를 지원하는 다양한 가비지 컬렉션 정책들이 연구되고 있다. 기존정책들은 지움 횟수 평준화를 지원하기 위해 가비지 컬렉션이 수행될 때마다 전체 블록에 대해 지움 대상블록을 선정하기 위한 클리닉 지표를 구하는 연산을 수행하여야 하고 이 연산들은 시스템의 성능을 저하시킨다. 본 논문에서 제안하는 가비지 컬렉션 정책은 지움 횟수의 분산(variance)과 블록들의 최대 지움횟수에 따라 변경되는 임계값을 이용하여 전체 블록에 대한 클리닉 지표를 구하는 연산을 수행하지 않으면서 지움 횟수 평준화를 제공한다. 가비지 컬렉션 시 분산이 임계값 보다 작을 때는 Greedy 정책을 이용하여 지움 비용을 최소화하고, 분산이 임계값 보다 클 때는 최대 지움 횟수를 가진 블록을 지움 대상에서 제외하여 지움 횟수를 평준화한다. 본 논문에서 제안하는 방법으로 가비지 컬렉션을 수행하였을 때, 블록들의 지움 횟수가 지움 횟수 상한에 가까워질수록 블록들의 지움 횟수 표준 편차가 0에 근접하며, 기존의 지움 횟수 평준화를 지원하는 알고리즘과 비교하여 두 배 이상 빠른 가비지 컬렉션 속도를 보였다.

PS-Block 구조 기반의 반복횟수 분석 구조 설계 (Design of Structure for Loop Bound Analysis based on PS-Block)

  • 김윤관;신원;김태완;장천현
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2006년도 춘계학술발표대회
    • /
    • pp.195-198
    • /
    • 2006
  • 실시간 프로그램은 항공기, 선박, 철도 예매 시스템 등 다양한 분야에서 사용되고 있으며, 그 개발자는 논리적, 시간적 정확성을 고려해야 한다. 시간적 정확성은 실시간 프로그램에서 가장 중요한 부분이며, 이를 위한 데드라인은 개발자에 의해 정의된다. 따라서 개발자는 데드라인의 정의를 위하여 기준점을 제시할 수 있는 정적 실행시간 분석이 필요하다. 정적 실행시간 분석에서 프로그램의 반복횟수의 분석은 큰 비중을 차지한다. 기존 연구에서 반복횟수의 분석은 사용자 입력에 의존하였고 현재 반복횟수 분석을 자동화하는 연구가 진행 중이다. 하지만 반복횟수의 분석은 반복횟수에 영향을 주는 제어변수의 결정정책에 따라 결과가 달라진다. 따라서 본 논문에서는 PS-Block구조를 기반으로 반복 횟수에 영향을 주는 제어변수들을 종합적으로 분석하여 보다 정밀하고 사용자의 입력을 자동화하는 반복횟수의 분석이 가능한 방법을 제시한다. 이로써 정적 실행시간 분석은 반복횟수의 정밀한 분석을 통하여 분석 결과의 정확도를 높이고 신뢰성을 향상시킬 수 있다.

  • PDF

포아송회귀 모형을 활용한 생명보험 설계사들의 이직 요인 분석 (The factors of insurance solicitor's turnovers of life insurance using Poisson regression)

  • 전희주
    • Journal of the Korean Data and Information Science Society
    • /
    • 제27권5호
    • /
    • pp.1337-1347
    • /
    • 2016
  • 본 연구는 생명보험사의 핵심 영업채널의 역할을 하고 있는 보험설계사들에 대한 설문을 바탕으로 보험설계사들의 이직횟수에 영향을 주는 요인을 찾고자 한다. 반응변수 이직횟수는 계수자료 (count data)이기에 일반화선형모형의 하나인 포아송회귀모형을 통해 분석된다. 현 조직에서의 보험설계사 근무경력은 보험설계사의 이직횟수에 직접적인 영향을 주는 변수로 본 연구모형에서는 통제변수로 설정되었다. 포아송회귀모형 적합결과, 보험설계사 이직의 횟수에 가장 큰 영향을 주는 요인은 현재 속한 회사 (대리점)으로 나타났으며, 다음으로 연령, 보험설계사로 입사하게 된 동기, 월평균 소득, 월평균 신계약건수, 최종학력 순으로 나타났다. 보험설계사가 현재의 속한 조직이 대형생보사이면 이직의 횟수가 가장 낮고, GA (general agent, 독립대리점) 소속이면 이직의 횟수가 높아지는 경향을 보이고 있다. 연령은 적을수록 이직의 횟수는 증가하고 연령이 많을수록 이직의 횟수는 작아짐을 보여주었다. 보험설계사로 입사하게 된 동기는 친구, 친척, 가족 등 지인의 추천과 동료FP, 소장, 지점장 등의 권유이면 이직의 횟수는 작게 나타났고 단순한 경제적 수입의 니즈와 능력과 적성이 부합의 자발적인 경우는 오히려 이직의 횟수는 높게 나타났다.

속성 중복을 고려한 릴레이션의 수직 분할방법 (Vertical Relation Partitioning Method With Attribute Replications)

  • 유종찬;김재련
    • 한국데이타베이스학회:학술대회논문집
    • /
    • 한국데이타베이스학회 1997년도 International Conference MULTIMEDIA DATABASES on INTERNET
    • /
    • pp.504-514
    • /
    • 1997
  • 관계형 데이터베이스의 성능을 향상시키는데 중요한 요소 중의 하나는 트랜잭션을 처리하기 위해 데이터를 디스크에서 주기억장치로 옮기는데 필요한 디스크 액세스(access) 횟수이다. 본 연구는 관계형 데이터베이스에서 트랜잭션을 처리할 때, 릴레이션(relation)을 수직분할하여 디스크에 단편(fragment)으로 저장하므로써 필요한 단편만 액세스하여 액세스 횟수를 감소시키는데 목적이 있다. 단편에 속성을 중복할당하여 수직분할하므로써 트랜잭션을 만족시키는 단편의 수를 감소시켜 중복할당을 고려하지 않은 방법보다 디스크 액세스 횟수를 감소시킬 수 있다. 갱신트랜잭션의 경우 하나의 속성이 갱신되면 중복된 속성을 모두 갱신하여야 하므로 액세스 횟수가 증가하지만, 조회트랜잭션의 경우 각 단편에 속성을 중복할당하여 액세스 횟수를 감소시킬 수 있다. 본 연구에서는 속성의 중복을 허용하여 단편을 구성하는 경우에 중복을 고려하지 않은 경우를 포함하므로 효과적으로 디스크 액세스 횟수를 감소시킬 수 있다. 본 연구에서는 중복할당을 고려하여 디스크의 액세스 횟수를 최소화시킬 수 있는 수직분할문제의 0-1 정수계획모형을 개발하고, 모형에 대한 최적해법으로 분지한계법을 제안한다.

  • PDF

플래시 메모리 파일 시스템을 위한 효율적인 소거 횟수 평준화 기법 (An Efficient Wear-leveling Scheme for Flash Memory File System)

  • 배영현;최종무;이동희;노삼혁;민상렬
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (1)
    • /
    • pp.580-582
    • /
    • 2004
  • 이동 기기의 저장 장치로 널리 사용되는 플래시 메모리는 데이터를 기록하기 전에 해당 블록이 미리 소거되어 있어야 하는 제약이 있다. 또한 각 블록은 소거 횟수의 한계를 가지고 있기 때문에 특정 블록이 집중적으로 사용되는 경우에는 일부 블록의 수명이 일찍 다하게 되어 저장 장치로서의 구명도 짧아지게 된다. 따라서 플래시 메모리 파일 시스템은 고속의 데이터 입출력 성능뿐만 아니라 기록과 소거 동작이 특정 블록에 집중되지 않도록 하여 저장 장치의 내구성을 개선하는 소거 횟수 평준화 기능을 제공해야 한다. 기존에 제안된 소거 횟수 평준화 기법은 복잡한 계산을 필요로 하며 각 블록의 소거 횟수를 유지해야 하는 비용 등으로 인해 자원이 부족한 소형 이동 기기에서 구현하기에는 비효율적이다. 본 논문에서는 플래시 메모리 파일 시스템에서 구현과 동작이 단순하고 어떠한 데이터 접근 형태에 대해서도 평준화 성능이 우수한 효율적인 소거 횟수 평준화 기법을 제안한다. 그리고 제안된 기법을 구현하여 기존 플래시 메모리 파일 시스템의 소거 횟수 평준화 성능과 비교 평가한다.

  • PDF

K-평준화: 플래시 메모리의 효율적인 소거 횟수 평준화 기법 (9f-leveling: An Efficient Wear-leveling Scheme for Flash Memory)

  • 김도윤;유현석;박성환;박원주;박상원
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2005년도 한국컴퓨터종합학술대회 논문집 Vol.32 No.1 (A)
    • /
    • pp.787-789
    • /
    • 2005
  • 최근 이동성이 중요한 요소로 차지하는 기기들이 등장하면서 플래시 메모리가 각광을 받고 있다. 플래시 메모리의 소형화, 대용량화, 저전력화, 비휘발성, 고속화 그리고 충격에 강한 장점으로 인하여 많은 응용에서 디스크를 대체할 것으로 예상된다. 하지만 이런 플래시 메모리는 데이터를 기록하기 전에 해당 블록이 미리 소거가 되어야 하는 제약 조건을 가지고 있으며 각 블록들의 최대 소거 횟수가 제한되어 있다는 한계가 있다. 이때 소거 연산이 특정 블록에 집중되어 특정 블록의 수명이 단축되는 문제점을 해결하기 위하여 블록에 대한 소거 횟수 평준화 기법(wear-leveling)이 필요하다. 기존에 제안된 소거 횟수 평준화 기법은 각 블록의 소거 횟수를 유지해야하는 비용이 필요로 하거나 플래시 메모리가 대용량일 경우에는 블록 영역을 이동시키는데 비용이 발생하는 문제가 있다. 본 논문에서는 플래시 메모리의 소거 횟수 평준화를 위하여 해당 블록의 소거 횟수에 대한 정보의 유지의 부담을 줄이고 플래시 메모리의 대용량화 및 디스크 대체 시에 효율적인 소거 횟수 평준화 기법을 제안하고, 실험을 통하여 성능의 우수함을 보인다.

  • PDF