• 한국지능시스템학회논문지
• /
• 제22권4호
• /
• pp.414-424
• /
• 2012

문제 인스턴스 탐색 혹은 자동 생성은 알고리즘 분석 및 테스트에 적용될 수 있으며, 하드웨어, 소프트웨어 프로그램, 계산 이론 등 다양한 수준에서 연구되어온 주제이다. 본 연구에서는 해(解) 공간에 사용된 목적값-거리 상관관계 분석을 문제 인스턴스 공간에 적용하였다. 문제 인스턴스의 목적값은 문제에 따라 알고리즘의 수행 시간과 최적해를 잘 구하는 정도로 정의하였다. 이러한 정의는 문제 인스턴스의 난이도로 해석할 수 있다. 상관관계는 3가지 측면에서 분석하였다: 첫째, 알고리즘과 거리 함수에 따른 상관관계 차이, 둘째, 알고리즘의 개선 전/후의 상관관계 변화, 셋째, 문제 인스턴스 공간과 해당 문제의 해 공간 사이의 연관성. 본 논문은 문제 인스턴스 공간에 상관계수 분석이 어떻게 적용될 수 있는지 보여주며, 문제 인스턴스 공간 분석을 본격적으로 다루는 첫번째 시도이다.

• Management Science and Financial Engineering
• /
• 제2권1호
• /
• pp.147-176
• /
• 1996

The main objective of this study is to uncover the differences in the programming behavior between methodology creators and methodology users. We conducted an experiment with methodology creators who have invented one of the major object-oriented methodologies and with professional programmers who have used the same methodology for their software-development projects. In order to explain the difference between the two groups, we propose a theoretical framework that views programming as search in four problem spaces: representation, rule, instance and paradigm spaces. The main problem spaces in programming are the representation and rule spaces, while the paradigm and instance spaces are the supporting spaces. The results of the experiment showed that the methodology creators mostly adopted the paradigm space as their supporting space, while the methodology users chose the instance space as their supporting space. This difference in terms of the supporting space leads to different search behaviors in the main problem spaces, which in turn resulted in different final programs and performance.

• 대한수학회보
• /
• 제46권2호
• /
• pp.245-253
• /
• 2009

A new hard problem called the vector decomposition problem (VDP) was recently proposed by Yoshida et al., and it was asserted that the VDP is at least as hard as the computational Diffie-Hellman problem (CDHP) under certain conditions. Kwon and Lee showed that the VDP can be solved in polynomial time in the length of the input for a certain basis even if it satisfies Yoshida's conditions. Extending our previous result, we provide the general condition of the weak instance for the VDP in this paper. However, when the VDP is practically used in cryptographic protocols, a basis of the vector space ${\nu}$ is randomly chosen and publicly known assuming that the VDP with respect to the given basis is hard for a random vector. Thus we suggest the type of strong bases on which the VDP can serve as an intractable problem in cryptographic protocols, and prove that the VDP with respect to such bases is difficult for any random vector in ${\nu}$.

• Management Science and Financial Engineering
• /
• 제20권1호
• /
• pp.17-19
• /
• 2014

In this paper, we consider an interesting variant of the inverse minimum traveling salesman problem. Given an instance (G, w) of the minimum traveling salesman problem defined on a metric space, we fix a specified Hamiltonian cycle $HC_0$. The task is then to adjust the edge cost vector w to w' so that the new cost vector w' satisfies the triangle inequality condition and $HC_0$ can be returned by the minimum spanning tree algorithm in the TSP-instance defined with w'. The objective is to minimize the total deviation between the original and the new cost vectors with respect to the $L_1$-norm. We call this problem the inverse metric traveling salesman problem against the minimum spanning tree algorithm and show that it is closely related to the inverse metric spanning tree problem.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1992년도 한국자동제어학술회의논문집(국제학술편); KOEX, Seoul; 19-21 Oct. 1992
• /
• pp.575-580
• /
• 1992

Mixed H$_{2}$/H$_{\infty}$ robust control synthesis is considered for finite dimensional linear time-invariant systems under the presence of diagonal structured uncertainties. Such uncertainties arise for instance when there is real perturbation in the nominal model of the state space system or when modeling multiple (unstructured) uncertainty at different locations in the feedback loop. This synthesis problem is reduced to convex optimization problem over a bounded subset of matrices as well as diagonal matrix having certain structure. For computational purpose, this convex optimization problem is further reduced into Generalized Eigenvalue Minimization Problem where a powerful algorithm based on interior point method has been recently developed..

• Journal of applied mathematics & informatics
• /
• 제31권5_6호
• /
• pp.813-823
• /
• 2013

In this paper, a new iterative algorithm involving quasi-nonexpansive mapping in Hilbert space is proposed and proved to be strongly convergent to a point which is simultaneously a fixed point of a quasi-nonexpansive mapping, a solution of an equilibrium problem and the set of solutions of a variational inequality problem. The results of the paper extend previous results, see, for instance, Takahashi and Takahashi (J Math Anal Appl 331:506-515, 2007), P.E.Maing $\acute{e}$ (Computers and Mathematics with Applications, 59: 74-79,2010) and other results in this field.

