• Communications of Mathematical Education
• /
• v.31 no.4
• /
• pp.433-456
• /
• 2017

The purpose of this study is to suggest the directions for the development and improvement of mathematics textbooks in Korea by examining these characteristics of German textbooks. As a result, German mathematics textbooks were free for unit order and names of units. German mathematics textbooks defined a function for various real life and natural phenomena, relation after intuitively knowing the correspondence between two variables through a graph. In addition, it exercises interpreting the characteristics and information of the graph, guides the activity of graphing various functional situations, and contents to convert various expression methods such as graphs, tables, relational expressions, mathematical terms and sentences. In the German mathematics textbooks, mathematical expressions of the functional relations of the materials in various contexts of daily life, and the activities of predicting and predicting the future, were made to feel the usefulness of mathematics. It has raised functional thinking and provided problems related to other subjects, thus enhancing connectivity with other disciplines. It also included open issues and issues that required mathematical communication.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1995.04a
• /
• pp.635-642
• /
• 1995

조립제품을 생산하기 위해, 부품간의 조립순서를 결정하는 문제는 전체조립공정에 중대한 영향을 미치는 문제이다. 이때 부품간이 조립순서를 결정하기 위해서는 조립상태에 관한 정보가 필요하다. 따라서 효율적인 조립순서를 결정하기 위해서는 조립상태에 대한 효과적인 표현법이 필요하게 된다. 본 논문에서는 이러한 효과적인 조립정보의 표현법으로서 CCG를 제시한다. CCG는 Component Coupling Graph로서 부품간의 기하학적인 간섭관계에 대한 정보를 접근 방향별로 표현한 그래프이다. 이때 접근방향은 +x,-x,+y,-y,+z,-z의 여섯방향이다. 이 CCG를 이용하면 각 조립상태에 대한 분해가능한 부품을 논리적으로 추론해 낼 수 있게 된다. 부품간의 기하학적인 간섭관계는 coupling 개념을 이용하여 표현하게 되는데, coupling은 각 부품간의 방향별 거리를 나타낸다.

• Journal of the Korean earth science society
• /
• v.35 no.3
• /
• pp.192-202
• /
• 2014

The purpose of this study was to investigate high school students' conception of conservation of mass through the scenario of carbon emission in terms of carbon cycle. Seventy six high school students of 11th grade were participated in this study. Participants were provided with two scenarios that showed a gradual increase and decrease of atmospheric $CO_2$ amount from the level recorded in 2013 up to 450 ppm and to 340 ppm by 2110, which is the changes of around 15%. We asked participants to explain the reason after having them draw the emissions trajectory of $CO_2$ according to scenario. Most participants thought that carbon emission would continue to increase despite the two scenarios of carbon emission making sense in terms of conservation of mass between emissions and the natural removal of carbon dioxide. This implies that participants came to think of pattern matching that carbon emission would continue to increase as they used correlation graphs of carbon emission: that is, the graphs of the evolution of anthropogenic emissions, of atmospheric $CO_2$, and of global mean temperature, from the beginning of the Industrial Revolution up to date, all of which are shown in high school earth science textbooks.

• Journal of Radiation Protection and Research
• /
• v.26 no.1
• /
• pp.19-26
• /
• 2001

In order to assess the atmospheric dispersion for the accidental releases of nuclear power plants, in calculating X/Q values in the XOQAR and PAVAN codes which are based on Reg. Guide 1.145, the X/Q and frequency values are plotted on log-normal paper. Starting with the highest X/Q value of this plot, the codes compare the slope of the line drawn from this point to every other point within an increment containing ten X/Q values. If there are fewer than ten values, only the number available are used. The coefficients that produce the line with the least negative slope are saved. The end point of this line is used as the next starting point, from which slopes to the points within the next increment, containing ten X/Q values, are compared. The X/Q values corresponding to the cumulative frequency values 0.5%, 5% or 50% are calculated to search for the $0{\sim}2$ hour X/Q value that tends to be a very conservative value. In this work, a fuzzy logic inference method is used for nonlinear interpolation of the X/Q values versus the cumulative frequency. The fuzzy logic inference method is known to be a food technique for nonlinear interpolation. The proposed method was applied to a potential accidential radioactive release of the Yonggwang nuclear power plant, which gives more realistic X/Q values.

