• 한국응용곤충학회지
• /
• 제56권1호
• /
• pp.1-18
• /
• 2017

곤충의 온도발육모형은 해충의 발생예찰모형을 비롯한 개체군모형에서 기본이 되는 요소이다. 본고에서는 곤충의 온도의존적 비선형 발육모형에 대하여 고찰하였다. 모형의 종류를 크게 경험모형과 생물리적 모형으로 구분하였으며, 수식의 유사성 내지 기원에 대한 유연관계에 따라 세분하였다. 발육률 곡선의 형태적 묘사에 적합한 수식을 적용하는 경험모형은 Stinner-계열, Logan-계열, 수행모형, 그리고 베타 분포모형으로 세분화하여 고찰하였다. 촉매반응을 바탕으로 하고 있는 생물리적 모형은 Eyring-모형, SM-모형, SS-모형, SSI-모형으로 이어지는 단계통으로 분류하였다. 본 연구에 포함된 각 모형의 개발과정과 형태적합 특성에 대하여 기술하였다.

• 대한수학교육학회지:학교수학
• /
• 제13권3호
• /
• pp.447-468
• /
• 2011

고등학교 수학교과과정에서 이차곡선에 관련된 단원의 지도는 다른 어떤 단원보다도 연결성이 고려된 지도가 필요한 단원이다. 다시 말해 대수적 접근 방식과 기하적 접근 방식이 동시에 병렬적으로 지도되어야 한다. 특히 대수적 조작력이 미흡한 하위권 학생들에게는 이차곡선에 대한 성질을 역동적으로 표현하는 시각적 표상을 심어주는 기하적 접근 방식이 더욱 중요하다. 이를 위하여 본 연구는 이차곡선의 지도에 있어서 GeoGebra에 기반한 역동적인 시각적 표상의 중요성을 제안하고자 현행 고등학교 '기하와 벡터' 10종의 교과서와 익힘책의 이차곡선 단원 중 포물선에 관련된 부분을 분석하여 시각적 표상을 극대화할 수 있는 지도 방안을 제안하는 실험적 수업을 진행하고 학생들의 표상의 변화를 분석하였다.

• 대한수학교육학회지:학교수학
• /
• 제12권3호
• /
• pp.371-388
• /
• 2010

이 논문의 목적은 소수(素數, prime number) 개념을 처음 배우는 학생들이 소수와 그 관련 개념들을 어떻게 이해하고 있는지를 탐구하기 위한 것이다. 이를 위하여 소수와 합성수 개념을 학습한 직후의 중학교 1학년 학생들에게 설문조사를 중심으로 자료를 수집하고 분석하였다. 연구 결과, 학생들은 주어진 자연수의 소수성을 판정하기 위한 소수의 기능적인 정의를 선호하며, 주어진 자연수의 약수를 찾는 것에만 주목하여 소수와 합성수를 곱셈적 관계로 이해하는데 어려움을 나타내었다. 이러한 결과는 학생들이 자연수의 곱셈적 기본 단위로서 소수 개념의 본질적인 중요성을 인식하고 산술의 기본 정리가 보장하는 자연수의 곱셈적 구조를 이해할 수 있도록 하는 교수학적 전략의 필요성을 제안한다.

• Structural Engineering and Mechanics
• /
• 제26권6호
• /
• pp.673-685
• /
• 2007

Reinforced concrete beams can be strengthened in a structural retrofit process by attaching steel plates to their sides by bolting. Whilst bolting produces a confident degree of shear connection under conditions of either static or seismic overload, the plates are susceptible to local buckling. The aim of this paper is to investigate the local buckling of unilaterally-restrained plates with point supports in a generic fashion, but with particular emphasis on the provision of the restraints by bolts, and on the geometric configuration of these bolts on the buckling loads. A numerical procedure, which is based on the Rayleigh-Ritz method in conjunction with the technique of Lagrange multipliers, is developed to study the unilateral local buckling of rectangular plates bolted to the concrete with various arrangements of the pattern of bolting. A sufficient number of separable polynomials are used to define the flexural buckling displacements, while the restraint condition is modelled as a tensionless foundation using a penalty function approach to this form of mathematical contact problem. The additional constraint provided by the bolts is also modelled using Lagrange multipliers, providing an efficacious method of numerical analysis. Local buckling coefficients are determined for a range of bolting configurations, and these are compared with those developed elsewhere with simplifying assumptions. The interaction of the actions in bolted plates during buckling is also considered.

