• Journal of the Korean Statistical Society
• /
• 제15권1호
• /
• pp.46-61
• /
• 1986

Many procedures for deriving the Moore-Penrose invese $X^+$ have been developed, but the explicit forms of Moore-Penerose inverses for design matrices in analysis of variance models are not known heretofore. The purpose of this paper is to find explicit forms of $X^+$ for the one-way and the two-way analysis of variance models. Consequently, the Moore-Penerose inverse $X^+$ and the shortest solutions of them can be easily obtained to the level of pocket calculator by way of our results.

• East Asian mathematical journal
• /
• 제31권1호
• /
• pp.91-101
• /
• 2015

An explicit expression of the optimal investment strategy corresponding to the HARA utility function under the constant elasticity of variance (CEV) model has been given by Jung and Kim [6]. In this paper we give an explicit expression of the optimal solution for the extended logarithmic utility function. And we prove an a.s. convergence of the HARA solutions to the extended logarithmic one.

• East Asian mathematical journal
• /
• 제29권5호
• /
• pp.545-550
• /
• 2013

A remarkably large number of integral formulas have been investigated and developed. Certain large number of integral formulas are expressed as derivatives of some known functions. Here we choose to recall such a formula to present explicit expressions in terms of Gamma function, Psi function and Polygamma functions. Some simple interesting special cases of our main formulas are also considered. It is also pointed out that the same argument can establish explicit integral formulas for other those expressed in terms of derivatives of some known functions.

• Structural Engineering and Mechanics
• /
• 제12권3호
• /
• pp.283-295
• /
• 2001

The postbuckling behaviour of thin plates is an important phenomenon in the design of thin plated structures. In reality plates possess small imperfections and the behaviour of such imperfect plates is of great interest. To numerically study the postbuckling behaviour of imperfect plates explicit incremental or secant matrices have been presented in this paper. These matrices can be used in combination with any thin plate element. The secant matrices are shown to be very accurate in tracing the postbuckling behaviour of thin plates.

• Structural Engineering and Mechanics
• /
• 제40권5호
• /
• pp.617-636
• /
• 2011

We present the numerical implementation, simulation, and validation of the high-velocity impact experiments that have been described in the companion article. In this part, numerical investigations and simulations performed to mimic the tests are presented. The experiments were analyzed by the explicit integration-based software ABAQUS for improved simulations. Targets were modeled with a damaged plasticity model for concrete. Computational results of residual velocity and crater dimensions yielded acceptable results.

• Journal of the Korean Data and Information Science Society
• /
• 제18권3호
• /
• pp.793-801
• /
• 2007

For multiply Type-II censored samples from a half-triangle distribution, the maximum likelihood method does not admit explicit solutions. In this case, we propose some explicit estimators of the location parameter in the half-triangle distribution by the approximate maximum likelihood methods. We compare the proposed estimators in the sense of the mean squared error for various censored samples.

• 산업공학
• /
• 제12권2호
• /
• pp.305-311
• /
• 1999

Robot task program is needed to control and manage a Robot without explicitly describing the robot program by user which includes commands, procedures, geometric and signal data in the detail level. To use the Robot task program, a computer system is required to convert the Robot task into the Robot program, which can be understood by the Robot. In this paper, the systemic method for automatic generation of explicit Robot programs (ERP) from task-level commands is described. Specifically, a 3-step procedure including Robot task decomposition, task synchronization and ERP generation is presented.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (A)
• /
• pp.257-259
• /
• 2003

본 논문에서는 전자화폐 시스템의 인출 프로토콜의 안전성에 관해서 고찰한다. 익명성을 제공하는 인출 프로토콜에서는 사용자 인증과 더불어 은닉 서명을 동시에 사용한다. 먼저 은닉 서명을 분류하고, 이들 은닉서명 프로토콜과 사용자 인증 프로토콜의 결합 방식 중에서 인증후 은닉서명 방식(Identification-then-Blind Signature)에 대한 공격을 설명한다. 그리고 인증과 은닉서명을 동시에 하는 방식(Identification-and-Blind Signature)을 이용해서 명시적 수신자 은닉 서명(Blind Signature Scheme with Explicit Identified Receiver)을 제안하며, 그것들의 안전성에 대해서 분석한다.

• 대한산업공학회지
• /
• 제24권3호
• /
• pp.407-416
• /
• 1998

For fast Cholesky factorization, it is most important to reduce the number of nonzero elements by ordering methods. Generally, the minimum deficiency ordering produces less nonzero elements, but it is very slow. We propose an efficient implementation method. The minimum deficiency ordering requires much computations related to adjacent nodes. But, we reduce those computations by using indistinguishable nodes, the clique storage structures, and the explicit storage structures to compute deficiencies.

• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 2003년도 동계학술대회
• /
• pp.634-642
• /
• 2003

We give explicit formulae for composition of genus two. The previous work described in［4］only contains the formulae for common cases. In this paper, we give formulae for all cases of two divisors as input. Furthermore, the formulae contains the .form of rational functions such that related to the implementation of the Tate pairing.