• International Journal of Computer Science & Network Security
• /
• 제24권1호
• /
• pp.1-8
• /
• 2024

In contemporary education, the rapid advancement of digital technologies elevates demands for integrating the latest tools into the learning process. Mathematical analysis, as a discipline, benefits from computer mathematics in distance education, enhancing practical aspects and enabling individualized learning. This article addresses the integration of the Maple computer mathematics system into higher education, specifically in teaching "Mathematical Analysis." Emphasizing its role in distance learning, computer mathematics optimizes the educational environment, reducing the time required for knowledge acquisition. The article showcases the application of Maple in finding extremum points and introduces an educational software simulator, enabling students to practice the method. The simulator, developed within Maple, facilitates self-checking and enhances the study of functions. Conclusions drawn from the study highlight the positive impact of these tools on distance education, affirming Maple's role in enhancing professional training and information culture among higher education students.

• International Journal of Computer Science & Network Security
• /
• 제24권3호
• /
• pp.142-150
• /
• 2024

A conceptual model represents an understanding of a system that is going to be developed, which in this research, a driving simulation software to study driver behavior at signalised intersections. Therefore, video observation was conducted to study driver compliance behaviour within the dilemma zone at signalised intersection, with regards to driver's distance from the stop line during yellow light interval. The video was analysed using Thematic Analysis and the data extracted from it was analysed using Chi-Square Independent Test. The Thematic Analysis revealed two major themes which were traffic situation and driver compliance behaviour. Traffic situation is defined as traffic surrounding the driver, such as no car in front and behind, car in front, and car behind. Meanwhile, the Chi-Square Test result indicates that within the dilemma zone, there was a significant relationship between driver compliance behaviour and driver's distance from the stop line during yellow light interval. The closer the drivers were to the stop line, the more likely they were going to comply. In contrast, drivers showed higher non-compliant behavior when further away from stop line. This finding could help in the development of conceptual model of driving simulation with purpose in studying driver behavior.

• 정보교육학회논문지
• /
• 제21권5호
• /
• pp.497-507
• /
• 2017

그동안의 소프트웨어교육과 타 교과의 연계 융합에 대한 연구는 주로 수학과 과학교과에 편중되어왔다. 이는 학생의 교과에 대한 다양한 선호와 학습 성격 유형 등을 만족시키지 못하여 학습 격차를 유발할 수 있다. 뿐만 아니라, 컴퓨팅 사고를 적용할 수 있는 다양한 융 복합적 문제의 해결과정을 다루어야 함을 감안할 때 바람직하지 않다. 그리하여 기존의 수학과학적 접근에서 벗어난 언어적인 접근인 영어교과와의 연계를 통해 학생들의 다양한 성향과 선호를 포용하고, 영어교과와 소프트웨어교육의 새로운 언어를 배우는 과정과 방법상의 유사점을 접목시켜 교육 효과의 향상을 도모하고자 하였다. 이를 위하여 초등 영어교과와 소프트웨어교육의 교수학습모델 분석을 토대로 연계에 적합하도록 기존의 영어교과와 소프트웨어 교수학습모델을 변형하여 수업모형을 개발하였다. 이후 초등학교 영어교과내용 중 소프트웨어교육에 적용 가능한 학습 요소를 추출하여 개발된 수업모형에 적용한 프로그램을 설계하여 실제적인 학습 활용 방안을 모색하였다.

• 재활복지공학회논문지
• /
• 제10권3호
• /
• pp.221-228
• /
• 2016

