• 한국해안해양공학회지
• /
• 제1권1호
• /
• pp.15-21
• /
• 1989

해저 지형이 비교적 단순한 경우에 적용할 수 있는 파랑굴절 모델을 개발하였다. 모델은 파랑의 천수, 쇄파 그리고 저면 마찰 변형을 고려한다. 모델의 기본식은 파수의 보존을 나타내는 Eikonal식과 에너지 보존식 유한차분법으로 차분화한 식으로 각각 파향과 파고를 계산한다. 입사파는 동일한 주기를 갖는 단순파로 가정하였다. 모델을 검증하기 위하여 Noda가 제안한 수심함수를 사용하였으며, 또한 해저지형이 서로 다른 사동항과 양포항에 각각 적용하였다. 본 모델은 미 공병단의 RCP모델보다 계산시간이 빠르고, 계산결과의 안정성도 높은 것으로 나타났다.

• 한국건설관리학회:학술대회논문집
• /
• 한국건설관리학회 2008년도 정기학술발표대회 논문집
• /
• pp.628-633
• /
• 2008

건축물에 있어서 고층화 대형화의 변화는 인력과 자재의 양중부하를 증가시키는 동시에 수직양중작업의 이동거리를 증가시킨다. 이로 인해 고층으로의 운반정체는 물론 대기상태증가로 인한 생산성 감소의 문제를 발생시킨다. 이에 고층 건물 공사초기의 양중계획은 건설현장의 특성을 면밀히 고려하고 효과적으로 계획수립에 반영될 필요성이 있다. 하지만 현재 건설현장에서 가설리프트 계획수립은 사이클 주기(Cycle Time)를 바탕으로 한 단순계산식을 사용하고 있다. 이 방법은 쉽고 간단하지만, 복잡하고 유기적인 현장의 현실을 제대로 고려하지 못한다는 한계가 있다. 따라서 본 연구에서는 이러한 한계점을 극복하기 위한 방안으로, 확률적 대기행렬의 큐잉이론(Queueing Theory)을 이용한 시뮬레이션모델의 적용 가능성에 대해 알아보고자 한다.

• 대한기계학회논문집
• /
• 제16권8호
• /
• pp.1485-1492
• /
• 1992

본 연구에서는 Rayleigh-Ritz method를 사용하여 타원형(원형 포함) 평판의 자유 진동 문제를 해석한다. admissible함수로서는 단순 다항식의 곱(products of simple polynomials)을 사용한다. 이 함수는 다항식의 첫 항의 차수를 0,1 또는 2로 함으로써 각각 자유, 단순 지지 또는 고정인 경계 조건을 간편히 처리할 수 있게 하며, 에너지식에 포함된 적분값을 계산함에 있어서 점화식을 유도하여 사용함으로써 계산을 매우 간편히 수행할 수 있게 한다. 본문의 이론 해석은 직교 이방성 타원형 평판에 대해서 제시된다. 그러나 수치 결과는, 이방성의 다양한 조합에 대한 많은 결과를 제시하는 것은 그다지 의미가 없는 관계로, 등방성 평판에 대해서 주어진다. 등방성 평판의 여러 가지 세장비에 대한 결과는 설계 데이터로써 활용될 수 있을 것이다. 덧붙여 대표적으로 세장비가 0.5인 평판에 대해서 nodal pattern이 그림으로 제시된다.

• 한국융합학회논문지
• /
• 제8권3호
• /
• pp.123-131
• /
• 2017

본 연구는 간호학생의 약물용량계산에서의 취약점을 찾기 위해 학생들의 자기기입식 일반적 사항과 약물계산수업 전 자신감(이하, 자신감), 수업수행도(이하, 수행도) 및 약물용량계산 시험지를 SPSS 19.0 으로 분석하였다. 본 연구결과 약물계산능력을 나타내는 서술식 두 문제의 평균 정답률은 72%였고, 단순계산능력은 성별 간 차이가 없었으나 응용계산능력과 계산정확도는 남학생이 유의하게 높았고, 고등학교계열별 계산능력에는 차이가 없었다. 자신감과 수행도 및 수행도와 계산정확도 간 양의 상관관계가 있었고, 자신감의 수행도에 대한, 수행도의 계산정확도에 대한 설명력은 각각 4.2%와 3.2%였다. 1개 대학 간호학생 대상의 본 연구결과를 일반화할 수는 없으나, 반복적이고 지속적인 수학학습으로 수행도를 높이고 약물계산에 대한 자신감을 향상시킴으로써 계산정확도를 높여 투약오류예방을 위한 중재프로그램 개발 및 적용의 필요성을 제언한다.

