• Journal of applied mathematics & informatics
• /
• 제40권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.

• 전자공학회논문지B
• /
• 제32B권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.

• 대한수학회논문집
• /
• 제26권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.

• 대한수학회논문집
• /
• 제9권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)

• 대한수학회보
• /
• 제30권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.

• 대한수학회논문집
• /
• 제39권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년도 한국자동제어학술회의논문집(국내학술편); KOEX, Seoul; 22-24 Oct. 1991
• /
• 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.

• 한국학교수학회논문집
• /
• 제20권4호
• /
• pp.495-519
• /
• 2017

본 연구에서는 실수 e의 다양한 의미와 맥락을 살펴보고, 실수 e에 대한 예비교사들의 이해 정도를 조사하였다. 먼저 실수 e의 역사적 발생과 수학적 의미를 살펴보았으며, 이를 바탕으로 검사지를 개발하여 예비교사 28명에게 적용하고, 그 중 8명에게 반성 및 탐구 활동을 수행하였다. 실수 e에 대한 예비교사들의 이해를 분석한 결과는 다음과 같다. 상당수의 예비교사들이 실수 e의 형식적 정의와 그 표현과의 관계를 인식하지 못하였으며, 실수 e의 표현을 극한 표현에 편중되어 이해하고 있었다. 실수 e의 무리수 속성과 작도 불가능성에 대해서는 대체적으로 적절한 판단을 내렸으나, 그 근거에서는 다소 미흡한 면모를 드러내었다. 또한 실수 e의 연속 복리 맥락과 지수함수 맥락에는 높은 이해도를 나타낸 반면에, 기하적 맥락과 자연로그 맥락을 미흡하게 이해하고 있음을 확인하였다. 향후 예비교사 프로그램의 개선 방향으로, 예비교사들에게 실수 e의 다양한 표현과 속성, 맥락에 대한 학습기회를 제공하고, 실수 e의 다양한 측면이 잘 조직된 관계망 속에서 통합 지도될 필요가 있음을 제시하였다.

• Journal of Ship and Ocean Technology
• /
• 제9권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
• /
• 제19권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.