• Journal of applied mathematics & informatics
• /
• 제26권5_6호
• /
• pp.1161-1168
• /
• 2008

We prove a theorem that there exists at least a solution reaching the prescribed target in autonomous differential inclusion. A weak invariance theorem is obtained from this theorem as its corollary. To deduce the conclusion, we assume that the target satisfies inward pointing condition. This condition will be given by proximal normal cone.

• 대한인간공학회지
• /
• 제11권1호
• /
• pp.103-109
• /
• 1992

Direct manipulations are composed of pointing operations and dragging operations. In order to find the optimum design parameters (such as C/D ratio, moving direction) for the direct manipulation of a GUI(Graphical User Interface), an ergonomic experiment was devised (2*4*3*8 design) to measure the performance of a mouse (Microsoft) and a trackball (Logitech). The results showed that the mouse was more suitable for the direct manipulation (expecially for the dragging operation) than the trackball, and the suitable C/D ratio was 10 (for the mouse) and 16 (for the trackball). Also the movement direction was a determinant factor in trackball performance.

• 한국언어정보학회지:언어와정보
• /
• 제14권1호
• /
• pp.197-227
• /
• 2010

This study reviews (i) the (dis)advantages of two major semantic theories of focus, i.e., the Alternative Semantics (AS) and the Structured Meaning Theory (SM), and (ii) the hybrid analysis consisting of these two theories proposed by Krifka (2006). After pointing out a problem of this hibrid analysis, this study attempts to show the third alternative, i.e., the theory of identificational predication for focus can solve this problem.

• Journal of Microbiology
• /
• 제40권3호
• /
• pp.241-244
• /
• 2002

Fungi commonly encountered on monocotyledonous substrates were evaluated for their in vitro ability to produce enzymes involved in lignocellulose breakdown. Most were capable of structural polysac-charide utilization, but few produced enzymes associated with lignin breakdown. None of the mono-cotyledon-inhabiting fungi produced reactions as strongly as wood decay fungi.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2000년도 제15차 학술회의논문집
• /
• pp.99-99
• /
• 2000

An effect ive filter algorithm that can manage radar beam pointing efficiently is needed to track multi-target in the air. For effective beam management the filter has lobe good enough to predict future position of target and based on this filter output radar beam is control led to point toward the predicted target position in the air. In this paper, we investigate the ${\alpha}$-${\beta}$ filter known for its brief filter structure with the steady-state Kalman filter gain, the ruv filter, and the coordinate-transformed filter that can decouple the measurement noise variance.

• 천문학회지
• /
• 제34권4호
• /
• pp.209-213
• /
• 2001

This paper describes the numerical solution to the hyperbolic system of magnetohydrodynamic (MHD) equations. First, by pointing out the approximations involved, the deal MHD equations are presented. Next, the MHD waves as well as the associated shocks and discontinuities, are presented. Then, based on the hyperbolicity of the ideal MHD equations, the application of upwind schemes, which have been developed for hydrodynamics, is discussed to solve the equations numerically. As an definite example, one and multi-dimensional codes based on the Total Variation Diminishing scheme are presented. The treatment in the multi-dimensional code, which maintains ${\nabla}{\cdot}$B = 0, is described. Through tests, the robustness of the upwind schemes for MHDs is demonstrated.

• 한국주거학회:학술대회논문집
• /
• 한국주거학회 2002년도 추계학술발표대회
• /
• pp.173-178
• /
• 2002

An increase in population of advanced age people according to medical development and progress of small family system by industrial development, changed our traditional large family system and paved way for creating a new dwelling culture in Korea. The purpose of this study are consisted of user paid welfare housing for elderly, pointing out the typical problems on present the elderly housing by check- list.

• 항공우주기술
• /
• 제13권1호
• /
• pp.76-85
• /
• 2014

본 연구에서는 다양한 열팽창계수 예측기법을 활용해서 섬유강화 복합재료 라미나 등가 열팽창계수 예측을 수행하였다. 등가열팽창계수를 예측하는 많은 식들이 제안되어 왔지만 사용대상에 따라 제약이 있거나, 예측결과가 시험결과와 잘 일치하지 않는 문제점을 갖고 있다. 본 연구에서 실제 복합재료 형상과 유사한 대표체적요소를 선정하여 유한요소 모델링을 수행하고 여기에 주기적 경계조건을 부여하여 재료의 등가열팽창계수를 예측하였다. 예측결과를 기존의 예측식 및 시험결과와 비교하여 그 성능을 검증하였으며, 별추적기 지지구조물의 열지향오차해석을 수행하고 다양한 예측물성을 따라 그 정확도를 검토하였다.

• 대기
• /
• 제25권1호
• /
• pp.19-30
• /
• 2015

The Ka-band cloud radar (KCR) has been operated by the National Institute of Meteorological Research (NIMR) of Korea Meteorological Administration (KMA) at Boseong National Center for Intensive Observation of severe weather since 2013. Evaluation of data quality is an essential process to further analyze cloud information. In this study, we estimate the measurement error and the sampling uncertainty to evaluate data quality. By using vertically pointing data, the statistical uncertainty is obtained by calculating the standard deviation of each radar parameter. The statistical uncertainties decrease as functions of sampling number. The statistical uncertainties of horizontal and vertical reflectivities are identical (0.28 dB). On the other hand, the statistical uncertainties of Doppler velocity (spectrum width) are 2.2 times (1.6 times) larger at the vertical channel. The reflectivity calibration of KCR is also performed using X-band vertically pointing radar (VertiX) and 2-dimensional video disdrometer (2DVD). Since the monitoring of calibration values is useful to evaluate radar condition, the variation of calibration is monitored for five rain events. The average of calibration bias is 10.77 dBZ and standard deviation is 3.69 dB. Finally, the statistical characteristics of cloud properties have been investigated during two months in autumn using calibrated reflectivity. The percentage of clouds is about 26% and 16% on September to October. However, further analyses are required to derive general characteristics of autumn cloud in Korea.

• 한국HCI학회논문지
• /
• 제2권1호
• /
• pp.57-63
• /
• 2007

본 연구는 Tiled Display 기반의 협업 환경에서 인터랙션을 위한 적외선 포인터를 구현하는 목적으로 진행되었다. 적외선 발광 다이오드에서 나오는 빛을 인지하여 포인터의 궤적을 인식하는 기술과 이를 응용하여 여러 분야에 접목시키는 것에 주안점을 두었다. 기본적인 마우스 클릭 기능과 단순 포인팅 기능을 제공하는 기존의 포인터와는 달리 적외선 발광 다이오드가 탑재된 포인터를 조립, 이용하여 기존의 기능뿐만 아니라 컴퓨터와 사용자 간의 새로운 커뮤니케이션 수단을 제공하고 있다. 장점으로는 책상, 테이블과 같은 제한된 공간을 벗어나서 적외선 투과 필터가 장착된 카메라 하나만 설치할 수 있는 곳이면 구현이 가능하며 적외선을 이용하므로 가시광선의 영향을 적게 받아 효율적으로 영상 처리를 할 수 있다는 데에 있다. 그리고 적외선을 이용한 사용자의 모션을 추적, 인식하여 복합적이 여러 가지 기능을 실행할 수 있으며, 보다 더 사용자와 인터랙티브한 작업이 가능하다. 구현된 하드웨어와 소프트웨어 시스템은 프레젠테이션 및 게임 컨트롤 등에 사용되었다.