• East Asian mathematical journal
• /
• 제21권2호
• /
• pp.249-260
• /
• 2005

Experimentation using computer plays an important part in education and research in graph theory. The purpose of this paper is to develop the CAS techniques for the hands-on approach in graph theory specifically on the topic of constructing the spanning tree. This paper discusses the advantages of CAS as the software system for doing graph theory and introduces the software solutions integrating multimedia user interface developed by the author, which extend the functionality of the existing CAS-based graph theory software package.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제50권3호
• /
• pp.383-394
• /
• 2011

This paper analyzes subjects related to Math/Stat and studies teaching effect on subject development connected Math/Stat in software curriculum. Among many subjects related to the software, this paper shows exemplary applications of Math/Stat in the software curriculum. Thereby this opens potential application fields of Math/Stat. This confirms that Math/Stat is not only an essential subject to improve competitiveness but also a strategic element in the field of software. Therefore, by maximizing the academic outcome through the interdisciplinary combination of software and Math/Stat, it is possible to educate more competitive and skilled professionals.

• 품질경영학회지
• /
• 제17권2호
• /
• pp.17-26
• /
• 1989

This paper is concerned with forecasting the existing number of errors in the computer software and optimizing the stopping time of the software test based upon the forecasted number of errors. The most commonly used models have assessed software reliability under the assumption that the software failure late is proportional to the current fault content of the software but invariant to time since software faults are independents of others and equally likely to cause a failure during testing. In practice, it has been observed that in many situations, the failure rate decrease. Hence, this paper proposes a mathematical model to describe testing situations where the failure rate of software limearly decreases proportional to testing time. The least square method is used to estimate parameters of the mathematical model. A cost model to optimize the software testing time is also proposed. In this cost mode two cost factors are considered. The first cost is to test execution cost directly proportional to test time and the second cost is the failure cost incurred after delivery of the software to user. The failure cost is assumed to be proportional to the number of errors remained in the software at the test stopping time. The optimal stopping time is determined to minimize the total cost, which is the sum of test execution cast and the failure cost. A numerical example is solved to illustrate the proposed procedure.

• 대한수학교육학회지:수학교육학연구
• /
• 제8권2호
• /
• pp.651-662
• /
• 1998

Mathematics is means for making sense of one's experiential world and products of human activities. A usefulness of mathematics is derived from this features of mathematics. Keeping the meaning of situations during the mathematizing of situations. However, theories about the development of mathematical concepts have turned mainly to an understanding of invariants. The purpose of this study is to show the possibility of computer in representing situation and phenomena. First, we consider situated cognition theory for looking for the relation between various representation and situation in problem. The mathematical concepts or model involves situations, invariants, representations. Thus, we should involve the meaning of situations and translations among various representations in the process of mathematization. Second, we show how the process of computational mathematization can serve as window on relating situations and representations, among various representations. When using computer software such as ALGEBRA ANIMATION in mathematics classrooms, we identified two benifits First, computer software can reduce the cognitive burden for understanding the translation among various mathematical representations. Further, computer softwares is able to connect mathematical representations and concepts to directly situations or phenomena. We propose the case study for the effect of computer software on practical mathematics classrooms.

• 한국통계학회:학술대회논문집
• /
• 한국통계학회 2003년도 춘계 학술발표회 논문집
• /
• pp.137-142
• /
• 2003

We discuss why sample design by mathematical programming can be beneficial to practical surveys. We illustrate some developments of software for sample design using mathematical programming in several statistical organizations. Also, we present certain restrictions on the use of mathematical programming.

• 한국수학교육학회지시리즈C:초등수학교육
• /
• 제9권1호
• /
• pp.59-64
• /
• 2005

The purpose of this study is to find out how to use dynamic geometry software such as the Geometer's Sketchpad in elementary math classroom. Fist of all, I reviewed dynamic geometry software's property. Then I considered methods to improve geometry education using this software. Some researchers proposed three types of using the software. But I think using the software and developing instructional materials is different. So, I proposed two types of developing instructional materials using the software and two representative examples.

