• Journal of Computing Science and Engineering
• /
• v.3 no.4
• /
• pp.195-215
• /
• 2009

Worst-case execution time (WCET) analysis is critical for hard real-time systems to ensure that different tasks can meet their respective deadlines. While significant progress has been made for WCET analysis of instruction caches, the data cache timing analysis, especially for set-associative data caches, is rather limited. This paper proposes an approach to safely and tightly bounding data cache performance by computing the worst-case stack distance of data cache accesses. Our approach can not only be applied to direct-mapped caches, but also be used for set-associative or even fully-associative caches without increasing the complexity of analysis. Moreover, the proposed approach can statically categorize worst-case data cache misses into cold, conflict, and capacity misses, which can provide useful insights for designers to enhance the worst-case data cache performance. Our evaluation shows that the proposed data cache timing analysis technique can safely and accurately estimate the worst-case data cache performance, and the overestimation as compared to the observed worst-case data cache misses is within 1% on average.

• Journal of the Korea Society of Computer and Information
• /
• v.28 no.1
• /
• pp.93-101
• /
• 2023

In this paper, we propose a method of creating a 3D bounding box for an object using a vanishing point to increase the accuracy of object recognition in an image when recognizing an traffic object using a video camera. Recently, when vehicles captured by a traffic video camera is to be detected using artificial intelligence, this 3D bounding box generation algorithm is applied. The vertical vanishing point (VP1) and horizontal vanishing point (VP2) are derived by analyzing the camera installation angle and the direction of the image captured by the camera, and based on this, the moving object in the video subject to analysis is specified. If this algorithm is applied, it is easy to detect object information such as the location, type, and size of the detected object, and when applied to a moving type such as a car, it is tracked to determine the location, coordinates, movement speed, and direction of each object by tracking it. Able to know. As a result of application to actual roads, tracking improved by 10%, in particular, the recognition rate and tracking of shaded areas (extremely small vehicle parts hidden by large cars) improved by 100%, and traffic data analysis accuracy was improved.

• Journal of the Korean Society of Manufacturing Technology Engineers
• /
• v.6 no.1
• /
• pp.34-44
• /
• 1997

This study presents the recursive constraint bounding(RCB) method to reduce the cycle time in internal cylindrical plunge grinding process. This method can cope with process noise as well as modeling bias. The main features of RCB method are its utilization of measurements at the end of each cycle and its use of monotonicity analysis for determining the extremes of bias and noise. This method is investigated in simulation and evaluated by experiment in internal cylindrical plunge grinding operation. The results from simulation and experiment show that it is effective in reducing cycle time in spite of modeling uncertainty in the forms of process noise and modeling bias.

• 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.

• Journal of Computing Science and Engineering
• /
• v.5 no.2
• /
• pp.131-140
• /
• 2011

Different cores typically share the last-level cache in a multi-core processor. Threads running on different cores may interfere with each other. Therefore, the multi-core worst-case execution time (WCET) analyzer must be able to safely and accurately estimate the worst-case inter-thread cache interference. This is not supported by current WCET analysis techniques that manly focus on single thread analysis. This paper presents a novel approach to analyze the worst-case cache interference and bounding the WCET for threads running on multi-core processors with shared L2 instruction caches. We propose to use an interference matrix to model inter-thread interference, on which basis we can calculate the worst-case inter-thread cache interference. Our experiments indicate that the proposed approach can give a worst-case bound less than 1%, as in benchmark fib-call, and an average 16.4% overestimate for threads running on a dual-core processor with shared-L2 cache. Our approach dramatically improves the accuracy of WCET overestimatation by on average 20.0% compared to work.

• The Journal of Korean Institute of Information Technology
• /
• v.17 no.5
• /
• pp.13-20
• /
• 2019

Recently, object detection technology based on CNN has been actively studied. Object detection technology is used as an important technology in autonomous vehicles, intelligent image analysis, and so on. In this paper, we propose a rotation change robust object detection system by applying MI-FL (Moment Invariant-Feature Layer) to SSD (Single Shot Multibox Detector) which is one of CNN-based object detectors. First, the features of the input image are extracted based on the VGG network. Then, a total of six feature layers are applied to generate bounding boxes by predicting the location and type of object. We then use the NMS algorithm to get the bounding box that is the most likely object. Once an object bounding box has been determined, the invariant moment feature of the corresponding region is extracted using MI-FL, and stored and learned in advance. In the detection process, it is possible to detect the rotated image more robust than the conventional method by using the previously stored moment invariant feature information. The performance improvement of about 4 ~ 5% was confirmed by comparing SSD with existing SSD and MI-FL.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.43 no.4
• /
• pp.469-476
• /
• 2023

