• Kyungpook Mathematical Journal
• /
• v.59 no.1
• /
• pp.13-22
• /
• 2019

This paper presents a symbolic method for solving a boundary value problem with inhomogeneous Stieltjes boundary conditions over integro-differential algebras. The proposed symbolic method includes computing the Green's operator as well as the Green's function of the given problem. Examples are presented to illustrate the proposed symbolic method.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.24 no.7 s.178
• /
• pp.1878-1884
• /
• 2000

In multibody dynamic analysis, one of the most important problems is to reduce computation times for real time simulation. In this paper, a symbolic computation method is implemented and tested for each dynamic analysis step. Applying symbolic formulations to the vehicle dynamics program AutoDyn7, the effectiveness of the symbolic computation method is verified.

• Journal of the Korean Society of Costume
• /
• v.56 no.8 s.108
• /
• pp.148-159
• /
• 2006

The objective of this study is to consider the uniform as visual communication, and analyze the expression of symbol shown on the uniform design by the pattern by applying the visual symbol in the communication and operation of the meaning. Also, it is to construct the systematic modeling method of the expression of design symbol by the pattern of uniform in th e various fields. This study is to analyze the symbolic expression method of the uniform design by the pattern by suggesting the symbolic expression method as a frame through the visual symbolic approach of the uniform design and the analysis of semantic symbol according to that. As a result, there arose simplification and emphasis and a method of symbolic expression with the national flag, a conceptual factor characteristically in the sports uniform design. The characteristics of symbolic expression of uniform design were mainly used in the symbolic expression with the customary code and symbol. Also, the uniform in the enterprises were widely used in the expression of uniform with the suggestion and code by the color. As for the characteristics of symbolic expression shown on the event uniform design, the method of symbolic expression by the pattern of uniform was grasped differently asa result of symbolic expression through the image. The method of symbolic expression suggested on this study could be used on a basis of uniform design in the future. Accordingly, this study has a meaning of suggesting the methodology of uniform design that would be a parameter.

• Kyungpook Mathematical Journal
• /
• v.58 no.3
• /
• pp.453-462
• /
• 2018

In this paper, we present a symbolic formulation of the error obtained due to an approximation of a given function by the mixed-interpolating function. Using the proposed symbolic method, we compute the error evaluation operator as well as the error estimation at any arbitrary point. We also present an algorithm to compute an approximation of a function by the mixed interpolation technique in terms of projector operator. Certain examples are presented to illustrate the proposed algorithm. Maple implementation of the proposed algorithm is discussed with sample computations.

• Spatial Information Research
• /
• v.19 no.3
• /
• pp.53-62
• /
• 2011

Spatial information services in indoor space are an im portant application area of GIS as in outdoor space. Unlike in outdoor space, a position in indoor space is specified by a symbolic code such as room number, rather than coordinate. Therefore tracking in indoor space is no longer a prediction of coordinates but a symbolic estimation on the current position of a moving object. In this paper, we propose a framework for tracking moving objects in indoor symbolic space with RFID sensors. First, we introduce the concepts of indoor symbolic space and tracking in indoor symbolic space, and define the accessibility graph for trackable indoor symbolic space. Second, we propose a deployment method of RFID readers and a construction algorithm of accessibility graph for trackable indoor symbolic space. Third, a tracking method is proposed for moving objects in symbolic indoor space with RFID sensors. Finally, we present an implementation exmaple and the result of experiment with real data to validate the proposed method.

• Journal of the Korean Society for Aviation and Aeronautics
• /
• v.23 no.2
• /
• pp.69-74
• /
• 2015

We propose a rigorous and practical methodology to evaluate the performance of symbolic manipulation program such as Mathematica, Maple, and Maxima. First, we demonstrate an inverse method to construct the benchmark problems of an initial value problems. The benchmark problems associated with the discrete version of the Chebyshev polynomials provide a rigorous and objective measure to evaluate the performance of symbolic manipulation programs. We compare three symbolic manipulation programs, which are Mathematica, Maple and Maxima, using this methodology. The computation time, the used memory and the perturbation terms are chosen for comparison parameters.

• Journal of Mechanical Science and Technology
• /
• v.19 no.spc1
• /
• pp.395-402
• /
• 2005

This paper deals with modeling and computer simulation of a full multibody vehicle model for a driving simulator. The multibody vehicle model is based on the recursive formulation and a corresponding simulation code is generated automatically from AUTOCODE, which is a symbolic computation package developed by the authors using MAPLE. The paper describes a procedure for automatically generating a highly efficient simulation code for the full vehicle model, while incorporating realistically modeled components. The following issues have been accounted for in the procedure, including software design for representing a mechanical system in symbolic form as a set of computer data objects, a multibody formulation for systems with various types of connections between bodies, automatic manipulation of symbolic expressions in the multibody formulation, interface design for allowing users to describe unconventional force-and torque-producing components, and a method for accommodating external computer subroutines that may have already been developed. The effectiveness and efficiency of the proposed method have been demonstrated by the simulation code developed and implemented for driving simulation.

• Structural Engineering and Mechanics
• /
• v.27 no.6
• /
• pp.713-739
• /
• 2007

Nowadays computers can perform symbolic computations in addition to mere number crunching operations for which they were originally designed. Symbolic computation opens up exciting possibilities in Structural Mechanics and engineering. Classical areas have been increasingly neglected due to the advent of computers as well as general purpose finite element software. But now, classical analysis has reemerged as an attractive computer option due to the capabilities of symbolic computation. The repetitive cycles of simultaneous - equation sets required by the finite element technique can be eliminated by solving a single set in symbolic form, thus generating a truly closed-form solution. This consequently saves in data preparation, storage and execution time. The power of Symbolic computation is demonstrated by six examples by applying symbolic computation 1) to solve coupled shear wall 2) to generate beam element matrices 3) to find the natural frequency of a shear frame using transfer matrix method 4) to find the stresses of a plate subjected to in-plane loading using Levy's approach 5) to draw the influence surface for deflection of an isotropic plate simply supported on all sides 6) to get dynamic equilibrium equations from Lagrange equation. This paper also presents yet another computationally efficient and accurate numerical method which is based on the concept of derivative of a function expressed as a weighted linear sum of the function values at all the mesh points. Again this method is applied to solve the problems of 1) coupled shear wall 2) lateral buckling of thin-walled beams due to moment gradient 3) buckling of a column and 4) static and buckling analysis of circular plates of uniform or non-uniform thickness. The numerical results obtained are compared with those available in existing literature in order to verify their accuracy.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.32 no.5
• /
• pp.975-986
• /
• 2022

Deep learning is attracting great attention, showing excellent performance in image processing, but is vulnerable to adversarial attacks that cause the model to misclassify through perturbation on input data. Adversarial examples generated by adversarial attacks are minimally perturbated where it is difficult to identify, so visual features of the images are not generally changed. Unlikely deep learning models, people are not fooled by adversarial examples, because they classify the images based on such visual features of images. This paper proposes adversarial attack detection method using Symbolic Representation, which is a visual and symbolic features such as color, shape of the image. We detect a adversarial examples by comparing the converted Symbolic Representation from the classification results for the input image and Symbolic Representation extracted from the input images. As a result of measuring performance on adversarial examples by various attack method, detection rates differed depending on attack targets and methods, but was up to 99.02% for specific target attack.

• Journal of applied mathematics & informatics
• /
• v.16 no.1_2
• /
• pp.91-104
• /
• 2004

A modification of the gradient method of convex programming is introduced. Also, we describe symbolic implementation of the gradient method and its modification by means of the programming language MATHEMATICA. A few numerical examples are reported.