• Journal of applied mathematics & informatics
• /
• v.40 no.5_6
• /
• pp.1167-1179
• /
• 2022

In this paper, we obtain some subsets of real numbers (ℝ) on which a fractional part function is defined as a real-valued continuous function. This gives rise to the analysis of the continuous properties of the fractional part function as a real-valued function. The analysis of fractional part function is helpful in the study of the dynamics of circle.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.32B no.12
• /
• pp.1545-1551
• /
• 1995

As the modern industrial processes become more complex, it is getting more difficult to model and control the processes. Naturally, an advanced type of DCS(Distributed Control System) with higher level functions is being sought. Advanced DCS is a DCS with advanced functions such as fault diagnosis, GPC(Generalized Predictive Control), NN(Neural Network), and Fuzzy Control. In this thesis, we have studied a fuzzy control algorithm for realizing an advanced DCS. Its algorithm is implemented in a form of function code which is a process control language, being used by the industrial engineers. To verify the realized function code of the fuzzy control, the function code is applied to a continuous casting process of the Pohang Iron & Steel Works in Kwangyang. The rules of the fuzzy control were collected via interviews of the field operators and their operation documents. Finally under a real-time operating system environment, usability of the function code of the fuzzy control is shown via simulation for the continuous casting process.

• Communications of the Korean Mathematical Society
• /
• v.26 no.2
• /
• pp.229-235
• /
• 2011

In this paper, a continuous real function on the real line is considered. The necessary and sufficient conditions for the convergence of the Ishikawa iteration with error terms for the functional are obtained.

• Communications of the Korean Mathematical Society
• /
• v.9 no.2
• /
• pp.299-302
• /
• 1994

Throughout this paper, let X be a compact Hausdorff space, and let C(X) (resp. $C_{R}$ /(X)) be the complex (resp. real) Banach algebra of all continuous complex-valued (resp. real-valued) functions on X with the pointwise operations and the supremum norm x. A Banach function algebra on X is a Banach algebra lying in C(X) which separates the points of X and contains the constants. A Banach function algebra on X equipped with the supremum norm is called a uniform algebra on X, that is, a uniformly closed subalgebra of C(X) which separates the points of X and contains the constants.(omitted)

• Bulletin of the Korean Mathematical Society
• /
• v.30 no.1
• /
• pp.125-134
• /
• 1993

Let X be a compact Hausdorff space, and let C(X) (resp. $C_{R}$(X)) be the complex (resp. real) Banach algebra of all continuous complex-valued(resp. real-valued) functions on X with the pointwise operations and the supremum norm x. A Banach function algebra on X is a Banach algebra lying in C(X) which separates the points of X and contains the constants. A Banach function algebra on X equipped with the supremum norm is called a uniform algebra on X, that is, a uniformly closed subalgebra of C(X) which separates the points of X and contains the constants.s.

• Communications of the Korean Mathematical Society
• /
• v.39 no.2
• /
• pp.399-406
• /
• 2024

We point out an error appeared in the paper of Yuan et al. [3] and present a correction of their result under a more general assumption. Moreover, we discuss the validity of the conditions imposed on the sequences of error terms.

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

A graphic control language using function block diagram approach is designed and implemented, applicable to real-time control for continuous process automation system. The procedure implementing the control language is composed of three parts, editor, compiler, and executer. The editor generates the control algorithm file, which contains function block information in the text form, by menu-driven method on the color graphic screen. The compiler translates the contents of the control algorithm file to machine codes and their related data. Then, the executer generates a task that makes the machine codes executed at every sampling period in the target processor. The validity of the concept in its design and implementaion is assured by on-line simulation in the multi-function controller designed for continuous process automation.

• Journal of the Korean School Mathematics Society
• /
• v.20 no.4
• /
• pp.495-519
• /
• 2017

The purpose of this study is to analyze the concept of the real number e and to investigate the understanding of pre-service teachers about the real number e. 28 pre-service teachers were asked to take a test based on the various ideas of the real number e and 8 pre-service teachers were interviewed. The results of this study are as follows. First, a large number of pre-service teachers couldn't recognize relation between the formal definition and the representations of the real number e. Secondly, pre-service teachers judged appropriately for the irrationality and the construction impossibility of the real number e, but they couldn't provide reasonable evidence. Lastly, pre-service teachers understood the continuous compounding context and exponential function context of the real number e, but they had a difficulty in understanding the geometric context and natural logarithm context of the real number e.

• Journal of Ship and Ocean Technology
• /
• v.9 no.4
• /
• pp.35-46
• /
• 2005

The performance of optimisation methods, based on penalty functions, is highly problem- dependent and many methods require additional tuning of some variables. This additional tuning is the influences of penalty coefficient, which depend strongly on the degree of constraint violation. Moreover, Binary-coded Genetic Algorithm (BGA) meets certain difficulties when dealing with continuous and/or discrete search spaces with large dimensions. With the above reasons, Real-coded Micro-Genetic Algorithm (R$\mu$GA) is proposed to find the global optimum of continuous and/or discrete nonlinear constrained engineering problems without handling any of penalty functions. R$\mu$GA can help in avoiding the premature convergence and search for global solution-spaces, because of its wide spread applicability, global perspective and inherent parallelism. The proposed R$\mu$GA approach has been demonstrated by solving three different engineering design problems. From the simulation results, it has been concluded that R$\mu$GA is an effective global optimisation tool for solving continuous and/or discrete nonlinear constrained real­world optimisation problems.

• Journal of Information Technology Applications and Management
• /
• v.19 no.4
• /
• pp.97-113
• /
• 2012

In order to implement the real-time enterprise (RTE) and smart work effectively, many companies have introduced a mobile office. A mobile office improves employee productivity and increases ability to respond to business opportunities by helping employee manage their business anytime and anywhere. However, it also raises the user's stress level. We conducted in-depth interviews with users to assess user's perception of a mobile office according to Saaty's BOCR model. Based on the results of the interviews, we set variables affecting user's perception of the mobile office using factor analysis. This study revealed that support for real-time business, support for communication and collaboration, and information processing quality were positively related to continuous intention to use mobile office. Further study demonstrated that three variables have mediating effect between the psychological stress and continuous intention to use. This result implies that the system quality and function are the key elements of mobile office and may contribute to the continuous use.