• Korean Journal of Logic
• /
• v.23 no.1
• /
• pp.1-23
• /
• 2020

This paper deals with mianorm-based logics with right and left n-potency axioms and their fixpointed involutive extensions. For this, first, right and left n-potent logic systems based on mianorms, their corresponding algebraic structures, and their algebraic completeness results are discussed. Next, completeness with respect to algebras whose lattice reduct is [0, 1], known as standard completeness, is established for these systems via Yang's construction in the style of Jenei-Montagna. Finally, further standard completeness results are introduced for their fixpointed involutive extensions.

• Journal of the Korean Geotechnical Society
• /
• v.17 no.4
• /
• pp.209-220
• /
• 2001

준설매립지반 표층강도증진을 위한 수평진공배수공법 적용시의 압밀현상 예측을 위한 연구를 수행하였다. 초연약지반에 수평배수재와 진공압을 이용하여 수평진공배수 공법을 적용할 경우, 배수재 부근에서 3차원적 배수특성과 넓은 범위의 유효응력의 변화, 지반의 압축성 및 투수성이 크게 변화하게 된다. 이를 위하여 3차원 배수특성과 다양한 경계조건, 부의 간극수압 발생을 통한 유효응력의 증가, 유효응력에 따른 압축성과 투수성의 비선형성을 포함할 수 있도록 기존의 3차원 압밀 지배방정식을 확장 유도하였고, 유효응력-간극비-투수계수의 관계를 누승형태의 함수로 표현하여 사용하였다. 해석기법의 타당성을 검증하기 위하여 실내에서 수행된 대형 토조실험 결과를 모델링하여 좋은 일치를 확인하였고, 이를 바탕으로 수평진공배수공법 적용시의 압밀효과에 대한 분석결과 드레인이 타설된 상부지반에서는 균등한 개량효과의 결과를, 하부의 미개량 지반에서는 자중압밀에 의한 압밀효과를 확인할 수 있었으며 배수재의 수평타설 간격에 따른 압밀효과 분석을 통하여 적정 배수재 설치간격의 범위를 확인하였다.

• Journal of Soil and Groundwater Environment
• /
• v.13 no.3
• /
• pp.15-20
• /
• 2008

The investigation on the previous paper(Jn. of KoSSGE vol.12, no.3), which proposed three empirical equations for the different aquifers was carried out. To draw out a single equation from the three different equations the mean value of the involution factors was adopted allowing different proportional coefficients for the different aquifers. On the other hand it was found that the square root value of storativity ratio, ${\sqrt{{S_p}/{S_o}}}$ in each well is almost equal to its wellbore radius ratio, ${r_e}/{r_w}$. From this fact, the proportional coefficients can be substituted with assumed aquifer storativity and a generalized empirical equation for the effective wellbore radius has been derived.

• Journal of the Korea Society of Computer and Information
• /
• v.18 no.8
• /
• pp.87-93
• /
• 2013

A baby-step giant-step algorithm divides n by n blocks that possess $m={\lceil}\sqrt{n}{\rceil}$ elements, and subsequently computes and stores $a^x$ (mod n) for m elements in the 1st block. It then calculates mod n for m blocks and identifies each of them with those in the 1st block of an identical elemental value. This paper firstly proposes a modified baby-step giant-step algorithm that divides ${\lceil}m/2{\rceil}$ blocks with m elements applying $a^{{\phi}(n)/2}{\equiv}1(mod\;n)$ and $a^x(mod\;n){\equiv}a^{{\phi}(n)+x}$ (mod n) principles. This results in a 50% decrease in the process of the giant-step. It then suggests a reverse baby-step giant step algorithm that performs and saves ${\lceil}m/2{\rceil}$ blocks firstly and computes $a^x$ (mod n) for m elements. The proposed algorithm is found to successfully halve the memory and search time of the baby-step giant step algorithm.

• Journal of the Korean Geotechnical Society
• /
• v.24 no.10
• /
• pp.45-55
• /
• 2008

