• Journal of Korean Society for Quality Management
• /
• v.35 no.1
• /
• pp.20-23
• /
• 2007

A generalized spare ordering policy is treated in this paper. If the operating unit fails before a scheduled ordering time an expedited order is placed at the failure time instant, otherwise a regular order for a spare is placed at the scheduled time. The original unit is replaced when the ordered spare is delivered. The lifetime, regular and expedited lead times have general distributions. The problem is to find the optimum ordering time which minimizes the expected cost rate including the observation, ordering, uptime and down-time costs. Some properties regarding the optimal policy are derived. To explain the spare ordering policy a numerical example is also included.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.19 no.3
• /
• pp.217-234
• /
• 2015

In this tutorial the theoretical background of LQ optimal guidance is reviewed, starting from calculus of variations. LQ optimal control is then introduced and applied to missile guidance to obtain the basic form of LQ optimal guidance laws. Extension of LQ optimal guidance methodology for handling weighted cost function, dynamic lag associated with the missile dynamics and the autopilot, constrained impact angle, and constrained impact time is also described with a brief discussion on the asymptotic properties of the optimal guidance laws. Furthermore, an introduction to polynomial guidance and generalized impactangle-control guidance, which are closed related with LQ optimal guidance, is provided to demonstrate the current status of missile guidance techniques.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.18 no.33
• /
• pp.1-10
• /
• 1995

The allocation of files is essential to the efficiency and effectiveness of a distributed system that must meet geographically dispersed data processing demands. In this paper, we address an optimization model that generates optimal file migration policies in distributed database systems. The proposed model is a more generalized model that includes system's capacity constraints - computing sites' storage capacity and communication networks' capacity - which have not taken into consideration in previous researches. Using this model, we can establish initial file allocation, file reallocation and file migration polices that minimize a system operating cost under system's capacity constraints at an initial system design or reorganization point The proposed model not only can be adopted by small-sized systems but also provides a foundation for effective and simple heuristics for adaptive file migration in large systems.

• Proceedings of the KSR Conference
• /
• 1999.11a
• /
• pp.17-26
• /
• 1999

This paper studies on the benefit evaluation of urban railway construction project. We compares Korean Method with Japanese in calculating the generalized cost(GC) of a trip. In Japan, the disadvantage of transferring to another mode or line is included to calculate GC of trip. And environmental effects are contained directly as rail construction benefit. But in Korea, inconvenience of transferring facilities like stairways and passageway for riding a subway is not accounted to analyse benefit. As a result, there is a little investigate to improve and overcoming the inconvenience facilities of transfer, access, and egress. So, we suggest the containing the disadvantage measure of transferring facilities when subway riderships are forecasted. That will be reduced tile capital size of subway.

• Journal of IKEEE
• /
• v.23 no.2
• /
• pp.710-715
• /
• 2019

We consider parameter estimation in distributed systems in which measurements at local nodes are quantized in a non-regular manner, where multiple codewords are mapped into a single local measurement. For the system with non-regular quantization, to ensure a perfect independent encoding at local nodes, a local measurement can be encoded into a set of a great number of codewords which are transmitted to a fusion node where estimation is conducted with enormous computational cost due to the large cardinality of the sets. In this paper, we propose an efficient estimation technique that can handle the non-regular quantized data by efficiently finding the feasible combination of codewords without searching all of the possible combinations. We conduct experiments to show that the proposed estimation performs well with respect to previous novel techniques with a reasonable complexity.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.13 no.3
• /
• pp.1546-1565
• /
• 2019

Signcryption schemes offer the possibility to simultaneously sign and encrypt a message. In order to guarantee the authentication of both signer and receiver in the most efficient way during the signcryption, certificate based solutions have been proposed in literature. We first compare into detail three recently proposed certificate based signcryption systems relying on the elliptic curve discrete logarithm problem and without the usage of compute intensive pairing operations. Next, we demonstrate how the performance of these certificate based systems can be improved by using the Elliptic Curve Qu Vanstone (ECQV) implicit certificates. What is more, generalized signcryption schemes are easily derived from these schemes and the anonymity feature of sender and receiver is already inherently included or can be very efficiently obtained without a significant additional cost.

