• Journal of the Korean Society for Railway
• /
• v.11 no.1
• /
• pp.75-80
• /
• 2008

Human factors still play a significant part in many railway accidents. It is well blown that SPAD (Signal Passed at Danger) remains as the single most cause of railway accidents. In this study a stochastic model is developed to quantify SPAD human reliability. This model provides closed-form mathematical expressions into which multiple factors affecting the reliability of man-machine systems can be incorporated. Two basic elements are combined to form the framework for modeling: random signal occurrence and transient human performance characteristics.

• Journal of the Korean Wood Science and Technology
• /
• v.16 no.1
• /
• pp.55-61
• /
• 1988

목재(木材)의 응력(應力)과 변형(變形)에 미치는 함수율 및 온도변화의 효과를 유한요소(有限要素) 분석법에 의해 측정하였다. 목재는 춘재(春材) 및 추재(秋材)를 나타내는 층구조(層構造)의 원통형(圓筒形)으로 모델화 하였으며, 선형적(線形的) 탄성체(彈性體) 그리고 원통형(圓筒形) 이력성(異方性) 재료로 가정하였다. 경단면(徑斷面)에서의 변형(變形)은 함수율 및 온도와 밀접한 관매가 인정되었으며, 최대(最大)의 압축응력(壓縮應力)은 최내층(最內層)인 만재층(晩材層)에서 일어났다. 또한 최대의 촉단면응력(觸斷面應力)은 춘재부(春材部)의 최내층(最內層)에서 일어났다. 경단(徑斷) 방향(方向)과 촉단방향(觸斷方向)의 응력간(應力間)의 차이는 외층(外層)에서 가장 크게 나타났으며 이와같은 응력(應力)의 차이가 변형(變形)을 일으키는 주요인(主要因)임이 밝혀졌다.

• School Mathematics
• /
• v.11 no.4
• /
• pp.707-722
• /
• 2009

Various theories of mathematics education which have been considered by many European researchers particularly, in France, recently are introduced. The Anthropological Theory of the didactic discussed by Chevallard will be briefly introduced. Then the praxeology as Anthropological model according to Chevallard's theory will be discussed. The necessity of Anthropological Theory, its background of development through transition process of didactic, and its basic elements will be discussed further. Additionally, teaching limit of sequences in high school mathematics will be suggested according to the theory.

• Proceedings of the Korea Technical Association of the Pulp and Paper Industry Conference
• /
• 2001.11a
• /
• pp.67-68
• /
• 2001

제지공장은 에너지 다소비 업종이며 고도의 장치산업이기 때문에 초지 설비의 효과적 운영을 통한 생산성 극대화가 경제성과 직결되어 었다. 또한 24시간 연속생산을 하는 초지 설비로 소비자가 선호하는 품질의 종이를 생산하기 위해서는 공정의 안정성 이 매우 중요하다. 이는 공정의 불안정화는 생산제품의 품질 변화를 유발함으로써 균일 성을 저하시키는 악영향을 미치기 때문이다. 제지 공정의 안정화를 저해하는 인자에는 지절, 지종 변화, 조업중단, 조업재개 둥과 공정의 특성상 수반되는 돌발사태 등이 있을 수 있다. 이들 인자 가운데 가장 심각하게 공정의 안정성을 악화시키는 것은 지절의 발 생이라 할 수 있다. 지절이 발생되면 생산성 저하 등의 여러 문제점이 발생하기도 하지 만 다량의 파지가 발생되기 때문에 공정 안정성 면에서 볼 때에도 부득이하게 생성된 다량의 파지를 공정에 재투입하기 위해 재해리해야하므로 많은 양의 백수가 소모되며 이에 따라 예기치 않은 공정 백수의 사용으로 전체 백수계에 갑작스런 변동이 생기게 된다. 백수가 파지의 해리에 사용됨에 따라 공정 내에는 추가적인 청수가 공급되어야 하므로 전체적으로는 청수의 사용량도 늘어난다. 또한 증가된 파지의 재사용도 대부분 의 공장에서 broke chest의 용량이 한정되어 있으므로 이의 적절한 컨트롤은 중요하다. 더욱이 점차 공정이 고폐쇄화됨에 따라 공정 컨트롤에 대한 여유가 적으므로 백수와 공정의 관리는 점차 어려워지고 있다. 공정 시율레이션은 현존하는 공정을 수학적으로 모델화하여 이를 컴퓨터 하드 왜어를 이용해 실제 공장에서 일어나는 상황을 모사하는 것이다. 이러한 공정 모사는 새로운 공장을 설계하기 전에 타당성 조사와 여러 가지 사례조사를 실시할 때, 기존 공 장의 개조나 증설 또는 기존 공장의 운전조건을 실제로 변경하기 전에도 미리 모사를 함으로써 실제 시험 운전을 하는 경우 보다 많은 비용과 시간을 절약할 수 있다. 본 연 구는 백상지 생산 공정 설계도면을 참고하여 상용 시율레이터로 시율레이션 모델을 구 축하고 이를 기반으로 지절 상황을 모사하였으며, 지절 후의 공정 불안정화 상황을 파 악하였다. 또한 이러한 상황의 대책을 강구하기 위해 다양한 공정 조절 방안을 시율레이션 모댈에 적용하여 그 결과를 해석하였다.

