• Journal of Mechanical Science and Technology
• /
• v.16 no.10
• /
• pp.1320-1326
• /
• 2002

In a one-dimensional heat conduction domain with heated and insulated walls, an integral approach is proposed to estimate time-dependent boundary heat flux without internal measurements. It is assumed that the expression of the heat flux is not known a priori. Hence, the present inverse heat conduction problem is classified as a function estimation problem. The spatial temperature distribution is approximated as a third-order polynomial of position, whose four coefficients are determined from the heat fluxes and the temperatures at both ends at each measurement. After integrating the heat conduction equation over spatial and time domain, respectively, a simple and non-iterative recursive equation to estimate the time-dependent boundary heat flux is derived. Several examples are introduced to show the effectiveness of the present approach.

• Journal of Computing Science and Engineering
• /
• v.5 no.1
• /
• pp.1-18
• /
• 2011

As the first step toward real-time multi-core computing, this paper presents a novel approach to bounding the worst-case performance for threads running on multi-core processors with shared L2 instruction caches. The idea of our approach is to compute the worst-case instruction access interferences between different threads based on the program control flow information of each thread, which can be statically analyzed. Our experiments indicate that the proposed approach can reasonably estimate the worst-case shared L2 instruction cache misses by considering the inter-thread instruction conflicts. Also, the worst-case execution time (WCET) of applications running on multi-core processors estimated by our approach is much better than the estimation by simply assuming all L2 instruction accesses are misses.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.16 no.6
• /
• pp.307-312
• /
• 2021

This paper proposes an adaptive time-delayed control approach with the integral sliding-mode surface for the fast convergence rate of robot manipulators. Adaptive switching gain aims to guarantee the system stability in such a way as to suppress time-delayed estimation error in the proposed control approach. Moreover, it makes an effort to increase the convergence ability in reaching the phase. An integral sliding-mode surface is employed to achieve a fast convergence rate in the sliding phase. The stability of the proposed one is proved to be asymptotically stable in the Lyapunov stability. The efficiency of the proposed control approach is illustrated with a tutorial example in robot manipulator, which is compared to that of the existing control approach.

• Journal of Industrial Technology
• /
• v.21 no.A
• /
• pp.167-179
• /
• 2001

This paper discusses an index-based subsequence matching that supports time warping in large sequence databases. Time warping enables finding sequences with similar patterns even when they are of different lengths. In earlier work, we suggested an efficient method for whole matching under time warping. This method constructs a multidimensional index on a set of feature vectors, which are invariant to time warping, from data sequences. For filtering at feature space, it also applies a lower-bound function, which consistently underestimates the time warping distance as well as satisfies the triangular inequality. In this paper, we incorporate the prefix-querying approach based on sliding windows into the earlier approach. For indexing, we extract a feature vector from every subsequence inside a sliding window and construct a multi-dimensional index using a feature vector as indexing attributes. For query precessing, we perform a series of index searches using the feature vectors of qualifying query prefixes. Our approach provides effective and scalable subsequence matching even with a large volume of a database. We also prove that our approach does not incur false dismissal. To verily the superiority of our method, we perform extensive experiments. The results reseal that our method achieves significant speedup with real-world S&P 500 stock data and with very large synthetic data.

• Journal of Computing Science and Engineering
• /
• v.7 no.1
• /
• pp.67-80
• /
• 2013

The worst-case execution time (WCET) of each real-time task in multicore processors with shared caches can be significantly affected by inter-thread cache interferences. The worst-case inter-thread cache interferences are dependent on how tasks are scheduled to run on different cores. Therefore, there is a circular dependence between real-time task scheduling, the worst-case inter-thread cache interferences, and WCET in multicore processors, which is not the case for single-core processors. To address this challenging problem, we present an offline real-time scheduling approach for multicore processors by considering the worst-case inter-thread interferences on shared L2 caches. Our scheduling approach uses a greedy heuristic to generate safe schedules while minimizing the worst-case inter-thread shared L2 cache interferences and WCET. The experimental results demonstrate that the proposed approach can reduce the utilization of the resulting schedule by about 12% on average compared to the cyclic multicore scheduling approaches in our theoretical model. Our evaluation indicates that the enhanced scheduling approach is more likely to generate feasible and safe schedules with stricter timing constraints in multicore real-time systems.

• Journal of Institute of Control, Robotics and Systems
• /
• v.14 no.11
• /
• pp.1124-1129
• /
• 2008

Recently, two-port time-domain passivity approach was modified for time-varying communication delay. The newly proposed approach could achieve stable teleoperation even under the serious time-varying delay and packet loss communication condition. However, after some operation hour, the accumulated energy difference between the input energy from one port and the output energy at the other port caused unstable behavior until the passivity controller is activated. Resetting scheme is introduced for solving this problem, and stable bilateral teleoperation can be guaranteed without worrying about the accumulated energy difference.

