• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제21권2호
• /
• pp.113-120
• /
• 2014

In this paper, we first show that for any space X, there is a ${\sigma}$-complete Boolean subalgebra of $\mathcal{R}$(X) and that the subspace {${\alpha}{\mid}{\alpha}$ is a fixed ${\sigma}Z(X)^{\sharp}$-ultrafilter} of the Stone-space $S(Z({\Lambda}_X)^{\sharp})$ is the minimal basically disconnected cover of X. Using this, we will show that for any countably locally weakly Lindel$\ddot{o}$f space X, the set {$M{\mid}M$ is a ${\sigma}$-complete Boolean subalgebra of $\mathcal{R}$(X) containing $Z(X)^{\sharp}$ and $s_M^{-1}(X)$ is basically disconnected}, when partially ordered by inclusion, becomes a complete lattice.

• JSTS:Journal of Semiconductor Technology and Science
• /
• 제16권3호
• /
• pp.319-329
• /
• 2016

High-level design aids are mandatory for design of a continuous-time delta-sigma modulator (CTDSM). This paper proposes a top-down methodology design to generate a noise transfer function (NTF) which is compensated for excess loop delay (ELD). This method is applicable to low pass loop-filter topologies. Non-ideal effects including ELD, integrator scaling issue, finite op-amp performance, clock jitter and DAC inaccuracies are explicitly represented in a behavioral simulation of a CTDSM. Mathematical modeling using MATLAB is supplemented with circuit-level simulation using Verilog-A blocks. Behavioral simulation and circuit-level simulation using Verilog-A blocks are used to validate our approach.

• 한국항공운항학회지
• /
• 제11권2호
• /
• pp.33-42
• /
• 2003

In this paper, we propose an enhancement of the ultrasonic image for non-destructive inspection of aircraft composite materials. The ultrasonic images are corrupted by a speckle noise which has the characteristic of granular pattern noise and is in all types of coherent imaging systems, the signal independent and multiplicative noise. In this paper, we derive a filter, called the AWLF(Adaptive Window Log Filter), from the nature of the speckle. The filter is made of the MEAN Filter in the edge region and Log Filter in the flat or noise region. To make a distinction between edge and flat region, we calculate the inclination around the local window instead of computing the local statistics of pixels such as local mean ${\bar{M}}$ and standard deviation ${\sigma}_s$. According to the obtained region, edge region is performed by the mean filter and flat region by the Log filter. Performance of the proposed filter is evaluated by the Enhanced Factor$(F_e)$ and the Speckle Index(SI).

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1993년도 한국자동제어학술회의논문집(국내학술편); Seoul National University, Seoul; 20-22 Oct. 1993
• /
• pp.29-33
• /
• 1993

This paper suggests Kalman filter formulation using by precision GINS output angle for SDINS initial transfer alignment of missile. The Kalman filter model was derived from quaternion parameters and the transfer alignment system by angle matching method satisfies azimuth observability in horizontal angular motion. The estimated error of SDINS attitude settles to less 3mrad(1.sigma.) in 200 seconds at proper sea state.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2002년도 하계종합학술대회 논문집(2)
• /
• pp.149-152
• /
• 2002

The performance of a 1-bit DAC depends on that of the analog circuits. The mixed SC-CT (switched capacitor-continuous time) architecture is an effective design methodology for the analog circuits. This paper Proposes a new buffer scheme for the 1-bit digital-to-analog subconverter and a new SF-DSC(smoothing filter and differential-to-sig le converter) which performs both the smoothing filter and the differential-to-single convertor simultaneously.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제10권1호
• /
• pp.6-8
• /
• 1972

Metacompact인 부분 집합들을 5가지 형으로 분류하여 $\beta$-metacompact인 집합과 그 집합에 관하여 폐집합인 집합들과의 관계를 규명하였고, 위상공간의 임의의 부분집합의 Point finite filter를 정의하여 이 filter가 limit point를 갖는 조건과 이 집합이 $\beta$-metacompact인 조건과를 비교하였다. 다음에 5가지형의 metacompact들 사이의 관계를 조사하여 다음과 같은 관계를 얻었다. (1) $\beta$-metacompact ($\beta$-countably metacompact)인 부분집합의 내점들의 폐 부분집합은 $\alpha$-metacompact ($\alpha$-countably metacompact) 이다. (2) $\sigma$-metacompact of 이고, $\alpha$-countably metacompact인 부분집합은 $\alpha$-metacompact이다.

