• Journal of applied mathematics & informatics
• /
• v.8 no.1
• /
• pp.59-69
• /
• 2001

The paper deals with the interaction between three Griffith cracks propagating under antiplane shear stress at the interface of two dissimilar infinite elastic half-spaces. The Fourier transform technique is used to reduce the elastodynamic problem to the solution of a set of integral equations which has been solved by using the finite Hilbert transform technique and Cooke’s result. The analytical expressions for the stress intensity factors at the crack tips are obtained. Numerical values of the interaction efect have been computed for and results show that interaction effects are either shielding or amplification depending on the location of each crack with respect to other and crack tip spacing. AMS Mathematics Subject Classification : 73M25.

• Journal of the Korean Society of Manufacturing Technology Engineers
• /
• v.8 no.1
• /
• pp.60-66
• /
• 1999

This study is to develop design sensitivity analysis method based on continuum theory for the actual buckling load of vehicle passenger compartment with respect to sizing design variables. For nonlinear structural analysis, both geometric and material nonlinear effects are considered. The total Lagrangian formulation for incremental equilibrium analysis and one-point linear eigenvalue problem for buckling analysis are utilized. Numerical methods are presented to evaluate design sensitivity expressions, using structural analysis results from FEM code. Optical design of vehicle passenger compartment with buckling constraint solved using Gradient projection method.

• Journal of the Korean Mathematical Society
• /
• v.48 no.2
• /
• pp.267-288
• /
• 2011

In this paper, we construct eight infinite families of ternary linear codes associated with double cosets with respect to certain maximal parabolic subgroup of the special orthogonal group $SO^-$(2n, q). Here q is a power of three. Then we obtain four infinite families of recursive formulas for power moments of Kloosterman sums with square arguments and four infinite families of recursive formulas for even power moments of those in terms of the frequencies of weights in the codes. This is done via Pless power moment identity and by utilizing the explicit expressions of exponential sums over those double cosets related to the evaluations of "Gauss sums" for the orthogonal groups $O^-$(2n, q).

• 제어로봇시스템학회:학술대회논문집
• /
• 1996.10b
• /
• pp.1087-1090
• /
• 1996

The objective of this paper is to present a new input torque shaping method for slewing and vibration suppression of flexible structure based on Fourier series expansion. Vibration energy of the structure with shaped control input is investigated with respect to the shaping parameter of the reference torque, maneuver time and the number of trigonometric functions to be included in the series. Analytic expressions of the performance indices and their derivatives are derived in the modal coordinates. Numerical results show the effectiveness of the proposed approach to design the open-loop control law that modifies the shape of input torque for simultaneous slewing and vibration suppression.

• Structural Engineering and Mechanics
• /
• v.4 no.3
• /
• pp.277-301
• /
• 1996

A finite element model of a beam element with flexible connections is used to investigate the effect of the randomness in the stiffness values on the modal properties of the structural system. The linear behavior of the connections is described by a set of random fixity factors. The element mass and stiffness matrices are function of these random parameters. The associated eigenvalue problem leads to eigenvalues and eigenvectors which are also random variables. A second order perturbation technique is used for the solution of this random eigenproblem. Closed form expressions for the 1st and 2nd order derivatives of the element matrices with respect to the fixity factors are presented. The mean and the variance of the eigenvalues and vibration modes are obtained in terms of these derivatives. Two numerical examples are presented and the results are validated with those obtained by a Monte-Carlo simulation. It is found that an almost linear statistical relation exists between the eigenproperties and the stiffness of the connections.

• The Research Journal of the Costume Culture
• /
• v.2 no.2
• /
• pp.317-335
• /
• 1994

The purpose of this thesis is to analyze the relation of the mentalistics linguistics and costume, and to clarify the relationship between language as psychological expressions and costume to understand the phenomena of human costume behavior more deeply and comprehensively. As for the analysis of he costume phenomena, Noam Chomsky's psychological linguistic theory were applied to costume system. In this respect, particularly, by means of Chomsky's later theory(1965), the costume behavior were analyzed. The followings are the findings of the analysis : 1. The Syntactic Component: (※ See Full-Text) 2. The Semantic Component. The costme behavior is similar to a language system. Just as one morpheme or a phrase and phrases make different sentences, so various methods wearing costume make different sentences, so various methods wearing costume make different forms is costume. Language and costume have dictionary entry showing the meaning of vocabulary, and rules combining the individual meaning of the dictionary entry to complete the sentence.

• Journal of the Korean Mathematical Society
• /
• v.57 no.3
• /
• pp.585-602
• /
• 2020

In this paper, we construct four infinite families of binary linear codes associated with double cosets with respect to a certain maximal parabolic subgroup of the orthogonal group O⁺(2n, 2^r). And we obtain two infinite families of recursive formulas for the power moments of Kloosterman sums and those of 2-dimensional Kloosterman sums in terms of the frequencies of weights in the codes. This is done via Pless' power moment identity and by utilizing the explicit expressions of exponential sums over those double cosets related to the evaluations of "Gauss sums" for the orthogonal groups O⁺(2n, 2^r).

• Journal of the Korean Mathematical Society
• /
• v.54 no.5
• /
• pp.1521-1536
• /
• 2017

This paper introduces a representation style of variable binding using dependent types when formalizing meta-theoretic properties. The style we present is a variation of the Coquand-McKinna-Pollack's locally-named representation. The main characteristic is the use of dependent families in defining expressions such as terms and formulas. In this manner, we can handle many syntactic elements, among which wellformedness, provability, soundness, and completeness are critical, in a compact manner. Another point of our paper is to investigate the roles of free variables and constants. Our idea is that fresh constants can entirely play the role of free variables in formalizing meta-theories of first-order predicate logic. In order to show the feasibility of our idea, we formalized the soundness and completeness of LJT with respect to Kripke semantics using the proof assistant Coq, where LJT is the intuitionistic first-order predicate calculus. The proof assistant Coq supports all the functionalities we need: intentional type theory, dependent types, inductive families, and simultaneous substitution.

• Journal of Power Electronics
• /
• v.16 no.5
• /
• pp.1802-1812
• /
• 2016

Cross regulation is a key technical issue of single-inductor multiple-output (SIMO) DC-DC converters. This paper investigates the cross regulation in single-inductor dual-output (SIDO) Buck converters with continuous conduction mode (CCM) operation. The expressions of the DC voltage gain, control to the output transfer function, cross regulation transfer function, cross coupled transfer function and impedance transfer function of the converter are presented by the time averaging equivalent circuit approach. A small signal model of a SIDO CCM Buck converter is built to analyze this cross regulation. The laws of cross regulation with respect to various load conditions are investigated. Simulation and experiment results verify the theoretical analysis. This study will be helpful for converter design to reduce the cross regulation. In addition, a control strategy to reduce cross regulation is performed.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.65 no.12
• /
• pp.2177-2182
• /
• 2016

Using the existing exact but quite complicated symbol error rate (SER) expressions for M-ary phase shift keying (M-PSK) and M-ary differential phase shift keying (M-DPSK), we derive effective and concise closed-form asymptotic SER formulas especially in Rician-Nakagami fading channels. The derived formulas can be utilized to efficiently verify the achievable error rate performances of M-PSK and M-DPSK systems for the Rician-Nakagami fading environments. In addition, by exploiting the modulation gains directly obtained from the asymptotic SER formulas, we also theoretically demonstrate that M-DPSK suffers an asymptotic SER performance loss of 3.01dB with respect to M-PSK for a given M in Rician-Nakagami fading channels at high signal-to-noise ratio (SNR).