• 한국해안해양공학회지
• /
• 제5권1호
• /
• pp.45-50
• /
• 1993

구조물에 의한 파랑의 회절현상은 실제 현장에서 파랑상태를 분석하는 데 매우 중요한 요소이다. 그러나, 대부분의 경우 실제의 파랑을 불규칙파 대신 단순파로 가정하고 있으나, 이 경우 Goda(1985)가 지적한 바와 같이 많은 오차를 포함할 수 있다. 불규칙파를 계산하는 방법 중 스펙트럼 계산법은 파랑을 과조와 방향이 다른 여러 개의 단순파로 분류하여 변형현상을 계산한 뒤, 다시 선형적으로 중첩하는 방법이다. 본 연구에서는 Chen(1987)이 제안한 단순파 모형을 이용하여 스펙트럼 계산법으로 불규칙파의 회절현상을 계산하였다. 그 결과는 Goda 제(1978)에 의한 반무한 방파제에서의 회절도와 매우 비슷하다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제12권
• /
• pp.489-507
• /
• 2001

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

• 에너지공학
• /
• 제25권4호
• /
• pp.190-197
• /
• 2016

인화점은 가연성 액체 용액을 안전하게 취급하기 위한 중요한 성질 중 하나이다. 본 논문에서는 Seta flash 밀폐식 장치를 이용하여 이성분계 용액인 water+1-propanol과 water+2-propanol계의 인화점을 측정하였다. 회귀 분석법을 이용하여 인화점을 계산하였다. 또한 라울의 법칙을 이용하여 인화점을 계산하였고, van Laar 식의 이성분계 파라미터를 최적화시키는 방법을 통해 인화점을 예측하였다. 각 인화점 계산 결과와 측정 결과를 비교하였다. 그 결과, 회귀 분석법에 의한 인화점 계산치가 가장 측정치를 잘 모사하였다.

• 한국융합학회논문지
• /
• 제4권3호
• /
• pp.1-5
• /
• 2013

본 연구에서는 소형풍력발전용 블레이드의 축소모델을 대상으로 단순 하중 계산 및 구조 시험을 수행하였다. 먼저, 연구 대상인 블레이드의 초기 모델의 0.2 비율만큼 축소하여 설계 및 제작하였다. 그리고 소형 풍력발전 국제 규격인 IEC 61400-2에 의거한 단순 하중 계산식을 이용하여 모멘트를 획득하였다. 또한, 추를 이용한 구조시험을 수행하여 최대 모멘트를 획득하였다. 이를 통하여 계산 및 시험에 따른 최대 모멘트를 비교하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권3_4호
• /
• pp.212-218
• /
• 2003

상태 불변식은 도달 가능한 모든 상태에서 만족되는 속성이다. 불변식은 복잡한 소프트웨어 시스템의 분석과 이해에 사용될 뿐만 아니라 안전성, 궁극성, 일관성 등과 같은 시스템 검증에도 사용된다. 이와 같은 이유로 인해서, 유한 상태 기계 모델로부터 상태 불변식을 추출하는 연구가 활발히 진행되고 있다. 상태 불변식을 생성하는 기존 연구에서는 도달 가능한 상태가 모두 고려됐다. 따라서 생성된 상태 불변식은 길고 복잡해서, 사용자가 이해하기 어려웠다. 본 논문에서는 '어떻게 상태 불변식을 단순화 할 것인가\ulcorner` 란 질문에 대한 답을 보인다. 상태 불변식의 복잡성은 고려되어진 상태의 크기에 강하게 좌우된다. 고려된 상태들이 작으면 작을수록, 상태 불변식의 길이는 짧다. 단순한 상태 불변식을 생성하기 위해서는, 전체 상태 공간보다는 관심 있는 특정 부분(즉 범위)에 집중해야 한다. 관심 있는 범위를 표현하기 위하여 본 논문에서는 CTL 논리를 사용한다. CTL로 범위가 표현되면, 혼합 도달성 분석을 이용하여 범위 내에 속하는 상태들을 찾는다. 명백히, 이 방법으로 계산된 상태 집합은 도달 가능한 모든 상태의 부분 집합이다. 따라서, 더 약하지만 더 이해력 있는 상태 불변식을 얻는다.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2015년도 전력전자학술대회 논문집
• /
• pp.45-46
• /
• 2015

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