• 조명전기설비학회논문지
• /
• 제21권10호
• /
• pp.73-81
• /
• 2007

서보 모터의 순시 토크 제어 능력의 개선을 위해 PMSM 서보 모터의 적응형 전류 제어기 설계 방법을 제안한다. 동기좌표 전류 제어기에서 비결합 제어 입력을 이용하여 새로운 제어 입력 항을 얻을 수 있으며 이를 통해 제어기의 원하는 대역폭을 선정할 수 있지만 모터의 파라미터 변화, 데드타임에 의한 인버터의 왜곡 등의 외란에 의해 제어 성능이 저하된다. 이러한 단점을 개선하기 위해 PMSM 서보 모터의 적응형 전류 제어기의 설계 방법을 제안하며 설계 방법이 초안정(hyperstability) 이론에 의해 구해진다. 제안된 제어 방식의 점근안정성을 이론적으로 증명하고 DSP TMS320C31을 이용한 시뮬레이션과 실험을 통해 입증한다.

• 한국음향학회지
• /
• 제14권3호
• /
• pp.90-96
• /
• 1995

잡음섞인 관측데이타로부터 AR 모수를 추정하는 방법을 제안하였다. AP 방법이라고 이름붙인 이 방법은 단순하고도 신뢰성있는 적응예측기를 이용하려는 시도의 산물이다. 잡음섞인 입력수열로부터 계산된 AR 모수의 추정치보다 예측수열로부터 계산된 AR 모수의 추정치가 원래의 모수에 스펙트럼상의 거리가 더 가깝다는 것을 이론적으로 증명하였다. 실제 음성 신호와 칼만필터를 사용한 실험결과도 이론과 일치함을 보였다. 대략적으로, AP방법으로 계산된 추정치를 사용하였을때의 잡음감쇠성능은 잡음섞인 입력수열로부터 계산된 AP 모수의 추정치를 사용하였을때보다는 우수하였고, EM반복법에 의한 추정치를 사용하였을때보다는 약간 못한 것으로 나타났다. 그러나, 제안된 방법은 그 단순성으로 인하여 경우에 따라 더 복잡한 다른 방법의 대안으로 사용될 수 있을 것이다.

• 한국항행학회논문지
• /
• 제15권5호
• /
• pp.781-788
• /
• 2011

Sphere-packing problem은 주어진 공간에 가능한 한 많은 구(sphere)를 채울 수 있는 배열을 찾는 문제이고 covering problem은 이에 쌍대적인 최적화의 문제로 코딩이론에 적용된다. 본 논문에서는 이진 코드이론에서의 가중치(weight)와 해밍거리(Hamming distance)에 대한 개념을 부울 대수(Boolean algebra)의 개념으로 일반화한다. 부울 대수에서의 가중치와 이를 이용하여 거리함수를 정의하고, 이들의 기본적인 성질들을 밝힌다. 또한, 부울 대수에서의 sphere-packing bound와 Gilbert-Varshamov bound의 정리를 증명한다.

• 한국컴퓨터산업학회논문지
• /
• 제2권2호
• /
• pp.203-210
• /
• 2001

이진 트리 검색에 관한 관계 모형들을 추정하고 이론 가설들을 검정하기 위하여 중복되지 않는 자연수들을 자료로 하는 3개 이상 7개 이하의 노드를 가진 모든 가능한 이진 검색 트리 들을 생성하였다. 노드 개수 별로 높이 및 균형도 에 따른 이진 검색 트리 생성 확률들을 추정하였으며 노드 개수와 트리의 높이, 검색에 필요한 비교 횟수의 관계를 나타내는 회귀 모형이 구축되었고 이진 검색 트리의 O(1g(n)) 이론이 적합도 검정 절차에 의하여 실험적으로 채택되었다. 이진 검색 트리의 균형에 따른 검색 성능의 유의적 차이들을 통계적으로 증명하기 위하여 균형도에 따라 확률적으로 생성된 이진 검색 트리들을 세 그룹으로 그룹화하고 그룹간의 검색 비교 횟수를 분산 분석 모형에 의하여 비교 분석하였다.

• 한국도서관정보학회지
• /
• 제41권2호
• /
• pp.61-80
• /
• 2010

이 논문은 정보봉사의 개념과 속성을 밝히고, 이를 토대로 정보봉사의 철학적 기반을 세우는데 목적을 두었다. 정보봉사의 개념과 속성은 용어의 어원과 정의 및 내용, 역사적, 사회적 관점에서 그 근거를 밝혔다. 이를 통해 정보봉사라는 용어가 정보봉사의 본질과 속성 그리고 활동내용에 가장 적합한 명칭임을 논리적으로 증명함으로써 정보봉사의 이론을 체계화하였다. 정보봉사의 철학은 용어의 어원, 정의, 기능, 그리고 역사적, 사회적 관점 등에서 일관되게 흐르고 있는 정신인 교육, 정보, 상담 지도라는 세 요소와 봉사라는 인본주의적 요소를 중심으로 그 기초를 세우는 작업을 시도하였다.

• 태양에너지
• /
• 제19권2호
• /
• pp.57-65
• /
• 1999

