• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.04b
• /
• pp.933-936
• /
• 2001

공간데이터베이스 시스템에서 데이터베이스의 일관성 유지를 위해 의미적 무결성을 지원해야 한다. 예를 들어, 실세계의 구경계 레이어에서 공간 객체인 구는 주위의 구들과 항상 접해 있어야만 하는 상접 (Meet)한 성질과 두개 이상의 다른 구가 동일한 이름을 가질 수 없는 성질을 가진다. 이 성질은 실세계에서 묵시적으로 인지되는 개념이다. 따라서 공간객체의 갱신으로 인해 레이어에 대한 묵시적인 개념이 위배될 경우 무결성 유지가 필요하다. 본 논문에서는 이 레이어에 대한 공간 객체의 무결성을 유지하기 위한 능동적 공간 연산 트리거를 제안한다. 제안한 기법은 레이어에 대한 무결성 제약조건이 위배될 때 수행되며, 동일 레이어에 대한 공간과 비공간 데이터 트리거로 나누어 수행되고, 다른 레이어에 대한 비공간 데이터 트리거를 수행하는 기법이다. 동일한 레이어에 대한 능동적 공간 연산 트리거는 공간객체인 공간 비공간 데이터에 대한 각각 또는 모두에 대한 갱신인지를 구분하여 공간 데이터에 대한 트리거 수행단계와 비공간 데이터에 대한 트리거의 수행단계로 나누어 수행 전략를 결정하여 수행되고, 마지막으로 다른 레이어에 대한 비공간 데이터에 대한 트리거를 수행한다. 능동적 공간 연산 트리거는 상접성을 유지해야 하는 공간 객체들의 의미적 무결성을 위해 각각의 공간과 비공간 데이터에 대하여 3 단계 수행으로 공간 객체에 대한 의미적 무결성 유지와 자동 보정으로 사용자 편의성을 제공한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.48-50
• /
• 1999

본 논문은 공간데이터와 비공간데이터를 통합처리하는 공간 데이터베이스 시스템에서 데이터의 의미적 무결성을 보장하는 확장된 공간 데이터 모델을 설계한다. 공간 데이터베이스 시스템에서 다루는 단순 객체가 아닌 추상화된 복합 객체로 다양한 유도 데이터에 대한 의미적 무결성을 데이터베이스 시스템 내부에서 효율적으로 유지해야 하며, 공간 데이터의 의미적 무결성 제약 조건을 사용자에 의해 정의할 수 있어야 한다. 본 논문에서는 공간 데이터베이스에서 사용하는 공간 데이터에 대한 무결성 정보를 술어 논리 형태로 표현하고 유지할 수 있는 무결성 공간 데이터 모델 (ISRDM: Integrity supported Spatial-Relational Data Model)을 제안한다. 제안된 공간 데이터 모델은 하부 단계 저장 구조, 개념적 데이터 표현 단계, 무결성 표현 단계가 독립적으로 구성되는 다단계 구조로 기존의 공간 데이터베이스 시스템을 용이하게 확장하고 다양한 응용 요구에 대해 유연하게 대처할 수 있도록 설계한다.

• Journal of Korean Society of Steel Construction
• /
• v.16 no.1 s.68
• /
• pp.123-134
• /
• 2004

In this research, a multilevel decomposition technique to enhance the efficiency of the configuration optimization of truss structures was proposed. On the first level, the nonlinear programming problem was formulated considering cross-sectional areas as design variables, weight, or volume as objective function and behavior under multiloading condition as design constraint. Said nonlinear programming problem was transformed into a sequential linear programming problem. which was effective in calculation through the approximation of member forces using behavior space approach. Such approach has proven to be efficient in sensitivity analysis and different form existing shape optimization studies. The modified method of feasible direction (MMFD) was used for the optimization process. On the second level, by treating only shape design variables, the optimum problem was transformed into and unconstrained optimal design problem. A unidirectional search technique was used. As numerical examples, some truss structures were applied to illustrate the applicability. and validity of the formulated algorithm.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.9 no.1
• /
• pp.33-40
• /
• 1989

In the design of reinforced concrete framed structures, which consist of various design variables, the objective and the constraint functions are formulated in complicated forms. Usually iterative methods have been used to optimize the design variables. In this paper, multilevel formulation is adopted, and design variables are selected in reduced numbers at each level, to reduce the iterative cycle and to accelerate the convergence rate. At level 1, elastic analysis is performed to get the upper and lower bounds of the redistributed design moments due to inelastic behavior of the frame. Then the design moments are taken as design variables and optimized at level 2, and the sizing variables are optimized at level 3. The optimization of redistributed moments is performed using the design sensitivity obtained at the level 2, and force approximation technique is used to reflect the variation of design variables in the lower level to the upper level. The design variables are selected in reduced numbers at each level, and the optimization formulation is simplified effectively. A cost function is taken as the objective function, and the constraints of the stress of the structures are derived from BSI CP 110 following limit state theory. Numerical examples are included to prove the effectiveness of the developed algorithm.

• The Journal of the Acoustical Society of Korea
• /
• v.38 no.2
• /
• pp.168-176
• /
• 2019

