• 대한수학회논문집
• /
• 제23권1호
• /
• pp.1-10
• /
• 2008

Conditions for an ideal to be irreducible are provided. The notion of an order system in a subtraction algebra is introduced, and related properties are investigated. Relations between ideals and order systems are given. The concept of a fixed map in a subtraction algebra is discussed, and related properties are investigated.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2003년도 ICCAS
• /
• pp.458-461
• /
• 2003

This paper presents a concept on seat assignment systems. The concept is based on the assumption that customers or passengers prefer to select seats at their own choosing and allowing them to do so would fragment remaining seats. This undesirable condition may make a group of people intending to be seated together unable to find a sufficient number of consecutive seats. The concept proposed is to set aside a number of seats when the map of available seats is shown for customer's selection. A number of functions are created to allot seats to be visible for choosing according to the number and locations of the remaining seats and the number in the group of the passengers. Passengers' preferences such as window or aisle seating, front seating are taken into accounts. A primitive example of seat assignment system of a Boeing 717 aircraft, assuming the number of passengers in a group being 1, 2 or 3, is given based on the concept.

• 대한수학회보
• /
• 제47권6호
• /
• pp.1311-1327
• /
• 2010

We introduce the concept of cyclic morphisms with respect to a morphism in the category of pairs as a generalization of the concept of cyclic maps and we use the concept to obtain certain sets of homotopy classes in the category of pairs. For these sets, we get complete or partial answers to the following questions: (1) Is the concept the most general concept in the class of all concepts of generalized Gottlieb subsets introduced by many authors until now? (2) Are they homotopy invariants in the category of pairs? (3) When do they have a group structure?.

• 제어로봇시스템학회논문지
• /
• 제20권11호
• /
• pp.1153-1163
• /
• 2014

An efficient 3D SLAM (Simultaneous Localization and Map Building) method is developed for urban building environments using a tilted 2D LRF (Laser Range Finder), in which a 3D map is composed of perpendicular/horizontal planar polygons. While the mobile robot is moving, from the LRF scan distance data in each scan period, line segments on the scan plane are successively extracted. We propose an "expected line segment" concept for matching: to add each of these scan line segments to the most suitable line segment group for each perpendicular/horizontal planar polygon in the 3D map. After performing 2D localization to determine the pose of the mobile robot, we construct updated perpendicular/horizontal infinite planes and then determine their boundaries to obtain the perpendicular/horizontal planar polygons which constitute our 3D map. Finally, the proposed SLAM algorithm is validated via extensive simulations and experiments.

• 한국수학교육학회지시리즈C:초등수학교육
• /
• 제15권1호
• /
• pp.13-29
• /
• 2012

본 연구는 초동학교 6학년 국가수준 학업성취도평가에서 남녀간 성차가 두드러진 문항에 대한 심층 분석 연구이다. 국가단위 시험에서 남녀 간에 차이가 큰 문항들을 선택하고, 이러한 문항에서 어떤 수학 내적 원인이 성차를 유발하였는지 분석한다. 이러한 분석을 용이하게 하기 위해 지난 8년간의 성취도평가 문항 중에서 남녀 차가 현저한 문항들을 선택하고, 이러한 문항에 대한 문항 개념도를 작성한다. 문항 개념도를 바탕으로 본검사 문항을 개발하고 검사를 실시한다. 검사 결과를 분석하여 국가수준 학업성취도평가에서 남녀 차가 발생한 원인을 수학적인 관점에서 분석하고 그 결과를 도출하였다. 이러한 연구결과를 바탕으로 초등학교 수학 교수-학습 및 교과서 개발에 유의미한 방향을 제시할 것으로 기대한다.

• 지능정보연구
• /
• 제10권1호
• /
• pp.93-107
• /
• 2004

급속한 인터넷의 확산으로 이제 웹은 단지 커뮤니케이션이나 홍보, 쇼핑의 수단뿐이 아닌 정보의 보급 및 창고로서의 역할이 더욱 커지고 있다. 또한, 과거의 웹 기반 기술인 하이퍼텍스트에 멀티미디어 기술이 접목되면서 하이퍼미디어 개념이 도입되어 텍스트 외의 이미지, 동영상, 사운드 등 다양한 형식의 미디어를 통해 정보를 접할 수 있게 되었다. 그러나, 이러한 정보공간에서 정보의 양이 기하급수적으로 증가함에 따라 웹 이용자들은 인지과부하(Cognitive overload)로 인하여 웹 상에서 방향감 상실, 정보공간에서 길 잃음 둥의 다양한 어려움을 겪고 있다. 이러한 문제를 해결하기 위해 많은 연구자들이 지속적으로 연구하고 있으며 그 중의 하나가 공간 개념(Spatial concept)을 적용한 공간 메타포(Spatial metaphor) 연구이다. 본 연구에서는 이러한 공간 메타포 개념을 이용하여 새로운 개념의 네비게이션 방식의 웹사이트를 개발하고 이를 Atomic-Map이라고 하였다. Davis 교수가 제안한 기술수용모형 (TAM) 모형을 이용하여 Atomic-Map의 사용성을 분석한 결과 Atomic-Map을 이용하여 정보공간에서 복잡한 네비게이션 하에서 발생할 수 있는 여러 가지 문제를 해결할 수 있음을 실증적으로 검증하였다.

• 한국콘텐츠학회논문지
• /
• 제11권9호
• /
• pp.76-84
• /
• 2011

