• Journal of the Korean Institute of Intelligent Systems
• /
• v.12 no.2
• /
• pp.182-186
• /
• 2002

We investigate the quotient structure of a product BCK-algebra and fundamental homomorphism theorem and show their some properties.

• Communications of the Korean Mathematical Society
• /
• v.10 no.3
• /
• pp.661-679
• /
• 1995

The concept of the structure conformal vector field C on a Sasakian manifold M is defined. The existence of such a C on M is determined by an exterior differential system in involution. In this case M is a foliate manifold and the vector field C enjoys the property to be exterior concurrent. This allows to prove some interesting properties of the Ricci tensor and Obata's theorem concerning isometries to a sphere. Different properties of the conformal Lie algebra induced by C are also discussed.

• Journal of the Korean Mathematical Society
• /
• v.32 no.4
• /
• pp.849-856
• /
• 1995

There are some papers on structure theorems for the spaces of matrices over certain semirings. Beasley, Gregory and Pullman [1] obtained characterizations of semiring rank 1 matrices over certain semirings of the nonnegative reals. Beasley and Pullman [2] also obtained the structure theorems of Boolean rank 1 spaces. Since the semiring rank of a matrix differs from the column rank of it in general, we consider a structure theorem for semiring rank in [1] in view of column rank.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.19 no.6
• /
• pp.1-8
• /
• 1982

In this paper a new analytic method for Ladder networks by weighted tree is proposed. In contrast to conventional tree concept that represents only information structure, in this paper, a tree with hierarchical structure is established by giving wei체t of impedance Z and admittance Y to branch and representing each node of its branch as a pair of voltage and current. Then, by defining generation level from tree structure and by parsing between standand level and arbitrary level, driving point impedance, transfer function and transfer impedance are simultaneously obtained instead of complex calculation method by inspection. The validity of this method is proved by the reciprocal theorem and this method is applied to four-terminal constants and the feedback network.

• Journal of the Korean Mathematical Society
• /
• v.58 no.4
• /
• pp.895-920
• /
• 2021

In this paper, first we introduce the full expression of the Riemannian curvature tensor of a real hypersurface M in the complex quadric Q^m from the equation of Gauss and some important formulas for the structure Jacobi operator R_ξ and its derivatives ∇R_ξ under the Levi-Civita connection ∇ of M. Next we give a complete classification of Hopf real hypersurfaces with Reeb parallel structure Jacobi operator, ∇_ξR_ξ = 0, in the complex quadric Q^m for m ≥ 3. In addition, we also consider a new notion of 𝒞-parallel structure Jacobi operator of M and give a nonexistence theorem for Hopf real hypersurfaces with 𝒞-parallel structure Jacobi operator in Q^m, for m ≥ 3.

• Journal of Advanced Marine Engineering and Technology
• /
• v.28 no.8
• /
• pp.1299-1312
• /
• 2004

This paper suggests the simple form of a fuzzy PID controller and describes the design principle, tracking performance, stability analysis and changes of parameters of a suggested fuzzy PID controller. A fuzzy PID controller is derived from the design procedure of fuzzy control. It is well known that a fuzzy PID controller has a simple structure of the conventional PID controller but posses its self-tuning control capability and the gains of a fuzzy PID controller become nonlinear functions of the inputs. Nonlinear calculation during fuzzification, defuzzification and the fuzzy inference require more time in computation. To increase the applicability of a fuzzy PID controller to digital computer, a simple form of a fuzzy PID controller is introduced by the backward difference mapping and the analysis of the fuzzy input space. To guarantee the BIBO stability of a suggested fuzzy PID controller, ‘small gain theorem’ which proves the BIBO stability of a fuzzy PI and a fuzzy PD controller is used. After a detailed stability analysis using ‘small gain theorem’, from which a simple and practical method to decide the parameters of a fuzzy PID controller is derived. Through the computer simulations for the linear and nonlinear plants, the performance of a suggested fuzzy PID controller will be assured and the variation of the gains of a fuzzy PID controller will be investigated.

• Proceeding of EDISON Challenge
• /
• 2016.03a
• /
• pp.37-54
• /
• 2016

The methods for estimating the change of free energy in dissipative particle dynamics (DPD) are discussed on the basis of fluctuation theorems. Fluctuation theorems are tactics to evaluate free energy changes from non-equilibrium work distributions and have several forms, as proposed by Jarzynski, Crooks, and Bennett. The validity of these methods however, has been shown merely with the molecular dynamics or Langevin dynamics. In this study, the appropriate forms of fluctuation theorems for dissipative particle dynamics, which has similar structure to that of Langevin dynamics, are suggested using Liouville's theorem, and they are proved equivalent to original fluctuation theorems. Work distribution functions, which are probability distribution functions of works exerted on the system within the systematic change, are the basics of fluctuation theorems and their shapes are turned out to be dependent on the phase space trajectory of the change of the system. The reliability of Jarzynski and Crooks methods is highly dependent on the number of simulations to measure works and the shapes of the work distribution functions. Bennett method, however, can evaluate free energy changes even when Jarzynski and Crooks methods fail to do so.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.13 no.7
• /
• pp.3690-3713
• /
• 2019

According to the main group key management schemes logical key hierarchy (LKH), exclusion basis systems (EBS) and other group key schemes are limited in network structure, collusion attack, high energy consumption, and the single point of failure, this paper presents a group key management scheme for wireless sensor networks based on Lagrange interpolation polynomial characteristic (AGKMS). That Chinese remainder theorem is turned into a Lagrange interpolation polynomial based on the function property of Chinese remainder theorem firstly. And then the base station (BS) generates a Lagrange interpolation polynomial function f(x) and turns it to be a mix-function f(x)' based on the key information m(i) of node i. In the end, node i can obtain the group key K by receiving the message f(m(i))' from the cluster head node j. The analysis results of safety performance show that AGKMS has good network security, key independence, anti-capture, low storage cost, low computation cost, and good scalability.

• Kyungpook Mathematical Journal
• /
• v.45 no.1
• /
• pp.55-65
• /
• 2005

We find the expression of the curvature tensor field for a manifold with is endowed with an almost contact structure satisfying the condition (1.7). By using this condition we obtain some properties of the Ricci tensor and scalar curvature (d. Theorem 3.2 and Proposition 3.2).

• Journal of applied mathematics & informatics
• /
• v.7 no.1
• /
• pp.289-295
• /
• 2000

In this note, we define a ${Q^*}-ideal$ in a seminear-ring which is analogous of a Q-ideal in a semiring, and we construct a quotient seminear-ring. Also, We prove the fundamental theorem of homomorphisms for seminear-rings.