• Proceedings of the Korean Society for Cognitive Science Conference
• /
• 2010.05a
• /
• pp.2-7
• /
• 2010

Formally, we may define cognitive science as the convergent study between symbolic and connectionist approaches at macro and micro levels. Since what we refer to as the human mind is regarded as a mathematical product of the human brain and the computing machine, we can obtain two mathematical dynamical projections: one from the set of human brains to the set of mind, the other from the set of computing machines to the set of mind. Then, we are having a new projection from the classical models to the quantum mind.

• Research in Mathematical Education
• /
• v.3 no.1
• /
• pp.35-56
• /
• 1999

The evolution of the function concept was delineated in terms of the 17th and 18th Centuries' dependent nature of function, and the 19th and 20th Centuries' arbitrary and univalent nature of function. According to mathematics educators' beliefs about the value of the function concept in school mathematics, certain definitions of the concept tend to be emphasized. This study discusses three types - genetical (dependence), logical (settheoretical), analogical (machine/equations) - of definition of function and their values.

• IE interfaces
• /
• v.25 no.3
• /
• pp.357-364
• /
• 2012

This paper considers a unrelated parallel machine scheduling problem with ready times, due times and sequence and machine-dependent setup times. The objective of this problem is to determine the allocation of jobs and the scheduling of machines to minimize the total tardy time. A mathematical model for optimal solution is derived. An in-depth analysis of the model shows that it is very complicated and difficult to obtain optimal solutions as the problem size becomes large. Therefore, a genetic algorithm using an effective dispatching method is proposed. The performance of the proposed genetic algorithm is evaluated using several randomly generated examples.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1997.10a
• /
• pp.184-187
• /
• 1997

Coordinate measuring machines(CMMs) are used to obtain the dimensional information with micron accuracy. This paper is concerned with the development of the horizontal arm type coordinate measuring machine using open architecture controller. The coordinate measuring machine considered in this paper consists of three orthogonal axes in the x, y and z directions. Open architecture controller IS used to implement a measuring system which can be fulfill to various needs of endusers of coordinate measuring machines. The open architecture controller presented here is embodied in personal computers. The programs and man-machine interfaces(MM1) are developed for various measuring conditions. Through the computer simulation based on the mathematical models of the coordinate measuring machine, control parameters are optimally tuned.

• Journal of Information Processing Systems
• /
• v.15 no.2
• /
• pp.422-432
• /
• 2019

A hybrid kernel function of support vector machine is proposed to improve the classification performance of power quality disturbances. The kernel function mathematical model of support vector machine directly affects the classification performance. Different types of kernel functions have different generalization ability and learning ability. The single kernel function cannot have better ability both in learning and generalization. To overcome this problem, we propose a hybrid kernel function that is composed of two single kernel functions to improve both the ability in generation and learning. In simulations, we respectively used the single and multiple power quality disturbances to test classification performance of support vector machine algorithm with the proposed hybrid kernel function. Compared with other support vector machine algorithms, the improved support vector machine algorithm has better performance for the classification of power quality signals with single and multiple disturbances.

• Journal of the Korean institute of surface engineering
• /
• v.56 no.6
• /
• pp.353-370
• /
• 2023

Corrosion detection and analysis is a very important topic in reducing costs and preventing disasters. Recently, image processing techniques have been widely applied to corrosion identification and analysis. In this work, we briefly introduces traditional image processing techniques and machine learning algorithms applied to detect or analyze corrosion in various fields. Recently, machine learning, especially CNN-based algorithms, have been widely applied to corrosion detection. Additionally, research on applying machine learning to region segmentation is very actively underway. The corrosion is reddish and brown in color and has a very irregular shape, so a combination of techniques that consider color and texture, various mathematical techniques, and machine learning algorithms are used to detect and analyze corrosion. We present examples of the application of traditional image processing techniques and machine learning to corrosion detection and analysis.

• International Journal of Computer Science & Network Security
• /
• v.22 no.10
• /
• pp.374-388
• /
• 2022

