• The Transactions of the Korea Information Processing Society
• /
• v.7 no.8
• /
• pp.2484-2496
• /
• 2000

High speed switches have been developing to interconnect a large number of nodes. It is important to analyze the switch performance under various conditions to satisfy the requirements. Queueing analysis, in general, has the intrinsic problem of large state space dimension and complex computation. In fact, The petri net is a graphical and mathematical model. It is suitable for various applications, in particular, manufacturing systems. It can deal with parallelism, concurrence, deadlock avoidance, and asynchronism. Currently it has been applied to the performance of computer networks and protocol verifications. This paper presents a framework for modeling and analyzing ATM switch using stochastic activity networks (SANs). In this paper, we provide the ATM switch model using SANs to extend easily and an approximate analysis method to apply A TM switch models, which significantly reduce the complexity of the model solution. Cell arrival process in output-buffered Queueing A TM switch with finite buffer is modeled as Markov Modulated Poisson Process (MMPP), which is able to accurately represent real traffic and capture the characteristics of bursty traffic. We analyze the performance of the switch in terms of cell-loss ratio (CLR), mean Queue length and mean delay time. We show that the SAN model is very useful in A TM switch model in that the gates have the capability of implementing of scheduling algorithm.

• Journal of Digital Convergence
• /
• v.13 no.4
• /
• pp.227-233
• /
• 2015

The recent health care is growing rapidly want to receive offers users a variety of medical services, can be exploited easily exposed to a third party information on the role of the patient's hospital staff (doctors, nurses, pharmacists, etc.) depending on the patient clearly may have to be classified. In this paper, in order to ensure safe use by third parties in the health care environment, classify the attributes of patient information and patient privacy protection technique using hierarchical multi-property rights proposed to classify information according to the role of patient hospital officials The. Hospital patients and to prevent the proposed method is represented by a mathematical model, the information (the data consumer, time, sensor, an object, duty, and the delegation circumstances, and so on) the privacy attribute of a patient from being exploited illegally patient information from a third party the prevention of the leakage of the privacy information of the patient in synchronization with the attribute information between the parties.

• Journal of Korean Society of Transportation
• /
• v.20 no.4
• /
• pp.135-150
• /
• 2002

The basic assumption of analytical Dynamic Traffic Assignment models is that traffic demand and network conditions are known as a priori and unchanging during the whole planning horizon. This assumption may not be realistic in the practical traffic situation because traffic demand and network conditions nay vary from time to time. The rolling horizon implementation recognizes a fact : The Prediction of origin-destination(OD) matrices and network conditions is usually more accurate in a short period of time, while further into the whole horizon there exists a substantial uncertainty. In the rolling horizon implementation, therefore, rather than assuming time-dependent OD matrices and network conditions are known at the beginning of the horizon, it is assumed that the deterministic information of OD and traffic conditions for a short period are possessed, whereas information beyond this short period will not be available until the time rolls forward. This paper introduces rolling horizon implementation to enable a multi-class analytical DTA model to respond operationally to dynamic variations of both traffic demand and network conditions. In the paper, implementation procedure is discussed in detail, and practical solutions for some raised issues of 1) unfinished trips and 2) rerouting strategy of these trips, are proposed. Computational examples and results are presented and analyzed.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.17 no.5
• /
• pp.61-69
• /
• 2017

The study on interference channel is very important information theoretically and many studies have been done on it. However, even in the simplest case, even in the case of two user interfering channels, the channel capacity is not yet known except in special cases. Recently, research on the multiplexing gain that shows the tendency of the transmission rate in the high signal to noise ratio (SNR) band has been actively carried out, instead of accurately grasping the channel capacity. Obtaining optimal multiplexing gain can reveal trends in channel capacity at high signal-to-noise ratio bands. In an interfering channel with two users, the best multiplexing gain can be obtained by eliminating the interference. However, recent research shows that when the number of users is more than three, the optimal multiplexing gain can not be obtained only by zero forcing and a new technique called interference sorting is needed. There are two types of interference sorting techniques. Beamforming A method of effectively separating signals and interference by properly selecting matrices and constructing structured codes using rational numbers and irrational numbers. The interference alignment technique can achieve optimal multiplexing gain in various environments such as interference channel, X channel, compound broadcast channel, and multi hop network for multi source multi destination. In recent years, it has also been applied to distributed storage. Lee et al., "Lattice Code Interference Alignment in Cooperative Multipoint Transmission (COMP) for Interference Channels of Three Users", Journal of the Institute of Electronics Engineers, vol.49-TC,no.6,2012. In this paper, the DoF of delayed channel information is obtained.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.18 no.10
• /
• pp.153-162
• /
• 2017

