• Journal of the military operations research society of Korea
• /
• v.12 no.2
• /
• pp.68-81
• /
• 1986

This thesis studies the estimation from interarrival and service time data of the mean number of customers in service at time t for an $M/G/{\infty}$ queue. The assumption is that the parametric form of the service time distribution is unknown and the empirical distribution of twe service time is used in the estimate the mean number of customers in service. In the case in which the customer arrival rate is known the distribution of the estimate is derived and an approximate normal confidence interval procedure is suggested. The use of the nonparametric methods, which are the jackknife and the bootstrap, to estimate variability and construct confidence intervals for the estimate is also studied both analytically and by simulation.

• Journal of the military operations research society of Korea
• /
• v.13 no.2
• /
• pp.42-52
• /
• 1987

Many programmers start debugging by reading the faulty program from start to bottom without investigating carefully the erroneous program. Expert programmers, however, trace backward from a particular variable in a specific statement to identify all possible sources of influence on the value of variable (program slice). Weiser proposed a slicing algorithm (method) that is complex, iterative and still in modification [3,4]. This paper presents a method to generate a program slice by use of matrix computation which represents all possible slices of the program. The matrix representation of a program is soundly based on the graph theory of data dependency.

• Journal of the military operations research society of Korea
• /
• v.16 no.2
• /
• pp.96-104
• /
• 1990

This paper concerns the problem of deciding the rational spare inventory levels for efficient use of a limited defence budget and, at the same time, for enhancing the operation rate of equipement/weapons in the army. The system we are concerned has a finite number of repairmen at each base and the depot. After repair job has completed, the repaired items are returned to the base where they have originated. For the system, we identify the distribution of the total number of failed items which belong to a base and develope a method to find spare inventory levels of repairable items at each base to satisfy a specified minimum fill rate.

• Journal of the military operations research society of Korea
• /
• v.28 no.1
• /
• pp.97-114
• /
• 2002

An estimation of economic life for a new weapon system is a critical issue in aquisition process. In general a life cycle cost consists of, development cost, aquisition cost, and maintenance cost. These costs are not identified and obtained in the beginning of the aquisition process. This paper deals with an economic life for KlAl tank which is being deployed recently, using PRICE model. In order to estimate an KlAl economic life, we use equivalent annual cost method which is sum of capital recovering with return and equivalent O&M cost method. This method determines an economic life by minimizing annual investment cost and operation and maintenance cost. In this paper, an aquisition cost of KlAl is obtained from PRICE H and O&M cost from PRICE HL model. We obtained various results depending upon production quantity. An economic life for KlAl is estimated 18 years when 300 tanks are produced.

• Journal of the military operations research society of Korea
• /
• v.25 no.1
• /
• pp.29-36
• /
• 1999

In this paper, we are concerned with the K-shortest loopless path problem. The MPS algorithm, recently proposed by Martins et al., finds paths efficiently because it solves the shortest path problem only one time unlike other algorithms. But its computational complexity has not been known yet. We propose a few techniques by which the MPS algorithm can be implemented efficiently. First, we use min-heap data structure for the storage of candidate paths in order to reduce searching time for finding minimum distance path. Second, we prevent the eliminated paths from reentering in the list of candidate paths by lower bounding technique. Finally, we choose the source mode as a deviation node, by which selection time for the deviation node is reduced and the performance is improved in spite of the increase of the total number of candidate paths.

• Journal of the military operations research society of Korea
• /
• v.23 no.1
• /
• pp.88-99
• /
• 1997

Due to the various requests from consumers and rapidly changing market, the product design is continuously changing and the new products are manufactured in various forms. To satisfy this condition, companies must make the product design robust with better quality. However, considering many parameters and increasing the level of each parameter in product design can lead us to a difficult situation. In order to solve this problem, this paper attempts to develop an algorithm that takes into account more parameters and increased level of parameters using Genetic Algorithms. As a result of this study, we can use this algorithm for designing the parameters of new product since it can search the level of parameters in more detail and wider range.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.5 no.2
• /
• pp.123-131
• /
• 2002

ASC(Avionics System Computer) was developed to control weapon delivery and navigation sensors, and to perform man-machine interface with pilots for XKO-1 aircraft. The data communications between ASC and UFC(Up Front Controller), DC(Data Concentrator) were implemented by RS422 serial data bus. Also, SCIL(Standard Computer Interface Library) was designed to facilitate control and management of the computer hardware resources and is embedded in the ASC. These structures have a merit of noise immunity and a reduction of wire harness for signal lines, and enable OFP(Operational Flight Program) programmers to use the SCIL easily without knowing hardware details. Manufactured system was on installed on XKO-1, and peformed for BIT(Built In Test) and interface test with UFC and DC. The test results show that it meets the system requirements.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.15 no.4
• /
• pp.492-501
• /
• 2012

In this paper, the status of the recent applications of carbon fiber was investigated through the published papers, informations or data of the internet etc. The production cost of the carbon fiber will be lowered and in the other hand the quality would be upgraded. Therefore in the automobile area, the use of the carbon fiber will be increased, specially for the high quality cars and the sports cars. Also the structures, wings and many secondary parts of the commercial airplanes will be made of carbon fibers more and more. The carbon fiber applications are extended to many fields including ship buildings like as boats, canoes and retrofitting in civil engineering, sporting goods, instruments etc.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.2 no.2
• /
• pp.110-116
• /
• 1999

Supersonic flows over an EFP(explosively formed projectile) have been calculated by a high-order conservation law scheme and two-layer $$textsc{k}$-{\varepsilon}$ model on hybrid viscous unstructured mesh. To verify the accuracy and robustness of the developed code, two basic flows about airfoils are computed and results are compared with existing experimental data and computational results. The comparisons confirm the validity of the code and justify our use for such a highly supersonic and viscous flow over a blunt body. Complex flow features of supersonic flows over an EFP are clearly captured and show agreements with the flow visualization. From the interaction of oblique shocks near the surface of flare, flow structures, that were not identified by previous experimental results, are discovered as a result of present computation.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.14 no.6
• /
• pp.1081-1090
• /
• 2011

High Level Architecture(HLA) is a specification for interoperation among heterogeneous simulators which are executed in a distributed environment. HLA originally allows a number of federates to join in a federation using a single RTI(Run-Time Infrastructure). To interoperate federations without modifying RTI, agent federate, which represents behavior of a federation, can be used. Agent federate can use MOM(Management Object Model) service or agent-user protocol to acquire information of a federation. This paper performs various experiments to measure performance of two architectures. MOM service shows a loss of performance but can be applied without modifying user federates. Experiment results can be used to determine appropriate architecture for interoperation of federations.