• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.9
• /
• pp.1042-1054
• /
• 1999

공유메모리 병렬프로그램의 오류수정에서 경합의 탐지는 중요하다. 왜냐하면 경합은 잘못된 수행 결과를 초래할 뿐만 아니라, 의도하지 않은 프로그램의 비결정적인 수행을 유발하여 오류수정을 어렵게 하기 때문이다. 특히 최초경합의 탐지는 더욱 중요하다. 그 이유는 최초경합을 제거함으로써 나머지 경합들을 방지할 수도 있기 때문이다. 기존의 수행중 경합 탐지기법들은 접근별 보고방식을 기반으로 하는데, 이 기법들은 임의 공유변수에 대한 병행 쓰레드들의 모든 접근사건들을 검사하기 위해서 접근역사라는 유일한 공유정보를 이용하므로 탐지과정에 심각한 병목현상을 유발시킨다. 그러나, 최초경합 탐지를 위한 경우 이러한 병목현상은 크게 개선될 수 있다. 본 논문에서는, 각 접근사건 검사를 위해 각 쓰레드에 공유되지 않는 독립적인 접근역사를 별개로 두고, 경합을 보고하는 시점인 쓰레드 합류시점에서만 공유되는 접근역사를 이용하도록 함으로써 병목현상을 개선하여 최초경합을 탐지할 수 있는 새로운 수행중 탐지기법을 제안한다. 그러므로 본 기법은 최초경합을 보다 효율적으로 탐지할 수 있기 때문에 수행중 경합 탐지를 더욱 효율적이고 실용적으로 할 수 있다. Abstract Detecting races is important for debugging shared-memory parallel programs, because the races lead to unintended nondeterministic executions of the programs as well as erroneous result and then make debugging programs difficult. Especially, detecting the first races is more important. The reason is that the removal of the first races can make other races disappear. Most existing on-the-fly techniques to detect the races are based on per- access reporting method incurring the serious central bottleneck, because the techniques use unique shared information called access history for checking all accesses of concurrent threads to a shared variable. Such bottleneck, however, can be improved considerably in case of detecting first races. This paper presents a new on-the-fly technique which detects the first races with reduced bottleneck through checking each accesses with private access histories and finally reporting races with shared access histories. Therefore, this technique makes on-the-fly race detection more efficient and practical.

• Journal of Korean Society of Coastal and Ocean Engineers
• /
• v.24 no.2
• /
• pp.138-148
• /
• 2012

A stochastic reliability analysis model has been developed for evaluating the time-dependent stability performance of armor units of rubble-mound breakwaters subjected to the multiple loads of arbitrary magnitudes which could be occurred randomly. The initial structural capacities and the damage rates of armor units of rubble-mound breakwaters could be estimated as a function of the incident wave height with a given return period by using the modified Hudson's formula and Melby's formula. The structural stability performances of armor units of rubble-mound breakwaters could be analyzed in detail through the lifetime reliability investigations according to the limit states such as the serviceability or ultimate limit state and the conditions of multiple loads. Finally, repair intervals for the structural management of armor units of rubble-mound breakwaters could quantitatively be evaluated by a new approach suggested in this paper that has been based on the target probability for repair and the accumulated probabilities of failure obtained from the present stochastic reliability analysis model.

• Journal of the Institute of Convergence Signal Processing
• /
• v.8 no.3
• /
• pp.143-148
• /
• 2007

The many studies have been proceeding to express accurately the feature of a sudden signal and a uncertain system in the image processing field. It is well know that Fourier Transform is widely used for frequency analysis of any signal. However, The frequency transform domain is not used for expressing the sudden signal change and non-stationary signal at the time-axis by this method. This paper describes of image analysis by discrete wavelet transform. Wavelet modulus maxima on transformed plane gives the Lipschitz exponent expression, which is useful to examine the characteristics of signal or the edge of an image. It is possible to reconstruct the original image only using the few maxima points. The fractal analysis is applied as an examples. The visualized image of oil flow on a ship model is analyzed. The fractal variable is obtained by the maxima analysis and the good results on the exprement is obtained by the visualized image analysis.

• Journal of Korean Society of Coastal and Ocean Engineers
• /
• v.25 no.6
• /
• pp.422-432
• /
• 2013

A System Identification method to develop parametric models linking free surface elevation and wave pressure is presented and two models are built allowing for either wave pressure or free surface elevation simulation. Linear, time invariant model structures with static nonlinearities are assumed and solutions are sought in a form of autoregressive model with extra input (ARX). An arbitrary chosen free-surface elevation and wave pressure dataset is used for estimation of the models, which are subsequently verified against datasets with similar pressure gauge depth but different free-surface elevation spectra due to different meteorological conditions. It is shown that free-surface simulation using System Identification methods can perform better than traditional linear transfer function derived from linear wave theory (LTF), while wave pressure simulation quality using presented methods is generally similar to that obtained with corrected LTF.

• The Journal of the Acoustical Society of Korea
• /
• v.24 no.3
• /
• pp.150-159
• /
• 2005