• 한국전산유체공학회:학술대회논문집
• /
• 한국전산유체공학회 1998년도 춘계 학술대회논문집
• /
• pp.15-28
• /
• 1998

As an alternative for solving the incompressible Navier-Stokes equations, we present a vorticity-based integro-differential formulation for vorticity, velocity and pressure variables. One of the most difficult problems encountered in the vorticity-based methods is the introduction of the proper value-value of vorticity or vorticity flux at the solid surface. A practical computational technique toward solving this problem is presented in connection with the coupling between the vorticity and the pressure boundary conditions. Numerical schemes based on an iterative procedure are employed to solve the governing equations with the boundary conditions for the three variables. A finite volume method is implemented to integrate the vorticity transport equation with the dynamic vorticity boundary condition . The velocity field is obtained by using the Biot-Savart integral derived from the mathematical vector identity. Green's scalar identity is used to solve the total pressure in an integral approach similar to the surface panel methods which have been well-established for potential flow analysis. The calculated results with the present mettled for two test problems are compared with data from the literature in order for its validation. The first test problem is one for the two-dimensional square cavity flow driven by shear on the top lid. Two cases are considered here: (i) one driven both by the specified non-uniform shear on the top lid and by the specified body forces acting through the cavity region, for which we find the exact solution, and (ii) one of the classical type (i.e., driven only by uniform shear). Secondly, the present mettled is applied to deal with the early development of the flow around an impulsively started circular cylinder.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제9권9호
• /
• pp.3335-3356
• /
• 2015

In this paper, we analyze the connectivity of cognitive radio ad-hoc networks in a log-normal shadow fading environment. Considering secondary user and primary user's locations and primary user's active state are randomly distributed according to a homogeneous Poisson process and taking into account the spectrum sensing efficiency of secondary user, we derive mathematical models to investigate the connectivity of cognitive radio ad-hoc networks in three aspects and compare with the connectivity of ad-hoc networks. First, from the viewpoint of a secondary user, we study the communication probability of that secondary user. Second, we examine the possibility that two secondary users can establish a direct communication link between them. Finally, we extend to the case of finding the probability that two arbitrary secondary users can communicate via multi-hop path. We verify the correctness of our analytical approach by comparing with simulations. The numerical results show that in cognitive radio ad-hoc networks, high fading variance helps to remarkably improve connectivity behavior in the same condition of secondary user's density and primary user's average active rate. Furthermore, the impact of shadowing on wireless connection probability dominates that of primary user's average active rate. Finally, the spectrum sensing efficiency of secondary user significantly impacts the connectivity features. The analysis in this paper provides an efficient way for system designers to characterize and optimize the connectivity of cognitive radio ad-hoc networks in practical wireless environment.

• 대한수학교육학회지:학교수학
• /
• 제1권2호
• /
• pp.637-660
• /
• 1999

Although ‘to understand mathematics’ is an important educational purpose, most student do not have a relational understanding of the basic concept of mathematics but have a instrumental understanding. This paper will investigate the possibility of using computers for enhancing relational understanding. In the ‘Qualitative case study’, three students who are in the first grade at E-High school took part in 7 activities during four weeks, and were later interviewed and engaged in informal discussion and were observed. This is the result of this study. 1. The three students were passive participants in mathematics problem solving situation at school. Therefore, student B just applied formulas which she had memorized, and student C would forgot the formulas occasionally. These common students needed to participate actively in doing mathematics. 2. The activities utilized two software healing with connection between graphs and function, giving the students the opportunity to plan, practice, and test by themselves. As a result, they understood the mathematical formulas and rules more deeply through their own trial and error, and then they gained thinking abilities necessary for doing mathematics. In addition, the activities boosted their confidence. 3. The understanding type of students was slightly different. Student A who received a high score, understood the most relationally, but student B who received a very high score, understood instrumentally and so couldn't app1y her knowledge to solving problems related to function concept. Student C who received a middle score lacked knowledge of mathematics but thought more creatively. The result is that students need an opportunity to think rotationally regardless of score. Therefore, this study concludes that using computer software will provide a positive effect for relational understanding in loaming function concept.

• 한국수학교육학회지시리즈C:초등수학교육
• /
• 제14권3호
• /
• pp.261-275
• /
• 2011

