• Journal for History of Mathematics
• /
• v.12 no.2
• /
• pp.47-54
• /
• 1999

We introduce some historical facts on number theory, especially prime numbers and modular arithmetic. And then, with the viewpoint of computer arithmetic, residue number systems are considered as an alternate to positional number systems so that high performance and high speed computation can be achieved in a specified domain such as cryptography and digital signal processing.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.11 no.8
• /
• pp.742-745
• /
• 2001

In this paper, we consider performance assessment methods of mathematics and investigate some difficulties which teachers have been grading of performance assessment of mathematics. And also, using fuzzy theory, we define fuzzy grade sheets for performance assessment of mathematics and discuss some usefulness and simple examples of this new definition.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1993.06a
• /
• pp.1159-1162
• /
• 1993

We describe six important defuzzification methods and their respective merits and shortcomings, dependent on the rules, domains, etc. Furthermore, we present an alternative approach, the so called ξ-Quality defuzzification method, for the case that the output fuzzy sets have different shape or are asymmetric.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1996.10a
• /
• pp.45-49
• /
• 1996

In this paper, we will define Choquet integrals of set-valued functions. Then, we show some properties of Choquet integrals of set-valued functions.

• Nonlinear Functional Analysis and Applications
• /
• v.28 no.4
• /
• pp.1115-1125
• /
• 2023

This paper deals with the controllability of linear and nonlinear generalized fractional dynamical systems in finite dimensional spaces. The results are obtained by using fractional calculus, Mittag-Leffler function and Schauder's fixed point theorem. Observability of linear system is also discussed. Examples are given to illustrate the theory.

• Smart Structures and Systems
• /
• v.21 no.4
• /
• pp.397-405
• /
• 2018

In this paper, a novel simple shear deformation theory for buckling analysis of single layer graphene sheet is formulated using the nonlocal differential constitutive relations of Eringen. The present theory involves only three unknown and three governing equation as in the classical plate theory, but it is capable of accurately capturing shear deformation effects, instead of five as in the well-known first shear deformation theory (FSDT) and higher-order shear deformation theory (HSDT). A shear correction factor is, therefore, not required. Nonlocal elasticity theory is employed to investigate effects of small scale on buckling of the rectangular nano-plate. The equations of motion of the nonlocal theories are derived and solved via Navier's procedure for all edges simply supported boundary conditions. The results are verified with the known results in the literature. The influences played by Effects of nonlocal parameter, length, thickness of the graphene sheets and shear deformation effect on the critical buckling load are studied. Verification studies show that the proposed theory is not only accurate and simple in solving the buckling nanoplates, but also comparable with the other higher-order shear deformation theories which contain more number of unknowns.

• Information Systems Review
• /
• v.12 no.3
• /
• pp.159-175
• /
• 2010

Although many studies have analyzed and identified the importance of intrinsic motivation in the acceptance of information technology (IT), especially hedonic systems such as online game and online shopping, the acceptance of programming languages such as Java were not studied in a view of intrinsic motivations. The objective of this study was to investigate the effects of intrinsic motivation on the acceptance of programming language by the longitudinal analysis. In the service of the objective, we suggested the research model which included both intrinsic and extrinsic motivations and longitudinally extended by belief updating theory. For the validation of this model, the university students who participated Java class were surveyed twice, and the suggested research were analyzed by partial least square (PLS). In result, most of the suggested hypotheses were supported.

• Journal of Navigation and Port Research
• /
• v.31 no.6
• /
• pp.523-530
• /
• 2007

Crane systems are very important in industrial fields to carry heavy objects such that many investigations about control of the systems are actively conducted for enhancing its control performance. This paper presents an adaptive control approach using the model matching for a complex 3-DOF nonlinear crane system. First, the system model is linearized through feedback linearization method and then PD control is applied in the approximated model. This linear model is considered as nominal to derive corrective control law for a perturbed crane model using Lyapunov theory. This corrective control is primitively aimed to compensate real-time control deviation due to partially known perturbation. We additionally study stability analysis of the crane control system using Lyapunov perturbation theory. Evaluation of our control approach is numerically carried out through computer simulation and its superiority is demonstrated comparing with the classical control.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.40 no.3
• /
• pp.92-98
• /
• 2017

The rapid growth of engineering technology and the emergence of systemized and large-scale engineering systems have resulted in complexity and uncertainty throughout the lifecycle activities of engineering systems. This complex and large-scale engineering system consists of numerous components, but system failure can be caused by failure of any one of a number of components. There is a real difficulty in managing such a complex and large-scale system as a part. In order to efficiently manage the system and have high reliability, it is necessary to structure a system with a complex structure as a sub-system. Also, in the case of a system in which cause of failures exist at the same time, it is required to identify the correlation of the components lifetime and utilize it for the design policy or maintenance activities of the system. Competitive risk theory has been used as a theory based on this concept. In this study, we apply the competitive risk theory to the models with combined structure of series and parallel which is the basic structure of most complex engineering systems. We construct a competing risks model and propose a mathematical model of net lifetime and crude lifetime for each cause of failure, assuming that the components consisting a parallel system are mutually dependent. In addition, based on the constructed model, the correlation of cause of failure is mathematically analyzed and the hazard function is derived by dividing into net lifetime and crude lifetime.

• Journal of the Korean Chemical Society
• /
• v.21 no.6
• /
• pp.395-403
• /
• 1977

Significant structure theory was applied to some liquid mixture systems ranging from simple monatomic molecule systems to polyatomic molecule systems, and the activity coefficients ${\gamma}$ of the liquid mixture systems were calculated over whole mole fractions using the following thermodynamic relation $RTln_{{\gamma}i} = (\frac{{\partial A}^E}{{\partial N}_i})_{T,V,N_i} $ where $A^E$ represents the excess Helmholtz free energy, and $N_i$ is the number of molecules of component i. The activity coefficients of the solutions such as monatomic molecule systems (Ar-Kr, Kr-Xe) and diatomic molecule systems $(Ar-O_2,\;N_2-CO)$ and $CH_4-Kr$ systems whose components have similar shapes for intermolecular potential curves were calculated successfully only with the ${\delta}E_s$, correction parameter for energy $E_s$, for mixture systems. For other systems such as $Ar-N_2,\;O_2-N_2\;and\;CH_4-C_3H_8$ whose components have dissimilar intermolecular potential curve shapes an additional correction parameters ${\delta}$V and even one more parameter ${\delta}$n were necessary [see Eqs.(10)∼(12)].