• 대한수학회지
• /
• 제35권2호
• /
• pp.491-502
• /
• 1998

We obtain new fixed point theorems on maps defined on "locally G-convex" subsets of a generalized convex spaces. Our first theorem is a Schauder-Tychonoff type generalization of the Brouwer fixed point theorem for a G-convex space, and the second main result is a fixed point theorem for the Kakutani maps. Our results extend many known generalizations of the Brouwer theorem, and are based on the Knaster-Kuratowski-Mazurkiewicz theorem. From these results, we deduce new results on collectively fixed points, intersection theorems for sets with convex sections and quasi-equilibrium theorems.

• 한국ITS학회 논문지
• /
• 제18권6호
• /
• pp.124-136
• /
• 2019

교차로에서의 자율주행은 다양한 차량이 혼재하며 주행환경이 복잡한 특성으로 인하여 교통 객체 간의 교통정보 교환을 통한 자율주행 지원이 필요하다. 이와 관련되어 인접한 교차로 간의 교통정보 교환이 요구되고 있으나 국내 표준노드·링크 체계에서 교차로를 나타내는 노드 ID는 일련번호를 포함한 구성 체계를 가지고 있어 교차로의 갱신 및 ID를 통한 교차로의 위치 정보 파악에 한계가 있다. 본 논문에서는 교차로 ID 내에 위치정보가 포함되도록 교차로의 2차원 좌표를 가공 및 병합하여 생성한 좌표 기반 교차로 ID 구성 체계를 설계하였다. 제시한 교차로 ID의 적용 가능성을 검증하기 위해 국내 교차로를 대상으로 새로운 교차로 ID를 적용하였으며 중복된 값이 없는 것을 확인하였다. 좌표 기반 교차로 ID는 데이터 크기가 기존 노드 ID 대비 60% 줄어들었으며 GIS 툴 없이 인근 교차로 검색 및 Box 형태의 특정 지역 내 교차로 추출과 같은 공간 쿼리가 가능하다. 따라서 좌표 기반 교차로 ID는 기존 노드 ID보다 확장성 및 활용도가 높을 것으로 예상된다.

• 한국정밀공학회지
• /
• 제16권7호
• /
• pp.119-124
• /
• 1999

A method to find the line of sight ray in space which corresponds to a point in an image plane is presented. The line of sight ray is defined by two points which are the intersections between the two calibration planes and the sight ray. The intersection point is found by the oblique coordinate mapping between the image plane and the calibration plane in the space. The proposed oblique coordinate mapping method has advantages over the transformation matrix method in the required memory space and computation time.

• 대한수학회보
• /
• 제29권2호
• /
• pp.295-300
• /
• 1992

In [5] it was shown that if T .mem. L(X) is regular on a Banach space X, with finite dimensional intersection T$^{-1}$ (0).cap.T(X) and if S .mem. L(X) is invertible, commute with T and has sufficiently small norm then T - S in upper semi-Fredholm, and hence essentially one-one, in the sense that the null space of T - S is finite dimensional ([4] Theorem 2; [5] Theorem 2). In this note we extend this result to incomplete normed space.

• 한국CDE학회논문집
• /
• 제22권1호
• /
• pp.59-69
• /
• 2017

Internal capacity of a refrigerator is an important indicator for design and purchasing criteria. The components facing the internal space may have holes or gaps between parts. In traditional way, design engineers manually remodeled the parts to fill the holes and the gaps for enclosed boundary of the internal space. Then they calculated internal volume by subtracting the assembly of parts from its enclosing volume. However, filling holes and gaps is not an automated process requiring a plenty of labor and time. In this research, we have developed a voxel-based method to estimate the internal volume of a refrigerator automatically. It starts transforming all components facing the interior space into voxels and fills all holes and gaps automatically by the developed hole-filling algorithm to form a completely closed boundary of the assembly. Then, it identifies the boundary voxels that are facing to the internal voxels with any part of the component. After getting the intersection points between the boundary voxels and the surfaces of components, it generates the boundary surface of triangular facets with the intersection points. Finally, it estimates the internal volume by adding volume of each tetrahedron composed of a triangle of boundary surface and an arbitrary point.

• 대한토목학회논문집
• /
• 제28권3D호
• /
• pp.295-306
• /
• 2008

교차로란 2개 이상의 도로가 교차 접속되는 공간 및 그 내부의 교통시설물을 말하는 것으로 교차로의 기하구조 운영방법 등에 따라 운전자가 경로를 선정하는 의사결정 지점이다. 운전자에게 의사결정을 요구하는 것은 그들에게 부담을 주어 사고 발생확률을 높인다는 것을 의미한다. 따라서 운전자에게 의사결정 부담을 경감시켜주고 상충수를 현저하게 줄여주는 교차로의 형태로 회전형교차로(Roundabout)가 유럽 등에서는 성공적으로 많은 지점에서 시행되고 있다. 우리나라의 경우는 도입기에 있으며 도입에 많은 어려움이 있는 실정이다. 그리고 Roundabout을 적용하는데 있어 정량적인 기준이 없이 무차별적으로 도입되고 있다. 따라서 본 연구는 일반 평면교차로 유형적용의 우선순위를 위해 교통소통(지체)과 교통안전(사고)을 동시에 고려하여 교차로의 유형을 평가 결정하는 과정을 제시하였다. 첫째, 교통사고는 기존의 신호교차로, 비신호교차로, Roundabout의 사고예측모형을 고찰하고 이를 토대로 회전교통량에 따라 사고건수를 예측하여 각 교차로별로 그 건수를 제시하였다. 둘째, 지체는 TSIS-NETSIM 프로그램을 이용하여 각 교차로별, 회전교통량별로 구분하여 이를 계산 분석하였다. 셋째, 앞서 예측된 교통사고와 지체도를 통해서 얻어진 결과를 바탕으로 사고비용, 지체비용을 산정하고 이를 바탕으로 신호교차로, 비신호교차로, Roundabout의 회전교통량별로 우선순위를 선정하고 가장 적정한 교차로 유형을 결정하였다.

