• International Journal of Railway
• /
• v.8 no.2
• /
• pp.46-49
• /
• 2015

In this paper, improved out-of-plane design of parabolic arches was proposed based on the current design code. The arches resist general loading by a combination of axial compression and bending actions, and the interaction formula between two extreme cases of axial and bending actions is generally used for the design. Firstly, the out-of-plane buckling strength of arches in a pure axial compression and a pure bending were studied. Then, out-of-plane design of parabolic aches under general transverse loading was investigated. From the results, it can be found that the proposed design equations provided good prediction of out-of-plane strength for parabolic arches which satisfy the thresholds for deep arches, while proposed design equations overestimated the buckling load of shallow arches.

• KCI Concrete Journal
• /
• v.12 no.1
• /
• pp.101-111
• /
• 2000

It has been a well known fact that buildings having inappropriate expansion joints in their spacings may be subject to exterior damages due to extensive cracks on the outer walls under service loads and structural damages due to excessive moment induced by temperature changes at ultimate load conditions. Unfortunately, consistent code provisions are unavailable regarding spacings of expansion joints from different foreign structural codes. And a more serious problem is that no quantitative measurements on spacings is given in our codes for building structures. In order to establish a rational guideline on the spacing of expansion joints, theoretical approaches are taken in this study. The developed theoretical formula is, then, converted to a design chart for structural designers' convenience in its use. The chart considers both service and ultimate load stages.

• Proceedings of the Korea Concrete Institute Conference
• /
• 2006.11a
• /
• pp.37-40
• /
• 2006

In this paper, long term deflection of RC beam with variable substitution ratio of recycled aggregate is investigated. 6 RC beam specimens are designed using concrete made of coarse aggregate of 25mm size, mix strength of 21MPa, slump of 12cm and air content of $5.0{\pm}1.5%$. A few concrete blocks are made and used for long term loading. The loading and deflection instrumentation are conducted following the process codified in ACI 318-05 code. Test result shows that the deflection of specimens depends on the compressive strength of concrete. And it is concluded that the deflection of RC beam can be predicted like normal beam using ACI formula if certain level of compressive strength is acquired even recycled aggregate is used in making the beam.

• Journal of the Korean Society of Safety
• /
• v.8 no.2
• /
• pp.87-93
• /
• 1993

Many methods to assess hazards caused by the risks increased with the growth of petrochemical industry. The manual of International Atomic Energy Agency which was much more applied to quantitative analysis of the real situation and the CPQRA is introduced to verify the theoretical background of this manual. Than other methods, as a result, we can see that this manual, which is simple to use and requires a little information, shows similar results to those of calculation by numerical formula. Also, the program code of this manual was materialized and if it is possible to obtain adequate parameters to our circumstance, the manual will be quite useful in early risk analysis.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.6 no.1
• /
• pp.119-129
• /
• 2002

Reinforced concrete haunched beams have been used for enhancement of shear resistance of beams to avoid the stress concentration. But American and British codes do not give my formula for the design of haunched beams. The purpose of this research is to experimentally investigate the shear failure of reinforced concrete punched beams for various haunch inclinations and shear span-to-depth ratios. The experimental results showed that even though shear behavior of haunched beam were similar to that of resembled rectangular beams, shear span-to-depth ratios and inclinations of haunch had effects on shear cracking strength.

• Structural Engineering and Mechanics
• /
• v.59 no.1
• /
• pp.59-82
• /
• 2016

Simplifier assumptions which are used in numerical studies of progressive collapse phenomenon in structures indicate inconsistency between the numerical and experimental full-scale results. Neglecting the effects of infill panels and two-dimensional simulation are some of these assumptions. In this study, an existing seismically code-designed steel building is analyzed with alternate path method (AP) to assess its resistance against progressive collapse. In the AP method, the critical columns be removed immediately and stability of the remaining structure is investigated. Analytical macro-model based on the equivalent strut approach is used to simulate the effective infill panels. The 3-dimentional nonlinear dynamic analysis results show that modeling the slabs and infill panels can increase catenary actions and stability of the structure to resist progressive collapse even if more than one column removed. Finally, a formula is proposed to determine potential of collapse of the structure based on the quantity and quality of the produced plastic hinges in the connections.

• Annual Conference of KIPS
• /
• 2012.04a
• /
• pp.1176-1179
• /
• 2012

