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

신뢰도 높은 소프트웨어 개발의 필요성은 전혀 새로운 것이 아니다. 요즘 들어, 소프트웨어의 크기와 복잡도가 증가함으로 인해 소프트웨어의 결함 때문에 발생하는 시스템 고장이 전체 시스템 고장에서 많은 비중을 차지하고 있다. 고 신뢰도를 요구하는 시스템의 소프트웨어는 복구블록, 분산 복구블록, N-버전 프로그래밍, N 자기검사 프로그래밍과 같은 소프트웨어 결함허용 기법들을 사용하고 있다. 이러한 소프트웨어 결함허용 기법들에 대한 연구와 함께 소프트웨어 결함허용 기법들의 의존도 측정에 관한 연구 또한 매우 중요하다. 이에 본 논문에서는 마르코프 모델을 사용해서 소프트웨어 결함허용 기법들의 보다 자세한 신뢰도 모델링과 가용도, 안전도 등에 관한 모델링을 제시한다. 제안된 모델 분석 결과 같은 수의 대체블록이 있을 때는 분산 복구블록, 복구 블록, N 자기검사 프로그래밍, N-버전 프로그래밍 순으로 의존도가 높음을 알 수 있다. 또한 소프트웨어 결함허용 기법들의 신뢰도민감성 분석에서는 복구블록과 분산 복구블록인 경우는 적응검사의 결함발생율에, N-버전 프로그래밍인 경우는 프로그램 버전의 결함발생율에 더 민감한 영향을 받는 것을 알 수 있다.

• 한국컴퓨터정보학회논문지
• /
• 제17권12호
• /
• pp.11-22
• /
• 2012

본 논문은 실용 엔지니어를 위해서 일반미분방정식으로 표현될 수 있는 연속시스템의 계층적인 모델 개발을 위한 모델링 기법 및 객체지향언어 기반의 경량 시뮬레이션 구축 환경을 제안하였다. 제안된 블록 기반 모델링 형식론은 단위 모델의 동적인 행위를 나타내는 기본블록 모델과 모델들의 계층적인 구조를 나타내는 결합블록 모델 형식론으로 이루어져 있다. 이러한 수학적 모델의 시뮬레이터를 객체지향 언어로 구현하기 위한 시뮬레이션구축 프레임워크인 BlockSim++를 제안하였다. 제안된 프레임워크는 재사용성을 제공하며, 수학적 모델을 쉽게 구현할 수 있게 하고, 또한 외부 응용 소프트웨어와도 쉽게 결합할 수 있는 인터페이스를 제공한다. 간단한 하이브리드 모델링 시뮬레이션 예시를 통해 제안된 모델링 형식론과 시뮬레이션 프레임워크를 이용하여 그 유용성을 입증하였다.

• 터널과지하공간
• /
• 제9권2호
• /
• pp.149-157
• /
• 1999

불연속 변형 해석법(Discontinuous Deformation Analysis Method)은 1988년에 Shi에 의해 개발되었으며, 암반-구조물 상호작용 모델링에 매우 효율적인 해석법이다. 이 해석법에서 암반은 유한하고 변형가능한 블록으로 간주되며, 암반의 대변형 및 이동이 가능하다. 그 후, DDA 방법에 대한 여러가지 보완사례가 발표되었으나, 균열이 발달한 암반의 지표 또는 지중 굴착 모델링에 긴요한 지하수-암반블록 상호작용 모델링은 불가능하다. 본 논문에서는 암반 블록 사이의 수리 력학적 커플링을 고려하기 위한 새로운 방법이 제시된다. 또한, 이 방법이 보완된 새로운 DDA해석법의 적용 예가 제시된다. 본 연구결과 암반 균열 사이를 흐르는 지하수는 터널의 안정성에 나쁜 영향을 미친다는 사실이 확인되었다.

• 대한전자공학회논문지SP
• /
• 제41권2호
• /
• pp.73-78
• /
• 2004

