• Honam Mathematical Journal
• /
• v.36 no.3
• /
• pp.695-706
• /
• 2014

Various properties of digital covering spaces have been substantially used in studying digital homotopic properties of digital images. In particular, these are so related to the study of a digital fundamental group, a classification of digital images, an automorphism group of a digital covering space and so forth. The goal of the present paper, as a survey article, to speak out utility of digital covering theory. Besides, the present paper recalls that the papers [1, 4, 30] took their own approaches into the study of a digital fundamental group. For instance, they consider the digital fundamental group of the special digital image (X, 4), where X := $SC^{2,8}_4$ which is a simple closed 4-curve with eight elements in $Z^2$, as a group which is isomorphic to an infinite cyclic group such as (Z, +). In spite of this approach, they could not propose any digital topological tools to get the result. Namely, the papers [4, 30] consider a simple closed 4 or 8-curve to be a kind of simple closed curve from the viewpoint of a Hausdorff topological structure, i.e. a continuous analogue induced by an algebraic topological approach. However, in digital topology we need to develop a digital topological tool to calculate a digital fundamental group of a given digital space. Finally, the paper [9] firstly developed the notion of a digital covering space and further, the advanced and simplified version was proposed in [21]. Thus the present paper refers the history and the process of calculating a digital fundamental group by using various tools and some utilities of digital covering spaces. Furthermore, we deal with some parts of the preprint [11] which were not published in a journal (see Theorems 4.3 and 4.4). Finally, the paper suggests an efficient process of the calculation of digital fundamental groups of digital images.

• Geomechanics and Engineering
• /
• v.19 no.5
• /
• pp.463-472
• /
• 2019

The mode perturbation method (MPM) is suitable and efficient for solving the eigenvalue problem of a nonuniform soil deposit whose property varies with depth. However, results of the MPM do not always converge to the exact solution, when the variation of soil deposit property is discontinuous. This discontinuity is typical because soil is usually made up of sedimentary layers of different geologic materials. Based on the energy integral of the variational principle, a new mode perturbation method, the energy-based mode perturbation method (EMPM), is proposed to address the convergence of the perturbation solution on the natural frequencies and the corresponding mode shapes and is able to find solution whether the soil properties are continuous or not. First, the variational principle is used to transform the variable coefficient differential equation into an equivalent energy integral equation. Then, the natural mode shapes of the uniform shear beam with same height and boundary conditions are used as Ritz function. The EMPM transforms the energy integral equation into a set of nonlinear algebraic equations which significantly simplifies the eigenvalue solution of the soil layer with variable properties. Finally, the accuracy and convergence of this new method are illustrated with two case study examples. Numerical results show that the EMPM is more accurate and convergent than the MPM. As for the mode shapes of the uniform shear beam included in the EMPM, the additional 8 modes of vibration are sufficient in engineering applications.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1995.10a
• /
• pp.151-156
• /
• 1995

This paper presents a methodology for real-time detecting and identifying the runout geometry of an end mill. Cutter runout is a common but undesirable phenomenon in multi-tooth machining such as end-milling process because it introduces variable chip loading to insert which results in a accelerated tool wear,amplification of force variation and hence enlargement vibration amplitude. Form understanding of chip load change kinematics, the analytical sutting force model was formulated as the angular domain convolution of three dynamic cutting force component functions. By virtue of the convolution integration property, the frequency domain expression of the total cutting forces can be given as the algebraic multiplication of the Fourier transforms of the local cutting forces and the chip width density of the cutter. Experimental study are presented to validata the analytical model. This study provides the in-process monitoring and compensation of dynamic cutter runout to improve machining tolerance tolerance and surface quality for industriql application.

• 제어로봇시스템학회:학술대회논문집
• /
• 1991.10a
• /
• pp.213-218
• /
• 1991

