• 대한기계학회논문집A
• /
• 제21권12호
• /
• pp.2156-2164
• /
• 1997

A new formulation for the dynamic analysis of constrained multibody systems is presented in this paper. The formulation employs Kane's method along with the null space method. Kane's method reduces the dimension of equations of motion by using partial velocity matrix introduced in this study : it can improve the efficiency of the formulation. Three numerical examples are given to demonstrate the accuracy and efficiency of the formulation.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2000년도 추계학술대회논문집A
• /
• pp.541-547
• /
• 2000

This paper presents the closed-form forward kinematics of the 6-6 Stewart platform of planar base and moving platform. Based on algebraic elimination method and with one extra linear sensor, it first derives an 8th-degree univariate equation and then finds tentative solution sets out of which the actual solution is to be selected. In order to provide more exact solution despite the error between measured sensor value and the theoretical one, a correction method is also used. The overall procedure requires so little computation time that it can be efficiently used for realtime applications. In addition, unlike the iterative schemes e.g. Newton-Raphson, the algorithm does not require initial estimates of solution and is free of the problems that it does not converge to actual solution within limited time. The presented method has been implemented in C language and a numerical example is given to confirm the effectiveness and accuracy of the developed algorithm.

• 한국경영과학회지
• /
• 제30권1호
• /
• pp.149-159
• /
• 2005

In this study, we consider characteristics of stationary waiting times in single-server 2-node tandem queues with a finite buffer, a Poisson arrival process and deterministic service times. The system has two buffers: one at the first node is infinite and the other one at the second node is finite. We show that the sojourn time or departure process does not depend on the capacity of the finite buffer and on the order of nodes (service times), which are the same as the previous results. Furthermore, the explicit expressions of waiting times at the first node are given as a function of the capacity of the finite buffer and we are able to disclose a relationship of waiting times between under communication blocking and under manufacturing blocking. Some numerical examples are also given.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제8권
• /
• pp.287-301
• /
• 1999

방과후 수학수업이나 현행 수학능력시험 후 고3학생의 수학지도는 그 방법과 목적이 기존의 수학교과의 내용과 운영방식과는 차별화 되야 한다. 특히 교사는 이에 대한 인식과 필요한 지식이 증대 되야 하며, 교내 방과후 영재반 또는 수학관련 동아리에서 사용할 주제의 선정과 교수법이 개발되어야한다. 주제선정은 대수, 해석영역에서 연계성이 강하게 나타나는 것이 바람직하며, 수학교육의 목표에 실질적으로 부합되어야한다. 본 논문에서 우리는 일${\cdot}$이차 다항식을 예로 제시하고자 한다. 다항식은 중학교 수학교과에서 인수분해와 전개의 대상이고 고교과정에선 접선이나 정적분의 대상이다. 우리는 일${\cdot}$이차다항식을 미분, 적분, 행렬, 그리고 벡터의 입장에서 근사(approximation)의 주체로 다루었다.

• 산업경영시스템학회지
• /
• 제35권3호
• /
• pp.155-162
• /
• 2012

This study proposes an integrated approach that uses both a fuzzy service FMEA (failure mode and effect analysis) and HOQ (house of quality) matrix algebra in designing and improving a service system. The fuzzy service FMEA methodology applies the customer satisfaction to the fuzzy RPN model. We fuzzify only the service satisfaction that consist in two failure factors, intangible service and tangible service, to more effectively assess the customer satisfactions on service encounters. Proposed fuzzy service satisfactions with triangle membership function are defuzzified by using the Fuzzy Inference System, and these are eventually identified the ranks on the potential fail points. HOQ matrices are constructed from cause-effect relationships. It is possible for these relationship matrix to find a linear approximation solution on the engineering attributes. Thus, in order to demonstrate how the proposed methods work, practical sample of the A/S part in S Electronic Co. provides for the ranking of the engineering attributes which has been successfully implemented.

• 경영과학
• /
• 제24권1호
• /
• pp.25-34
• /
• 2007

In this study, we consider stationary waiting times in finite-buffer 3-node single-server queues in series with a Poisson arrival process and with either constant or non-overlapping service times. We assume that each node has a finite buffer except for the first node. The explicit expressions of waiting times in all areas of the stochastic system were driven as functions of finite buffer capacities. These explicit forms show that a system sojourn time does not depend on the finite buffer sizes, and also allow one to compute and compare characteristics of stationary waiting times at all areas under two blocking rules communication and manufacturing blocking. The goal of this study is to apply these results to an optimization problem which determines the smallest buffer capacities satisfying predetermined probabilistic constraints on stationary waiting times at all nodes. Numerical examples are also provided.

