• Journal of KIISE:Software and Applications
• /
• v.29 no.12
• /
• pp.883-894
• /
• 2002

Classical deterministic testing controls the execution of concurrent programs based on the equivalence between specifications and programs. However, it is not directly applicable to a situation in which synchronization sequences, being valid but infeasible, are taken into account. To resolve this problem, we had proposed automata-based deterministic testing in our previous works, where a concurrent program is executed according to one of the sequences accepted by the automaton recognizing all sequences semantically equivalent to a given sequence. In this paper, we present the automata-based testing environment for Java multi-thread programs, and we design and implement "Deterministic Executor" in the testing environment. "Deterministic Executor" transforms a Java multi-thread program by applying automata-based deterministic testing, the transformed program presents testing results. "Deterministic Executor" uses "Automata Generator", which generates an equivalent automaton of a test sequence, and "Replay Controller", which controls the execution of programs according to the sequence accepted by the automaton. By illustrating automata-based testing procedures with a gas station example, we show how the proposed approach does works in a Java multi-threaded program.roach does works in a Java multi-threaded program.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11a
• /
• pp.952-954
• /
• 2005

D-클래스는 $n{\times}n$ 불리언 행렬의 집합에서 특정 관계(relation)에 따딸라 동치(equivalent) 관계에 있는 불리언 행렬의 집합으로 구성된다. D-클래스 계산은 $n{\times}n$ 불리언 행렬의 전체 집합을 대상으로 이 집합에서 조합할 수 있는 모든 두 $n{\times}n$ 불리언 행렬 사이의 곱셈을 기본적으로 요구한다. 그러나 불리언 행렬에 대한 대부분의 연구는 두 개의 불리언 행렬에 대한 효율적인 곱셈에 집중되었으며 모든 $n{\times}n$ 불리언 행렬 사이의 곱셈에 대한 연구는 최근에야 소수가 보이고 있다. 두개의 $n{\times}n$ 불리언 행렬 곱셈에 대해 최적화된 알고리즘은 현재 알려져 있으나, 모든 $n{\times}n$ 불리언 행렬 사이의 곱셈에 대해 제시된 알고리즘은 아직 실행시간이 크게 향상되지 못하고 있으며 많은 개선과 연구가 필요하다. 본 논문은 개별적인 $n{\times}n$ 불리언 행렬 곱셈 대신 하나의 $n{\times}n$ 불리언 행렬과 불리언 행렬 집합과의 곱셈을 다루고 또한 이 곱셈에서 계산되는 모든 $n{\times}n$ 불리언 행렬을 집합으로 표현하는 방법을 통해 D-클래스 계산을 보다 효율적으로 할 수 있는 알고리즘에 대해 논한다.

• Journal of Power Electronics
• /
• v.13 no.2
• /
• pp.275-286
• /
• 2013

An explicit frequency-domain circuit model for the conventional coupled magnetic resonance system (CMRS) is newly proposed in this paper. Detail circuit parameters such as the leakage inductances, magnetizing inductances, turn-ratios, internal coil resistances, and source/load resistances are explicitly included in the model. Accurate overall system efficiency, DC gain, and key design parameters are deduced from the model in closed form equations, which were not available in previous works. It has been found that the CMRS can be simply described by an equivalent voltage source, resistances, and ideal transformers when it is resonated to a specified frequency in the steady state. It has been identified that the voltage gain of the CMRS was saturated to a specific value although the source side or the load side coils were strongly coupled. The phase differences between adjacent coils were ${\pi}/2$, which should be considered for the EMF cancellations. The analysis results were verified by simulations and experiments. A detailed circuit-parameter-based model was verified by experiments for 500 kHz by using a new experimental kit with a class-E inverter. The experiments showed a transfer of 1.38 W and a 40 % coil to coil efficiency.

• Journal of Korean Academy of Nursing
• /
• v.36 no.7
• /
• pp.1175-1182
• /
• 2006

Purpose: This study was conducted to evaluate the effects of stroke patient care education on the knowledge and practice of caregivers of stroke patients. Method: Data was collected from December 15, 2004 to March 30, 2005. The research design was a non-equivalent control group non-synchronized design. The subjects were forty primary caregivers of stroke patients who were hospitalized in a neurology unit of a university hospital. Forty caregivers, twenty in the experimental group and twenty in the control group were assigned. The experimental group participated 2 times in an education class given by the researcher Data analysis included -test, and t-test using the SPSS program. Result: Knowledge(t=5..87, p=0.00) and practice(t=5.53, p=0.00) of the experimental group were significantly different from the control group. Conclusion: The stroke patient care education developed in this study shows a significant promotion of knowledge and practice of caregivers. Thus this program can be recommanded as an intervention model for stroke patients and caregivers.

• Geomechanics and Engineering
• /
• v.13 no.1
• /
• pp.161-171
• /
• 2017