Soil plasticity models for cyclic and dynamic loads are essential in non-linear numerical analysis of geotechnical structures. While a single yield surface model shows a linear behavior for cyclic loads, J₂-bounding surface plasticity model with zero elastic region can effectively simulate a nonlinearity of the ground response with the same material properties. The radius of the yield surface inside the boundary surface converged to 0 to make the elastic region disappear, and plastic hardening modulus and dilatancy define plastic strain increment. This paper presents the stress-strain incremental equation of the developed model, and derives plastic hardening modulus for the hyperbolic model. The comparative analyses of the triaxial compression test and the shallow foundation under the cyclic load can show stable numerical convergence, consistency with the theoretical solution, and hysteresis behavior. In addition, plastic hardening modulus for the modified hyperbolic function is presented, and a methodology to estimate model variables conforming 1D equivalent linear model is proposed for numerical modeling of the multi-dimensional behavior of the ground.

• Coupled systems mechanics
• /
• v.12 no.2
• /
• pp.127-149
• /
• 2023

A theoretical method is developed to analyze the free vibration of an elastic annular plate in contact with an ideal liquid. The displacement potential functions of the contained liquid are expressed as a combination of the Bessel functions that satisfy the Laplace equation and the liquid boundary conditions. The compatibility condition along the interface between the annular plate and the contained liquid is taken into account to consider the fluid-structure coupling. The dynamic displacement of the wet annular plate is assumed to be a combination of dry eigenfunctions, allowing for prediction of the natural frequencies using the Rayleigh-Ritz method. The study investigates the effect of radial liquid boundary conditions on the natural frequencies of the wet annular plate, considering four types of liquid bounding: outer container bounded, outer and inner bounded, inner bounded, and radially unbounded. The proposed theoretical method is validated by comparing the predicted wet natural frequencies with those obtained from finite element analysis, showing excellent accuracy. The results indicate that the radial liquid bounding effect on the natural frequencies is negligible for the axisymmetric vibrational mode, but relatively significant for the mode with one nodal diameter (n =1) and no nodal circle (m' = 0). Furthermore, the study reveals that the wet natural frequencies are the largest for the plate with an inner bounded cylinder among the radial liquid boundary cases, regardless of the vibration mode.

• Proceedings of the Korean Geotechical Society Conference
• /
• 1988.06c
• /
• pp.3-67
• /
• 1988

Model studies on the response of homgeneous earth embankment dams subjected to strike-slip fault movement have been penomed via centrifuge and finite element analysis. The centrifuge model tests have shown that crack development in earth embankment experiences two major patters: shear failure deep inside the embankment and tension failure near the surface. The shear rupture zone develops from the base level and propagates upward continuously in the transverse direction but allows no open leakage chnnel. The open tensile cracks develop near the surface of the embankment, but they disappear deep in the embankment. The functional relationship has been developed based on the results of the centrifuge model tests incorporating tile variables of amount of fault movement, embankment geometry, and crack propagation extent in earth des. This set of information can be used as a guide line to evaluate a "transient" safety of the duaged embankment subjected to strike-slip fault movement. The finite element analysis has supplemented the additional expluations on crack development behavior identified from the results of the centrifuge model tests. The bounding surface time-independent plasticity soil model was employed in the numerical analysis. Due to the assumption of continuum in the current version of the 3-D FEM code, the prediction of the soil structure response beyond the failure condition was not quantitatively accurate. However, the fundamental mechanism of crack development was qualitatively evaluated based on the stress analysis for the deformed soil elements of the damaged earth embankment. The tensile failure zone is identified when the minor principal stress of the deformed soil elements less than zero. The shear failure zone is identified when the stress state of the deformed soil elements is at the point where the critical state line intersects the bounding surface.g surface.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10b
• /
• pp.485-487
• /
• 1999

본 논문에서는 온라인 필기체 수식 인식을 위한 순차적인 구조 분석 방법을 제안한다. 제안된 방법은 캐블릿상에서 필기된 수식에 대한 심볼 인식 결과와 각 심볼의 Bounding Box이 좌표를 입력받아서 필기 순서를 기반으로 순차적으로 수식의 구조를 해석한다. 그래프 내의 이웃하는 두 노드 사이의 관계를 결정하기 위해서 심볼의 사용에 관한 표기 정보와 6단계 관계 결정 규칙을 사용하여 노드들 사이에 생성될 수 있는 에지의 수를 최소화하고 BackTracking을 피했다. 제안 방법의 성능을 평가하기 위해 100개의 테스트 샘플에 대해 구조 분석 실험을 수행하였다.