• 한국항공우주학회지
• /
• 제39권12호
• /
• pp.1150-1159
• /
• 2011

신뢰도란 임의 시스템이 주어진 운용환경 하에서 의도한 기간 동안 의도된 기능을 정상적으로 수행할 확률로 정의된다. 신뢰도-중복 최적화 문제(RROP)는 비용, 무게 등의 제약내에서 시스템의 신뢰도를 최대화할 수 있는 최적의 부품을 선택하고, 부품수와 중복전략(활성/대기중복)을 결정하는 문제이다. 본 연구에서는 아리랑위성 2호의 다채널광학카메라(MSC) 시스템의 설계 구조를 바탕으로 RROP의 수리모형을 제시하고, NP-hard인 RROP의 해법으로써 병렬 개체군집최적화(PPSO) 알고리즘을 제안하였다. RROP 예제의 수치실험 결과는 계획된 수명기간에서 신뢰도를 최대화하는 시스템의 설계 구조를 제시한다.

• 한국항해항만학회지
• /
• 제30권6호
• /
• pp.457-464
• /
• 2006

이적작업은 적하작업과 반출작업을 신속하게 처리하기 위해 자동화 컨테이너 터미널에서 중요하게 고려하는 운영 전략들 중의 하나이다. 이는 ATC(Automated Transfer Crane)의 운반시간과 재취급 작업시간을 줄이기 위해 장치장 블록에 산적되어 있는 컨테이너들을 재배치하는 작업이다. 본 논문은 가능한 컨테이너 이동을 최소화하면서 한 수직형 블록 내에 장치된 컨테이너들의 배치 형태를 바람직한 배치 형태로 전환시키기 위한 이적계획 문제를 다룬다. 이 문제는 선후관계를 가지는 2개의 하위 문제 즉, 장치위치 할당문제와 장비 작업순서 문제로 분할된다. 장치위치 할당문제는 운반시간의 관점에서 현재 장치되어 있는 컨테이너들 중에서 어떤 컨테이너를 어느 베이에 옮길 것인가를 결정한다. 이의 결과를 가지고 장비 작업순서 문제는 장치 공간의 제약을 고려하여 ATC의 이동시간을 최소화하는 작업순서를 정한다. 본 연구에서는 정수계획법과 동적계획법을 이용하여 각 하위문제를 모형화 하였다. 제안된 모형을 이용하여 이적계획 과정을 설명하기 위한 예제를 제시하였다.

• 천문학회보
• /
• 제35권2호
• /
• pp.46.1-46.1
• /
• 2010

This work is a part of our project to establish a Website which provides a list of magnetic clouds (MCs) identified by WIND and ACE spacecraft. MCs are characterized by their magnetic fields that are well described by magnetic flux rope structures, whereas interplanetary coronal mass ejections (ICMEs) are interplanetary manifestations of coronal mass ejections (CMEs), usually identified by differences of plasma and magnetic field characteristics from those in the background solar wind. It is widely accepted that, while MCs are generally identified within ICMEs, the number of MCs are significantly lower than the number of ICMEs. In our effort to identify MCs, however, we have found that there was a big problem in identification method of MCs in previous works. Generally speaking, most of the previous surveys failed in identifying MCs which encounter the spacecraft at large distances from the MC axis, or near the surface of MC structures. In our survey, MCs are identified as the region of which magnetic fields are well described by appropriate flux rope models. Thus, we could selected over 45 MCs, in 1999 solar wind data for instance, while 33 ICMEs are listed in the Website of the ACE Science Center reported by Richardson and Cane.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2008년도 추계종합학술대회 B
• /
• pp.406-409
• /
• 2008

본 논문에서는 명제화된 어트리뷰트 택소노미를 이용하여 간결하고 강건한 분류기를 생성하는 문제를 고려한다. 이 문제를 해결하기 위해 명제화된 어트리뷰트 택소노미(Propositionalized Attribute Taxonomy)를 이용하는 나이브 베이스 학습 알고리즘(Naive Bayes Learner)인 PAT-NBL을 소개한다. PAT-NBL은 명제화 된 어트리뷰트들의 택소노미를 선험 지식으로 이용하여 간결하고 정확한 분류기를 귀납적으로 학습하는 알고리즘이다. PAT-NBL은 주어진 택소노미에서 지역적으로 최적의 컷(cut)을 찾아내기 위해 하향식 탐색과 상향식 탐색을 사용한다. 찾아낸 최적의 컷은 명제화 된 어트리뷰트 택소노미와 데이터로부터 그에 상응하는 인스턴스 공간(instance space)을 구성할 수 있게 해준다. University of California-Irvine (UCI) 저장소의 기계학습 벤치마크 데이터에 대한 실험 결과를 보면, 제안된 알고리즘이 표준적인 나이브 베이스 학습 알고리즘에 의해 만들어진 분류기들과 비교해 볼 때, 가끔은 보다 간결하고 더 정확한 분류기를 생성해 낸다는 사실을 알 수 있었다.