• 대한수학회보
• /
• 제39권1호
• /
• pp.165-174
• /
• 2002

A polynomial if k-fold integer-valued if itself and its derivatives up to order k are integer-valued. Necessary and sufficient conditions are established far (i) polynomials with rational coefficients to be k-fold integer-valued, and for (ii) a quotient of two k-fold integer-valued polynomials to be k-fold integer-valued.

• 정보통신설비학회논문지
• /
• 제5권1호
• /
• pp.1-11
• /
• 2006

Lifting scheme based integer transforms provides very useful properties on the multimedia coding. An integer transform outputs the integer form when the input has integer value. This doesn't produce quantization errors on coding, so integer transforms are adequate to lossless coding, In this paper, we present an integer DCT algorithm which is able to transform audio signal with longer length. Also the proposed method can be easily implemented recursively even though input is long time. We present the method to overcome the poor approximation which is produced by recursive lifting step. And we have applied the proposed integer DCT to lossless audio coding.

• 제어로봇시스템학회논문지
• /
• 제5권1호
• /
• pp.62-68
• /
• 1999

The attitude of a vehicle can be precisely determined using GPS carrier phase measurements from more than two antennas attached to a vehicle and an efficient integer ambiguity resolution technique. Many methods utilizing the known baseline length as a constraint of independent elements of integer ambiguities are proposed to resolve integer ambiguity at real time. Three-dimensional search space is reduced to two-dimensional search space with this constraint. Thus the true integer ambiguity can be easily determined with less computational burden and fewer number of measurements. But there are still strong requirements for the real time integer ambiguity resolution, which uses single epoch measurement of long baseline. In this paper, a new constraint from the geometry of multiple baselines is derived. With this new constraint, two-dimensional search space is further reduced to one-dimensional search space. It makes possible to determine integer ambiguity with single epoch measurement. The proposed method is applied to real data to show its effectiveness.

• East Asian mathematical journal
• /
• 제30권3호
• /
• pp.303-310
• /
• 2014

We study the existence of regular polygons and regular solids whose vertices have integer coordinates in the three dimensional space and study side lengths of such squares, cubes and tetrahedra. We show that except for equilateral triangles, squares and regular hexagons there is no regular polygon whose vertices have integer coordinates. By using this, we show that there is no regular icosahedron and no regular dodecahedron whose vertices have integer coordinates. We characterize side lengths of such squares and cubes. In addition to these results, we prove Ionascu's result [4, Theorem2.2] that every equilateral triangle of side length $\sqrt{2}m$ for a positive integer m whose vertices have integer coordinate can be a face of a regular tetrahedron with vertices having integer coordinates in a different way.

• 한국항공우주학회지
• /
• 제37권7호
• /
• pp.678-684
• /
• 2009

GNSS 반송파 위상 측정치를 사용하는 정밀 측위 혹은 자세결정에서 미지정수의 결정이 반드시 필요하며 많은 연구가 진행되었다. 그러나 한번 구해진 미지정수는 위성 추적상태가 변화하지 않으면 상수로 계속 사용할 수 있으므로 미지정수 검색과정을 통하지 않고 이미 구해진 미지정수를 사용할 수 있다. 본 논문에서는 ARCE를 변형하여 한번 구해진 미지정수와 새로운 측정치를 이용하여 환경 변화에서도 미지정수를 재구성할 수 있는 미지정수 전파기법을 제안하였다. 초기 미지정수는 LAMBDA로 구하며 신뢰도 향상을 위하여 여러 epoch 동안 연속해서 비율검사를 통과한 미지정수를 사용한다. 한번 구해진 미지정수는 위성의 배치, 위성 신호의 단락 등의 변화에도 미지정수 검색기법을 통하지 않고 제안한 기법을 사용하여 계속 유지될 수 있다. 이로 인하여 미지정수 결정의 성공률이 향상되며 계산량이 감소되는 효과를 얻을 수 있다. 실제 측정치를 이용한 실험으로 제안한 방법은 효과적인 방법임을 확인하였다.

• Journal of Positioning, Navigation, and Timing
• /
• 제7권4호
• /
• pp.235-243
• /
• 2018

