• 한국컴퓨터그래픽스학회논문지
• /
• 제4권2호
• /
• pp.15-28
• /
• 1998

최근 영상 기반 렌더링(image-based rendering)을 위한 새로운 접근방법으로서 광학 흐름 요소 렌더링(optical flow rendering)이 제안되었다. 이 방법은 좌우 영상 대응(stereo matching)에서 발생하는 오류와 무관하게 고품질의 영상을 생성할 수 있고 깊이 정보 비교를 통해 기존의 렌더링 방법으로 생성한 영상과 광학 흐름 요소로부터 생성한 영상을 합성할 수 있는 반면에, 한 화소 당 하나 이상의 광학 흐름 요소를 필요로하기 때문에 연산량이 많아져 영상 생성이 느려지는 단점이 있었다. 본 논문에서는 실시간 영상 생성을 위한 광학 흐름 요소 구성법과 영상 생성법을 제안한다. 각각의 광학 흐름 요소가 영상 내에서 화소들의 구간에 대응되도록 개선하여 전체 광학 흐름 요소의 수를 줄였으며, 필터링 탐색법 (filtering search)을 적용하여 전체 광학 흐름 요소를 모두 탐색하는 대신 실제로 영상 생성에 사용되는 광학 흐름 요소만을 탐색함으로써 전체 연산량을 크게 줄였다. 제안된 방법을 SGI Indigo2 Impact 워크스테이션(R10000 CPU; 128 Mbytes)상에서 구현한 결과, 초당 10장 이상의 고속 영상 생성이 가능했다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 1997년도 학술발표회 논문집
• /
• pp.475-479
• /
• 1997

다공질매체에서의 포화-비포화 흐름 거동을 파악하기 위하여는 시간에 따른 함수량의 변화과정을 정확하고 빠르게 측정하여야 한다. 본 연구는 실험실에서 함수량을 측정하는 방법의 하나로서 TDR(Time Domain Reflectometer)을 사용하는 실험 방법에 관한 연구이다. TDR 이란 전기신호의 전도특성 이용하여 토양내 설치된 탐침(probe)의 전기신호 반향시간을 측정하는 기기로서 이 반향시간과 토양의 유전율상수(dielectric constant)의 관계를 이용하여 함수량을 추정할 수 있다. 본 연구에서는 TDR의 원리설명과 이를 이용한 함수량측정방법을 제시하고 있다.

• 한국수자원학회논문집
• /
• 제53권1호
• /
• pp.1-13
• /
• 2020

높은 레이놀즈수를 갖는 공학적인 흐름을 예측하는 가장 일반적인 방법은 여전히 벽함수를 이용하는 난류모형에 근거한 RANS 수치모의이다. 최근 벽근처의 점성영역 관계식과 벽에서 떨어진 대수영역 관계식을 혼합하여 개발된 일반화된 벽함수들은 두 영역사이의 난류량과 유속이 부드럽게 천이하도록 한다. 이 연구는 난류운동에너지(TKE), 에너지 소산율, 비소산율, 와점성에 대해서 적용 가능한 벽함수들을 조합하여 일련을 수치 모의를 수행하여 널리 이용되고 있는 난류모형들의 성능과 수렴 특성을 분석하였다. 이 연구 결과는 RNG k-𝜖 모형의 경우 첫번째 계산격자가 완충층에 놓이게 될 때는 반복 계산시 작은 허용오차를 이용하여 주의 깊게 적용을 하여야 안정된 해를 구할 수 있음을 보여준다. 표준 k-𝜖과 RNG k-𝜖 모형은 TKE와 와점성에 대해서 적용 가능한 벽함수들 중 어느 것을 선택하여 적용하더라도 수치모의 결과가 민감하게 반응하지 않는 것으로 나타났다. 한편, k-ω SST 모형의 경우 TKE에 대해서는 kL-벽함수 그리고 와점성에 대해서는 nutUB-벽함수를 이용하여야 정확하고 안정된 경계 조건 설정을 보장할 수 있다. 레이놀즈수 155,000조건에서 적용한 후방계산흐름 수치모의 결과 격자 해상도에 상관없이 약 13% 정도 재부착 거리를 과소평가하는 모형을 제외하고 나머지 적용한 난류모형들 모두 적절히 세밀한 해상도의 격자에서 양호하게 재부착거리를 잘 예측하는 것으로 나타났다.

• 물과 미래
• /
• 제31권4호
• /
• pp.291-297
• /
• 1998

