• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2001년도 춘계학술대회 논문집
• /
• pp.519-522
• /
• 2001

In this paper, I propose double parallel manipulator for machining work. And I derive an kinematics by combining the kinematics of the central axis and the kinematics of the link train of linear actuator. The Jacobian of the central axis and the Jacobian of the link train of the linear actuators are induced by a motor algebra and they are combined to an entire Jacobian matrix to transform the velocity of the end effector to those of linear actuators. And then this paper presents the development of control system and user interface program for machining work.

• Applied Microscopy
• /
• 제24권4호
• /
• pp.115-122
• /
• 1994

A computer program has been developed to analyze easily the Kikuchi pattern which is useful in obtaining the crystallographic data of materials. This program can simulate the Kikuchi patterns for 14 Bravais lattice by using the matrix algebra. Convenient menu system was also added to enhance the applications of the program. That is, by varying the tilting angle, camera length (RADIUS) and $S_{max}$ in the menu, various Kikuchi patterns can be obtained. The simulated patterns, then, can be compared with the experimentally-obtained Kikuchi pattern to examine validity of simulation.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 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.

• 대한수학회논문집
• /
• 제9권3호
• /
• pp.565-570
• /
• 1994

In this article we prove a version of the Perron-Frobenius Theorem in linear algebra using the Brouwer's Fixed Point Theorem in topology. We will mostly concentrate on he qualitative aspect of the Perron-Frobenius Theorem rather than quantitative formulas, which would be enough for theoretical investigations in ergodic theory. By the nature of the method of the proof, we do not expect to obtain a numerical estimate. But we may regard it worthwhile to see why a certain type of result should be true from a topological and geometrical viewpoint. However, a geometric argument alone would give us a sharp numerical bounds on the size of the eigenvalue as shown in Section 2. Eigenvectors of a matrix A will be fixed points of a certain mapping defined in terms of A. We shall modify an existing proof of Frobenius Theorem and that will do the trick for Perron-Frobenius Theorem.

• 산업경영시스템학회지
• /
• 제21권47호
• /
• pp.219-232
• /
• 1998

A lot of difficulties exist in analyzing the structure of a system owing to the complex and organic relations in the systems we face in reality. Focuses have been put on the research of optimal solution in a defined structure, however, on the assumption that the structure of the system has been already defined. With the grasping of the structure as the most prior condition, ISM(Interpretive Structural Modeling) and FSM(Fuzzy Structural Modeling) are suggested as solutions in this paper. ISM uses the systematic application of some elementary notions of graph theory and boolean algebra, FSM uses Fuzzy conception for representing relationship between elements. In FSM, the entries in the relation matrix are taken to value on the interval [0,1] by virtue of a fuzzy binary relation. Numeric examples are used as the actual application as follows.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제22권4호
• /
• pp.459-469
• /
• 2008

본 논문에서 행렬의 가장 큰 고유값과 그에 대응하는 고유벡터가 과학적인 의사결정과정에 어떻게 적용되는지를 살펴본다. 이를 적용한 계층분석적 의사결정(AHP) 방법에서 사용된 행렬이론을 통해서 실제로 연구과제 선정방법의 심사지표 가중치가 AHP를 이용하여 조절되는 예를 구체적으로 알아본다.

• Structural Engineering and Mechanics
• /
• 제35권4호
• /
• pp.493-510
• /
• 2010

This paper presents effects of anisotropy and curvature on free vibration characteristics of cross-ply laminated composite cylindrical shallow shells. Shallow shells have been considered for different lamination thickness, radius of curvature and elasticity ratio. First, kinematic relations of strains and deformation have been showed. Then, using Hamilton's principle, governing differential equations have been obtained for a general curved shell. In the next step, stress-strain relation for laminated, cross-ply composite shells has been given. By using some simplifications and assuming Fourier series as a displacement field, differential equations are solved by matrix algebra for shallow shells. The results obtained by this solution have been given tables and graphs. The comparisons made with the literature and finite element program (ANSYS).

