• The Pure and Applied Mathematics
• /
• v.17 no.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)
• /
• v.14 no.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
• /
• v.3 no.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.

• Journal of the Korean Society of Safety
• /
• v.31 no.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.10a
• /
• 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
• /
• v.30 no.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.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.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.

• Journal of Korea Multimedia Society
• /
• v.13 no.5
• /
• pp.651-662
• /
• 2010

This paper describes a method to identify objects for autonomous navigation of an outdoor mobile robot. To identify objects, the robot recognizes the object from an image taken by moving robot on outdoor environment. As a beginning, this paper presents the candidates for a segment of region to building of artificial object, sky and trees of natural objects. Then we define their characteristics individually. In the process, we segment the regions of the objects included by preprocessing using multiple features. Multiple features are HSI, line segments, context information, hue co-occurrence matrix, principal components and vanishing point. An analysis of building identifies the geometrical properties of building facet such as wall region, windows and entrance. The building as intersection in vertical and horizontal line segment of vanishing point extracts the mesh. The wall region of building detect by merging the mesh of the neighbor parallelograms that have similar colors. The property estimates the number of story and rooms in the same floors by merging skewed parallelograms of the same color. We accomplish the result of image segmentation using multiple features and the geometrical properties analysis of object through experiments.

• Journal of the Korean Society of Environmental Restoration Technology
• /
• v.6 no.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.

• Journal of the Korean Mathematical Society
• /
• v.42 no.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.