2차원 흐름이 원주주위를 지날 때 발생하는 흐름의 변화가 기본방정식인 연속방정식과 운동량방정식에 의하여 수치적으로 해석된다. 수채해석 과정은 기본방정식에 유함수, 와도 및 흐름의 특성을 나타내는 무차원 매개변수를 도입하여 무차원 유함수-와소수송식을 유도한후, successive over relaxation scheme과 alternating direct implicit scheme으로 수행된다. 수치실험은 레이놀즈수 125-275를 갖는 흐름에 대하여 수행되었으며, 시간에 따른 유선, 와도, 원주표면의 압력을 구하는 방법에 있어서 기존의 수치해석에서는 주로 방사 운동량방정식만을 사용하였으나, 본 논문에서는 기존의 방법외에 방사 운동량방정식 및 접선 운동량방정식에 의해 압력을 계한하고, 두값을 비교하여 레이놀즈수에 따른 압력을 구하는 방법을 제시한다. 또한 와도의 분포를 도시하여 원주에 의한 후류의 영향을 받지 않는 외부경계의한계를 새로이 설정한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권3호
• /
• pp.149-161
• /
• 2008

프로그래머블 로직 컨트롤러(PLC: Programmable Logic Controller)가 안전성이 중요한 실시간 시스템 구현에 많이 사용되면서, PLC 프로그램에 대한 테스팅의 중요성이 날로 높아지고 있다. 본 논문에서는 PLC 프로그래밍 언어 중 하나인 함수 블록 다이어그램(FBD: Function Block Diagram)에 대한 구조적 테스팅 방안을 제안한다. FBD를 테스트하기 위해 먼저 타이머 함수 블록을 비롯한 각 함수 및 함수 블록에 대한 흐름그래프 템플릿을 정의하고, 템플릿을 기반으로 한 변환 알고리즘을 제안하며, 알고리즘을 따라 FBD로부터 변환된 흐름그래프에 기존의 제어 흐름 테스팅 커버리지와 데이타 흐름 테스팅 커버리지를 적용한다. 기존 FBD 테스팅은 테스트 케이스 생성시 FBD 내부 구조를 고려하지 않으며, FBD 프로그램으로부터 특정 중간단계 모델을 생성해 낼 수 있는 경우에만 적용될 수 있는 단점을 가진 반면, 본 논문에 제안된 방법은 FBD 내부 구조를 고려한 체계적 테스트 케이스 생성이 가능하며, 중간단계 모델의 형식에 관계없이 어떤 FBD에도 적용될 수 있다는 장점을 가진다. 특히 제안된 기법은 여러 실행주기에 걸쳐 테스트 되어야 하는 타이머 함수 블록을 포함한 FBD에 대한 철저한 테스팅을 가능하게 한다. 제안된 기법을 현재 원전계측제어시스템 개발사업단에서 개발 중인 디지털 원자로 보호계통 비교논리 프로세서 트립 논리에 적용하여 그 효과를 확인하였다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2007년도 학술발표회 논문집
• /
• pp.870-873
• /
• 2007

하천의 수공 구조물은 홍수 시 작용하는 유수력에 대한 안정성을 확보해야 한다. 본 연구에서는 최근 개발된 친환경 식생호안블록인 중공블록을 하상에 설치할 경우 흐름에 미치는 영향을 연구하였다. 중공블록을 설치한 개수로에 대한 수리모형 실험을 실시하여 흐름저항과 경계층 특성에 대한 중공블록의 영향을 평가하였다. 흐름저항 특성 인자인 Manning의 조도계수와 Darcy-Weisbach의 마찰손실계수는 일정한 유량과 하상경사의 경우 수심에 큰 영향을 받고 이들은 서로 비례관계에 있음을 확인하였다. 그러나 마찰손실계수가 증가하더라도 어느 한계점 이상이 되면 조도계수는 일정한 값으로 수렴한다. 개수로의 경계층의 높이는 하천의 흐름특성과 구조특성을 반영하는 것으로 수심, 유속, 에너지경사, 경계면의 상대조도, Reynolds수, Froude수 등의 함수로 나타낼 수 있다. 중공블록이 설치된 개수로의 조도계수는 일반하천의 경우와 비교하여 큰 값을 나타내고 있어 중공블록이 흐름저항을 크게 증가시키는 것으로 판단된다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2010년도 제42차 하계학술발표논문집 18권2호
• /
• pp.67-70
• /
• 2010

본 논문은 바이너리 코드 수준에서 정적인 프로그램 분석을 수행하는 프레임워크를 설계 및 구현한다. 정적으로 바이너리 코드 수준에서 분석을 수행하려는 이유는 일반적으로 컴퓨터에 설치되는 실행 파일은 소스 코드 없이 단지 바이너리로 된 실행 파일만 주어지는 경우가 대부분이고, 정적 제어 흐름 분석을 통해 수행 전에 동작을 파악하기 위해서이다. 본 논문에서는 바이너리 실행 파일로부터 실행 순서 및 제어 흐름 등의 정보를 표현할 수 있는 제어 흐름 그래프를 작성하여 바이너리 파일의 실행 흐름과 위험한 함수의 호출 여부를 동시에 파악할 수 있도록 하며, 그래프 시각화를 통해 바이너리 파일의 분석을 용이하게 한다. 또한 실행 흐름에 대한 자동 탐색 방법을 제공한다.

• 한국정보처리학회논문지
• /
• 제7권8호
• /
• pp.2349-2360
• /
• 2000

