• 대한수학교육학회지:학교수학
• /
• 제18권2호
• /
• pp.397-423
• /
• 2016

본 연구에서는 우리나라 중 고등학생의 수학 학습 동기 증진 프로그램을 학습자 특성, 수학 과제 특성, 자기조절학습이론을 고려하여 정의적 측면과 인지적 측면으로 개발하였다. 정의적 프로그램은 수학 학습에서 학생의 조절초점 확인, 수학적 자기조절효능감 향상, 학업스트레스 대처, 수학 불안 감소를 목적으로 개발되었고, 인지적 프로그램은 중 고등학교의 수학 과제난이도에 대한 선호 정도를 증진시킬 수 있도록 개발되었다. 개발한 프로그램은 수학 성취수준과 학업동기유형을 고려하여 프로그램 참가를 희망한 남녀 중 고등학생들 12명에게 10주 동안 적용하였다. 수학 교사의 관찰일지와 4차에 걸친 심층면담을 분석한 결과, 조절초점 확인 프로그램에서 학생의 향상초점과 예방초점이 변화하지는 않았으나, 수학적 자기조절효능감 향상 프로그램은 성취수준이나 성차와 관계없이 자율동기, 통제동기가 높았던 학생들에게서 긍정적인 효과가 나타났다. 학업스트레스 대처와 수학 불안 감소 프로그램에서는 신체적 대처 활동이 학교급, 성차, 성취수준에 관계없이 수학 학습 동기 증진에 효과적이었고, 수학 시험 불안 해소 활동이 학업동기유형과 관계없이 효과적이었다. 인지적 프로그램에서는 오답노트와 문제만들기 활동이 결합된 '수학의 달인' 노트가 수학 학업 성취수준이 중 또는 하인 학생들에게서 수학 학습 동기 증진에 효과적이었다.

• 정보처리학회논문지A
• /
• 제12A권2호
• /
• pp.103-108
• /
• 2005

수학적 모델을 컴퓨터 상에 실현시키는데 있어 보다 효율적인 알고리즘을 구현하고 개발하는 것이 수치해석 연구의 궁극적인 목표이다. 일반적으로 컴퓨터 상에서 구한 계산 결과, 즉 근사 값은 수학적으로 구한 값인 참값과 정확하게 같지 않다 따라서 근사 값이 얼마나 참값에 가까운가를 측정하는 오차평가는 알고리즘의 효율성을 평가하는데 있어 가장 중요한 과제라 할 수 있다. 대부분의 경우 오차평가에 있어 오차의 한계를 이용하지만 주어진 문제의 참값을 모르기 때문에 정확한 오차평가를 할 수 없다. 여기서는 수치등각사상을 구하기 위한 해법중 하나인 Wegmann 방법을 다루는데 저자는 수렴하는 문제의 범위를 넓히기 위해 저주파필터를 적용한 알고리즘을 제안한바 있다. 본 논문에서는 몇 가지 수학적 이론에 근거하여 저주파필터를 적용한 Wegmann해법에서 참값을 모르더라도 오차평가를 할 수 있는 방법을 제안하고 수치실험을 통해 그 유효성을 입증한다.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제58권2호
• /
• pp.187-223
• /
• 2019

이 연구의 목적은 우리나라 수학과 교육과정이 나아가야할 변화의 방향을 제안하는 것이다. 이를 위하여 우리나라의 2009, 2015 개정 수학과 교육과정과 일본의 2008, 2017 수학과 교육과정을 대상으로 초, 중, 고등학교급 전반에 걸쳐 직전 교육과정과의 변화를 살피고, 그 변화를 양국 간 비교하였다. 비교결과를 토대로 세 가지의 시사점을 제안하였다.

• 한국수학교육학회지시리즈C:초등수학교육
• /
• 제25권1호
• /
• pp.57-79
• /
• 2022

본 연구에서 초등 교과서의 비와 비율 단원 및 비례식과 비례배분 단원에서 비와 비례 개념과 관련하여 제시된 활동을 분석하여 교과서에 제시된 비례추론 과제가 교육과정별로 어떠한지 알아보았다. 비와 비율 단원에 제시된 비례추론 과제가 2009 개정 때에는 비와 비율의 곱셈 구조 유형과 비례추론 활동이 모두 늘어 내용이 다양해졌지만, 백분율의 곱셈 구조 유형과 비례추론 활동은 모두 약화되었다. 2015 개정 때에도 둘 다 약화되었고, 백분율의 곱셈 구조 유형과 비례 추론 활동은 모두 늘어 내용이 다양해졌다. 비례식과 비례배분 단원에 제시된 비례추론 과제가 2009 개정 시기에는 비의 성질의 곱셈 구조 유형과 비례추론 활동이 모두 증가하여 내용이 다양해졌지만, 비례식과 비례배분은 곱셈 구조 유형만 늘고 비례추론 활동에는 큰 변화가 없어 이전과 내용이 비슷했다. 그리고 2015 개정 시기에 비례식의 곱셈 구조 유형과 비례추론 활동이 모두 늘어 내용이 다양해졌지만, 비의 성질과 비례배분은 곱셈 구조의 유형과 비례추론 활동에 큰 변화가 없어 이전 내용과 비슷하였다. 비와 비율 단원과 비례식과 비례배분 단원에서 모두 다중 묶음 관점에 따라 측정 공간 내의 분석으로 해석하려는 시도가 주로 있었다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1996년도 Proceedings of the Korea Automatic Control Conference, 11th (KACC); Pohang, Korea; 24-26 Oct. 1996
• /
• pp.334-337
• /
• 1996

