• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.19 no.11
• /
• pp.2199-2214
• /
• 1994

In order to sufficiently utilize the potential effectiveness of ATM networks, systematic and effective network management and control systems must be employed. In addition to network design, planning, and call routing techniques used in traditional circuit-switched networks. ATM networks can provide logical VP(Virtual Path) reconfiguration capabilities which can adapt to changes in the network environment. With a proper application of the VP reconfiguration technique, ATM networks can reduce the overhead of frequent network redesign and the overhead of call routing processing. However, ATM VP reconfiguration is a very complex and difficult problem which consists of many facets of optimization subproblems such as VP routing. VP sizing, VP terminating point location and VC routing. Most previous research on the ATM logical network reconfiguration problem dealt with the subset of the problem. This paper mathematically formulates the ATM network reconfiguration problem completely considering all subproblems. Since it is very difficult to derive the optimal solution of the formulated problem, we develop a heuristic method based on a Max min bandwidth allocation principle. We show the feasibility of the proposed heuristic method with a simple example.

• The Mathematical Education
• /
• v.60 no.4
• /
• pp.509-527
• /
• 2021

We investigated whether and how pre-service teachers took the realistic contexts seriously in the course of solving word problems; additionally, we investigated how pre-service teachers evaluated students' realistic and non-realistic answers to word problems. Many pre-service teachers, similar to students, solved some of the realistic problems unrealistically without taking the realistic contexts seriously. Besides, they evaluated students' non-realistic answers higher than the realistic answers. Whether the pre-service teachers could solve problems realistically or not, they did not appreciate students' realistic considerations for the reasons that those were not fitted to the intentions of the word problems, or those were evidence of the flaws of the problem. Furthermore, the analysis of premises implied in the pre-service teachers' evaluation comments showed the implicit didactic contracts about realistic word problem solving that they accepted and also anticipated students to follow. Our analysis of the pre-service teachers' conceptions of realistic word problems can help teacher educators design the teacher program to challenge and revise pre-service teachers' folk pedagogy.

• Journal for History of Mathematics
• /
• v.21 no.4
• /
• pp.105-126
• /
• 2008

This article summarizes the historical changes of the secondary school geometry to give insights into the new direction of geometry education for the 21th century. Geometry has been considered as an essential subject in high school since mid-nineteen century in accordance with the social changes. Since the development of computer softwares such as CAD effects on the role of geometry in work and professional societies, the knowledge and skills the contemporary world require to school geometry have being changed. More focus on applications and modeling aspects, expansion of reasoning and problem solving, emphasis on design-related elements are features of the school geometry for the new century.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.10 no.5
• /
• pp.442-448
• /
• 2000

The conventional control of dynamic systems needs accurate mathematical modeling of control systems. But the modeling of dynamic systems require very complex computation process due to complex state equation and many control parameters. Accordingly this paper proposes a state space identification model of the dynamic system using neural networks. The Gauss-Newton method is used to train the proposed neural network and the effectiveness of proposed method is verified through the computer simulation of the Seesaw system identification problem.

• Proceedings of the Korean Society of Machine Tool Engineers Conference
• /
• 2002.10a
• /
• pp.153-157
• /
• 2002

본 연구에서는 선반가공에서 일반적인 선반작업 후 밀링이나 드릴링 가공이 가능한 복합가공기의 역할을 한번에 수행할 수 있는 CNC 공구터렛의 홀더 주축에 대한 수학적 모델링을 통하여 시스템의 횡진동 및 비틀림 진동 해석으로 발생할 수 있는 진동 문제에 대처할 수 있는 방안을 제시 하고자 한다.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1995.04a
• /
• pp.531-534
• /
• 1995

기계부품의 설계는 공차정보를 포함한다. 이러한 공차정보는 그것의 특성에 따라 실제 부품에 속한 형상이 놓여야 할 공차영역으로 표현되고, 필요하다면, 각 공차간의 관계 도 포함하여야 한다. 기하 공차는 데이팀을 기준 좌표계로 하여 형상, 자세 및 위치를 구 속하며 이러한 관계는 변환 행렬로 표현할수 있다. 특히 이들 변환 행렬의 미소한 변화 를 나타내는 미소 변환 행렬은 각 좌표계간의 공차의 전파를 용이하게 한다. 이러한 표 현방법은 형상 모델링 시스템이나 공차에 관련된 문제에 쉽게 적용할 수 있다.

• The Mathematical Education
• /
• v.60 no.2
• /
• pp.133-157
• /
• 2021

Ill-structured problems have drawn attention in that they can enhance problem-solving skills, which are essential in future societies. The purpose of this study is to analyze and evaluate students' spatial reasoning(Intrinsic-Static, Intrinsic-Dynamic, Extrinsic-Static, and Extrinsic-Dynamic reasoning) and problem solving abilities(understanding problems and exploring strategies, executing plans and reflecting, collaborative problem-solving, mathematical modeling) that appear in ill-structured problem-solving. To solve the research questions, two ill-structured problems based on the geometry domain were created and 11 lessons were given. The results are as follows. First, spatial reasoning ability of sixth-graders was mainly distributed at the mid-upper level. Students solved the extrinsic reasoning activities more easily than the intrinsic reasoning activities. Also, more analytical and higher level of spatial reasoning are shown when students applied functions of other mathematical domains, such as computation and measurement. This shows that geometric learning with high connectivity is valuable. Second, the 'problem-solving ability' was mainly distributed at the median level. A number of errors were found in the strategy exploration and the reflection processes. Also, students exchanged there opinion well, but the decision making was not. There were differences in participation and quality of interaction depending on the face-to-face and web-based environment. Furthermore, mathematical modeling element was generally performed successfully.