• Spatial Information Research
• /
• v.19 no.3
• /
• pp.53-62
• /
• 2011

Spatial information services in indoor space are an im portant application area of GIS as in outdoor space. Unlike in outdoor space, a position in indoor space is specified by a symbolic code such as room number, rather than coordinate. Therefore tracking in indoor space is no longer a prediction of coordinates but a symbolic estimation on the current position of a moving object. In this paper, we propose a framework for tracking moving objects in indoor symbolic space with RFID sensors. First, we introduce the concepts of indoor symbolic space and tracking in indoor symbolic space, and define the accessibility graph for trackable indoor symbolic space. Second, we propose a deployment method of RFID readers and a construction algorithm of accessibility graph for trackable indoor symbolic space. Third, a tracking method is proposed for moving objects in symbolic indoor space with RFID sensors. Finally, we present an implementation exmaple and the result of experiment with real data to validate the proposed method.

• The KIPS Transactions:PartD
• /
• v.13D no.7 s.110
• /
• pp.939-946
• /
• 2006

Although the Java bytecode has numerous advantages, there are also shortcomings such as slow execution speed and difficulty in analysis. In order to overcome such disadvantages, bytecode analysis and optimization must be performed. We implements CTOC for optimized codes. An extended CFG must be first created in order to analyze and optimize a bytecode. Due to unique bytecode properties, the existing CFG must be expanded according to the bytecode. Furthermore, the CFG must be converted into SSA Form for a static analysis, for which calculation is required for various information such as the dominate relation, dominator tree, immediate dominator, $\phi$-function, rename, and dominance frontier. This paper describes the algorithm and the process for converting the existing CFG into the SSA From. The graph that incorporates the SSA Form is later used for type inference and optimization.

• Journal of the Korea Society of Computer and Information
• /
• v.14 no.10
• /
• pp.31-41
• /
• 2009

In the Semantic Web, it is possible to provide intelligent information retrieval and automated web services by defining a concept of information resource and representing a semantic relation between resources with meta data and ontology. It is very important to manage semantic data such as ontology and meta data efficiently for implementing essential functions of the Semantic Web. Thus we propose an index structure to support more accurate search results and efficient query processing by considering semantic and structural features of the semantic data. Especially we use a graph data model to express semantic and structural features of the semantic data and process various type of queries by using graph model based path expressions. In this paper the proposed index aims to distinguish our approach from earlier studies and involve the concept of the Semantic Web in its entirety by querying on primarily extracted structural path information and secondary extracted one through semantic inferences with ontology. In the experiments, we show that our approach is more accurate and efficient than the previous approaches and can be applicable to various applications in the Semantic Web.

• Journal of the Korean School Mathematics Society
• /
• v.13 no.1
• /
• pp.125-141
• /
• 2010

The aim of this paper is to develop a web-based Virtual Learning System for discrete mathematics learning using CAS (Computer Algebra System), The system contains a series of contents that are common between secondary und university curriculum in discrete mathematics such as sets, relations, matrices, graphs etc. We designed and developed web-based virtual learning contents contained in the proposed system based on Mathematia, webMathematica and phpMath taking advantages of rapid computation and visualization. The virtual learning system for discrete math provides movie lectures and 'practice mode' authored with phpMath in order to enhance conceptual understanding of each movie lesson. In particular, matrix learning is facilitated with conceptual diagram that provides interactive quizzes. Once the quiz results are submitted, Bayesian inference network diagnoses strong and weak parts of learning nodes for generating diagnostic reports to facilitate personalized learning. As part of formative evaluation, the overall responses were collected for future revision of the system with 10 university students.

