• The Journal of Engineering Research
• /
• v.7 no.1
• /
• pp.17-28
• /
• 2005

A distributed constraint satisfaction problem (distributed CSP) is a constraint satisfaction problem (CSP) in which variables and constraints are distributed among multiple automated agents. A CSP is a problem to find a consistent assignment of values to variables. Even though the definition of a CSP is very simple, a surprisingly wide variety of AI problems can be formalized as CSPs. Similarly, various application problems in DAI (Distributed AI) that are concerned with finding a consistent combination of agent actions can be formalized as distributed CPSs. The experimental results on example problems show that this algorithm is by far more efficient than the backtracking algorithm, in which the priority order is static. The priority order represents a hierarchy of agent authority, i.e., the priority of decision-marking. Therefore, these results imply that a flexible agent organization, in which the hierarchical order is changed dynamically, actually performs better than an organization in which the hierarchical order is static and rigid. Furthermore, we describe that the agent can be available to hold multiple variables in the searching scheme.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.12 no.4
• /
• pp.1572-1593
• /
• 2018

The diversity and fast growth of Internet traffic volume are highly influenced by mobile and computer applications being developed. Moreover, the developed applications are too dynamic to be identified and monitored by network administrators. Several approaches have been proposed to identify network applications, however, are still not robust enough to identify modern applications. This paper proposes both, TSA (Traffic collection, Signature generation and Applications identification) system and a derived algorithm so called CSP (Contiguous Sequential Patterns) to identify applications for management and security in IP networks. The major focus of this paper is the CSP algorithm which is automated in two modules (Signature generation and Applications identification) of the proposed system. The proposed CSP algorithm generates DNA-like unique signatures capable of identifying applications and their individual services. In this paper, we show that the algorithm is suitable for generating efficient signatures to identify applications and application services in high accuracy.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06b
• /
• pp.318-320
• /
• 2012

증강현실 콘텐츠를 2D 이미지기반으로 저작할 때, 작성된 증강현실 콘텐츠를 카메라 시점과 일치시켜 합성하기 위해 호모그래피를 이용한다. 이때 증강현실 콘텐츠를 이질감 없이 합성하기위해 정확한 호모그래피 행렬을 추정해야 한다. 그러나 호모그래피 행렬 추정 시 사용되는 특징점들이 선형을 이루거나, 특정 영역에 군집을 이루는 경우 정확한 호모그래피 행렬을 추정하지 못하는 문제가 발생한다. 본 논문에서는 이러한 문제를 해결하기 위해 선형제약, 거리제약을 적용한 CSP 기반의 RANSAC 알고리즘을 제안한다. 실험결과 호모그래피 행렬 추정 시 CSP를 적용한 RANSAC 알고리즘이 기존의 랜덤샘플링 또는 삼각형의 넓이를 이용한 샘플링을 적용한 RANSAC 알고리즘보다 정확도가 향상됨을 보였다.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2003.05a
• /
• pp.233-238
• /
• 2003

인터넷의 급속한 성장과 함께 분산 네트워크 환경 하에서의 정보 검색 문제는 중요한 이슈가 되고 있다. 기하급수적으로 증가하는 정보의 홍수 속에서 사용자가 원하는 정보나 서비스를 효율적으로 찾아주는 방법은 꾸준히 연구되고 있다. 이러한 문제를 해결하기 위해서 멀티에이전트(Multi-agent)환경 하에서 원하는 서비스를 제공하는 에이전트들을 효율적으로 탐색해 주는 에이전트간의 매치메이킹(Matchmaking) 시스템은 좋은 해결방안이 될 수 있다. 본 논문에서 제안한 확장 매치메이킹 알고리즘은 중개 에이전트가 특정 도메이 지식을 효과적으로 이용할 수 있도록 문제에 대한 표현과 추론 과정이 명확한 CSP로 모델링 함으로써 불필요한 탐색 공간을 효율적으로 제거하도록 하였으며, 서비스 요청 에이전트의 요구사항을 만족시키면서 가능한 한 중복되는 에이전트 쌍이 최소화 되도록 일반적인 유사도(Similarity)와 함께 새로운 경쟁도(Competition)를 고려하였다. 본 논문에서 제안한 알고리즘이 기존의 매치메이킹 알고리즘보다 더 효율적인 것을 보이기 위해 온라인 인력 채용박람회를 모델로 하여 중개 에이전트가 직업을 구하는 서비스 요청 에이전트와 인재를 모집하는 서비스 공급 에이전트간의 매치메이킹 문제에 대해 실험 평가하였다.

• Journal of Communications and Networks
• /
• v.10 no.2
• /
• pp.204-212
• /
• 2008