When an array receives a signal with a frequency higher than the design frequency, there is an ambiguity in beamforming due to spatial aliasing. In order to overcome this problem, Abadi proposed frequency-difference beamforming. However, there is a constraint that the minimum frequency bandwidth is required according to the value of the difference frequency. In this paper, we propose a method to find the direction of the target signal with spatial aliasing based on the frequency-wavenumber spectrum combined with Radon transform. The proposed method can estimate the direction of the target without ambiguities when the signal has nonnegligible bandwidth. We tested the algorithm by simulating a broadband signal and verified the results with the frequency-difference beamforming method using SAVEX15 (Shallow Water Acoustic Variability EXperiment 2015)'s shrimp noise data.

• Journal of Korean Society for Geospatial Information Science
• /
• v.8 no.1 s.15
• /
• pp.51-63
• /
• 2000

Dynamic traffic assignment(DTA) has been a topic of substantial research during the past decade. While DTA is gradually maturing, many aspects of DTA still need improvement, especially regarding its formulation and solution algerian Recently, with its promise for In(Intelligent Transportation System) and GIS(Geographic Information System) applications, DTA have received increasing attention. This potential also implies higher requirement for DTA modeling, especially regarding its solution efficiency for real-time implementation. But DTA have many mathematical difficulties in searching process due to the complexity of spatial and temporal variables. Although many solution algorithms have been studied, conventional methods cannot iud the solution in case that objective function or constraints is not convex. In this paper, the genetic algorithm to find the solution of DTA is applied and the Merchant-Nemhauser model is used as DTA model because it has a nonconvex constraint set. To handle the nonconvex constraint set the GENOCOP III system which is a kind of the genetic algorithm is used in this study. Results for the sample network have been compared with the results of conventional method.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2015.07a
• /
• pp.497-498
• /
• 2015

영상을 취득한 후 다양한 응용프로그램으로 확장이 가능한 4 차원 light field 영상은 일반적인 2 차원 공간 (spatial) 영역과 추가적인 2 차원 각 (angular) 영역으로 구성된다. 그러나 이러한 4 차원 light field 영상을 2 차원 CMOS 센서로 취득하므로 이에 따른 해상도 제약이 존재한다. 본 논문에서는 이러한 4 차원 light field 영상이 가지는 해상도 제약 조건을 해결하기 위하여, 4 차원 light field 영상에 적합한 학습 기반 (learning-based) 초해상도 (superresolution) 알고리즘을 제안한다. 제안하는 알고리즘은 공간영역 해상도 그리고 각영역의 해상도를 각각 2 배 향상시킨다. 실험에 사용되는 영상은 상용 light field 카메라인 Lytro 에서 취득하며, 기존의 선형 보간 기법인 bicubic 기법과의 비교를 통해 제안하는 기법의 우수성을 검증한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04b
• /
• pp.595-597
• /
• 2004

본 연구에서는 베이지안망을 기초로 불임환자의 임상 데이터에 대한 다양한 실험을 전개한다. 실험을 통해 임신여부에 영향을 주는 요인들간의 상호 의존성을 분석하고. 또 제약조건이 다른 다양한 베이지안망의 대표적 유형으로 나이브 베이지안망(NBN), 베이지안망으로 확장한 나이브 베이지안망(BAN), 일반 베이지안앙(GBN) 분류기들의 분류성능을 서로 비교 분석한다. 베이지안망을 적응할 때 변수의 수가 많아짐에 따라 베이지안망의 구조를 학습하는데 탐색공간이 넓어져 시간의 요구량이 급격히 많아진다. 따라서 이런 탐색공간을 효율적으로 줄이기 위하여 클래스 노드의 Markov blanket에 속한 특징들로 집합을 축소하는 것을 제안하고, 실험을 통해 이 특징 축소 방법이 베이지안망 분류기들의 성능을 높여 줄 수 있는지 알아본다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.04a
• /
• pp.25-26
• /
• 2011

해안선 및 해안지형은 지진활동 및 화산활동 등으로 인해 해양의 지형은 때때로 변화한다. 때문에 해양 선박 경로에는 많은 지형 변화와 기상 조건 등에 의해 큰 위험이 존재한다. 선박들은 이런 위험을 방지 또는 대책마련을 위하여 많은 장비를 탑재하여 항해의 안전을 도모한다. 대형 선박의 경우 AIS 장비 등의 도움으로 항해사의 중요한 업무를 보조하고, 주변 상황 인지를 통해 위험요소를 최대한 억제하게 된다. 하지만 대형 선박은 AIS 등과 같은 대형 장비의 탑재가 가능한 반면, 해양 근해만을 항해하게 되는 소형 선박의 경우 고가의 장비를 탑재하기 위한 비용, 공간의 제약의 부담이 있다. 이 때문에, 모바일 시스템 이용하여 항해지도 및 다양한 정보를 제공받게 된다면 비용과 공간의 제약을 크게 줄일 수 있게 된다. 따라서 본 논문에서는 모바일 시스템 이용하여 해양선박의 항해정보를 서비스할 수 있도록 지도 서비스 및 기상정보 등의 다양한 정보를 제공할 수 있는 기초를 마련하였다.

• 한국HCI학회:학술대회논문집
• /
• 2009.02a
• /
• pp.455-458
• /
• 2009

The statistical wisp model for hairstyle generation was introduced in [1]. It provided a program to load human models, set parameters, generate wisps and strands, and make constraints. However, the program used hard-coded human models and prescribed constraints so that it was hard to change different models and manipulate constraints. Hence we provide a simple interface by drawing maps and constraints. Also, we can increase the speed of computation by using GPU acceleration.