This is a paper intended for initial stage of vehicle modeling and design. The needs to determine a variety of vehicle suspension parameters required for initial design has been difficult and time-consuming task. In order to facilitate a concise and efficient presentation of initial vehicle design procedure, this paper uses a mathematical model and physical geometry. Vehicle model consists of dimensions, inertias and mechanical constants. These vehicle model parameters divided into several categories : basic parameters, coefficients and constants, design specification, spring and damper, bush stiffness, stabilizer bar, suspension geometry, tire, and vehicle weights of various design condition. This paper uses a vehicle design fundamental (VDF) program running under Windows 95 graphical interface. The features of VDF will be briefly outlined in this paper.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2003년도 ICCAS
• /
• pp.96-100
• /
• 2003

In this paper, a DLC method is proposed for linear feedback systems to improve the tracking performance when the task of the system is repetitive. DLC can generate the desired control input directly from the previously learned control inputs corresponding to other output trajectories. It is assumed that all the desired output functions considered in this paper have some relations called proportionality and it is shown by mathematical analysis that DLC can be utilized to generate additional control efforts for the perfect tracking. To show the validity and tracking performance of the proposed method, some simulations are performed for the tracking control of a linear system with a PI controller.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2002년도 ITC-CSCC -1
• /
• pp.262-264
• /
• 2002

The characteristic features of Malaysia's climate is has stable temperature, with high humidity and copious rainfall. Weather forecasting is an important task in Malaysia as it could affetcs man irrespective of mans job, lifestyle and activities especially in the agriculture. In Malaysia, numerical method is the common used method to forecast weather which involves a complex of mathematical computing. The models used in forecasting are supplied by other counties such as Europe and Japan. The goal of this project is to forecast weather using another technology known as artificial neural network. This system is capable to learn the pattern of rainfall in order to produce a precise forecasting result. The supervised learning technique is used in the loaming process.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제10권8호
• /
• pp.3689-3700
• /
• 2016

It is not practically feasible to apply hardware-based fault-tolerant schemes, such as hardware replication, in mobile devices. Therefore, software-based fault-tolerance techniques, such as checkpoint and rollback schemes, are required. In checkpoint and rollback schemes, the optimal checkpoint interval should be applied to obtain the best performance. Most previous studies focused on minimizing the expected execution time or response time for completing a given task. Currently, most mobile applications run in real-time environments. Therefore, it is extremely essential for mobile devices to employ optimal checkpoint intervals as determined by the real-time constraints of tasks. In this study, we tackle the problem of determining the optimal inter-checkpoint interval of checkpoint and rollback schemes to maximize the deadline meet ratio in real-time systems and to build a probabilistic cost model. From this cost model, we can numerically find the optimal checkpoint interval using mathematical tools. The performance of the proposed solution is evaluated using analytical estimates.

• Journal of Information Processing Systems
• /
• 제11권2호
• /
• pp.184-204
• /
• 2015

Fuzzy Formal Concept Analysis (FCA) is a mathematical tool for the effective representation of imprecise and vague knowledge. However, with a large number of formal concepts from a fuzzy context, the task of knowledge representation becomes complex. Hence, knowledge reduction is an important issue in FCA with a fuzzy setting. The purpose of this current study is to address this issue by proposing a method that computes the corresponding crisp order for the fuzzy relation in a given fuzzy formal context. The obtained formal context using the proposed method provides a fewer number of concepts when compared to original fuzzy context. The resultant lattice structure is a reduced form of its corresponding fuzzy concept lattice and preserves the specialized and generalized concepts, as well as stability. This study also shows a step-by-step demonstration of the proposed method and its application.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2005년도 학술발표회 논문집
• /
• pp.1398-1402
• /
• 2005

Riverbank filtration is a natural process using alluvial aquifers to remove contaminants and pathogens in river water for the production of drinking water. In riverbank filtration, the understanding of contaminant transport is an important task for the production of high quality drinking water. This study investigates the transport behavior of hydrophobic organic contaminants when colloids (dissolved organic matter and bacteria) are present in the aquifer. A mathematical model for the transport of contaminants is developed and solved numerically for various situations. Results show that in the riverbank filtration the presence of DOM and bacteria enhances the mobility of contaminant significantly. Sensitivity analysis indicates that the distribution of the total aqueous Phase contaminant is significantly affected by distribution coefficients which account for affinity of solid or colloidal Phase to contaminant.