• Title/Summary/Keyword: Dynamic Software Defects

Search Result 16, Processing Time 0.023 seconds

A design of the PSDG based semantic slicing model for software maintenance (소프트웨어의 유지보수를 위한 PSDG기반 의미분할모형의 설계)

  • Yeo, Ho-Young;Lee, Kee-O;Rhew, Sung-Yul
    • The Transactions of the Korea Information Processing Society
    • /
    • v.5 no.8
    • /
    • pp.2041-2049
    • /
    • 1998
  • This paper suggests a technique for program segmentation and maintenance using PSDG(Post-State Dependency Graph) that improves the quality of a software by identifying and detecting defects in already fixed source code. A program segmentation is performed by utilizing source code analysis which combines the measures of static, dynamic and semantic slicing when we need understandability of defect in programs for corrective maintanence. It provides users with a segmental principle to split a program by tracing state dependency of a source code with the graph, and clustering and highlighting, Through a modeling of the PSDG, elimination of ineffective program deadcode and generalization of related program segments arc possible, Additionally, it can be correlated with other design modeb as STD(State Transition Diagram), also be used as design documents.

  • PDF

Fluid Dynamic Efficiency of an Anatomically Correct Total Cavopulmonary Connection: Flow Visualizations and Computational Fluid Dynamic Studies

  • Yun, S.H.;Kim, S.Y.;Kim, Y.H.
    • International Journal of Vascular Biomedical Engineering
    • /
    • v.2 no.1
    • /
    • pp.11-16
    • /
    • 2004
  • Both flow visualizations and computational fluid dynamics were performed to determine hemodynamics in a total cavopulmonary connection (TCPC) model for surgically correcting congenital heart defects. From magnetic resonance images, an anatomically correct glass model was fabricated to visualize steady flow. The total flow rates were 4, 6 and 8L/min and flow rates from SVC and IVC were 40:60. The flow split ratio between LPA and RPA was varied by 70:30, 60:40 and 50:50. A pressure-based finite-volume software was used to solve steady flow dynamics in TCPC models. Results showed that superior vena cava(SVC) and inferior vena cava(IVC) flow merged directly to the intra-atrial conduit, creating two large vortices. Significant swirl motions were observed in the intra-atrial conduit and pulmonary arteries. Flow collision or swirling flow resulted in energy loss in TCPC models. In addition, a large intra-atrial channel or a sharp bend in TCPC geometries could influence on energy losses. Energy conservation was efficient when flow rates in pulmonary branches were balanced. In order to increase energy efficiency in Fontan operations, it is necessary to remove a flow collision in the intra-atrial channel and a sharp bend in the pulmonary bifurcation.

  • PDF

Study on Advanced Frequency Estimation Technique using Gain Compensation

  • Park, Chul-Won;Shin, Dong-Kwang;Kim, Chul-Hwan;Kim, Hak-Man;Kim, Yoon-Sang
    • Journal of Electrical Engineering and Technology
    • /
    • v.6 no.4
    • /
    • pp.439-446
    • /
    • 2011
  • Frequency is an important operating parameter for the protection, control, and stability of a power system. Thus, it must be maintained very close to its nominal frequency. Due to the sudden change in generation and loads or faults in a power system, however, frequency deviates from its nominal value. An accurate monitoring of the power frequency is essential for optimum operation and prevention of wide area blackout. Most conventional frequency estimation schemes are based on the DFT filter. In these schemes, the gain error could cause defects when the frequency deviates from the nominal value. We present an advanced frequency estimation technique using gain compensation to enhance the DFT filter-based technique. The proposed technique can reduce the gain error caused when the frequency deviates from the nominal value. Simulation studies are performed using both the data from EMTP-RV software and the user-defined arbitrary signals to demonstrate the effectiveness of the proposed algorithm. Results show that the proposed algorithm achieves good performance under both steady state tests and dynamic conditions.