의료 영상 처리는 특수한 전문 분야로서 새롭게 개발되는 기술을 임상에 적용하고 그 결과를 전문 의사들이 분석하여 기술을 보완하면서 발전시켜 나간다. 그러므로, 새로운 의료 영상 처리 알고리즘을 임상에 쉽게 적용하고 그 결과를 분석할 수 있는 도구의 필요성은 매우 크다고 볼 수 있다. 본 논문에서는 시각 프로그래밍 기법을 도입하여 프로그래밍 전문 기술이 없는 일반 의사들도 의료 영상 처리 프로그램을 쉽게 작성할 수 있는 환경을 설계하고 구현하여 의료 영상 알고리즘의 적용을 편리하게 하려고 한다. 개발된 시각 프로그래밍 환경에는 의료영상처리에 필요한 다양한 함수들을 코딩하여 아이콘(Icon)으로 정의한 다음, 함수 라이브러리로 만들어 놓았다. 사용자는 영상처리 응용 프로그램을 개발할 때에, 명령어나 변수를 타이핑하여 프로그램을 작성하는 대신, 아이콘으로 정의되어 제공되는 함수들 중에서 필요한 함수를 선택하고, 이들 사이의 자료흐름에 따라 아이콘들을 연결시켜서 프로그램의 논리를 자료흐름도(Dataflow Diagram)로 표현하여 작성하면 된다. “VPI(Visual Programming Interface)”라고 불리는 그래픽 편집기는 자료 흐름도를 그려내는 창과 준비된 함수 라이브러리를 시각화하여 보여주는 창으로 구성되어 있다. 함수 라이브러리에 포함된 함수들을 용도에 따라서 분류하고, 사용자가 필요한 함수를 찾기 쉽고 사용하기 편리하도록 시각화하여 하이퍼볼릭 트리(Hyperbolic Tree)라는 새로운 형태로 표현하였다. 하이퍼볼릭 트리를 사용하면 함수들의 개별적 특성과 함수들을 분류한 전체 구조를 한꺼번에 잘 볼 수 있다. 개발된 프로그램의 사용자 인터페이스를 쉽게 구현할 수 있는 “GUI Builder”라는 도구를 설계하고 구현하였다. 개발된 프로그래밍 환경을 사용하면 프로그래밍 전문 지식이 없는 의사도 쉽게 영상 처리 응용 프로그램을 작성하여 최신 의료영상 처리 기법을 쉽게 임상에 적용하고 실험할 수 있는 장점이 있다.

• 물과 미래
• /
• 제21권3호
• /
• pp.291-291
• /
• 1988

2차원 흐름이 원주주위를 지날 때 발생하는 흐름의 변화가 기본방정식인 연속방정식과 운동량방정식에 의하여 수치적으로 해석된다. 수치해석 과정은 기본방정식에 유함수, 와도 및 흐름의 특성을 나타내는 무차원 매개변수를 도입하여 무차원 유함수-와소수송식을 유도한 후, successive over relaxation scheme과 alternating direct implicit scheme으로 수행된다. 수치실험은 레이놀즈수 125-275를 기존의 수치해석에서는 주로 수치실험 결과와 비교한다. 원주표면의 압력을 구하는 방법에 있어서 기존의 수치해석에서는 주로 방사 운동량방정식만을 사용하였으나, 본 논문에서는 기존의 방법외에 방사 운동량방정식 및 접선 운동량방정식에 의해 압력을 계한하고, 두 값을 비교하여 레이놀즈수에 따른 압력을 구하는 방법을 제시한다. 또한 와도의 분포를 도시하여 원주에 의한 후류의 영향을 받지 않는 외부경계의 한계를 새로이 설정한다.

• 한국콘텐츠학회논문지
• /
• 제10권5호
• /
• pp.70-79
• /
• 2010

바이너리 코드 수준에서 정적인 프로그램 분석을 수행한다. 소스 코드가 아닌 바이너리 코드 수준에서 분석을 수행하는 이유는 일반적으로 로컬 컴퓨터에 설치하는 실행 파일은 소스 코드 없이 단지 바이너리로 된 실행 파일만 주어지는 경우가 대부분이기 때문이다. 또한 정적으로 분석을 수행하려는 이유는 정적인 제어 흐름 분석을 통해 프로그램이 수행 시 어떤 동작을 수행하게 될지를 수행 전에 파악하기 위해서이다. 본 논문에서는 바이너리 실행 파일로부터 함수간의 실행 순서 및 제어 흐름 등의 정보를 표현할 수 있는 실행 흐름 그래프를 작성하여 사용자가 바이너리 파일의 실행 흐름과 위험한 함수의 호출 여부를 동시에 파악할 수 있도록 하며, 그래프를 통해 바이너리 파일의 분석을 용이하게 한다. 또한 실행 흐름에 대한 자동 탐색 방법을 제공하여 수행될 프로그램의 안전성을 보장하고, 수행 전에 외부에서 다운받아 설치할 프로그램이 안전한지를 판단할 수 있도록 한다.