• 한국수학사학회지
• /
• 제19권1호
• /
• pp.33-42
• /
• 2006

본 논문은 조합론 분야에서 매우 중요하게 다루는 조합대상들의 동형문제에 관한 이론적 배경의 연구와 아울러 역사적 배경을 고찰해본다. 또한, 유한체에서 케일리대상들의 동형사상 문제에 대한 부분적인 결과를 소개한다.

• 대한수학교육학회지:학교수학
• /
• 제7권2호
• /
• pp.123-137
• /
• 2005

순열 조합의 문제는 내재된 의미 구조에 의해 선택, 분배, 분할의 세 가지의 유형으로 분류될 수 있다. 본 연구에서는 순열 조합의 연산과 문제 유형의 변인이 문제의 난이도에 미치는 영향을 분석하였다 그리고 문제 이해과정에서의 오류를 순서, 중복, 대상의 구별, 같은 것이 있는 순열, 상자의 구별, 분할의 조건, 기타로 분류하고 이해 단계의 장애를 구체적으로 분석하였다. 연구 결과, 순열 조합 연산과 문제의 유형은 난이도에 유의미한 영향을 미치는 것으로 나타났다. 특히 학생들에게 선택, 분할, 분배 문제간의 변환은 쉽지 않으며 순열 조합의 문제에서 학생들이 겪는 어려움 중 하나는 바로 문제 유형의 차이에서 비롯된다는 것을 알 수 있었다. 또한 현 교과서에서는 선택, 분배, 분할을 고려한 다양한 문제 유형이 부족한 것으로 나타났다. 따라서 순열 조합의 지도에 있어 문제 유형을 활용하여 다양한 의미 구조의 문제를 제시하고, 공식위주가 아닌 문제 상황을 충분히 이해하고 이에 대한 해법을 변형, 확장하는 경험을 강조하는 것이 필요하다고 하겠다.

• 대한수학회지
• /
• 제56권2호
• /
• pp.353-385
• /
• 2019

In this paper, we introduce the notion of combinatorial Auslander-Reiten (AR) quivers for commutation classes [${\tilde{w}}]$ of w in a finite Weyl group. This combinatorial object is the Hasse diagram of the convex partial order ${\prec}_{[{\tilde{w}}]}$ on the subset ${\Phi}(w)$ of positive roots. By analyzing properties of the combinatorial AR-quivers with labelings and reflection functors, we can apply their properties to the representation theory of KLR algebras and dual PBW-basis associated to any commutation class [${\tilde{w}}_0$] of the longest element $w_0$ of any finite type.

• 한국정보통신학회논문지
• /
• 제5권7호
• /
• pp.1340-1345
• /
• 2001

본 논문은 이동물체의 이동 정보를 표현하는 OF의 최적해를 계산하고 동작 속도를 향상시키는 방법을 제안한다. 이를 위하여 CHT와 투표누적을 사용하여 기존의 방법에 비해 양호한 최적해를 계산하였고, 간단하게 이 동물체를 검색하였다.

• 전자공학회논문지C
• /
• 제34C권9호
• /
• pp.84-101
• /
• 1997

Inferring and recognizing 3D objects form a 2D occuluded image has been an important research area of computer vision. The octree model, a hierarchical volume description of 3D objects, may be utilized to generate projected images from arbitrary viewing directions, thereby providing an efficient means of the data base for 3D object recognition. We present a fast algorithm of finding the 4 pairs of feature points to estimate the viewing direction. The method is based on matching the object contour to the reference occuluded shapes of 49 viewing directions. The initially best matched viewing direction is calibrated by searching for the 4 pairs of feature points between the input image and the image projected along the estimated viewing direction. Then the input shape is recognized by matching to the projectd shape. The computational complexity of the proposed method is shown to be O(n$^{2}$) in the worst case, and that of the simple combinatorial method is O(m$^{4}$.n$^{4}$) where m and n denote the number of feature points of the 3D model object and the 2D object respectively.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2000년도 제15차 학술회의논문집
• /
• pp.557-557
• /
• 2000

