• Journal of Institute of Control, Robotics and Systems
• /
• v.17 no.3
• /
• pp.199-205
• /
• 2011

This paper presents an algorithm capable of detecting free space for the autonomous vehicle navigation. The algorithm consists of two main steps: 1) estimation of longitudinal profile of road, 2) detection of free space. The estimation of longitudinal profile of road is detection of v-line in v-disparity image which is corresponded to road slope, using v-disparity image and hough transform, Dijkstra algorithm. To detect free space, we detect u-line in u-disparity image which is a boundary line between free space and obstacle's region, using u-disparity image and dynamic programming. Free space is decided by detected v-line and u-line. The proposed algorithm is proven to be successful through experiments under various traffic scenarios.

• Bulletin of the Korean Space Science Society
• /
• 1995.04a
• /
• pp.22-22
• /
• 1995

No Abstract. See Full-text

• The Journal of the Korea Contents Association
• /
• v.9 no.1
• /
• pp.438-445
• /
• 2009

Recently, the concern of ubiquitous City(u-City) in each level of governments is on the increase, and they are professing themselves to follow the u-city concept on constructing new urban development or urban renewal project. But the u-city plan and construction proceed as the simple sets of advanced technology without fundamental space concept or space plan of the u-city. Therefore, the u-city as a citizen's living space and a basic urban environment is defined in this article, the viewpoint of the space plan and the recent trends of u-city in korea are reviewed. On the basis of this review, this article proposed an approach of the spatial plan for a u-city construction, here the approach consisted of the 3 stages of planning, constructing, and maintaining of the u-city, and finally the role of the participant in the each stage and spatial hierarchy was proposed.

• International conference on construction engineering and project management
• /
• 2009.05a
• /
• pp.1377-1382
• /
• 2009

U-City related researches and development have been actively conducted in Korea since 2002. According to the Act on Ubiquitous City Construction, "U-City" is defined as "the city to provide ubiquitous service anytime anywhere through the existing ubiquitous backbone systems and ubiquitous technologies, ultimately for the purpose of improving urban competitiveness and quality of life. This research explains the plan to develop collective management technology for integrated operation of U-Space which makes up U-City. Specifically, this report is intended to suggest basic approach of identifying collective management elements of each U-Space type, developing integrated management system and creating interface module to link the system with urban integrated operation center.

• Communications of the Korean Mathematical Society
• /
• v.27 no.1
• /
• pp.201-205
• /
• 2012

A space X is cs-starcompact if for every open cover $\mathcal{U}$ of X, there exists a convergent sequence S of X such that St(S, $\mathcal{U}$) = X, where $St(S,\mathcal{U})\;=\; \cup\{U{\in}\mathcal{U}:U{\cap}S{\neq}\phi\}$. In this paper, we prove the following statements: (1) There exists a Tychonoff cs-starcompact space having a regular-closed subset which is not cs-starcompact; (2) There exists a Hausdorff cs-starcompact space with arbitrary large extent; (3) Every Hausdorff centered-Lindel$\ddot{o}$f space can be embedded in a Hausdorff cs-starcompact space as a closed subspace.

• Journal of the Chungcheong Mathematical Society
• /
• v.33 no.1
• /
• pp.157-163
• /
• 2020

Conley introduced attracting sets and repelling sets for a flow on a topological space and showed that if f is a flow on a compact metric space, then 𝓡(f) = ⋂{A_U ∪ A*_U |U is a trapping region for f}. In this paper we introduce chain recurrent set, trapping region, attracting set and repelling set for a flow f on a TVS-cone metric space and prove that if f is a flow on a compact TVS-cone metric space, then 𝓡(f) = ⋂{A_U ∪ A*_U |U is a trapping region for f}.

• Information Systems Review
• /
• v.8 no.1
• /
• pp.141-158
• /
• 2006

Recently, developing U-City as an integrated set of ubiquitous space services has been regarded as a promising field in realizing ubiquitous computing technology. However, well organized requirement analyses of U-City to declare what kinds of ubiquitous space services are needed and which ubiquitous computing technology should be incorporated to come up with the needs are still insufficient. Hence, the aims of this paper are to propose a set of unique U-City construction philosophies and to analyze which services should be offered in the ubiquitous space services in U-Cities. A field survey to the citizens who are potential end users of the ubiquitous space services was conducted to analyze the success factors of U-City using CSF methodology. Focused group interview with professionals in the field of ubiquitous computing technology in Korea was then performed to identify the relationship of the ubiquitous space services and the critical success factors.

• Journal of Aerospace System Engineering
• /
• v.15 no.1
• /
• pp.1-6
• /
• 2021

U.S contains the best technology, man power, and big investment in space. It considers space as not only a science and technology related area, but also as an industry and national security related area. Korea's space policy focuses on the development of space systems such as satellites and launch vehicles. Space policy systems of the two countries are also different, causing some discrepancy in mutual interest when we talk about cooperation with the U.S. This study introduced U.S space policy framework and compared it with Korea's policy. It is meaningful in that we can find an effective way of cooperation between two countries.

• Bulletin of the Korean Space Science Society
• /
• 2008.04a
• /
• pp.18.3-18.3
• /
• 2008

• Honam Mathematical Journal
• /
• v.37 no.4
• /
• pp.505-512
• /
• 2015

In this note we find the upper bound for ${\rho}(u^n,M)=\int_{0}^{T}\int_{0}^{{\mid}u(t){\mid}^n}p(s)dsdt$ and show that $F(y)=y^n$ is $m_{\phi}^M$-Bochner integrable on $C(\mathcal{O} _M)$ for $0{\leq}t{\leq}T$ when $\int_{\mathcal{O}_M}{\parallel}u_0{\parallel}_M^nd{\phi}(u_0)$ is finite.