• 한국시뮬레이션학회논문지
• /
• 제9권4호
• /
• pp.41-50
• /
• 2000

We have many simulation constraints to meet as a modeled system becomes large and complex. Real-time simulations are the examples in that they are constrained by certain non-function constraints (e.g., timing constraints). In this paper, an enhanced hierarchical modeling methodology is proposed to efficiently deal with constraint-simulations. The proposed modeling method enhances hierarchical modeling methods to provide multi-resolution model. A simulation model is composed by determining the optimal level of abstraction that is guaranteed to meet the given simulation constraints. Four modeling activities are defined in the proposed method: 1) Perform the logical architectural design activity to produce a multi-resolution model, 2) Organize abstraction information of the multi-resolution model with AT (Abstraction Tree) structure, 3) Formulate the given constraints based on U (Integer Programming) approach and embrace the constraints to AT, and 4) Compose a model based on the determined level of abstraction with which the multi-resolution model can satisfy all given simulation constraints. By systematically handling simulation constraints while minimizing the modeler's interventions, we provide an efficient modeling environment for constraint-simulations.

• 한국전자거래학회지
• /
• 제1권2호
• /
• pp.161-173
• /
• 1996

It Is a typical scenario in concurrent engineering/design that different perspectives of each team members participating In the project exist, and those perspectives lead to conflicting decisions. The model 'resolution network' proposed in this work provides system-mediated resolution for all related team engineers to consider to optimize the manufacture in general. This paper focuses on development of the general architecture of the model and a search engine called Mediator to determine a resolution network from a given constraint network. The Mediator manages the constraint network, determines the most optimistic resolution called optimal point in terms of satisfying overall production goal , and use the optimal point to mediate controversial issues among teams. The biggest merit of our model is that it provides teams with resolution with logical and rational reasoning.

• 지구물리와물리탐사
• /
• 제16권3호
• /
• pp.131-138
• /
• 2013

새로운 2차원 자력탐사자료 역산 방법을 개발하였다. 중,자력탐사와 같은 포텐셜 자료의 역산에서 가장 문제가 되는 점은 비유일해 문제이다. 일반적으로 자력탐사 자료의 역산은 모델변수의 수가 자료의 수보다 훨씬 많은 불충분 문제이며, 이는 비유일해 문제를 더욱 심화시키게 된다. 일반적인 최소자승법을 자력탐사자료의 역산에 적용하게 되면, 이 상대가 지표면에 집중되는 결과를 초래한다. 본 연구에서는 이러한 비유일해 문제를 극복하기 위하여 모델분해능에 근거한 새로운 모델제한자를 제안하였다. 이 모델제한자는 분해능이 높은 모델변수에는 큰 제한을 가하고, 작은 모델변수에는 약한 제한을 가하게 된다. 따라서 분해능이 낮은 심부의 모델변수도 효과적으로 추정할 수 있다. 개발된 역산 알고리듬을 이용하여, 전형적인 모델에 대한 이론자료의 역산에 적용하였다. 또한 옥천대에서 얻어진 항공자력탐사자료 역산에 적용하였다.

• 지구물리와물리탐사
• /
• 제16권4호
• /
• pp.217-224
• /
• 2013

모델변수의 증감 및 분해능을 고려하는 새로운 교차모델 제한자를 사용한 시간경과 역산 알고리듬을 개발하였다. 증감을 고려한 교차모델 제한자는 같은 변화비를 갖는 모델변수에 같은 제한을 가한다. 이 교차모델 제한자는 모델변수의 증감에 관계없이 의미 있는 변화를 보이는 모델변수들을 강조할 수 있다. 분해능 교차모델 제한자는 분해능이 낮은 모델변수에 작은 제한을 가하는 반면, 분해능이 높은 모델변수에는 큰 제한을 가한다. 따라서 분해능이 낮은 모델변수도 시간 경과에 따라 의미 있는 변화를 보일 경우 효과적으로 식별할 수 있다. 3차원 전기비저항 모니터링 자료의 수치실험을 통하여 이들 두 교차모델 제한자의 타당성을 검증하였다. 최종적으로, 방조제의 안정성 평가를 위하여 서해안에 위치한 방조제에서 얻은 3 차원 전기비저항 모니터링 자료의 처리에 개발된 시간경과 역산법을 적용하였다. 시간경과 역산의 결과 모니터링이 수행된 기간 동안 방조제에 주목할 만한 변화가 없는 것으로 해석되었다.

• 지구물리와물리탐사
• /
• 제8권2호
• /
• pp.129-136
• /
• 2005

감쇠최소자승법은 각종 물리탐사 자료에 가장 널리 사용되는 역산법이다. 일반적으로 최소자승법에서 최소화되는 목적함수는 자료오차(data misfit)와 모델제한자의 합으로 주어진다. 따라서 역산에서 자료오차와 모델제한자는 함께 중요한 역할을 담당한다. 하지만 역산에 관한 대부분의 연구는 주로 모델제한자의 설정방법과 적절한 라그랑지 곱수의 선정방법에 치중되어 왔다. 일반적으로 자료획득시 자료가 갖는 표준편차를 자료가중값의 계산에 사용하는 것이 추천되고 있지만, 실제 현장조사에서는 자료의 표준편차는 좀처럼 측정되지 않으며, 대부분의 역산에서 자료가중행렬은 어쩔 수 없이 단위행렬로 간주된다. 본 논문에서는 자료분해능행렬과 그 분산함수를 분석하여 자동적으로 계산된 자료가중행렬을 사용하는 역산법을 개발하였다. EACB법이라 명명한 이 역산법에서는 분해능이 높은 자료에는 높은 가중값을, 작은 자료에는 작은 가중값을 부여한다. 개발된 EACB 역산법을 전기비저항 토모그피법에 적용한 결과, 보다 안정적이고 분해능이 향상된 결과를 얻을 수 있었다.