In this study, the in-situ model test has been conducted to estimate and analyze consolidation behavior of the ground by using the miniature test that reconstructs economically geotechnical behavior of in-situ full scale structure. To analyze the relation of effective stress, void ratio and coefficient of permeability at the self-weight consolidation stage, the low stress seepage consolidation test has been conducted and the involution function of constitutive equation had been obtained from the result of the curve fitted seepage consolidation test. As a result of the numerical analysis that had been conducted on the representative section using a constitute equation, final settlement was similar to those of self-weight consolidation of the centrifugal model test. But it was more or less smaller. It seems that these trends are caused by the difference between estimated values.

• Journal of the Korean Geotechnical Society
• /
• v.23 no.8
• /
• pp.47-57
• /
• 2007

In this study, the analysis of density characteristics of some dredged and reclaimed ground sites, which is necessary for liquefaction evaluation of a dredged and reclaimed ground, was conducted. From analyzing a simplified liquefaction potential evaluation using SPT-N values which have been applied as domestic earthquake-resistant design criterion, improvement scheme is suggested. Based on the analysis result of density characteristics, it was found out that the relative density and the intial N-value ranged respectively $40{\sim}50%\;and\;5{\sim}8$. In the case of applying Liao & Whitman's equation to correct effective overburden pressure, liquefaction resistance of the upper ground that is relatively weaker than that of lower ground is overestimated. So, Skempton's equation is recommended. And the N value with depth which is applied for design process should be estimated by the exponential equation, $N=1.35{\sigma}'^{0.75}$.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.8 no.1
• /
• pp.183-194
• /
• 2004

It's essential process to study non-linear material function related to characteristics of compressibility and permeability when we predict the consolidation behavior of soft clay ground. In this study, laboratory tests were conducted to find out the material function using marine clay. Standard oedometer test and Rowe cell test were performed with conditions, which were classified into vertical drainage only, radial drainage only and vertical-radial drainage case. Modified oedometer test equipment was developed to find out the material function and special extrusion device was originated to minimize the sample disturbance effect. Reliability of the results in modified oedometer test could be confirmed by comparing with the Rowe cell's one. Effective stress - void ratio - permeability relations were analyzed using all testing results. As a result, void ratio with effective stress level could be expressed by the power function and permeability with void ratio could be expressed by exponential function. In soft clay with high initial water content and low shear strength, non-linear characteristics related to compressibility and permeability varied with wide range by the effective stress levels. It's important to note that non-linearity of the material function should be considered at prediction of the consolidation behavior.

• Korean Journal of Soil Science and Fertilizer
• /
• v.42 no.1
• /
• pp.58-64
• /
• 2009

The objectives of this study were to investigate the aggregate fragmentation in wet-sieving and to evaluate the relationship between the aggregate fragmentation fractal dimension and macro-porosity of upland soils, using three different textural types of soils including Gopyeng series (Fine, Typic Hapludalfs), Gyuam series (Fine silty over coarse silty, Fluvaquentic Eutrudepts), and Jungdong series (Coarse loamy, Typic Udifluvents) located in Gyeonggi province. Undisturbed soil samples with five replicates were seasonally sampled and used for measuring water stable aggregate, macropores, and physico-chemical properties of soils. The aggregate stability in wet-sieving was digitalized as three types of fragmentation fractal dimension ($D_f$), geometric mean diameter (GMD), and mean weight diameter (MWD). $D_f$ had higher correlation with GMD than with MWD. Seasonal aggregate stability showed the highest values in summer, and decreased in the order of spring and autumn. The macroporosity had higher in topsoil, in autumn, and in ridge, than in plow pan layer, in summer, and in row, respectively. The relationship between $D_f$ and macroporosity, especially more than 99 m, showed high correlation only in soils with $D_f$ less than 3.1, which means more aggregated soils compared to soils with $D_f$ more than 3.1. Besides, in the soils with the fractal dimension less than 3.1, the power function relation between saturated hydraulic conductivity and macroporosity more than 99 m had relatively high determinant coefficient, and vice versa. Therefore, it could be thought that fragmentation fractal dimension is available for confirming macroporosity induced from aggregation.