• 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 컴파일러로 컴파일하여 수행한 성능 평가 결과를 제시한다.

• Proceedings of the Korean Society of Soil and Groundwater Environment Conference
• /
• 1999.10a
• /
• pp.61-64
• /
• 1999

산성침출수에 의한 광산폐기물 매립지 근처의 지하 환경의 오염 및 대처 방안의 효과를 수치적으로 예측하였다. 이를 위하여 지하토양에서 Darcy 법칙을 사용한 침출수의 흐름과 이산-분산에 의한 오염물질의 이동현상을 예측하기 위하여 Galerkin 유한요소법을 활용하였다. 토양오염의 지연을 위하여 석회석 차수막을 연직형과 수평형을 도입하여 그 효과를 조사하였다. 수평차수막에서의 수착이 오염물질의 이동을 지연시키는데 상당한 효과가 있는 것으로 나타났다. 반면에 연직차수막은 지하수의 우회유동으로 인한 오염물질의 확산이 가중되고 있는 것으로 예측되었다. 전반적으로 침출수의 흐름은 광산매립지 제방 근처에서 강하게 일어나는 것으로 나타났다. 이를 근거로 차수막의 효과적인 설치방안이 고안되어야 할 것으로 보인다.

• The Journal of the Acoustical Society of Korea
• /
• v.17 no.4
• /
• pp.82-87
• /
• 1998

여러 음원들에 의해 형성된 파동장내에서 각 신호음의 주파수 특성과 시간 지연 (time delay)을 추정할 수 있는 알고리즘을 개발하였다. 이 알고리즘의 관련 수식은 두 개의 상호 간섭하는 신호가 입사하고 여기에 주변 환경에 의한 랜덤 잡음이 첨가된다고 가정하여 유도되었으며 두 개 이상의 신호음이 있는 상황에 대해 확장이 가능하다. 본 논문에서 시간 지연이 일정한 수신 신호 영역에 등간격으로 놓여진 수신기로부터 각 센서에 수신된 신호의 스펙트럼은 M개의 센서에 대해 K개의 음원 스펙트럼과 K개의 조정 벡터(steering vector) 의 선형 조합(linear combination)으로 주파수에서 모델된다. 각 음원의 주파수 특성과 음원 으로 들어오는 신호의 입사각을 결정하기 위하여 본 알고리즘은 전달 행렬(transfer matrix) 을 계산하고 그 전달 행렬의 고유값(eigenvalue)과 고유벡터(eigenvector)를 분석한다. 이 고 유값들은 복소수이며 그 크기는 진폭 변환 계수를 결정한다. 위상은 수신기의 간격으로부터 시간 지연을 결정하는 기울기를 갖는 주파수의 선형 함수이다. 전달 행렬에의 입력 자료들 은 동일 간격 소자간의 cross-power spectra이다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 1998.05a
• /
• pp.150-154
• /
• 1998

CDMAPCS 시스템은 Rake 수신기를 이용만 경로 다이버시티를 채택하여 우수한 시스템 향상을 얻을 수 있어 주로 TDMA 시스템에서 적용하고 있는 등화기를 사용할 필요가 없다. 그러나 CDMA PCS 시스템의 역방향 링크에서는 순방향과는 달리 채널의 크기 및 위상 추정에 필요한 파이롯 채널이 없어 성능의 저하를 가져오게 된다. 따라서 역방향 링크에서 채널환경에 따라 Rake 수신기의 성능에 미치는 영향을 분석하는 것은 중요하다. 본 논문에서는 시스템 성능 및 광대역 채널 파라미터 분석을 위해 광범위한 라이브러리와 시스템 구성의 유연성을 가지고 있는 Ptolemy [1] 플랫폼에서 CDMA PCS 시스템의 역방향 링크 규격에 따라 각 블록을 사용자 정의로 구현하였다. Ptolemy 시뮬레이터를 이용하여 CDMA PCS 시스템의 역방향 링크 비트오율 성능을 채널의 특성과 연관지어 분석하였다. 그리고 가상할 수 있는 각 채널 모델을 이용하여 CDMA PCS 시스템의 성능과 광대역 채널 파라미터 (예: 지연확산)와의 상관 관계를 파악하였다. 본 연구에서 CDMA PCS 시스템에서는 일반적으로 알려져 있는 지연확산보다 평균지연 파라미터가 더 높은 상관 관계가 있음을 발견하였다.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2006.11a
• /
• pp.279-282
• /
• 2006

본 논문은 시간지연을 갖는 이산 비선형 시스템에 대한 점근적 안정화 및 $H_{\infty}$ 성능을 갖는 퍼지 제어기 설계 방법을 제안한다. 시간지연을 갖는 이산 Takagi-Sugeno 퍼지 모델에 대한 점근적 안정화 및 $H_{\infty}$ 성능을 만족하는 제어기 존재조건을 선형행렬부등식으로 나타낸다. 리아프노프 함수에 조정파라미터를 도입함으로써 제어기 존재조건을 조정파라미터를 포함하는 선형행렬 부등식으로 나타낸다. 선형행렬부등식에 있는 조정 파라미터를 조정함으로써 시스템의 응답속도 및 오버슈트 등의 동적 성능을 개선시킬 수 있다.

• Review of KIISC
• /
• v.29 no.6
• /
• pp.67-74
• /
• 2019