본 논문에서는 블록정합 알고리즘을 영상 블록들의 상관도 함수로 모델링하여, 고속 블록정합 방법을 위한 탐색 패턴을 유도하였으며, 이는 고속 블록정합 방법에서 주로 사용되는 다이아몬드 형태의 탐색 패턴에 대한 이론적인 기반을 제공한다. 이와 더불어, 능동적인 탐색 패턴과 물체의 움직임에 따른 통계적인 특성을 사용하여 새로운 고속 블록정합 움직임 예측방법을 제안하였다. 적절한 움직임 탐색 패턴을 얻기 위해 움직임 벡터와 영상간 블록들의 차이값 사이의 통계적인 관계를 이용하였다. 제안한 방법을 움직임 탐색 패턴을 능동적으로 변화시키면서 다른 고속 블록정합 방법들과 비교해 보면, 요구되는 탐색점의 개수를 감소시키면서 움직임 예측성능을 향상됨을 확인할 수 있었다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2000년도 제13회 신호처리 합동 학술대회 논문집
• /
• pp.709-712
• /
• 2000

본 논문에서는 인터 프레임(P-프레임) 압축으로 인해 발생되는 블록화 현상을 모델링 하고 기존에 정의된 제한요소를 효율적으로(reasonable) 축소하고 축소된 제한요소를 이용한 후처리를 통해 블록경계는 물론 블록 내부의 불연속을 효율적으로 제거하는 방법을 제안한다. 다음 프레임의 예측영상을 블록화가 제거된 영상을 사용함으로써 프레임간 영상 스트림에서도 주관적으로나 객관적으로나 현저하게 블록화가 제거된 영상을 얻을 수 있다. 제안된 알고리즘은 HDTV나 영상통신과 같은 영상 스트림의 후처리 과정에 적합하다.

• 한국통신학회논문지
• /
• 제26권8B호
• /
• pp.1129-1140
• /
• 2001

본 논문에서는 블록기반 동영상 부호화에서 나타나는 양자화 잡음을 그 특성에 맞게 모델링을 하고, 이를 기반으로 웨이블렛 변환(wavelet transform)을 이용하여 양자화 잡음을 제거하는 후처리 방법을 제안한다. 제안된 방법에서는 양자화 잡음을 특정 프로화일(profile)로 표현되는 블록화 잡음과 비에지 화소(non-edge pixel)에서 백색 가우시안 특성을 가지는 나머지 잡음의 합으로 모델링 한다. 이러한 양자화 잡음의 모델을 기반으로 정칙화 미분(regularized differentiation)을 표현하는 Mallat의 1차원 웨이브렛 변환을 이용하여 영상복원 관점에서 각각의 잡음을 제거한다. 먼저, 웨이브렛 영역의 블록경계에서 임펄스로 나타나는 블록화 잡음 성분들의 크기를 추정하여 줄임으로 해서 블록화 잡음을 제거한다. 이때 임펄스 크기의 추정은 메디안 필터와 양자화 파라미터(quantization parameter), 그리고 국부 활동도(local activity)를 이용하여 이루어진다. 그리고 나머지 잡음은 비에지 화소에서 연역치화(soft-thresholding)을 수행함으로써 제거한다. 이러한 후처리 방법의 구현은 실시간 응용을 위해 웨이브렛 필터를 이용하여 근사적으로 공간 영역에서 이루어진다. 실험 결과, 제안된 방법이 다양한 영상과 압축률에 대해 MPEG-4 VM(verification model) 후처리 필터(post-filter)보다 PSNR 성능뿐만 아니라 주관적 화질면에서도 우수함을 확인하였다.

• 한국초등수학교육학회지
• /
• 제11권1호
• /
• pp.1-21
• /
• 2007

본 연구는 초등학교 5학년 학생들에게 십진블록을 활용하여 소수의 곱셈을 지도하는 과정에서 학생들의 개념적 이해 과정을 면밀히 분석함으로써 십진블록을 활용한 소수의 곱셈 지도 과정에 대한 시사점을 제공하는데 그 목적이 있다. 십진블록을 활용한 소수의 곱셈 지도에서 초등학교 5학년 학생들은 주어진 문제에서 각 연산의 의미를 개념적으로 이해하고 해석하였으며 그 의미에 따라 십진블록으로 모델링하여 계산하였다. 학생들은 십진블록을 이용한 계산 과정을 통해 알고리즘을 발견하고 알고리즘의 각 단계를 십진블록과 연결하여 설명함으로써 계산 원리를 개념적으로 이해하였다 또한 소수의 곱셈 계산 결과가 올바른지 판단하고 그 이유를 십진블록으로 설명함으로써 소수의 곱셈 계산 결과를 각 연산의 의미와 연결하여 개념적으로 이해하였다. 이런 측면에서 본 연구는 십진블록을 활용한 소수의 곱셈 지도가 초등학교 5학년 학생들의 소수의 곱셈에 대한 개념적 이해를 도울 수 있는 한 방안이 됨을 시사한다.

