• Communications of Mathematical Education
• /
• v.18 no.2 s.19
• /
• pp.93-108
• /
• 2004

Wassily Leontief가 미국 경제의 모델에 선형 대수를 적용한 이론으로 1973년에 노벨 경제학상을 받은 후로는 인문${\cdot}$사회 과학(특히 상경(商經) 분야)을 전공하는 사람에게도 선형 대수는 큰 관심 분야가 되었다. 그래서 1980년대 부터는 대학의 기초 과목으로써 선형 대수를 가르치는 것은 유행처럼 퍼졌고 또 가르침에 관한 연구도 활발하여졌다. 현행 우리나라의 초${\cdot}$중${\cdot}$고등 학교의 수학과 교육과정(이른바 “제 7차 개정”) 속에는 선형대수의 내용이 어느 정도 있으나 학생들에게 확실한 개념을 갖도록 가르치고 있지 않다. 수직선, 순서 쌍, n-겹수, 직교 좌표, 벡터 등 해석기하적인 내용과 선형 방정식계의 풀이법(가우스${\cdot}$조르단 소거법을 쓰지 않는 풀이법) 등 일반 대수적인 내용은 다루지만 선형 변환, 벡터 공간의 구조 등은 다루지 않는다. m${\sim}$n 행렬은 수학II에 나와 있긴 하나 소개하는 정도에 그친다. 한편 과학 계열 고등학교 학생을 위한 "고급 수학"에는 비교적 많은 양의 선형 대수의 내용이 있다. 일반 계열 고등학교의 수학에서도 선형 대수의 내용을 확장하고 학생들에게 확실한 개념을 갖도록 가르쳐서 이들이 대학에 진학하여 전공 분야에서 아무 어려움이 없도록 하는 것이 바람직하다.

• Proceedings of the Korea Contents Association Conference
• /
• 2012.05a
• /
• pp.267-268
• /
• 2012

본 논문에서는 효과적인 영상암호를 위하여 영상을 여러 단계별 블록화 한 뒤 암호화 과정을 수행한다. 이러한 암호화 과정의 효과적인 연산을 위하여 기본 행렬 변환을 이용한 대수적 연산과 비정칙적 복잡 함수의 무작위적 특이성을 이용한다.

• Communications for Statistical Applications and Methods
• /
• v.3 no.2
• /
• pp.239-247
• /
• 1996

본 연구에서는 패널티화 대수우도 함수의 해를 구하기 위해 Lange (1995)의 EMG 알고리즘을 적용할 경우에 발생하는 문제점을 제시하고 이를 해결하기 위해 OSLG알고리즘은 EMG 알고리즘이나 Green (1990)의 OSL 알고리즘으로 해결할 수 없는 문제에 쉽게 적용된다. 한편 이 알고리즘은 EMG 알고리즘의 변형이지만 OSL 알고리즘과 같은 국소수렴성질을 갖는다. OSLG 알고리즘은 특히 페널티함수에 대한 2차 도함수행렬이 대각행렬이 아닌 응용분야에서 매우 유용하게 사용될 수 있을 것으로 기대된다.

• School Mathematics
• /
• v.13 no.3
• /
• pp.405-422
• /
• 2011

In this study, we consider the meaning of one-to-one correspondence through theoretical background under operation of matrix. On algebraic point of view, its significance is 'through one-to-one correspondence from a set with given structure, become a methods in order to induce an algebraic system in to a new set.' That is a key idea making isomorphic structure. Such process experiences necessity of mathematical fact, as well as the deep understanding of one-to-one correspon -dence. Also that becomes a base for develop a various mathematical concepts, such as matrix, exponential laws, symmetric difference, permutation and so on. This study help teachers and students to understand of mathematical concepts meaningfully and to facilitate teacher's professional development.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.31 no.5D
• /
• pp.663-669
• /
• 2011