본 논문에서는 인터랙티브 미디어 작품 제작에 적용 가능한 개념을 제안하고 개념이 적용된 미디어 아트작품에 대한 사용자 경험과 그것에 대한 결과물을 통해 개념의 타당성과 그 가능성을 시험해보고자 한다. 이를 위해 사용자 인터랙션 흔적을 아날로그와 디지털 형태로 남기도록 하는 '에이디-트레이스(AD-Trace)'라는 개념을 세우고, 이를 적용한 다양한 인터랙티브 미디어 아트 작품 창작을 시도하였다. 에이디-트레이스는 디자인 요소로서 '아날로그 흔적(Analogue Trace)', '디지털 흔적(Digital Trace)', 그리고 두 요소를 연결하면서 사용자의 인터랙션을 유도하여 보다 의미 있는 흔적을 남길 수 있도록 지원하는 '인터랙션 메타포(Interaction Metaphor)'를 갖는다. 이 세 가지 요소는 본 연구자의 세 개 작품인 '에이디-피디(AD-PD)', '에이디-스타(AD-Star)', 그리고 '에이디-맵(AD-Map)'에서 각 작품의 콘셉트에 맞게 디자인 되었으며, 사용자 참여 후 얻어진 결과물을 통해 에이디-트레이스가 가질 수 있는 특성을 분석하였다.

• Spatial Information Research
• /
• 제9권1호
• /
• pp.107-124
• /
• 2001

중앙정부 및 지방자치단체들은 지리정보시스템을 본격적으로 도입함으로서, 방대한양의 공간데이터베이^스를 구축하고 있다. 그러나 여러 기관이 각자의 목적과 필요에 따라 개별적 기준에 의해 공간데이터베이스를 중복 구축하여 비용의 낭비가 발생하고 있다. 더욱이 중복관리로 인해 공간자료의 일관성이 결여되고, 이로 인해 업무의 효율성과 신뢰성이 저하되고 있다. 또한 각기 도입한 시스템의 특이성과 자료 형식의 차이로 인해 상호 공유가 어려운 실정이다. 이러한 상황에서 건설교통부는 토지관련 각종 법률·속성·공간자료 등을 통합데이터베이스로 구축하고 관련업무를 전산화하는 토지관리정보체계구축 사업을 수행하고 있다. 타 정보화사업의 기본 공간자료를 제공하는 토지이용규제제도(이하 토지주제도)이며, 이들 자료는 지자체 전 부서에 걸쳐 다양하게 활용되고 있는 자료로서 토지 및 일반 행정업무와 민원발급의 기반자료가 되고 있다. 그러나 지적도는 지적, 도시계획, 공시지가, 개발사업 관련 부서 등에서 각기 유지관리하기 때문에 도면간의 불일치가 발생하고, 신뢰도가 저하되어, 지적원도 이외에는 정확성을 보장하기 어렵다. 토지주제는 현행법상 최종 결정·고시를 필지조사나 다양한 축척의 지형도, 지적도, 지적과 지형이 표시된 지형·지적도면을 이용함으로서 일선 지자체에서 조차 토지이용규제의 총괄적인 현황 및 규제공간적 상관관계를 파악하기 어렵다. 더욱이 지적도와의 관계가 불분명 한 경우는 필지별 토지이용현황 정보의 추출 및 관리가 단순중첩으로는 불가능하며 토지이용계획확인서와 같은 민원발급이나 필지별 토지이용규제 정보를 필요로 하는 업무에는 심각한 문제를 야기한다. 본 연구는 목적은 지형도, 지적도, 토지주제도 등의 공간자료를 통합 유지관리 할 수 있는 방안을 모색하고, 지료의 일관성을 확보 할 수 있는 시스템을 개발하는데 있다. 시스템 설계와 개발은 분산환경 하에서 운영될 수 있는 OpenGIS의 CORBA(OGC 1998) 사양을 기반으로 개발하였다. 시스템 설계방법론은 RUP(Rational Unified Process), 설계 및 구현은 UML(Unified Modeling Language)를 활용하였다. 시스템 운영환경은 공간자료의 편집에 있어 가격대비 신뢰성이 높으며 지자체에 많이 보편화되어 있는 CAD시스템을 기반으로 하였다.

• 한국지리정보학회지
• /
• 제6권4호
• /
• pp.71-84
• /
• 2003

본 연구에서는 통합된 하나의 맵을 작성하기 위하여 통합 맵서버를 설계하고 구현한다. 제안된 통합 맵서버는 다음과 같은 두 가지 특징을 가진다. 첫째, 웹 환경에서 사용자의 요구를 반영하기 위하여 메타데이터를 개별화한다. 맵서버는 클라이언트에 필요한 정보를 메타데이터에 설정하기 때문에 메타데이터를 개별화하면 사용자는 자신이 원하는 형태의 통합 데이터를 얻을 수 있게 된다. 둘째, 융합 서비스 개념을 도입하여 공간 데이터 뿐만 아니라 공간 데이터와 비공간 데이터와의 통합도 지원한다. 융합 서비스는 링킹의 개념을 사용하여 실체화한다. 본 연구에서 제안한 통합맵서버는 사용자의 요구에 따른 높은 수준의 맵 통합 결과를 제공함으로써 웹 매핑 환경에서 융합의 질을 높일 수 있으며, 사용자 응답 시간도 줄일 수 있다는 것을 실험을 통하여 증명하였다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1987년도 전기.전자공학 학술대회 논문집(II)
• /
• pp.1121-1124
• /
• 1987

Previous methods to map from a FORTRAN-like specification into a systolic array were difficult to find data dependencies because the specification was expressed and executed sequentially. Data-flow graph(DFG)s show data dependencies explicitly. In this paper we show a mapping tool from a DFG specification into a systolic array. We introduce the concept of a Systolic Pattern Stream(SPS) and use that concept to derive a systolic array.