• 한국정보과학회논문지:시스템및이론
• /
• 제30권10호
• /
• pp.569-578
• /
• 2003

데이타 종속성은 명령어 수준 병렬성을 향상시키는데 중요한 장애요소가 되고 있으며, 최근 여러 논문에서 데이타 종속을 제거하기 위하여 결과 값을 예상하는 방법이 연구되고 있다. 혼합형 결과 값 예측기는 여러 예측기의 장점을 이용하여 높은 예상 정확도를 얻을 수 있지만, 동일한 명령어가 여러 개의 예측기 테이블에 중복 엔트리를 갖게되어 높은 하드웨어의 비용을 필요로 한다는 단점이 있다. 본 논문에서는 정적 및 동적 분류 정보를 이용하여 높은 성능을 얻을 수 있는 새로운 혼합형 결과 값 예측기를 제안한다. 제안된 예측기는 반입 단계 동안 정적 분류 정보를 사용하여 적절한 예측기에 할당함으로써 테이블 크기를 효과적으로 감소시켰고 예상정확도를 향상시켰다. 또한 제안된 예측기는 동적 분류를 사용하여“Unknown”유형의 명령어에 가장 적절한 예측방법을 선택하도록 하여 예상 정확도를 더욱 향상시켰다. SimpleScaiar/PISA 툴셋과 SPECint95 벤치마크 프로그램에서 시뮬레이션 한 결과, 정적 분류 정보를 사용하였을 경우 평균 예상 정확도가 85.1%, 정적 및 동적 분류 정보를 모두 사용하였을 경우 87.6%의 평균 예상 정확도를 얻을 수 있었다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2011년도 춘계학술발표대회
• /
• pp.246-249
• /
• 2011

페이징을 이용한 가상 메모리 환경에서는 프로세스가 사용하는 가상 페이지가 임의의 물리 페이지로 매핑이 되므로 캐시 인덱스 충돌로 인한 캐시 미스율이 증가한다. 이를 하드웨어의 지원 없이 해결하기 위해 페이지 컬러링 기술은 처음 연구되기 시작하였고, 지금까지도 꾸준히 연구되고 있다. 이러한 페이지 컬러링 기술은 컬러링 정책을 먼저 정해놓고 컬러링을 하는 정적 페이지 컬러링, 그리고 동적프로파일링을 통해 프로세스의 데이터 영역 접근 패턴을 파악하고 이를 통해 실시간 컬러링을 하는 동적 페이지 컬러링으로 나눌 수 있다. 하지만 두 가지 방법 모두 다음과 같은 단점이 존재한다. 먼저 정적 페이지 컬러링은 프로세스의 동작을 프로파일링 할 수 없기 때문에 컬러링으로 인한 효율을 극대화시킬 수 없고, 동적 페이지 컬러링은 동적 프로파일링을 하고 이를 통해 재컬러링(recoloring) 하는 오버헤드가 존재한다. 이러한 문제를 해결하기 위해서, 본 논문에서는 실행 코드 영역 프로파일링을 통한 MFU(Most Frequently Used) 기반 페이지 컬러링 기법을 제안한다. 이 기법은 동적으로 프로세스 코드 영역을 프로파일링 하여 실행 점유율이 높은 영역을 알아낸 뒤, 이를 기반으로 정적 페이지 컬러링을 하는 방식이다. 따라서 본 논문에서 제안한 기법은 기존의 기법들이 가진 단점을 해결하고, 캐시 성능을 향상시킬 것으로 기대된다.

• 지구물리와물리탐사
• /
• 제6권4호
• /
• pp.199-206
• /
• 2003