This paper addresses a voice personality transformation algorithm which makes one person's voices sound as if another person's voices. In the proposed method, one person's voices are represented by LPC cepstrum, pitch period and speaking rate, the appropriate transformation rules for each Parameter are constructed. The Gaussian Mixture Model (GMM) is used to model one speaker's LPC cepstrums and conditional probability is used to model the relationship between two speaker's LPC cepstrums. To obtain the parameters representing each probabilistic model. a Maximum Likelihood (ML) estimation method is employed. The transformed LPC cepstrums are obtained by using a Minimum Mean Square Error (MMSE) criterion. Pitch period and speaking rate are used as the parameters for prosody transformation, which is implemented by using the ratio of the average values. The proposed method reveals the superior performance to the previous VQ-based method in subjective measures including average cepstrum distance reduction ratio and likelihood increasing ratio. In subjective test. we obtained almost the same correct identification ratio as the previous method and we also confirmed that high qualify transformed speech is obtained, which is due to the smoothly evolving spectral contours over time.

• Nuclear Engineering and Technology
• /
• v.23 no.4
• /
• pp.387-400
• /
• 1991

An ocean compartment model simulating transport of nuclides by advection due to ocean circulation and intertaction with suspended sediments is developed, by which concentration breakthrough curves of nuclides can be calculated as a function of time. Dividing ocean into arbitrary number of characteristic compartments and performing a balance of mass of nuclides in each ocean compartment, the governing equation for the concentration in the ocean is obtained and a solution by the numerical integration is obtained. The integration method is specially useful for general stiff systems. For transfer coefficients describing advective transport between adjacent compartments by ocean circulation, the ocean turnover time is calculated by a two-dimensional numerical ocean model. To exemplify the compartment model, a reference case calculation for breakthrough curves of three nuclides in low-level radioactive wastes, Tc-99, Cs-137, and Pu-238 released from hypothetical repository under the seabed is carried out with five ocean compartments. Sensitivity analysis studies for some parameters to the concentration breakthrough curves are also made, which indicates that parameters such as ocean turnover time and ocean water volume of compartments have an important effect on the breakthrough curves.

• 한국지구물리탐사학회:학술대회논문집
• /
• 2008.10a
• /
• pp.63-67
• /
• 2008

Geostatistical inverse approach using geophysical data was applied to indirectly make the RMR classification at points apart from boreholes. The geostatistical appoach was usually used to find optimized estimation which supports two or more different physical properties at unsampled points. However, in this study, an approach to solve inverse problem was proposed. The primary variable, RMR values obtained at known boreholes, is geostatistically simulated with many realization at pre-defined grid point according to the variogram model. The simulated values are sequentially compared with the physical property resulted from geophysical survey at an arbitrary grid point, and the most similar one is chosen. This process means that the spatial distribution of primary variable, RMR, is conformed well to the original pattern of the borehole observation, and ensure to fit the geophysical survey result to reflect the correlation between different physical properties.

• Journal of dental hygiene science
• /
• v.7 no.3
• /
• pp.193-196
• /
• 2007

From April 9th to May 4th 2007, making a random selection of three private dental clinics in Busan, this study investigated the fear for dental treatment for 178 adults over twenty. Using four items of General Characteristics and DFS of twenty items, the degree of fear for dental treatment was evaluated by self administrated questionnaire. The obtained results were as follows. 1. Reliability analysis of each factor in details was 0.662~0.921 in Cronbach' alpha Coefficients. For Cronbach' alpha Coefficients was over 0.6. Dental Fear Survey Scale was reliable. 2. Dental stimulus response scale of three factors appeared more fear than two factors of the rest. The fear for dental treatment was higher in wemen, older ages, high education level and high income. 3. Factor of dental stimulus response scale, avoidance of dentistry and physiologic response scale accounted for 66.1%($R^2=66.1$)of the variation in dental fear factor as a result from stepwise regression analysis.

• Korean Journal of Optics and Photonics
• /
• v.12 no.4
• /
• pp.270-275
• /
• 2001

We have studied effects of annular phase apodizer and bump shapes on the read-out signal in an optical disc system, using scalar diffraction theory. In order to detennine the optimum parameters of annular phase apodizer which will minimize the influence of spherical aberration, we defined WR as the ratio between the maximum wavefront aberration and some absolute value of wavefront aberration at any position r in the pupil. A cylindric bump, a semi-conic bump and a conic bump were$.$ also considered as different types of bump shape. As the radius and shape of bump varies, the read-out signal from an optical disc system with an annular phase apodizer was similar to that from an optical disc system without apodizer. When spherical aberration increases, the maximum read-out signal of an optical disc system with an annular phase apodizer and minimum bump radii giving read-out signal higher than 0.6 rarely varied. Especially, the optimum parameters at $W_R$ = 0.4 , 0.6 gave the most compensated effect of a spherical aberration.ration.

• Journal of the Society of Naval Architects of Korea
• /
• v.38 no.4
• /
• pp.23-29
• /
• 2001

An Obstacle Avoidance System(OAS) of Underwater Vehicle(UV) in diving and steering plane is investigated. The concept of Imaginary Reference Line(IRL), which acts as the seabed in the diving plane, is introduced to apply the diving plane avoidance algorithm to the steering plane algorithm. Furthermore, the distance to the obstacle and the slope information of the obstacle are used for more efficient and safer avoidance. As for the control algorithm, the sliding mode controller is adopted to consider the nonlinearity of the equations of motion and to get the robustness of the designed system. To verify the obstacle avoidance ability of the designed system, numerical simulations are carried out on the cases of some presumed three-dimensional obstacles. The effects of the sonar and the clearance factor used in avoidance algorithm are also investigated. Through these, it is found that the designed avoidance system can successfully cope with various obstacles and the detection range of sonar is proven to bea significant parameter to the performance of the avoidance.