• The KIPS Transactions:PartA
• /
• v.17A no.4
• /
• pp.173-180
• /
• 2010

To specify a formal semantics is to do a significant part for design, standardization and translation of programming languages. The existing studies of a formal semantics for Java have a weak point to describe a clear and practical semantics for an efficient translation. It is necessary to do research for a formal semantics to specify a static and dynamic semantics clearly in order to do an efficient translation. This paper presents the improved Action Equation that specifies a formal semantics for Java to extend the research using Action Equation. The Action Equation is a practical and accurate specification that describes object-oriented programming features and handles exceptions. The specified Action Equation is compared to other descriptions, in terms of readability, modularity, extensibility, and flexibility and then we verified that Action Equation is superior to other formal semantics.

• Journal of the Korean Society of Safety
• /
• v.25 no.5
• /
• pp.44-53
• /
• 2010

Recently, the external prestressed concrete structures are increasingly being built. The mechanical behavior of prestressed concrete beams with unbonded tendon is different from that of normal bonded PSC beams in that the increment of tendon stress was derived by whole member behavior. By this reason, the ultimate stress of external tendon is smaller than that of bonded tendon or internal unbonded tendon. However, in the domestic and abroad code, the equation of ultimate stress of external tendon is not suggested yet, and the equation of ultimate stress of internal unbonded tendon is used instead of that of external tendon. Therefore, in this paper, after effective variables of ultimate stress of external tendon were analyzed, the analytical equation of ultimate stress of external tendon was proposed. And the reasonable coefficients were proposed by statistical work of test results of 25 beam with external tendon. Finally, the practical proposed equation of ultimate stress of external tendon was proposed with analytical and statistical model. The equation of ACI-318 and AASHTO 1994 were not matched with test results and had no correlations, and the proposed equation was well matched with test results. So the proposed equation in this paper will be a effective basis for the evaluation of external tendons in analysis and design.

• Asian-Australasian Journal of Animal Sciences
• /
• v.29 no.9
• /
• pp.1215-1221
• /
• 2016

The prediction of carcass composition in Hanwoo steers is very important for value-based marketing, and the improvement of prediction accuracy and precision can be achieved through the analyses of independent variables using a prediction equation with a sufficient dataset. The present study was conducted to develop a prediction equation for Hanwoo carcass composition for which data was collected from 7,907 Hanwoo steers raised at a private farm in Gangwon Province, South Korea, and slaughtered in the period between January 2009 and September 2014. Carcass traits such as carcass weight (CWT), back fat thickness (BFT), eye-muscle area (EMA), and marbling score (MAR) were used as independent variables for the development of a prediction equation for carcass composition, such as retail cut weight and percentage (RC, and %RC, respectively), trimmed fat weight and percentage (FAT, and %FAT, respectively), and separated bone weight and percentage (BONE, and %BONE), and its feasibility for practical use was evaluated using the estimated retail yield percentage (ELP) currently used in Korea. The equations were functions of all the variables, and the significance was estimated via stepwise regression analyses. Further, the model equations were verified by means of the residual standard deviation and the coefficient of determination ($R^2$) between the predicted and observed values. As the results of stepwise analyses, CWT was the most important single variable in the equation for RC and FAT, and BFT was the most important variable for the equation of %RC and %FAT. The precision and accuracy of three variable equation consisting CWT, BFT, and EMA were very similar to those of four variable equation that included all for independent variables (CWT, BFT, EMA, and MAR) in RC and FAT, while the three variable equations provided a more accurate prediction for %RC. Consequently, the three-variable equation might be more appropriate for practical use than the four-variable equation based on its easy and cost-effective measurement. However, a relatively high average difference for the ELP in absolute value implies a revision of the official equation may be required, although the current official equation for predicting RC with three variables is still valid.

• 한국전산유체공학회:학술대회논문집
• /
• 2009.11a
• /
• pp.177-184
• /
• 2009

Cavitating flow simulation is of practical importance for many engineering systems, such as marine propellers, pump impellers, nozzles, injectors, torpedoes, etc. The present work has focused on the simulation of cavitating flow past cylinders with strong side flows. The governing equation is the Navier-Stokes equation based on the homogeneous mixture model. The momentum and energy equation is in the mixture phase while the continuity equation is solved liquid and vapor phase, separately. An implicit dual time and preconditioning method are employed for computational analysis. For the code validation, the results from the present solver have been compared with experiments and other numerical results. A fairly good agreement with the experimental data and other numerical results have been obtained. After the code validation, the strong side flow was applied to include the wake flow effects of the submarine or ocean tide.

• Journal of computational fluids engineering
• /
• v.14 no.4
• /
• pp.78-85
• /
• 2009