• 한국전산구조공학회논문집
• /
• 제12권1호
• /
• pp.95-102
• /
• 1999

본 연구에서는 중복되지 않는 고유치를 갖는 비비례 감쇠계의 고유치와 고유벡터의 민감도를 계산하는 새로운 방법을 제시하였다. 제안 방법에서는 (n+1)차의 대칭 행렬로 이루어진 대수방정식을 해석함으로써 n개의 자유도를 갖는 감쇠계의 고유치와 고유벡터의 설계변수에 대한 미분을 구한다. 제안 방법은 매우 간단하면서도 수치적 안정성이 보장되고 정확한 해를 주는 방법이다. 제안 방법의 검증을 위해 7자유도를 갖는 차량모델의 민감도해석을 예제에서 다루고 있다. 예제에서의 설계변수는 콘테이너의 질량으로 하였다.

• 한국전산구조공학회논문집
• /
• 제12권1호
• /
• pp.103-109
• /
• 1999

본 연구에서는 중복 고유치를 갖는 비비례 감쇠 진동계의 고유치와 고유벡터의 민감도를 계산하는 새로운 방법을 제시하였다. 제안 방법은 매우 간단하면서도 수치적 안정성이 보장되고 정확한 해를 주는 방법이다. 제안 방법에서는 (n+m)차의 대칭 행렬로 이루어진 대수방정식을 해석함으로써 n개의 자유도를 갖는 감쇠계에 있어서 m차의 중복도를 갖는 고유치와 고유벡터의 설계변수에 대한 미분을 구한다. 제안 방법의 검증을 위해 5자유도를 갖는 단순구조물의 민감도해석을 예제에서 다루고 있다. 예제에서의 설계변수는 모델의 부분강성으로 하였다.

• 대한수학교육학회지:학교수학
• /
• 제17권3호
• /
• pp.407-421
• /
• 2015

본 연구에서는 연립일차방정식에 대한 교사의 수학 전문성 신장을 위하여 연립일차방정식의 다양한 표현을 탐색하고, 그 해결 방법인 소거법의 의미를 분석했다. 연립일차방정식은 언어적 표현, 직사각형 표현, 방정식 표현, 직선(또는 그래프) 표현, 첨가행렬 표현, 행렬 표현, 일차결합(또는 벡터) 표현으로 나타낼 수 있다. 직사각형 표현은 계수가 자연수이고 해가 양인 값을 찾는데 유용하다. 직선 표현에서 기울기와 절편을 Cramer의 공식과 연결시켜 줄 수 있다. 한 미지수를 소거하는 것은 축이나 축에 평행한 직선의 방정식을 구하고, 그것을 사용하여 다른 축이나 축에 평행한 직선으로 바꾸는 것이다. 이런 점에서 가감법이라는 대수적 절차를 직선을 사용하여 시각적으로 이미지화할 수 있다. 일차방정식의 해법에서 사용하는 방정식의 일차결합은 직선족과 방향벡터로 바꾸어 생각할 수 있다.

• 한국항행학회논문지
• /
• 제22권4호
• /
• pp.325-335
• /
• 2018

상태 궤환 제어기 설계에 있어서 상태 정보에 대한 접근의 제한성 때문에, 출력 궤환 제어기 설계에 대한 많은 연구가 수행되어 왔다. 그럼에도 불구하고 최적의 출력 궤한 제어기 설계는 여전히 풀리지 않은 문제로 남아 있다. 따라서, 기존에 수행되었던 관련한 다양한 고정형 출력 궤한 제어기 설계 연구 결과를 리뷰하고 복잡도와 안정성 관점에서 성능을 평가 비교함으로써 이 분야의 연구의 방향을 찾고자 한다. 또한, 기존 연구에서 제한적인 시스템 구성에서 제시되었던 알고리즘들을 어떤 시스템 구성에서도 적용가능할 수 있도록 리뷰하는 알고리즘을 완벽하게 제공한다. 리뷰하는 알고리즘은 모의 실험을 통해서 안정성 성능과 연산 시간으로 측정된 복잡도를 통하여 비교 평가한다. 모의실험 결과에 따르면, 대수에 의한 제어기 설계 알고리즘[20]이 가장 적은 복잡도를 가지는 반면에 스케링 변환 기반의 선형 행렬 부등식 알고리즘[18]이 대부분의 경우에 고복잡도를 가지고 가장 좋은 성능을 갖음을 확인하였다.