• Proceedings of the Korean Association for Survey Research Conference
• /
• 2007.11a
• /
• pp.55-65
• /
• 2007

In this research, it will be examined on mathematical model of AMOS software program that ues for Covariance Structure Analysis. if we have not understood to mathematical model of Covariance Structure, we fail to understand Structural equation modeling. Similarly If We were not understand to mathematical model of AMOS Software, we do not use Software adequately. Therefore we examine two sorts of Software that be designed for Structural equation modeling or Covariance Structure Analysis. In this research, We will focus on 8 assumption of Structural equation modeling and compare AMOS(Analysis of MOment Structure) program with LISREL(Linear Structure RELation) program. We found that A Program of AMOS Software have materialized with RAM(Reticular Action Model).

• Journal of Navigation and Port Research
• /
• v.36 no.9
• /
• pp.715-720
• /
• 2012

This paper is to introduce the development of a LCD monitor-based pilots' ship handling simulator installed in the office of Korea Maritime Pilots Association. This simulator is composed of hardware which includes working server array, operation PC, monitor array, rudder, thruster and telegraph peripheral devices, and software which includes ship mathematical model software, ship conning software, image supporting software and so on. In this simulator, MMG mathematical model is used to create thirteen(13) ship models, which are based on sea trial data & pilots' opinion. According to requirements of pilots, virtual scenes of different port areas are built, and some required additional functions are also developed. By using this simulator, pilots can fulfill all kinds of training exercises, design of channel approaching ports, traffic safety analysis, prevention of accident research and other tasks, so as to grasp the characteristics of different ships, and accumulate experience for piloting.

• Journal of Korea Multimedia Society
• /
• v.6 no.4
• /
• pp.630-637
• /
• 2003

This study is designed to use the stepwise learning system for solving learner-oriented problem on the Web, which can help learners probe studying targets and contents of mathematics as well as search for a study-related materials. The study provides a Web-based Courseware design model based on the general multimedia systematic professor design model. It develops a program for remote lecture that can solve problems through interaction among a professor and the other learners. It also implements a remote teaming system for real-time environment of mathematical problems oriented by the learner. The system designed either as a Web-based mathematical Courseware or as a text mode has the purpose of providing a Web-based stepwise learning system for solving mathematical problems oriented by the learner.

• Journal of Korean Society for Quality Management
• /
• v.17 no.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.

• The Korean Journal of Applied Statistics
• /
• v.21 no.6
• /
• pp.997-1006
• /
• 2008

This paper proposes a new model by combining an infinite-server queueing model for multi-task processing software system with a perfect debugging model based on Markov process with two types of faults suggested by Lee et al. (2001). We apply this model for module and integration testing in the testing process. Also, we compute several measure, such as the expected number of tasks whose processes can be completed and the task completion probability are investigated under the proposed model.

• The Journal of Asian Finance, Economics and Business
• /
• v.7 no.11
• /
• pp.83-93
• /
• 2020

This empirical research aims to modeling and improving the forecasting accuracy of the volatility pattern by employing the Saudi Arabia stock market (Tadawul)by studying daily closed price index data from October 2011 to December 2019 with a number of observations being 2048. In order to achieve significant results, this study employs many mathematical functions which are non-linear spectral model Maximum overlapping Discrete Wavelet Transform (MODWT) based on the best localized function (Bl14), autoregressive integrated moving average (ARIMA) model and generalized autoregressive conditional heteroskedasticity (GARCH) models. Therefore, the major findings of this study show that all the previous events during the mentioned period of time will be explained and a new forecasting model will be suggested by combining the best MODWT function (Bl14 function) and the fitted GARCH model. Therefore, the results show that the ability of MODWT in decomposition the stock market data, highlighting the significant events which have the most highly volatile data and improving the forecasting accuracy will be showed based on some mathematical criteria such as Mean Absolute Percentage Error (MAPE), Mean Absolute Scaled Error (MASE), Root Means Squared Error (RMSE), Akaike information criterion. These results will be implemented using MATLAB software and R- software.

• International Journal of Reliability and Applications
• /
• v.4 no.1
• /
• pp.1-12
• /
• 2003

Many software reliability growth models (SRGM's) based on a nonhomogeneous Poisson process (NHPP) have been proposed by many researchers. Most of the SRGM's which have been proposed up to the present treat the event of software fault-detection in the testing and operational phases as a counting process. However, if the size of the software system is large, the number of software faults detected during the testing phase becomes large, and the change of the number of faults which are detected and removed through debugging activities becomes sufficiently small compared with the initial fault content at the beginning of the testing phase. Therefore, in such a situation, we can model the software fault-detection process as a stochastic process with a continuous state space. In this paper, we propose a new software reliability growth model describing the fault-detection process by applying a mathematical technique of stochastic differential equations of an Ito type. We also compare our model with the existing SRGM's in terms of goodness-of-fit for actual data sets.

• 제어로봇시스템학회:학술대회논문집
• /
• 2001.10a
• /
• pp.112-112
• /
• 2001

An Anti-lock Brake System ABS is developed to increase the stability of vehicle and to reduce the stopping distance when braking manoeuvres by measuring the wheel and vehicle speed. An ABS mathematical model which describes the dynamics of vehicle and calculate the stopping distance, is explained in this paper. To proceed this study, a mathematical model is produced with simulink software package. Although the model considered here is relatively simple, it retains the essential dynamics of the system. The results are evaluated at the various driving or road conditions. The results from mathematical model show that ABS reduces the stopping distance at the various road conditions. This mathematical model could be ...

• Journal of the Korean Society for Railway
• /
• v.9 no.1 s.32
• /
• pp.50-56
• /
• 2006

This paper presents a mathematical model of the long-term track tamping scheduling problem in the Korean highspeed railway system. The presented model encompasses various operational field constraints, moreover improves a state-of-the-art model in extending the feasible space. We show the model is sized up to intractable scale, then propose another approximation model that is possible to handle with the present computer system and commercial optimization package, directly. The aggregated index, lot, is selected, considering the resolution of the planning horizon as well as scheduling purpose. Lastly, this paper presents two test results for the approximation model. The results expose the approximation model to quite promising in deploying it into an operational software program for the long-term track tamping scheduling problem.

• Journal of Educational Research in Mathematics
• /
• v.8 no.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.