Cavitating flow simulation is of practical importance for many engineering systems, such as marine propellers, pump impellers, nozzles, injectors, torpedoes, etc. The present work has focused on the simulation of cavitating flow past cylinders with strong side flows. The governing equation is the Navier-Stokes equation based on the homogeneous mixture model. The momentum and energy equation is in the mixture phase while the continuity equation is solved liquid and vapor phase, separately. An implicit dual time and preconditioning method are employed for computational analysis. For the code validation, the results from the present solver have been compared with experiments and other numerical results. A fairly good agreement with the experimental data and other numerical results have been obtained. After the code validation, the strong side flow was applied to include the wake flow effects of the submarine or ocean tide.

• The KSFM Journal of Fluid Machinery
• /
• v.11 no.3
• /
• pp.7-13
• /
• 2008

The cavitating flow simulation is of practical importance for many engineering systems, such as pump, turbine, nozzle, Infector, etc. In the present work, a solver for two-phase flows has been developed and applied to simulate the cavitating flows past hydrofoils. The governing equation is the two-phase Navier-Stokes equation, comprised of the continuity equation of liquid and vapor phase. The momentum and energy equation is in the mixture phase. The solver employs an implicit, dual time, preconditioned algorithm using finite difference scheme in curvilinear coordinates. An experimental data and other numerical data were compared with the present results to validate the present solver. It is concluded that the present numerical code has successfully accounted for two-phase Navier-Stokes model of cavitation flow.

• The Journal of Korean Institute for Practical Engineering Education
• /
• v.1 no.1
• /
• pp.38-43
• /
• 2009

In the study of differential equation the most obstacle is that you have to spend lots of times and the plots of solutions are not easy by hand. If we do not solve these kinds of problem, it is difficult to achieve the goal of the object which is the understanding and the practical use of the differential equation. In this paper we explain what should be Maple's usefulness in the method of removing these obstacles, and introduce the stepwise executing codes of Maple which is developed for student's easy application.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.29 no.11 s.242
• /
• pp.1527-1533
• /
• 2005

Three methods for design sensitivity analysis such as finite difference method(FDM), direct differentiation method(DDM) and adjoint variable method(AVM) are well known. FDM and DDM for design sensitivity analysis cost too much when the number of design variables is too large. An AVM is required to compute adjoint variables from the simultaneous linear system equation, the so-called adjoint equation. Because the adjoint equation is independent of the number of design variables, an AVM is efficient for when number of design variables is too large. In this study, AVM has been extended to the eigenproblem of damped systems whose eigenvlaues and eigenvectors are complex numbers. Moreover, this method is implemented into a commercial finite element analysis program by means of the semi-analytical method to show applicability of the developed method into practical structural problems. The proposed_method is compared with FDM and verified its accuracy for analytical and practical cases.

• Journal of Industrial Technology
• /
• v.4
• /
• pp.29-35
• /
• 1984

Buckling is a significant behavior to be considered whenever we design steel structures. In the case of H-shape beams, the lateral buckling occured by bending moment must be considered. Because of the lateral buckling of H-shape beams, the bending strength of the beams are determined by the lateral buckling stress instead of the allowable bending stress. Lateral buckling stress equation, consisting of two terms, i. e. ${\sigma}_{cr}({\nu},{\omega})={\sqrt{[{\sigma}_{cr}({\nu})]^2+[{\sigma}_{cr}({\omega})]^2}}$ has been using, but for the practical purpose of use the following equations are using two, i. e. ${\sigma}_{cr}({\nu})={\frac{0.65E}{{\ell}_h/A_f}}$, ${\sigma}_{cr}({\omega})={\frac{{\pi}^2E}{({\ell}_b/i_b)^2}}$. When we use the above equations, the results are different according to the shape of beam section, and they a re rather complex. In this study lateral buckling stress equation is derived, and the proposed formula$({\sigma}_{cr}(t))$ is compared with above mentioned two basic and practical equations. To verify the proposed formula experimentaly, 16H-shape beams which have different slender ratios arc tested by applying pure bending momet. Through the experiments the buckling behavior of H-shape beams is clarified, and the results shows that the proposed formula$({\sigma}_{cr}(t))$ is accurate enough for practical purpose.

• Advances in Computational Design
• /
• v.7 no.1
• /
• pp.1-17
• /
• 2022

In this study, a new strategy is presented to transmit the fundamental elastic beam problem into the modern optimization platform and solve it by using artificial intelligence (AI) tools. As a practical example, deflection of Euler-Bernoulli beam is mathematically formulated by 2nd-order ordinary differential equations (ODEs) in accordance to the classical beam theory. This fundamental engineer problem is then transmitted from classic formulation to its artificial-intelligence presentation where the behavior of the beam is simulated by using neural networks (NNs). The supervised training strategy is employed in the developed NNs implemented in the heuristic optimization algorithms as the fitness function. Different evolutionary optimization tools such as genetic algorithm (GA) and particle swarm optimization (PSO) are used to solve this non-linear optimization problem. The step-by-step procedure of the proposed method is presented in the form of a practical flowchart. The results indicate that the proposed method of using AI toolsin solving beam ODEs can efficiently lead to accurate solutions with low computational costs, and should prove useful to solve more complex practical applications.