MT 탐사자료의 역산에 있어서 지하의 전기비저항과 함께 정적효과를 파라미터로 설정하여 동시 역산을 수행하는 알고리듬을 하나의 지하구조 모델에 각기 다른 양의 정적효과를 포함시킨 4개의 자료에 대하여 적용시키고 이를 정적효과가 전혀 고려되지 않은 경우와 비교하여, 3차원 역산에서 정적효과가 미치는 영향 및 그 특성에 대하여 분석하였다. 일반적으로 현장자료에 정적효과가 어느 정도 포함되어 있는지에 대한 사전 정보가 전혀 없으므로 역산과정에서 이를 조절하는 trade-off 파라미터의 적절한 선택이 매우 중요하며, 본 연구에서는 모델의 smoothness와 static shift의 양을 조절하는 각각의 파라미터의 크기를 매 반복마다 구하는 알고리듬을 동시역산에 적용하였으며 4개의 이론자료에 적용한 결과 만족할 만한 결과를 얻었다. 정적효과가 포함된 자료에 대하여 정적효과를 고려하지 않은 역산(기존의 MT 역산)에서는 지표 block의 전기비저항을 바꿔 역산 스스로가 정적효과를 유발하려는 경향을 보였으며 이의 결과로 저주파수에서는 상당한 정적효과를 발생시켜 정적효과가 그리 크지 않은 경우 심부구조를 어느 정도 규명해 내는 것으로 나타났다. 그러나 고주파수에서는 이들 지표 block의 영향이 주파수에 무관하지 않게 되어 정적효과를 포함하는 자료의 겉보기 전기비저항과 위상을 동시에 만족시키지 못하게 된다. 그러나 정적효과를 파라미터로 하는 동시역산의 경우, 매우 심한 정적효과를 포함하는 자료에 대해서도 지하구조를 매우 정확히 영상화 하는 것이 가능하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2009년도 춘계학술발표대회
• /
• pp.581-584
• /
• 2009

본 논문에서는 시간의 축에 따라 점진적으로 확산되는 정보 네트워크를 효과적으로 표현할 수 있는 시각화 도구를 소개하고자 한다. 이것은 기존의 정적인 데이터에 대한 정적인 시각화 결과물을 제시하는 시각화 도구들과는 달리, 시간의 축에 따라 동적으로 성장하는 데이터를 효과적으로 표현할 수 있다는데 그 차이가 있다. 이를 위해 그래프 기반의 정보 확산 네트워크 모델을 정의 하고, 이 그래프에 시간의 축에 따른 데이터의 성장을 반영하여, 정보 확산 과정을 시각화 할 수 있는 도구를 제작하였다. 결론적으로, 본 논문에서 제시하는 도구는 시간의 축에 따라 점진적으로 성장하는 정보 네트워크의 성장 과정을 시각화함으로 해서, 복잡하게 엉켜 있는 정보들이 어떻게 확산되며, 어떤 모양으로 생겼는지, 또 어떻게 진화하는가에 대한 시각적 재현을 통해 정보 확산 네트워크의 속성을 이해하는데 도움을 줄 수 있는 새로운 시각화 도구를 제시했다는데 그 의미가 있다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제8권7호
• /
• pp.265-274
• /
• 2019

무기체계 소프트웨어 개발 시 수행하는 신뢰성 시험은 크게 정적 검증과 동적 검증으로 구분된다. 정적 검증에서는 소프트웨어 코드를 수행시키지 않고 코딩 규칙 점검, 취약점 점검, 소스 코드 메트릭 점검을 수행하고, 동적 검증에서는 요구 사항을 기반으로 실제 소프트웨어를 실행시켜 기능을 검증하고 코드 실행률을 측정한다. 이러한 정적/동적 검증의 목적은 소프트웨어에 존재하는 결함을 발견하기 위한 것이다. 그러나 현재의 무기체계 소프트웨어 신뢰성 시험만으로는 여전히 탐지할 수 없는 결함들이 존재한다. 본 논문에서는 소프트웨어에서 발생할 수 있는 결함에 대해 무기체계 신뢰성 시험의 정적 검증과 동적 검증으로 탐지를 할 수 있는지를 사례실험을 통하여 분석 한다. 그 결과로 현재의 정적 검증과 동적 코드 커버리지 측정에서 더 나아가 무기체계 신뢰성 시험, 특히 동적 시험의 개선방안으로 연결하고자 한다.

• 한국재난정보학회 논문집
• /
• 제19권4호
• /
• pp.851-858
• /
• 2023

연구목적: 종래의 PSC 거더에 비해 단면 효율이 개선된 양각 거더교의 구조적 안전성을 확보하기 위한 연구를 수행하였다. 이를 위해 거더 길이, 높이, 폭과 같은 단면의 제원을 정하고 강연선의 배치를 설계하여 정적 및 동적 하중에 의한 양각 거더의 실질적인 성능을 검증하였다. 연구방법: 정적 성능 실험은 1차 및 2차 정적 하중에 대한 처짐, 균열 등의 거동 응답을 측정하여 사용성 한계상태를 검토하였다. 또한, 동적 하중 재하 실험은 시간에 따른 가속도, 변위 거동 응답을 측정하여 고유진동수 및 감쇠비를 산정하여 사용성 한계상태를 검토하였다. 연구결과: 정적 성능 실험 결과 최대 재하하중 기준 처짐값은 안정적인 거동을 나타났고, 최대 재하하중 수준에서 측정된 균열폭은 매우 작아서 사용성 한계상태를 만족하는 것으로 나타났다. 또한, 동적 하중 재하 실험 설계 시 산정된 고유진동수를 상회하는 고유진동수가 나타났으며, 현행 규정에 만족하는 감쇠비를 확보하는 것으로 나타났다.

