• 한국지능시스템학회논문지
• /
• 제18권2호
• /
• pp.272-277
• /
• 2008

[ $m{\leq}n$ ]을 만족하는 m과 n을 두 입력수열이라고 했을 때 Symmerge는 비교횟수와 관련해 복잡도 $O(m{\log}{\frac{n}{m}})$를 필요로 하는 stable minimum storage 머징 알고리즘이다. 그러므로 비교횟수와 관련된 머징의 점근적 하계 ${\Omega}(m{\log}{\frac{n}{m}})$에 의해 Symmerge 알고리즘은 최적 알고리즘에 해당함을 알 수 있다. Symmerge는 두 입력수열의 분할 (partition)과 로테이션 (rotation)을 통해 얻어지는 수열들에 알고리즘의 재귀적 콜 (recursive call)이 적용되는 divide 와 conquer 기술을 이용한다. 이로 인해 수열들이 반복해서 분할과 로테이션 되는데 특히 재귀의 깊이가 m-1 가 되는 경우에 있어서 두 입력수열의 길이의 관계를 알아보고자 한다.

• 제어로봇시스템학회논문지
• /
• 제17권3호
• /
• pp.211-217
• /
• 2011

This paper proposes a quasi-optimal linear DOA (Direction-of-Arrival) estimator which is necessary for the development of a real-time robot auditory system tracking moving acoustic source. It is well known that the use of conventional nonlinear filtering schemes may result in the severe performance degradation of DOA estimation and not be preferable for real-time implementation. These are mainly due to the inherent nonlinearity of the acoustic signal model used for DOA estimation. This motivates us to consider a new uncertain linear acoustic signal model based on the linear prediction relation of a noisy sinusoid. Using the suggested measurement model, it is shown that the resultant DOA estimation problem is cast into the NCRKF (Non-Conservative Robust Kalman Filtering) problem [12]. NCRKF-based DOA estimator provides reliable DOA estimates of a fast moving acoustic source in spite of using the noise-corrupted measurement matrix in the filter recursion and, as well, it is suitable for real-time implementation because of its linear recursive filter structure. The computational efficiency and DOA estimation performance of the proposed method are evaluated through the computer simulations.

• 한국통신학회논문지
• /
• 제37권5A호
• /
• pp.311-316
• /
• 2012

논문에서 부분 체이스 결합을 위한 LDPC 부호의 비트 매핑 기법을 제안한다. 정보 비트를 항상 신뢰도가 높은 채널에 할당하는 기존의 비트 매핑 기법에 비해, 제안된 비트 매핑 기법은 LDPC 부호와 채널 특성을 동시에 고려하여 비균일 LDPC 부호의 부호어 비트를 최적의 채널에 할당한다. 또한, 밀도 진화 기법을 사용하여 부분 체이스 결합을 위한 순환 방정식을 유도하여 주어진 환경에서 다양한 비트 매핑 기법 중에서 최적이 성능을 갖는 매핑을 얻고, 모의실험을 통해 이를 검증한다.

• Bulletin of the Korean Chemical Society
• /
• 제19권5호
• /
• pp.549-553
• /
• 1998

The structure and layer distribution of cadmium arachidate Langmuir-Blodgett film were analyzed by the small angle X-ray reflectivity measurements using synchrotron radiation. Y-to X type transition was ocurred during the 39th passage of deposition of cadmium arachidate. Based on the measurement of the consumed area of the monolayer, it was determined that about 27.5 layer was deposited. Using the synchrotron X-ray, the reflectivity profile of cadmium arachidate LB film over the wide range of grazing angle was obtained. The X-ray reflectivity profile was analyzed using the recursion formula. By fitting the location and dispersion of the subsidiary maxima between the Bragg peaks of the measured reflectivity profile with that of the calculated reflectivity profile, the average thickness and the distribution of layer thickness were evaluated. The genetic algorithm was adopted to the fitting of reflectivity profile to evaluate the optimum value of the number distribution of layer. Based on the morphology measurement with an atomic force microscopy (AFM), the domain structure and mean roughness of LB films were obtained. The mean roughness value calculated based on the number of layer distribution obtained from the measurement by AFM is consistent with that obtained from X-ray reflectivity analysis.