• 한국ITS학회 논문지
• /
• 제2권1호
• /
• pp.41-52
• /
• 2003

본 연구의 목적은 기존 신호운용체계의 효율적인 운용과 안전한 보행자 통행시간을 보장한다는 전제하에, 신호교차로 에서 보행자신호로 인해 발생하는 불합리한 좌회전차량의 꼬리물림현상과 우회전차량 진행불가현상이 직진 교통류에 미치는 소통장애를 해소하는 방안을 제시하는 것이다. 본 연구에서 제시하는 방안은 차량직진신호 점등 후 몇 초 정도의 시차(步行者信號 前時間)를 두고 보행자신호를 운용함으로써 보행이 시작되기 전에 회전교통류가 교차로에서 소거되도록 하는 것이다. 이를 위하여 첨두시간에 교차로에서 보행자신호 전시간을 점차 확장시키는 방법으로 좌회전 꼬리물림$\cdot$우회전 진행불가차량 발생현상을 현장조사 하였으며, 분석결과는 다음과 같다. 첫째, 보행자신호 전시간을 연장할수록 직진교통류 소통장애를 야기하는 좌회전 꼬리물림현상과 우회전 진행불가현 상이 현저히 감소하였다. 둘째, 교차로와 횡단보도간의 대기공간이 수용할 수 있는 범위 내에서는 좌회전 꼬리물림차량과 우회전 진행불가차량도 직진차량에 장애를 주지 않았다. 셋째, 이중 횡단보도에서는 신호현시체계상 좌회전 꼬리물림현상이 발생치 않으며 우회전 진행불가현상은 충분한 대기공간으로 인해 직진차량에 미치는 영향이 미미하였다. 검증 결과 보행자신호 전시간 부여는 교차로 소통효율성 증진에 유의한 것으로 판단되었으며 이를 운용하기 위해서는 회전교통량과 횡단보도의 위치$\cdot$종류에 따라 개개 교차로별로 보행자신호 전시간이 설정되어야 한다는 결론을 얻었다.

• 대한교통학회지
• /
• 제30권6호
• /
• pp.71-80
• /
• 2012

본 연구에서는 개별차량의 구간통행시간 정보를 이용한 독립교차로의 실시간 신호제어 알고리즘을 개발하였다. DSRC와 같이 개별차량의 ID와 검지시각 정보를 수집할 수 있는 검지체계를 적용하였으며, 개별차량의 통행시간 정보로 부터 도착교통류율, 지체, 적색시간 변화에 따른 지체 변화량을 산정하기 위한 모형을 정립하였다. 통행시간기반 신호제어 알고리즘은 교차로 지체를 최소화 시키기 위한 현시별 적색시간 변화량을 결정하며, 선형계획모형을 적용하여 신호시간의 최적화 과정을 수행한다. 알고리즘의 효과평가를 위해 CORSIM과 RUN TIME EXTENSION을 적용한 미시적 시뮬레이션 분석을 시행하였으며, 이동류의 포화상태를 확인하여 지체 최소화를 위한 신호시간이 산정됨을 확인하였다. 또한 Probe 차량의 비율에 따라 이동류의 지체추정 성능을 확인하였으며, 특정 시나리오에 한정된 결과이나 40% 이상 Probe 차량 비율이 확보되는 경우 효과적 신호제어가 가능함을 확인하였다. 최근 국내 교통관리분야에서는 하이패스, 첨단교통관리시스템(ATMS), 광역교통정보사업(UTIS) 등 개별차량의 구간정보를 수집할 수 있는 검지체계가 급격히 확산되고 있으며, 본 연구는 실시간 신호운영 분야에서 검지체계의 변화를 수용하기 위한 방안으로서 새로운 형태의 신호제어 방법론을 제시하였다는데 의의가 있겠다.

• 충청수학회지
• /
• 제26권1호
• /
• pp.221-229
• /
• 2013

We show that if X is a space such that ${\beta}QF(X)=QF({\beta}X)$ and each stable $Z(X)^{\sharp}$-ultrafilter has the countable intersection property, then there is a homeomorphism $h_X:vQF(X){\rightarrow}QF(vX)$ with $r_X={\Phi}_{vX}{\circ}h_X$. Moreover, if ${\beta}QF(X)=QF({\beta}X)$ and $vE(X)=E(vX)$ or $v{\Lambda}(X)={\Lambda}(vX)$, then $vQF(X)=QF(vX)$.

• 대한전자공학회논문지
• /
• 제25권12호
• /
• pp.1633-1638
• /
• 1988

This paper proposes the lattice-structured space subdivision method using bounding volume to reduce a great number of ray-surface intersection calculations in ray tracing algorithm for the computer graphics. We show that this method reduced 50%-70% calculations compard to pre-exist method by experiments.