• Journal of the KSME
• /
• v.29 no.2
• /
• pp.169-174
• /
• 1989

기계의 운전 중에 불평형이 변화할 확률은 예측하기가 어렵다는 것에 대해서는 이미 지적한바 있다. 따라서 계산은 미감도의 평가로 한정된다. 이 값은 공진에 인접하여 운전될 때의 특수 한 경우에 대한 것이다. 계산의 정확도를 지나치게 높이 평가하지 않도록 주의할 필요가 있다. 이러한 속도에서 계의 감쇠는 특히 중요하며, 복잡한 계에 있어서는 충분한 정확도를 갖도록 이 감쇠값을 계산할 수는 없다. 따라서, 설계자는 감쇠값의 결정에 있어서 부분적으로 경험에 의 존해야 한다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2014.01a
• /
• pp.145-147
• /
• 2014

공동주의는 사회적 개체간의 지각적 경험을 공유하는 상호작용과정으로, 최근 인간-로봇 상호작용연구와 관련해서 로봇 공학자의 관심이 커지고 있다. 발달심리학에 기초한 기존의 developmental robotics의 접근과는 달리, 본 연구에서는 사전단서 패러다임을 이용해서 목표물, 단서, 주의반응 간의 삼자관계를 수학적으로 개념화하였다. 간단한 목표물 탐사과제를 통해서 계산모형의 수행을 검증하였다. 연구결과에서는 컴퓨터 시스템의 시각적 주의 모형이 사용자가 지시하는 단서(손가락 지시)의해 목표물(이온음료)을 주의를 할당하는 것을 보였다. 본 연구는 심리학에서 연구된 사전단서 패러다임을 인간-로봇 상호작용에 적용될 수 있음을 보여준다.

• Annual Conference on Human and Language Technology
• /
• 2019.10a
• /
• pp.155-160
• /
• 2019

본 연구에서는 사진 검색을 위한 Attentive Aggregation(주의적 종합) 기반의 언어-시각 크로스모달 임베딩 모델을 제안한다. 본 연구에서는 크로스모달 임베딩을 활용한 검색 과제에서 검색 대상의 임베딩을 계산하는 새로운 방법으로 '질의 기반 종합 검색 대상 임베딩'을 제안하며, Attentive Aggregation 레이어를 활용하여 이를 적용한 크로스모달 임베딩 모델을 제안한다. 제안 모델은 정보량이 많은 사진 데이터로부터 여러 특징을 추출한 뒤 주어진 질의에 따라 이들을 선택적으로 반영한 임베딩을 계산할 수 있으며, 이에 따라 Recall@10 약 0.23, MAP@10 약 0.11, MRR 약 0.13으로 Baseline과 비교하였을 때 크게 향상된 사진 검색 성능을 보였다.

• Journal of Korean Society of Forest Science
• /
• v.95 no.4
• /
• pp.495-500
• /
• 2006

Stability of cable yarding with self-propelled carriage was discussed by theoretical tension calculation and field test. To verify usefulness of theoretical stability evaluation of cable yarding operation, skyline tension and stump anchoring force were measured and compared with theoretical calculation. As results, we know that measured skyline tension was similar to theoretical calculated tension. From these results, overall stability of cable logging operation could be evaluate. The stump anchoring force correlated closely with the stump diameters. The inclination angles that the stumps show the maximum anchoring force were ranged 5-10 degrees. It was conclude that the stumps have lost the function as an anchor when the inclinations was so large that they could be observed.

• The Journal of the Acoustical Society of Korea
• /
• v.20 no.4
• /
• pp.48-53
• /
• 2001

In this paper, selectively attentive learning method has been proposed to improve the learning speed of multilayer Perceptron based on the error backpropagation algorithm. Three attention criterions are introduced to effectively determine which set of input patterns is or which portion of network is attended to for effective learning. Such criterions are based on the mean square error function of the output layer and class-selective relevance of the hidden nodes. The acceleration of learning time is achieved by lowering the computational cost per iteration. Effectiveness of the proposed method is demonstrated in a speaker adaptation task of isolated word recognition system. The experimental results show that the proposed selective attention technique can reduce the learning time more than 60% in an average sense.

• The Proceedings of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.3 no.2
• /
• pp.51-55
• /
• 1989

