• International Journal of Contents
• /
• v.10 no.3
• /
• pp.41-46
• /
• 2014

A cause-effect graph considers only the desired external behavior of a system by identifying input-output parameter relationships in the specification. When testing a software system with cause-effect graphs, it is important to derive a moderate number of tests while avoiding loss in fault detection ability. Pairwise testing is known to be effective in determining errors while considering only a small portion of the input space. In this paper, we present a new testing technique that generates pairwise tests from a cause-effect graph. We use a Boolean Satisbiability (SAT) solver to generate pairwise tests from a cause-effect graph. The Alloy language is used for encoding the cause-effect graphs and its SAT solver is applied to generate the pairwise tests. Using a SAT solver allows us to effectively manage constraints over the input parameters and facilitates the generation of pairwise tests, even in the situations where other techniques fail to satisfy full pairwise coverage.

• Geomechanics and Engineering
• /
• v.12 no.4
• /
• pp.611-626
• /
• 2017

The research reported herein is concerned with the model testing of piles socketed in soft rock which was simulated by cement, plaster, sand, water and concrete hardening accelerator. Model tests on a single pile socketed in simulated soft rock under axial cyclic loading were conducted and the bearing capacity and accumulated deformation characteristics under different static, and cyclic loads were studied by using a device which combined oneself-designed test apparatus with a dynamic triaxial system. The accumulated deformation of the pile head, and the axial force, were measured by LVDT and strain gauges, respectively. Test results show that the static load ratio (SLR), cyclic load ratio (CLR), and the number of cycles affect the accumulated deformation, cyclic secant modulus of pile head, and ultimate bearing capacity. The accumulated deformation increases with increasing numbers of cycles, however, its rate of growth decreases and is asymptotic to zero. The cyclic secant modulus of pile head increases and then decreases with the growth in the number of cycles, and finally remains stable after 50 cycles. The ultimate bearing capacity of the pile is increased by about 30% because of the cyclic loading thereon, and the axial force is changed due to the applied cyclic shear stress. According to the test results, the development of accumulated settlement is analysed. Finally, an empirical formula for accumulated settlement, considering the effects of the number of cycles, the static load ratio, the cyclic load ratio and the uniaxial compressive strength, is proposed which can be used for feasibility studies or preliminary design of pile foundations on soft rock subjected to cyclic loading.

• Journal of Computing Science and Engineering
• /
• v.9 no.3
• /
• pp.142-154
• /
• 2015

Fault localization techniques help locate faults in source codes by exploiting collected test information and have shown promising results. To precisely locate faults, the techniques require a large number of test cases that sufficiently exercise the executable statements together with the label information of each test case as a failure or a success. However, during the process of software development, developers may not have high-coverage test cases to effectively locate faults. With the test case generation techniques, a large number of test cases without expected outputs can be automatically generated. Whereas the execution results for generated test cases need to be inspected by developers, which brings much manual effort and potentially hampers fault-localization effectiveness. To address this problem, this paper presents a method to select a few test cases from a number of test cases without expected outputs for result inspection, and in the meantime selected test cases can still support effective fault localization. The experimental results show that our approach can significantly reduce the number of test cases that need to be inspected by developers and the effectiveness of fault localization techniques is close to that of whole test cases.

• Journal of the Korean Society of Fisheries and Ocean Technology
• /
• v.47 no.4
• /
• pp.290-299
• /
• 2011

