• Structural Engineering and Mechanics
• /
• v.22 no.5
• /
• pp.563-574
• /
• 2006

This paper studies mechanical behavior of the superelastic shape memory alloy (SMA) rods in terms of local deformations and time via tensile loading-unloading cycles for both ends fixed end constraints. Besides the unique stress induced martensitic transformation (SIMT), SMA's time dependent behavior when it is in mixed-phase condition upon loading and unloading, also need careful attention with a view of investigating the local deformation of the structural elements made of the same material. With this perspective, the so-called stress-relaxation tests have been performed to demonstrate and investigate the local strains-total strains relationships with time, particularly, during the forward SIMT. Some remarkable phenomena have been observed pertaining to SIMT, which are absent in traditional materials and those unique phenomena have been explained qualitatively. For example, at the stopped loading conditions the two ends (fixed end and moving end of the tensile testing machine) were in fixed positions. So that there was no axial overall deformation of the specimen but some notable increase in the axial local deformation was shown by the extensometer placed at the middle of the SMA specimen. It should be noted that this peculiar behavior termed as 'inertia driven SIMT' occurs only when the loading was stopped at mixed phase condition. Besides this relaxation test for the SMA specimens, the same is performed for the mild steel (MS) specimens under similar test conditions. The MS specimens, however, show no unusual increase of local strains during the stress relaxation tests.

• Journal of electromagnetic engineering and science
• /
• v.17 no.4
• /
• pp.181-185
• /
• 2017

In this paper, we propose an angle-of-arrival (AoA)-based local positioning system using a time-modulated array (TMA). The proposed system can determine a two-dimensional position using only two TMAs without any synchronization between the two receivers. The hardware for the proposed system consists of two commercial monopole antennas, a self-designed switch, and a well-known software-defined radio receiver. Furthermore, the location can be simply estimated in real time without the need for complicated positioning algorithms such as the MUSIC and ESPRIT algorithms. In order to evaluate the performance of our system, we estimated the position of the wireless node in an office environment. The position was estimated with a mean error of less than 0.1 m. We therefore believe that our system is appropriate for various wireless local positioning applications.

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.3
• /
• pp.547-568
• /
• 2020

In this paper, we introduce the linear self-attracting diffusion driven by a weighted fractional Brownian motion with weighting exponent a > -1 and Hurst index |b| < a + 1, 0 < b < 1, which is analogous to the linear fractional self-attracting diffusion. For the 1-dimensional process we study its convergence and the corresponding weighted local time. As a related problem, we also obtain the renormalized intersection local time exists in L² if max{a₁ + b₁, a₂ + b₂} < 0.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.39B no.1
• /
• pp.1-7
• /
• 2014

This paper proposes an efficient test wrapper design that reduces overall test time in multi-core SoC. After initial local wrapper solution sets for all the cores are determined using well-known Combine algorithm, proposed algorithm selects a dominant core which consumes the longest test time in multi-core SoC. Then, the wrapper characteristics in the number of TAM wires and the test time for other cores are adjusted based on test time of the dominant core. For some specific cores, the number of TAM wires can be reduced by increasing its test time for design space exploration purposes. These modified wrapper characteristics are added to the previous wrapper solution set. By expanding previous local wrapper solution set to global wrapper solution set, overall test time for Multi-core SoC can be reduced by an efficient test scheduler. Effectiveness of the proposed wrapper is verified on ITC'02 benchmark circuits using $B^*$-tree based test scheduler. Our experimental results show that the test time is reduced by an average of 4.7% when compared to that of employing previous wrappers.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.12 no.4
• /
• pp.231-238
• /
• 2017

Detecting small infrared targets from the low-SCR images at a long distance is very hard. The previous Local Contrast Method (LCM) algorithm based on the human visual system shows a superior performance of detecting small targets by a background suppression technique through local contrast measure. However, its slow processing speed due to the heavy multi-scale processing overhead is not suitable to a variety of real-time applications. This paper presents a lightweight real-time small target detection algorithm, called by the Improved Selective Local Contrast Method (ISLCM), to reduce the scale-invariant computational overhead. The proposed ISLCM applies the improved local contrast measure to the predicted selective region so that it may have a comparable detection performance as the previous LCM while guaranteeing low scale-invariant computational load by exploiting both adaptive scale estimation and small target feature feasibility. Experimental results show that the proposed algorithm can reduce its computational overhead considerably while maintaining its detection performance compared with the previous LCM.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.10
• /
• pp.1264-1274
• /
• 1999