Tracking of the moving object, which is realized by the computer vision, is used for military and industrial fields. It is the application technique with imply complicated processing for understanding the input images. But, in these days, the most moving object tracking algorithms have many difficult problems. A typical problem is the increase of calculation time depending on target number. For this reason, there are many studies to solve real time processing problems and errors for background environmental change. In this paper, we used optical flow which is one of moving object tracking algorithms. It represents vector of the moving object. Optical flow estimation based on the regularization method depends on iteration method but it is very sensitive the noise. We proposed a new method using the Combinatorial Hough Transform (CHT) and Voting Accumulation in order to find optimal constraint lines. Also, we used the logical operation in order to release the operation time. The proposed method can easily and accurately extract the optical flow of moving object area and the moving information. We have simulated the proposed method using the test images. This images are included the noise. Experimental results show that the proposed method get better flow and estimate accurately the moving information.

• 충청수학회지
• /
• 제36권2호
• /
• pp.77-86
• /
• 2023

The purpose of this paper is to show that a certain finite dimensional representation of the rational Cherednik algebra of type A has a basis consisting of simultaneous eigenvectors for the actions of a certain family of commuting elements, which are introduced in the author's previous paper. To this end, we introduce a combinatorial object, which is called a restricted arrangement of colored beads, and consider an action of the affine symmetric group on the set of the arrangements.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1995년도 Proceedings of the Korea Automation Control Conference, 10th (KACC); Seoul, Korea; 23-25 Oct. 1995
• /
• pp.328-331
• /
• 1995

A successful, computer-aided design support system can help a process designer focus on making effective design decisions, not merely tedious routine calculations. Such a system is essential to enhance quality of design in terms of economics, environmental benignity, reliability, robustness, and operability. Such a statement is even more accepted when applied to conceptual design problems, where gross design specifications are given while a combinatorial number of design alternatives exists. This paper presents an agent-based approach as a systematic and efficient way to design a design support system for the synthesis of conceptual chemical processes. An agent-based approach allows us to handle design knowledge as an object and thus greatly improve the modularity and reusability of that knowledge. Such modularity and reusability lead to the increased productivity in the development of a design support system and the increased ease in the relaxation of design decisions and the generation of design alternatives, both of which functions are critically important in dealing with the complexity and uncertainty of conceptual design problems.

• 제어로봇시스템학회논문지
• /
• 제14권3호
• /
• pp.213-220
• /
• 2008

The object of this paper is to propose a method to deal with the problem of modeling user specifications in approaches based on supervisory control and Petri nets. However, most of Petri Net approaches are based on forbidden states specifications, and these specifications are suitable the use of tool such as the reachability graph. But these methods were not able to show the user specification easily and these formalisms are generally limited by the combinatorial explosion that occurs when attempting to model complex systems. Herein, we propose a new efficient method using FSSTP (Forbidden Sequences of State-Transitions Problem) and theory of region. Also, to detect and avoid the deadlock problem in control process, we use DAPN method (Deadlock Avoidance Petri nets) for solving this problem in control model.

• 부동산연구
• /
• 제28권1호
• /
• pp.23-37
• /
• 2018

유전 알고리즘(Genetic Algorithm) 과 분단탐색법(Branch & Bound Method)은 문재인 정부의 핵심적인 부동산 정책인 도시재생 뉴딜사업에서 대상지역을 선정할 때 제한된 예산범위 내에서 사업의 효과가 큰 사업지구들을 지역균형을 고려하여 합리적으로 선정하는 유용한 방법론이다. 2017년 도시재생 뉴딜 시범사업에서는 각 광역지자체가 최대 3곳의 사업지구를 신청할 수 있고, 국토교통부는 이 중에서 중심시가지형 13곳, 경제기반형 2곳을 선정하며, 공공기관제안형 도시재생사업을 별도로 광역지자체에서 신청받아 10곳을 선정할 계획이다. 그런데 사업의 효과만을 기준으로 사업지구를 선정하면 지역균형발전에 부정적인 영향(1곳도 선정되지 않는 지자체 발생)을 미칠 수 있으므로 이에 대한 고려가 필요하다. 그러므로 본 연구에서는 최적화 모형을 구성하기 위해 유전 알고리즘 및 분단탐색법을 응용하여 지역균형발전 조건을 만족하면서 사업효과를 극대화하는 최적 사업지구조합을 도출한다. 이러한 방법론은 경우의 수가 대단히 많아 직관적으로 해결하기 불가능한 조합 최적화의 문제를 해결하는데 매우 적합하며, 부동산학뿐만 아니라 다양한 분야에 응용할 수 있는 방법론임을 2017년 도시재생 뉴딜 시범사업 선정사례를 통해 알 수 있었다. 향후 중앙정부가 특정목적의 제한된 예산을 각 지자체들에 배분하는 사례에서 이 방법론을 적용한 결과가 합리적인 기준이 될 것으로 기대한다.