In this study, the optimal length of left-turn lane in permissive left-turn signal system at the signalized intersection which has a left-turn bay is estimated. It is a simulation analysis using the queueing theory that estimate the length of left-turn lane. Traffic density conform to the standards of operating a permissive left-turn system of the Practical Manual Traffic Safety Facilities. And each of a left-turn arrival rate, a left-turn service rate, left-turn average queueing time, for green time average queueing vehicle, for red time average queueing vehicle and average queueing vehicle cycle is calculated. As a result of this study, we would learn how much the space should be secured at the signalized intersection which has a left-turn bay. The methodology using the queueing theory to work out the optimal length of waiting lane in the permissive left-turn signal system was presented.

• Korean Journal of Construction Engineering and Management
• /
• v.24 no.1
• /
• pp.21-30
• /
• 2023

Excessive complaints and traffic jams occurred as customers who visited the Drive-thru waited in a long line. Company S recommends DT Pass to reduce the queues. Therefore, this study confirmed the improvement in performance of the queue increasing the number of stores operated by two servers insteaol of one using a queue model. And then confirmed performance improvement by dividing them into DT and DT Pass. After that, the L value derived through the queue model and the number of queues in each store were compared to calculate the number of queues to be additionally provided. Through this, the validity of selecting the minimum number of queues in the future is verified based on the results derived in this study.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.26 no.12A
• /
• pp.1983-1989
• /
• 2001

A new two-step soft output Viterbi algorithm (SOVA) for turbo decoder is proposed and analyzed in 7his paper. Due to the algebraic structure of the proposed algorithm, slate and branch metrics can be obtained wish parallel processing using matrix arithmetic. As a result, the number of multiplications to calculate state metrics of each stage and total memory size can be decreased tremendously. Therefore, it can be expected that the proposed algebraic two-step SOVA is suitable for applications in which low computational complexity and memory size are essential.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.42 no.8 s.338
• /
• pp.1-10
• /
• 2005

In this paper, the explicit low density codes construction from the generalized permutation matrices related to algebra theory is investigated, and we design several Jacket inverse block matrices on the recursive formula and permutation matrices. The results show that the proposed scheme is a simple and fast way to obtain the low density codes, and we also Proved that the structured low density parity check (LDPC) codes, such as the $\pi-rotation$ LDPC codes are the low density Jacket inverse block matrices too.

• Proceedings of the KIEE Conference
• /
• 2004.07d
• /
• pp.2239-2241
• /
• 2004

이 논문은 최적 제어 설계방법 중 하나인 LQR 제어기의 과도 상태를 개선하는 방법에 관한 연구이다. 적절한 상태가중행렬과 제어가중행렬을 설정한 후 대수 Riccati 방정식을 풀면 LQR 제어기가 설계된다. 그런데 이 가중행렬은 시행착오 방법을 이용하여 설정하기 때문에 설계된 제어기의 과도 상태를 개선하기 하기가 매우 어렵다. 이러한 문제점을 해결하기 위한 방법으로 closed-loop 근과 가중행렬과의 상관관계를 수학적으로 표현하고, 이를 바탕으로 설계조건을 만족하도록 시스템의 근을 이동시키는 가중행렬을 구하는 방법을 제시한다. 원운동형 도립진자(rotary type inverted pendulum)를 통해 matlab 모의실험으로 그 타당성을 검증한다. 얻어진 결과를 이용하면 원하는 극점을 갖는 LQR 제어기를 체계적으로 설계할 수 있다.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.10 no.11
• /
• pp.3227-3233
• /
• 2009

A method for performing Boolean resubstitution is proposed. This method is efficiently implemented using division matrix. It begins by creating an algebraic division matrix from given two logic expressions. By introducing Boolean properties and adding literals into the algebraic division matrix, we make the Boolean division matrix. Using this extended division matrix, Boolean substituted expressions are found. Experimental results show the improvements in the literal counts over well-known logic synthesis tools for some benchmark circuits.