• 제목/요약/키워드: system of linear algebra

검색결과 38건 처리시간 0.022초

THE SEMIGROUPS OF BINARY SYSTEMS AND SOME PERSPECTIVES

  • Kim, Hee-Sik;Neggers, Joseph
    • 대한수학회보
    • /
    • 제45권4호
    • /
    • pp.651-661
    • /
    • 2008
  • Given binary operations "*" and "$\circ$" on a set X, define a product binary operation "$\Box$" as follows: $x{\Box}y\;:=\;(x\;{\ast}\;y)\;{\circ}\;(y\;{\ast}\;x)$. This in turn yields a binary operation on Bin(X), the set of groupoids defined on X turning it into a semigroup (Bin(X), $\Box$)with identity (x * y = x) the left zero semigroup and an analog of negative one in the right zero semigroup (x * y = y). The composition $\Box$ is a generalization of the composition of functions, modelled here as leftoids (x * y = f(x)), permitting one to study the dynamics of binary systems as well as a variety of other perspectives also of interest.

(Max, +)-대수를 이용한 2-노드 유한 버퍼 일렬대기행렬에서의 대기시간 분석 (Application of (Max, +)-algebra to the Waiting Times in Deterministic 2-node Tandem Queues with Blocking)

  • 서동원
    • 한국경영과학회지
    • /
    • 제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.