본 논문에서는 분산된 클록들을 주기적으로 동기화 시키는 분산 실시간 시스템에서 시간적 제약을 만족시키기 위한 정적/동적 시간 제약(timing constraint) 변환 기법을 제안한다. 전형적인 이산클록동기화(discrete clock synchronization) 알고리즘은 클록의 값을 순간적으로 조정하여 클록의 시간이 불연속적으로 진행한다. 이러한 시간상의 불연속성은 시간적 이벤트를 잃어버리거나 다시 발생시키는 오류를 범하게 한다.클록 시간의 불연속성을 피하기 위해 일반적으로 연속클록동기화(continuous clock synchronization) 기법이 제안되고 있지만 소프트웨어적으로 구현되면 많은 오버헤드를 유발시키는 문제점이 있다. 본 논문에서는 시간적 제약을 동적으로 변환시키는 DCT (Dynamic Constraint Transformation) 기법을 제안하였으며, 이를 통해 기존의 이산클록동기화 알고리즘을 수정하지 않고서도 클록 시간의 불연속성에 의한 문제점들을 해결할 수 있도록 하였다. 아울러 DCT에 의해 이산클록동기화 하에서 생성된 태스크 스케쥴이 연속클록동기화에 의해 생성된 스케쥴과 동일함을 증명하여 DCT의 동작이 이론적으로 정확함을 증명하였다.또한 분산 실시간 시스템에서 지역 클록(local clock)이 기준 클록과 완벽하게 일치하지 않아서 발생하는 스케쥴링상의 문제점을 다루었다. 이를 위해 먼저 두 가지의 스케쥴링 가능성, 지역적 스케쥴링 가능성(local schedulability)과 전역적 스케쥴링 가능성(global schedulability)을 정의하고, 이를 위해 시간적 제약을 정적으로 변환시키는 SCT (Static Constraint Transformation) 기법을 제안하였다. SCT를 통해 지역적으로 스케쥴링 가능한 태스크는 전역적으로 스케쥴링이 가능하므로, 단지 지역적 스케쥴링 가능성만을 검사하면 스케쥴링 문제를 해결할 수 있도록 하였고 이를 수학적으로 증명하였다.Abstract In this paper, we present static and dynamic constraint transformation techniques for ensuring timing requirements in a distributed real-time system possessing periodically synchronized distributed local clocks. Traditional discrete clock synchronization algorithms that adjust local clocks instantaneously yield time discontinuities. Such time discontinuities lead to the loss or the gain of events, thus raising serious run-time faults.While continuous clock synchronization is generally suggested to avoid the time discontinuity problem, it incurs too much run-time overhead to be implemented in software. We propose a dynamic constraint transformation (DCT) technique which can solve the problem without modifying discrete clock synchronization algorithms. We formally prove the correctness of the DCT by showing that the DCT with discrete clock synchronization generates the same task schedule as the continuous clock synchronization.We also investigate schedulability problems that arise when imperfect local clocks are used in distributed real-time systems. We first define two notions of schedulability, global schedulability and local schedulability, and then present a static constraint transformation (SCT) technique. The SCT ensures that it is sufficient to check the schedulability of a task locally in a node with a local clock, since the global schedulability of the task is derived from its local schedulability through SCT. We formally prove the correctness of SCT.

• International Journal of Oral Biology
• /
• v.32 no.2
• /
• pp.45-49
• /
• 2007

In this study, the cytotoxicity of commonly used local anesthetics was evaluated on odontoblasts which are essential for pulpal homeostasis in vitro. Local anesthetics, such as articaine, bupivacaine, levobupivacaine, lidocaine, mepivacaine, prilocaine, and procaine, were tested on the odontoblast cell line, MDPC-23. The concentration-and time-dependent cytotoxic effects of local anesthetics on odontoblasts were measured by MTT assay. Among local anesthetics treated for 18 h, only bupivacaine significantly showed cell death in a concentration-($LC_{50}=1.2mM$) and time-dependent manner. To confirm cell death induced by bupivacaine, the observation of cell morphology and FACS using Annexin V and propidium iodide (PI) staining were performed. As a result of Annexin V and PI staining, as well as the morphological change, only bupivacaine induced apoptotic cell death on odontoblasts when compared with levobupivacaine and lidocaine. These results suggest that bupivacaine might affect normal pulpal integrity even after uneventful local anesthesia.

• Smart Structures and Systems
• /
• v.33 no.3
• /
• pp.201-215
• /
• 2024

Spline chirplet transform and local maximum synchrosqueezing are introduced to present a novel structural instantaneous frequency (IF) identification method named local maximum synchrosqueezing spline chirplet transform (LMSSSCT). Namely spline chirplet transform (SCT), a transform is firstly introduced based on classic chirplet transform and spline interpolated kernel function. Applying SCT in association with local maximum synchrosqueezing, the LMSSSCT is then proposed. The index of accuracy and Rényi entropy show that LMSSSCT outperforms the other time-frequency analysis (TFA) methods in processing analytical signals, especially in the presence of noise. Numerical examples of a Duffing nonlinear system with single degree of freedom and a two-layer shear frame structure with time-varying stiffness are used to verify the effectiveness of structural IF identification. Moreover, a nonlinear supported beam structure test is conducted and the LMSSSCT is utilized for structural IF identification. Numerical simulation and experimental results demonstrate that the presented LMSSSCT can effectively identify the IFs of nonlinear structures and time-varying structures with good accuracy and stability.

• KIEE International Transactions on Power Engineering
• /
• v.5A no.2
• /
• pp.177-185
• /
• 2005

This paper proposes an expert system that can enhance the accuracy of real-time bus reconfiguration strategy by adopting the local minimum tree search method and that can minimize the spreading effect of the fault by considering the operating condition when a main transformer fault occurs in an automated substation. The local minimum tree search method is used to expand the best-first search method. This method has the advantage that it can improve the solution performance within the limits of the real-time condition. The inference strategy proposed expert system consists of two stages. The first stage determines the switching candidate set by searching possible switching candidates starting from the main transformer or busbar related to the event. The second stage determines the rational real-time bus reconfiguration strategy based on heuristic rules from the obtained switching candidate set. Also, this paper proposes generalized distribution substation modeling using graph theory, and a substation database based on the study results is designed.

• The Transactions of the Korean Institute of Electrical Engineers D
• /
• v.53 no.2
• /
• pp.76-85
• /
• 2004

In this paper, the contrast enhancement method of thermal image is proposed and it is the plateau equalization algorithm using local histogram for the real time display of infrared imagery. Through hardware implementing, its practicality and adequacy are proved. Examinations are executed to verify the effect of contrast enhancement by bright control and contrast control automatic to the plateau value in the manual mode, and that verified the effect of contrast enhancement in the automatic mode and the practicality in the real system. According to the experiment results, the proposed "the application of local histogram and plateau equalization algorithm for contrast enhancement of real time thermal image"in this dissertation is the verified method for the thermal imaging contrast enhancement.