• Structural Engineering and Mechanics
• /
• 제80권6호
• /
• pp.711-726
• /
• 2021

This paper presents a multiple parameters-based recursive methodology for the reliability quantification of civil structures subjected to meteorological disasters. Recognizing the challenge associated with characterizing at a single stroke all the meteorological disasters that may hit a structure during its service life, the proposed methodology by contrast features a multiparameter recursive mechanism to describe the meteorological demand of the structure. The benefit of the arrangements is that the essentially inevitable deviation of the practically observed meteorological data from those in the existing model can be mitigated in an adaptive manner. In particular, the implications of potential climate change to the relevant reliability of civil structures are allowed for. The application of the formulated methodology of recursive reliability quantification is illustrated by first considering the reliability quantification of a linear shear frame against simulated strong wind loads. A parametric study is engaged in this application to examine the effect of some hyperparameters in the configured hierarchical model. Further, the application is extended to a nonlinear hysteretic shear frame involving some field-observed cyclone data, and the incompleteness of the relevant structural diagnosis data that may arise in reality is taken into account. Also investigated is another application scenario where the reliability of a building envelope is assessed under hailstone impacts, and the emphasis is to demonstrate the recursive incorporation of newly obtained meteorological data.

• 농업과학연구
• /
• 제50권3호
• /
• pp.357-364
• /
• 2023

In this study, we propose a ripe tomato bunch localization method based on convolutional neural networks, to be applied in robotic harvesting systems. Tomato images were obtained from a smart greenhouse at the Rural Development Administration (RDA). The sample images for training were extracted based on tomato maturity and resized to 128 × 128 pixels for use in the classification model. The model was constructed based on four-layer convolutional neural networks, and the classes were determined based on stage of maturity, using a Softmax classifier. The localization of the ripe tomato bunch region was indicated on a class activation map. The class activation map could show the approximate location of the tomato bunch but tends to present a local part or a large part of the ripe tomato bunch region, which could lead to poor performance. Therefore, we suggest a recursive method to improve the performance of the model. The classification results indicated that the accuracy, precision, recall, and F1-score were 0.98, 0.87, 0.98, and 0.92, respectively. The localization performance was 0.52, estimated by the Intersection over Union (IoU), and through input recursion, the IoU was improved by 13%. Based on the results, the proposed localization of the ripe tomato bunch area can be incorporated in robotic harvesting systems to establish the optimal harvesting paths.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2002년도 ITC-CSCC -1
• /
• pp.446-449
• /
• 2002

This paper represents a improved data compression algorithm of mixed text file by 2 byte completion Hangout and 1 byte alphabet from. Original LZW algorithm efficiently compress a alphabet text file but inefficiently compress a 2 byte completion Hangout text file. To solve this problem, data compression algorithm using 2 byte prefix field and 2 byte suffix field for compression table have developed. But it have a another problem that is compression ratio of alphabet text file decreased. In this paper, we proposes improved LZW algorithm, that is, compression table in the Extended LZW(ELZW) algorithm uses 2 byte prefix field for pointer of a table and 1 byte suffix field for repeat counter. where, a prefix field uses a pointer(index) of compression table and a suffix field uses a counter of overlapping or recursion text data in compression table. To increase compression ratio, after construction of compression table, table data are properly packed as different bit string in accordance with a alphabet, Hangout, and pointer respectively. Therefore, proposed ELZW algorithm is superior to 1 byte LZW algorithm as 7.0125 percent and superior to 2 byte LZW algorithm as 11.725 percent. This paper represents a improved data Compression algorithm of mixed text file by 2 byte completion Hangout and 1 byte alphabet form. This document is an example of what your camera-ready manuscript to ITC-CSCC 2002 should look like. Authors are asked to conform to the directions reported in this document.

• 한국정보과학회논문지:시스템및이론
• /
• 제26권12호
• /
• pp.1485-1492
• /
• 1999