• 한국정보통신학회논문지
• /
• 제13권5호
• /
• pp.988-995
• /
• 2009

텔레매틱스 서비스 중 가장 보편적으로 사용되는 것이 출발지에서 목적지까지의 최단 경로 안내 서비스이다. 본 논문에서는 미래 시간에 대한 교통흐름 예측 결과를 바탕으로 한 동적 최단 경로 탐색 시스템을 개발하고 실시간교통정보를 이용한 다양한 실험을 수행하여 성능을 분석하였다. 교통흐름 예측은 베이지안 네트워크 (Bayesian network)를 이용한 예측 시스템을 사용하였다. 동일한 출발지와 목적지에 대해 동적 최단 경로와 정적 및 누적 최단 경로를 탐색하고 각 경로에 대한 통행 시간을 계산하여 실제 최단 경로의 통행시간과 비교하였다. 실험 결과 75% 이상의 비율로 동적 최단 경로의 통행시간이 정적이나 누적 최단 경로의 통행시간보다 실제 최단경로의 통행시간에 가깝게 나타났다. 따라서 중간 경유지에 도착 예정인 시간대의 교통 흐름을 예측하여 동적 최단 경로를 구하는 것이 출발시간의 교통흐름을 모든 구간에 적용하여 최단 경로를 구하는 정적 최단 경로에 비해 더 정확한 교통정보를 제공하여 텔레매틱스 서비스의 품질을 향상시킬 수 있음을 보여 주었다.

• 한국정보시스템학회:학술대회논문집
• /
• 한국정보시스템학회 1997년도 추계학술대회논문집 기업경쟁력 향상을 위한 정보통신 기술의 활용
• /
• pp.149-164
• /
• 1997

사례기반형 추론(CBR)은 과거의 경험을 이용해서 문제를 해결하려는 방법으로서 규칙기반형 추론(RBR)과 달리 문제해결경험이 풍부한 도메인에 적합한 방법이다. CBR은 정적인 측면에서 사례의 표현과 구조화문제가 중요시되며, 동적인 측면에서는 사례의 검색 절차와 수정이라는 해결안 생산과정이 중요시된다. 본 논문은 정적 측면에서 효과적인 CAPP 지원을 위해 사례베이스(CB)를 계층적으로 구조화하였다. 또한 CB의 구조화시 시스 템의 문제해결 능력을 향상시켜주기 위하여 CB를 응용도메인 종속적 CB(DDCB)와 독립적 CB(DICB)로 분리하여 과거의 문제해결 경험에 관한 지식은 DDCB에 나타내었으며, 도메인 전문가가 가지는 일반적인 문제해결 지식은 DICB에 나타내었다.

• 한국산업정보학회:학술대회논문집
• /
• 한국산업정보학회 2009년도 춘계학술대회 미래 IT융합기술 및 전략
• /
• pp.179-183
• /
• 2009

본 연구는 공작기계중 대표적인 CNC LATHE의 검사항목에 관한 문헌연구를 통하여 기초 정밀도 개선 부품 적용 및 정적, 동적 정밀도 보정을 위한 기초 자료를 제시 한다. 그리고 공작기계의 기본 성능과 검사항목과의 관계를 정량적으로 연구하여 각 항목별 허용치를 제시함으로 고품질의 제품을 생산할 수 있는 데이터베이스와 관련 지침을 소개한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2011년도 한국컴퓨터종합학술대회논문집 Vol.38 No.1(C)
• /
• pp.478-481
• /
• 2011

이 논문에서는 정적으로 2단계 언어의 불필요한 식을 찾는 분석 방법을 제안한다. 불필요한 식이란 식의 실행의미가 프로그램의 결과에 영향을 미치지 않는 식을 말한다. 다단계 프로그램이 불필요한 식을 만들어내는 지 프로그램 실행전에 알 수 있다면 프로그램 실행에 드는 비용을 줄일 수 있다. 이 분석은 다형타입을 가지는 다단계 언어의 타입시스템과 타입시스템에 올라탄 분석에 기반하고 있다. 이 분석으로 프로그램 실행 시 불필요한 식이 프로그램 코드 형태로 전파되는 것을 알 수 있으며 다형타입을 이용한 정교한 분석이 가능하다.