• 대한수학회보
• /
• 제56권5호
• /
• pp.1257-1272
• /
• 2019

This article concerns the structure of idempotents in reversible and pseudo-reversible rings in relation with various sorts of ring extensions. It is known that a ring R is reversible if and only if $ab{\in}I(R)$ for $a,b{\in}R$ implies ab = ba; and a ring R shall be said to be pseudoreversible if $0{\neq}ab{\in}I(R)$ for $a,b{\in}R$ implies ab = ba, where I(R) is the set of all idempotents in R. Pseudo-reversible is seated between reversible and quasi-reversible. It is proved that the reversibility, pseudoreversibility, and quasi-reversibility are equivalent in Dorroh extensions and direct products. Dorroh extensions are also used to construct several sorts of rings which are necessary in the process.

• 한국컴퓨터정보학회논문지
• /
• 제16권12호
• /
• pp.139-155
• /
• 2011

최근 몇 년 사이, 학부모는 물론 국가 차원에서 영재 교육에 대한 관심이 높아짐에 따라 영재 교육에 관한 많은 연구들이 발표되고 있다. 그러나, 그들 대부분의 초점이 개괄적이고 총론적인 관점에서 영재 교육 프로그램의 구축, 운영, 관리, 평가 등에 있고, 정작 교육 프로그램의 성패와 직결되는 구체적인 교수학습 주제를 다루는 연구는 극히 드물다. 오늘날 영재교육의 필요성이나 효율성이 재론되고 있는 원인 중의 하나는바로 영재 교육의 특수성들이 고려된 영역별 훌륭한 교육 시나리오의 빈곤에 있음을 부인할 수 없다. 따라서, 이 연구에서는 중등 정보과학 영재 사사 지도과정에서 적용되었던 탐구 내용을 소개함으로써 정보분야 영재교육을 위한 교수학습 자료 개발에 작은 보탬이 되고자한다. '컴퓨터과학에서 행렬의 필요성과 활용'이란 주제의 이 교수학습 자료는 중등 수학의 1차 연립방정식 풀이 과정을 기반으로 창의적 문제 발견 및 해결을 유도하도록 구성되었고, 수학과 컴퓨터 과학과의 긴밀한 연계성 및 선형대수학의 기초 개념 이해에도 유익하다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제37권1호
• /
• pp.65-84
• /
• 2023

라그랑주 승수법(Method of Lagrange Multipliers)은 등식 제약조건하에서 미분가능한 함수의 최대, 최소를 구하는 대표적인 방법이다. 선형대수학, 최적화 이론, 제어 이론을 포함하여 최근에는 인공지능 기초수학에서도 널리 활용되고 있다. 특히 라그랑주 승수법은 미분적분학과 선형대수학을 연결하는 중요한 도구이며, 주성분 분석(Principal Component Analysis, PCA)을 포함한 인공지능 알고리즘에 많이 활용되고 있다. 따라서 교수자는 대학 미분적분학에서 처음 라그랑주 승수법을 접하는 학생들에게 구체적인 학습 동기를 제공할 필요가 생겼다. 이에 본 논문에서는 교수자가 학생들에게 라그랑주 승수법을 효과적으로 교육하는데 필요한 통합적인 시야를 제공한다. 먼저 다양한 전공의 학생들이 계산에 대한 부담을 덜고 원리를 쉽게 이해할 수 있도록 개발한 시각화 자료 및 파이썬(Python) 기반의 SageMath 코드를 제공한다. 또한 라그랑주 승수법으로 행렬의 고윳값과 고유벡터를 유도하는 과정을 상세히 소개한다. 그리고 라그랑주 승수법을 간단한 경우에 대한 증명에서 시작하여 일반화된 최적화 문제로 확장하고, 수업에서 학생들이 라그랑주 승수와 PCA를 활용하여 실제 데이터를 분석한 결과를 추가하였다. 본 연구는 대학수학을 지도하는 다양한 전공의 교수자들에게 도움이 될 기초자료가 될 것이다.