• 대한수학회논문집
• /
• 제36권3호
• /
• pp.401-411
• /
• 2021

A Diophantine m-tuple is a set {a₁, a₂, …, a_m} of positive integers such that a_ia_j+1 is a perfect square for all 1 ≤ i < j ≤ m. Let E_k be the elliptic curve induced by Diophantine triple {F_2k, 5F_2k+2, 3F_2k + 7F_2k+2}. In this paper, we find the structure of a torsion group of E_k, and find all integer points on E_k under assumption that rank(E_k(ℚ)) = 1 and some further conditions.

• 한국군사과학기술학회지
• /
• 제2권1호
• /
• pp.139-149
• /
• 1999

본 논문에서는 몸체진동에 의하여 Lock-in을 보상해주는 링레이저 자이로의 환산계수 오차와 불규칙잡음 특성을 시뮬레이션에 의해서 예측하였다. 그리고 그 결과를 약 0.5deg/sec의 static Lock-in을 갖는 28cm인 4각형 링레이저 자이로에 대한 정적시험 결과와 비교하였다. 진폭이 일정한 정현파 몸체진동을 인가하는 경우에 자이로의 출력 펄스가 몸체진동 진동수의 정수배가 되는 지점에서 주기적으로 dynamic Lock-in이 발생한다. Dynamic Lock-in의 폭은 몸체진동의 진폭에 따라서 변화하는데, 입력가속도가 몸체진동 진동수의 짝수배 지점과 홀수배 지점에서 나타나는 dynamic Lock-in의 폭은 180도 위상차이를 가짐을 알 수 있었다. 그리고 dynamic Lock-in을 보상해주기 위하여 불규칙진동을 추가로 인가하는데 이 불규칙성이 작으면 dynamic Lock-in에 의한 환산계수 오차가 제거되지 않으며, 불규칙성이 커지면 환산계수 오차는 줄어들지만 불규칙 잡음이 상대적으로 커짐을 알 수 있었다. 그리고 불규칙 잡음은 몸체진동의 진폭이 클수록 작아짐을 확인하였다.

• 대한토목학회논문집
• /
• 제33권6호
• /
• pp.2601-2610
• /
• 2013

정밀단독측위(PPP)의 정확도에 영향을 주는 주요변수는 위성궤도력의 정확도, 위성시계오차, 관측자 환경에 종속된 오차(전리층 및 대기층 지연, multipath, tides 등) 및 이들과 관련한 모호정수의 해석 문제 등이다. 따라서 정밀단독측위의 정확도를 향상시키기 위해서는 여러 주파수의 GNSS 관측 자료에 정밀한 위성궤도 및 시계 보정정보와 관측자에 종속된 보정정보를 적용하여 전리층지연 및 모호정수를 실시간 해석해야 한다. 현재, 지역 및 광역 실시간 GNSS 관측망으로 부터 정밀 보정정보를 제공하는 여러 해석센터가 있다. 본 연구는 지역 또는 광역 GNSS 관측망의 해석센터들로부터 산출된 RTCM 보정정보를 NTRIP으로 수신하여 실시간으로 검사점에 개별 및 조합 적용하고 표준단독측위(SPP) 및 다양한 보정정보의 적용에 따른 정밀단독측위의 정확도를 시간대별로 비교 분석하여 GNSS위성에 의한 실시간 절대측위의 정확도를 검토하였다.

• 한국통신학회논문지
• /
• 제37B권12호
• /
• pp.1102-1112
• /
• 2012

스마트폰의 급격한 보급에 따른 무선 접속망의 과부하 문제가 네트워크에서 중요한 문제로 부각되고 있다. 이 논문에서는 매크로 셀, 펨토 셀, 와이파이 접속망으로 다양하게 구성되어 있는 현재 이종 네트워크에서 접속망 과부하 문제를 해결하기 위한 최적의 셀 선정 기법과 리소스 할당 기법을 제안한다. 주어진 현재 서비스 부하 상태에서 네트워크가 동시에 추가 수용할 수 있는 사용자 수를 최대화할 수 있는 사용자-셀 간의 선정 기법을 제공한다. 이를 위해 이종 무선 접속망에서의 셀 선정 문제를 이진 정수계획 모형으로 최적화 문제를 수립하고, 이를 최적화 해법 도구를 이용하여 접속망 과부하를 억제할 수 있는 최적의 셀 선정 기법을 도출한다. 네트워크 레벨 시뮬레이션을 통해 이 논문에서 제안된 기법이 현재 무선 접속망에서 주로 사용되고 있는 국소적 셀 선정기법에 비해, 과부하가 걸린 무선 접속망에서 주어진 여러 셀들을 최대한 균등하게 효율적으로 활용함으로써 현저하게 네트워크 접속 장애율을 감소시킬 수 있음을 보인다. 또한 논문에서 사용된 이진 정수계획 모형의 최적화 문제를 푸는 데 소요되는 계산 복잡도에 대한 실험을 통해 제안된 알고리즘의 실용 가능성에 대해서 검증한다.

• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제21권1호
• /
• pp.94-99
• /
• 2015

비모수 베이스 통계학, 확률적 표집에 기반한 추론 등이 기계학습의 주요 패러다임으로 등장하면서 디리슐레(Dirichlet) 분포는 최근 다양한 그래프 모형 곳곳에 등장하고 있다. 디리슐레 분포는 일변수 감마 분포를 벡터 분포로 확장한 형태의 하나이다. 본 논문에서는 감마 분포를 갖는 임의의 자연수 X를 K개의 자연수의 합으로 임의 분할 할 때 각 부분의 크기 비율을 디리슐레 분포에서 표집하는 방법을 제안한다. 일반적으로 디리슐레 분포는 연속적인 (K-1)-단체(simplex) 위에 정의 되지만 자연수로 분할하는 표본은 자연수라는 조건 때문에 단체 내부의 이산 그리드 점에만 정의된다. 본 논문에서는 단체 위의 그리드 상의 이웃 점들의 확률 분포로부터 마르코프연쇄 몬테 칼로(MCMC) 제안 분포를 정의하고 일련의 표본들의 마르코프 연쇄를 구현하는 알고리듬을 제안한다. 본 방법은 마르코프 모델, HMM 및 준-HMM 등에서 각 상태별 시간 지속 분포를 표현하는데 활용 가능하다. 나아가 최근 제안된 전역-지역(global-local) 상태지속 분포를 동시에 모형화하는 감마-디리슐레 HMM에도 응용가능하다.

• 방송공학회논문지
• /
• 제13권5호
• /
• pp.732-743
• /
• 2008

본 논문은 H.264/AVC가 이전의 비디오 코덱에서 사용하는 8$\times$8 변환이 아닌 4$\times$4 변환을 도입하면서 인트라 및 인터 예측 성능을 높인 반면 공간적 압축도가 낮은 점을 개선하기 위한 다차원 변환 방법을 제안한다. 다차원 변환 방법은 H.264/AVC가 갖는 시간적 예측의 장점과 공간적 압축도를 동시에 충족시킬 수 있는 방법이다. 먼저 실험을 통해 다차원 DCT가 H.264/AVC의 2차원 정수 변환(Integer Transform)보다 에너지 압축율이 높다는 것을 보였다. 다차원 DCT를 위한 정수형 변환과 양자화기를 설계하였으며, H.264에서 사용하는 컨텍스트 기반 적응 가변 길이 코딩 (CAVLC)을 엔트로피 코더로 사용하여 다차원 부호화기를 설계하였다. 다차원 부호화기에는 다차원 변환에 따른 블록 주사 방식과 파라미터 갱신, 다차원 변환 모드 선택 등의 도구가 적용되었다. 실험 결과, 다차원 부호화기는 낮은 비트율에서 H.264/AVC와 유사한 압축 효율을 보였지만, 엔트로피와 0이 아닌 계수를 계산하여 비교한 통계적 성능 비교에서는 높은 성능을 보였다. 따라서, 다차원 부호화에 대한 추가적인 연구가 진행된다면 기존의 H.264/AVC의 성능을 보완할 수 있는 부호화 알고리즘으로서 발전할 수 있을 것이다.

• 대한수학회논문집
• /
• 제25권4호
• /
• pp.557-569
• /
• 2010

Suppose that n is a positive integer. For any real number $\alpha$($\beta$ resp.) with $\alpha$ < 1 ($\beta$ > 1 resp.), let $K^{(n)}(\alpha)$ ($K^{(n)}(\beta)$ resp.) be the class of analytic functions in the unit disk $\mathbb{D}$ with f(0) = f'(0) = $\cdots$ = $f^{(n-1)}(0)$ = $f^{(n)}(0)-1\;=\;0$, Re($\frac{zf^{n+1}(z)}{f^{(n)}(z)}+1$) > $\alpha$ (Re($\frac{zf^{n+1}(z)}{f^{(n)}(z)}+1$) < $\beta$ resp.) in $\mathbb{D}$, and for any ${\lambda}\;{\in}\;\bar{\mathbb{D}}$, let $K^{(n)}({\alpha},\;{\lambda})$ $K^{(n)}({\beta},\;{\lambda})$ resp.) denote a subclass of $K^{(n)}(\alpha)$ ($K^{(n)}(\beta)$ resp.) whose elements satisfy some condition about derivatives. For any fixed $z_0\;{\in}\;\mathbb{D}$, we shall determine the two regions of variability $V^{(n)}(z_0,\;{\alpha})$, ($V^{(n)}(z_0,\;{\beta})$ resp.) and $V^{(n)}(z_0,\;{\alpha},\;{\lambda})$ ($V^{(n)}(z_0,\;{\beta},\;{\lambda})$ resp.). Also we shall determine the extreme points of the families of analytic functions which satisfy $f(\mathbb{D})\;{\subset}\;V^{(n)}(z_0,\;{\alpha})$ ($f(\mathbb{D})\;{\subset}\;V^{(n)}(z_0,\;{\beta})$ resp.) when f ranges over the classes $K^{(n)}(\alpha)$ ($K^{(n)(\beta)$ resp.) and $K^{(n)}({\alpha},\;{\lambda})$ ($K^{(n)}({\beta},\;{\lambda})$ resp.), respectively.

