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

• 대한토목학회논문집
• /
• 제3권4호
• /
• pp.95-107
• /
• 1983

기존(旣存) 범용 구조해석용(構造解析用) 프로그램들은 선택(選擇)된 역학적(力學的) 이론(理論), 계산(計算) algorithm등이 고정(固定)되어 있으므로 이용자(利用者)는 프로그램을 원하는 대로 control하기 어렵고 프로그램에 정의(定義)된 대로 data input만 준비(準備)한다. 이용자(利用者)가 계산과정(計算過程)을 control 할 수 있으며 원하는 역학적(力學的) 이론(理論) 및 계산(計算) algorithm등을 보완(補完)하여 이용(利用)할 수 있도록 한 구조해석용(構造解析用) 프로그램인 Symbolic Manipulation Program들이 개발(開發)되었으나 이들은 single domain 문제(問題) 해석용(解析用)이므로 대형(大型)콤퓨터가 필요(必要)하다. 본(本) 연구(硏究)에서는 substructure technique을 도입(導入)하여 구조물(構造物)을 multi domain으로 하여 중(中), 소형(小型)콤퓨터로도 해석(解析)할 수 있으며, matrix analysis 및 finite element analysis를 할 수 있도록 finite element characteristic arrays(Stiffness, Mass matrix)등을 계산(計算)하는 Element Subroutine 중 3D Beam element, Plate bending element 및 동력학계산(動力學計算)을 위한 Eigenvalue routine을 포함(包含)한 Symbolic Manipulation Program 개발(開發)이다. 이 프로그램의 구조(構造)는 module화(化)된 독립적(獨立的) 기능(機能)을 가진 processor 들로 구성(構成)되어 프로그램의 수정(修正), 첨가(添加), 삭제(削除)가 용이(容易)하며, Integrated Program Network(IPN) 개념중(槪念中) data base 방법(方法)으로 matrix form으로 된 data의 취급이 효율적(效率的)이다.

• 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.

• 대한기계학회논문집
• /
• 제17권6호
• /
• pp.1509-1517
• /
• 1993

본 연구에서는 3차원 운동을 하는 다물체 기구가 물체 수와 조인트 연결상태 만 주어진 상태에서 구성상태에 따라 절점 좌표계를 이용하여 모델링하고 MACSYMA를 써서 복잡단조로운 대수 계산을 하여 모든 운동학적 정보를 얻어내며 수치계산이 필요 하면 별도의 프로그램을 이용 수치해석을 하는 과정을 밟는다.

• 응용통계연구
• /
• 제7권1호
• /
• pp.121-129
• /
• 1994

기호연산이 가능한 소프트웨어인 MATHEMATICA를 이용함으로써 최대흡사 추정량의 구체적 형태를 구할 수 있음을 보였다. 다변량 정규분포로부터의 확률 표본을 이용한 최대 흡사 추정량을 구하는 과정을 예시하였다.

• 한국자동차공학회논문집
• /
• 제4권6호
• /
• pp.247-259
• /
• 1996

Kinematic design sensitivity analysis for vehicle in suspension systems design is performed. Suspension systems are modeled using composite joins to reduce the number of the constraint equations. This allows a semi-analytical approach that is computerized symbolic manipulation before numerical computations and that may compensate for their drawbacks. All the constraint equations including design variables are derived in symbolic equations for sensitivity analysis. By directly differentiating the equations with respect to design variables, sensitivity equations are obtained. Since the proposed method only requires the hard point data, sensitivity analysis is possible in suspension design stage.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1987년도 한국자동제어학술회의논문집; 한국과학기술대학, 충남; 16-17 Oct. 1987
• /
• pp.19-22
• /
• 1987

A program is developed for generations the dynamic equations for robotic manipulators using the symbolic language muSIMP/MATH. The muSIMP/MATH is a LISP-based computer algebra package, devoted to the manipulation of algebraic expressions including number, variables, functions, and matrix. The muSIMP/MATH can operate on IBM-PC compatibles with MS-DOS. The program is developed, on the e formalism. This is program is applicable to the manipulators of any number of degrees of freedom, maximum six degree of freedom in this program. To control robotic manipulators by using dynamic equation is required a symbolic equations. The generated dynamic equation can be applied directly to the robotic manipulators, for the generated dynamic equation is a reduced form of symbolic expression.

• 한국수학교육학회지시리즈D:수학교육연구
• /
• 제15권1호
• /
• pp.15-30
• /
• 2011

We study to design educational Logo-based microworld environment equipped with 3D construction capability, 3D manipulation, and web-based communication. Extending the turtle metaphor of 2D Logo, we design simple and intuitive symbolic representation system that can create several turtle objects and operations. We also present various mathematization activities applying the turtle objects and suggest the way to make good use of them in mathematics education. In our microworld environment, the symbolic representations constructing the turtle objects can be used for web-based collaborative learning, communication, and assessments.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1992년도 제2회 정기총회 및 추계학술 발표회 발표논문 초록
• /
• pp.7-7
• /
• 1992

Extending discrete event modelling formalisms to facilitate greater symbol manipulation capabilities is important to further their use in intelligent control and design of high autonomy systems. This paper defines an extension to the DEVS formalism that facilitates symbolic expression of discrete event times by extending the time base from the real numbers to the field of linear polynomials over the reals. A simulation algorithm is developed to generate the branching trajectories resulting from the underlying non-determinism. To efficiently manage linear polynomial constraints based on feasibility checking algorithm borrowed from linear programming. The extended formalism offers a convenient means to conduct multiple, simultaneous explorations of model behaviors. Examples of application are given with consideration on fault model analysis.

• Smart Structures and Systems
• /
• 제7권3호
• /
• pp.229-240
• /
• 2011

Recent developments in Smart Structures with very large scale embedded sensors and actuators have introduced new challenges in terms of data processing and sensor fusion. These smart structures are dynamically classified as a large-scale system with thousands of sensors and actuators that form the musculoskeletal of the structure, analogous to human body. In order to develop structural health monitoring and diagnostics with data provided by thousands of sensors, new sensor informatics has to be developed. The focus of our on-going research is to develop techniques and algorithms that would utilize this musculoskeletal system effectively; thus creating the intelligence for such a large-scale autonomous structure. To achieve this level of intelligence, three major research tasks are being conducted: development of a Bio-Inspired data analysis and information extraction from thousands of sensors; development of an analytical technique for Optimal Sensory System using Structural Observability; and creation of a bio-inspired decision-making and control system. This paper is focused on the results of our effort on the first task, namely development of a Neuro-Morphic Engineering approach, using a neuro-symbolic data manipulation, inspired by the understanding of human information processing architecture, for sensor fusion and structural diagnostics.