• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제17권2호
• /
• pp.137-143
• /
• 2010

Category Fuz of fuzzy sets has a similar function to the Category Set. But it forms a weak topos. We study a natural number object and a weak natural number object in the weak topos Fuz. Also we study the weak natural number object in $Fuz^C$.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제14권10호
• /
• pp.4098-4116
• /
• 2020

Mobile devices such as smartphones are very attractive targets for augmented reality (AR) services, but their limited resources make it difficult to increase the number of objects to be recognized. When the recognition process is scaled to a large number of objects, it typically requires significant computation time and memory. Therefore, most large-scale mobile AR systems rely on a server to outsource recognition process to a high-performance PC, but this limits the scenarios available in the AR services. As a part of realizing large-scale standalone mobile AR, this paper presents a solution to the problem of accuracy, memory, and speed for large-scale object recognition. To this end, we design our own basic feature and realize spatial locality, selective feature extraction, rough pose estimation, and selective feature matching. Experiments are performed to verify the appropriateness of the proposed method for realizing large-scale standalone mobile AR in terms of efficiency and accuracy.

• International Journal of Contents
• /
• 제3권4호
• /
• pp.15-21
• /
• 2007

Image morphing deals with the metamorphosis of one image into another. The field morphing depends on the manual work for most of the process, where a user has to designate the control lines. It takes time and requires skills to have fine quality results. It is an object of this paper to propose a method capable of realizing the semi-automation of field morphing using adaptive vertex correspondence based on image segmentation. The adaptive vertex correspondence process efficiently generates a pair of control lines by adaptively selecting reference partial contours based on the number of vertices that are included in the partial contour of the source morphing object and in the partial contour of the destination morphing object, in the pair of the partial contour designated by external control points through user input. The proposed method generates visually fluid morphs and warps with an easy-to-use interface. According to the proposed method, a user can shorten the time to set control lines and even an unskilled user can obtain natural morphing results as he or she designates a small number of external control points.

• 한국안전학회지
• /
• 제31권6호
• /
• pp.84-92
• /
• 2016

Since the mankind started its space mission, the number of artificial space objects has been increasing exponentially. It contains not just the space machines which are in use but the machines which are out of order. Meantime, those dead machines are being a serious danger, a real threat to human's lives and property because of it could re-enter into the earth's atmosphere and fall to the ground causing mega-disaster. As the number of space activities gets growing so far, the re-entry of the space objects will be a lot more happened in the future. Therefore, not just natural space object like asteroids but the artificial space object like artificial satellite and space station can cause the disaster by falling to the ground. To protect our nation and our property, the government has set up the space disaster management center in Korea astronomy and Space science Institute. In this study, we surveyed public's recognition of the space object's re-entry situation and analyzed it to contribute building national space disaster management policy.

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

In order to enhance dexterity in execution of robot tasks, a redundant number of degrees-of-freedom (DOF) is adopted for design of robotic mechanisms like robot arms and multi-fingered robot hands. Associated with such redundancy in the number of DOFs relative to the number of physical variables necessary and sufficient for description of a given task, an extra performance index is introduced for controlling such a redundant robot in order to avoid arising of an ill-posed problem of inverse kinematics from the task space to the joint space. This paper shows that such an ill-posedness of DOF redundancy can be resolved in a natural way by using a novel concept named “stability on a manifold”. To show this, two illustrative robot tasks 1) robotic handwriting and 2) control of an object posture via rolling contact by a multi-DOF finger are analyzed in details.

• Wind and Structures
• /
• 제30권2호
• /
• pp.199-210
• /
• 2020

Building wind pressure coefficient transiting test is a new method to test the building wind pressure coefficient by using the wind generated by a moving vehicle, which is susceptible to natural wind and other factors. In this paper, the Commonwealth Advisory Aeronautical Research Council standard model with a scale ratio of 1:300 is used as the test object, and the wind pressure coefficient transiting test is repeated under different natural wind conditions to study the influence of natural wind. Natural wind is measured by an ultrasonic anemometer at a fixed location. All building wind pressure coefficient transiting tests meet the test conditions, and the vehicle's driving speed is 72 km/h. The mean wind pressure coefficient, the fluctuating wind pressure coefficient, and the correlation coefficient of wind pressure are used to describe the influence of natural wind on the building wind pressure coefficient transiting test qualitatively and quantitatively. Some rules, which can also help subsequent transiting tests, are also summarized.