• 산업경영시스템학회지
• /
• 제43권4호
• /
• pp.67-75
• /
• 2020

This paper proposes a methodology for gantry route optimization in order to maximize the productivity of a odd-type surface mount device (SMD). A odd-type SMD is a machine that uses a gantry to mount electronic components on the placement point of a printed circuit board (PCB). The gantry needs a nozzle to move its electronic components. There is a suitability between the nozzle and the electronic component, and the mounting speed varies depending on the suitability. When it is difficult for the nozzle to adsorb electronic components, nozzle exchange is performed, and nozzle exchange takes a certain amount of time. The gantry route optimization problem is divided into the mounting order on PCB and the allocation of nozzles and electronic components to the gantry. Nozzle and electronic component allocation minimized the time incurred by nozzle exchange and nozzle-to-electronic component compatibility by using an mixed integer programming method. Sequence of mounting points on PCB minimizes travel time by using the branch-and-price method. Experimental data was made by randomly picking the location of the mounting point on a PCB of 800mm in width and 800mm in length. The number of mounting points is divided into 25, 50, 75, and 100, and experiments are conducted according to the number of types of electronic components, number of nozzle types, and suitability between nozzles and electronic components, respectively. Because the experimental data are random, the calculation time is not constant, but it is confirmed that the gantry route is found within a reasonable time.

• 전자공학회논문지CI
• /
• 제42권3호
• /
• pp.39-52
• /
• 2005

본 논문에서는 실내환경의 3차원 복원을 위해 다시점 카메라부터 획득된 부분적인 3차원 점군에 대한 정합 기법을 제안한다. 일반적으로, 기존의 정합 방법들은 많은 계산량을 요하며, 정합하는데 많은 시간이 소요된다 또한, 상대적으로 정밀도가 낮은 3차원 점군에 대해서는 정합이 어렵다. 이러한 문제점을 해결하기 위해 투영 기반 정합 방법을 제안한다. 첫 번째, 시간적 특성을 기반으로 변화량이 큰 3차원 점들을 제거하고, 공간적 특성을 이용하여 현재 화소의 주변 3차원 점을 참조하여 빈 영역을 채움으로써 깊이 영상 정제 과정을 수행한다. 두 번째, 연속된 두 장면에서의 3차원 점군을 동일한 영상 평면으로 투영하고, 두 단계 정수 매핑을 적용한 후 수정된 KLT (Kanade-Lucas-Tomasi) 특징 추적기를 사용해 대응점을 찾는다. 그리고 적응적 탐색 영역에 기반하여 거리 오차를 최소화함으로써 정밀한 정합을 수행한다. 마지막으로, 대응되는 점들에 대한 색을 참조하여 최종적인 색을 계산하고, 위의 과정을 연속된 장면에 적용함으로써 실내환경을 복원한다. 제안된 방법은 대응점을 2차원 영상 평면에서 찾음으로써 계산의 복잡도를 줄이며, 3차원 데이터의 정밀도가 낮은 경우에도 정합이 효과적이다. 또한, 다시점 카메라를 이용함으로써 몇 장면에 대한 색과 깊이 영상만으로도 실내환경의 3차원 복원이 가능하다.

• Journal of Positioning, Navigation, and Timing
• /
• 제5권4호
• /
• pp.221-233
• /
• 2016

This paper deals with performance assessment of the kinematic network-based GPS positioning technique with a view to using it for ellipsoidally referenced bathymetric surveys. To this end, two field trials were carried out on a land vehicle and a surveying vessel. Single-frequency GPS data acquired from these tests were processed by an in-house software which equips the network modeling algorithm with instantaneous ambiguity resolution procedure. The results reveals that ambiguity success rate based on the network model is mostly higher than 99.0%, which is superior to that of the single-baseline model. In addition, achievable accuracy of the technique was accessed at ${\pm}1.6cm$ and 2.7 cm with 95% confidence level in horizontal and vertical component respectively. From bathymetric survey at the West Nakdong River in Busan, Korea, 3-D coordinates of 2,011 points on its bed were computed by using GPS-derived coordinates, attitude, measured depth and geoid undulation. Note that their vertical coordinates are aligned to the geoid, the so-called orthometric height which is widely adopted in river engineering. Bathymetry was constructed by interpolating the coordinate set, and some discussion on its benefit was given at the end.