Weapon systems have been developed with high technology electronic equipment due to technology growth. In addition, the capital, operational and maintenance costs of weapon systems have all increased. However, cost of operation and maintenance for weapon systems has been decreased relatively compared to the increased capital cost of weapon systems. Therefore, the defense industry needs to research the life cycle cost of weapon systems that have high operational and maintenance costs. This paper focuses on maintenance equipment for the operation and maintenance of weapon systems. Recently, it seems that the weapon systems that have periodic calibration with maintenance equipment are valid. The equipment requires periodic calibration by the manufacturer to check its own validation. Basically, customers demand high reliability devices from foreign companies that have qualified in the global market. Therefore, the tools need to be calibrated overseas. In other words, weapon systems are not available when the equipment has to be calibrated overseas because the systems require validation with valid maintenance equipment. A purpose of this paper is to compare the loss costs that arise from the calibration of the equipment overseas and the purchasing cost of the tools. Finally, the research shows the number of equipment that customers need to minimize the cost. This research will help to improve the efficiency of operation of weapon systems and solve the problems associated with the need for maintenance overseas.

• Journal of the military operations research society of Korea
• /
• v.34 no.2
• /
• pp.163-174
• /
• 2008

The military is an organization where reliability and availability take much more importance than in any other organization. And, in line with a recent trend of putting emphasis on 'system readiness', not only functions but also availability of a weapon system has become one of achievement targets. In this regard, the military keeps spares for important facility and equipment, which is called as Maintenance Float (M/F), in order to enhance reliability and availability in case of an unforeseen event. The military has calculated yearly M/F requirements based on the number of equipment and utilization rate. However, this method of calculation has failed to meet the intended targets of reliability and availability due to lack of consideration on the characteristics of equipment malfunctions and maintenance unit's capability. In this research, we present an analysis model that can be used to determine an optimal M/F inventory level based on queuing and absorbed Markov chain theories. And, we applied the new analysis model to come out with an optimal volume of K-1 tank M/F for the OO division, which serves as counterattack military unit. In our view, this research is valuable because, while using more tractable methodology compared to previous research, we present a new analysis model that can describe decision making process on M/F level more satisfactorily.

• Journal of the Society of Naval Architects of Korea
• /
• v.29 no.4
• /
• pp.114-131
• /
• 1992

In the present work, a two-dimensional boundary-value problem for a large amplitude motion is treated as an initial-value problem by satisfying the exact body-boundary and nonlinear free-surface boundary conditions. The present nonlinear numerical scheme is similar to that described by Vinje and Brevig(1981) who utilized the Cauchy's theorem and assumed the periodicity in the horizontal coordinate. In the present thesis, however, the periodicity in the horizontal coordinate is not assumed. Thus the present method can treat more realistic problems, which allow radiating waves to infinities. In the present method of solution, the original infinite fluid domain, is divided into two subdomains ; ie the inner and outer subdomains which are a local nonlinear subdomain and the truncated infinite linear subdomain, respectively. By imposing an appropriate matching condition, the computation is carried out only in the inner domain which includes the body. Here we adopt the nonlinear scheme of Vinje & Brevig only in the inner domain and respresent the solution in the truncated infinite subdomains by distributing the time-dependent Green function on the matching boundaries. The matching condition is that the velocity potential and stream function are required to be continuous across the matching boundary. In the computations we used, if necessary, a regriding algorithm on the free surface which could give converged stable solutions successfully even for the breaking waves. In harmonic oscillation problem, each harmonic component and time-mean force are obtained by the Fourier transform of the computed forces in the time domain. The numerical calculations are made for the following problems. $\cdot$ Forced harmonic large-amplitude oscillation(${\omega}{\neq}0,\;U=0$) $\cdot$ Translation with a uniform speed(${\omega}=0,\;U{\neq}0$) The computed results are compared with available experimental data and other analytical results.