대규모 시스템 명세의 올바름을 검증하기 위한 유한 상태 LTS에 기반을 둔 CTL논리 적용에 있어 가장 큰 문제점은, 시스템 내부의 병렬 프로세스간의 상호작용으로 인한 상태폭발이다. 그러나 Modal mu-calculus 논리를 시스템 안전성 및 필연성 특성 명세에 사용하면, 행위에 의한 순환적 정의가 가능하므로 상태폭발 문제가 해결 가능하다. 본 논문에서는 LTS로 명세화된 통신 프로토콜 시스템 모델의 안전성 및 필연성 특성을 모형 검사 기법에 의해 검증함에 있어, 시제 논리로 사용된 Modal mu-calculus 안전성 및 필연성 논리식과 CTL 의 안전성 및 필연성 논리식의 극한값이 동일함을 두 논리식을 만족하는 상태 집합이 같다는 것을 보임으로써 증명한다. 증명된 결과는 I/O FSM 모델로 표현된 통신 프로토콜의 안전성 및 필연성 검사를 위해 이론적인 기반으로서, 컴퓨터를 이용한 모형검사 기법에 효과적인 방법으로 응용이 가능하다.Abstract In applying CTL-based model checking approach to correctness verification of large state transition system specifications, the major obstacle is the combinational explosion of the state space arising due to interaction of many loosely coupled parallel processes. If, however, the modal mu-calculus viewed as a CTL-based logic with recursion, is used to specify the safety and liveness property of a given system, it is possible to resolve this problem. In this paper, we discuss the problem of verifying communication protocol system specified in LTS, and prove that a logic expression specifying safety and liveness in modal mu-calculus is semantically identical to the maximum value of the expression in CTL. This relation is verified by the proof that the sets of states satisfying the two logic expressions are equivalent. The proof can be used as a theoretical basis for verifying safety and liveness of communication protocols represented as I/O FSM model.

• 한국가스학회지
• /
• 제18권3호
• /
• pp.1-12
• /
• 2014

본 논문에서는 적외선센서를 이용하여 방폭형 휴대용 가연성가스 누출검지기를 개발하고 아울러 가스의 농도를 측정하는 정확도를 향상시키는 알고리즘을 제안하였다. 국내최초로 내압 및 본질안전방폭규격(Ex d ib) 적용하여 적외선 가스누출검지기는 개발하였으며, 선형회귀 방정식과 2차 라그랑지(Lagrange) 보간 다항식(interpolation polynomial)을 사용하여 측정정확도를 개선하였다. 아울러 본 연구에서는 현장검사원들의 요구사항을 조사하여 현장에 부합하도록 성능을 향상시키고, 편의기능을 추가하였다. 본 연구에서 개발한 가스누출검지기와 타사의 검지기를 비교하기 위하여 한국가스안전공사에서 제조한 표준가스 8종을 가지고 측정시험을 실시하였다. 본 연구에서 개발한 가스누출검지기의 검지 정확도가 우수함을 실험결과를 통하여 증명하였다.

• International Journal of CAD/CAM
• /
• 제13권1호
• /
• pp.1-11
• /
• 2013

Just by adjusting the control points iteratively, progressive iterative approximation (PIA) presents an intuitive and straightforward scheme such that the resulting limit curve (surface) can interpolate the original data points. In order to obtain more flexibility, adjusting only a subset of the control points, a new method called local progressive iterative approximation (LPIA) has also been proposed. But to this day, there are two problems about PIA and LPIA: (1) Only an approximation process is discussed, but the accurate convergence curves (surfaces) are not given. (2) In order to obtain an interpolating curve (surface) with high accuracy, recursion computations are needed time after time, which result in a large workload. To overcome these limitations, this paper gives an explicit matrix expression of the control points of the limit curve (surface) by the PIA or LPIA method, and proves that the column vector consisting of the control points of the PIA's limit curve (or surface) can be obtained by multiplying the column vector consisting of the original data points on the left by the inverse matrix of the collocation matrix (or the Kronecker product of the collocation matrices in two direction) of the blending basis at the parametric values chosen by the original data points. Analogously, the control points of the LPIA's limit curve (or surface) can also be calculated by one-step. Furthermore, the $G^1$ joining conditions between two adjacent limit curves obtained from two neighboring data points sets are derived. Finally, a simple LPIA method is given to make the given tangential conditions at the endpoints can be satisfied by the limit curve.