• 한국수자원학회논문집
• /
• 제39권6호
• /
• pp.511-520
• /
• 2006

강변여과는 강물을 강변의 충적대수층에 통과시켜 지층의 자체정화능력을 이용하여 오염물질을 상당량 저감시킨 후 양수하는 방식이다. 국내에서는 대부분의 원수를 지표수에서 취수하여 사용하고 있는 실정이나, 오염물질의 증가로 인하여 지표수를 원수로 사용하기가 점점 어려워지고 있다. 강변여과를 이용하여 양질의 원수를 확보하기 위해서는 오염물 이동에 관한 이해가 중요하다. 본 연구에서는 대수층에 용존성 유기물질(DOM)과 박테리아가 동시에 존재할 경우를 대상으로 대수층을 4상(four-phase: 흙입자, 물, 박테리아, 용존성 유기물질)으로 모델링하고, 이들의 물리, 화학, 생물학적 특성을 고려하여 물질의 거동을 기술하는 수학적 모델을 제시하였다. DOM과 박테리아와 같은 콜로이드성 물질은 오염물의 이동을 가속시키고, 평형 분배계수가 중요한 역할을 하는 인자인 것으로 나타났다.

• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제21권4호
• /
• pp.315-319
• /
• 2015

본 논문은 실시간 정밀 모션 제어를 위한 안드로이드 응용의 설계와 구현을 다룬다. 안정적인 실시간 성능을 제공하기 위해서 다축 모터들이 특정 모션을 만들어낼 수 있도록 실시간 필드버스에 주기적으로 좌표 벡터 명령을 전달하고 그에 대한 피드백을 받는 모션 제어부를 데몬 프로세스 형태의 안드로이드 서비스로 구현하고, 이 모션 제어 서비스에 모션의 좌표 벡터들을 생성하여 전달하는 모션 계획부를 안드로이드 UI 응용으로 구현하였다. 이러한 소프트웨어 구성을 지원하기 위해서 멀티코어 프로세서를 모션 제어 서비스의 실행을 전담하는 실시간 코어들과 UI 응용의 실행을 전담하는 비실시간 코어로 나누었으며, 모션 제어 서비스와 응용 사이의 통신을 공유 메모리 형태로 구현하였다. 성능 측정 결과, 8축 모터들을 2개씩 그룹지어 4개의 쓰레드로 제어하는 경우에도 태스크 활성화 지터의 99%를 ${\pm}55{\mu}s$ 미만으로 유지하면서, 모션 제어 주기를 2ms까지 달성할 수 있었다.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제60권1호
• /
• pp.1-19
• /
• 2021

본 연구는 초등학생들이 공학도구를 활용하여 측정으로서의 분수의 과제를 해결하는 과정을 분석하고 해결전략의 변화 과정에 대해서 논의하였다. 초등학생 13명을 대상으로 과제 중심의 임상면담을 실시하였고, 특히 분수를 처음 학습한 3학년 학생들의 측정 문제 해결 전략을 심층분석하였다. 그 결과, 추측하기에서 반복적인 분할하기, 임의의 단위 사용에서 주어진 단위 사용과 같은 두 가지 프로파일이 발견되었다. 각 프로파일의 대표적인 사례를 바탕으로, 공학도구의 활용이 역동적인 단위 개념을 형성하는데 기여하고 또한 분수와 관련된 의미형성과정에 드래깅과 같은 수학적 조작 활동이 영향을 줄 수 있음을 알 수 있었다. 본 연구의 결과가 분수의 다양한 의미를 탐구하고 학습하는 후속 연구를 위한 밑거름이 되길 기대한다.

• 한국멀티미디어학회논문지
• /
• 제12권5호
• /
• pp.617-632
• /
• 2009

본 논문에서는 네트워크 포로토콜의 기능 명세를 소프트웨어 및 하드웨어 태스크로 분할한 후에 태스크 단위에서 조립형 재구성이 가능한 네트워크 프로토콜 스택의 설계 기법을 제안하였다. 또한 네트워크 기능을 사용하는 실시간 응용 서비스의 마감시한을 보장하기 위하여 개별 태스크의 마감시한을 보장함과 동시에 각 태스크 간에 교환되는 메시지의 마감시한을 보장하는 기법을 제안하였다. 제안한 기법은 네트워크 프로토콜의 기능을 태스크 단위로 분할한 후에 조립형 재구성이 가능한 소프트웨어 및 하드웨어 기반의 네트워크 프로토콜 태스크로 설게 및 구현할 수 있다. 또한 제아한 실시간 메시지 교환 기법은 마감시한 내에 메시지의 처리를 완료해야 하는 멀티미디어 응용 서비스의 실시간 속성을 만족시킬 수 있다. 본 논문에서는 TCP/IP 프로토콜을 태스크 단위로 분할하여 SoC(System-on-chip) 플랫폼에서 각각 하드웨어 및 소프트웨어 태스크로 구현한 후에 제안한 기법의 성능을 분석한 결과, 응용 서비스가 요구하는 실시간성 만족도를 제공함과 동시에 TCP/IP 프로토콜의 처리 성능도 향상되었음을 확인하였다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2004년도 ICCAS
• /
• pp.2059-2064
• /
• 2004

Texture analysis is an important role for automatic visual insfection. This paper presents an application of wavelet extension and Gray level co-occurrence matrix (GLCM) for detection of defect encountered in textured images. Texture characteristic in low quality images is not to easy task to perform caused by noise, low frequency and small dimension. In order to solve this problem, we have developed a procedure called wavelet image extension. Wavelet extension procedure is used to determine the frequency bands carrying the most information about the texture by decomposing images into multiple frequency bands and to form an image approximation with higher resolution. Thus, wavelet extension procedure offers the ability to robust feature extraction in images. Then the features are extracted from the co-occurrence matrices computed from the sub-bands which performed by partitioning the texture image into sub-window. In the detection part, Mahalanobis distance classifier is used to decide whether the test image is defective or non defective.

