• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.11 no.5
• /
• pp.572-578
• /
• 2018

This paper considers Group Testing as one of combinatorial problems. The group testing first began to inspect soldier's syphilis infection during World War II and have long established an academic basis. Recently, there has been much interest in related areas because of the rediscovery of the value of the group testing. The group testing is the same as finding a few defect samples out of a large number of samples, which is similar to the inverse problem of Compressed Sensing. In this paper, we introduce the definition of the group testing, and specify the classes of the group testing and the bounds on performance of the group testing. In addition, we show a lower bound for the number of tests required to find defective samples using the theoretical theorem which is mainly used for relationship between conditional entropy and the probability of error in the information theory. We see how our result can be different from other related results.

• 제어로봇시스템학회:학술대회논문집
• /
• 2003.10a
• /
• pp.433-437
• /
• 2003

Quantitative Feedback Theory (QFT) is one of effective methods of robust controller design. In QFT design we can considers the phase information of the perturbed plant so it is less conservative than $H_{\infty}$ and ${\mu}$-synthesis methods and as be shown, it is more transparent than the sensitivity reduction methods mentioned . In this paper we want to overcome the major drawback of QFT method which is lack of an automatic method for loop-shaping step of the method so we focus on the following problem: Given a nominal plant and QFT bounds, synthesize a controller that achieves closed-loop stability and satisfies the QFT boundaries. The usual approach to this problem involves loop-shaping in the frequency domain by manipulating the poles and zeros of the nominal loop transfer function. This process now aided by recently developed computer aided design tools proceeds by trial and error and its success often depends heavily on the experience of the loop-shaper. Thus for the novice and First time QFT user, there is a genuine need for an automatic loop-shaping tool to generate a first-cut solution. Clearly such an automatic process must involve some sort of optimization, and while recent results on convex optimization have found fruitful applications in other areas of control theory we have tried to use LMI theory for automating the loop-shaping step of QFT design.

• Bulletin of the Society of Naval Architects of Korea
• /
• v.19 no.2
• /
• pp.13-18
• /
• 1982

The method of Rankine source distribution is emerging as a powerful yet simple alternative for the solution of complicated free surface problems. But it has been uncertain whether the radiation condition could be satisfied exactly by distributing the simple sources on the free surface only. In this paper, it is proved rigorously that the Rankine sources, whose intensities are varying sinusoidally along the axis satisfying the free surface boundary condition, generate the radiation waves both in the infinite and finite-depth flows. A formula is derived to give the upper and lower bounds of the errors in the induced velocity computation that will be introduced by truncating the extent of source distribution on the free surface. Since the truncation is inevitable in the numerical analysis, this formula may be used as a criterion to limit the position of the field points, where velocity computation is made, away from the truncation boundary. A typical analysis shows that the maximum error will be 3.4 percent of the exact induced velocity when the field point is on the free surface two wave lengths away from the truncation boundary.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2005.11a
• /
• pp.95-98
• /
• 2005

This paper presents intelligent digital redesign method of global approach for hybrid state space fuzzy-model-based controllers. For effectiveness and stabilization of continuous-time uncertain nonlinear systems under discrete-time controller, Takagi-Sugeno(TS) fuzzy model is used to represent the complex system. And global approach design problems viewed as a convex optimization problem that we minimize the error of the norm bounds between nonlinearly interpolated linear operators to be matched. Also by using the power series, we analyzed nonlinear system's uncertain parts more precisely. When a sampling period is sufficiently small, the conversion of a continuous-time structured uncertain nonlinear system to an equivalent discrete -time system have proper reason. Sufficiently conditions for the global state -matching of the digitally controlled system are formulated in terms of linear matrix inequalities (LMls). Finally, we prove the effectiveness and stabilization of the proposed intelligent digital redesign method by applying the chaotic Lorentz system.

• Convergence Security Journal
• /
• v.6 no.1
• /
• pp.55-63
• /
• 2006

In this paper, an algorithm that provisions absolute differentiation of packet delays is proposed with an objective for enhancing quality of service (QoS) in future packet networks. It features an adaptive scheme that compensates the deviation for prediction on the traffic to be arrived continuously. It predicts the traffic to be arrived at the beginning of a time slot and measures the actual arrived traffic at the end of the time slot, and derives the deviation between the two quantity. The deviation is utilized to the delay control operation for the next time slot to offset it. As it compensates the prediction error continuously, it shows superior adaptability to the bursty traffic as well as the constant rate traffic. It is demonstrated through simulation that the algorithm meets the quantitative delay bounds and shows superiority to the traffic fluctuation in comparison with the conventional mechanism.

• Journal of Advanced Marine Engineering and Technology
• /
• v.28 no.6
• /
• pp.1026-1036
• /
• 2004

