• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제30권3호
• /
• pp.281-294
• /
• 2016

본 연구에서는 '대화형(interactive) 공학수학 실습실'의 개발 과정과 내용 및 활용을 다룬다. 본 실습실에는 공학수학 전 범위에 걸쳐서 각 장별로 하나의 html 파일을 활용하여 공학수학 예제 및 연습문제, SageMath 명령어를 실행할 수 있는 SageMath 셀, 장별 요점 강의 녹화 파일로 연결되는 링크가 포함되어있다. 또한 기존에 만들어 놓은 SageMath 명령어가 동시에 제공되므로 실습 때마다 매번 명령어를 따로 입력해야하는 번거로움 없이 마우스로 [실행(Evaluate)]을 클릭하면서 미리 입력된 코드를 실습하고, 그와 유사한 다른 문제에 대하여는 함수와 조건을 바꾸면서 바로 사용할 수 있도록 하였다. 이렇게 웹 주소를 이용하여 공학수학을 지도하는 실습실의 장점은 첨단 모바일 기기의 사용이 증가하고 있는 추세에 맞추어 각 장 별 실습내용을 시간과 장소의 제약 없이 쉽게 프로그래밍을 학습 및 실행이 가능하므로 실습 효과를 높일 수 있다는 것이다. 본 실습실은 이론과 실습이 병행되어야 하는 공학수학 강의에서 학생들이 언제 어디서나 손쉽게 이용할 수 있으므로 공학수학 강좌의 효과적인 실습실 모델이 될 수 있다.

• 콘크리트학회논문집
• /
• 제22권4호
• /
• pp.595-603
• /
• 2010

염소이온 침투를 받는 해양환경 콘크리트의 확률기반 내구수명 예측을 위해 몬테카를로 시뮬레이션 방법이 많이 사용된다. 그러나 몬테카를로 시뮬레이션 방법은 해석에 매우 긴 시간이 소요되며 해석결과도 매번 다른 결과를 준다. 이에 비해 신뢰성해석에 자주 사용되는 모멘트법은 계산에 소요되는 시간의 거의 없고, 동일문제에 대해서는 항상 동일한 결과를 주는 장점이 있다. 이에 이 연구에서는 신뢰성이론의 모멘트법을 염소이온 침투에 대한 부식개시확률 산정에 적용하였다. 이를 위해 먼저 일계이차 모멘트법과 이계이차 모멘트법에 의한 파괴확률 산정 프로그램을 개발하였다. 개발된 해석 프로그램들을 사용한 예제해석을 통하여 일계이차 모멘트법에 비하여 이계이차 모멘트법이 더 정확한 부식개시확률 산정결과를 줌을 확인하였다. 또 부식개시확률에 미치는 각 확률변수의 영향을 평가하는 민감도 해석을 수행하였으며, 가장 큰 영향인자는 피복두께로 나타났다. 특히 피복두께의 변동계수 변화에 의한 영향이 평균값 변화에 의한 영향 보다 더욱 현저함을 확인하였다.

• 한국정보과학회논문지:시스템및이론
• /
• 제29권7호
• /
• pp.384-393
• /
• 2002

병렬 파일시스템은 클러스터 시스템에서 과도한 입출력 요청을 원활하게 지원하기 위해 사용되며, 특히 파일 선반입은 병렬 파일시스템의 성능을 개선하는데 유용하게 사용된다. 본 논문은 과학계산용 병렬 응용과 멀티미디어 서버 응용에서 효과적인 파일 접근 유형을 고려한 새로운 동적 파일 선반입기법인 Fips를 제안한다. 본 논문이 제안하는 동적 파일 선반입 기법인 Fips는 파일의 접근 유형을 고려하여 동적으로 선반입 할 데이타 블록을 예측하고, 다양한 접근 유형에서도 데이타 블록의 선반입을 효율을 높였다. 그리고 현재의 가용 대역폭을 고려하여 선반입 시기를 결정하므로 선반입이 시스템에 과부하로 작용하는 것을 방지하도록 하였다. 병렬 파일시스템에 Fips를 적용하여 실험한 결과 다양한 작업부하에서 제안한 선반입 기법은 우수한 성능을 보여주었다.

• 공학교육연구
• /
• 제2권1호
• /
• pp.10-16
• /
• 1999

본 논문에서는 인터넷을 이용한 디지탈 논리회로 설계 및 모의실험실습을 위한 교육용 소프트웨어 패키지(DVLab)를 개발하였다. 개발된 패키지는 디지탈 조합/순차회로는 물론 마이크로콘트롤러 응용회로까지 설계하고 시뮬레이션할 수 있는 모듈, 브레드보드 시뮬레이터 모듈, 실험항목별 이론 강의를 위한 모듈, 보고서 작성 및 보고서 자동검사 모듈 등을 포함하고 있다. 개발된 모든 모듈들은 독립적인 응용 프로그램으로 뿐만 아니라 인터넷을 이용한 사용이 가능하며, 특히 시뮬레이터 모듈의 경우 실시간 클럭 제공, 설계회로도 상에서 직접 소자의 출력값 확인, 논리값 변화 기록 기능, 설계회로 복사 방지 기능, 다양한 논리회로 소자뿐만 아니라 LED, buzzer등과 같은 시각적, 청각적 소자 제공 등의 특징을 가진다. 또한 개발된 교육용 패키지를 이용한 디지탈 논리회로 실험실습 과목의 학습 모형을 제시하였다.

