• ETRI Journal
• /
• 제39권1호
• /
• pp.124-134
• /
• 2017

Data races are one of the most difficult types of bugs in concurrent multithreaded systems. It requires significant time and cost to accurately detect bugs in complex large-scale programs. Although many race detection techniques have been proposed by various researchers, none of them are effective in all aspects. In this paper, we compare the performance of five recent dynamic race detection techniques: FastTrack, Acculock, Multilock-HB, SimpleLock+, and causally precedes (CP) detection. We experimentally demonstrate the strengths and weaknesses of these dynamic race detection techniques in terms of their detection capability, running time, and runtime overhead using 20 benchmark programs with different characteristics. The comparison results show that the detection capability of CP detection does not differ from that of FastTrack, and that SimpleLock+ generates the lowest overhead among the hybrid detection techniques (Acculock, SimpleLock+, and Multilock-HB) for all benchmark programs. SimpleLock+ is 1.2 times slower than FastTrack on average, but misses one true data race reported from Mutilock-HB on the large-scale benchmark programs.

• 한국정보통신학회논문지
• /
• 제9권3호
• /
• pp.582-586
• /
• 2005

본 논문은 locking 상태에 따라서 루프대역폭이 변화하는 Phase Locked Loop (PLL)의 구조를 제안하였다. 제안한 PLL은 기본적인 PLL 블록과 NOR Gate, Inverter, Capacitor, 그리고 Schmitt trigger로 이루어진 Locking Status Indicator(LSI) 블록으로 구성되었다. LSI는 Loop Fille.(LF)에 공급되는 전류와 저항 값을 locking 상태에 따라 변화시켜서 unlock이 되면 넓은 루프대역폭 가지는 PLL로, lock이 되면 좁은 루프대역폭을 가지는 PLL로 동작하도록 한다. 이러한 구조의 PLL은 짧은 locking 시간과 저 잡음의 특성을 동시에 만족시킬 수 있다. 제안된 PLL은 Hynix CMOS $0.35{\mu}m$ 공정으로 Hspice 시뮬레이션 하였으며 40us의 짧은 locking 시간과 -76.1dBc 크기의 spur를 가진다.

• 한국해양공학회지
• /
• 제26권5호
• /
• pp.25-30
• /
• 2012

This study examined the use of LIT (lock-in infrared thermography) to detect defects in the welded parts of ships and offshore structures. A quantitative analysis was used with the filtering and texture measurement of image processing techniques to find the optimized experimental condition. We verified the reliability of our methods by applying image processing techniques in order to normalize the evaluations of comparative images that showed a phase difference. In addition, it was found that a low to mid-range intensity of light exposure on the surface showed good results, whereas high exposure did not provide significant results. A lock-in frequency of around 0.1 Hz was satisfactory regardless of the intensity of the light source. In addition, making the integration time of the thermography camera inversely proportional to the intensity of the exposed light source during the experiment provided good results.

• 정보학연구
• /
• 제12권4호
• /
• pp.11-17
• /
• 2009

In this paper, frequency synthesizer for radar system is designed and developed. Optimizing the phase noise and lock time, each module is designed as two-type PLL circuit, and then the performance of PLL frequency synthesizer is compared. The experiment result shows the lock time of 70 usec, the phase noise of less then 100 dBc, the bandwidth above 500MHz.

• 한국국방경영분석학회지
• /
• 제25권1호
• /
• pp.199-214
• /
• 1999

The Constructive Battle Simulation Model is very important to the recent military training for the substitution of the field training. However, real battlefield systems operate under real-time conditions, they are inherently distributed, concurrent and dynamic. In order to reflect these properties by the computer-based simulation systems which represent real world processes, we have been developing constructive simulation model for several years. Conventionally, scheduling and resource allocation activities which have timing constraints, we elaborated on these issues and developed the simulation system on commercially available hardware and operating system with lock-free resource allocation scheme and rate monotonic scheduling.

• 대한전기학회논문지:전기기기및에너지변환시스템부문B
• /
• 제51권1호
• /
• pp.23-33
• /
• 2002

A hysteresis control is widely used to control output current of inverter. A hysteresis bandwidth is affected by system parameters such as source voltage, device on/off time, load inductance and resistance. The frequency limiter is used to protect switching devices overload. In the conventional hysteresis controller, a lock-out circuit with D-latch and timer is used to device protection circuit. But switching delay time and harmonic components are appeared in output current. In this paper the performance of lock-out circuit is tested, and new circuit for switching device fault protection is proposed ad it's performance is simulated.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2003년도 하계학술대회 논문집 A
• /
• pp.418-420
• /
• 2003

The fault current limiting characteristics at the initial fault time for flux-lock type high-Tc superconducting fault current limiter(SFCL) were investigated. The amplitude of initial fault current of the flux-lock type SFCL was dependent on the inductance ratio of coil 1 and 2. After fault current limiting mode was analyzed, we compared the calculated value with the experimental one for the initial fault current. The effect of initial fault current due to the inductance ratio of coil 1 and 2 on fault current limiting characteristics was discussed.

• 한국광학회지
• /
• 제11권5호
• /
• pp.330-334
• /
• 2000

40 Gbit/s 속도의 시분할 다중화(OTDM)된 광펄스 신호열로부터 반도체 광증폭기의 4광파 혼합 신호에 포함된 위상정보를 이용하여 10GHz로 위상 동기된 진동자 신호를 추출하였다. 제작된 위상 동기 회로는 5시간이상 안정되게 동작되었고, 위상 동기 주파수의 작동범위는 입력 광펄스의 기본 주파수의 10KHz 이내로 측정되었다.

• The Journal of the Acoustical Society of Korea
• /
• 제15권2E호
• /
• pp.60-68
• /
• 1996

In this paper, we implement the door lock system based on pattern matching technique for speaker recognition using DTW. In this study, major features of our system are summarized as follows:(1) Make the average reference pattern using DTW. This method keeps the high recognition rate compared with the other systems whose performances degrade rapidly as time goes on. (2) Use F-ratio values of the cepstral coefficients. We find that the weighted cepstral reveals an effect on intensifying the difference between th customer and the imposter. The system hardware is composed of two parts : the door lock part and the speaker recognition processing part. We use an 8051 microprocessor in the door lock park for serial communication with host processor to open or close the lock. Using our system, we obtain speaker recognition rate of about 99.5%.

• 한국전기전자재료학회논문지
• /
• 제20권9호
• /
• pp.812-815
• /
• 2007

To apply the superconducting fault current limiter(SFCL) into a power system, the analysis for its recovery characteristics as well as the consideration for its cooperation with other protecting machine such as a circuit breaker is required. The recovery characteristics of the flux-lock type SFCL like its current limiting characteristics are dependent on the winding direction of two coils. In this paper, the experiments of the current limiting and the recovery characteristics of the flux-lock type SFCL with YBCO thin film were performed. From the analysis on the experimental results due to the winding direction of two coils, the limited fault current in case of the additive polarity winding was observed to be lower than that for the case of the subtractive polarity winding. In addition, the recovery time was found to be faster in case of the additive polarity winding compared to the subtractive polarity winding.