• Nonlinear Functional Analysis and Applications
• /
• 제29권1호
• /
• pp.47-56
• /
• 2024

It is well known that inequalities enable us to analyze and solve complex problems with precision and efficiency. The inequalities provide powerful tools for establishing bounds, optimizing solutions, and deepening our understanding of mathematical concepts, paving the way for advancements in areas such as optimization, analysis, and probability theory. In this paper, we present some properties for Hadamard-Simpsons type inequalities in the classic integral and Riemann-Liouville fractional integral. We use the convexity of the given function and its first derivative.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• 제23권6호
• /
• pp.1018-1025
• /
• 1999

For the effective analysis of two dimensional plane problems with geometrical discontinuities, singular finite element has been proposed. The element matrix equation was formulated on the basis of hybrid variational principle and Trefftz function sets derived consistently from the complex theory of plane elasticity by introducing a conformal mapping function. In order to suggest the accuracy characteristics of the proposed singular finite element, typical plane problems were analyzed and these results were compared with exact solutions. The singular finite element gives the comparatively exact values of stress concentration factors or stress intensity factors and can be effectively used for the analysis of mechanical structures containing various geometrical discontinuities.

• International Journal of Precision Engineering and Manufacturing
• /
• 제1권1호
• /
• pp.133-145
• /
• 2000

Plastic molding designers are frequently faced with optimizing multiple defects in injection molded parts. these defects are usually in conflict with each other, and thus a tradeoff needs to be made reach a final compromised solution. In this study, an automated injection molding design methodology has been developed to optimize multiple defects of injection molded parts. Two features of the proposed methodology are as follows: one is to apply the utility theory to transform the original multiple objective optimization problem into single objective optimization problem with utility as objective function, the other is an implementation of a direct search-based injection molding optimization procedure with automated consideration of process variation. The modified complex method is used as a general optimization tool in this research. The developed methodology was applied to an actual molding design and the results showed that the methodology was useful through the CAE simulation using a commercial injection molding software package. Applied to production, this study will be of immense value to industry in reducing the product development time and enhancing the product quality.

• International Journal of Naval Architecture and Ocean Engineering
• /
• 제4권1호
• /
• pp.20-32
• /
• 2012

A software system for a complex object scattering analysis, named SYSCOS, has been developed for a systematic radar cross section (RCS) analysis and reduction design. The system is based on the high frequency analysis methods of physical optics, geometrical optics, and physical theory of diffraction, which are suitable for RCS analysis of electromagnetically large and complex targets as like naval ships. In addition, a direct scattering center analysis function has been included, which gives relatively simple and intuitive way to discriminate problem areas in design stage when comparing with conventional image-based approaches. In this paper, the theoretical background and the organization of the SYSCOS system are presented. To verify its accuracy and to demonstrate its applicability, numerical analyses for a square plate, a sphere and a cylinder, a weapon system and a virtual naval ship have been carried out, of which results have been compared with analytic solutions and those obtained by the other existing software.

• Korean Journal of Logic
• /
• 제16권3호
• /
• pp.347-380
• /
• 2013

In this paper I will try to show how Wittgenstein criticized Frege's theory of meaning. Frege's theory of meaning can be compressed as sense-reference theory. Frege distinguishes between sense and reference on all the linguistic expressions. In particular, he regards that a sentence has sense and reference. This distinction was raised from, so to speak, the problem of identity sentences. Wittgenstein's "fundamental thought" of Tractatus Logico-Philosophicus is the key of his direct criticism of Frege's sense-reference theory. That is, it is an attack on Frege's thought that the reference of a sentence is a truth value and truth values are "objects themselves" (in Frege's meaning). According to Wittgenstein, such an object does not exist and according to his picture theory, the function of a name and that of a proposition are fundamentally different. By the way, Frege can reply justly to this criticism that it is insufficient. In short, Frege's 'sense' and 'reference' etc, are the technical terms. Hence Wittgenstein's decisive criticism of Frege's theory consists in accusing his theory of logical flaws. There is an another route to the sense and reference of a sentence which Frege introduces. In discourses of judgement stroke and content stroke in his Begriffsshrift and in those of horizontal stroke since his "Function and Concept", Frege deals with the sense and reference of a sentence. Wittgenstein criticize that the sense of a complex sentence such as ~p would by no means be determined by Frege's determination.

• Journal of KSNVE
• /
• 제9권1호
• /
• pp.60-69
• /
• 1999

In the first paper of this research$^{(1)}$. a new time series method. directional ARMAX (dARMAX) model-based approach. was proposed for rotordynamics identification. The dARMAX processes complex-valued signals, utilizing the complex modal testing theory which enables the separation of the backward and forward modes in the two-sided frequency domain and makes effective modal parameter identification possible. to account for the dynamic characteristics inherent in rotating machinery. In this second part. an evaluation of its performance characteristics based on both simulated and experimental data is presented. Numerical simulations are carried out to show that the method. a complex time series method. successfully implements the complex modal testing in the time domain. and it is superior in nature to the conventional ARMAX and the frequency-domain methods in the estimation of the modal parameters for isotropic and weakly anisotropic rotor systems. Experiments are carried out to demonstrate the applicability and the effectiveness of the dARMAX model-based approach, following the proposed fitting strategy. for the rotordynamics identification.