기계학습 알고리즘을 이용한 다양한 분야에서의 활용사례들이 우리 사회로 점차 확산되어가며, 기계학습을 통해 산출된 모델의 오동작을 유발할 수 있는 공격이 활발히 연구되고 있다. 특히, 한국에서는 딥러닝을 포함해 인공지능을 응용한 융합분야를 국가적 차원에서 추진하고 있으며, 만약 인공지능 모델 자체에서 발생하는 취약점을 보완하지 못하고 사전에 공격을 대비하지 않는다면, 뒤늦은 대응으로 인하여 관련 산업의 활성화가 지연될 수 있는 문제점이 발생할 수도 있다. 본 논문에서는 기계학습 모델에서, 특히 심층 신경망으로 구성되어 있는 모델에서 발생할 수 있는 공격들을 정의하고 연구 동향을 분석, 안전한 기계학습 모델 구성을 위해 필요한 시사점을 제시한다. 구체적으로, 가장 널리 알려진 적대적 사례(adversarial examples) 뿐 아니라, 프라이버시 침해를 유발하는 추론 공격 등이 어떻게 정의되는지 설명한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10c
• /
• pp.393-395
• /
• 1999

본 논문에서는 RFC 2022에서 제안한 MARS 모델을 기반으로 하여 ATM 망에서 다중의 멀티캐스팅 서버(MCS)를 이용한 두 가지 멀티캐스팅 모델을 제안하였다. 또한 멀티캐스트 주소 해석 서버(MARS) 방안에 기반한 기존의 두 가지 모델과 1:1 VC 및 1:n VC 자원의 소비량을 정량적으로 비교하였다. 하나의 멀티캐스트 그룹을 보다 작은 부그룹들로 나누어 관리하는 "다중 MCS-그룹 분할 모델"이 "다중 MCS-그룹 비 분할 모델"보다 1:n VC 자원 소비량은 많은 단점이 있으나 송신 노드와 수신 그룹 멤버들 사이에 형성되는 멀티캐스트 트리의 종단간 평균 지연 시간을 감소시킬 수 있는 여지를 제공하는 장점이 있다. 있는 여지를 제공하는 장점이 있다.

• Bulletin of the Korean Space Science Society
• /
• 1993.10a
• /
• pp.9-9
• /
• 1993

GPS는 지구 중심으로부터 GPS 위성의 거리와 위성과 관측자사이의 의사거리(pseudorange)를 이용해서 위치를 결정하는 시스템이다. 1993년 6월 12일 연세대학교에서 3시간동안 관측하여 연세대학교의 위치를 구하였다. 이 위치는 WGS-84 타원체이므로 Bessel타원체로 좌표변환하였다. 위치를 결정하기 위해서는 정확한 위성의 위치와 의사거리에 미치는 잡음(noise)을 제거해야 한다. GPS 위성의 위치 결정에는 지구 비대칭중력항에 의한 섭동, 태양, 달에 의한 섭동, 태앙 복사압에 의한 섭동, 지각, 해양의 조석력에 의한 섭동, 태양빛의 지구 반사도(albedo)에 의한 섭동을 고려해야하며 이를 위해서 위성의 Telemetry를 분석하여 구해 보았다 의사거리의 잡음중 가장 큰 요소인 이온층, 대류층에 의한 지연(delay)에 대해 연구 하였고 각각 Kiobuchar모델, Hopfield모델을 써서 보정을 하였다. 자료 처리를 P모델, PV모델을 만들어 칼만 필터에 적용하였고 RV모델이 P모델보다 더 정확하였나, 위치 결정의 정확도를 알아 보기위해서 국립 천문대부설 GPS관측소에서 결정한 위치와 비교,분석하였다.

• Journal of KIISE:Information Networking
• /
• v.27 no.2
• /
• pp.237-246
• /
• 2000

A broadband access network in B-ISDN subscriber network, plays a role of concentration or multiplexing of various subscribers into a service node. For call and connection control functions, DSS2 and B-ISUP signalling protocols are standardized for each of a subscriber side and a network node. B-BCC and B-ANCC protocol were proposed for VB5.2 interface. This interface allows dynamic control of ATM connections at the broadband access network. To establish an end-to-end ATM connection, interworking functions between VB5.2 interface's connection control protocol and the signalling protocol, are performed at the service node. A sequential interworking model and a parallel interworking model were proposed for these interworking functions. The sequential interworking model recommended by ITU-T causes an overall connection setup delay by introducing the access network, because this model proceeds the signalling protocol of network node after the response of VB5.2 interface protocol. On the other hand, the parallel interworking model proceeds the signalling protocol and the VB5.2 interface protocol simultaneously. The simultaneity of the parallel interworking model minimizes the overall connection setup delay. In this paper, we analyze and simulate above two interworking models with B-BCC or B-ANCC protocol in terms of a connection setup delay and completion ratio.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.27 no.1
• /
• pp.693-700
• /
• 2009

For real-time precise GPS data processing such as a long baseline network RTK (Real-Time Kinematic) survey, PPP (Precise Point Positioning) and monitoring of ionospheric/tropospheric delays, it is necessary to guarantee accuracy comparable to IGS (International GNSS Service) precise orbit with no latency. As a preliminary study for determining near real-time satellite orbits, the general procedures of satellite orbit determination, especially the dynamic approach, were studied. In addition, the transformation between terrestrial and inertial reference frames was tested to integrate acceleration. The IAU 1976/1980 precession/nutation model showed a consistency of 0.05 mas with IAU 2000A model. Since the IAU 2000A model has a large number of nutation components, it took more time to compute the transformation matrix. The classical method with IAU 2000A model was two times faster than the NRO (non-rotating origin) approach, while there is no practical difference between two transformation matrices.