• 한국정보과학회논문지:시스템및이론
• /
• 제32권5호
• /
• pp.260-267
• /
• 2005

길이가 n인 알파벳 $\Sigma$상의 텍스트 T에서 패턴 P를 효율적으로 검색하기 위해 접미사 트리와 접미사 배열이 널리 쓰이고 있다. 접미사 배열이 접미사 트리보다 더 적은 공간을 사용하기 때문에 텍스트의 길이가 긴 경우에는 접미사 배열이 더 선호되고 있다. 최근에는 접미사 배열을 이용한 O(${\mid}P{\mid}{\codt}{\mid}{\Sigma}{\mid}) 시간과 O(${\mid}P{\mid}{\codt}log{\mid}{\Sigma}{\mid}$) 시간 검색 알고리즘들이 개발되었다. 본 논문에서는 접미사 배열을 이용한 시간과 공간 효율적인 알고리즘들을 제시한다. 하나의 알고리즘은 O(${\mid}P{\mid}{\codt}{\mid}{\Sigma}{\mid}$) 비트 공간을 사용하여 O(${\mid}P{\mid}$) 시간에 수행되고, 다른 하나는 O($n{\cdot}log{\mid}{\Sigma}{\mid}+{\mid}{\Sigma}{\mid}{\cdot}$nlog log n/logn)비트 공간을 사용하여 O(${\mid}P{\mid}{\codt}log{\mid}{\Sigma}{\mid}$) 시간에 수행되는데, 두 번째 알고리즘은 보다 효율적인 공간을 사용하면서 여전히 빠른 알고리즘이다. 본 논문이 제시하는 알고리즘들이 시간과 공간에 있어 기존의 알고리즘들보다 더 효율적인 알고리즘들임을 실험을 통해 보여주고 있다.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제9권1호
• /
• pp.9-17
• /
• 2002

