• Korean Journal of Logic
• /
• v.8 no.2
• /
• pp.59-84
• /
• 2005

Adams' Thesis, or the so-called equation Pr$(A{\rightarrow}C)$ = Pr(C|A) seems to express a correct relationship between the probabilities of conditionals and conditional probabilities. But D. K. Lewis has proved the remarkable fact that probabilities of conditionals are not conditional probabilities. In this paper 1 present a version of Lewis' triviality results and give an explanation why probabilities of conditionals are not conditional probabilities. A conditional probability of C given A has a peculiar properly in that its probability is insulated from not-A facts: the only thing relevant is the proportion of ways in which A is true which are also ways for C to be true. This peculiarity of conditional probability seems to put the great obstacle in the way of attempting to find a proposition such that its probability of being true systematically coincides with conditional probability of something else.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.39 no.5
• /
• pp.26-33
• /
• 2002

The design method of robust $H_{\infty}$ filtering for discrete-time uncertain linear systems is investigated in this paper. The uncertain parameters are assumed to be unknown but belonging to known convex compact set of polytope type. The objective is to design a stable robust $H_{\infty}$ filter guaranteeing the asymptotic stability of filtering error dynamics and present an $L_2$ induced norm bound analytically for the modified $H_{\infty}$ performance measure. The sufficient condition for the existence of robust $H_{\infty}$ filter and the filter design method are established by LMI(linear matrix inequality) approach, which can be solved efficiently by convex optimization. The proposed algorithm is checked through an example.

• Journal of Sasang Constitutional Medicine
• /
• v.23 no.4
• /
• pp.533-540
• /
• 2011

In this case, we report a case of Soeumin rectal cancer patient who was mistreated with herb medication. This patient was 72 years old female diagnosed rectal cancer stage IV with multiple liver, lung, and LN metastases. She administered our cancer center in Sep. 2011 for cancer treatment, we diagnosed this patient as Taeyangin at first, and treated with Mihuedungsikjang-tang. After 1 week, she complained upper abdominal discomfort, severe abdominal pain, nausea and sweating. Considering several symptoms and conditions, the change of symptoms seemed to a adverse events caused by mistreatment. We re-diagnosed this patient as Soeumin, and treated with Soeumin herbal medication, Baekhaoleejung-tang(白何烏理中湯) and Hyangsayangyi-tang(香砂養胃湯). Several symptoms including abdominal pain were improved 2 weeks later. Therefore, we report this case as a reference that Soeumin misdiagnosed as Taeyangin and the improvement of adverse symptoms.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.45 no.3
• /
• pp.32-41
• /
• 2008

In this paper, we describe the synthesis of robust and non-fragile $H^{\infty}$ state feedback controllers for linear systems with affine parameter uncertain tracking servo system of blu-ray disc drive, as well as static state feedback controller with polytopic uncertainty Similarity any other control system, the objective of the track-following system design for optical disc drives is to construct the system with better performance and robustness against modeling uncertainties and various disturbances. Also, the obtained condition can be rewritten as parameterized linear matrix inequalities(PLMIs), that is, LMIs whose coefficients are functions of a parameter confined to a compact set. We show that the resulting controller guarantees the asymptotic stability and disturbance attenuation of the closed loop system in spite of controller gain variations within a resulted polytopic region.

• Journal of KIISE:Software and Applications
• /
• v.31 no.10
• /
• pp.1304-1319
• /
• 2004

We can significantly reduce the cost o# program testing by automating the process of test data generation. Test data generation usually concerns identifying input values on which a selected path is executed. Although lots of research has been done so far, there still remains a lot of issues to be addressed. One of the issues is the shape problem. The shape problem refers to the problem of figuring out a shape of the input data structure required to cause the traversal of a given path. In this paper, we introduce a new method for the shape problem. The method converts the selected path into static single assignment (SSA) form without pointer dereferences. This allows us to consider each statement in the selected path as a constraint involving equality or inequality. We solve the constraints to get a solution which will be represented in terms of the points-to relations for each input variable. Simple, but illustrative examples are given to explain the proposed method.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.39 no.3
• /
• pp.183-190
• /
• 2002