드릴링 자유도를 가진 매크로 삼각형 요소를 이용한 평면 응력 해석 (Construction of a macro plane stress triangle element with drilling d.o.f.'s)

  • 엄재성;김영태;이병채
    • 한국정밀공학회:학술대회논문집
    • /
    • 한국정밀공학회 2004년도 추계학술대회 논문집
    • /
    • pp.886-889
    • /
    • 2004
  • A simple macro triangle with drilling d.o.f.'s is proposed for plane stress problems based on IET(Individual element test) and finite element template. Three-node triangular element has geometrical advantages in preprocessing but suffers from bad performance comparing to other shapes of elements -especially quadrilateral. Main purpose of this study is to construct a high-performance linear triangular element with limited supplementary d.o.f.'s. A triangle is divided by three sub-triangles with drilling d.o.f.'s. The sub-triangle stiffness come from IET passing force-lumping matrix, so this assures the consistency of the element. The macro element strategy takes care of the element‘s stability and accuracy like higher-order stiffness in the F.E. template. The resulting element fits on the uses of conventional three-node. Benchmark examples show proposed element in closed form stiffness from CAS (Computer algebra system) gives the improved results without more computational efforts than others.

  • PDF

계층분석적 의사결정(AHP)을 이용한 연구과제 선정방법에 관한 연구 (A mathematical theory of the AHP(Analytic Hierarchy Process) and its application to assess research proposals)

  • 양정모;이상구
    • 한국수학교육학회지시리즈E:수학교육논문집
    • /
    • 제22권4호
    • /
    • pp.459-469
    • /
    • 2008
  • 본 논문에서 행렬의 가장 큰 고유값과 그에 대응하는 고유벡터가 과학적인 의사결정과정에 어떻게 적용되는지를 살펴본다. 이를 적용한 계층분석적 의사결정(AHP) 방법에서 사용된 행렬이론을 통해서 실제로 연구과제 선정방법의 심사지표 가중치가 AHP를 이용하여 조절되는 예를 구체적으로 알아본다.

  • PDF

Optimal Buffer Allocation in Tandem Queues with Communication Blocking

  • Seo, Dong-Won;Ko, Sung-Seok;Jung, Uk
    • ETRI Journal
    • /
    • 제31권1호
    • /
    • pp.86-88
    • /
    • 2009
  • In this letter, we consider an m-node tandem queue (queues in series) with a Poisson arrival process and either deterministic or non-overlapping service times. With the assumption that each node has a finite buffer except for the first node, we show the non-increasing convex property of stationary waiting time with respect to the finite buffer capacities. We apply it to an optimization problem which determines the smallest buffer capacities subject to probabilistic constraints on stationary waiting times.

  • PDF

통신차단규칙을 따르는 유한버퍼 단순 조립형 대기행렬 망에서의 안정대기시간 (Stationary Waiting Times in Simple Fork-and-Join Queues with Finite Buffers and Communication Blocking)

  • 서동원;이승만
    • 한국시뮬레이션학회논문지
    • /
    • 제19권3호
    • /
    • pp.109-117
    • /
    • 2010
  • 본 연구에서는 3개의 단일서버 노드(기계 1, 기계 2, 조립기계)로 구성된 단순 조립형 대기행렬 망의 안정대기시간에 대해 분석한다. 하나의 재생도착과정을 가정하며, 각 기계의 서비스시간은 서로 독립이며 상수 또는 겹침이 없는 시간으로 가정한다. 기계 1과 기계 2는 무한크기의 버퍼를 가지며, 조립기계는 각 기계로부터의 이송되는 부품을 위해 2개의 유한버퍼를 가진다. 각 기계는 FIFO 규칙과 통신차단규칙에 따라 서비스를 제공한다. 단순 조립형 대기행렬 망의 안정대기시간에 대한 간결한 표현식을 (max,+)-대수를 활용하여 유한버퍼의 크기에 대한 함수의 형태로 도출하였다. 이러한 표현식으로부터 평균, 고차평균, 꼬리확률과 같은 다양한 성능 특성치들의 값을 구할 수 있다.

이공계열 대학 신입생의 기초 수학분야 학업성취도 및 효율적인 교육 방안에 대한 연구 (On freshmen's academic achievements of college mathematics and the efficient methods of education)

  • 김병학;김재웅;김지윤
    • 한국수학교육학회지시리즈E:수학교육논문집
    • /
    • 제31권1호
    • /
    • pp.1-15
    • /
    • 2017
  • 대학 입학 제도는 고등학교 교육뿐만 아니라 입학 후 전공에의 적응 및 수학능력과도 밀접한 관련이 있다고 볼 수 있다. 이와 같은 관점에서 본 논문에서는 경희대학교 국제캠퍼스 이공계열 신입생들의 주요 과목으로 공동관리 되고 있는 미분적분학1을 2006학년도부터 2016학년도까지, 선형대수학을 2011학년도부터 2016학년도까지, 그리고 미분적분학2와 미분방정식과목에 대한 2011학년도부터 2015학년도까지의 학업성취도 및 입학전형을 비교, 분석하고 이공계열 신입생들의 전공에의 적응과 학업능력신장을 위한 개선점을 제안한다.

머리 움직임이 자유로운 안구 응시 추정 시스템 (Eye Gaze Tracking System Under Natural Head Movements)

  • 김수찬
    • 전자공학회논문지SC
    • /
    • 제41권5호
    • /
    • pp.57-64
    • /
    • 2004
  • 한 대의 카메라와 반사각의 조절이 가능한 2개의 거울, 그리고 별도의 적외선 광원을 이용하여 자유로운 머리 움직임이 가능한 안구 응시점 추정 시스템을 제안하였다. 거울의 회전 각도는 카메라의 광축(opticai axis) 상에 안구가 올 수 있도록 공간 좌표계와 선형 방정식을 이용하여 계산하였다 제안한 시스템은 수평 방향으로 90cm 수직 방향으로 60cm 범위 내에서의 머리 움직임이 가능하였고, 응시점의 공간 해상도 각각 6°, 7°이며, 시간 해상도는 10~15 frames/sec이었다. Generalized regression neural networks(GRNN)을 기반으로 하여 2단계의 GRNN을 거치는 소위 hierarchical generalized regression neural networks(H-GRNN)을 이용하여 얻어진 인자를 모니터 좌표로 변환하였다. GRNN을 한번 사용하였을 경우 정확도가 85%이었으나 H-GRNN을 이용할 경우 약 9% 높은 94%의 정확도를 얻을 수 있었다. 그리고 입력 파라미터의 정규화를 통하여 재보정의 불편함을 제거했을 뿐만 아니라 약간의 얼굴 회전이 발생하였을 경우에도 동일한 성능을 보였다. 본 시스템은 공간 해상도는 크게 높지 않으나 자유로운 머리 움직임을 허용되므로 안정성과 피검자의 활동에 제약을 줄였다는 점에서 의의를 찾을 수 있다.