• Proceedings of the Korean Society of Soil and Groundwater Environment Conference
• /
• 2003.09a
• /
• pp.548-551
• /
• 2003

부산 금정산 지역의 지하수위와 강우량과의 관계를 알아보고자 시계열 분석을 통하여 자기상관함수와 상호상관함수를 구하였다. 이를 위하여 금정산 산성마을 주변의 19개 관측공 중 자동수위측정기가 설치된 4개 관측공(KJ2, KJ8, KJ15, KJ19)의 지하수위 자료와 부산지역의 강우량 자료를 이용하였다. 지하수위 및 강수량은 각각 1일 평균, 1일 누적 값을 이용하였다. 자기상관분석의 경우, KJ2와 KJ19의 경우 지연시간이 2일 이내, KJ8의 경우는 3일 이내에 0으로 수렴하며, KJ15의 경우는 지연시간이 8일째에 0으로 수렴한다. 강수량과 지하수위의 교차상관분석결과, KJ2, KJ15, KJ19호 공은 지연시간이 0일 때 교차상관함수가 각각 0.6572, 0.6303, 0.7857이교 KJ8호 공은 지연시간이 1일 때 0.7141이다. 또한 대부분 짧은 지연시간에 교차상관함수가 0으로 수렴한다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2013.05a
• /
• pp.71-73
• /
• 2013

This paper introduce the process of time transfer from GPS satellites and analyze the results the tropospheric delay estimation results according to Chao mapping function and Niell mapping function, respectively.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.22 no.2
• /
• pp.174-180
• /
• 2012

This paper proposes a decentralized adaptive output-feedback controller design for nonlinear interconnected systems with unknown time delays. The interaction terms with unknown delays are related to all states of subsystems. The time-delayed functions are compensated by using appropriate Lyapunov-Krasovskii functionals and function approximation technique. The observer dynamic surface design technique is employed to design the proposed memoryless local controller for each subsystem. In addition, we prove that all signals in the closed-loop system are semiglobally uniformly bounded and control errors converge to an adjustable neighborhood of the origin.

• Journal of KIISE:Computer Systems and Theory
• /
• v.35 no.3
• /
• pp.141-149
• /
• 2008

Most functional programming languages allows programmers to write ambiguous rules, under the strategy that pattern-matching will be performed in a direction of 'from top to bottom' way. While providing programmers with convenience and intuitive understanding of defining default rules, such ambiguous rules may make the semantics of functional languages unclear. More specifically, it may fail to apply the equational reasoning, one of most significant advantage of functional programming, and may cause to obscure finding a formal way of translating functional languages into the ${\lambda}$-calculus; as a result, we only get an ad hoc translation. In this paper, we associate with separability of term rewriting systems, holding purely-declarative property, pattern-matching semantics of lazy functional languages. Separability can serve a formalism for translating lazy functional languages into the ${\lambda}$-calculus.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.25 no.11A
• /
• pp.1652-1660
• /
• 2000

본 논문에서는 DS/CDMA (Direct Sequence/Code Division Multipe Access) 시스템에서 임시 판정 함수로서 연판정 함수와 경판정 함수를 적용한 파이프라인화된 직렬 간섭 제어 구조(PSIC, Pipelined Successive Interference Cancellation)의 성능을 수식적으로 분석하고, 모의 실험을 통하여 검증한다. PSIC 구조는 다단 직렬 간섭 제거 구조(MSIC, Multistage Successive Interference Cancellation)가 가지는 복호지연(decoding delay)의 문제를 해결하기 위해 파이프라인 구조를 MSIC에 적용한 것이다. 제안된PSIC 구조는 하드웨어의 복잡도(hardwar complexity)를 희생하여 비트 오율(BER, Bit Error Rate)의 증가 없이 MSIC에서 발생하는 복호 지연을 줄일 수 있다. 또한 제안된 PSIC 구조에서 연판정 함수와 경판정 함수를 각 간섭 제거 단(Cancellation stage)에서의 임시 판정 함수로 사용하여 얻게 되는 PSIC 구조들의 성능을 비교한다. 분석 및 실험 결과에 의하면 제안되 PSIC 구조에서는 경판정 함수를 사용할때의 성능이 연판정 함수를 사용할때의 성능보다 우수함을 알 수 있었다.

