• Korean Journal of Air-Conditioning and Refrigeration Engineering
• /
• v.5 no.2
• /
• pp.111-121
• /
• 1993

Double-diffusive convection during solidification process of the binary mixture was studied numerically. Enthalpy method and finite element method were implemented in the analysis. Calculation carried out for $R{\alpha}_T=10^3-10^4$ and $R{\alpha}_T=0-10^5$. The results show that the variation of thermal Rayleigh number changes the fields of velocity, temperature and concentration, but the variation of solutal Rayleigh number gives little effects on those. In conclusion, concentration gradient can be negligible compared with temperature gradient in macroscopic point of view, although concentration gradient plays a role in forming dendrite.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1996.10a
• /
• pp.23-26
• /
• 1996

인과관계적 추론 방법(causal reasoning)은 시스템 고장을 시스템 구조나 행동의 원인 상과관계를 사용하여 분류하는 것으로서 관측된 행도오가 기대행동의 차이를 조사하여 인식하게 된다. 본 연구에서는 징후(symptom)를 분석 및 분류할 때에 시스템의 기능적인 계층구조를 이용한다. 전문가시스템의 구축은 KAPPA-PC를 사용하였다. KAPPA-PC는 규칙 및 논리에 근거한 방법과 객체지향적 지식 표현 기법을 사용한다. 대다수의 사람들이 일상적으로 사용하는 PC(Personal Computer)는, 특히 하드웨어에서 고장이 일어났을 때 수리자의 노우하우(know-how)로 고쳐지는 경우가 대부분이다. 본 논문에서는 자주 일어날수 있는 PC의 하드웨어적 고장에 일반사용자들이 쉽게 접근해서 그 원인과 진단을 내릴 수 있도록 했으며 작은 고장 원인이 전체 시스템구조내에서 어떤 상관관계를 가지는지를 고찰하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10c
• /
• pp.259-261
• /
• 2002

데이터마이닝 분야에서 빈발항목집합 탐사에 관한 연구는 활발히 진행되어 왔지만 여전히 많은 메모리 공간과 시간을 필요로 한다. 특히 apriori 알고리즘에 기반한 방법들은 긴 패턴이 생성될수록 지수적으로 시간과 공간이 증가한다. 최근에 발표된 fp-growth는 일반적인 데이터 집합에서 우수한 성능을 보이나 희소 데이터 집합에서 효율적인 성능을 보여주지 못한다. 본 논문에서는 길이가 2인 빈발항목집합 L2에 기반한 L2-tree 구조를 제안한다. 또한 L2-tree에서 빈발항목집합을 탐사하는 L2-traverse 알고리즘을 제안한다. L2-tree는 L2를 기반으로 하기 때문에 L2가 상대적으로 적은 희소 데이터 집합 환경에서 적은 메모리 공간을 사용하게 된다. L2-traverse 알고리즘은 별도의 추출 데이터베이스를 생성하는 FP-growth와 달리 단순히 L2-tree를 오직 한번의 깊이 우선 탐사를 통해 빈발항목집합을 찾는다. 최적화 기법으로써 길이가 3인 빈발항목집합 L3가 되지 않는 L2 패턴들을 미리 제거하는 방법으로 C3-traverse 알고리즘을 제안하며 실험을 통해 기존 알고리즘과 비교 검증한다.

• Journal of Educational Research in Mathematics
• /
• v.26 no.4
• /
• pp.683-700
• /
• 2016

The traditional teaching-learning in mathematics, which pursue only one correct answer, should be reexamined to cope with an age of uncertainty. In this research, Perry's epistemological development scheme was noticed as a theoretical approach to diagnose problems of dualistic mathematics lessons and to search solutions of the problems. And Design-Based Research method was adopted, We developed the epistemological development scheme through considering Perry's theory and related studies, scaffoldings and teaching-learning to enhance students' epistemological positions in mathematics. Based on these discussions we designed teaching experiment about operations with negative numbers, and analyzed its didactic implications.

• Proceedings of the IEEK Conference
• /
• 2003.07d
• /
• pp.1331-1334
• /
• 2003

본 논문에서는 메쉬 구조 다중컴퓨터 시스템의 성능을 향상시킬 수 있는 새로운 서브메쉬 할당방법을 제안한다. 이 할당방법의 특징은 가용 서브메쉬의 탐색시 간과 외적단편화로 인한 서브메쉬의 할당 지연을 최소화함으로써 태스크의 대기시간을 줄이는 것이다. 이 할당방법은 태스크의 유형과 동일한 유형별 가용 서브메쉬 리스트에서 최적의 서브메쉬를 찾아 할당함으로써 서브메쉬 탐색시간을 줄인다. 또한 외적단편화로 인해 서브메쉬의 할당지연이 발생하면 할당 서브메쉬에서 수행중인 태스크를 다른 가용 서브메쉬에 재배치하고, 프로세서 단편을 통합하여 할당함으로써 서브메쉬의 할당지연을 최소화한다. 시뮬레이션을 통하여 서브메쉬 탐색시간을 줄이는 방법보다 외적 단편화로 인한 서브메쉬의 할당지연을 줄이는 방법이 태스크의 대기시간을 단축하는데 더 효과적임을 보인다.

• Proceedings of the KIEE Conference
• /
• 2003.07d
• /
• pp.2221-2223
• /
• 2003

