• 한국초등수학교육학회지
• /
• 제23권1호
• /
• pp.1-17
• /
• 2019

본 연구에서 예비교사들은 자신들의 학교수학에 대한 경험과 지식을 토대로 분수의 곱셈과 나눗셈 지도 순서를 배치하는 활동을 하였다. 그 결과 교육과정의 제시된 순서와 일치한 경우는 없었지만 이러한 활동은 예비교사의 인식을 드러낼 수 있는 기회가 되었고 예비교사들은 자신의 인식과 교육과정의 차이 그리고 서로 간의 인식이 다름을 확인하면서 교사에게 필요한 지식을 배울 수 있었다. 즉, 예비교사들은 분수와 소수의 곱셈과 나눗셈 지도 순서에 내재된 수학적 관계를 알 수 있었고, 연산 지도에서 학생들의 사전 지식과 생각을 파악하는 것의 중요성과 어려움을 알 수 있었으며, 교수학습 방법으로서 생산적 실패의 효과를 체감할 수 있었다.

• Journal of Electrical Engineering and Technology
• /
• 제7권2호
• /
• pp.141-150
• /
• 2012

The present study examines an efficient congestion management system compatible with the evolving environment. The key is to build an information model shared and exchanged for marketbased solutions to alleviate congestion. Traditional methods for congestion management can be classified into two categories, i.e., the centralized scheme and the decentralized scheme, depending on the extent to which the independent system operator (ISO) is involved in market participants' (MPs) activities. Although the centralized scheme is more appropriate for providing reliable system operation and relieving congestion in near real-time, the decentralized scheme is preferred for supporting efficient market operation. The minimum set of information between the ISO and MPs for decentralized scheme is identified: i) congestion-based zone, ii) Power Transfer Distribution Factors, and iii) transmission congestion cost. The mathematical modeling of the proposed information is expressed, considering its process of making effective use of information. Numerical analysis is conducted to demonstrate both cost minimization from the MP perspective and the reliability enhancement from the ISO perspective based on the proposed information exchange scheme.

• 한국수학교육학회지시리즈C:초등수학교육
• /
• 제18권3호
• /
• pp.175-190
• /
• 2015

연구에서는 게임개발을 위한 팀 프로젝트 활동이 수학영재의 공동체배려와 조직관리능력 기술에 미치는 효과를 확인하고 영재를 위한 리더십교육의 방향을 제시하고자 하였다. G교육지원청 영재교육원 초등수학반 4학년 학생을 대상으로 연구를 수행한 결과, 영재학생들은 15차시의 팀 프로젝트 활동을 통해 공동체배려와 조직관리능력 요인의 기술점수가 유의미하게 향상되었으며, 이는 동료들과 함께 수학이론 학습, 게임규칙 확인, 게임 개발 아이디어 회의, 게임 자료 제작, 산출물발표 준비 등의 과정을 경험하며 성장한 것으로 나타났다. 이러한 결과는 전공과목과 분리된 리더십교육이 아닌 수업주제의 특성과 융합된 리더십교육으로도 영재학생들에게 리더로서의 역량을 길러줄 수 있음을 시사한다.

• Journal of Information Processing Systems
• /
• 제13권6호
• /
• pp.1613-1627
• /
• 2017

The concept of the Internet of Things (IoT) enables physical objects or things to be virtually accessible for both consuming and providing services. Undue access from irresponsible activities becomes an interesting issue to address. Maintenance of data integrity and privacy of objects is important from the perspective of security. Privacy can be achieved through various techniques: password authentication, cryptography, and the use of mathematical models to assess the level of security of other objects. Individual methods like these are less effective in increasing the security aspect. Comprehensive security schemes such as the use of frameworks are considered better, regardless of the framework model used, whether centralized, semi-centralized, or distributed ones. In this paper, we propose a new semi-centralized security framework that aims to improve privacy in IoT using the parameters of trust and reputation. A new algorithm to elect a reputation coordinator, i.e., ConTrust Manager is proposed in this framework. This framework allows each object to determine other objects that are considered trusted before the communication process is implemented. Evaluation of the proposed framework was done through simulation, which shows that the framework can be used as an alternative solution for improving security in the IoT.

• International Journal of Reliability and Applications
• /
• 제4권1호
• /
• pp.1-12
• /
• 2003