Conventional Real Time Kinematics (RTK) collect measurements in stationary state for several minutes to resolve the integer ambiguity in the carrier phase measurement or resolve the integer ambiguity on the move assuming low maneuvering movement. In this paper, an On The Move-RTK (OTM-RTK) technique that resolves the integer ambiguity on the move for fast and precise positioning of ground vehicles such as high maneuvering vehicles was proposed. The OTM-RTK estimates the precise amount of movement between epochs using the carrier phase measurements acquired on the move, and by using this, resolves the integer ambiguity within a short period of time by evaluating the integer ambiguity candidates for each epoch. This study analyzed the integer ambiguity resolution performance using field driving experiment data in order to verify the performance of the proposed method. The results of the experiment showed that the precise trajectory including the initial position bias can be obtained prior to resolving the integer ambiguity, and after resolving the integer ambiguity on the move, it was possible to obtain the bias-corrected precise position solution. It was confirmed that the integer ambiguity can be resolved by collecting measurements of about 10 epochs from the moving vehicle using a dual frequency receiver.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2008년도 심포지엄 논문집 정보 및 제어부문
• /
• pp.91-92
• /
• 2008

본 논문에서는 기존의 H.264/AVC의 spatial 영역에서 Intra prediction 기법과 달리 H.264/AVC에서 사용하는 Integer DCT 영역에서 Intra prediction 기법을 제안한다. 이를 위하여 Integer DCT 영역에서 Intra prediction을 수행하는 모든 과정을 matrix multiplication으로 표현하여 Intra prediction을 수행하는 matrix를 유도한다. Intra prediction을 수행하는 matrix를 각 모드에 알맞게 설계하고, 이 matrix를 Integer DCT 영역에서 사용할 수 있도록 orthogonal한 Integer matrix를 설계한다. 실험을 통하여 제안한 Integer DCT 영역에서 Intra prediction 기법이 기존의 H.264/AVC의 spatial 영역에서 intra prediction 기법과 성능이 동일하면서 어떻게 matrix multiplication에 연산들을 포함시켜서 단순화 할 수 있는지를 보여주겠다. 또한 H.264/AVC에서 제공하는 intra prediction 각 모드에 대해 계산상 복잡도를 분석하였다.

• 제어로봇시스템학회논문지
• /
• 제6권8호
• /
• pp.719-726
• /
• 2000

A real-time precise positioning is possible with GPS carrier phase measurements with efficient integer ambiguity resolution techniques. It is known that more reliable and fast integer ambiguity resolution is possi-ble as the number of measurements increases. Most precise positioning systems use dual frequency measurements and the wide-lnae technique to resolve integer ambiguity. The wide-lane technique magnifies the measurement noise while it reduces the number of candidates to be examined. In this paper a new integer ambiguity resolution method using dual frequency is proposed The proposed method utilizes the relationship between the wide-lane single frequency and the narrow-lane ambiguities to resolve narrow-lane integer ambiguity after fixing the wide-lane integer ambiguity. Experiments with real data show that the proposed method gives fast and reliable results.

• 한국정보기술응용학회:학술대회논문집
• /
• 한국정보기술응용학회 2005년도 6th 2005 International Conference on Computers, Communications and System
• /
• pp.255-258
• /
• 2005

A blind-mode integer frequency offset estimation algorithm is proposed for an OFDM system. Imperfect integer frequency offset estimation causes ambiguity in the data sub-carrier position. Morelli's blind integer frequency offiet estimation algorithm exploits the likelihood function by comparing the power in sub-carriers. It, however, shows performance degradation when there is the fractional frequency offset. The proposed algorithm solves this by using interpolation in the frequency domain. In this algorithm, it is exploited that the effect of the frequency offset is shown as a shift of power spectrum. By calculating the covariance of over-sampled samples, most approximate samples to integer point are obtained. It enables integer frequency offset estimation less affected by fractional frequency offset.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2003년도 하계종합학술대회 논문집 Ⅳ
• /
• pp.2072-2075
• /
• 2003

This paper is studied the high speed processing moving picture encodec to compress and encode a moving picture by real time. This is used the new motion vector search algorithm with smallest search point in H.263 encodec, and is applied the integer DCT for the encodec by converting a moving picture. The integer DCT behaves DCT by the addition operation of the integer using WHT and a integer lifting than conventional DCT that needs the multiplication operation of a floating point number. Therefore, the integer DCT can reduce the operation amount than basis DCT with having an equal PSNR because the multiplication operation of a floating point number does not need.