• The Mathematical Education
• /
• v.50 no.3
• /
• pp.285-308
• /
• 2011

The objective of this study is to review how researches on mathematics education are being conducted currently in Korea and overseas and to examine the current state of domestic researches on mathematics education from a broader view. Although many efforts have been made to understand trends in researches on mathematics education, there have been few in depth studies on research trends in overseas or for comparison between domestic and overseas trends. Thus, this study classified and analyzed 181 domestic articles between 2005 and 2009 in the journals and and 201 overseas articles in the journals and according to year, research area, research contents, school level, research method, and key words using the PME classification system with some modification. Through these analysis, we examined research trends on secondary mathematics education in Korea and overseas. The research findings are as follows. First, 'teaching learning process' was a spotlight area both at home and overseas, and 'realistic mathematics' and 'social cultural subjects' were not covered much either at home or overseas. 'Mathematical communication' occupied a very small portion in Korea but was a highly interesting area in overseas research. Second, research contents of interest were different between Korea and overseas. Research on general area was the mainstream. But geometry and statistics were mainly studied in Korea and algebra and analysis in overseas. Third, research related to middle school was twice more than that related to high school in Korea, But, research related to middle school was the same as high school in overseas. Fourth, qualitative research was the absolute majority both at home and overseas, and philosophical didactical analysis was used only in Korea. Fifth, the order of key words were problem solving - teacher - curriculum - creativity - textbook in Korea, but teacher - teaching - semiotic - affective factor - proo f- problem solving - technology in overseas.

• Communications of Mathematical Education
• /
• v.25 no.1
• /
• pp.119-145
• /
• 2011

We study on the Connected Mathematics Project(CMP), one of the American mathematics education reform projects which have been promoted since the 1990s, so that we can provide some suggestions for the recent research of developing the 2009 Korean Mathematics Curriculum. In this paper, we examine the background of the CMP, the controversies over the textbooks [CMP1 textbooks] developed by CMP[CMP1] implemented from 1991 till 1996, and the curriculum of the CMP[CMP2] revised from CMP1 and carried from 2000 till 2006. Through the literature study, we can see that the CMP2 curriculum has reflected some of those controversies of the CMP1 textbooks by introducing procedures for students' acquiring basic skills, reducing the number of lessons and the contents supposed to be learned in each lesson, putting more stress on algebra and adding data analysis contents more.

• Journal of the Korean Society of Safety
• /
• v.31 no.5
• /
• pp.187-194
• /
• 2016

A single fire event within a fire area can cause multiple initiating events considered in internal events probabilistic safety assessment (PSA). For an example, a fire event in turbine building fire area can cause a loss of the main feed-water and loss of off-site power initiating events. This fire initiating event could result in special plant responses beyond the scope of the internal events PSA model. One approach to address a fire initiating event is to develop a specific fire event tree. However, the development of a specific fire event tree is difficult since the number of fire event trees may be several hundreds or more. Thus, internal fire events PSA model has been generally constructed by modifications of the pre-developed internal events PSA model. New accident sequence logics not covered in the internal events PSA model are separately developed to incorporate them into the fire PSA model. Recently, many fire PSA models have fire induced initiating event fault trees not shown in an internal event PSA model. Up to now, there has been no analytical comparative study on the constructions of fire events PSA model using internal events PSA model with and without fault trees of initiating events. In this study, the changing process of internal events PSA model to fire events PSA model is analytically presented and discussed.

• The KIPS Transactions:PartD
• /
• v.11D no.1
• /
• pp.39-50
• /
• 2004

GML proposed to offer interoperability of geography information is specifying various dynamic object schema for application in the wireless environment. These GML dynamic object schema supports the expression of moving objects that the position and shape change consecutively over time, so practical use of GML is increased in location-based service that provides various application services based on location information of moving objects. In particular, the conventional query languages about GML have been studied with priority given to the integration of geographic information, the support of spatial operations, and etc. However, it lacks the support for moving objects queries. Therefore, in this paper, we propose the moving objects query language that supports moving objects queries for GML documents by extension of XQuery that is standard in query language. Also, data model, algebra operation and various moving objects operators for the proposed query language are designed, and we apply the proposed query language to tornado government organization system to show that the proposed query language can be used effectively in various location-based service.

• Journal of Korean Ophthalmic Optics Society
• /
• v.9 no.2
• /
• pp.481-489
• /
• 2004

Poly(triazine bissulfide)s were synthesized from 6-dibutylamino-1,3,5-triazine-2,4-dithiol with bis(4-chloro-3-nitrophenyl)sulfone in the presence of the phase transfer catalyst, and from m-dibromide xylene and p-dibromide xylene with 6-dibutylamino-1,3,5-triazine-2,4-dithiol in the presence of cetyltrimethyl ammonium bromide at $70^{\circ}C$ for 24h. We could acquire the good results about solubility, thermal property, and molecular weight to make cast film. These results are important as base for the synthesis of functionalization polymer material being optical plastic material. The maximum algebra viscosity was 0.57~1.40dl/g at the temperature more than $50{\sim}60^{\circ}C$.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.18 no.8
• /
• pp.361-366
• /
• 2017

For two given logical expressions and, when expression contains the same part of the logical expression as expression, substituting for that part of expression is called a substituted logic expression. If a substituted relation is established between the logical expressions, there is an advantage in that the number of literals used in the whole logical expression can be greatly reduced. However, if the substituted relation is not established, there is no simplification effect obtained from the substituted expression. Previous methods proposed a way to find substituted relations between logical expressions for the given logical expressions themselves, and to calculate substituted expressions if only substitution is possible. In this paper, a new method for performing substitution with addition and revision of logic terms is proposed in order to perform substitution, even though there is no substituted relation between two logic expressions. The proposed method is efficiently implemented using a matrix that finds terms to be added. Then, by covering the matrix that has added terms, substituted logic expressions are found. Experiment results show that the proposed method for several benchmark circuits can reduce the number of literals, compared to existing synthesis tools.

