• Journal of Industrial Technology
• /
• 제18권
• /
• pp.69-76
• /
• 1998

이 논문에서는 Dirichlet 경계 조건을 갖는 비선형 빔방정식 $u_{tt}+u_{xxxx}+g(u)=f(x,t)$의 해의 존재에 대한 연구를 하였다. 이 때 $g(u)=bu^+-au^-$으로 나타나고 우변의 외력항이 고유함수 $\{{\phi}_{00},{\phi}_{41}\}$로 확장된 함수로 나타날 때 $c_1{\phi}_{00}+c_2{\phi}_{41}$가 포함될 수 있는 원뿔형 공간을 만들고 사상을 정의하였고 이 사상의 역(逆)사상의 해의 존재여부에 따라서 빔방정식의 존재하는 해의 개수를 찾는데 이용하였다.

• Journal of Industrial Technology
• /
• 제18권
• /
• pp.61-67
• /
• 1998

이 논문에서는 Diruchlet 경계 조건을 갖는 비선형 타원형 방정식 $-{\Delta}u+g(u)=f(x)$의 해의 존재에 대한 연구를 하였다. 존재하는 해의 다중성을 증명하기 위하여 임계점 이론과 롤의 정리를 사용하였으며, 대응되는 범함수에 따라서 방정식의 해와 임계점이 동시에 나타난다는 정리를 이용하였다. 이 때 $g(u)=bu^+-au^-$으로 나타날 때 외력항 (방정식의 우변)의 상수로 주어지는 경우 적어도 두 개의 해가 존재한다는 것을 증명하였다. 만약 우변(외력항)의 상수가 음수이거나 0인 경우이 방정식의 해가 존재하지 않거나 자명한 해만 존재하기 때문에 상수는 양수인 것으로 가정하였다.

• Journal of the Korea Concrete Institute
• /
• 제17권6호
• /
• pp.939-946
• /
• 2005

The stiffness properties of heterogeneous concrete materials and their degradation were investigated at different-levels of observations with aids of the opportunities and limitations of multi-resolution wavelet analysis. The successive Haw transformations lead to a recursive separation of the stiffness properties and the response into coarse-and fine-scale features. In the limit, this recursive process results in a homogenization parameter which is an average measure of stiffness and strain energy capacity at the coarse scale. The basic concept of multi-resolution analysis is illustrated with one and two-dimensional model problems of a two-phase particulate composite representative of the morphology of concrete materials. The computational studies include the meso-structural features of concrete in the form of a hi-material system of aggregate particles which are immersed in a hardened cement paste taking due to account of the mismatch of the two elastic constituents.

• Journal of KIISE:Software and Applications
• /
• 제26권6호
• /
• pp.763-779
• /
• 1999

공간 조인을 위한 공간 색인은 단일할당 방식과 다중할당 방식으로 구분한다. 단일할당 공간색인은 하나의 공간색채를 단 하나의 노드에만 할당하고, 다중할당은 하나의 객체를 여러 노드에 할당하는 공간 색인으로서 R-tree 가 전자에 해당하고, Quad-tree가 후자에 해당한다. 지금까지 단일 할당과 다중 할당 공간 색인에서의 공간조인에 대한 직접적인 성능 비교 평가가 거의 없다. 왜냐하면 각 공간 색인의 구조가다르고 적용할 수 있는 공간 조인 기법 또한 전혀 달라 정확한 성능 평가가 매우 어렵기 때문이다. 그래서 이 논문에서는 고정 그리드 파일을 변형하여 다중 할당 공간 색인과 단일 할당 공간 색인을 각각 구성한 뒤 두 공간 색인의 병렬 공간 조인 성능을 평가하였다. 평가를 위해 4가지 병렬공간조인기법을 제안하였다. 그리고 태스크 할당을 위해 태스크의 크기와 객체의 공간 지역성을 이용한 준동적 태스크 할당 방법을 제안하였다. 실험은 MIMD 구조 및 공유디스크 방식의 병렬 시스템에서 수행되었고, 여과 단계 후 중복을 제거하는 다중할당-단일조인 방식이 우수함을 보였다.

• The Bulletin of The Korean Astronomical Society
• /
• 제37권2호
• /
• pp.157.1-157.1
• /
• 2012

1990년대 제안된 RTK(Real-Time Kinematics)는 GNSS/GPS 반송파 위상(carrier phase) 관측값을 이용한 방식으로 cm 수준의 정확도를 실시간으로 산출할 수 있어 측지 측량 등 다양한 분야에서 활용되고 있다. 그러나 한 가지 중요한 단점은 이 방식을 사용하는 기준국과 사용자는 10~20km 이내에 존재해야만 빠르고 신뢰할 수 있는 해를 산출할 수 있다는 점이다. 이는 궤도오차, 대류층 및 전리층 오차에 공간 상관성(spatially correlated) 있기 때문인데, 사용자 주변을 둘러싼 다중 기준국들의 측정치를 조합하여 보상하거나 모델링하여 줄이는 방식인 다중 기준국 네트워크 기반의 RTK 알고리즘이 제안되어 사용되고 있다. 다중 기준국 네트워크 기반의 RTK 프로세스에서 기준국간 미지정수 결정은 전 과정의 핵심 프로세스라고 할 수 있으며, 관련되어 많은 기술들이 제안되고 연구되어 왔다. 특히, 1980년대 말부터 현재까지 후처리 기반으로 꾸준하게 연구되고 있는 Blewitt에 의해 전리층 제거 조합과 Wide-lane 반송파 위상 조합을 활용한 미지정수 검색 방법이 대표적이며 이후에도 Gao, Colombo등 다양한 연구자에 의해 활용되었다. 이 연구에서는 실시간으로 다중 기준국 반송파 미지정수를 결정하는 기술에 대한 연구를 수행하였다. L1, L2 관측값 조합으로 인한 관측값의 잡음 수준이 증가하는 영향을 피하기 위해 L1, L2 반송파 위상 및 의사거리를 그대로 관측값으로 사용하여 사용자 위치 및 속도, 기준국간 이중 차분된 전리층 지연 수직성분, 대류층 wet 지연 수직 성분, 이중 차분된 미지정수를 미지의 상태변수로 확장 칼만필터를 통해 직접적으로 추정하는 방식으로 미지정수의 실수해를 결정하였고, 정수해는 실시간에 적합한 MLAMBDA 기법과 비율테스트를 통한 정수해 검정기법을 통해 결정하였다.