• Journal of Internet Computing and Services
• /
• v.10 no.4
• /
• pp.115-126
• /
• 2009

A software size estimation has to be analyzed in the beginning of the software life-cycle and helpful to the prediction of its size and cost. The software cost has been calculated by estimating software size from the user's point of view since the function point method based on international standards was introduced for the estimation of software size in 2004. However, the current function point method is not easy to be exploited for unfamiliar user, and has a problem that it cannot estimate the proper size for software such as engineering software, scientific calculations and simulation with complicated internal computational logic. This paper presents an improved model which can simplify the existing function point measurement procedure, and perform the estimation of software size in easy and fast way at the initial stage of project. Moreover, it presents a mathematical weighted value calculation model which can solve the problem of the fixed complexity weighted value and reflect the characteristics of organization as its data is pilled up. Our evaluation shows that the presented model has advantage that it can measure the size more rapidly than the existing FPA methods and has more correlation with LOC.

• Journal of Educational Research in Mathematics
• /
• v.20 no.4
• /
• pp.445-458
• /
• 2010

This study intends to investigate the process of the development of quantity concept and how to deal with the quantity calculus in elementary school, and to find out the implication for improving the curriculum and mathematics textbooks of Korea. There had been the binary Greek categories of discrete number and continuous magnitude in quantity concept, but by the Stevin's introduction of decimal, the unification of these notions became complete. As a result of analyzing of the curriculum and mathematics textbooks of Korea, there is a tendency to disregard the teaching of quantity and its calculus compared to the other countries. Especially multiplication and division of quantity is seldom treated in elementary mathematics textbooks. So these should be reconsidered in order to seek the direction for improvement of mathematic teaching. And Korea's textbooks need the emphasis on the quantity calculus and on constructing quantity concept.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.14 no.1
• /
• pp.141-147
• /
• 2010

The rate of carbonation is usually low in the natural environment due to the low $CO_2$ concentration in the atmosphere. Therefore, investigation of carbonation is usually conducted under accelerated testing conditions so as to speed up the process. This study is to predict carbonation progress by mathematical model, based on the diffusions of $CO_2$ and its reaction with $Ca(OH)_2$ in carbonation progressing region, in the atmosphere. To predict of carbonation progress in the atmosphere, we adopted a diffusion coefficient of $CO_2$ that agreed well the experimental value obtained by the accelerated carbonation test. Consequently the model can predict the rate of carbonation of concrete exposed in the atmosphere regardless of finishing materials.

• Journal of Educational Research in Mathematics
• /
• v.17 no.3
• /
• pp.201-220
• /
• 2007

This research is designed to analyze the metacognitive thinking that mathematically gifted elementary students use to solve problems, study the effects of the metacognitive function on the problem-solving process, and finally, present how to activate their metacognitive thinking. Research conclusions can be summarized as follows: First, the students went through three main pathways such as ARE, RE, and AERE, in the metacognitive thinking process. Second, different metacognitive pathways were applied, depending on the degree of problem difficulty. Third, even though students who solved the problems through the same pathway applied the same metacognitive thinking, they produced different results, depending on their capability in metacognition. Fourth, students who were well aware of metacognitive knowledge and competent in metacognitive regulation and evaluation, more effectively controlled problem-solving processes. And we gave 3 suggestions to activate their metacognitive thinking.

• School Mathematics
• /
• v.14 no.1
• /
• pp.165-190
• /
• 2012

Recently, the Korean government develops a variety of policies for the improvement of school education. Among the policies, convergence education is considered as essential. Moreover, as the policies declare that mathematics is expected to play a central role in the convergence education, mathematics educators are required to seek for ways of how to approach convergence education in mathematics. In this context, this paper reviewed diverse viewpoints on what kind of contribution convergence education make to the improvement of school mathematics. While the argument constructed around the issue of national competitiveness is the most prevalent in the political discourse, this paper recommends to introduce the epistemological norms raised by the knowledge integration through history. In addition, this paper presents both domestic and international programs to discuss how to develop educational program for convergence education in mathematics.

• Journal of the Korea Society for Simulation
• /
• v.29 no.2
• /
• pp.63-72
• /
• 2020

Tank, which is a representative ground weapon system, is one of the most important weapon systems in each country. For the cost-effective acquisition of a tank based on scientific analysis, the operational concept and effectiveness should be studied based on engagement simulation technology. Besides physical capabilities including maneuver and communication, logical models including decision-making of a tank commander should be developed systematically. This paper describes a method to model a tank for engagement simulation based on Base System Model(BSM), which is the standard architecture of the weapon system model in AddSIM, an integrated engagement simulation software. In particular, a method is proposed to develop logical models by hierarchical and modular approach based on human decision-making model. The proposed method applies a mathematical formalism called DEVS(Discrete EVent system Specification) formalism. It is expected that the proposed method is widely used to study the operational concept and analyze the effectiveness of tanks in the Korean military in the future.