[ $H_2O$ ]-NaCl혼합물을 냉축열재로 선택하였으며, 이 혼합물의 상변화온도를 몰농도 변화에 의하여 조절하였다. 그리고 고농도와 저농도의 NaCl과 $H_2O$가 ion-dipole interaction으로 결합하는 구조를 그림으로 가시화하고 가열, 냉각과정에서 $H_2O$-NaCl이 동결, 융해하는 현상을 도시하므로서 융해와 동결과정에서 상변화온도가 2단계로 나타나는 구조적 원인을 구명하였으며, NaCl의 농도변화에 따른 상변화온도를 이론적으로 분석하므로서 실험 및 이론분석 결과의 타당성을 증명할 수 있도록 하였다.

• Spatial Information Research
• /
• 제12권1호
• /
• pp.111-125
• /
• 2004

위성영상 분류에 관한 주요 주제 중 하나는 분류 정확도 향상에 있다. 동일지역에 대한 동일시기의 위성영상을 취득할 수 있는 기회가 많아지는 현실을 감안할 때, 복수의 위성영상 데이터를 이용하여 분류정확도가 향상된 분류결과를 도출하는 것은 의미 있는 일일 것이다. 본 연구 주제는 최대우도법을 사용하여 계산된 데이터의 사후확률 및 분류 불확실도를 Dempster-Shafer의 증거이론에 적용하여 분류정확도를 향상시키고자 하는 것이다. 분석결과 개별적인 데이터 분류나 데이터간 융합에 의한 분류보다 본 연구에서 제안한 방법이 전체정확도와 Kappa 지수 모두 높은 정확도를 나타냈으며, 정확도 차에 대한 검정을 실시하여 본 연구에서 제안한 방법이 다른 방법에 비해 우수함을 통계적으로 증명하였다.

• 자원환경지질
• /
• 제13권1호
• /
• pp.29-50
• /
• 1980

1. 현장발파(現場發破)에 있어서 오늘날 충분(充分)히 실용(實用)할 수 있는 발파이론(發破理論)이 확립(確立)되어 있지 않다고 본다. 그 이유(理由)는 종래(從來) 사용해오던 Hauoser의 공식(公式)이 실용발파(實用發破)에 전(全)혀 도움을 주지 못하기 때문이다. 즉(卽), i) 장약량수정(裝藥量修正)에 관(關)한 누두함수(漏斗函數) f(n) 발파규모수정항(發破規模修正項) f(W)와의 혼용(混用) ii) 암석항력계수(岩石抗力係數) g와 단위체적당폭약소비량(單位體積當爆藥消費量) $(kg/m^3)$과의 오용(誤用) iii) 폭파계수(爆破係數) C가 egd인가, f(W) egd인가의 부명확성(不明確性) 등이다. 본연구에서의 이와 같은 제문제점(諸問題點)을 명확(明確)히 하고 2. 제발발파이론(齊發發破理論)을 확대적용(擴大適用)하여 bench 발파(發破), smooth blasting 및 소할발파(小割發破)에 있어서는 장약량공식(裝藥量公式)을 유도(誘導)할 수 있음을 증명(證明)하고 3. 갱도굴착단면계수(坑道掘鑿斷面係數) 및 발파규모(發破規模)에 의하여 수정(修正)한 단위체적당장약량(單位體積當裝藥量)$(kg/m^3)$을 구(求)하고 총장약량(總裝藥量)을 산출(算出)하여 발파설계(發破設計)를 할 수 있는 방법(方法)의 예(例)를 들어 보였다.

• 한국정보과학회논문지:시스템및이론
• /
• 제36권5호
• /
• pp.429-436
• /
• 2009

오드 연결망은 그래프이론 모델의 하나로 발표되었는데, [1]에서 고장허용 다중컴퓨터에 대한 하나의 모형으로 소개되었고, 여러 가지 유용한 성질들 - 간단한 라우팅 알고리즘, 최대고장허용도, 노드 중복 없는 경로 등 - 이 분석되었다 본 논문에서는 오드 연결망 $O_d$ 에서 에지 중복 없는 스패닝 트리를 구성하는 알고리즘을 제안한다. 그리고 제안한 알고리즘에 의해 구성된 에지 중복 없는 스패닝 트리가 에지 중복 없는 최적 스패닝 트리임을 증명한다.

• 융합신호처리학회논문지
• /
• 제6권3호
• /
• pp.157-162
• /
• 2005

본 논문은 미지의 마찰력을 갖는 로봇 매니퓰레이터에 대하여 퍼지시스템을 이용한 적응보상기를 제안한다. 일반적인 로봇제어이론에서는 대부분 마찰력을 무시하거나 단순히 다이나믹 마찰력만을 고려한다. 본 논문에서는 다이나믹 마찰력뿐만 아니라 비스코스 마찰력까지도 고려한 제어방식이다. 마찰력이 관절마다 결부되지 않는다는 성질을 이용하여 각 관절에 해당하는 마찰력을 SISO 퍼지시스템으로 근사하며 전체제어시스템이 안정도를 Lyapunov 안정도 이론을 이용하여 증명하고 적절한 적응법칙을 설계한다. 제안된 제어방식의 타당성을 보이기 위해 2-링크 로봇 매니퓰레이터에 대하여 컴퓨터 시뮬레이션을 보이고 각 링크에 대한 마찰력을 퍼지시스템이 잘 근사한다는 것을 보인다.