• Proceeding of EDISON Challenge
• /
• 제5회(2016년)
• /
• pp.62-66
• /
• 2016

Tumor suppressor protein p53 loses its function upon binding with the HDM2 protein, and inhibiting the p53-HDM2 interaction is critical to suppress tumor cell growth. Recently, the cyclized helix-loop-helix peptide (cHLH) mimicking the ${\alpha}-helix$ part of the p53 protein has been designed and found to exhibit high binding affinity with HDM2. Here, we report the structural and thermodynamic characteristics of the bound complex of the cHLH peptide with the HDM2 protein. We performed molecular dynamics simulations to investigate the structural features of the cHLH peptide as well as its complex with the HDM2. The binding free energy calculation based on the integral equation theory was also executed to quantify the binding affinity for the cHLH/HDM2 complex and to understand the factors contributing to the binding affinity. We found a variety of factors for the helix stability of the cHLH peptide as well as in the complexation with the HDM2, which may provide an insight into the development of anti-cancer drug designs.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• 제31권1호
• /
• pp.121-128
• /
• 2007

Enhanced lower order shear deformation theory is developed in this study. Generally, lower order theories are not adequate to predict accurate deformation and stress distribution through the thickness of laminated plate. For the accurate prediction of detailed stress and deformation distributions through the thickness, higher order zigzag theories have been proposed. However, in most cases, simplified zigzag higher order theory requires $C_1$, shape functions in finite element implementation. In commercial FE softwares, $C_1$, shape functions are not so common in plate and shell analysis. Thus zigzag theories are useful for the highly accurate prediction of thick composite behaviors but they are not practical in the sense that they cannot be used conveniently in the commercial package. In practice, iso-parametric $C_0$ plate model is the standard model for the analysis and design of composite laminated plates and shells. Thus in the present study, an enhanced lower order shear deformation theory is developed. The proposed theory requires only $C_0$ shape function in FE implementation. The least-squared energy error between the lower order theory and higher order theory is minimized. An enhanced lower order shear deformation theory(ELSDT) in this paper is proposed for smart structure under complex loadings. The ELSDT is constructed by the strain energy transformation and fully coupled mechanical, electric loading cases are studied. In order to obtain accurate prediction, zigzag in-plane displacement and transverse normal deformation are considered in the deformation Held. In the electric behavior, open-circuit condition as well as closed-circuit condition is considered. Through the numerous examples, the accuracy and robustness of present theory are demonstrated.

• Structural Engineering and Mechanics
• /
• 제64권1호
• /
• pp.81-92
• /
• 2017

Many materials in engineering exhibit different modulus in tension and compression, which are known as bi-modulus materials. Based on the bi-modulus elastic theory, a modified semi-analytical model, by introducing a stress function, is established in this paper to study the mechanical response of a bi-modulus cylinder placed in an axisymmetric temperature field. Meanwhile, a numerical procedure to calculate the temperature stresses in bi-modulus structures is developed. It is proved that the bi-modulus solution can be degenerated to the classical same modulus solution, and is in great accordance with the solutions calculated by the semi-analytical model proposed by Kamiya (1977) and the numerical solutions calculated both by the procedure complied in this paper and by the finite element software ABAQUS, which demonstrates that the semi-analytical model and the numerical procedure are accurate and reliable. The result shows that the modified semi-analytical model simplifies the calculation process and improves the speed of computation. And the numerical procedure simplifies the modeling process and can be extended to study the stress field of bi-modulus structures with complex geometry and boundary conditions. Besides, the necessity to introduce the bi-modulus theory is discussed and some suggestions for the qualitative analysis and the quantitative calculation of such structure are proposed.

• BMB Reports
• /
• 제52권1호
• /
• pp.13-23
• /
• 2019

Aging is accompanied by a time-dependent progressive deterioration of multiple factors of the cellular system. The past several decades have witnessed major leaps in our understanding of the biological mechanisms of aging using dietary, genetic, pharmacological, and physical interventions. Metabolic processes, including nutrient sensing pathways and mitochondrial function, have emerged as prominent regulators of aging. Mitochondria have been considered to play a key role largely due to their production of reactive oxygen species (ROS), resulting in DNA damage that accumulates over time and ultimately causes cellular failure. This theory, known as the mitochondrial free radical theory of aging (MFRTA), was favored by the aging field, but increasing inconsistent evidence has led to criticism and rejection of this idea. However, MFRTA should not be hastily rejected in its entirety because we now understand that ROS is not simply an undesired toxic metabolic byproduct, but also an important signaling molecule that is vital to cellular fitness. Notably, mitochondrial function, a term traditionally referred to bioenergetics and apoptosis, has since expanded considerably. It encompasses numerous other key biological processes, including the following: (i) complex metabolic processes, (ii) intracellular and endocrine signaling/communication, and (iii) immunity/inflammation. Here, we will discuss shortcomings of previous concepts regarding mitochondria in aging and their emerging roles based on recent advances. We will also discuss how the mitochondrial genome integrates with major theories on the evolution of aging.