A new model which contains the dynamics of the motor system and the kinematics of the timing belt system is derived for an inverted pendulum system in FAPA Lab. Generalized standard compensator configuration(SCC) which contains the variable design parameters Kl, K2, .., K5 is proposed so that any desired design specification can be achieved. The robust controller which has robust property against the influence of sensor noise, system parameter variation and model uncertainty is designed minimizing the H$_{\infty}$-norm of transfer function from exogenous input to controlled output. The method of solving the two Riccati equations in state space and determining the controller uses on iteration method where the unique stabilizing solution to two algebraic Riccati equation must be positive definite and the spectral radius of their product less than .gamma.$^{2}$. Some cases are derived by varying the design parameter for simulation on a digital computer and experimenting the H$_{\infty}$- controller on an analog computer. The design parameters of controller which satisfies the desired control specification is selected on the basis of the simulation result and experimenting. The reasonableness and validity of the simulation and the robustness of the controller is established.d.

• Journal of Mechanical Science and Technology
• /
• v.18 no.1
• /
• pp.92-105
• /
• 2004

A new algorithm for planning a collision-free path based on algebraic curve is developed and the concept of collision-free Path Space (PS) is introduced. This paper presents a Geometry Mapping (GM) based on two straight curves in which the intermediate connection point is organized in elliptic locus ($\delta$, $\theta$). The GM produces two-dimensional PS that is used to create the shortest collision-free path. The elliptic locus of intermediate connection point has a special property in that the total distance between the focus points through a point on ellipse is the same regardless of the location of the intermediate connection point on the ellipse. Since the radial distance, a, represents the total length of the path, the collision-free path can be found as the GM proceeds from $\delta$=0 (the direct path) to $\delta$=$\delta$$\_$max/(the longest path) resulting in the minimum time search. The GM of elliptic workspace (EWS) requires calculation of interference in circumferential direction only. The procedure for GM includes categorization of obstacles to .educe necessary calculation. A GM based on rectangular workspace (RWS) using Cartesian coordinate is also considered to show yet another possible GM. The transformations of PS among Circular Workspace Geometry Mapping (CWS GM) , Elliptic Workspace Geometry Mapping (EWS GM) , and Rectangular Workspace Geometry Mapping (RWS GM), are also considered. The simulations for the EWS GM on various computer systems are carried out to measure performance of algorithm and the results are presented.

• The Transactions of the Korean Institute of Power Electronics
• /
• v.22 no.4
• /
• pp.297-304
• /
• 2017

The purpose of this paper is to analyze losses because of switching devices and the secondary side circuit diodes of 500 W full bridge dc-dc converter by applying gallium nitride (GaN) field-effect transistor (FET), which is one of the wide band gap devices. For the detailed device analysis, we translate the specific resistance relation caused by the GaN FET material property into algebraic expression, and investigate the influence of the GaN FET structure and characteristic on efficiency and system specifications. In addition, we mathematically compare the diode rectifier circuit loss, which is a full bridge dc-dc converter secondary side circuit, with the synchronous rectifier circuit loss using silicon metal-oxide semiconductor (Si MOSFET) or GaN FET, which produce the full bridge dc-dc converter analytical value validity to derive the final efficiency and loss. We also design the heat sink based on the mathematically derived loss value, and suggest the heat sink size by purpose and the heat divergence degree through simulation.

• Journal of the Korean Society of Manufacturing Process Engineers
• /
• v.18 no.11
• /
• pp.57-62
• /
• 2019

This paper describes the prediction of eigenfrequencies due to changes in stiffness and mass in the connection area of the lap joint beam in terms of linear and torsional stiffness as well as connection length. The sensitivities of mass and stiffness in the finite element model were derived by using the first-order differential and algebraic equation and were thereafter applied to obtain new natural frequencies that were compared with theoretical exact solutions. Newly predicted natural frequencies due to only a change in stiffness were in relatively good agreement with those in lower modes for rigid joints, while further investigation was needed for flexible joints. On the other hand, only the change in mass resulted in a large discrepancy in the flexible joint case. It may be strongly anticipated that this study will provide a useful tool for estimating modal parameters by change in any design variable, such as the structural dimension, material property, or connection type for a large-scale structure, even though the proposed methodology is currently limited to a jointed beam.