In this Paper, we will show that every basically disconnected space is a projective object in the category $Tych_{\sigma}$ of Tychonoff spaces and $_{\sigma}Z^{#}$ -irreducible maps and that if X is a space such that ${\Beta} {\Lambda} X={\Lambda} {\Beta} X$, then X has a projective cover in $Tych_{\sigma}$. Moreover, observing that for any weakly Linde1of space, ${\Lambda} X : {\Lambda} X\;{\longrightarrow}\;X$ is $_{\sigma}Z^{#}$-irreducible, we will show that the projective objects in $wLind_{\sigma}$/ of weakly Lindelof spaces and $_{\sigma}Z^{#}$-irreducible maps are precisely the basically disconnected spaces.

• 대한수학회지
• /
• 제54권1호
• /
• pp.281-302
• /
• 2017

For a Banach space operator $A{\in}B(\mathcal{X})$, let ${\sigma}(A)$, ${\sigma}_a(A)$, ${\sigma}_w(A)$ and ${\sigma}_{aw}(A)$ denote, respectively, its spectrum, approximate point spectrum, Weyl spectrum and approximate Weyl spectrum. The operator A is polaroid (resp., left polaroid), if the points $iso{\sigma}(A)$ (resp., $iso{\sigma}_a(A)$) are poles (resp., left poles) of the resolvent of A. Perturbation by compact operators preserves neither SVEP, the single-valued extension property, nor the polaroid or left polaroid properties. Given an $A{\in}B(\mathcal{X})$, we prove that a sufficient condition for: (i) A+K to have SVEP on the complement of ${\sigma}_w(A)$ (resp., ${\sigma}_{aw}(A)$) for every compact operator $K{\in}B(\mathcal{X})$ is that ${\sigma}_w(A)$ (resp., ${\sigma}_{aw}(A)$) has no holes; (ii) A + K to be polaroid (resp., left polaroid) for every compact operator $K{\in}B(\mathcal{X})$ is that iso${\sigma}_w(A)$ = ∅ (resp., $iso{\sigma}_{aw}(A)$ = ∅). It is seen that these conditions are also necessary in the case in which the Banach space $\mathcal{X}$ is a Hilbert space.

• 충청수학회지
• /
• 제4권1호
• /
• pp.103-113
• /
• 1991

Some properties of a path space and the fundamental group ${\sigma}(X,x_0,G)$ of a topological transformation group (X, G, ${\pi}$) are described. It is shown that ${\sigma}(X,x_0,H)$ is a normal subgroup of ${\sigma}(X,x_0,G)$ if H is a normal subgroup of G ; Let (X, G, ${\pi}$) be a transformation group with the open action property. If every identification map $p:{\Sigma}(X,x,G)\;{\longrightarrow}\;{\sigma}(X,x,G)$ is open for each $x{\in}X$, then ${\lambda}$ induces a homeomorphism between the fundamental groups ${\sigma}(X,x_0,G)$ and ${\sigma}(X,y_0,G)$ where ${\lambda}$ is a path from $x_0$ to $y_0$ in X ; The space ${\sigma}(X,x_0,G)$ is an H-space if the identification map $p:{\Sigma}(X,x_0,G)\;{\longrightarrow}\;{\sigma}(X,x_0,G)$ is open in a topological transformation group (X, G, ${\pi}$).

• 한국항공우주학회지
• /
• 제44권4호
• /
• pp.363-372
• /
• 2016

SIGMA(Scientific cubesat with Instruments for Global Magnetic field and rAdiation) 큐브 위성은 근 지구 자기장 세기와 우주 방사선량 측정을 위해 경희대학교에서 개발한 초소형 인공위성이다. 우주 임무 수행을 위해 비행 소프트웨어는 위성을 제어하고 데이터를 처리하는 중요한 역할을 담당한다. 본 연구에서는 SIGMA 큐브위성의 임무 수행을 위해 비행소프트웨어를 구현한 것으로서 일반적으로 임베디드 시스템에서 사용하는 실시간 운영체제를 사용하지 않고 단일 프로세스 내에서 모든 태스크를 처리하도록 구현하였다. 이는 SIGMA 큐브위성의 임무 수행 절차와 시스템 제어 방법을 고려한 것으로서 소프트웨어의 오버헤드(overhead)를 낮추고 임무 수행에 집중할 수 있는 효과적인 방법이다.

• Journal of Astronomy and Space Sciences
• /
• 제33권4호
• /
• pp.335-344
• /
• 2016

Scientific CubeSat with Instruments for Global Magnetic Fields and Radiations (SIGMA) is a 3-U size CubeSat that will be operated in low earth orbit (LEO). The SIGMA communication system uses a very high frequency (VHF) band for uplink and an ultra high frequency (UHF) band for downlink. Both frequencies belong to an amateur band. The ground station that communicates with SIGMA is located at Kyung Hee Astronomical Observatory (KHAO). For reliable communication, we carried out a laboratory (LAB) test and far-field tests between the CubeSat and a ground station. In the field test, we considered test parameters such as attenuation, antenna deployment, CubeSat body attitude, and Doppler frequency shift in transmitting commands and receiving data. In this paper, we present a communication performance test of SIGMA, a link budget analysis, and a field test process. We also compare the link budget with the field test results of transmitting commands and receiving data.

• 호남수학학술지
• /
• 제2권1호
• /
• pp.37-44
• /
• 1980

우리는 먼저 Principal G-bundle와 성질을 살피고 representation of G over C를 irreducible CG-space의 direct sum으로 표시하여 Schur's Lemma를 이용하면 E가 임의의 CG-space, ${\sigma}E=Hom_c(E{\sigma},E)$라 할 때 ${\oplus}_{\sigma}(E_{\sigma}{\otimes}{\sigma}E){\rightarrow}E$ 가 G-ismorphism이 됨을 알아본다. 본 논문의 목적은 이러한 결과를 이용하여 K(X)와 $K_G(X)$의 관계를 구명하는데 있다.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제6권1호
• /
• pp.47-52
• /
• 1999

In this note we give a characterization on weak convergence of bounded linear functionals in $\sigma$-complete abstract M spaces.

• East Asian mathematical journal
• /
• 제37권5호
• /
• pp.591-598
• /
• 2021

In this paper we study the Cauchy problem for the Chern-Simons gauged O(3) sigma model. We prove the local existence of solutions with low regularity initial data, observing null forms of the system and applying bilinear estimates for wave-Sobolev space H^{s, b}.

• 천문학회보
• /
• 제39권1호
• /
• pp.54.1-54.1
• /
• 2014

Kyung Hee University has been developing a CubeSat for the space science mission called SIGMA (Scientific cubesat with Instrument for Global Magnetic field and rAdiation), which includes TEPC (Tissue Equivalent Proportional Counter) and a magnetometer. SIGMA has a 3-unit CubeSat, and the weight is about 3.2 kg. The main payload is TEPC which can measure the Linear Energy Transfer (LET) spectrum and calculate the equivalent dose for the complicated radiation field in the space. The magnetometer is a secondary payload using a miniaturized fluxgate magnetometer. We expect it to have a 1 nT resolution in the dynamic range of ${\pm}65535$ nT. An Attitude Control System (ACS) spins the SIGMA spacecraft 4 rpm with the spin axis perpendicular to the ecliptic plane. Full duplex communication is consists of VHF uplink and S-band and UHF downlink. In this paper, we introduce the system design and the scientific purpose of the SIGMA CubeSat mission.