• 지구물리와물리탐사
• /
• 제16권3호
• /
• pp.119-130
• /
• 2013

자력탐사자료의 3차원 역산법을 개발하였다. 자력탐사자료의 역산에서 가장 문제가 되는 점은 비유일해 문제와 방대한 계산시간이다. 일반적으로 자력탐사자료의 역산은 모델변수의 수가 자료의 수보다 훨씬 많아 비유일해 문제를 더욱 심화시키게 된다. 또한 자력탐사자료는 심도 분해능이 매우 낮다. 비유일해 문제를 극복하기 위하여 분해능이 높은 모델변수에는 큰 제한을 가하고, 작은 모델변수에는 약한 제한을 가하는 분해능 모델제한자를 제안하고, 이를 적용하여 분해능이 낮은 모델변수도 효과적으로 추정할 수 있었다. 또한 대형 행렬식을 웨이블릿 변환을 통하여 희소행렬로 변환하고, 역행렬의 계산에 병렬계산 방식을 적용하여 계산시간을 획기적으로 절감하였다. 수치실험을 통하여 개발된 3차원 역산알고리듬의 타당성을 검토하였다. 또한 금산 지역에서 얻어진 항공자력탐사자료의 역산에 적용하였다.

• 로봇학회논문지
• /
• 제6권4호
• /
• pp.308-316
• /
• 2011

This work deals with development of effective redundancy resolution algorithms for the motion control of manipulator. Differently from the typical kinematically redundant robots that are attached to the fixed ground, the ZMP condition should be taken into account in the manipulator motion in order to guarantee the system stability. In this paper, a new motion planning algorithm for redundant manipulator not fixed to the ground is introduced. A sequential redundancy resolution algorithm is proposed, which ensures the ZMP (Zero Moment Point) stability, the planned operational motion, and additional sub-criteria such as joint limit index. A geometric constraint equation derived by reshaping the existing ZMP equation enables one to employ the sequential redundancy algorithm. The feasibility of the proposed algorithm is verified by simulating a redundant manipulator model.

• 지구물리와물리탐사
• /
• 제21권1호
• /
• pp.15-25
• /
• 2018

탄성파 역산은 유가스 집적이 가능한 구조의 탐지에 고해상도의 분해능을 가지는 반면, 인공송신원을 이용한 해양전자탐사 역산은 유가스의 직접적인 탐지가 가능하다. 이런 이종의 물리탐사자료를 함께 이용한 복합역산은 단일 역산의 불확실성을 줄일 수 있고, 각각의 탐사자료가 가지는 장점 또한 함께 이용할 수 있다. 이 연구에서는 암석물리모델을 이용하여 탄성파탐사자료와 전자탐사자료가 동시에 최적화 될 때의 저류층의 물성값을 추출할 수 있는 동시복합역산 알고리듬을 개발하였다. 상호구배(cross-gradient) 방법을 적용하여 구조적인 해상도를 향상시켰으며, 최대우도추정법을 이용한 상대 가중치를 적용하여 자료간의 균형을 조절하였다. 개발된 알고리듬을 단순한 고립 가스층 모델에 적용한 결과, 동시복합역산으로 고해상도의 저류층 물성 추출이 가능함을 확인하였다. 하지만 오일 저류층을 모사한 배사구조의 모델에서는 적용된 모델 가중 행렬에 따라 전혀 다른 결과를 획득할 수 있었다. 따라서, 기존의 알고리듬을 각각의 모델 변수에 적합한 모델 가중 행렬을 사용하도록 수정하여, 평활화 기법과 감쇠항 기법을 수포화율과 공극률에 각각 적용하였다. 개선된 알고리듬을 오일 저류층 모델에 다시 적용한 결과, 저류층의 공극률과 수포화율을 성공적으로 추출할 수 있었다. 개발한 복합역산 알고리듬을 이용하여 획득한 결과는 유가스전 저류층의 매장량 계산에 직접적인 정보로 사용될 수 있을 것이다.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2006년도 International Symposium on GPS/GNSS Vol.2
• /
• pp.247-250
• /
• 2006

Based on the possibility theory and the fuzzy set, the Maximum Possibility Estimation method and its applications in kinematic GPS positioning are presented in this paper. Firstly, the principle and the optimal criterion of the Maximum Possibility Estimation method are explained. Secondly, the kinematic GPS positioning model of single epoch single frequency with baseline length constraint is developed. Then, the authors introduce the artificial immune algorithm and use this algorithm to search the global optimum of the Maximum Possibility Estimation model. The results of some examples show that the method is efficient for kinematic GPS positioning.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제14권9호
• /
• pp.3745-3761
• /
• 2020

Low-rank representation methods already achieve many applications in the image reconstruction. However, for high-gradient image patches with rich texture details and strong edge information, it is difficult to find sufficient similar patches. Existing low-rank representation methods usually destroy image critical details and fail to preserve edge structure. In order to promote the performance, a new representation-based image super-resolution reconstruction method is proposed, which combines gradient domain guided image filter with the structure-constrained low-rank representation so as to enhance image details as well as reveal the intrinsic structure of an input image. Firstly, we extract the gradient domain guided filter of each atom in high resolution dictionary in order to acquire high-frequency prior information. Secondly, this prior information is taken as a structure constraint and introduced into the low-rank representation framework to develop a new model so as to maintain the edges of reconstructed image. Thirdly, the approximate optimal solution of the model is solved through alternating direction method of multipliers. After that, experiments are performed and results show that the proposed algorithm has higher performances than conventional state-of-the-art algorithms in both quantitative and qualitative aspects.