• Korean Journal of Veterinary Service
• /
• v.46 no.3
• /
• pp.249-253
• /
• 2023

A 12-year-old neutered male Maltese was brought to our hospital with loss of appetite, generalized alopecia, anemia, and a palpable abdominal mass. Ultrasonography revealed multiple abdominal masses in the liver and spleen. Subsequently, splenectomy and liver biopsy were performed, and the masses were histologically diagnosed as metastatic fibrosarcomas of unknown primary origin. The owner refused further investigations such as computed tomography and hepatectomy, therefore, we decided to initiate chemotherapy in the form of metronomic therapy with toceranib phosphate, which has several advantages, such as better tolerability, low cost, and convenience. The size and number of hepatic fibrosarcomas continued to increase despite continued administration of toceranib (10 mg/dog, PO, q48h). The dog died approximately 43 days after initiation of the toceranib treatment. To the best of our knowledge, this is the first report on toceranib therapy for metastatic hepatic fibrosarcoma in a dog.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.38C no.12
• /
• pp.1170-1178
• /
• 2013

Thanks to various benefits, low-cost real-time communication networks so called fieldbus have been widely used in many industrial applications including military systems, such as aircrafts, submarines, and robots. This paper presents a reliability analysis of dual-channel CAN(Controller Area Network) fieldbus which is used for controlling various equipment of submarine combat system. A submarine combat system playing a critical role to the success of missions and survivability consists of various devices including sensors/actuators and computers. Since a communication network for submarine combat system must satisfy an extremely high level of reliability, a dual channel technique is commonly adopted. In this paper, a Petri Net based reliability model for dual-channel CAN is discussed. A reliability model called generalized stochastic Petri Nets (GSPN) is built by utilizing the information on physical faults with CAN. The effectiveness of the proposed model is analyzed in terms of unreliability with respect to failure rate and repair rate.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2007.05a
• /
• pp.1062-1073
• /
• 2007

Acoustic Target Strength (TS) is a major parameter of the active sonar equation, which indicates the ratio of the radiated intensity from the source to the re-radiated intensity by a target. In developing a TS equation, it is assumed that the radiated pressure is known and the re-radiated intensity is unknown. This research provides a TS equation for polygonal plates, which is applicable to near field acoustics. In this research, Helmholtz-Kirchhoff formula is used as the primary equation for solving the re-radiated pressure field; the primary equation contains a surface (double) integral representation. The double integral representation can be reduced to a closed form, which involves only a line (single) integral representation of the boundary of the surface area by applying Stoke's theorem. Use of such line integral representations can reduce the cost of numerical calculation. Also Kirchhoff approximation is used to solve the surface values such as pressure and particle velocity. Finally, a generalized definition of Sonar Cross Section (SCS) that is applicable to near field is suggested. The TS equation for polygonal plates in near field is developed using the three prescribed statements; the redection to line integral representation, Kirchhoff approximation and a generalized definition of SCS. The equation developed in this research is applicable to near field, and therefore, no approximations are allowed except the Kirchhoff approximation. However, examinations with various types of models for reliability show that the equation has good performance in its applications. To analyze a general shape of model, a submarine type model was selected and successfully analyzed.

• Journal of the Institute of Electronics Engineers of Korea SP
• /
• v.43 no.5 s.311
• /
• pp.52-61
• /
• 2006

Orthogonal wavelet tansform which is generally used in image and signal processing applications has limited performance because of lack of shift invariance and low directional selectivity. To overcome these demerits complex wavelet transform has been proposed. In this paper, we present an efficient image denoising method using dual-tree complex wavelet transform and Bernoulli-Gauss prior model. In estimating hyper-parameters for Bernoulli-Gaussian model, we present two simple and non-iterative methods. We use hypothesis-testing technique in order to estimate the mixing parameter, Bernoulli random variable. Based on the estimated mixing parameter, variance for clean signal is obtained by using maximum generalized marginal likelihood (MGML) estimator. We simulate our denoising method using dual-tree complex wavelet and compare our algorithm to well blown denoising schemes. Experimental results show that the proposed method can generate good denoising results for high frequency image with low computational cost.