다양한 공정에 범용 적으로 적용할 수 있는 PID 제어기 동조 방법이 많이 연구되고 있다. 한 가지 방법으로서 실제공정에 대한 축소모델을 구하고 축소모델로부터 파라메터를 동조하는 방법이 사용되고 있다. 본 논문에서는 시간응답으로부터 최소 자승법을 이용하여 고차 시스템을 2차계로 축소하는 방법을 제안하였다. 2차계 시스템을 차분 방정식으로 표현하고, 시간응답의 입출력 데이터로부터 최소 자승법을 이용하여 차분 방정식의 계수를 구하였다. 차분 방정식을 이산시간상태방정식으로 변환, 이산시간 상태방정식을 연속시간 상태방정식으로 변환하는 과정을 유도하여, 차분 방정식의 계수로부터 연속시간 상태방정식을 구하는 방법을 제시하였다. 시뮬레이션을 통하여 축소모델의 정확성 및 실제공정과의 특성을 비교하였다.

• Journal of Korean Orthopaedic Sports Medicine
• /
• v.1 no.2
• /
• pp.115-117
• /
• 2002

목적: 척추에통증을유발하는주된원인인근육질(Muscle Quality)의저하를향상시키는데있어서비교적안정적인방법(약물혹은수술이아닌요법)을시행하여치료중조직손상과부작용을최소화하면서신속한치료가이루어지는치료방법을찾는데주안점을두었다. 대상및방법: 임상실험기간은6주이었으며대상은평균연령34세(17 $\~$ 42세), 남녀30명,발병된지1년이상지난만성요통환자로서, 치료방법은근육마사지요법과운동요법을선택하였다.1군은근육마사지요법만을시행하였고, 2군은운동요법만을시행하였으며, 3군은근육마사지요법과운동요법을동시에병행하였다. 결과: 유연성측정결과와InBody 3.0에서의체성분결과를토대로분석한결과근육마사지요법만을시행한1군은즉각적인호전현상은보였으나시간경과후6일안으로다시이전의증상이원상복귀되어증상이개선되었다고보기는어려워보였다.한편운동요법만을시행한2군은연령에따른개인차는있었고6주안에만족할만한개선결과를보이지는않았지만증상개선이서서히이루어지고있었다. 그러나근육마사지요법과운동요법을병행한3군은1군과2군의실험결과와2단계이상의통증지수향상이관찰되었다. 결론: 요통의주된원인이되는근육질(Muscle Quality)의향상은근육질에긍정적인영향을주는모든요법중어느한가지를사용하는것보다는보다다각적인치료방법을개발하여적용시킬필요성이있다고사료된다.

• Proceedings of the Korean Institute Of Construction Engineering and Management
• /
• autumn
• /
• pp.379-382
• /
• 2001

In domestic construction industry, time and cost has been managed separately in most cases. Usually projects are managed focused on cost, so time is not yet managed systematically. Project performance in these managemental situation can not be assessed correctly. This would cause project delay, cost overrun, productivity loss. Therefore it is needed to adopt earned value concept, an approach used in the management and control of project costs and schedules. Using this EV concept through time-cost integration, project can be managed properly based on the consistency, predictability, and reliability of the performance data. This paper proposed time and cost integration process, proper PMT method, and practical performance management model through time and cost integration.

• The KIPS Transactions:PartB
• /
• v.8B no.3
• /
• pp.289-298
• /
• 2001

웹 상에서의 다양한 멀티미디어 지원에 있어 이들 미디어들은 서로 분리되어 있으며 정교한 프로그래밍 작업 없이는 다른 요소들과 상호작용하지 못했다. 1998년 6월 발표된 SMIL1.0은 다양한 멀티미디어들간의 상호작용을 가능하게 하였다. 지금까지의 웹기반 멀티미디어 동기화를 위해서는 DHTML이나 Plug-In 등의 부가적인 방법이 사용되어 왔으나 본 논문에서는 SMIL Timing과 Style Sheet 언어를 이용하여 내용중심 마크업 언어에서의 구현이 용이한 멀티미디어 동기화 표현의 방법을 제시하고 그 특징을 살펴본다. 그리고 이를 실험하기 위하여 마크업 언어의 하나인 HTML에 제안된 방법을 적용하였으며 자바언어의 쓰레드 기술과 JMF 기술을 이용하여 시간적으로 미디어간의 동기화가 지원되는 브라우저를 설계 및 구현한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10c
• /
• pp.491-493
• /
• 1998

영상인식은 최근 시각정보의 중요성과 영상을 취득장비의 발달, 처리기술의 향상으로 여러 분야에서 그 중요성과 활용도가 급격히 증가하고 있다. 본 논문에서는 도심지 항공 영상에서 자동표적인식에 관한 문제에서 탐색 물체 주변에 건물들이 밀집되어 있고, 배경이 존재하는 경우에서 fused 분할 방법을 이용하여 기존의 에지 기준 방법인 허프 변환, 에지연결 등에서 발생하는 군집화 문제점을 해결하다. 취득환경의 차이에 다른 농도치 차이를 BCT 방법으로 정규화하여 유사도 기준치로 편차오차를 계산하여 인식하였다. 실험에서는 다양한 탐색물체를 대상으로 회전, 이동, 신축 등의 복합적인 변형에 대하여 불변적으로 인식한 결과를 보였으며, 영상 정합, 컴퓨터 비전, 영상 분석, 영상 이해등의 분야에 적용 가능성을 제시하였다.