• International Journal of Computer Science & Network Security
• /
• 제23권1호
• /
• pp.46-52
• /
• 2023

With billions of IoT (Internet of Things) devices populating various emerging applications across the world, detecting anomalies on these devices has become incredibly important. Advanced Intrusion Detection Systems (IDS) are trained to detect abnormal network traffic, and Machine Learning (ML) algorithms are used to create detection models. In this paper, the NSL-KDD dataset was adopted to comparatively study the performance and efficiency of IoT anomaly detection models. The dataset was developed for various research purposes and is especially useful for anomaly detection. This data was used with typical machine learning algorithms including eXtreme Gradient Boosting (XGBoost), Support Vector Machines (SVM), and Deep Convolutional Neural Networks (DCNN) to identify and classify any anomalies present within the IoT applications. Our research results show that the XGBoost algorithm outperformed both the SVM and DCNN algorithms achieving the highest accuracy. In our research, each algorithm was assessed based on accuracy, precision, recall, and F1 score. Furthermore, we obtained interesting results on the execution time taken for each algorithm when running the anomaly detection. Precisely, the XGBoost algorithm was 425.53% faster when compared to the SVM algorithm and 2,075.49% faster than the DCNN algorithm. According to our experimental testing, XGBoost is the most accurate and efficient method.

• 대한수학회보
• /
• 제53권1호
• /
• pp.1-20
• /
• 2016

The general number field sieve (GNFS) is asymptotically the fastest known factoring algorithm. One of the most important steps of GNFS is to select a good polynomial pair. A standard way of polynomial selection (being used in factoring RSA challenge numbers) is to select a nonlinear polynomial for algebraic sieving and a linear polynomial for rational sieving. There is another method called a nonlinear method which selects two polynomials of the same degree greater than one. In this paper, we generalize Montgomery's method [12] using geometric progression (GP) (mod N) to construct a pair of nonlinear polynomials. We also introduce GP of length d + k with $1{\leq}k{\leq}d-1$ and show that we can construct polynomials of degree d having common root (mod N), where the number of such polynomials and the size of the coefficients can be precisely determined.

• 대한수학회보
• /
• 제50권2호
• /
• pp.353-373
• /
• 2013

In this paper, a class of delayed predator-prey models of prey migration and predator switching is considered. By analyzing the associated characteristic transcendental equation, its linear stability is investigated and Hopf bifurcation is demonstrated. Some explicit formulae for determining the stability and the direction of the Hopf bifurcation periodic solutions bifurcating from Hopf bifurcations are obtained by using the normal form theory and center manifold theory. Some numerical simulations for justifying the theoretical analysis are also provided. Finally, biological explanations and main conclusions are given.

• 한국수학교육학회지시리즈D:수학교육연구
• /
• 제13권4호
• /
• pp.349-377
• /
• 2009

In this work we present a study undertaken with in-service mathematics teachers of primary and secondary school where we describe and analyze the didactical competences needed to implement an innovative design in geometry applying Van Hiele's models. The relationship between such competences and an ideal teacher profile is also studied. Teachers' epistemology is established in terms of didactical competences and we can see that this epistemology is an element that helps us understand the difficulties that teachers face in practice when implementing an innovative curriculum, in this case, geometry based on the Van Hiele theory.

• 대한수학회보
• /
• 제57권6호
• /
• pp.1451-1473
• /
• 2020

Widely orthant dependence (WOD, in short) is a special dependence structure. In this paper, by using the probability inequalities and moment inequalities for WOD random variables, we study the L_p convergence and complete convergence for the partial sums respectively under the conditions of RCI(α), SRCI(α) and R-h-integrability. We also give an application to nonparametric regression models based on WOD errors by using the L_p convergence that we obtained. Finally we carry out some simulations to verify the validity of our theoretical results.

• 한국통신학회논문지
• /
• 제38A권12호
• /
• pp.998-1012
• /
• 2013

The article is concerned with a mathematical modeling which can improve performances of PDE-based restoration models. Most PDE-based restoration models tend to lose fine structures due to certain degrees of nonphysical dissipation. Sources of such an undesirable dissipation are analyzed for total variation-based restoration models. Based on the analysis, the so-called equalized net diffusion (END) modeling is suggested in order for PDE-based restoration models to significantly reduce nonphysical dissipation. It has been numerically verified that the END-incorporated models can preserve and recover fine structures satisfactorily, outperforming the basic models for both quality and efficiency. Various numerical examples are shown to demonstrate effectiveness of the END modeling.

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

