• The Mathematical Education
• /
• v.12 no.1
• /
• pp.1-3
• /
• 1973

In this paper, we want to verify some properties in tensor product. It is interesting to think semi-exact sequence in tensor Product by [3]. Moreover no hardness is there in process and we want to discuss the commutativity in tensor product. For a certain semi-exact sequence, if we product arbitrary Abelian group for each group then the tensor Product will do or not. Here, we have positive answer. At first we define the semi-exact sequence as following.

• International conference on construction engineering and project management
• /
• 2015.10a
• /
• pp.109-110
• /
• 2015

This paper presents a computational method that identifies an exact set of optimal overlap rates between critical activities to meet job site specific needs by using rework cost-slope. The procedures to compute the exact solution are provided in peudocode algorithm. The method is coded into Exact Concurrent Construction Scheduling system that allows practitioners to make more informed decision in accordance with the site-specific condition involved in the overlapping of critical activities. Test cases verify the validity of the computational method and the usability of the system.

• Communications of the Korean Mathematical Society
• /
• v.18 no.2
• /
• pp.225-233
• /
• 2003

In this paper, we obtain Hon(P,- ) is an exact functor if P is a p-projective BCI-algebra.

• Journal of the Korean Mathematical Society
• /
• v.60 no.6
• /
• pp.1215-1231
• /
• 2023

In this paper, we investigate the nonnil-exact sequences and nonnil-commutative diagrams and show that they behave in a way similar to the classical ones in Abelian categories.

• Structural Engineering and Mechanics
• /
• v.30 no.3
• /
• pp.279-296
• /
• 2008

This paper presents an exact integration for the hypersingular boundary integral equation of two-dimensional elastostatics. The boundary is discretized by straight segments and the physical variables are approximated by discontinuous quadratic elements. The integral for the hypersingular boundary integral equation analysis is given in a closed form. It is proven that using the exact integration for discontinuous boundary element, the singular integral in the Cauchy Principal Value and the hypersingular integral in the Hadamard Finite Part can be obtained straightforward without special treatment. Two numerical examples are implemented to verify the correctness of the derived exact integration.

• International Journal of Precision Engineering and Manufacturing
• /
• v.4 no.1
• /
• pp.15-22
• /
• 2003

Beams are often subject to bending-torsion coupled vibration due to mass coupling and/or stiffness coupling. This paper proposes a dynamic analysis method using the exact dynamic element for bending-torsion coupled vibration of general plane beam structures with joints. The exact dynamic element matrix for a bending-torsion coupled beam is derived, and the detailed procedure of using the exact dynamic element matrix is also presented. Three examples are provided for validating and illustrating the proposed method. The numerical study proves the proposed method to be useful for dynamic analysis of bending-torsion coupled beam structures with joints.

• Journal of the Korean Mathematical Society
• /
• v.45 no.3
• /
• pp.631-644
• /
• 2008

In this paper, we present a new method for solving a nonlinear two-point boundary value problem with finitely many singularities. Its exact solution is represented in the form of series in the reproducing kernel space. In the mean time, the n-term approximation $u_n(x)$ to the exact solution u(x) is obtained and is proved to converge to the exact solution. Some numerical examples are studied to demonstrate the accuracy of the present method. Results obtained by the method are compared with the exact solution of each example and are found to be in good agreement with each other.

• 제어로봇시스템학회:학술대회논문집
• /
• 1991.10a
• /
• pp.469-475
• /
• 1991

In this paper, we suggest the exact perturbation analysis(Exact_PA) technique with respect to the buffer storage in tandem queueing networks, through which the optimal buffer storage design problem is considered. The discrete event dynamic equations for the departure time of a customer are presented together with the basic properties of Full Out(FO) and No Input(NI) with respect to the buffer storage. The new perturbation rules with respect to the buffer storage are suggested, from which the exact perturbed path can be obtained. The optimal buffer storage problem is presented by introducing a performance measure consisting of the throughput and the buffer storage cost. An optimization algorithm maximizing this performance measure is derived by using the Exact_PA technique. The proposed perturbation analysis technique and the optimization algorithm are validated by numerical examples.

• Transactions of the Korean Society for Noise and Vibration Engineering
• /
• v.26 no.7
• /
• pp.787-794
• /
• 2016

In this study, the exact rigidity and the free vibration of trapezoidal corrugated plate are analyzed by being based on the Kirchhoff's plate theory and the Ritz method. The previous rigidity of corrugated plate analyzed by considering just a geometric characteristic, a basic assumption and an equivalent idea can cause large errors in practical behaviors. Accordingly, the exact rigidity supplemented by correction factors of the theoretical rigidity is needed. Therefore an analysis on the exact rigidity and the free vibration using the rigidity for the plate is performed in this paper.

• 제어로봇시스템학회:학술대회논문집
• /
• 1995.10a
• /
• pp.95-98
• /
• 1995

In this paper, an unknown-input proportional integral (PI) observer is presented and its applicability to the design of exact loop transfer recovery (Exact LTR) is shown. First, a sufficient condition for the PI observer to estimate the states of systems without knowledge of unknown input is derived. A simple existence condition of the observer is given. Under the conditions, the Exact LTR with specified observer's poles is achieved by the unknown-input PI observer.