• 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.

• Journal of the Ergonomics Society of Korea
• /
• 제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.

• Language and Information
• /
• 제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.

• Journal of The Korean Astronomical Society
• /
• 제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.

• Proceeding of Spring/Autumn Annual Conference of KHA
• /
• 한국주거학회 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.

• Aerospace Engineering and Technology
• /
• 제13권1호
• /
• pp.76-85
• /
• 2014

In this paper, the equivalent coefficient of thermal expansion (CTE) of fiber reinforced plastic composite material is investigated with various CTE prediction schemes. Although there are several methods for predicting the equivalent CTEs, most of them have some limitations of are not much accurate when comparing prediction results with test results. In the framework of computational homogenization, a representative volume element is taken from the predefined fiber-volume ratio, and modelled with finite element mesh. Finally, the equivalent CTEs are obtained by applying periodic boundary condition. To verify the performance of the proposed method, the results obtained are compared with those by the existing methods and test results. Additionally, the thermal pointing error analysis for star tracker support structure is conducted and its accuracy is estimated according to CTE prediction schemes.

• Atmosphere
• /
• 제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.

• Journal of the HCI Society of Korea
• /
• 제2권1호
• /
• pp.57-63
• /
• 2007

Our research was performed in order to implement a new pointing device for human-computer interactions in a collaborative environments based on Tiled Display system. We mainly focused on tracking the position of an infrared light source and applying our system to various areas. More than simple functionality of mouse clicking and pointing, we developed a device that could be used to help people communicate better with the computer. The strong point of our system is that it could be implemented in any place where a camera can be installed. Due to the fact that this system processes only infrared light, computational overhead for LED recognition was very low. Furthermore, by analyzing user's movement, various actions are expected to be performed with more convenience. This system was tested for presentation and game control.