• Journal of Engineering Education Research
• /
• v.10 no.2
• /
• pp.87-105
• /
• 2007

In this research, Integrated program base on heat transfer & numerical analysis was developed. Also, reaction of gifted student and possibility of application of this program was surveyed. This program consist in three parts. The first part is computer programing language, the second part is numerical modeling of physical phenomena, and the third part is numerical analysis. 4 students are selected who belong to mathematic class of CNUE(Cheoungju National Univ. of Edu.)'s Gifted Student Education Center. The Program consists in 15th lessens, and each lessen need 4hr. Application possibility and student's satisfaction of the program are studied through the interview and report of the student. Three of four students are accomplish the goal of the progarm. Computer programing and numerical analysis parts were relatively well understood, but numerical modeling part was difficult to students. The satisfaction of the program is dependent on the characteristics of the student. Most of the student thought that this program was one of the science education program. The student who have interested in only mathematics shows that low satisfaction but the one who have interested in science or information technology shows that high satisfaction.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1992.10a
• /
• pp.9-9
• /
• 1992

시뮬레이션(simulation)은 실 시스템(real system)의 효과적이고 효율적인 운영을 도모하기 위하여 실 시스템의 동작을 이해하고 분석, 예측, 평가하는 과학적인 문제해결 접근방법이다. 시뮬레이션 수행단계는 실 시스템의 행위를 정확히 반영하도록 타당한 모델을 구축하는 모델링 단계와 모델에 의도하는 명령어들을 컴퓨터 프로그램으로 작성하는 구현단계로 나누어진다. 시뮬레이션 모델은 시간, 상태, 확률변수, 상호규칙 등의 여러 관점에 따라 다양하게 존재하는데, DEVS(Descrete EVent system Specification) 모델은 연속적인 시간상에서 이산적으로 발생하는 사건에 따라 시스템의 상태를 분석할 수 있고 모델링 및 시뮬레이션 방법론의 형식화를 위한 견고한 이론적 기반을 제공하고 있다. 또한, DEVS 모델은 모듈적, 계층적 특성을 제공하고 집합론에 근거한 수학적 형식구조를 제공하여 실 시스템에 대한 체계적인 분석과정을 수행하게 되어 보다 현실적인 모델링을 가능하게 한다. 그러나 타당하지 못한 DEVS 모델이 구축되면 시뮬레이션을 통한 분석결과의 신뢰성이 떨어져 아무런 효과가 없고 경제적인 손실만이 따른다. DEVS 모델에 대한 기존의 타당성 검사가 많은 시간과 노력이 요구되고, 반복적인 DEVS 모델링 과정으로 인한 전문적이고 경험적인 지식을 요구한다. 또한, 모델설계자에 의해 설정된 실험 프레임하에서 DEVS 모델의 구성요소에 속하는 상태전이함수, 시간진행함수 및 출력함수에 대하여 commutative 성질의 보전성 검사가 어렵다는 문제점을 가지고 있다. 본 연구에서는 이와 같은 문제점을 해결하기 위하여, DEVS 모델에 대한 타당성 검사를 SPN(Stochastic Petri Net) 모델로 변환하여 SPN 모델을 이용하는 간단하고 효과적인 타당성 검사 방법을 제안한다. 먼저, DEVs 모델에 대한 개념과 기존의 DEVS 모델에 대한 타당성 검사 방법을 고찰하고 그 문제점에 대하여 자세히 설명한다. DEVS 모델의 타당성 검사에 이용하는 SPN 모델에 대한 개념과 DEVS 모델과 행위적으로 동등한 SNP 모델로 변환을 위한 관점을 제조명하다. 동일한 관점에서 두 모델의 상태표현이 같도록 DEVS 모델이 SPN 모델로 표현됨을 보이는 변환이론을 제시하고 변환이론을 바탕으로 모델 변환과정을 제시한다. 모델 변환이론과 변환고정을 기본으로 타당성 검사를 위한 새로운 동질함수(homogeneous function)를 정의하고 이와 함께 SPN 모델의 특성을 이용하여 DEVS 모델에 대한 타당성 검사 방법을 새롭게 제안한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.11a
• /
• pp.1361-1364
• /
• 2012

현대 산업 발전에 따라 대량 생산 체제에서 소비자 개별 주문 요건을 반영하여 생산하는 대량맞춤 생산(Mass Customization) 체제로 변화해가고 있다. 이런 대량맞춤 생산 체제의 제품구성(Product Configuration) 시에 나타나는 CSP(Constraint Satisfaction Problem) 해결 방법론을 제시하고 있다. 기존 방법에서는 복잡 다양한 제약조건을 수학적으로 표현하여 제약 조건 검사에서 소요시간과 검색 공간을 최소화 할 수 있는 알고리즘이 제시했다. 그런데 소비자의 주문 요건들이 빠르게 변화되고 복잡 다양 해지고 있다. 그래서 대상 모델 및 제약조건이 변경이 되었을 경우 기존 방법에서 제시하고 있는 CSP 해결에서는 수정 관리 하기가 쉽지 않고 확장성이 낮다. 본 연구에서는 룰 기반 모델링으로 CSP 문제 해결 프로세스 정립을 하여 관리의 편리성을 제공하고 확장성을 향상시킨다.