본 연구는 방정식을 배우지 않은 초등학교 5학년 학생들이 일차방정식을 조작적으로 해결하는 과정에서 자신의 분수scheme과 조작을 어떻게 사용하고 있으며 계수와 상수가 복잡해짐에 따라 어떠한 분수scheme과 조작을 사용하는지 알아봄으로써 산술과 대수 사이의 간격을 줄이고 대수적 사고와 산술과의 연결성을 강화하고자 하였다. 초등학교 5학년 학생 두 명을 사례연구하여 일차방정식을 조작적으로 해결하는 과정을 면밀하게 분석하였다. 분석결과 학생들은 계수와 상수에 따라 다양한 조작과 분수 scheme를 사용하였으며 특히, 일차방정식의 해결에서 핵심전략인 동시에 대수적 사고와 연결되는 미지수와 주어진 량 사이의 동치관계를 세우는 데 반복 분수 scheme이 필요했다. 그리고 동치관계를 세우고 나서 미지수를 찾는데 동치분수가 중요한 역할을 하였다.

• 한국콘텐츠학회논문지
• /
• 제16권12호
• /
• pp.373-382
• /
• 2016

이산화탄소 포집 및 저장 / 격리 (CCS) 기술은 많은 이산화탄소 저감 방법 중 이상적인 방법으로 주목 받고 있다. 이산화탄소를 포집해서 파이프라인을 통해 저장소까지 수송할 때, 저장소가 가까운 경우 직접 수송할 수도 있지만, 중간 저장의 역할을 하는 허브를 거쳐 수송할 수도 있다. 허브의 수와 위치를 결정하는 것은 중요한 문제이다. 다목적 의사 결정을 위한 수학 모델은 많은 제약식과 목적식을 수반하는데, 문제의 계산 복잡도가 증가하지만 항상 최적을 보장하지 않는다. 본 연구에서는, 이산화탄소 수송망에서 중간 저장 허브의 위치와 수를 결정하는 알고리즘을 제안하고, 이를 활용하여 이산화탄소 발생지의 연결 네트워크 시뮬레이터를 개발한다. 시뮬레이터에서는 또한 이산화탄소의 수송 경로를 제공한다. 사례 연구로 한국에 모델을 적용한다.

• 전자공학회지
• /
• 제22권8호
• /
• pp.33-43
• /
• 1995

생산시스템 분야에서의 다중로봇시스템에 대한 필요성이 증가되고 있기 때문에, 이에 대한 시스템 성능분석이 우선적으로 필요하다. 본 논문에서는 다중로봇시스템의 성능평가를 위한 컴퓨터 시뮬레이션 방법을 제시한다. 먼저 오류회복 기능만을 고려한 다중로봇시스템에 대하여 여러 가지의 모델링 방법 중에서 확장 페트리 네트 모델을 기초로 하여 컴퓨터 시뮬레이션 하는 과정을 제시하고 제시된 시뮬레이션 방법의 유효성을 입증하기 위하여 부가적으로 큐잉모델을 기초로 한 해석적 수식을 유도하여 두 가지의 결과를 비교해 본다. 그 다음, 오류회복 기능에 덧붙여서 충돌회피 기능을 고려한 다중로봇시스템은 해석적 수식을 유도하기 위해서는 강력한 가정들이 필요하며 이러한 가정들 때문에 실제 시스템을 정확히 모델에 반영하기 어려워진다. 따라서, 그 유효성이 입증된 컴퓨터 시뮬레이션을 이용하면 필요한 최적의 운용 변수를 용이하게 선택할 수 있을 것이다. Since there are Increasing demands for multirobot interconnection systems(MRIS) in Industrial manufacturing system, the performance evaluation of the MRIS is first needed. This thesis presents a computer simulation technique for the performance evaluation of the MRIS. First, we consider a error recoverable MRIS. We adopt the extended Petri net model as a computer simulation model that allows an easy evaluation of the performance. To verify the significance of the proposed computer simulation method, mathematical analysis, which is based on the given queueing model, is carried out with some design issues for the MRIS. In addition to this, it is required to analyze the MRIS considering collision avoidance as well as error recovery. In this case, methematial analysis needs hard assumptions which are the constraints for the precise description of real environment. Thus, we present a computer simulation model and its results suggest an optimal operational strategy for the MRIS under given conditions.