• 대한전자공학회논문지SD
• /
• 제46권3호
• /
• pp.51-59
• /
• 2009

본 논문에서는 어쿠스틱 센서 IC 용 연속 시간 시그마-델타 모듈레이터를 구현하였다. 모듈레이터의 전력 소모를 최소화하기 위해 summing 단의 필요성을 제거한 피드-포워드 (feed-forward) 구조로 설계 하였으며, 해상도를 높이기 위해 선형성이 우수한 active-RC 필터를 사용하여 설계 하였다. 또한 초과 루프 지연 시간 (excess loop delay)에 의한 성능 저하를 방지하기 위한 회로 기법을 제안 하였다. 저 전압, 고 해상도의 4차 단일 비트 연속 시간 시그마-델타 모듈레이터는 $0.13{\mu}m$ 1 poly 8 metal CMOS 표준 공정으로 제작하였으며 코어 크기는 $0.58\;mm^2$ 이다 시뮬레이션 결과 25 kHz 의 신호 대역 내에서 91.3 dB의 SNR(signal to noise ratio)을 얻었고 전체 전력 소모는 $290{\mu}W$ 임을 확인하였다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2003년도 ICCAS
• /
• pp.2335-2339
• /
• 2003

To prevent the critical situation due to the fault in the aircraft sensor system, the fault tolerant system with triple or quadruple redundancy can be made. However, if the faults are occurred in two or more than sensors simultaneously, the conventional fault detection process, such as cross-channel monitoring, may give the wrong fault alarm. For this case, we can detect the fault by estimating the state vector based on the system dynamics model, which is nonlinear for aircraft. In this paper, we propose the unscented Kalman filter to estimate the nonlinear state vector. This filter utilizes the so-called unscented transformation of sigma points featured the statistical characteristics of the random variable. For verification, we perform the simulations for F-16 aircraft with accelerometers, gyros, GPS and air data system.

• 제어로봇시스템학회논문지
• /
• 제18권3호
• /
• pp.175-180
• /
• 2012

A nonlinear navigation filter for biomimetic robot using analytic approximation of mean and covariance of state variable is proposed. The approximations are performed at the time update step in the filter structure. The mean is approximated to the 3rd order of Taylor's series expansion of true mean and the covariance is approximated to the 3rd order either. The famous EKF is a nonlinear filtering method approximating the mean to 1st order and the covariance to the 3rd order. The UKF approximate them to the higher orders by numerical method. The proposed method derived a analytical approximation of them for navigation system and therefore don't need so called sigma point transformation in UKF. The simulation results show that the proposed method can be a good alternative of UKF in the systems which require less computational burden.

• 디지털콘텐츠학회 논문지
• /
• 제18권1호
• /
• pp.175-182
• /
• 2017

영상데이터를 획득하거나 저장하는 과정에서는 주변 환경이나 장치의 특성에 따라 잡음이 발생한다. 또한 영상의 전송과정에서도 채널 간섭에 의한 잡음이 발생할 수 있다. 이러한 잡음은 정보의 손실을 가져옴으로써 이어지는 영상처리 단계에서 화질의 저하가 나타나게 된다. 대표적인 잡음으로는 가우시안 잡음과 임펄스 잡음을 들 수 있는데, 영상처리는 일반적으로 이들이 혼재하는 복합 잡음 환경에서 이루어진다. 본 논문에서는 복합 잡음을 저감할 수 있는 반복 가중 평균 필터를 제안한다. 먼저 입력 영상으로부터 임펄스 잡음 화소를 제거한 다음, $3{\times}3$ 슬라이딩 윈도우 영역에 대해 가중 평균 마스크 연산을 수행하여 중앙 화소값을 구하는 간단한 방법이다. 제거된 임펄스 잡음 화소가 가중 평균값으로 모두 채워질 때까지 필터링을 반복한다. 제안한 필터를 ${\sigma}=10$인 가우시안 잡음과 다양한 밀도의 임펖스 잡음이 포함된 영상에 적용하여 처리한 결과, 잡음 밀도 60% 이하에서 기존의 SAWF, AWMF, MMF 등에 비해 PSNR이 각각 최대 12.98 dB, 1.97 dB, 1.97 dB 개선되었다.