Field tests were carried out with five different mesh sizes (86.6, 101.0, 121.2, 137.7, 151.5mm) to study the relative efficiency of monofilament and multifilament gill net for Marbled sole, Pleuronectes yokohamae, in the western sea of Korea, 2007-2009. The relative efficiency was analyzed by length distribution, catch in number, catch in weight and weight per individual for Marbled sole. Statistical T-test was done to verify the efficiency between two gears. In the field tests, the total body length range, catch in number and weight of Marbled sole was 15.8-48.2cm, 728 and 254,939g, respectively. During the field tests, Marbled sole less than 15cm length which is prohibition size of fishing was not caught, but the caught number of Marbled sole less than 19.5cm length which is first maturity length was 13 (1.8%) and the caught number of Marbled sole more than 19.5cm was 715 (98.2%). Catches of monofilament gill net was average 1.4 times more efficient than multifilament gill net. The weight per individual and total length by mesh sizes in the two gears tended to gradually increase according to mesh size increasing. But there was little difference of weight per individual and total length by mesh sizes between two gears.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.18 no.4 s.70
• /
• pp.405-416
• /
• 2005

This study contains the static buckling tests and static buckling analyses for small size grids and full size grids. The buckling tests and finite element analyses were performed to evaluate the buckling characteristics of the spacer grids in a pressurized water reactor fuel assembly and to evaluate the possibility of the prediction lot the buckling strength of spacer grids. The buckling tests were performed for small size grids and full size grids, and the correlations between buckling strength and the number of straps and the correlations between buckling strength and the number of rows are derived based on the test results. The static buckling analyses were performed to identify the effect of the number of rows and the number of columns on the buckling strength of spacer grid by a finite element method using ANSYS program and the results were compared with the buckling test results.

• Journal of Korean Society on Water Environment
• /
• v.30 no.2
• /
• pp.166-174
• /
• 2014

Velocity gradient, G, a measure of the average velocity gradient in the fluid has been applied for complete mixing of chemicals in mechanical mixing devices. G values were calculated by the power input transferred to fluid in turbulent and transient range. Chemical reactions occur so fast that total mass transfer time required for even distribution of the chemicals determine the overall reaction time. The total mass transfer time is composed of the time for complete mixing through the reactor and for diffusion of the chemicals into the eddy. Complete mixing time was calculated by CFD (computer fluid dynamics) and evaluated by tracer tests in 2 liter jars at different rotating speeds. Turbulent range, Reynolds number above 10,000 in regular 2 liter jars occurred at revolution speed above 100 rpm (revolution per minute), while laminar range occurred at revolution speed below 10 rpm. A typical range of rotating speed used in jar tests for water and wastewater treatment was between 10 and 300 rpm, which covered both transient and turbulent range. G values supplied from a commercial jar test apparatus showed big difference from those calculated with power number specially in turbulent range. Diffusion time through eddy decreased 1.5 power-law of rotating speed. Complete mixing time determined by pumping number decreased increases in rotating speed. Total mass transfer time, finally, decreases as rotating speed increases, and it becomes 1 sec at rotating speed of 1,000 rpm. Complete mixing times evaluated from tracer tests showed higher than those calculated by power number at higher rotating speed. Complete mixing times, however, calculated by CFD showed similar to those of experimentally evaluated ones.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.33 no.4
• /
• pp.235-241
• /
• 2009

Experimental studies on single-phase toroidal circulation loop(thermosyphon) have been performed in the present study with Ag-nanofluids as a working fluids. The present paper deals with an experimental study on the heat transfer behavior of single-phase toroidal loop. Toroidal loop charged with nanofluid has been constructed and a number of tests have been carried out. Different geometric parameter, e.g., orientation has been investigated. The tests were conducted employing two fluids: distilled water and Ag-nanofluid of various volume concentrations. The experiments at Rayleigh number from $10^5$ to $10^6$ showed a systematic and slight deterioration in natural convective heat transfer. It was observed that the deterioration due to the particle concentration was in the range of 5-10%. At a given particle concentration of 0.05%, abrupt decrease in the Nusselt number and the Raleigh number was observed. The present study with toroidal loop shows that the application of nanofluids for heat transfer intensification should not be decided only by the effective thermal conductivity with increasing particle concentration.

• Wind and Structures
• /
• v.34 no.4
• /
• pp.355-369
• /
• 2022

