• East Asian mathematical journal
• /
• 제16권2호
• /
• pp.251-266
• /
• 2000

The problem of solution uniqueness to the task of determining unknown parameters of mathematical models from input-output observations is studied. This problem is known as structural identifiability problem. We offer a new approach for testing structural identifiability of linear state space models. The approach compares favorably with numerous methods proposed by other authors for two main reasons. First, it is formulated in obvious mathematical form. Secondly, the method does not involve unfeasible symbolic computations and thus allows to test identifiability of large-scale models. In case of non-identifiability, when there is a set of solutions to the task, we offer a method of computing functions of the unknown parameters which can be determined uniquely from input-output observations and later used as new parameters of the model. Such functions are called parametric functions capable of estimation. To develop the method of computation of these functions we use Lie group transformation theory. Illustrative example is given to demonstrate applicability of presented methods.

• 대한산업공학회지
• /
• 제26권4호
• /
• pp.421-430
• /
• 2000

This paper presents a new approach which uses $A^*$ search and genetic algorithms for solving large scale multi-objective shortest path problem. The focus of this paper is motivated by the problem of finding Pareto optimal paths for an advanced traveler information system(ATIS) in the context of intelligent transportation system(ITS) application. The individual description, the decoding rule, the selection strategy and the operations of crossover and mutation are proposed for this problem. The keynote points of the algorithm are how to represent individuals and how to calculate the fitness of each individual. The high performance of the proposed algorithm is demonstrated by computer simulations.

• 한국정밀공학회지
• /
• 제10권1호
• /
• pp.77-88
• /
• 1993

In this paper, we propose a stereo vision system to solve correspondence problem with large disparity and sudden change in environment which result from small distance between camera and working objects. First of all, a specific feature is divided by predfined elementary feature. And then these are combined to obtain coded data for solving correspondence problem. We use Neural Network to extract elementary features from specific feature and to have adaptability to noise and some change of the shape. Fourier transformation and Log-polar mapping are used for obtaining appropriate Neural Network input data which has a shift, scale, and rotation invariability. Finally, we use associative memory to obtain coded data of the specific feature from the combination of elementary features. In spite of specific feature with some variation in shapes, we could obtain satisfactory 3-dimensional data from corresponded codes.

• 전산구조공학
• /
• 제4권2호
• /
• pp.103-110
• /
• 1991

컴퓨터의 제한된 코어메모리로 대형문제를 해결하기 위하여 디스크를 마치 메모리처럼 사용할 수 있는 가상 메모리 데이타베이스 기법을 개발하였다. 이 기법과 아울러 최대 가용코어메모리를 작동시키는 방식을 사용하여 유한요소 해석시 흔히 발생하는 스카이라인 형태로 저장된 대칭통산행예(Sparse Symmetric Matrix)에 대한 매우 효과적인 코어 내 및 코어 외 직립방정식의 해법을 개발하였다. 제안된 방법은 다른 코어 외 해법에 비해 알고리즘 및 코딩이 매우 간단하여 계산효율을 상당히 향상시켰다. 해석예에서는 제안된 방법을 사용하여 대규모 구조해석 문제를 메모리 용량이 작은 소형컴퓨터에서 대단히 효율적으로 해결하였음을 보여주었다.

• 전기의세계
• /
• 제30권6호
• /
• pp.375-385
• /
• 1981

New algorithms are derived for nonlinear programming problems which are characterized by their large variables and equality and inequality constraints. The algorithms are based upon the introduction of the Dependent-Variable-Elimination method, Independent-Variable-Reduction method, Optimally-Ordered-Triangular-Factorization method, Equality-Inequality-Sequential-Satisfaction method, etc. For a case study problem relating to the optimal determination of load flow in a 10-bus, 13-line sample power system, several approaches are undertaken, such as SUMT, Lagrange's Multiplier method, sequential applications of linear and quadratic programming method. For applying the linear programming method, the conventional simplex algorithm is modified to the large-system-oriented one by the introduction of the Two-Phase method and Variable-Upper-Bounding method, thus resulting in remarkable savings in memory requirements and computing time. The case study shows the validity and effectivity of the algorithms presented herein.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 1990년도 가을 학술발표회 논문집
• /
• pp.34-39
• /
• 1990

For the analysis of structures, specifically if it is large-scale, in which case it can not be solved within the core memory, the majority of computation time is consumed In the solution of simultaneous linear equation. In this study an efficient in- and out-of-core column solver for sparse symmetric matrix utilizing memory moving scheme is developed. Compare with existing blocking methods the algorithm is simple, therefore the coding and computational efficiencies are greatly enhanced. Upon available memory size, the solver automatically performs solution within the core or outside core. Analysis example shows that the proposed method efficiently solve the large structural problem on the small-memory microcomputer.

• 한국전산구조공학회논문집
• /
• 제26권6호
• /
• pp.439-445
• /
• 2013

