• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.10 no.2
• /
• pp.134-141
• /
• 2010

We introduce the category IVSet(H) of interval-valued H-fuzzy sets and show that IVSet(H) satisfies all the conditions of a topological universe except the terminal separator property. And we study some relations among IVSet (H), ISet (H) and Set (H).

• The Pure and Applied Mathematics
• /
• v.12 no.1
• /
• pp.33-45
• /
• 2005

We introduce the category ISet(H) of intuitionistic H-fuzzy sets and show that ISet(H) satisfies all the conditions of a topological universe except the terminal separator property. And we study the relation between Set(H) and ISet(H).

• Journal of the Korean Institute of Intelligent Systems
• /
• v.2 no.3
• /
• pp.17-21
• /
• 1992

In this paper we consider the notion of fuzzy relation as a generalization of that of fuzzy set. For a complete Heyting algebra L. the category set(L) of all L-fuzzy sets is shown to be a bireflective subcategory of the category Rel(L) of all L-fuzzy relations and L-fuzzy relation preserving maps. We investigate categorical structures of subcategories of Rel(L) in view of quasitopos. Among those categories, we include the category L-fuzzy similarity relations with respect to both max-min and max-product compositions, respectively, as a cartesian closed topological category. Moreover, we describe exponential objects explicitly in terms of function space.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.24 no.6 s.177
• /
• pp.1470-1478
• /
• 2000

Analysis of actuating forces and joint reaction forces are essential to determine the capacity of actuators, to control the system and to design the components. This paper presents an algorithm tha t calculates actuating forces(or torques) depending on the various driving types to produce a given system motion. The joint reaction forces(or torques) of multibody systems with closed-loops are analyzed in the Cartesian coordinate space using the inverse velocity transformation technique. Two numerical examples were carried out to verify the algorithm proposed.

• Journal of Mechanical Science and Technology
• /
• v.15 no.6
• /
• pp.693-698
• /
• 2001

The analysis of actuating forces (or torques) and joint reaction forces (or moments) are essential to determine the capacity of actuators, to control the system and to design the components. This paper presents an inverse dynamic analysis algorithm for flexible multibody systems with closed-loops in the relative joint coordinate space. The joint reaction forces are analyzed in Cartesian coordinate space using the inverse velocity transformation technique. The joint coordinates and the deformation modal coordinates are used as the generalized coordinates of a flexible multibody system. The algorithm is verified through the analysis of a slider-crank mechanism.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.32 no.2
• /
• pp.173-180
• /
• 2014

The methods for implementing geocentric to geodetic coordinates conversion could be classified into two, which are respectively the closed-form and the iterative-form solutions. Essential conditions to achieve performances are accuracy, speed of convergence and/or simplicity of it's algorithm. Also, the algorithm must be valid at any of inner and outer points in the Earth, including center of Earth, the equatorial plane and the polar axis that are known as 'special regions'. This research planned for evaluating the feasibility of coordinates conversion in special regions, and comparing the accuracy of conversion solutions by using 10 methods for conversions from geocentric to geodetic coordinates. By comparing performances of statistical tests(with accuracy and solving success in special regions), Vermeille(2011) and Karney(2011) methods brought out more satisfied and finer results than other methods.

• Geophysics and Geophysical Exploration
• /
• v.25 no.1
• /
• pp.44-49
• /
• 2022

Closed-form expressions of vector gravity and gravity gradient tensor based on a line segment are derived. If a cylindrical object with axial symmetry is observed from a distance, it is possible to approximate it as a line segment; therefore, it is necessary to compute the gravity and the gravity gradient tensor due to a line source by using closed-form expressions. The gravitational potential for a line segment is defined as a one-dimensional integral, and this integral is differentiated with respect to the Cartesian coordinate system to derive the vector gravity. The expressions of the gravity gradient tensor are derived by differentiating the vector gravity once more in the same coordinate system.

• Journal of electromagnetic engineering and science
• /
• v.19 no.1
• /
• pp.6-12
• /
• 2019

An IE-FFT algorithm is implemented and applied to the electromagnetic (EM) solution of perfect electric conducting (PEC) scattering problems. The solution of the method of moments (MoM), based on the magnetic field integral equation (MFIE), is obtained for PEC objects with closed surfaces. The IE-FFT algorithm uses a uniform Cartesian grid to apply a global fast Fourier transform (FFT), which leads to significantly reduce memory requirement and speed up CPU with an iterative solver. The IE-FFT algorithm utilizes two discretizations, one for the unknown induced surface current on the planar triangular patches of 3D arbitrary geometries and the other on a uniform Cartesian grid for interpolating the free-space Green's function. The uniform interpolation of the Green's functions allows for a global FFT for far-field interaction terms, and the near-field interaction terms should be adequately corrected. A 3D block-Toeplitz structure for the Lagrangian interpolation of the Green's function is proposed. The MFIE formulation with the IE-FFT algorithm, without the help of a preconditioner, is converged in certain iterations with a generalized minimal residual (GMRES) method. The complexity of the IE-FFT is found to be approximately $O(N^{1.5})$and $O(N^{1.5}logN)$ for memory requirements and CPU time, respectively.

• Geophysics and Geophysical Exploration
• /
• v.23 no.1
• /
• pp.55-60
• /
• 2020

The closed-form expressions of gravity, magnetic, gravity gradient tensor, and magnetic gradient tensor due to a rectangular prism are derived. The vertical gravity is derived via triple integration of a rectangular prism in Cartesian coordinates, and the two horizontal components of vector gravity are then derived via cycle permutation of the axis variables of vertical gravity through the axial symmetry of the rectangular prism. The gravity gradient tensor is obtained by differentiating the vector gravity with respect to each coordinate. Using Poisson's relation, a vector magnetic field with constant magnetic direction can be obtained from the gravity gradient tensor. Finally, the magnetic gradient tensor is derived by differentiating the vector magnetic with respect to appropriate coordinates.

• Geophysics and Geophysical Exploration
• /
• v.23 no.1
• /
• pp.50-54
• /
• 2020

Herein, the closed-form expressions of the magnetic field due to an axially symmetric body such as a right cylinder, are derived. The magnetic field due to a right cylinder is converted from the gravity gradient tensor using Poisson's relation; the magnetic field induced by a constant magnetization can be obtained from the gravity gradient tensor with a constant density. Because of the axial symmetry of the cylinder, the expressions of gravity gradient tensor are derived in cylindrical coordinate and then transformed into Cartesian coordinates for the three components of the magnetic field using an arbitrary magnetization direction.