• 한국지하수토양환경학회:학술대회논문집
• /
• 한국지하수토양환경학회 2003년도 추계학술발표회
• /
• 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으로 수렴한다.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2013년도 춘계학술대회
• /
• pp.71-73
• /
• 2013

본 논문에서는 GPS 코드를 이용한 시각 전달에 대해 소개하고 이 중 대류층 지연 계산에 적용되는 매핑 함수 중 Chao 매핑 함수와 Niell 매핑 함수를 적용한 결과를 비교 분석한다.

• 한국지능시스템학회논문지
• /
• 제22권2호
• /
• pp.174-180
• /
• 2012

본 논문은 미지의 시간 지연을 갖는 비선형 상호 연결 시스템을 위한 분산 적응 출력 궤환 제어기를 제안한다. 미지의 시간 지연을 갖는 상호 연결 부분은 부시스템들의 모든 상태 변수를 포함한다. 적당한 르아브노브-크라소브스키 함수와 함수 예측 기법을 사용하여 시간 지연 함수들을 보상한다. 각각의 부시스템을 위한 시간에 독립적인 지역 제어기를 설계하기 위해 관측 동적 표면 제어 기법을 이용한다. 제어된 페루프 시스템의 모든 신호들이 준 전역적이고 균일하게 유계됨과 제어 오차가 원점 주위의 조절 가능한 주변으로 수렴함을 증명한다.

• 한국정보과학회논문지:시스템및이론
• /
• 제35권3호
• /
• pp.141-149
• /
• 2008

대부분의 함수형 프로그래밍 언어에서는 '위에서 아래쪽, 왼쪽에서 오른쪽 방향으로' 패턴 매칭(pattern matching)을 한다는 전략에 따라, 모호한(ambiguous) 특성을 갖는 룰의 정의를 허용하고 있다. 이 방법은 함수형 프로그래머에게 디폴트 룰을 정의할 수 있게 하는 직관적인 편리함을 제공하지만, 한편으로 모호한 룰 때문에 함수형 언어의 의미는 불명확해 질 수 있다. 좀 더 구체적으로, 함수형 언어가 갖는 대표적인 특성인 등식 추론(equational reasoning) 원리의 적용을 불가능하게 할 수 있으며, 함수형 언어를 람다 계산법으로 변환하는 데 있어서도 정형적인 방법이 아닌 임시방편적인(ad hoc) 방법에 의존할 수밖에 없게 한다. 본 연구에서는 지연(lazy) 함수형 언어의 패턴 매칭의 의미를 순수 선언적 특성을 갖는 항 개서 시스템(Term Rewriting Systems)의 분리성(separability) 이론과 연관시키고, 분리성 이론에 따라 지연 함수형 언어가 람다 계산법으로 변환될 수 있음을 보인다.

• 한국통신학회논문지
• /
• 제25권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 구조에서는 경판정 함수를 사용할때의 성능이 연판정 함수를 사용할때의 성능보다 우수함을 알 수 있었다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제29권5호
• /
• pp.326-335
• /
• 2002

최근에 지연 계산 함수형 언어를 자바 프로그램으로 변환함으로써 지연 계산 함수형 언어 프로그램에 대해 코드 이동성을 제공하려는 연구가 있었다. 이러한 연구들은 자바와 지연 계산형 함수형 언어의 추상 기계가 가지는 구조적 유사성에 바탕을 두고 있다. 지연 계산 함수형 언어에 대한 추상 기계인 STGM(Spineless Tagless G-machine)과 자바 언어에 대한 추상 기계인 JVM(Java Virtual Machine)은 기억장소 재활용 체계와 스택 기계 구조를 가진다는 점에서 공통된 특징을 가지고 있다. 그러나 현재가지의 지연 계산 함수형 언어로부터 자바로의 변환 구조는 이와 같은 추상 기계 구조상의 공통점을 충분히 이용하지 못하였다. 본 논문에서는 STGM의 계산 모델을 eval-apply 모델로 새로이 정의함으로써 STGM과 JVM의 공통점을 충분히 이용하는 새로운 변환 구도를 제안한다. 새로이 제안된 변환 구도에서는 자바 스택(Java Virtual Machine Stack)을 사용하여 함수 계산을 수행하도록 함으로써 스택 시뮬레이션으로 인해 나타나는 자바에서의 배열 접근 부담을 제거하였다. 본 논문의 변환 구도에 의해 자바로 변환된 벤치마크 프로그램들은 기존의 변환 구도에 의해 변환된 경우보다 JDK 1.3에서 빠르게 동작한다.

• 한국통신학회논문지
• /
• 제29권10C호
• /
• pp.1370-1377
• /
• 2004

시간 지연이 있는 시스템에서의 최적 제어 이득은 시간 지연이 없는 시스템에서 설계된 최적 제어 이득과 지연 시간에 대하여 계산된 상태천이 함수의 곱의 형태로 나타난다. 따라서 시간 지연이 없는 시스템에 대하여 PID제어기의 영점들을 플랜트의 최대 극점에 근접하도록 가중치 요소 Q와 R을 선택하여 최적 제어 이득을 구하고, 시간 지연이 있는 2차 시스템에서의 상태천이 함수를 계산하여 시간 지연이 있는 시스템에서의 강인한 최적 PID 제어기 설계가 가능하도록 하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (1)
• /
• 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 컴파일러로 컴파일하여 수행한 성능 평가 결과를 제시한다.

• 한국측량학회지
• /
• 제20권3호
• /
• pp.283-291
• /
• 2002

GPS의 SA 해제 이후, 상대적으로 비중이 작았던 대기층지연, 다중경로(Multipath) 등 모델링 연구를 통하여 측위 정확도를 보다 향상시킬 수 있는 오차요인의 보정에 관심이 모아지고 있다. 본 연구는 Goad&Goodman, A&K, Hopfield 및 Sasstamoinen 보정모델에 의한 대류층 지연량의 예측은 물론 천정방향의 지연량에 Niell, Chao 및 Marini 맵핑 함수를 적용한 조합 프로그램을 작성하여 기상센서가 운용되는 특정 관측소의 기상자료를 적용하고 GPS 위성의 고도 변화에 따른 대류층 신호 지연량의 변화와 보정모델 및 맵핑 함수의 조합에 따른 지연량의 변화 양상을 비교.고찰한 것으로 특히, 고도각이 $10^{\circ}$ 이하인 저고도 GPS관측자료의 대류층 지연보정시, 천정방향 보정모델과 맵핑 함수의 조합 및 맵핑 함수의 특성 등을 고려하여 보정함이 타당할 것으로 사료되었다.

• 한국음향학회:학술대회논문집
• /
• 한국음향학회 1998년도 학술발표대회 논문집 제17권 1호
• /
• pp.499-502
• /
• 1998

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