• Journal of Korean Society of Coastal and Ocean Engineers
• /
• v.1 no.1
• /
• pp.15-21
• /
• 1989

A simple numerical refraction model is presented. The model takes into account refraction, shoaling and bottom dissipation. Eikonal equation and equation of energy conservation are discretized by an explicit finite-difference method, which provides wave angle and height at each grid point, respectively. Applications of the model were made to simple geometries as well as complex geometries, and some advantages on computing time and stability have been observed.

• Proceedings of the Korean Institute Of Construction Engineering and Management
• /
• 2008.11a
• /
• pp.628-633
• /
• 2008

Tall building construction has been increasing due to the need to maximize land usage. It causes the increase of vertical transportation for workers and materials, which significantly affects the productivity and lifting planning, therefore, has to be made carefully based on the characteristics of the field. However, the existing method to calculate the number of lift is too simple to consider complex and various characteristics in tall building construction. Accordingly, we developed the model for selecting the best system of vertical transportation by using Queueing theory. To find out the situation of the queue of resources such as material and workers, a simulation program will be applied.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.16 no.8
• /
• pp.1485-1492
• /
• 1992

While the vibration of circular plates were considered by many researchers, rather less attention is given to elliptical plates. In the present paper, the Rayleigh-Ritz mothod is used to obtain an eigenvalue equation for the free flexural vibration of thin elliptical plates having the classical free, simply suported or clmped boundary condition. Circular plates are included as a special case of the elliptical plates. Products of simple polynomials are used as the admissible functions and a recurrence relationship facilitates the evaluation of the necessary integrals. The analysis is developed for rectilinear orthotropic plates but the numerical results are given for isotropic plates with various aspect ratios.

• Journal of the Korea Convergence Society
• /
• v.8 no.3
• /
• pp.123-131
• /
• 2017

This study is to find the weaknesses in drug dose calculations of nursing students by analyzing their general characteristics, confidence(C), performances in classes(PC) and exam sheets of drug dose calculations. The data were analyzed using SPSS 19.0. There was no significant difference between male and female students in simple calculation ability(SCA), but male students' mean scores were higher in applied calculation ability(ACA) and accuracy on calculation(AC). There were no significant differences in calculation abilities according to high school departments. And students were weak in questions which are needed ACA. The explanation rate of C on PC and PC on AC were 4.2% and 3.2% respectively, so there were weak positive effects from C to PC, and PC to AC. This study suggests that there is a need to develop and implement an intervention program according to students' abilities to increase AC, C, and PC by studying math on an ongoing basis. This study needs to be cautious in generalizing, because the data set was limited to nursing students from one university.

• Journal of Korean Society of Coastal and Ocean Engineers
• /
• v.5 no.1
• /
• pp.45-50
• /
• 1993

The phenomenon of wave diffraction due to structure is an important factor in the wave climate at the site As an approximation, the propagation characteristics of a regular wave train are usually used. instead of those of irregular waves. However, there are great differences between the diffraction coefficients of the irregular waves and monochromatic waves, as shown by Goda (1985). The spectral calculation method. one of the methods to deal with the transformation of random sea waves essentially consists of decomposing a spectrum of the irregular sea state Into various monochromatic components, and assembling the component results by linear superposition. Monoch romatic wave transformation model developed by Chen(1987) is used to make spectral calculation. These calculations agree closely with Goda et al. (1978)'s diffraction diagram for a thin semi-infinite breakwater.

• Communications of Mathematical Education
• /
• v.12
• /
• pp.489-507
• /
• 2001

