• 한국정보처리학회논문지
• /
• 제2권4호
• /
• pp.477-486
• /
• 1995

본 논문에서는 이산수학에서 많이 다루고 있는 Galois-격자를 이용하여 객체지향 분석 모델을 구축하고 이를 유지 보수하기 위한 방법들을 제시하고, 예를 통해 객체 지향분석 모델을 구축하는 것에 대해 분석하였다. 클래스 객체들과 그들 사이에 형성 된 속성을 이항관계로 표현한 Galois-격자를 이용하여 관계(relation)를 정립하고, 분 석단계의 클래스 계층구조에 새로운 클래스 노드를 추가할 때마다 Galois-격자구조를 점증적으로 갱신하는 알고리즘을 제안하였다. 이러한 제안은 실험을 통하여 새로운 클 래스 노드의 추가는 일정한 시간내에 수행됨을 알았으며, 격자구조의 성장 속도는 클 래스 노드수와 비례하며, 클래스 노드에 관련된 속성의 수가 상한치를 갖을 때 알고리 즘의 최악경우 복잡도는 객체수에 따라 선형적으로 증가함을 보였다. 이 결과는 객체 지향 분석 모델의 이해도와 모델의 유지수하는 추적도를 높이고, 객체지향 시스템의 장점인 클래스의 재사용 가능성을 향상시키고 클래스 계층 유지보수를 실질적으로 지 원한다.

• Korea-Australia Rheology Journal
• /
• 제15권3호
• /
• pp.131-150
• /
• 2003

A new numerical algorithm of finite element methods is presented to solve high Deborah number flow problems with geometric singularities. The steady inertialess planar 4 : 1 contraction flow is chosen for its test. As a viscoelastic constitutive equation, we have applied the globally stable (dissipative and Hadamard stable) Leonov model that can also properly accommodate important nonlinear viscoelastic phenomena. The streamline upwinding method with discrete elastic-viscous stress splitting is incorporated. New interpolation functions classified as rational interpolation, an alternative formalism to enhance numerical convergence at high Deborah number, are implemented not for the whole set of finite elements but for a few elements attached to the entrance comer, where stress singularity seems to exist. The rational interpolation scheme contains one arbitrary parameter b that controls the singular behavior of the rational functions, and its value is specified to yield the best stabilization effect. The new interpolation method raises the limit of Deborah number by 2∼5 times. Therefore on average, we can obtain convergent solution up to the Deborah number of 200 for which the comer vortex size reaches 1.6 times of the half width of the upstream reservoir. Examining spatial violation of the positive definiteness of the elastic strain tensor, we conjecture that the stabilization effect results from the peculiar behavior of rational functions identified as steep gradient on one domain boundary and linear slope on the other. Whereas the rational interpolation of both elastic strain and velocity distorts solutions significantly, it is shown that the variation of solutions incurred by rational interpolation only of the elastic strain is almost negligible. It is also verified that the rational interpolation deteriorates speed of convergence with respect to mesh refinement.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제45권3호
• /
• pp.319-343
• /
• 2006

The purpose of this study is to investigate how fifth and sixth graders recognize average and to find out suggestions for teaching/learning methods of average by examining which difference there is depending on the way of the word problem presentation. For the this purpose, was conducted experiment study with the way of the world problem presentation set up as experimental treatment. The conclusions drawn from the results obtained in the this study were as follows : First, since students who did not learn the regular course of average had various informal concepts already, it is needed to consider handling more various concepts of average in order to enable students to expand flexible thoughts. Second, compared with fifth and sixth graders showed a wide difference in informal concepts of average depending on the way of the word problem presentation. In expect data with given average, concepts of mean as algorithm, balance point, and mode indicated similar percentage, while in estimate average with given data, the percentage of students who showed the concept of mean was very high at 67.6%. That may be because problems related to mean in the current textbooks are items of 'estimate average with given data', so in types of 'estimate average with given data', students solve questions with mean as algorithm without considering situations of problems. This result suggests that it is necessary to diversify the way of the word problem presentation even in textbooks. Third, as a result of analyzing informal concepts of average, there was significant difference in grades. In addition, the results suggested that there would be difference in the concepts of average depending on gender or attributes of discrete quantity and continuous quantity.