단단한 암반이 아닌 지반에 건설된 구조물의 지진응답을 정확하게 평가하기 위해서는 지반-구조물 상호작용(SSI)의 영향을 고려하여야 한다. 최근에는 USNRC SRP 3.7.2와 같은 원전설계분야의 규제지침 강화로 인해 SSI 해석의 필요성이 증가되고 있다. 이 연구에서는 대형 3차원 SSI 해석에 KIESSI-3D 프로그램을 사용한 사례를 제시하고 해석시간 및 정확성에 대한 토의를 하였다. 이를 위하여 대형 3차원 구조물 예제에 대한 SSI 해석을 수행하고 해석결과와 해석시간을 ACS/SASSI 프로그램과 비교하였다. 비교결과 KIESSI-3D 프로그램과 ACS/SASSI 프로그램에 의해 구한 구조응답의 전달함수가 거의 동일함을 보여 KIESSI-3D 프로그램의 정확성을 확인할 수 있었다. 아울러 해석시간 측면에서는 다중 쓰레드를 사용한 KIESSI-3D 프로그램(8개 쓰레드)이 단일 쓰레드를 사용한 ACS/SASSI 프로그램 보다 약 30배~2000배 빠른 성능을 보였다.

• 한국멀티미디어학회논문지
• /
• 제15권4호
• /
• pp.439-448
• /
• 2012

TFT-LCD 패널을 저해상도로 획득한 영상은 불균일한 휘도 분포와 노이즈 신호, 그리고 결함 신호로 구성되어 있다. 불균일한 휘도 분포와 노이즈로 인해 결함 신호를 분할하기 어려우며 이를 위해 다양한 분할 방법이 개발되고 있다. 본 논문에서는 공간영역 상에서 Eikvil et al.'s에 의해 제안되어진 크기가 다른 두 개의 창을 두고 각 창의 평균을 계산하고 그 값의 차이를 이용하는 방법을 이용하여 TFT-LCD 패널 이미지 상에 존재하는 결함의 영역을 분할하는 방법을 제안한다. 하지만 이 방법은 창의 크기에 의해 검출 가능한 결함영역의 크기가 제한되어 큰 결함영역을 분할하기 위해서는 창을 키워야 하므로 효율적이지 못한 문제점을 가지고 있다. 이 문제를 해결하기위해 멀티스케일(Multi-scale)을 이용하고, 각 스케일에서 검출 가능한 결함 크기를 제한함으로써 다양한 크기의 결함 영역을 분할 할 수 있는 알고리즘을 제안한다. 알고리즘의 성능을 검증하기위해 다양한 크기의 결함 영역을 만들어 분할되어진 결과와 실제 결함이 존재하는 TFT-LCD 패널 이미지의 분할 결과들을 통해 실제 적용 가능한 알고리즘임을 보인다.

• 한국환경농학회지
• /
• 제30권3호
• /
• pp.310-315
• /
• 2011

폐미역을 이용한 생물흡착제의 중금속 제거능력을 조사하기 위해 lab-scale의 생물흡착시스템에서 최적조건을 구명하고, lab-scale의 생물흡착시스템의 최적조건하에서 large-scale PBCC 시스템의 중금속 제거능력을 조사하였다. Lab-scale 생물흡착시스템별 중금속 제거능력은 PBCC보다 CSTR이 뛰어났지만 CSTR은 폐수유입속도가 48 L/day이상에서 완전혼합상태를 유지하지 못하여 안정적인 운전이 가능한 PBCC가 적합하였다. Cu용액의 유입속도 및 농도별 Cu 제거능력은 유입속도 12 L/day 및 유입농도 10 mg/L일 때 Cu용액 처리량이 가장 뛰어났으나 경제적인 부분을 검토한 결과 유입속도 24 L/day 및 유입농도 100 mg/L가 적절할 것으로 판단되었다. 처리단계별 Cu 제거능력은 컬럼을 연속식으로 배열하는 것이 Cu 제거효율이 높았다. 중금속 종류별 제거능력은 Pb, Cr의 처리효율이 높았고 Cu용액 이외의 다른 중금속 용액들도 Cu와 동등한 수준 이상의 처리효율을 나타내었다. Lab-scale의 PBCC 시스템을 27배 규모로 scale-up한 large-scale PBCC 시스템의 Cu 제거능력은 138 L로 lab-scale의 5 L와 비교하였을 때 동등한 수준을 유지하였다. 따라서 중금속 처리를 위한 최적 폐미역 활용 생물흡착시스템은 PBCC 시스템인 것으로 판단되나, 실제 중금속 폐수에 본 최적시스템을 적용하기 위해서는 중금속 폐수 특성에 따른 적용성 연구가 추가로 진행되어야 할 것으로 판단된다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2016년도 추계학술발표대회
• /
• pp.506-509
• /
• 2016

We present real-time pedestrian detection that exploit accuracy of Faster R-CNN network. Faster R-CNN has shown to success at PASCAL VOC multi-object detection tasks, and their ability to operate on raw pixel input without the need to design special features is very engaging. Therefore, in this work we apply and adjust Faster R-CNN to single object detection, which is pedestrian detection. The drawback of Faster R-CNN is its failure when object size is small. Previously, small sized object problem was solved by Scale-aware Network. We incorporate Scale-aware Network to Faster R-CNN. This made our method Scale-aware Faster R-CNN (DF R-CNN) that is both fast and very accurate. We separated Faster R-CNN networks into two sub-network, that is one for large-size objects and another one for small-size objects. The resulting approach achieves a 28.3% average miss rate on the Caltech Pedestrian detection benchmark, which is competitive with the other best reported results.