In this study, single-phase heat transfer experiments were conducted with Oblong Shell and Plate heat exchanger using water. An experimental water loop has been developed to measure the single-phase heat transfer coefficient and pressure drop in a vertical Oblong Shell and Plate heat exchanger. Downflow of hot water in one channel receives heat from the cold water upflow of water in the other channel. Similar to the case of a plate heat exchanger, even at a very low Reynolds number, the flow in the Oblong Shell and Plate heat exchanger remains turbulent. The present data show that the heat transfer coefficient and pressure drop increase with the Reynolds number. Based on the present data, empirical correlations of the heat transfer coefficient and pressure drop in terms of Nusselt number and friction factor were proposed. Also, performance prediction analyses for Oblong Shell and Plate heat exchanger were executed and compared with experiments. $\varepsilon$-NTU method was used in this prediction program. Independent variables are flow rates and inlet temperatures. Compared with experimental data, the accuracy of the program is within the error bounds of $\pm$5% in the heat transfer rate.

• Communications of the Korean Mathematical Society
• /
• v.33 no.2
• /
• pp.677-693
• /
• 2018

In this work, we generalize a family of optimal eighth order weighted-Newton methods to Banach spaces and study its local convergence to approximate a locally-unique solution of a system of nonlinear equations. The convergence in this study is shown under hypotheses only on the first derivative. Our analysis avoids the usual Taylor expansions requiring higher order derivatives but uses generalized Lipschitz-type conditions only on the first derivative. Moreover, our new approach provides computable radius of convergence as well as error bounds on the distances involved and estimates on the uniqueness of the solution based on some functions appearing in these generalized conditions. Such estimates are not provided in the approaches using Taylor expansions of higher order derivatives which may not exist or may be very expensive or impossible to compute. The convergence order is computed using computational order of convergence or approximate computational order of convergence which do not require usage of higher derivatives. This technique can be applied to any iterative method using Taylor expansions involving high order derivatives. The study of the local convergence based on Lipschitz constants is important because it provides the degree of difficulty for choosing initial points. In this sense the applicability of the method is expanded. Finally, numerical examples are provided to verify the theoretical results and to show the convergence behavior.

• Transactions on Control, Automation and Systems Engineering
• /
• v.1 no.2
• /
• pp.134-140
• /
• 1999

The robust generalized H2 filtering problem for a class of discrete time uncertain linear systems satisfying the sum quadratic constraints(SQCs) is considered. The objective of this paper is to develop robust stability condition using SQCs and design a robust generalized Ha filter to take place of the existing robust Kalman filter. The robust generalized H2 filter is designed based on newly derived robust stability condition. The robust generalized Ha filter bounds the energy to peak gain from the energy bounded exogenous disturbances to the estimation errors under the given positive scalar ${\gamma}$. Unlike the robust Lalman filter, it does not require any spectral assumptions about the exogenous disturbances . Therefore the robust generalized H2 filter can be considered as a deterministic formulation of the robust Kalman filter. Moreover, the variance of the estimation error obtained by the proposed filter is lower than that by the existing robust Kalman filter. The robustness of the robust generalized H2 filter against the uncertainty and the exogenous signal is illustrated by a simple numerical example.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.31 no.5
• /
• pp.482-490
• /
• 2007

When a molten corium is relocated in a lower head of a reactor vessel, the ERVC (External Reactor Vessel Cooling) system is actuated as coolant is supplied into a reactor cavity to remove a decay heat from the molten corium during a severe accident. To achieve this severe accident mitigation strategy, the two-phase natural circulation flow in the annular gap between the external reactor vessel and the insulation should be formed sufficiently by designing the coolant inlet/outlet area and gap size adequately on the insulation device. For this reason, one-dimensional natural circulation flow tests and the simple analysis were conducted to estimate the natural circulation flow under the ERVC condition of APR1400. The experimental facility is one-dimensional and scaled down as the half height and 1/238 channel area of the APR1400 reactor vessel. The calculated circulation flow rate was similar to experimental ones within about ${\pm}$15% error bounds and depended on the form loss due to the inlet/outlet area.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.30 no.3 s.246
• /
• pp.295-301
• /
• 2006

The wheel slip control systems are able to control the braking force more accurately and can be adapted to different vehicles more easily than conventional ABS systems. In order to achieve the superior braking performance through the wheel-slip control, real-time information such as the tire braking force at each wheel is required. In addition, the optimal target slip values need to be determined depending on the braking objectives such as minimum braking distance, stability enhancement, etc. In this paper, a robust wheel slip controller is developed based on the adaptive sliding mode control method and an optimal target slip assignment algorithm. An adaptive law is formulated to estimate the longitudinal braking force in real-time. The wheel slip controller is designed using the Lyapunov stability theory and considering the error bounds in estimating the braking force and the brake disk-pad friction coefficient. The target slip assignment algorithm is developed for the maximum braking force and searches the optimal target slip value based on the estimated braking force. The performance of the proposed wheel-slip control system is verified In simulations and demonstrates the effectiveness of the wheel slip control in various road conditions.