The underlying ground state of a railway plays a significant role in maintaining the integrity of the overlying concrete slab and ultimately supporting the train load. While effective nondestructive tests have been used to evaluate the rail track system, they can only be performed during non-operating time due to the stress wave generated by active sources. In this study, finite element numerical simulations are conducted to investigate the feasibility of detecting unfavorable substructure conditions by using a moving train load. First, a train load module is developed by converting the train load into time-variant equivalent forces. The moving forces based on the shape functions are applied at the nodes. A parametric study that takes into account the bonding state and the train class is then performed. All the synthetic signals obtained from numerical simulations are analyzed at the frequency domain using a Fast Fourier transform (FFT) and at the time-frequency domain using a Short-Time Fourier transform (STFT). The presence of a void condition amplifies the acceleration amplitude and the vibration response. This study confirms the feasibility of using a moving train load to systematically evaluate a rail track system.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1998.06a
• /
• pp.288-295
• /
• 1998

This paper proposes a new data classification method based on the tolerant rough set that extends the existing equivalent rough set. Similarity measure between two data is described by a distance function of all constituent attributes and they are defined to be tolerant when their similarity measure exceeds a similarity threshold value. The determination of optimal similarity theshold value is very important for the accurate classification. So, we determine it optimally by using the genetic algorithm (GA), where the goal of evolution is to balance two requirements such that (1) some tolerant objects are required to be included in the same class as many as possible. After finding the optimal similarity threshold value, a tolerant set of each object is obtained and the data set is grounded into the lower and upper approximation set depending on the coincidence of their classes. We propose a two-stage classification method that all data are classified by using the lower approxi ation at the first stage and then the non-classified data at the first stage are classified again by using the rough membership functions obtained from the upper approximation set. We apply the proposed classification method to the handwritten numeral character classification. problem and compare its classification performance and learning time with those of the feed forward neural network's back propagation algorithm.

• The Transactions of the Korean Institute of Power Electronics
• /
• v.13 no.2
• /
• pp.103-109
• /
• 2008

This paper presents a new method for designing a ballast that can provide dimming control of an electrodeless fluorescent lamp. Frequency control of lamp power is inappropriate because the lamp coefficients such as equivalent impedance, coupling coefficient of the transformer, and plasma resistance are a function of lamp power. In this paper, the dimming is achieved by controlling the DC_Link voltage in relation to the lamp power. The DC_Link voltage is controlled by a buck converter. Simulation and experimental results of the proposed design method are presented in order to validate the proposed method.

• Bulletin of the Korean Mathematical Society
• /
• v.47 no.3
• /
• pp.611-622
• /
• 2010

A ring R is called left max-coherent provided that every maximal left ideal is finitely presented. $\mathfrak{M}\mathfrak{I}$ (resp. $\mathfrak{M}\mathfrak{F}$) denotes the class of all max-injective left R-modules (resp. all max-flat right R-modules). We prove, in this article, that over a left max-coherent ring every right R-module has an $\mathfrak{M}\mathfrak{F}$-preenvelope, and every left R-module has an $\mathfrak{M}\mathfrak{I}$-cover. Furthermore, it is shown that a ring R is left max-injective if and only if any left R-module has an epic $\mathfrak{M}\mathfrak{I}$-cover if and only if any right R-module has a monic $\mathfrak{M}\mathfrak{F}$-preenvelope. We also give several equivalent characterizations of MI-injectivity and MI-flatness. Finally, $\mathfrak{M}\mathfrak{I}$-dimensions of modules and rings are studied in terms of max-injective modules with the left derived functors of Hom.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.28 no.9
• /
• pp.89-98
• /
• 2014

A diagnostic fluoroscopy X-ray system uses a 32kW or greater X-ray generator for obtaining real-time moving images and high-resolution images. Fluoroscopy X-ray systems have to use a high-capacity AC power source to perform long-time low-power fluoroscopy and short-time high-power spot exposure. In this paper, we propose a hybrid type X-ray generator for fluoroscopy X-ray system which can perform fluoroscopy and spot exposure with a low-capacity AC power source and an energy storage device. The characteristics of energy storage devices are compared and each energy storage device is modelled to equivalent circuit. And the characteristics of available energy are analyzed as a function of output voltage and power. A 32kW class hybrid X-ray generator with EDLC as an energy storage device for fluoroscopy X-ray system was constructed, and its validity was verified by means of simulations and experiments.

• Journal of the Korean Statistical Society
• /
• v.30 no.1
• /
• pp.41-61
• /
• 2001

The minimum negative exponential disparity estimator(MNEDE), introduced by Lindsay(1994), is an excellenet competitor to the minimum Hellinger distance estimator(Beran 1977) as a robust and yet efficient alternative to the maximum likelihood estimator in parametric models. In this paper we define the negative exponential deviance test(NEDT) as an analog of the likelihood ratio test(LRT), and show that the NEDT is asymptotically equivalent to he LRT at the model and under a sequence of contiguous alternatives. We establish that the asymptotic strong breakdown point for a class of minimum disparity estimators, containing the MNEDE, is at least 1/2 in continuous models. This result leads us to anticipate robustness of the NEDT under data contamination, and we demonstrate it empirically. In fact, in the simulation settings considered here the empirical level of the NEDT show more stability than the Hellinger deviance test(Simpson 1989). The NEDT is illustrated through an example data set. We also define a goodness-of-fit statistic to assess adequacy of a specified parametric model, and establish its asymptotic normality under the null hypothesis.