• Advances in aircraft and spacecraft science
• /
• v.3 no.3
• /
• pp.317-330
• /
• 2016

Nowadays, the interest of aerospace and automotive industries on virtual testing of medium-frequency vibrational behavior of shallow shell structures is growing. The development of software capable of predicting the vibrational response in such frequency range is still an open question because classical methods (i.e., FEM, SEA) are not fully suitable for the medium-frequency bandwidth. In this context the Variational Theory of Complex Rays (VTCR) is taking place as an ad-hoc technique to address medium-frequency problems. It is a Trefftz method based on a weak variational formulation. It allows great flexibility because any shape function that satisfies the governing equations can be used. This work further develops such theory. In particular, orthotropic materials are introduced in the VTCR formulation for shallow shell structures. A significant numerical example is proposed to show the strategy.

• Nonlinear Functional Analysis and Applications
• /
• v.28 no.1
• /
• pp.205-235
• /
• 2023

In this paper, we introduce and study an iterative technique for solving quasimonotone split variational inequality problems and fixed point problem in the framework of real Hilbert spaces. Our proposed iterative technique is self adaptive, and easy to implement. We establish that the proposed iterative technique converges strongly to a minimum-norm solution of the problem and give some numerical illustrations in comparison with other methods in the literature to support our strong convergence result.

• Nonlinear Functional Analysis and Applications
• /
• v.27 no.1
• /
• pp.189-201
• /
• 2022

The aim of the current work is to investigate the numerical study of a nonlinear Volterra-Fredholm integro-differential equation with initial conditions. Our approximation techniques modified adomian decomposition method (MADM) and variational iteration method (VIM) are based on the product integration methods in conjunction with iterative schemes. The convergence of the proposed methods have been proved. We conclude the paper with numerical examples to illustrate the effectiveness of our methods.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.28 no.6
• /
• pp.1463-1474
• /
• 2018

Fuzzing is one of the software testing techniques that find security flaws by inputting invalid values or arbitrary values into the program and various methods have been suggested to increase the efficiency of such fuzzing. In this paper, focusing on the existence of field with high relevance to coverage and software crash, we propose a new method for intensively fuzzing corresponding field part while performing field based fuzzing. In this case, we use a deep learning model called Variational Autoencoder(VAE) to learn the statistical characteristic of input values measured in high coverage and it showed that the coverage of the regenerated files are uniformly higher than that of simple variation. It also showed that new crash could be found by learning the statistical characteristic of the files in which the crash occurred and applying the dropout during the regeneration. Experimental results showed that the coverage is about 10% higher than the files in the queue of the AFL fuzzing tool and in the Hwpviewer binary, we found two new crashes using two crashes that found at the initial fuzzing phase.

• Journal of the Korean Mathematical Society
• /
• v.54 no.3
• /
• pp.1015-1030
• /
• 2017

This paper is concerned with the following Klein-Gordon-Maxwell system: $$\{-{\Delta}u+{\lambda}V(x)u-(2{\omega}+{\phi}){\phi}u=f(x,u),\;x{\in}\mathbb{R}^3,\\{\Delta}{\phi}=({\omega}+{\phi})u^2,\;x{\in}\mathbb{R}^3$$ where ${\omega}$ > 0 is a constant and ${\lambda}$ is the parameter. Under some suitable assumptions on V (x) and f(x, u), we establish the existence and multiplicity of nontrivial solutions of the above system via variational methods. Our conditions weaken the Ambrosetti Rabinowitz type condition.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.14 no.5
• /
• pp.957-964
• /
• 2011

New time schemes based on the FEM were developed and their performances were tested with 2D wave equation. The least-squares and weighted residual methods are used to construct new time schemes based on traditional residual minimization method. To overcome some drawbacks that time schemes based on the least-squares and weighted residual methods have, ad-hoc method is considered to minimize residuals multiplied by others residuals as a new approach. And variational method is used to get necessary conditions of ad-hoc minimization. A-stability was chosen to check the stability of newly developed time schemes. Specific values of new time schemes are presented along with their numerical solutions which were compared with analytic solution.

• Water Engineering Research
• /
• v.2 no.3
• /
• pp.171-178
• /
• 2001

There are three methods for analyzing flow and pressure distribution in looped water distribution networks (the loop method, the node method, the element method) taking into consideration hydraulic parameters chosen as unknown. For all these methods the non-linear system of equations can be solved by iterative procedures. The paper presents a different approach to this problem by using the method of variational formulations for hydraulic analysis of water distribution networks. This method has the advantage that it uses a specialized optimization algorithm which minimizes directly an objective multivariable function without constraints, implemented in a computer program. The paper compares developed method to the classic Hardy-Cross method. This shows the good performance of the new method.

• Journal of the Society of Naval Architects of Korea
• /
• v.40 no.1
• /
• pp.63-68
• /
• 2003

Systematic geometrical variation method of hull forms, such as "1 -Cp", "Swinging" and "Lackenby" are widely used in the early stage of a new design from those of a similar parent ship, which shows a better performance through the model test and/or sea trials. This method is simple and easy to modify original hull forms without changing the main characteristics. The shape of the prismatic curie can be easily varied by these methods, however, the frame line shape in the body plan can′t be generated easily, when the section shapes are complicated or have discontinuities or the mismatch of the body plan and the stem and stern profiles. To overcome this drawback of the hull form variations, a simple and useful method has been proposed in the present study.

• Smart Structures and Systems
• /
• v.13 no.1
• /
• pp.111-135
• /
• 2014

Based on the Reissner mixed variational theorem (RMVT), finite rectangular layer methods (FRLMs) are developed for the three-dimensional (3D) linear buckling analysis of simply-supported, fiber-reinforced composite material (FRCM) and functionally graded material (FGM) sandwich plates subjected to bi-axial compressive loads. In this work, the material properties of the FGM layers are assumed to obey the power-law distributions of the volume fractions of the constituents through the thickness, and the plate is divided into a number of finite rectangular layers, in which the trigonometric functions and Lagrange polynomials are used to interpolate the in- and out-of-plane variations of the field variables of each individual layer, respectively, and an h-refinement process is adopted to yield the convergent solutions. The accuracy and convergence of the RMVT-based FRLMs with various orders used for expansions of each field variables through the thickness are assessed by comparing their solutions with the exact 3D and accurate two-dimensional ones available in the literature.

• Proceedings of the Korean Society For Composite Materials Conference
• /
• 2005.11a
• /
• pp.198-201
• /
• 2005

This study investigates the difference between single-cell and multi-cell cross-sections of thin-walled beams. The variationally and asymptotically consistent theory is used in order to model the two-cell thin- walled beam. The theory is based on an asymptotical analysis of two-dimensional shell energy. In addition, the method allows for the development of closed-form expressions for the displacement, stress field and beam stiffness coefficients. The numerical results show the difference between the cross-sectional stiffness of single-cell and that of multi-cell.