• Journal of the Korean Society of Manufacturing Technology Engineers
• /
• v.24 no.5
• /
• pp.535-540
• /
• 2015

We propose an enhanced Green's function approach to predict thermal stresses by considering temperature-dependent material properties. We introduce three correction factors for the maximum stress, the time taken to reach maximum stress, and the time required to attain steady state based on the Green's function results for each temperature. The proposed approach considers temperature-dependent material properties using correction factors, which are defined as polynomial expressions with respect to temperatures based on Green's functions, that we obtain from finite-element (FE) analyses at each temperature. We verify the proposed approach by performing detailed FE analyses on thermal transients. The Green's functions predicted by the proposed approach are in good agreement with those obtained from FE analyses for all temperatures. Moreover, the thermal stresses predicted using the proposed approach are also in good agreement with the FE results, and the proposed approach provides better predictions than the conventional Green's function approach using constant, time-independent material properties.

• Journal of Korean Neurosurgical Society
• /
• v.64 no.1
• /
• pp.60-68
• /
• 2021

Objective : Until recently, the transfemoral approach (TFA) was used as the primary method of arterial approach in acute ischemic stroke (AIS). However, TFA resulted in longer reperfusion times and worse outcomes in the mechanical thrombectomy (MT) of patients with complex aortic arches and significant carotid tortuosity. We found that the transradial approach (TRA) is a more favorable alternative approach for MT in such cases. Methods : We performed a retrospective review of our institutional database to identify 202 patients who underwent MT for AIS between February 2015 and December 2019. Patient characteristics, cause of TFA failure, procedure time, intra-procedural complications, and outcomes were recorded. Results : Eleven (5.4%) of 202 patients, who underwent MT for AIS, crossed over to TRA for recanalization, and eight (72%) of 11 achieved successful recanalization (≥modified Treatment in Cerebral Infarction 2b). The mean age (mean±standard deviation [median]) was 82.3±6.6 (76) years, and five of the 11 patients were male. The last seen normal to puncture time was 467.9±264.72 (264) minutes; baseline National Institutes of Health Stroke Scale score was 28.9±14.5 (16). Six (55%) of the 11 patients had right vertebrobasilar occlusions, and the remaining five (45%) had anterior circulation occlusive disease. The time from groin puncture to final recanalization time (overall procedural time) was 78.0±20.1 (62) minutes. The mean crossover time from TFA to TRA was 45.2±10.5 (41) minutes. The mean time from radial puncture to final recanalization was 33.8±10.5 (28) minutes. Distal thrombus migration events in previously unaffected territories occurred in 3/8 patients (37%). At 90 days, three patients (28%) had a favorable clinical outcome. Conclusion : Although rare, failure of TFA has been known to occur during MT for AIS. Our results demonstrate that TRA may be an alternative option for AIS intervention for select patients with subsequent timely revascularization. However, the incidence of distal thrombus migration was high, and the first puncture to reperfusion time was prolonged because of the time taken for the crossover to TRA after failure of TFA. This study provides some evidence that the TRA may be a viable alternative option to the TFA for MT of AIS.

• Proceedings of the KIEE Conference
• /
• 1984.07a
• /
• pp.68-70
• /
• 1984

• Journal of Information Processing Systems
• /
• v.8 no.2
• /
• pp.213-240
• /
• 2012

Safety critical systems, real time systems, and event-based systems have a complex set of events and their own interdependency, which makes them difficult to test ma Safety critic Safety critical systems, real time systems, and event-based systems have a complex set of events and their own interdependency, which makes them difficult to test manually. In order to cut down on costs, save time, and increase reliability, the model based testing approach is the best solution. Such an approach does not require applications or codes prior to generating test cases, so it leads to the early detection of faults, which helps in reducing the development time. Several model-based testing approaches have used different UML models but very few works have been reported to show the generation of test cases that use events. Test cases that use events are an apt choice for these types of systems. However, these works have considered events that happen at a user interface level in a system while other events that happen in a system are not considered. Such works have limited applications in testing the GUI of a system. In this paper, a novel model-based testing approach is presented using business events, state events, and control events that have been captured directly from requirement specifications. The proposed approach documents events in event templates and then builds an event-flow model and a fault model for a system. Test coverage criterion and an algorithm are designed using these models to generate event sequence based test scenarios and test cases. Unlike other event based approaches, our approach is able to detect the proposed faults in a system. A prototype tool is developed to automate and evaluate the applicability of the entire process. Results have shown that the proposed approach and supportive tool is able to successfully derive test scenarios and test cases from the requirement specifications of safety critical systems, real time systems, and event based systems.