전원주파수 5-13[KHz]로 구동되는 형광램프(38mm 40W) 양광주 내의 수은의 여기원자 밀도를 시간과 반경방향에 대하여 계산하였다. 계산과정에서 수은의 에너지 준위는 기저 준위, 63P0, 63P1, 63P2와 이온화 준위가 고려되었으며, 전자의 에너지 분포함수는 2 Electron Group Model이 사용되었다. 계산결과는 일반적으로 사용하는 반경방향의 여기원자 밀도가 포물선 혹은 0차 Bessel 함수 형태라는 가정과 크게 다른 것으로 나타났다.

• Korean Journal of Logic
• /
• v.5 no.1
• /
• pp.45-61
• /
• 2001

이 글에서 우리는 연관 명제계산과 무한다치 명제계산 사이의 관계를 살핀다. 구체적으로 우리는 연관 명제계산 $BN_{c1}$이 무한다치 명제계산 $L{\L}C^+$를 포함하는 확장 체계로 간주될 수 있다는 것을 보인다. 즉 $L{\L}C^+$에 직관주의 명제논리에 사용된 부정을 첨가한 후, $BN_{c1}$이 이 체계 $L{\L}C^+$로 변역될 수 있다는 것을 보인다.

• Korean Journal of Logic
• /
• v.6 no.2
• /
• pp.135-158
• /
• 2003

베이즈주의는 믿음의 정도라는 확률의 의미해석과 수학적 확률론에 의한 계산체계를 기초로 하여 가설과 증거간의 입증(confirmation) 관계를 명료하게 분석한다. 베이즈주의는 증거 E가 가설 H를 입증한다는 것을 PR(HIE&K)-PR(HIK)>0으로 정의한다. 그러나 이러한 분석이 과연 과학자들의 입증개념을 올바로 반영하고 있는가 하는 비판이 오래된 증거(old evidence)의 문제로부터 제기되었다 오래된 증거는 이미 알려진 정보이기 때문에 완전한 확률 값 1을 부여받는다. 이 때 오래된 증거가 가설을 입증할 수 있는가 하는 질문은 베이즈주의자와 실제 과학자 사이에 서로 다른 답변을 도출한다. 먼저 베이즈주의에 따르면 오래된 증거가 가설을 입증할 수 없다. 그것은 PR(EIK)=1일 때 PR(HIK)=PR(HIE&K)의 결과가 도출되기 때문이다. 하지만 과학사의 여러 예들로부터 제시되는 실제 과학자들의 입증개념에 따르면 오래된 증거가 가설을 입증하고 있다. 필자는 이와 같은 입증개념의 이질성 문제가 다만 어떤 증거가 입증 가능한 것인지를 구분해야 하는 질적인(qualitative) 문제일 뿐만 아니라 증거가 가설을 어느 정도 입증하는지 하는 입증도를 정확하게 측정해야 하는 양적인(quantitative) 문제라는 점을 밝힌다. 특히 필자는 양적인 문제를 해결하면 질적인 문제가 자연히 해결된다는 점을 밝히고, 반 프라센이나 가버가 제안한 전략이 모두 질적인 문제만을 다루기 때문에 부분적인 해결책에 지나지 않는다는 점을 밝힘으로써 오래된 증거의 문제의 본질은 양적인 문제에 있다는 점을 주장한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07b
• /
• pp.817-819
• /
• 2005

본 논문은 사람이나 로봇이 자율보행을 하기 위해서 시각적으로 한 곳을 집중적으로 선택하도록 하기 위한 논문이다. 동물들이 효율적인 시각 정보 수집을 위해 사용하는 선택적 주의 처리 기법을 기본으로, 깊이정보를 이용하여 여러 개의 주의시선 중 한 곳을 선택하도록 하는 방법을 제안하였으며, 이를 이용한 실험 결과 깊이정보를 이용한 선택적 주의 처리 기법이 유용함을 알 수 있었다. 향후 연구과제는 보행하는데 필요한 정보를 한 번의 계산으로 깊이에 따라 차례대로 정할 수 있는 3차원 맵을 만드는 것이 될 것이다.

• Journal for History of Mathematics
• /
• v.20 no.3
• /
• pp.105-126
• /
• 2007

The present paper considers how to teach mathematical concepts. In particular, we aim to a balanced, unified achievement for three elements of concept loaming such as concept understanding, computation and application through one's mathematical intuition. In order to do this, we classify concepts into three patterns, that is, intuitive concepts, logical concepts and formal concepts. Such classification is based on three kinds of philosophy of mathematics : intuitionism, logicism, fomalism. We provide a concrete, practical investigation with important nine concepts in theory of vectors from the viewpoint of three patterns of concepts. As a consequence, we suggest certain solutions for an effective concept learning in teaching theory of vectors.