Many software reliability growth models (SRGM's) based on a nonhomogeneous Poisson process (NHPP) have been proposed by many researchers. Most of the SRGM's which have been proposed up to the present treat the event of software fault-detection in the testing and operational phases as a counting process. However, if the size of the software system is large, the number of software faults detected during the testing phase becomes large, and the change of the number of faults which are detected and removed through debugging activities becomes sufficiently small compared with the initial fault content at the beginning of the testing phase. Therefore, in such a situation, we can model the software fault-detection process as a stochastic process with a continuous state space. In this paper, we propose a new software reliability growth model describing the fault-detection process by applying a mathematical technique of stochastic differential equations of an Ito type. We also compare our model with the existing SRGM's in terms of goodness-of-fit for actual data sets.

• International Journal of Computer Science & Network Security
• /
• 제21권12spc호
• /
• pp.503-512
• /
• 2021

The article proposes a methodical approach to assessing the innovative capacity of agri-food enterprises. This approach is based on the calculation of personnel, investment, technical and technological, information components of the ability of agri-food enterprises to innovate. The algorithm of search of production, intellectual, financial, information resources reserves, which are necessary for functioning of the enterprises of agro-food sphere, is defined. The approach developed by the authors, in contrast to the existing ones in the scientific world, allows the tools of mathematical modeling to identify shortcomings in the development of agri-food enterprises, to forecast the development of these enterprises and on this basis to form different models of market stakeholders. The method proposed by the authors to assess the innovative capacity of agri-food enterprises allows market participants to assess the current state of agri-food enterprises and form the necessary management levers to influence its activities to eliminate market failures and pitfalls.

• 한국지능정보시스템학회:학술대회논문집
• /
• 한국지능정보시스템학회 2001년도 The Pacific Aisan Confrence On Intelligent Systems 2001
• /
• pp.343-351
• /
• 2001

World practice is evidence of that computer systems of an intellectual support of medical activities bound up with examination of patients, their diagnosis, therapy and so on are the most effective means for attainment of a high level of physician\`s qualification. Such systems must contain large knowledge bases consistent with the modern level of science and practice. To from large knowledge bases for such systems it is necessary to have a medical ontology model reflecting contemporary notions of medicine. This paper presents a description of an observation ontology, knowledge base for the physician of general tipe, architecture, functions and implementation of problem independent shell of the system for intellectual supporting patient examination and mathematical model of the dialog. The system can be used by the following specialist: therapeutist, surgeon, gynecologist, urologist, otolaryngologist, ophthalmologist, endocrinologist, neuropathologist and immunologist. The system supports a high level of examination of patients, delivers doctors from routine work upon filling in case records and also automatically forms a computer archives of case records. The archives can be used for any statistical data processing, for producing accounts and also for debugging of knowledge bases of expert systems. Besides that, the system can be used for rise of medical education level of students, doctors in internship, staff physicians and postgraduate students.

• 한국건축시공학회:학술대회논문집
• /
• 한국건축시공학회 2023년도 봄 학술논문 발표대회
• /
• pp.223-224
• /
• 2023

Optimal fleet management in the planning stage is one of the most critical activities that guarantee successful construction projects. In South Korea, the construction standard production rate database (CSPRD) is normally employed. However, when it comes to a trade-off problem that involves decision-making on optimal sets of equipment to perform a certain task, the method will require the planners' in-depth knowledge and experience regarding the target process and a time consuming estimation of the performance of every possible scenario must be conducted for the deduction of the optimal fleet management. On this account, this research paper proposes a lightweight method of using mixed integer nonlinear programming (MINLP) in multi-objective problems based on CSPRD-based mathematical equations to assist planners in the preplanning stage of choosing the optimal sets of types and size machinery to efficiently arrange the construction scheduling and budgeting.

• 대한수학교육학회지:학교수학
• /
• 제6권1호
• /
• pp.59-90
• /
• 2004

본 연구에서는 중학생들이 증명학습을 할 때 범하는 수학적 오류를 교수학적으로 처방할 뿐만 아니라 올바른 증명의 역할과 본질을 이해하여 증명과정을 스스로 구성할 수 있도록, '생성-수렴 모형에 의한 증명학습'이라는 증명 학습-지도 방법을 제시하였다. 이 수업모형을 8학년 학생 160명을 대상으로 10주 동안 40시간에 걸쳐 여러 가지 사각형의 성질과 관계를 학습할 때 적용하여 학생들의 증명능력 향상과 오류 교정에 미치는 효과 및 학생들의 정당화 유형 양상으로 세분화하여 그 결과를 살펴보았다. 첫째, 생성-수렴 모형에 의한 증명학습을 실시한 실험집단의 학생들은 통제집단의 학생들보다 증명능력 검사에서 평균점수는 높았다. 그러나 유의수준 .01에서 통계적 검정을 실시한 결과, 두 집단 간의 증명능력은 유의적인 차이가 없었다. 둘째, 학생들은 논증기하 영역에서 증명을 할 때 범하는 오류 교정율에 있어서 생성-수렴 모형에 의한 증명학습을 한 학생들의 오류 교정율이 통제집단보다 더 큰폭으로 감소하였다. 셋째, 학생들의 정당화 유형은 실험집단과 통제집단 모두 경험적 정당화에서 분석적 정당화로의 이행을 보였으나, 생성-수렴 모형에 의한 증명학습을 한 학생들이 통제집단의 학생들보다 분석적 정당화를 구성하는 학생들이 현저하게 증가하였다.

• 한국수학교육학회지시리즈C:초등수학교육
• /
• 제19권1호
• /
• pp.1-18
• /
• 2016

패턴을 다루는 여러 가지 활동은 초등학생들의 대수적 사고를 신장하는데 매우 효과적이다. 이에 본 연구는 초기 대수(early algebra)적 관점에서 패턴을 지도하는 세 가지 주요 활동인 패턴의 구조를 분석하는 활동, 패턴에서 두 변수 사이의 관계를 탐색하는 활동, 패턴의 일반화된 규칙을 추론하고 표현하는 활동을 중심으로 현행 초등학교 수학 교과서에 제시된 패턴 지도방안을 분석하였다. 분석결과 패턴의 구조를 분석하는 활동은 교과서 상에서 명시적으로 고려되지 않았다. 반면 패턴에서 두 변수 사이의 관계를 탐색하는 활동은 주로 대응표를 활용하여 전 학년에서 다루어졌고, 패턴의 일반화된 규칙을 추론하고 표현하는 활동은 저학년에서는 패턴의 규칙을 비형식적으로 표현하는 활동을 통하여, 고학년에서는 패턴의 규칙을 수식이나 기호를 사용하여 형식적으로 표현하는 활동을 통하여 다루어졌다. 한편 다른 수학 내용과의 연계성 측면에서 패턴의 지도방안을 분석한 결과, 현행 초등학교 수학 교과서에서는 패턴 활동이 규칙성 영역에 해당하는 일부 단원에서만 한정적으로 다루어지고 있었다. 이와 같은 연구결과를 토대로 본 연구는 초등학생들의 대수적 사고를 신장하기 위한 패턴 지도방안과 관련하여 구체적인 시사점을 제공하고자 한다.