• Journal of applied mathematics & informatics
• /
• v.41 no.5
• /
• pp.1037-1046
• /
• 2023

The reason behind to investigate axiom systems with fewer axioms into investigate what types of results still hold, and what results become more general. Seminearrings obtained by the generalisation of nearrings and semirings. Clearly, seminearrings are common abstraction of semirings and nearrings. The aim of this work is to carry out an extensive study on algebraic structure of seminearrings and the major objective is to further enhance the theory of seminearrings in order to study the special structures of seminearrings, this work addresses some special structures of seminearrings such as right duo seminearrings. The right ideal of a seminearring need not be a left ideal. We focused on those seminear-rings which demonstrate this property. A seminearring S is right duo if every right ideal is two sided. Here we have concentrated on the seminearring which are right duo and regular. Main aim of this paper is to deal with properties of regularity in right duo seminearring. We have given some results on right duo seminearring. Followed by that, we have derived some theorems on the relation between the properties of seminearring such as regularity, semi simplicity and intra-regularity in right duo seminearring. We also illustrate this concept with suitable examples.

• Steel and Composite Structures
• /
• v.51 no.6
• /
• pp.601-617
• /
• 2024

This work aims to explore the static behaviour of a tapered functionally graded porous plate (FGPP) with even and uneven porosity distributions resting on two parametric elastic foundations. The plate under investigation is subjected to bi-sinusoidal loading and the edges of the plate are exposed to different combinations of edge restrictions. In order to examin the static behaviour, bending factors (BF) related to bending and normal stresses have been evaluated using classical plate theory. To achieve this, the governing equations have been derived employing the energy concept. And to solve it, the Rayleigh-Ritz method with an algebraic function has been utilised; it is simple, precise, and computationally intensive. After convergence and validation analyses, new findings are made available. The BF of the plate have been exhaustively examined to explain the influence of aspect ratios, material property index, porosity factor, taper factor, and Winkler and Pasternak stiffness. It is observed that the BF of an elastically supported FGPP are influenced by the index of material propery and the aspect ratio. Findings also indicate that the impact of porosity is more when it is spread evenly, as opposed to when it is unevenly distributed. Further, the deformed plate's structure is significantly influenced by the different thickness variations. Examination of bending characteristics of FGPP having different new cases of thickness variations with different types of porosity distribution under fifteen different mixed edge constraints is the prime novality of this work. Results presented are reliable enough to be taken into account for future studies.

• Journal of the Institute of Electronics Engineers of Korea SP
• /
• v.37 no.3
• /
• pp.70-78
• /
• 2000

In this study, a new method for canceling MRI artifacts through the motion translation of image plane is presented Breathing often makes problems in a clinical diagnosis. Assuming that the head moves up and down due to breathing, rigid translational motions in only y(phase encoding axis) direction are treated Unlike the conventional Iterative phase retrieval algorithm, this method is based on the MRI imaging process and analyzing of Image property A new constraint condition with which the motion component and the true image component in the MRI signal can be separated by a simple algebraic operation is extracted After the x(read out) directional Fourier transformation of MRI signal is done, the y(phase encoding) directional spectrum phasing value is Just an algebraic sum of the Image component and the motion component Meanwhile, as It is known that the density of subcutaneous fat area is almost uniform in the head tomographs, the density distribution along a y directional line on this fat area is regarded as symmetric shape If the density function is symmetric, then the phase of spectrum changes linearly with the position Hence, the departure component from the linear function can be separated as the motion component Based on this constrant condition, the new method of artifact cancellation is presented Finally, the effectiveness of this algorithm IS shown by using a phantom with simulated motions.