Section model test, as the most commonly used method to evaluate the aerostatic and aeroelastic performances of long-span bridges, may be carried out under different conditions of incoming wind speed, geometric scale and wind tunnel facilities, which may lead to potential Reynolds number (Re) effect, model scaling effect and wind tunnel scale effect, respectively. The Re effect and scale effect on aerostatic force coefficients and aeroelastic characteristics of streamlined bridge decks were investigated via 1:100 and 1:60 scale section model tests. The influence of auxiliary facilities was further investigated by comparative tests between a bare deck section and the deck section with auxiliary facilities. The force measurement results over a Re region from about 1×10⁵ to 4×10⁵ indicate that the drag coefficients of both deck sections show obvious Re effect, while the pitching moment coefficients have weak Re dependence. The lift coefficients of the smaller scale models have more significant Re effect. Comparative tests of different scale models under the same Re number indicate that the static force coefficients have obvious scale effect, which is even more prominent than the Re effect. Additionally, the scale effect induced by lower model length to wind tunnel height ratio may produce static force coefficients with smaller absolute values, which may be less conservative for structural design. The results with respect to flutter stability indicate that the aerodynamic-damping-related flutter derivatives 𝘈^*₂ and 𝐴^*₁𝐻^*₃ have opposite scale effect, which makes the overall scale effect on critical flutter wind speed greatly weakened. The most significant scale effect on critical flutter wind speed occurs at +3° wind angle of attack, which makes the small-scale section models give conservative predictions.

• Journal of the Korean Data and Information Science Society
• /
• v.24 no.6
• /
• pp.1465-1475
• /
• 2013

The chi-square type test statistic is the most commonly used test in terms of measuring testing goodness-of-fit for multinomial logistic regression model, which has its grouped data (binomial data) and ungrouped (binary) data classified by a covariate pattern. Chi-square type statistic is not a satisfactory gauge, however, because the ungrouped Pearson chi-square statistic does not adhere well to the chi-square statistic and the ungrouped Pearson chi-square statistic is also not a satisfactory form of measurement in itself. Currently, goodness-of-fit in the ordinal setting is often assessed using the Pearson chi-square statistic and deviance tests. These tests involve creating a contingency table in which rows consist of all possible cross-classifications of the model covariates, and columns consist of the levels of the ordinal response. I examined goodness-of-fit tests for a proportional odds logistic regression model-the most commonly used regression model for an ordinal response variable. Using a simulation study, I investigated the distribution and power properties of this test and compared these with those of three other goodness-of-fit tests. The new test had lower power than the existing tests; however, it was able to detect a greater number of the different types of lack of fit considered in this study. I illustrated the ability of the tests to detect lack of fit using a study of aftercare decisions for psychiatrically hospitalized adolescents.

• Journal of the Korean Geosynthetics Society
• /
• v.21 no.1
• /
• pp.33-48
• /
• 2022

This paper presents illustrative examples of the application of advanced digital image correlation (DIC) technology in the geotechnical laboratory tests, such as shallow footing test, trapdoor test, retaining wall test, and wide width tensile test on geogrid. The theoretical background of the DIC technique is first introduced together with fundamental equations. Relevant reduced-scale model tests were then performed using standard sand while applying the DIC technique to capture the movement of target materials during tests. A number of different approaches were tried to obtain optimized images that allow efficient tracking of material speckles based on the DIC technique. In order to increase the trackability of soil particles, a mix of dyed and regular sand was used during the model tests while specially devised painted speckles were applied to the geogrid. A series of images taken during tests were automatically processed and analyzed using software named VIC-2D that automatically generates displacements and strains. The soil deformation field and associated failure patterns obtained from the DIC technique for each test were found to compare fairly well with the theoretical ones. Also shown is that the DIC technique can also general strains appropriate to the wide width tensile test on geogrid, It is demonstrated in this study that the advanced DIC technique can be effectively used in monitoring the deformation and strain field during a reduced-scale geotechnical model laboratory test.