• Journal of KIISE:Software and Applications
• /
• v.29 no.5
• /
• pp.326-335
• /
• 2002

Recently there have been a number of researches to provide code mobility to lazy functional language (LFL) programs by translating LFL programs to Java programs. These approaches are basically baled on architectural similarities between abstract machines of LFLs and Java. The abstract machines of LFLs and Java programming language, Spineless Tagless G-Machine(STGM) and Java Virtual Machine(JVM) respectively, share important common features such as built- in garbage collector and stack machine architecture. Thus, we can provide code mobility to LFLs by translating LFLs to Java utilizing these common features. In this paper, we propose a new translation scheme which fully utilizes architectural common features between STGM and JVM. By redefining STGM as an eval-apply evaluation model, we have defined a new translation scheme which utilizes Java Virtual Machine Stack for function evaluation and totally eliminates stack simulation which causes array manipulation overhead in Java. Benchmark program translated to Java programs by our translation scheme run faster on JDK 1.3 than those translated by the previous schemes.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.29 no.10C
• /
• pp.1370-1377
• /
• 2004

Optimal control gain for time-delay systems is made by an optimal control gain for delay-free systems multiplied by a state transition function for the delay time. The optimal control gain for delay-free systems is obtained by pushing two zeros of the PID controller closely to a larger pole of the second order plant. Thus the optimal tuning of PID controller for time-delay second order system is able to be obtained by calculation for the state transition function.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.326-328
• /
• 2000

본 논문에서는 지연계산기반 함수형 언어 프로그램을 받아 Java 프로그램을 목적 코드로 생성하는 컴파일러를 설계하고 구현한다. 이 컴파일러는 제한된 형태의 함수형 언어 Shared Term Graph(STG)를 입력언어로 하는 추상기계 Spineless Tagiess G-Machine (STGM)을 수행 모델로 한다. 본 논문에서는 명령형 언어 L-code를 제안하고 이를 입력언어로 하는 새로운 형태의 STGM인 L-Machine을 제안한다. STG 언어를 L-code로 변환하는 컴파일러와 L-code를 Java로 변환하는 컴파일러를 설계하고 구현함으로써 원하는 컴파일러를 구성한다. 그리고 Glasgow Haskell 컴파일러를 전단부로 하여 지연계산 기반 함수형 언어 Haskell로 작성된 프로그램들을 컴파일하여 STG 프로그램으로 변환한 다음 본 논문에서 구현한 컴파일러로 이를 Java 프로그램으로 변환한다. 변환된 Java 프로그램을 Sun JIT 컴파일러로 컴파일하여 수행한 성능 평가 결과를 제시한다.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.20 no.3
• /
• pp.283-291
• /
• 2002

Since GPS's SA cancellation, the interest is converged in correction of errors such as atmospheric delay and multipath that weight had been small relatively, which can improve the accuracy of positioning through modelling research. The aim of this study have an extensive comparison of the various tropospheric delay models (Goad&Goodman, A&K, Hopfield and Sasstamoinen) and mapping functions(Niell, Chao, and Marini). Expecially, the tropospheric delay amounts by change of the GPS satellite elevations, and the delay by various combination between zenith delay models and mapping functions, compared and examined. For this, programmed the total delay models and the combined models which can be described as a product of the delay at the zenith and a mapping function. The result of study, especially, as the minimum elevation of included data is reduced under $10^{\circ}$, it was considered to be reasonable that the prediction of tropospheric delay considering combination and mapping character of functions about the transition of the zenith delay to a delay with arbitrary zenith angle.

• Proceedings of the Acoustical Society of Korea Conference
• /
• 1998.06c
• /
• pp.499-502
• /
• 1998

본 논문에서는 한 쌍의 수동소나를 이용하여 미지의 잠항물체의 존재 유무를 확인하고 각 센서에 도달하는 시간지연의 차를 평가하는 Detection과 Tracking 알고리즘을 연구한다. 이 과정에서 이동하는 표적의 속력에 의한 도플러효과를 보상하는 2차원 확률분포 함수를 적용함으로 보다 정확한 결과를 도출한다. 관측신호의 Cross-Correlation과 Bayesian Method를 이용하여 계산한 시간지연과 도플러효과 비의 이차원 Likelihood 함수로부터 사후확률 (Posterior Probability)을 구하여 발견 평가와 추적을 수행한다.