To ensure the correctness of high performance satisfiability (SAT) solvers, several proof formats have been proposed. SAT solvers can report a formula being unsatisfiable with a proof, which can be independently verified by a trusted proof checker. Among the proof formats accepted at the SAT competition, the Reverse Unit Propagation (RUP) format is considered the most popular. However, the official proof checker was not efficient and failed to check many of the proofs at the competition. This inefficiency is one of the drawbacks of SAT proof checking. In this paper, I introduce a work-in-progress project, vercheck to implement an efficient RUP checker using modern SAT solving techniques. Even though my implementation is larger and more complex, the level of trust is preserved by statically verifying the correctness of the code. The vercheck program is written in GURU, a dependently typed functional programming language with a low-level resource management feature.

• International Journal of Naval Architecture and Ocean Engineering
• /
• v.12 no.1
• /
• pp.468-478
• /
• 2020

The wave interaction problem with a vertical slotted breakwater, consisting of impermeable upper, lower parts and a permeable middle part, has been studied theoretically. An analytical model was presented for the estimation of reflection and transmission of monochromatic waves by a slotted breakwater. The far-field solution of the wave scattering involving nonlinear porous boundary condition was obtained using eigenfunction expansion method. The empirical formula for drag coefficient in the near-field, representing energy dissipation across the slotted barrier, was determined by curve fitting of the numerical solutions of 2-D channel flow using CFD code StarCCM+. The theoretical model was validated with laboratory experiments for various configurations of a slotted barrier. It showed that the developed analytical model can correctly predict the energy dissipation caused by turbulent eddies due to sudden contraction and expansion of a slotted barrier. The present paper provides a synergetic approach of the analytical and numerical modelling with minimum CPU time, for better estimation of the hydrodynamic performance of slotted breakwater.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.40 no.4
• /
• pp.371-381
• /
• 2020

The failure mode of concrete reinforced with FRP is defined as the concrete crushing and the fiber rupture and the definition of limit state is a slightly different according to the design methods. It is relatively difficult to predict of FRP reinforced concrete because the mechanical properties of fibers are quite depending on its of fibers. The design code by ACI440 committee, which has been developed mainly on GFRP having low modulus of elasticity, is widely used, but the applicability on other FRPs of this code has not been sufficiently verified. In addition, the ultimate and serviceability limit state based on the ACI440 are comparatively difficult to predict the behavior of member with the 0.8~1.2 𝜌_b because crushing and rupturing failure can be occurred simultaneously is in this region of reinforcement ratio, and predicted deflection is too sensitive according to the loading condition. Therefore, in this study, reliability and convenience of the prediction of structural performance by design methods such as ACI440 and MC90 concept, respectively, were examined through the experimental results and literature review of the beam and slab with the reinforcement ratio of 0.8 ~ 1.4. As a result of the analysis, it can be applied to the FRP reinforced structure in the case of the simple moment-curvature formula (LIM-MC) of Model Code, and the limit state design method based on the EC2 is more reliable than the ultimate strength design method.

• Journal of computational fluids engineering
• /
• v.15 no.2
• /
• pp.7-13
• /
• 2010

Flight vehicles such as wheel wells and bomb bays have many cavities. The flow around a cavity is characterized as an unsteady flow because of the formation and dissipation of vortices brought by the interaction between the free stream shear layer and the internal flow of the cavity. The resonance phenomena can damage the structures around the cavity and negatively affect the aerodynamic performance and stability of the vehicle. In this study, a numerical analysis was performed for the cavity flows using the unsteady compressible three-dimensional Reynolds-Averaged Navier-Stokes (RANS) equation with Wilcox's turbulence model. The Message Passing Interface (MPI) parallelized code was used for the calculations by PC-cluster. The cavity has aspect ratios (L/D) of 5.5 ~ 7.5 with width ratios (W/D) of 2 ~ 4. The Mach and Reynolds numbers are 0.4 ~ 0.6 and $1.6{\times}10^6$, respectively. The occurrence of oscillation is observed in the "shear layer and transient mode" with a feedback mechanism. Based on the Sound Pressure Level (SPL) analysis of the pressure variation at the cavity trailing edge, the dominant frequencies are analyzed and compared with the results of Rossiter's formula. The dominant frequencies are very similar to the result of Rossiter's formula and other experimental datum in the low aspect ratio cavity (L/D = ~4.5). In the high aspect ratio cavity, however, there are other low dominant frequencies of the leading edge shear layer with the dominant frequencies of the feedback mechanism.