• 한국정보과학회논문지:시스템및이론
• /
• 제26권11호
• /
• pp.1333-1343
• /
• 1999

경성 실시간 시스템의 태스크들은 논리적으로 올바른 결과를 산출해야 하지만 또한 각자의 시간 제한 조건을 만족하여야 한다. 간격제한 스케줄링은 시간 제한 조건이 시간 간격 제한으로 주어지는 실시간 태스크들을 스케줄하기 위하여 도입되었다. 간격제한 스케줄링에서의 각 태스크들은 시간 간격 제한 조건을 갖는데, 이것은 태스크의 두 연속적인 수행의 종료시간에 대해 제한을 가한다. 다시 말해, 간격제한 스케줄링에서의 각 태스크 수행은 그 태스크의 직전 수행 완료 시간으로부터 발생하는 데드라인을 갖는다. 간격제한 태스크 스케줄링에 관한 많은 연구는 단순화 방법에 기초하고 있다. 그러나, 우리는 이 논문에서 단순화 방법을 사용하지 않고, 정적 우선순위 및 정적 분리 제한 정책을 채용한 새로운 간격제한 태스크 스케줄링 방법을 제안한다. 제안된 정적 할당 방법은 스케줄링 분석 및 구현을 매우 간단히 할 수 있으며, 또한 스케줄러의 실행시간 오버헤드를 줄일 수 있다.Abstract Tasks in hard real-time systems must not only be logically correct but also meet their timing constraints. The distance-constrained scheduling has been introduced to schedule real-time tasks whose timing constraints are characterized by temporal distance constraints. Each task in the distance-constrained scheduling has a temporal distance constraint which imposes restriction on the finishing times of two consecutive executions of the task. Thus, each execution of a task in the distance-constrained scheduling has a deadline relative to the finishing time of the previous execution of the task.Much work on the distance-constrained task scheduling has been based on the reduction technique. In this paper, we propose a new scheme for the distance-constrained task scheduling which does not use the reduction technique but adopts static priority and static separation constraint assignment policy. We show that our static assignment approach can simplify the scheduling analysis and its implementation, and can also reduce the run-time overhead of the scheduler.

• 한국도서관정보학회지
• /
• 제46권3호
• /
• pp.119-140
• /
• 2015

국내외의 학교도서관 기준은 학생이 학교도서관을 통해 유익하고 즐거운 경험을 하도록 역할을 수행할 것을 제시하고 있다. 이 연구는 칙센트미하이의 플로우 이론을 학교도서관 이용상황에 적용하여 학생의 플로우 경험이 학교도서관 이용만족도에 미치는 영향관계를 분석하였다. 이를 위해 학교도서관 이용만족도를 종속변수로, 플로우를 매개변수로, 그리고 플로우에 영향을 미치는 요인으로 학교도서관 이용기술, 학교도서관 이용에 대한 도전의욕, 학교도서관 이용형태, 학생의 학습유형을 선정하여 이들 변수 사이의 인과관계를 중심으로 연구모형을 설정하였다. 설문조사는 전국 293명의 학생을 대상으로 실시하였고, 구조방정식 모형을 통해 자료를 분석하였다. 분석결과 변수의 전반적인 인과관계는 학교도서관 이용기술이 이용유형에 영향을 미치고, 이용유형은 학생의 학습유형에, 그리고 학생의 학습유형은 플로우를 거쳐 학교도서관 이용만족도에 영향을 미치는 구조로 나타났다. 통계분석 결과를 통해 학교도서관의 이용만족도를 높이기 위해서는 학생의 플로우 경험을 확대하고, 도서관 이용기술의 수준을 높일 필요가 있다는 점을 확인하였으며, 그 방안을 사서교사의 구체적 역할과 관련지어 제시하였다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제16권9호
• /
• pp.936-947
• /
• 2010