• Proceedings of the Korean Society for Bioinformatics Conference
• /
• 2001.10a
• /
• pp.165-196
• /
• 2001

DNA chip 또는 microarray는 다수의 유전자 또는 유전자 조각을 (보통 수천내지 수만 개)칩상에 고정시켜 놓고 DNA hybridization 반응을 이용하여 유전자들의 발현 양상을 분석할 수 있는 기술이다. 이러한 high-throughput기술은 예전에는 생각하지 못했던 여러가지 분자생물학의 문제에 대한 해답을 제시해 줄 수 있을 뿐 만 아니라, 분자수준에서의 질병 진단, 신약 개발, 환경 오염 문제의 해결 등 그 응용 가능성이 무한하다. 이 기술의 실용적인 적용을 위해서는 DNA chip을 제작하기 위한 하드웨어/웻웨어 기술 외에도 이러한 데이터로부터 최대한 유용하고 새로운 지식을 창출하기 위한 bioinformatics 기술이 핵심이라고 할 수 있다. 유전자 발현 패턴을 데이터마이닝하는 문제는 크게 clustering, classification, dependency analysis로 구분할 수 있으며 이러한 기술은 통계학과인공지능 기계학습에 기반을 두고 있다. 주로 사용된 기법으로는 principal component analysis, hierarchical clustering, k-means, self-organizing maps, decision trees, multilayer perceptron neural networks, association rules 등이다. 본 세미나에서는 이러한 기본적인 기계학습 기술 외에 최근에 연구되고 있는 새로운 학습 기술로서 probabilistic graphical model (PGM)을 소개하고 이를 DNA chip 데이터 분석에 응용하는 연구를 살펴본다. PGM은 인공신경망, 그래프 이론, 확률 이론이 결합되어 형성된 기계학습 모델로서 인간 두뇌의 기억과 학습 기작에 기반을 두고 있으며 다른 기계학습 모델과의 큰 차이점 중의 하나는 generative model이라는 것이다. 즉 일단 모델이 만들어지면 이것으로부터 새로운 데이터를 생성할 수 있는 능력이 있어서, 만들어진 모델을 검증하고 이로부터 새로운 사실을 추론해 낼 수 있어 biological data mining 문제에서와 같이 새로운 지식을 발견하는 exploratory analysis에 적합하다. 또한probabilistic graphical model은 기존의 신경망 모델과는 달리 deterministic한의사결정이 아니라 확률에 기반한 soft inference를 하고 학습된 모델로부터 관련된 요인들간의 인과관계(causal relationship) 또는 상호의존관계(dependency)를 분석하기에 적합한 장점이 있다. 군체적인 PGM 모델의 예로서, Bayesian network, nonnegative matrix factorization (NMF), generative topographic mapping (GTM)의 구조와 학습 및 추론알고리즘을소개하고 이를 DNA칩 데이터 분석 평가 대회인 CAMDA-2000과 CAMDA-2001에서 사용된cancer diagnosis 문제와 gene-drug dependency analysis 문제에 적용한 결과를 살펴본다.

• Journal for History of Mathematics
• /
• v.19 no.4
• /
• pp.63-80
• /
• 2006

Along with natural and algebraic languages, schema is a fundamental component of mathematical language. The principal purpose of this present study is to focus on this point in detail. Schema was already in use during Pythagoras' lifetime for making geometrical inferences. It was no different in the case of Oriental mathematics, where traces have been found from time to time in ancient Chinese documents. In schma an idea is transformed into something conceptual through the use of perceptive images. It's heuristic value lies in that it facilitates problem solution by appealing directly to intuition. Furthermore, introducing schema is very effective from an educational point of view. However we should keep in mind that proof is not replaceable by it. In this study, various schemata will be presented from a diachronic point of view, We will show with emaples from the theory of categories, Feynman's diagram, and argand's plane, that schema is an indispensable tool for constructing new knowledge.