Health monitoring of pressurized pipelines by finite element method using meta-heuristic algorithms along with error sensitivity assessment

  • Amirmohammad Jahan;Mahdi Mollazadeh;Abolfazl Akbarpour;Mohsen Khatibinia
    • Structural Engineering and Mechanics
    • /
    • v.87 no.3
    • /
    • pp.211-219
    • /
    • 2023
  • The structural health of a pipeline is usually assessed by visual inspection. In addition to the fact that this method is expensive and time consuming, inspection of the whole structure is not possible due to limited access to some points. Therefore, adopting a damage detection method without the mentioned limitations is important in order to increase the safety of the structure. In recent years, vibration-based methods have been used to detect damage. These methods detect structural defects based on the fact that the dynamic responses of the structure will change due to damage existence. Therefore, the location and extent of damage, before and after the damage, are determined. In this study, fuzzy genetic algorithm has been used to monitor the structural health of the pipeline to create a fuzzy automated system and all kinds of possible failure scenarios that can occur for the structure. For this purpose, the results of an experimental model have been used. Its numerical model is generated in ABAQUS software and the results of the analysis are used in the fuzzy genetic algorithm. Results show that the system is more accurate in detecting high-intensity damages, and the use of higher frequency modes helps to increase accuracy. Moreover, the system considers the damage in symmetric regions with the same degree of membership. To deal with the uncertainties, some error values are added, which are observed to be negligible up to 10% of the error.

A Prediction-based Dynamic Component Offloading Framework for Mobile Cloud Computing (모바일 클라우드 컴퓨팅을 위한 예측 기반 동적 컴포넌트 오프로딩 프레임워크)

  • Piao, Zhen Zhe;Kim, Soo Dong
    • Journal of KIISE
    • /
    • v.45 no.2
    • /
    • pp.141-149
    • /
    • 2018
  • Nowadays, mobile computing has become a common computing paradigm that provides convenience to people's daily life. More and more useful mobile applications' appearance makes it possible for a user to manage personal schedule, enjoy entertainment, and do many useful activities. However, there are some inherent defects in a mobile device that battery constraints and bandwidth limitations. These drawbacks get a user into troubles when to run computationally intensive applications. As a remedy scheme, component offloading makes room for handling mentioned issues via migrating computationally intensive component to the cloud server. In this paper, we will present the predictive offloading method for efficient mobile cloud computing. At last, we will present experiment result for validating applicability and practicability of our proposal.

Effects of particle size and loading rate on the tensile failure of asphalt specimens based on a direct tensile test and particle flow code simulation

  • Q. Wang;D.C. Wang;J.W. Fu;Vahab Sarfarazi;Hadi Haeri;C.L. Guo;L.J. Sun;Mohammad Fatehi Marji
    • Structural Engineering and Mechanics
    • /
    • v.86 no.5
    • /
    • pp.607-619
    • /
    • 2023
  • This study, it was tried to evaluate the asphalt behavior under tensile loading conditions through indirect Brazilian and direct tensile tests, experimentally and numerically. This paper is important from two points of view. The first one, a new test method was developed for the determination of the direct tensile strength of asphalt and its difference was obtained from the indirect test method. The second one, the effects of particle size and loading rate have been cleared on the tensile fracture mechanism. The experimental direct tensile strength of the asphalt specimens was measured in the laboratory using the compression-to-tensile load converting (CTLC) device. Some special types of asphalt specimens were prepared in the form of slabs with a central hole. The CTLC device is then equipped with this specimen and placed in the universal testing machine. Then, the direct tensile strength of asphalt specimens with different sizes of ingredients can be measured at different loading rates in the laboratory. The particle flow code (PFC) was used to numerically simulate the direct tensile strength test of asphalt samples. This numerical modeling technique is based on the versatile discrete element method (DEM). Three different particle diameters were chosen and were tested under three different loading rates. The results show that when the loading rate was 0.016 mm/sec, two tensile cracks were initiated from the left and right of the hole and propagated perpendicular to the loading axis till coalescence to the model boundary. When the loading rate was 0.032 mm/sec, two tensile cracks were initiated from the left and right of the hole and propagated perpendicular to the loading axis. The branching occurs in these cracks. This shows that the crack propagation is under quasi-static conditions. When the loading rate was 0.064 mm/sec, mixed tensile and shear cracks were initiated below the loading walls and branching occurred in these cracks. This shows that the crack propagation is under dynamic conditions. The loading rate increases and the tensile strength increases. Because all defects mobilized under a low loading rate and this led to decreasing the tensile strength. The experimental results for the direct tensile strengths of asphalt specimens of different ingredients were in good accordance with their corresponding results approximated by DEM software.