• Kyungpook Mathematical Journal
• /
• 제59권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.

• 대한기계학회논문집A
• /
• 제24권7호
• /
• 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.

• 복식
• /
• 제56권8호
• /
• 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
• /
• 제58권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
• /
• 제19권3호
• /
• pp.53-62
• /
• 2011

최근 실내 공간 내에서의 위치 정보를 이용한 공간정보 서비스가 실외공간에서 제공되는 서 비스만큼 공간정보시스템의 중요한 응용분야로 자리 잡고 있다. 실외 공간과 달리, 실내 공간의 위치 정보는 좌표기반이 아닌, 방 번호와 같은 기호를 기반으로 표현된다. 따라서 실내공간에서 이동객체의 위치를 추적하기 위해서는 이동객체의 현재 위치를 이용하여 좌표정보를 예측하는 것이 아니라, 기호적 추론이 필요하다. 이에 본 논문에서는 RFID센서를 이용하여 이동객체의 위치를 항상 명시적으로 결정할 수 있는 추적가능 실내 기호공간을 위한 프레임웍을 제안한다. 우선, 실내기호공간과 실내기호공간에서의 위치추적에 대한 개념을 소개하고, 추적 가능한 실내 기호공간을 위한 접근성 그래프를 정의한다. 둘째로, RFID 리더기의 배치방법, 추적 가능한 실내기호공간을 위한 접근성 그래프 생성방법과 이를 이용한 위치 추적방법을 제시한다. 마지막으로, 제시한 방법의 유효성을 보이기 위하여 실험결과를 보인다.

• 한국항공운항학회지
• /
• 제23권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
• /
• 제19권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
• /
• 제27권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.

• 정보보호학회논문지
• /
• 제32권5호
• /
• pp.975-986
• /
• 2022

딥러닝은 이미지 처리에 있어 우수한 성능을 보여주며 큰 주목을 받고 있지만, 입력 데이터에 대한 변조를 통해 모델이 오분류하게 만드는 적대적 공격에 매우 취약하다. 적대적 공격을 통해 생성된 적대적 예제는 사람이 식별하기 어려울 정도로 최소한으로 변조가 되며 이미지의 전체적인 시각적 특징은 변하지 않는다. 딥러닝 모델과 달리 사람은 이미지의 여러 특징을 기반으로 판단하기 때문에 적대적 예제에 속지 않는다. 본 논문은 이러한 점에 착안하여 이미지의 색상, 모양과 같은 시각적이고 상징적인 특징인 Symbolic Representation을 활용한 적대적 예제 탐지 방법을 제안한다. 입력 이미지에 대한 분류결과에 대응하는 Symbolic Representation과 입력 이미지로부터 추출한 Symbolic Representation을 비교하여 적대적 예제를 탐지한다. 다양한 방법으로 생성한 적대적 예제를 대상으로 탐지성능을 측정한 결과, 공격 목표 및 방법에 따라 상이하지만 specific target attack에 대하여 최대 99.02%의 탐지율을 보였다.

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