This paper describes the synthesis of robust and non-fragile H$\infty$ state feedback controllers for linear varying systems with affine parameter uncertainties, and static state feedback controller with structured uncertainty. The sufficient condition of controller existence, the design method of robust and non-fragile H$\infty$ static state feedback controller, and the set of controllers which satisfies non-fragility are presented. The obtained condition can be rewritten as parameterized Linear Matrix Inequalities(PLMls), that is, LMIs whose coefficients are functions of a parameter confined to a compact set. However, in contrast to LMIs, PLMIs feasibility problems involve infinitely many LMIs hence are inherently difficult to solve numerically. Therefore PLMls are transformed into standard LMI problems using relaxation techniques relying on separated convexity concepts. We show that the resulting controller guarantees the asymptotic stability and disturbance attenuation of the closed loop system in spite of controller gain variations within a degree.

• Korean Journal of Agricultural Science
• /
• v.21 no.1
• /
• pp.60-66
• /
• 1994

Among the various bacterial isolates from municipal sewages which utilized linear alkylbenzene sulfonate (LAS) as a sole source of carbon. 3 potent strains - KL-3, SH-2 and EN-1 - were selected. The strains were classified: KL-3 as a strain belong to the genus Klebsiella; SH-2 Shigella; and EN-1 Enterobacter, respectively. They were grown in a broth containing 200 ppm of LAS, using a laboratory scale fermentor: the bacterial growth reached stationary phase after 2 days with a maximum viability of $10^8cfu/mL$ of the culture; initial rates of LAS degradation were high during the first 24 hours of cultivation (KL-3 and SH-2, approx. 50%; EN-1, 20%); after 1 day a lag period of about 24 hours was observed for all the strains, and thereafter break-down proceeded rapidly; final rates after 7 days were approximately 85% by KL-3, 82% by SH-2 and 75% by EN-1. Adsorption of LAS by the bacterial cell mass was high for the strain SH-2, as Freundlich equation: Y= 0.030X + 0.95 was calculated.

• Journal of the Korea Society of Computer and Information
• /
• v.18 no.6
• /
• pp.9-19
• /
• 2013

This paper deals with fuzzy $H_{\infty}$ filtering problem of discrete-time nonlinear Markovian jump systems with state and output time delays. The purpose is to design fuzzy $H_{\infty}$ filter such that the corresponding estimation error system with time delays and initial state uncertainties is stochastically stable and satisfies an $H_{\infty}$ performance level. A sufficient condition for the existence of fuzzy $H_{\infty}$ filter is given in terms of matrix inequalities. In order to relax conservatism, a stochastic mode dependent fuzzy Lyapunov function is employed. The Lyapunov function not only is dependent on the operation modes of system, but also includes the fuzzy membership functions. An illustrative example is finally given to show the applicability and effectiveness of the proposed method.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.22 no.3
• /
• pp.267-272
• /
• 2012

This paper propose the implementation of robust fuzzy controller for controlling an active magnetic bearing (AMB) system with 6 degree of freedom (DOF). A basic model with 6 DOF rotor dynamics and electromagnetic force equations for conical magnetic bearings is proposed. The developed model has severe nonlinearity and uncertainty so that it is not easy to obtain the control objective. For solving this problem, we use the Takagi-Sugeno (T-S) fuzzy model which is suitable for designing fuzzy controller. The control object in the AMB system enables the rotor to rotate without any phsical contact by using magnetic force. In this paper, we analyze the nonlinearity of the active magnetic bearing system by using fuzzy control algorithm and desing the robust control algorithm for solving the parameter variation. Simulation results for AMB are demonstrated to visualize the feasibility of the proposed method.

• Journal of Advanced Navigation Technology
• /
• v.22 no.6
• /
• pp.630-635
• /
• 2018

In this paper, we consider the stability condition for the linear discrete systems with time-varying delay and unstructured uncertainty. The considered system has time invariant system matrices for non-delayed and delayed state variables, but its delay time is time-varying within certain interval and it is subjected to nonlinear unstructured uncertainty which only gives information on uncertainty magnitude. In the many previous literatures, the time-varying delay and unstructured uncertainty can not be dealt in simultaneously but separately. In the paper, new stability conditions are derived for the case to which two factors are subjected together and compared with the existing results considering only one factor. The new stability conditions improving many previous results are proposed as very effective inequality equations without complex numerical algorithms such as LMI(Linear Matrix Inequality) or Lyapunov equation. By numerical examples, it is shown that the proposed conditions are able to include the many existing results and have better performances in the aspects of expandability and effectiveness.