Cloud computing has been one of the most critical technology in the last few decades. It has been invented for several purposes as an example meeting the user requirements and is to satisfy the needs of the user in simple ways. Since cloud computing has been invented, it had followed the traditional approaches in elasticity, which is the key characteristic of cloud computing. Elasticity is that feature in cloud computing which is seeking to meet the needs of the user's with no interruption at run time. There are traditional approaches to do elasticity which have been conducted for several years and have been done with different modelling of mathematical. Even though mathematical modellings have done a forward step in meeting the user's needs, there is still a lack in the optimisation of elasticity. To optimise the elasticity in the cloud, it could be better to benefit of Machine Learning algorithms to predict upcoming workloads and assign them to the scheduling algorithm which would achieve an excellent provision of the cloud services and would improve the Quality of Service (QoS) and save power consumption. Therefore, this paper aims to investigate the use of machine learning techniques in order to predict the workload of Physical Hosts (PH) on the cloud and their energy consumption. The environment of the cloud will be the school of computing cloud testbed (SoC) which will host the experiments. The experiments will take on real applications with different behaviours, by changing workloads over time. The results of the experiments demonstrate that our machine learning techniques used in scheduling algorithm is able to predict the workload of physical hosts (CPU utilisation) and that would contribute to reducing power consumption by scheduling the upcoming virtual machines to the lowest CPU utilisation in the environment of physical hosts. Additionally, there are a number of tools, which are used and explored in this paper, such as the WEKA tool to train the real data to explore Machine learning algorithms and the Zabbix tool to monitor the power consumption before and after scheduling the virtual machines to physical hosts. Moreover, the methodology of the paper is the agile approach that helps us in achieving our solution and managing our paper effectively.

• Journal of the Korean Society for Precision Engineering
• /
• v.16 no.2 s.95
• /
• pp.201-210
• /
• 1999

One of the major limitations of productivity and quality in metal cutting is the machining accuracy of machine tools. The machining accuracy is affected by geometric and thermal errors of the machine tools. Therefore, a key requirement for improving te machining accuracy and product quality is to reduce the geometric and thermal errors of machine tools. This study models geometric error for error analysis and develops on-machine measurement system by which the volumetric erors are measured. The geometric error is modeled using form shaping function(FSF) which is defined as the mathematical relationship between form shaping motion of machine tool and machined surface. The constant terms included in the error model are found from the measurement results of on-machine measurement system. The developed on-machine measurement system consists of the spherical ball artifact (SBA), the touch probe unit with a star type stylus, the thermal data logger and the personal computer. Experiments, performed with the developed measurement system, show that the system provides a high measuring accuracy, with repeatability of ${\pm}2{\mu}m$ in X, Y and Z directions.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2005.06a
• /
• pp.781-784
• /
• 2005

The feed drive inclination significantly influences product quality, machine tool accuracy and life time. However, the accurate measurement of the inclination needs the skilled engineers and the accurate leveling instruments such as spirits or electric levels. In this study a novel methodology for the estimation of inclination angle of machine tool feed drive is proposed. The proposed methodology utilizes the motor current signals and a new mathematical model of machine tool feed drive considering inclination. The experiment results showed that the proposed method successfully estimates the inclination angle, as well as newly proposed model also enhances the accuracy of the machine tool feed drive model by introducing the inclination effects.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1993.04a
• /
• pp.6-15
• /
• 1993

A generalization of one machine maximum lateness minimization problem is considered. There are one achine with controllable speed and n weighting jobs $J_{j}$, j=1, 2, ..., n with ambiguous duedates. Introducing fuzzy formulation, a membership function of the duedate associated with each job $J_{j}$, which describes the satisfaction level with respect to completion time of $J_{j}$. Thus the duedates are not constants as in conventional scheduling problems but decision variables reflecting the fuzzy circumstance of the job completing. We develop the polynomial time algorithm to find an optimal schedule and jobwise machine speeds, and to minimize the total sum of costs associated with jobwise machine speeds and dissatisfaction with respect to completion times of weighting jobs. jobs.