• Journal of the Korean School Mathematics Society
• /
• v.18 no.4
• /
• pp.371-385
• /
• 2015

In this paper we investigate the axioms defining area and volume so that revisit area formula for triangle, volume formula for triangular pyramid, and related contents in school mathematics from the view point of axiomatic method and Hilbert's third problem.

• Journal of Korea Port Economic Association
• /
• v.29 no.2
• /
• pp.1-17
• /
• 2013

This paper aims to review the fairness of carriers' incentive schemes at Gwangyang port in 2010 and to show the desirable incentive allocation rules using the proportional and egalitarian rules under cooperative game theory. The carriers' incentive schemes at Gwangyang port in 2010 did not meet the no-envy and the efficiency, and satisfy the symmetry axiom. According to the research findings, the equal surplus method satisfies the axioms of equity, efficiency, symmetry, and progressivity. However, the uniform losses method meets the axioms of equity, efficiency, symmetry, and regressivity. We use a single allocation criterion of the total throughput to show the regressivity and the symmetry principles into the incentive scheme instead of using multiple criteria such as total throughput, increased volume, and coastal volume. The uniform losses method based on the total throughput can distribute the incentive amount according to the intent of the incentive schemes. Hence, we need to establish a rationing system to allocate reasonably the total amount of different types of incentives, avoiding the temptation to adjust the volume shipped between the ports of carriers considering the efficiency of allocation.

• 한국전산유체공학회:학술대회논문집
• /
• 2009.04a
• /
• pp.9-18
• /
• 2009

This paper presents the state of the art of computational structures technology(CST) and comparison of two computational mechanics - CST and CFD, to the CFD engineers. Classical mechanics is based on the five classical axioms which describe the motion and behaviors of the continuum materials like solid structures and fluids. Computational structures technology uses the finite element method to solve the governing equation, whereas finite volume method is generally used in CFD. A few famous commercial structural analysis programs and DIAMOND/IPSAP will be introduced. DIAMOND/IPSAP is the efficient parallel structural analysis package developed by our research team. DIAMOND/IPSAP shows the better performance than the commercial structural analysis software not only in the parallel computing environments but also in a single computer.