Whole number concept is an important part of mathematics learning. Elementary school students should understand and master whole number concept. Models can help students learn whole number concepts. Realistic Mathematics Education in Netherlands had investigated and developed three different structural models: line model, group model, combination model. These models are related whole number concepts and structures closely and compatible. The purpose of this study is to investigate models related with whole numbers in 7th elementary textbooks. As a result of analyses, we found out some pattern and several problems. On the foundation of the analyses, we discussed the better ways of using models in teaching whole number and the research issues concerning these.

• 한국학교수학회논문집
• /
• 제9권1호
• /
• pp.1-17
• /
• 2006

현재 학교수학이 추구하는 목표는 수학의 기본적인 지식과 기능을 습득하고 수학적으로 사고하는 능력을 길러 실생활의 여러 가지 문제를 합리적으로 해결할 수 있는 능력과 태도를 기르는 것이다. 이에 부합하기 위해서 본 연구는 협동학습 모델 중 개별화 학습프로그램이 큰 장점인 TAI 모델과 특별한 소집단 성적 산출로 인해 모든 소집단 구성원이 소집단 성공에 기여할 수 있다는 장점을 가지고 있는 STAD 모델을 혼합하여 새로운 모델을 제시하였다. 이 새로운 혼합모델을 학교 현장에 적용하여 학습자의 문제해결능력 및 정의적 영역에 있어서 어떤 영향을 주는지 알아보았다.

• 전기화학회지
• /
• 제23권4호
• /
• pp.81-89
• /
• 2020

전기화학 소자의 성능을 이해하는 데 있어서 전해질 내 이온 전도 기작을 이해하는 것은 매우 중요하다. 그러나 이론적/실험적 어려움으로 인해 아직 완벽한 전해질 내 이온 전도 기작 분석법은 정립되지 못했다. 대신 이온 전도 기작을 기술하기 위한 몇 가지 수학적 모델이 고안되었으며, 본 총설에서는 대표적인 사례인 아레니우스(Arrhenius) 모델과 Vogel-Tammann-Fulcher(VTF) 모델을 소개한다. 일반적으로 이 두 모델은 이온 전도도, 확산 계수, 점도와 같은 이동 특성(transport properties)의 온도 의존성을 기술하는 데 사용되며, 주어진 전해질에 적합한 수학적 모델은 이동 물성의 로그 값과 온도의 역수가 이루는 그래프의 선형성을 통해 판별할 수 있다. 현재 많은 전해질 연구는 다양한 조성과 온도 범위에서 두 모델 중에서 더 적합한 모델을 선정하고, 이를 통해 이온 전도 기작 분석과 활성화 에너지를 도출한다. 향후 전해질 이동 특성을 더욱 정확하게 기술할 수 있는 모델의 개발이 필요하다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2002년도 춘계학술대회논문집
• /
• pp.253-258
• /
• 2002

This paper proposes a methodology for development of protocol models. The methodology attempts to employ two modeling environments in models development, NS2 and DEVSim++, which will interoperate during simulation. NS2 is a widely used network simulator in protocol research, which employs an informal modeling approach. Within the approach time and state information of protocol models are not explicitly described, thus being hard to validate model. On the other hand the DEVS formalism is a mathematical framework for modeling a discrete event system in a hierarchical, modular manner. In DEVS, model's time and state information is described explicitly, By using DEVS formalism, models can easily be validated and errors in the modeling stage can be reduced. However, the DEVS simulator, DEVSim++, supports a small amount of models library which are required to build simulation models of general communication network. Although NS2 employs an informal modeling approach and models validation is difficult, it supports abundant models library validated by experimental users. Thus, combination of DEVS models and NS2 models may be an effective solution for network modeling. Such combination requires interoperation between DEVSim++ simulator and NS2 simulator. This paper develops an environment for such interoperation. Correctness and effectiveness of the implemented interoperation environment have been validated by simulation of UDP and TCP models.