• The Journal of the Korea Contents Association
• /
• v.20 no.7
• /
• pp.212-222
• /
• 2020

The purpose of this study is to understand the current status and trends of the research studies published by the Society for Industrial and Applied Mathematics which is a leader in the field of industrial mathematics around the world. To perform this purpose, titles and abstracts were collected from 6,255 research articles between 2016 and 2019, and the R program was used to analyze the topic modeling model with LDA techniques and a regression model. As the results of analyses, first, a variety of studies have been studied in the fields of industrial mathematics, such as algebra, discrete mathematics, geometry, topological mathematics, probability and statistics. Second, it was found that the ascending research subjects were fluid mechanics, graph theory, and stochastic differential equations, and the descending research subjects were computational theory and classical geometry. The results of the study, based on the understanding of the overall flows and changes of the intellectual structure in the fields of industrial mathematics, are expected to provide researchers in the field with implications of the future direction of research and how to build an industrial mathematics curriculum that reflects the zeitgeist in the field of education.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.36 no.10C
• /
• pp.614-620
• /
• 2011

RSA, the most commonly used public-key cryptosystem, is based on the difficulty of factoring very large integers. The fastest known factoring algorithm is the Number Field Sieve(NFS). NFS first chooses two polynomials having common root modulo N and consists of the following four major steps; 1. Polynomial Selection 2. Sieving 3. Matrix 4. Square Root, of which the most time consuming step is the Sieving step. However, in recent years, the importance of the Polynomial Selection step has been studied widely, because one can save a lot of time and memory in sieving and matrix step if one chooses optimal polynomial for NFS. One of the ideal ways of choosing sieving polynomial is to choose two polynomials with same degree. Montgomery proposed the method of selecting two (nonlinear) quadratic sieving polynomials. We proposed two cubic polynomials using 5-term geometric progression.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2008.05a
• /
• pp.2270-2275
• /
• 2008

수문학적 하도추적법의 하나인 Muskingum 모형은 미 육군공병단(U.S. Army Corps of Engineers)에 의해서 미국 Ohio 주의 Muskingum 유역에 홍수조절계획으로 처음 사용되었으며 모형의 구조 및 입력자료의 단순성에 비하여 비교적 우수한 결과를 모의할 수 있는 것으로 알려져 있다. 1938년 McCarthy에 의해서 개발되었고 구간내 총저류량은 prism 저류와 wedge 저류로 구분하여 prism 저류는 유출량에 wedge 저류는 유입량과 유출량의 차에 직접 비례한다는 가정하에 추적식을 개발하였다. 이후 지속적인 연구가 이뤄져 1985년 O'Donnel은 측방유입량(lateral inflow)을 상류단의 유입량에 비례하는 형태로 3-매개변수 muskingum 모형을 제안하여 추적계수의 결정을 선형대수(linear algebra)에서 동차(homogeneous)연립방정식 해를 구하는 Cramer 법칙인 matrix 기법을 적용하였다. 본 연구에서는 홍수사상으로부터 측방유입량이 고려되고 추적계수 결정에 있어서 직접 계산이 가능한 O'Donnel(1985)이 제안한 3-매개변수 muskingum 모형을 적용하였다. 추적계수들의 결정은 직접 matrix 기법을 적용하였고 적용대상은 낙동강 유역의 낙동 지점을 상류단으로 구미 지점을 하류단으로 선정하였다. 홍수사상은 낙동강 유량측정 조사사업 2005년${\sim}$2007년 보고서에 수록된 수문자료를 선정하여 관측치와 계산치를 비교하였고 홍수사상에 적용하여 수문곡선을 추정하였으며, 각각의 매개변수가 추적구간에 어떠한 영향을 미치는지 변수간의 관계를 분석하였다. 또한, 관측치와 계산치의 적합도 검증은 평균제곱근오차(root mean squar error; RMSE)와 모형 효율성 계수(model efficiency; ME)를 산정하여 분석하였으며, 하도 구간내 저류량은 대상구간에 대한 유입량과 유출량의 가중합에 비례한다는 선형모형을 적용하였다.

• Journal of the Korean School Mathematics Society
• /
• v.20 no.2
• /
• pp.119-139
• /
• 2017

The construction in the ancient Greek era had more meanings than a construction in the present education. Based on this fact, this study examines the meaning of the current textbook. In contrast, we have extracted the meaning of the constructions in Euclid Elements. In addition, we have been thinking about what benefits can come up if the meaning of the construction in Euclid Elements was reflected in current education, and suggested a way to exploit that advantage. As results, it was confirmed that the construction in the current textbook was merely a means for introducing and understanding the congruent conditions of the triangle. On the other hand, the construction had four meanings in Euclid Elements; Abstract activities that have been validated by the postulates, a mean of demonstrating the existence of figures and obtaining validity for the introduction of auxiliary lines, refraining from intervening in the argument except for the introduction of auxiliary lines, a mean of dealing with numbers and algebra. Finally we discussed the advantages of using the constructions as a means of ensuring the validity of the introduction of the auxiliary line to the argument. And we proposed a viewpoint of construction by intervention of virtual tools for auxiliary lines which can not be constructed with Euclid tool.