본 논문에서는 EEG 신호 기반 기기 또는 소프트웨어를 사용하기 위해 사용자가 본인의 EEG 신호 정확도를 확인하고, 훈련을 통하여 자신의 EEG 신호 정확도를 향상시킬 수 있는 시뮬레이션 소프트웨어를 제안한다. 실험 데이터로는 풍경사진을 보며 편안한 상태에서 발생되는 신호와 수학문제를 풀며 집중 시에 발생되는 신호를 사용한다. 입력되는 EEG 신호는 독립 성분 분석(Independent Component Analysis, ICA)을 적용하여 잡음을 최소화하고 대역 통과 필터(Band Pass Filter)를 통하여 베타파(${\beta}$, 14-30Hz)만을 취득한다. 취득한 베타파 대역 데이터에서 제곱평균제곱근(Root Mean Square, RMS) 알고리즘을 통하여 특징 정보를 추출하고 지지 벡터 머신(Support Vector Machine, SVM)에 적용하여 분류한다. 분류된 결과는 사용자가 바로 확인할 수 있으며 훈련 전 피험자의 평균 정확도는 79.21%이었던 반면, 연속적인 훈련으로 최고 91.67%의 정확도를 보였다. 이처럼 본 논문에서 개발한 시뮬레이션 소프트웨어는 사용자가 직접 자신의 EEG 신호 정확도를 향상키기는 훈련을 통하여 정확도 향상이 가능하고, EEG 신호 기반으로 이루어진 BCI 시스템의 효율적인 사용을 기대할 수 있다.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제58권4호
• /
• pp.483-505
• /
• 2019

세계적으로 계산적 사고를 학교 교육과정에 통합하려는 움직임이 일고 있고, 수학교과는 이러한 움직임의 핵심이 되고 있다. 본 연구에서는 Jeannette Wing의 주장과 선행연구를 바탕으로 계산적 사고와 수학적 사고 간의 관계를 분석하였고 계산적 사고를 수학교과에 통합한 국내외 연구를 종합적으로 검토하였다.

• 한국생산제조학회지
• /
• 제4권3호
• /
• pp.48-57
• /
• 1995

The feasibility of generating controller surface topographies in single-point conventional turning operations is investigated. First, a mathematical model of the surface generation process was developed. Second, in order to control the texture of the machined surface, a micro-positioning stage and the associated command generation software were designed and built. Experimental examples have shown that surface texture can be precisely controlled and is in good agrement with the theoretical predictions.

• Korean Journal of Mathematics
• /
• 제25권1호
• /
• pp.19-35
• /
• 2017

In this communication, we introduce an Ishikawa type iterative algorithm for finding the approximate solutions of a class of nonlinear set valued variational inclusion problems. We also establish a characterization of strong convergence of this iterative techniques.

• 경영과학
• /
• 제12권3호
• /
• pp.135-161
• /
• 1995

This paper is concerned with a conceptual design of a knowledge-based modeler for network analysis. The "knowledge-based modeler" approach is suggested as a method for incorporating the user's qualitative knowledge and subjective decison in the course of the mathematical modeling and the subsequent solution procedure. The submodules of the proposed modeler such as database, model/algorithm base and functional knowledge bases are identified and the flows of information between the submodules are sequentially defined. A prototype system is implemented for experimental purpose by using the application software GURU.ware GURU.

• 한국공작기계학회:학술대회논문집
• /
• 한국공작기계학회 1995년도 춘계학술대회 논문집
• /
• pp.24-33
• /
• 1995

The feasibility of generating controlled surface topographies in single-point conventional turning operations is investigated. First a mathematical model of the surface generation process was developed. Second in order to control the texture of the machined surface a micro-positioning stage and the associated command generation software were designed and built. Experimental examples have shown that surface texture can be precisely controlled and is in good agreement with the theoretical predictions.

• 동굴
• /
• 제5호
• /
• pp.96-106
• /
• 1997

The reduction of cave survey data is an essentially straightforward but repetitive mathematical task which can be carried out to advantage using virtually any type of computer from a programmable calculator upwards. The obvious benefits are speed and accuracy in reducing and adjusting the raw data to obtain the x,y,z coordinates (eastings, northings and elevations) of the surveyed points. Additionally, depending on the functionality of the software (program) and power of the hardware (computer), the user may be able to build up a data base of surveys, plot out on paper scaled plans and elecations of the cave and possibly even see a three-dimensional model of the cave, in perspective or some other projection, as an aid to understanding the spatial relationships of cave passages.(omitted)