하나의 콘텐트를 다양한 플랫폼에서 서비스하는 것은 모바일 게임 시장에서 매우 중요한 사항이다. 서로 다른 플랫폼에서 서비스하기 위해서는 기존의 콘텐츠를 특정한 플랫폼에 적합한 형태로 재개발해야하는 추가 비용이 발생한다. 더욱이, 새로운 플랫폼이 등장하는 경우에 다수의 콘텐츠를 단기간에 개발하는 것은 많은 노력과 비용을 요구한다. 따라서 기존의 콘텐츠를 새로운 플랫폼에서 실행될 수 있도록 변환하는 기법에 관한 연구가 필요하다. 본 논문에서는 모바일 콘텐츠를 새로운 플랫폼에서 실행 가능한 형태로 변환하는 모바일 게임을 위한 번역 기법을 제안하고 이를 적용하여 안드로이드 플랫폼에 대한 소스 레벨 콘텐츠 변환기를 설계하고 구현한다. 컴파일러 이론을 적용하여 개발하였으며, 서로 다른 프로그래밍 언어 간의 변환 문제를 부분적으로 해결하였다. 또한 언어 간의 번역뿐만 아니라 커널 이식, 라이브러리 매핑 등 체계적으로 소스 레벨 콘텐츠 변환도구를 구현하였다. 이러한 연구는 기존 모바일 게임에 대한 활용도를 증대시키고 모바일 콘텐츠 산업 활성화에 기여할 수 있을 것으로 기대된다.

• Wind and Structures
• /
• 제20권2호
• /
• pp.143-168
• /
• 2015

A numerical model for analyzing air-train-track interaction is proposed to investigate the dynamic behavior of a high-speed train running on a track in crosswinds. The model is composed of a train-track interaction model and a train-air interaction model. The train-track interaction model is built on the basis of the vehicle-track coupled dynamics theory. The train-air interaction model is developed based on the train aerodynamics, in which the Arbitrary Lagrangian-Eulerian (ALE) method is employed to deal with the dynamic boundary between the train and the air. Based on the air-train-track model, characteristics of flow structure around a high-speed train are described and the dynamic behavior of the high-speed train running on track in crosswinds is investigated. Results show that the dynamic indices of the head car are larger than those of other cars in crosswinds. From the viewpoint of dynamic safety evaluation, the running safety of the train in crosswinds is basically controlled by the head car. Compared with the generally used assessment indices of running safety such as the derailment coefficient and the wheel-load reduction ratio, the overturning coefficient will overestimate the running safety of a train on a track under crosswind condition. It is suggested to use the wheel-load reduction ratio and the lateral wheel-rail force as the dominant safety assessment indices when high-speed trains run in crosswinds.

• Geomechanics and Engineering
• /
• 제7권3호
• /
• pp.263-277
• /
• 2014

In the conventional design of retaining structures in a seismic zone, seismic inertia forces are commonly assumed to act upwards and towards the wall facing to cause a maximum active thrust or act upwards and towards the backfill to cause a minimum passive resistance. However, under certain circumstances this design approach might underestimate the dynamic active thrust or overestimate the dynamic passive resistance acting on a rigid retaining structure. In this study, a new analytical method for dynamic active and passive forces in c-${\phi}$ soils with an infinite slope was proposed based on the Rankine earth pressure theory and the Mohr-Coulomb yield criterion, to investigate the influence of seismic inertia force directions on the total active and passive forces. Four combinations of seismic acceleration with both vertical (upwards or downwards) and horizontal (towards the wall or backfill) directions, were considered. A series of dimensionless dynamic active and passive force charts were developed to evaluate the key influence factors, such as backfill inclination ${\beta}$, dimensionless cohesion $c/{\gamma}H$, friction angle ${\phi}$, horizontal and vertical seismic coefficients, $k _h$ and $k_v$. A comparative study shows that a combination of downward and towards-the-wall seismic inertia forces causes a maximum active thrust while a combination of upward and towards-the-wall seismic inertia forces causes a minimum passive resistance. This finding is recommended for use in the design of retaining structures in a seismic zone.

• 한국정보과학회논문지:시스템및이론
• /
• 제34권9호
• /
• pp.445-458
• /
• 2007

본 논문에서는 대용량 메모리 데이타 처리를 위한 범용 하드웨어 기반의 원격 메모리 시스템을 제안한다. 느린 디스크와 상대적으로 대단히 빠른 접근 속도를 보장하는 메모리 사이에 존재하게 되는 새로운 메모리 계층을 구현하기 위해, 본 논문에서는 다수의 일반적인 범용 데스크탑 PC들과 원격 직접메모리 접근 (이하 RDMA) 기능이 가능한 고속 네트워크를 최대한 활용하였다. 제안된 새로운 계층의 메모리는 합리적인 응답시간과 용량을 제공함으로서 비교적 적은 양의 성능 부담으로서 대용량의 메모리 상주 데이타베이스를 구동할 수 있게 되었다. 제안된 원격 메모리 시스템은 원격 메모리 페이지들을 관리하게 되는 원격 메모리 시스템과, 원격 메모리 페이지의 교체를 관리하게 되는 원격 메모리 페이저로 구성되어 있다. 범용으로 쓰이는 MySQL과 같은 데이타베이스를 이용한 TPC-C 실험 결과로 볼 때 제안된 원격 메모리 시스템은 일반적인 대용량 메모리 데이타 처리 시스템에서 요구하는 다양한 요구조건을 만족시킬 수 있을 것이라 생각된다.