• 한국경영과학회지
• /
• 제23권2호
• /
• pp.29-46
• /
• 1998

In this paper, we develop detailed algorithms for implementing the so-called Limited Column Generation procedure for Local Access Telecommunication Network(LATN) design problem. We formulate the problem into a tree-partitioning problem with an exponential number of variables. Its linear programming relaxation has all integral vertices, and can be solved by the Limited Column Generation procedure in just n pivots, where n is the number of nodes in the network. Prior to each pivot. an entering variable is selected by detecting the Locally Most Violated(LMV) reduced cost, which can be obtained by solving a subproblem in pseudo-polynomial time. A critical step in the Limited Column Generation is to find all the LMV reduced costs. As dual variables are updated at each pivot, the reduced costs have to be computed in an on-line fashion. An efficient implementation is developed to execute such a task so that the LATN design problem can be solved in O(n$^2$H), where H is the maximum concentrator capacity. Our computational experiments indicate that our algorithm delivers an outstanding performance. For instance, the LATN design problem with n＝150 and H＝1000 can be solved in approximately 67 seconds on a SUN SPARC 1000 workstation.

• 한국정보과학회논문지:데이타베이스
• /
• 제27권2호
• /
• pp.256-268
• /
• 2000

GIS에서 사용하는 다중 공간 조인은 두 개 이상의 공간 조인이 중첩된 표현이다. 이는 공간 조인에 비해 보다 많은 수행 사간을 필요로 하는데 이를 빠르게 처리하기 위한 병렬화 알고리즘에 대한 연구가 없었다. 이 논문에서는 다중 공간 조인을 다중 공간 여과와 다중 공간 정제로 나누어서 병렬화한다. 그리고, 정제 단계에서 효율적인 정제 수행을 위해 2단계 실행 방법을 제시하는데, 첫번째가 다중 공간 여과의 결과인 후보 객체 테이블에서 발생하는 객체 및 연산의 중복을 제거하기 위한 그래프 생성이고, 두번째가 그래프의 분할에 의한 병렬 정제이다. 그래프에 의한 정제가 그렇지 않은 방법에 비해 매우 높은 성능 향상을 보였으며 병렬 정제를 위한 태스크 생성 방법은 객체를 정점으로 표현하는 그래프에서의 중복 최소화 분할방법이 가장 좋은 성능을 나타내었다.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 1995년도 춘계공동학술대회논문집; 전남대학교; 28-29 Apr. 1995
• /
• pp.54-68
• /
• 1995

In this paper, we develop detailed algorithms for implementing the so-called Limited Column Generation procedure for Local Access Telecommunication Network (LATN) Design problem. We formulate the problem into a tree-partitioning problem with an exponential number of variables. Its linear programming relaxation has all integral vertices, and can be solved by the Limited Column. Generation procedure in just n pivots, where n is the number of nodes in the network. Prior to each pivot, an entering variable is selected by detecting the Locally Most Violated (LMV) reduced cost, which can be obtained by solving a subproblem in pseudo-polynomial time. A critical step in the Limited Column Generation is to find all the LMV reduced costs. As dual variables are updated at each pivot, the reduced costs have to be computed in an on-line fashion. An efficient implementation is developed to execute such a task so that the LATN Design problem can be solved in O(n$^{2}$H), where H is the maximum concentrator capacity. Our computational experiments indicate that our algorithm delivers an outstanding performance. For instance, the LATN Design problem with n = 150 and H = 1000 can be solved in approximately 67 seconds on a SUN SPARC 1000 workstation.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제1권1호
• /
• pp.13-23
• /
• 2001

Most current machine vision systems for industrial inspection were developed with one specific task in mind. Hence, these systems are inflexible in the sense that they cannot easily be adapted to other applications. In this paper, a general vision system framework has been developed that can be easily adapted to a variety of industrial web inspection problems. The objective of this system is to automatically locate and identify \\\"defects\\\" on the surface of the material being inspected. This framework is designed to be robust, to be flexible, and to be as computationally simple as possible. To assure robustness this framework employs a combined strategy of top-down and bottom-up control, hierarchical defect models, and uncertain reasoning methods. To make this framework flexible, a modular Blackboard framework is employed. To minimize computational complexity the system incorporates a simple multi-thresholding segmentation scheme, a fuzzy logic focus of attention mechanism for scene analysis operations, and a partitioning if knowledge that allows concurrent parallel processing during recognition.cognition.

• 한국정보처리학회논문지
• /
• 제2권2호
• /
• pp.254-263
• /
• 1995

본 논문은 파이프라인 방식의 ASIC 데이타 경로를 제어하기 위한 무어 및 밀리식 의 시간 정지형 콘트롤러에 관한 연구이다. 조건분기(conditional branches)를 가진 데이타흐름도로 부터 무어 및 밀리식의 유한상태기(finite state machine) 콘트롤러 를 합성하는 방법을 소개한다. 콘트롤 합성은 콘트롤 명세서의 작성과 유한상태기의 합성으로 구성된다. 콘트롤 명세서를 작성하기 위한 과정들을 통해 상태표(state table)의 형태로 표현되는 유한상태기의 내역이 작성된다. 이 유한상태기를 여러 가지 다른 방식의 분할 과정과 축소화 과정을 거쳐 최소 면적을 가진 콘트롤러가 합성된다. 실험을 통해 두가지 콜트롤 방식의 특성을 비교하며 또한 두 모델의 비용과 성능의 영향 관계를 보여준다.