교수 ${\cdot}$ 학습 과정에서 계산 능력 배양이 목표인 영역을 제외하고는, 복잡한 계산, 수학적 개념 ${\cdot}$ 원리 ${\cdot}$ 법칙의 이해, 문제 해결력 향상 등을 위하여 가능하면 계산기나 컴퓨터를 적극 활용하도록 한다. 제 7차 교육과정에서는 수학적 힘의 신장을 구현하기 위한 실천적인 항목 중 다음과 같이 교수 ${\cdot}$ 학습과정에서의 technology의 활용을 적극 권장하고 있다. 이는 곧 수학교육과 실생활이 서로 밀접한 관계를 가지고 있음을 의미하는 것이다. 이런 새로운 움직임에 따라 계산기 활용에 대한 관심과 이를 수업에 이용하려는 방안을 적극 모색하고 있으며 이미 많은 자료들이 간행되고 있다. 그래픽 계산기는 컴퓨터와는 달리 많은 자료를 내장하고 있지는 않지만 휴대가 간편하고 개별적으로 사용할 수 있어 학교 수업시간 중 활용하는 데에 큰 장점을 가지고 있다. 또, 수학의 교수 ${\cdot}$ 학습 과정에서 그래픽계산기는 학생들의 흥미를 자극하고, 시각적인 힘을 활용하고, 수학적 사고력을 향상시키며, 문제를 탐구하는 과정에서의 단순한 계산을 효과적으로 처리할 수 있도록 도와준다. 뿐만 아니라 수학의 내적 영역과 수학의 외적 영역을 연결시키는 힘과 학습 과정에서 학생의 주도력을 강화시켜줄 수 있다. 그러나 계산기의 사용 자체가 목표가 될 수는 없으며 그래픽 계산기의 사용으로 학생들의 계산능력을 하락시켜서도 안된다. 이를 위해서는 적절한 교수 ${\cdot}$ 학습법의 개발과 연구가 끊임없이 지속되어야 할 것이다. 그래픽계산기는 함수, 통계 단원에서 자료를 분석하고 그에 적합한 식을 찾는 과정에 매우 유용하게 이용된다. 이는 재량활동이나 특기적성활동 시간에 조작활동을 통하여 개념에 대한 다양한 창의적인 표현을 할 수 있는 기회를 제공하기도 한다. 다음은 함수식을 이용하여 여러 가지 디자인을 할 수 있는 예를 그래픽 계산기를 통하여 보여준다. 생활 속의 여러 가지 모양들은 대체로 함수식으로 표현될 수 있다. 그래픽 계산기는 함수식을 입력하여 그래프의 형태를 관찰하고 그 특징을 살펴보는데 매우 유용하며 제한된 변역에서 여러개의 함수식을 입력하여 원하는 모양의 디자인을 해 볼 수 있다.

• Journal of Energy Engineering
• /
• v.25 no.4
• /
• pp.190-197
• /
• 2016

Flash point is the one of the important properties for the safe handling of inflammable liquid solution. In this paper, flash points of binary liquid solutions, water+1-propanol and water+2-propanol, were been measured by using Seta flash closed cup aparatus. Flash point was estimated using regression analysis method. Flash points were also estimated by the method based on Raoul's law and the method optimizing the binary parameters of van Laar equation. Experimental results were compared with the calculated results. The regression analysis method is able to estimate the flash point fairly well for water+1-propanol and water+2-propanol mixture.

• Journal of the Korea Convergence Society
• /
• v.4 no.3
• /
• pp.1-5
• /
• 2013

This study deals with simplified load calculation and structural testing for scale down model of small wind turbine blade. First, the blade was designed and produced scale down to 0.2 ratio of initial blade. And moments were acquired by simplified load calculation equations according to IEC 61400-2 standard. Also, structural test using weight was conducted to obtain the maximum moment. Therefore maximum moments were compared at calculation and test.

• Journal of KIISE:Software and Applications
• /
• v.30 no.3_4
• /
• pp.212-218
• /
• 2003

State invariant is a property that holds in every reachable state. It can be used not only in understanding and analyzing complex software systems, but it can also be used for system verifications such as checking safety, liveness, and consistency. For these reasons, there are many vital researches for deriving state invariant from finite state machine models. In previous works every reachable state is to be considered to generate state invariant. Thus it is likely to be too complex for the user to understand. This paper seeks to answer the question `how to simplify state invariant\ulcorner`. Since the complexity of state invariant is strongly dependent upon the size of states to be considered, so the smaller the set of states to be considered is, the shorter the length of state invariant is. For doing so, we let the user focus on some interested scopes rather than a whole state space in a model. Computation Tree Logic(CTL) is used to specify scopes in which he/she is interested. Given a scope in CTL, mixed reachability analysis is used to find out a set of states inside it. Obviously, a set of states calculated in this way is a subset of every reachable state. Therefore, we give a weaker, but comprehensible, state invariant.

• Proceedings of the KIPE Conference
• /
• 2015.07a
• /
• pp.45-46
• /
• 2015

본 논문에서는 무게중심좌표계에 의한 공간벡터 PWM의 간단한 구현방법을 제안한다. 무게중심좌표계를 사용하면 듀티비를 계산할 때 SIN, COS의 함수계산없이 단순한 사칙연산만을 사용하고 기준벡터가 속한 섹터에 따라 서로 다른 듀티비를 정하는 식을 유도할 필요가 없으며 듀티비가 어떻게 정해지는지에 대한 직관적인 이해를 할 수 있다. 본 논문에서는 무게중심 좌표계에서 공간벡터 PWM의 듀티비를 정하는 원리에 대하여 설명한다.