• 한국전자통신학회논문지
• /
• 제11권7호
• /
• pp.693-700
• /
• 2016

현재 사용되고 있는 유한체 GF(q)위의 non-supersingular 타원곡선 이산대수문제에 기반한 공개키 암호법의 안전성을 보장하기 위해서는 타원곡선의 위수의 크기와 소인수의 크기를 계산하는 일이 매우 중요하다. 그런데 타원곡선의 위수를 구하는 전통적인 방법인 Schoof 알고리즘은 매우 복잡하여 지금도 개선작업이 진행중이다. 본 논문에서는 복잡한 Schoof 알고리즘을 피하기 위하여, 표수가 2인 유한체의 합성체$GF(2^m)=GF(2^{rs})=GF((2^r)^s)$ 위에서 Weil 정리를 이용하여 타원곡선의 위수를 계산하는 방법을 제안한다. 또한, 그에 따른 알고리즘과 그 알고리즘을 적용한 프로그램을 실행하여 타원곡선 암호법에 사용될 수 있는 효율적인 곡선으로 ${\sharp}E(GF(2^5))=36$일 때의 합성체 $GF(2^5)^{31})$ 위에서 위수에 $10^{40}$ 이상인 소인수를 포함하는 non-supersingular 타원곡선을 찾을 수 있었다.

• Journal of Communications and Networks
• /
• 제15권1호
• /
• pp.77-86
• /
• 2013

Cognitive radio (CR) has emerged as one of effective methods to enhance the utilization of existing radio spectrum. Main principle of CR is that secondary users (SUs) are allowed to use the spectrum unused by primary users (PUs) without interfering PU's transmissions. In this paper, PUs operate on a slot-by-slot basis and SUs try to exploit the slots unused by PUs. We propose OSA protocols in the single channel and we propose an opportunistic spectrum access (OSA) protocols in the multi-channel cognitive radio networks with one control channel and several licensed channels where a slot is divided into contention phase and transmission phase. A slot is divided into reporting phase, contention phase and transmission phase. The reporting phase plays a role of finding idle channels unused by PUs and the contention phase plays a role of selecting a SU who will send packets in the data transmission phase. One SU is selected by carrier sense multiple access / collision avoidance (CSMA/CA) with request to send / clear to send (RTS/CTS) mechanism on control channel and the SU is allowed to occupy all remaining part of all idle channels during the current slot. For mathematical analysis, first we deal with the single-channel case and we model the proposed OSA media access control (MAC) protocol by three-dimensional discrete time Markov chain (DTMC) whose one-step transition probability matrix has a special structure so as to apply the censored Markov chain method to obtain the steady state distribution.We obtain the throughput and the distribution of access delay. Next we deal with the multi-channel case and obtain the throughput and the distribution of access delay by using results of single-channel case. In numerical results, our mathematical analysis is verified by simulations and we give numerical results on throughput and access delay of the proposed MAC protocol. Finally, we find the maximum allowable number of SUs satisfying the requirements on throughput and access delay.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제50권2호
• /
• pp.213-231
• /
• 2011

The purpose of this study is to analyze the 6th graders' understanding of the concepts of variable on various aspects of school algebra. For this purpose, the test of concepts of variable targeting a sixth-grade class was conducted and then two students were selected for in-depth interview. The level of mathematics achievement of the two students was not significantly different but there were differences between them in terms of understanding about the concepts of variable. The results obtained in this study are as follows: First, the students had little basic understanding of the variables and they had many cognitive difficulties with respect to the variables. Second, the students were familiar with only the symbol '${\Box}$' not the other letters nor symbols. Third, students comprehended the variable as generalizers imperfectly. Fourth, the students' skill of operations between letters was below expectations and there was the student who omitted the mathematical sign in letter expressions including the mathematical sign such as x+3. Fifth, the students lacked the ability to reason the patterns inductively and symbolize them using variables. Sixth, in connection with the variables in functional relationships, the students were more familiar with the potential and discrete variation than practical and continuous variation. On the basis of the results, this study gives several implications related to the early algebra education, especially the teaching methods of variables.

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