We study the routing problem in all-wireless networks based on cooperative transmissions. We model the minimum-energy cooperative path (MECP) problem and prove that this problem is NP-complete. We hence design an approximation algorithm called cooperative shortest path (CSP) algorithm that uses Dijkstra's algorithm as the basic building block and utilizes cooperative transmissions in the relaxation procedure. Compared with traditional non-cooperative shortest path algorithms, the CSP algorithm can achieve a higher energy saving and better balanced energy consumption among network nodes, especially when the network is in large scale. The nice features lead to a unique, scalable routing scheme that changes the high network density from the curse of congestion to the blessing of cooperative transmissions.

• Journal of Korean Institute of Industrial Engineers
• /
• v.36 no.3
• /
• pp.164-175
• /
• 2010

In this study, we developed a genetic algorithm to find a near optimal solution of concurrent spare parts selection for the operational time period with limited information of weapon systems purchased from overseas. Through the analysis of time profiles related with system operations, we first define the optimization goal which maintains the expected system operating rate under the budget restrictions, and the number of failures and the lead time for each spare part are used to calculate the estimated total down time of the system. The genetic algorithm for CSP selection shows that the objective function minimizes the estimated total down time of systems with satisfying the restrictions. The method provided by this study can be applied to the generalized model of CSP selection for the systems purchased from overseas without provision of their full structure and adequate information.

• The Journal of Engineering Research
• /
• v.6 no.2
• /
• pp.11-22
• /
• 2004

A distributed constraint satisfaction problem (distributed CSP) is a constraint satisfaction problem(CSP) in which variables and constraints are distributed among multiple automated agents. ACSP is a problem to find a consistent assignment of values to variables. Even though the definition of a CSP is very simple, a surprisingly wide variety of AI problems can be formalized as CSPs. Similarly, various application problems in DAI (Distributed AI) that are concerned with finding a consistent combination of agent actions can be formalized as distributed CAPs. In recent years, many new backtracking algorithms for solving distributed CSPs have been proposed. But most of all, they have common drawbacks that the algorithm assumes the priority of agents is static. In this thesis, we establish a basic algorithm for solving distributed CSPs called dynamic priority search algorithm that is more efficient than common backtracking algorithms in which the priority order is static. In this algorithm, agents act asynchronously and concurrently based on their local knowledge without any global control, and have a flexible organization, in which the hierarchical order is changed dynamically, while the completeness of the algorithm is guaranteed. And we showed that the dynamic priority search algorithm can solve various problems, such as the distributed 200-queens problem, the distributed graph-coloring problem that common backtracking algorithm fails to solve within a reasonable amount of time. The experimental results on example problems show that this algorithm is by far more efficient than the backtracking algorithm, in which the priority order is static. The priority order represents a hierarchy of agent authority, i.e., the priority of decision-making. Therefore, these results imply that a flexible agent organization, in which the hierarchical order is changed dynamically, actually performs better than an organization in which the hierarchical order is static and rigid. Furthermore, we describe that the agent can be available to hold multiple variables in the searching scheme.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.33 no.3
• /
• pp.199-207
• /
• 2010

In this paper considered is the provisioning quantity determination problem of consumable concurrent spare parts (CSP) of a new equipment system to minimize the procurement cost under the operational availability constraint. When a part fails, repair of the failed part is impossible and the part is replaced and cannibalization is allowed. The failure of a part is assumed to follow a Poisson process and the operational availability in CSP is defined. The solution procedure consists of two parts. Firstly, a heuristic algorithm is developed under the assumption that the failure rate is constant during the CSP period. Secondly, proposed is a simulation search procedure which improves the heuristic solution to the near optimal solution in a reasonable amount of time. An illustrative example is shown to explain the solution procedure.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.22 no.4
• /
• pp.515-520
• /
• 2012

In brain computer interface (BCI) system, the most important part is classification of human thoughts in order to translate into commands. The more accuracy result in classification the system gets, the more effective BCI system is. To increase the quality of BCI system, we proposed to reduce noise and artifact from the recording data to analyzing data. We used auditory stimuli instead of visual ones to eliminate the eye movement, unwanted visual activation, gaze control. We applied independent component analysis (ICA) algorithm to purify the sources which constructed the raw signals. One of the most famous spatial filter in BCI context is common spatial patterns (CSP), which maximize one class while minimize the other by using covariance matrix. ICA and CSP also do the filter job, as a raw filter and refinement, which increase the classification result of linear discriminant analysis (LDA).

• Proceedings of the IEEK Conference
• /
• 2002.07c
• /
• pp.1638-1641
• /
• 2002

A constraint satisfaction problem (CSP) is a general framework that can formalize various application problems in artificial intelligence. In this paper, we will focus on an important subclass of distributed partial CSP called the distributed maximal CSP that can be applied to more practical kinds of problems. Specifically, we propose a method of solving distributed mammal CSPs using a combination of approximate and exact algorithms that yields faster optimal solutions than otherwise possible using conventional methods. Experimental results are presented that demonstrate the effectiveness of the proposed new approach.