• 한국터널지하공간학회 논문집
• /
• 제17권2호
• /
• pp.167-174
• /
• 2015

국토의 70%이상이 산악 지형인 우리나라에서는 지형적인 특성으로 터널 건설이 중요하며, 터널 건설의 증가로 안전한 터널 건설이 중요한 문제로 대두되고 있다. 최근, 도로의 고속화와 직선화로 인해 장대터널 건설이 증가하고 있다. 본 연구에서는 장대터널에서의 암반 블록의 수치 모델링을 이용한 터널 안전 시공법을 제안하고, 현장에서 관찰한 불연속면 정보를 근거로 하여 실제 장대터널에 적용했다. 실제 터널현장에 있어서, 암반 블록의 수치 모델링을 이용한 터널 안전 시공법을 위해서 새롭게 개발한 수치해석 프로그램을 사용하여 정확한 키블럭 추출이 가능한 것을 검증하였다. 사용하기 쉬운 사용자 인터페이스를 가지고 있는 본 컴퓨터 시뮬레이션 기법은 암반 블럭의 안정성 계산뿐만 아니라 추가 보강대책공의 설계도 가능하다.

• 한국컴퓨터정보학회논문지
• /
• 제16권4호
• /
• pp.73-81
• /
• 2011

본 논문에서는 모델 히스토그램 개수를 적응적으로 조절하는 블록기반의 배경 모델링 방법을 제안한다. 기존의 블록 기반의 배경 모델링 방법은 각 블록에 대한 모델 히스토그램의 개수를 고정한다. 따라서 조명변화와 움직이는 객체에 대해 오검출이 발생하는 문제가 있고 움직임이 없는 객체에 대해서는 검출이 되지 않는 문제가 있다. 또한 입력영상의 종류마다 달라질 수 있는 최적의 모델 히스토그램의 개수를 수동적으로 찾아야 하는 문제가 있다. 본 논문에서는 실험을 통해 엘리베이터 내에서 조명변화가 있고 객체가 움직이는 상황과 조명변화가 없고 객체가 정지해 있는 상황에 대해 기존의 방법과 성능을 비교하여 제안한 알고리즘의 효용성을 입증한다.

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

하드웨어의 제품 사양에는 제품의 특징, FBD(Functional Block Diagram), 핀의 기능 및 배열, 프로그래밍 모드 및 각 블록의 기능 등이 함께 제시된다. 이 때 다른 사양과는 달리 설계 초기 단계부터 설정되는 가장 개념적인 FBD는 마이크로프로세서의 경우 메모리 인터페이스, 레지스터 파일, 데이터패스, 예외처리기, 각종 제어기, 타이머 등으로 구성된다. FBD의 각 블록들은 여러 명의 설계자들에게 분할되고 이 중 마이크로프로세서 설계의 대부분의 시간을 소비하게 되는 각종 제어기의 설계는 여러 블록이 공동으로 제어 신호를 공유하게 된다. 이 신호에 의해 전체 시스템의 정확성(correctness)이 결정되므로 제어기예서 각 블록에 공급하는 제어 신호는 적절할 타이밍에 정확한 값을 가져야만 한다. 따라서 본 논문은 마이크로프로세서에서의 각 블록에 공급하는 제어 신호는 적절한 타이밍에 정확한 값을 가져야만 한다. 따라서 본 논문은 마이크로프로세서의 FBD를 모델링할 수 있는 시각도구를 제안함으로써 제어 신호에 따른 전체 블록의 유기적인 데이터 흐름을 한 눈에 파악할 수 있도록 한다. 이는 설계초기부터 각 블록들을 설계하는 설계자들간의 공통의 다이어그램인 FBD를 중심으로 설계를 해나감으로써 대화 오류를 감소시키고 제어신호 디버깅을 용이하게 하여 설계시간을 단축시키는 것을 목표로 한다.