• 디지털융복합연구
• /
• 제11권2호
• /
• pp.205-214
• /
• 2013

애자일 개발방법론 기반의 소프트웨어 개발 프로젝트에서도 각광받고 있는 팀의 공동작업이 일반화되고 있다. 효율적인 팀워크는 보다 효과적인 팀 관리운영과 프로젝트의 성과 측면에서 매우 중요하다. 기존의 소프트웨어 개발 인력배치는 휴리스틱 방법을 사용하였지만 이를 보완하기 위한 알고리즘적 접근법도 필요하다. 본 논문에서는 팀워크 기반의 소프트웨어 개발 프로젝트에서 개발자의 인력 배치를 위한 수학적 접근 방안을 제안하였다. 제안한 방안은 6개의 프로세스로 구성되며, 각 프로세서에서의 활동을 수학적으로 정의하였고, 기능배치매트릭스를 사용하였다. 본 논문에서 제시한 접근방법의 유용성을 증명하기 위하여 사례 연구를 제시하였다. 본 논문은 그동안 직관적이나 경험적 방법으로 팀을 구성하는 방식에서 벗어나, 계량적인 논리에 의해 인적자원을 할당하는 수학적 접근방법을 개발하였다는데 큰 의의가 있다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제11권2호
• /
• pp.846-864
• /
• 2017

Software Defined Network (SDN) realizes management and control over the underlying forwarding device, along with acquisition and analysis of network topology and flow characters through south bridge protocol. Data path Identification (DPID) is the unique identity for managing the underlying device, so forged DPID can be used to attack the link of underlying forwarding devices, as well as carry out DoS over the upper-level controller. This paper proposes a dynamic defense method based on Client-Puzzle model, in which the controller achieves dynamic management over requests from forwarding devices through generating questions with multi-level difficulty. This method can rapidly reduce network load, and at the same time separate attack flow from legal flow, enabling the controller to provide continuous service for legal visit. We conduct experiments on open-source SDN controllers like Fluid and Ryu, the result of which verifies feasibility of this defense method. The experimental result also shows that when cost of controller and forwarding device increases by about 2%-5%, the cost of attacker's CPU increases by near 90%, which greatly raises the attack difficulty for attackers.

• 한국경영과학회지
• /
• 제12권1호
• /
• pp.139-139
• /
• 1987

This study addresses basic requirements for mathematical programming software, discusses considerations in designing these software, implementation issues facing in these types of applications development, and shows some examples of codes being developed in the course. This type of projects requires long and ever-changing evolutionary phases. The experience is therefore, valuaable in suggesting some useful hints which may be salvaged for similar projects as well as providing reusable codes. In particular, scanning and parsing the free-format inputs, symbol table management, mixed-language programming, and data structures dealing with large sparse matrices are indispensable to many management science software development. Extensions to be made are also discussed.

• 한국컴퓨터산업학회논문지
• /
• 제9권5호
• /
• pp.191-196
• /
• 2008

본 연구의 목적은 컴퓨터 소프트웨어를 이용한 수 표상활동이 유아의 수학능력에 미치는 영향을 알아보는데 있다. 이러한 연구과정을 거쳐 이루어진 본 연구의 결과는 다음과 같다. 컴퓨터 소프트웨어를 이용한 수 표상활동에 참여한 유아들은 그렇지 않은 유아들보다 수학 능력 검사 점수가 사전검사보다 크게 향상된 것으로 나타났다. 실험결과 실험집단의 유아들은 수학 능력의 하위요소인 사물의 규칙성, 수세기, 기하, 측정 영역에서 모두 사전검사보다 수학 능력 점수가 향상된 것으로 나타났다. 본 연구의 결과는 컴퓨터 소프트웨어를 이용한 수 표상활동이 유아의 수학능력에 긍정적인 효과가 있다.