• Journal of Technology Innovation
• /
• v.22 no.3
• /
• pp.225-260
• /
• 2014

In this paper, we present a literature review of the mechanisms and methodology for technology spillover, in order to provide a theoretical and practical foundation for estimating the technology spillover effect of public funded R&D programs. Our research consists of four parts. First, we investigate what technology spillover is and how it works. Second, we review the methodology used to empirically measure technology spillover, with a view to understanding the advantages and disadvantages of each method. Third, we identify the gap between the spillover phenomenon and its estimated results, caused by the limitations of the methodology, and discuss the challenges in measuring technology spillover. Finally, we present several considerations to improve the measurement of technology spillover in the context of public funded R&D programs. Our paper provides policy makers and researchers with basic knowledge about technology spillover and helps them suitably evaluate the results obtained from the literature review. In addition, it contributes towards improving the existing methodology by recognizing the gap between the spillover phenomenon and the methodology.

• Water for future
• /
• v.27 no.1
• /
• pp.89-99
• /
• 1994

Flood forecasting in Korea has been based on the off-line parameter estimation method. But recent flood forecasting studies explore on-line recursive parameter estimation algorithms. In this study, a simultaneous adaptive estimation of system states and parameters for rainfall-runoff model is investigated for on-line real-time flood forecasting and parameter estimation. The proposed flood routing system is composed of Flood forecasting in Korea has been based on the off-line parameter estimation method. But recent flood forecasting studies explore on-line recursive parameter estimation algorithms. In this study, a simultaneous adaptive estimation of system states and parameters for rainfall-runoff model is investigated for on-line real-time flood forecasting and parameter estimation. The proposed flood routing system is composed of ø-index in the assessment of effective rainfall and the cascade of nonlinear reservoirs accounting for translation effect in flood routing. To combine the flood routing model with a parameter estimation model, system states and parameters are treated with the extended state-space formulation. Generalized least squares and maximum a posterior estimation algorithms are comparatively examined as estimation techniques for the state-space model. The sensitivity analysis is to investigate the identifiability of the parameters. The index of sensitivity used in this study is the covariance matrix of the estimated parameters.-index in the assessment of effective rainfall and the cascade of nonlinear reservoirs accounting for translation effect in flood routing. To combine the flood routing model with a parameter estimation model, system states and parameters are treated with the extended state-space formulation. Generalized least squares and maximum a posterior estimation algorithms are comparatively examined as estimation techniques for the state-space model. The sensitivity analysis is to investigate the identifiability of the parameters. The index of sensitivity used in this study is the covariance matrix of the estimated parameters.

• Journal of Korean Association for Spatial Structures
• /
• v.6 no.4 s.22
• /
• pp.81-92
• /
• 2006

This paper presents exact solutions for the free vibrations and buckling of rectangular plates having two opposite, simply supported edges subjected to linearly varying normal stresses causing pure in-plane moments, the other two edges being free. Assuming displacement functions which are sinusoidal in the direction of loading (x), the simply supported edge conditions are satisfied exactly. With this the differential equation of motion for the plate is reduced to an ordinary one having variable coefficients (in y). This equation is solved exactly by assuming power series in y and obtaining its proper coefficients (the method of Frobenius). Applying the free edge boundary conditions at y=0, b yields a fourth order characteristic determinant for the critical buckling moments and vibration frequencies. Convergence of the series is studied carefully. Numerical results are obtained for the critical buckling moments and some of their associated mode shapes. Comparisons are made with known results from less accurate one-dimensional beam theory. Free vibration frequency and mode shape results are also presented. Because the buckling and frequency parameters depend upon Poisson's ratio ( V ), results are shown for $0{\leq}v{\leq}0.5$, valid for isotropic materials.