• Journal for History of Mathematics
• /
• 제18권2호
• /
• pp.107-116
• /
• 2005

A suspension bridge is an example of a nonlinear dynamical system, especially systems with the so called jumping nonlinearity. The fact that we deal with a serious and topical problem is demonstrated for example by the collapse of the Tacoma Narrow suspension bridge. So it would be very contributive to determine under what conditions a similar situation cannot occur and find out safe parameters of the bridge construction. In this paper, we show various possibilities how to model the behaviour of suspension bridge. Then we introduce our own results concerning existence and uniqueness of time-periodic solutions.

• Proceedings of the Korea Society for Simulation Conference
• /
• 한국시뮬레이션학회 1998년도 추계학술대회 및 정기총회
• /
• pp.86-89
• /
• 1998

본 논문은 발표된 Elmore 지연 모델에 속하는 다중 소오스를 가진 네트의 최적화 배선 크기 문제를 연구했다. 소오스 서브트리(SST)에 있는 네트와 로딩 서브트리의 세트(LSTs)로 분석한다. 그리고 LST 분리성, LST 단순한 특성, SST 국부적으로 단순한 특성과 일반적으로 우월한 특성을 포함하는 특성의 수를 만족하는 최적 배선 크기 해를 보여준다. 더구나 모든 이전의 연구와 번들로 개선된 특성의 안정된 것보다도 다양한 에지 분할을 사용해 최적의 배선크기 문제를 연구하였으며 이들 특성은 최적의 해를 계산하는데 효과적인 알고리즘을 유도한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (1)
• /
• pp.241-243
• /
• 2004

실제 응용에서 제기되는 많은 최적화 문제는 실제로 여러 개의 목적함수를 가진 최적화 문제로 분류될 수 있다. 이러한 다중 목적함수 최적화 문제에 적용되온 방법 중에서 다중 목적함수 진화 알고리즘은 해집합을 이용한다는 특성 및 목적함수 처리의 용이성 때문에 많은 연구가 이루어지고 있다. 본 논문에서는 대표적인 다중 목적함수 진화 알고리즘이라 할 수 있는 입실론-다중 목적함수에 대하여 다양한 최적화 문제에 대하여 실험적으로 비교 분석해 보았다.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• 제31권2호
• /
• pp.71-78
• /
• 2018

This paper presents the assembling of multiple patches based on the single patch isogeometric formulation for the shear deformable shell element given in the previous study. The geometrically exact shell formulation has been accomplished with the shell theory based formulation and the generalized curvilinear coordinate system directly derived from the given NURBS geometry. For the knot elements matching across adjacent surfaces, the zero-th and first parametric continuity conditions are considered and the corresponding coupling constraints are implemented by a master-slave formulation between adjacent patches. The constraints are then enforced by a substitution method for condensation of the slave variables, thereby reducing the model size. Through numerical investigations, the important features of the first parametric continuity condition are confirmed. The performance of the multi-patch shell models is also examined comparing the rate of convergence of response coefficients for the zero and first order continuity conditions and continuity in coupling boundary between two patches is confirmed.

• ICROS
• /
• 제19권1호
• /
• pp.19-31
• /
• 2013

본 고는 국내외의 지형참조항법시스템 관련 기술의 발전 동향을 살펴보고자 한다. 지형참조항법은 국외에서 1940년대부터 그 필요성이 대두된 학문으로 잠수정, 군용 전투기 등 다양한 분야에서 주로 군사목적으로 연구가 진행되었다. 1950년 ATRAN의 개발을 시작으로 1990년대 PTAN 지형참조항법기술까지 발전되어 무인기뿐만 아닌 Tomahawk 같은 유도무기에도 그 활용 범위를 넓혀가고 있다. 하지만 하드웨어적인 제약과 GPS의 발달로 관련 연구가 주춤하였으나 컴퓨터 기술의 발달, 지형측정센서의 정확도 향상과 더불어 GPS 교란 가능성 등이 부각되면서 최근 다시 관성항법시스템(INS)을 보조하는 대체 항법으로서 주목받고 있다. 주로 다중 측정치를 이용하는 방법과 비선형 필터를 이용하여 항법해 성능을 향상시키거나 병렬 다중필터를 이용하여 항법해의 신뢰성을 향상시키는 방향으로 연구가 진행 중이다. 그리고 다양한 지구물리데이터와 통합한 데이터베이스기반 복합항법 기술로 발전하고 있다.