As the importance of algebraic thinking in elementary school has been emphasized, the links between fraction knowledge and algebraic thinking have been highlighted. In this study, we analyzed the solution methods and characteristics of thinking by fifth graders who have not yet learned fraction division when they solved 'reverse fraction problems' (Pearn & Stephens, 2018). In doing so, the contexts of problems were extended from the prior study to include the following cases: (a) the partial quantity with a natural number is discrete or continuous; (b) the partial quantity is a natural number or a fraction; (c) the equivalent fraction of partial quantity is a proper fraction or an improper fraction; and (d) the diagram is presented or not. The analytic framework was elaborated to look closely at students' solution methods according to the different contexts of problems. The most prevalent method students used was a multiplicative method by which students divided the partial quantity by the numerator of the given fraction and then multiplied it by the denominator. Some students were able to use a multiplicative method regardless of the given problem contexts. The results of this study showed that students were able to understand equivalence, transform using equivalence, and use generalizable methods. This study is expected to highlight the close connection between fraction and algebraic thinking, and to suggest implications for developing algebraic thinking when to deal with fraction operations.

• 대한수학회지
• /
• 제59권3호
• /
• pp.571-594
• /
• 2022

Let D be an integral domain with quotient field K, Pic(D) be the ideal class group of D, and X be an indeterminate. A polynomial overring of D means a subring of K[X] containing D[X]. In this paper, we study almost Dedekind domains which are polynomial overrings of a principal ideal domain D, defined by the intersection of K[X] and rank-one discrete valuation rings with quotient field K(X), and their ideal class groups. Next, let ℤ be the ring of integers, ℚ be the field of rational numbers, and 𝔊f be the set of finitely generated abelian groups (up to isomorphism). As an application, among other things, we show that there exists an overring R of ℤ[X] such that (i) R is a Bezout domain, (ii) R∩ℚ[X] is an almost Dedekind domain, (iii) Pic(R∩ℚ[X]) = $\oplus_{G{\in}G_{f}}$ G, (iv) for each G ∈ 𝔊f, there is a multiplicative subset S of ℤ such that RS ∩ ℚ[X] is a Dedekind domain with Pic(RS ∩ ℚ[X]) = G, and (v) every invertible integral ideal I of R ∩ ℚ[X] can be written uniquely as I = XnQe11···Qekk for some integer n ≥ 0, maximal ideals Qi of R∩ℚ[X], and integers ei ≠ 0. We also completely characterize the almost Dedekind polynomial overrings of ℤ containing Int(ℤ).

• 한국정보통신학회논문지
• /
• 제26권11호
• /
• pp.1586-1591
• /
• 2022

Kirchhoff-Love 판 (KLP) 방정식은 특정 외력이 얇은 막에 끼치는 변형을 기술하는 잘 알려진 이론이다. 한편, frequency 도메인에서 진동하는 판을 해석하는 것은 주요 진동 주파수와 고유함수들을 구하는 것과 판의 진동을 예측하는데 중요하다. 다양한 모드 분석 방법들 중 dynamic mode decomposition (DMD)는 효율적인 data 기반 방법이다. 이 논문에서 우리는 DMD를 기반으로 sine 유형 외력의 영향력 안에 있는 KLP의 모드 분석을 수행한다. 우리는 먼저 유한차분법을 사용하여 이산적으로 표현된 시계열 형식의 KLP 해를 구한다. 720,00개의 FDM으로 생성된 해중에서, 오직 500개의 해만을 DMD의 구현을 위해 선택한다. 우리는 결과적으로 얻어진 DMD-mode를 보고한다. 또한, DMD를 통하여 KLP의 해를 예측하는 효율적인 방법을 소개한다.