• Proceedings of the KSR Conference
• /
• 1999.05a
• /
• pp.283-290
• /
• 1999

Recently, the ${\mu}$-processor based-controlled systems instead of conventional relays circuitry are widely used to industrial applications, and also those technology is available to railway signalings which are safety-critical systems. However, the safety and reliability of software for those systems are harder to demonstrate than in traditional relays circuitry because the faults or errors can not be analyzed and predicted to those systems. So, the safety problems are crucial more and more in ${\mu}$-processor based-controlled system. In this paper, the Grafcet language, the graphical and mathematical form, is used to obtain the high-level safety and reliability of software control logic. The general description for Grafcet notation are provided. And some partial of interlocking logic are formally modeled and simulated by Grafcet language and graphical windows.

• The Transactions of the Korean Institute of Electrical Engineers
• /
• v.41 no.5
• /
• pp.562-572
• /
• 1992

In this paper, we propose software algorithms which provide acceleration/deceleration characteristics essential to high dynamic performance at the transient states where industrial robots or CNC machine tools start and stop. Software acceleration/deceleration methods are derived from the mathematical analyses of typical hardware systems controlling acceleration/deceleration. These methods make servo motors, which drive axes of motion, start and stop smoothly without vibration in the repeated tools. The path error, which is one of the most significant factors in the performance evaluation of industrial robots or CNC machine tools, is analyzed for linear, exponential, and parabolic acceleration/deceleration algorithms in case of circular interpolation. The analyses show that path error consists of the distance between the required path and generated one through acceleration/deceleration, and that between the generated one through acceleration/deceleration algorithm and the actual one of the end effector of the industrial robot or tool of the CNC equipment.

• The KIPS Transactions:PartD
• /
• v.9D no.4
• /
• pp.659-666
• /
• 2002

Park, Seo and Kim (12) developed the input domain-based SRGM, which was able to quantitatively assess the reliability of a software system during the testing and operational phases. They assumed perfect debugging during testing and debugging phase. To make this input domain-based SRGM more realistic, this assumption should be relaxed. In this paper we generalize the input domain-based SRGM under imperfect debugging. Then its statistical characteristics are investigated.

• Korean Journal of Remote Sensing
• /
• v.19 no.3
• /
• pp.247-253
• /
• 2003

The mainly used technique to correct satellite images with geometric distortion is to develop a mathematical relationship between pixels on the image and corresponding points on the ground. Polynomial models with various transformations have been designed for defining the relationship between two coordinate systems. GCP based geometric correction has peformed overall plane to plane mapping. In the overall plane mapping, overall structure of a scene is considered, but local variation is discarded. The Region with highly variant height is rectified with distortion on overall plane mapping. To consider locally variable region in satellite image, TIN-based rectification on a satellite image is proposed in this paper. This paper describes the relationship between GCP distribution and rectification model through experimental result and analysis about each rectification model. We can choose a geometric correction model as the structural characteristic of a satellite image and the acquired GCP distribution.

• Korean Journal of Mathematics
• /
• v.14 no.1
• /
• pp.47-55
• /
• 2006

This paper presents an image analysis technique using connected components by applying SPA (shortest path algorithm) from graph theory. Software implementation of Floyd-Warshall transitive matrix labelling method is discussed. Results are also presented.

• Korean Management Science Review
• /
• v.11 no.1
• /
• pp.59-72
• /
• 1994

In this paper we examine potentials of a spreadsheet program, one of the most widly available software system, as a mathematical optimization modeling tool. For an illustrative example, a shortest path problem is modeled on Lotus-123 for practical use and an implementational framework and a general guide to the spreadsheet modeling of network analysis is provided.

• Smart Structures and Systems
• /
• v.8 no.3
• /
• pp.275-302
• /
• 2011

This is a review paper on mathematical modeling of actively controlled piezo smart structures. Paper has four sections to discuss the techniques to: (i) write the equations of motion (ii) implement sensor-actuator design (iii) model real life environmental effects and, (iv) control structural vibrations. In section (i), methods of writing equations of motion using equilibrium relations, Hamilton's principle, finite element technique and modal testing are discussed. In section (ii), self-sensing actuators, extension-bending actuators, shear actuators and modal sensors/actuators are discussed. In section (iii), modeling of thermal, hygro and other non-linear effects is discussed. Finally in section (iv), various vibration control techniques and useful software are mentioned. This review has two objectives: (i) practicing engineers can pick the most suitable philosophy for their end application and, (ii) researchers can come to know how the field has evolved, how it can be extended to real life structures and what the potential gaps in the literature are.

• Research in Mathematical Education
• /
• v.4 no.2
• /
• pp.63-77
• /
• 2000

The purpose of this article is to devise the activities based on van Hiele levels of geometric thought using computer software, Geometer\\\\`s Sketchpad(GSP) as a tool. The most challenging task facing teachers of geometry is the development of student facility for understanding geometric concepts and properties. The National Council of teachers of Mathematics(Curriculum and Evaluation Standards for School Mathematics, 1991; Principles and Standards for School Mathematics, 2000) and the National Re-search Council(Hill, Griffiths, Bucy, et al., Everybody Counts, 1989) have supported the development of exploring and conjecturing ability for helping students to have mathematical power. The examples of the activities built is GSP for students ar designed to illustrate the ways in which van Hiele\\\\`s model can be implemented into classroom practice.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.12 no.7
• /
• pp.3284-3306
• /
• 2018

This study proposes a method to develop an authoring system(GeoMaTree) for diverse trees that constitute a virtual landscape. The GeoMaTree system enables the simple, intuitive production of an efficient structure, and supports real-time processing. The core of the proposed system is a procedural modeling based on a mathematical model and an application that supports digital content creation on diverse platforms. The procedural modeling allows users to control the complex pattern of branch propagation through an intuitive process. The application is a multi-resolution 3D model that supports appropriate optimization for a tree structure. The application and a compatible function, with commercial tools for supporting the creation of realistic synthetic images and virtual landscapes, are implemented, and the proposed system is applied to a variety of 3D image content.

• Aerospace Engineering and Technology
• /
• v.12 no.2
• /
• pp.74-82
• /
• 2013

This paper deals with a single stage coilgun which is a variety of EML(ElectroMagnetic Launcher) and can be applied to launching a small satellite. We propose a mathematical and physical model in order to design a single stage coilgun and study physical characteristics related to design parameters. A proposed mathematical and physical model is verified by electromagnetic FEM software FEMM 4.2.