• 한국정보처리학회논문지
• /
• 제7권4호
• /
• pp.1082-1091
• /
• 2000

In Distributed Shared Memory systems, false sharing occurs when two different data items, not shared but accessed by two different processors, are allocated to a single block and is an important factor in degrading system performance. The paper first analyzes shared memory allocation and reference patterns in parallel applications that allocate memory for shared data objects using a dynamic memory allocator. The shared objects are sequentially allocated and generally show different reference patterns. If the objects with the same size are requested successively as many times as the number of processors, each object is referenced by only a particular processor. If the objects with the same size are requested successively much more than the number of processors, two or more successive objects are referenced by only particular processors. On the basis of these analyses, we propose a memory allocation scheme which allocates each object requested by different processors to different pages and evaluate the existing memory allocation techniques for reducing false sharing faults. Our allocation scheme reduces a considerable amount of false sharing faults for some applications with a little additional memory space.

• 한국멀티미디어학회논문지
• /
• 제13권5호
• /
• pp.651-662
• /
• 2010

본 연구는 외부환경에서 자율주행 로봇을 위해 중요한 물체를 찾기 위한 방법을 설명한다. 외부환경의 물체를 찾기 위해서 먼저 로봇은 외부환경에서 주행할 때 획득한 영상으로부터 물체를 검출하고 분할한다. 로봇은 물체의 후보를 자연물의 하늘과 나무로, 인공물의 빌딩으로 나눈다. 후보 물체를 분할하기 위해서 다중 특징을 이용한다. 다중 특징은 색상, 선분, 상황정보, 동시발생 행렬, 소실점 및 주요한 요소성분을 이용한다. 후보 특징은 물체의 특성에 맞게 혼합하여 물체를 분할한다. 이런 다중 특징은 물체에 대한 공간정보, 인간의 선험적인 지식을 이용한 물체의 기하학 정보, 공간적인 주파수 등으로 다양한 특징 추출 방법을 이용하여 물체의 영역분할의 결과를 얻는다. 물체의 분석은 분할된 영역을 이용하여 벽 영역, 창문, 정문과 같은 빌딩면의 기하학적인 속성을 찾는다. 빌딩은 소실점의 수직선분과 수평선분을 교차함으로써 그물을 얻는다. 빌딩의 벽 영역은 유사한 색상을 가지는 이웃해 있는 평행사변형의 그물을 합병해서 검출한다. 창문은 층의 수와 동일한 층에 있는 방의 수를 추정하여 빌딩의 높이와 크기를 추정한다. 실험에서 다중 특징을 이용하여 물체의 영역을 분할하고 빌딩의 기하학적인 속성을 이용하여 물체를 분석한다.

• 한국환경복원기술학회지
• /
• 제6권6호
• /
• pp.25-28
• /
• 2003

This study was conducted to development of rapid propagation method by leaf cuttings in Hibiscus hamabo native to southern seaside of Korea, and special object of this study was to determine the effects of IAA, IBA, and NAA on rooting in leaf cuttings of H. hamabo. Rooting was promoted by dipping treated with IAA and IBA. And rooting percentage was greatest at 1,000 and 2,000$mg{\cdot}L^{-1}$ IBA. At higher concentrations of IAA and IBA, more adventitious roots were developed. Also, IAA at high concentrations (above 2,000$mg{\cdot}L^{-1}$) and IBA ranged from 500~2,000$mg{\cdot}L^{-1}$ promoted on root number and rootingratio. However, root formation in Hibiscus leaf cuttings inhibited by NAA application.

• 대한수학회지
• /
• 제42권6호
• /
• pp.1111-1120
• /
• 2005

Hong and Nel in [8] obtained a number of spectral dualities between a cartesian closed topological category X and a category of algebras of suitable type in X in accordance with the original formalism of Porst and Wischnewsky[12]. In this paper, there arises a dual adjointness S $\vdash$ C between the category X = Lim of limit spaces and that A of MV-algebras in X. We firstly show that the spectral duality: $S(A)^{op}{\simeq}C(X^{op})$ holds for the dualizing object K = I = [0,1] or K = 2 = {0, 1}. Secondly, we study a duality between the category of Tychonoff spaces and the category of semi-simple MV-algebras. Furthermore, it is shown that for any $X\;\in\;Lim\;(X\;{\neq}\;{\emptyset})\;C(X,\;I)$ is densely embedded into a cube $I^/H/$, where H is a set.