• Korean Journal of Logic
• /
• v.9 no.2
• /
• pp.1-30
• /
• 2006

This paper investigates algebraic semantics for some weak Boolean (wB) logics, which may be regarded as left-continuous t-norm based logics (or monoidal t-norm based logics (MTLs)). We investigate as infinite-valued logics each of wB-LC and wB-sKD, and each corresponding first order extension $wB-LC\forall$ and $wB-sKD\forall$. We give algebraic completeness for each of them.

• Journal of the Korean Mathematical Society
• /
• v.56 no.2
• /
• pp.457-473
• /
• 2019

In this paper, we investigate weak laws of large numbers for weighted coordinatewise pairwise negative quadrant dependence random vectors in Hilbert spaces in the case that the decay order of tail probability is r for some 0 < r < 2. Moreover, we extend results concerning Pareto-Zipf distributions and St. Petersburg game.

• The Bulletin of The Korean Astronomical Society
• /
• v.43 no.2
• /
• pp.37.1-37.1
• /
• 2018

ZwCL 1447.2+2619 is a merging galaxy cluster at z=0.37 with clear substructures in X-ray emission and galaxy distribution. In addition, the system possesses distinct radio relics. In order to constrain the merger scenario, it is necessary to measure both the distribution and mass of the cluster dark matter. We perform a weak lensing analysis of ZwCL 1447.2+2619 using Subaru imaging data. After carefully addressing instrumental systematics, we detect significant lensing signals. In this talk, our methodology, weak lensing results, and possible merging scenarios will be presented.

• The Journal of Pediatrics of Korean Medicine
• /
• v.24 no.3
• /
• pp.58-67
• /
• 2010

Objectives: The objective of this study was to evaluate the correlations between the Weak Children Questionnaire result and K-CBCL score. Also, this study was designed to define the cut off values of Heart Weak Scores by using 'K-CBCL' which represents the total behavior problems scores 50T in order to detect Heart Weak in Children Methods: 271 elementary school students in Daejeon answered the questionnaire and the data was analyzed. Results: There were high correlations between Heart Weak Score and K-CBCL which in a total behavior problems scores. The cut off values of Heart Weak Score, K-CBCL, a total behavior problems scores 50T, were calculated by ROC curve analysis. To diagnose as a Heart Weak Children, the correspondent cut off values for Heart Weak Score were 11 in boys and 8 in girls. Conclusions: To diagnose as a Heart Weak in Children, the correspondent cut off values for Heart Weak Score were 11 in boys and 8 in girls.

• Structural Engineering and Mechanics
• /
• v.65 no.1
• /
• pp.91-98
• /
• 2018

Three structure-dependent integration methods with no numerical dissipation have been successfully developed for time integration. Although these three integration methods generally have the same numerical properties, such as unconditional stability, second-order accuracy, explicit formulation, no overshoot and no numerical damping, there still exist some different numerical properties. It is found that TLM can only have unconditional stability for linear elastic and stiffness softening systems for zero viscous damping while for nonzero viscous damping it only has unconditional stability for linear elastic systems. Whereas, both CEM and CRM can have unconditional stability for linear elastic and stiffness softening systems for both zero and nonzero viscous damping. However, the most significantly different property among the three integration methods is a weak instability. In fact, both CRM and TLM have a weak instability, which will lead to an adverse overshoot or even a numerical instability in the high frequency responses to nonzero initial conditions. Whereas, CEM possesses no such an adverse weak instability. As a result, the performance of CEM is much better than for CRM and TLM. Notice that a weak instability property of CRM and TLM might severely limit its practical applications.

• Communications of the Korean Mathematical Society
• /
• v.36 no.3
• /
• pp.447-463
• /
• 2021

In this paper we study the existence and long-time behavior of weak solutions to a class of quasilinear degenerate parabolic equations involving weighted p-Laplacian operators with a new class of nonlinearities. First, we prove the existence and uniqueness of weak solutions by combining the compactness and monotone methods and the weak convergence techniques in Orlicz spaces. Then, we prove the existence of global attractors by using the asymptotic a priori estimates method.

• Journal of Korean Association for Spatial Structures
• /
• v.19 no.4
• /
• pp.45-52
• /
• 2019

The purpose of the paper is to introduce a system that reduces the occurrence of weak-story in the event of earthquake. Weak-story concentrates deformation on the story and causes all member to collapse before the capacity of all member is reached. This paper introduces Strong-Back system (SB) to protect weak story. SB is a hybrid of zipper frame, tied eccentrically braced frame, and elastic truss system and it is divided into elastic and inelastic areas. Elastic areas prevent the generation of weak story by distributing energy, and inelastic areas dissipate energy through buckling or yielding. In this paper, the seismic performance is evaluated by comparing the four type braced frame with SB through push-over analysis. The four criteria are compared from the base shear, the ductility capacity, the column failure order, and the quantity of brace. As a result, SB proved to have sufficient performance to protect the weak-story.

• East Asian mathematical journal
• /
• v.23 no.1
• /
• pp.1-8
• /
• 2007

In this paper, we introduce the concept of strong and weak domination in fuzzy graphs, and provide some examples to explain various notions introduced. Also some properties discussed.

• Nonlinear Functional Analysis and Applications
• /
• v.27 no.3
• /
• pp.471-497
• /
• 2022

In this paper, we study a system of nonlinear wave equations associated with the helical flows of Maxwell fluid. By constructing a N-order iterative scheme, we prove the local existence and uniqueness of a weak solution. Furthermore, we show that the sequence associated with N-order iterative scheme converges to the unique weak solution at a rate of N-order.

• The Journal of Pediatrics of Korean Medicine
• /
• v.18 no.1
• /
• pp.77-91
• /
• 2004

Objective: The purpose of this study were to examine the growth pattern of weak children by measurement according to the five weak symptoms (respiratory, digestive, psycho-neurological, neuromotor, urogenital symptom). Five weak symptoms are common etiology of short stature in childhood and oriental medicine therapy is used as a treatment in short stature but the effects on height are not conclusive. Methods: This clinical study had been carried out with the 166 case (male 74, female 92) of the children aged 3 to 18 years old who visited in growth clinic of Pediatrics, Dongguk university Bundang Oriental Hospital. They were divided into 3 groups by age (3-10, 11-14, 15-18 years group) Five weak symptoms were studied to determine the association with growth stature among children by comparison with the growth stature of weak children group and normal group Results: The distribution of age showed the highest in 11-14 years(58.4%), followed by I 3-10 years (26.5%), over 15years(15%) in order. In case of male, the distribution of five weak symptoms showed the highest respiratory weak symptom(68.9%), followed by digestive(52.7%), psycho-neurological(43.2%), neuromotor(24.3%), urogenital weak symptom (143.5%) and digestive weak children's Height SDS were lower than normal children in all age groups and respiratory weak children's Height SDS were lower than normal children in age group of 3-10. In case of female, the distribution of five weak symptoms showed the highest digestive weak symptom(59.8%), followed by respiratory(52.5%), psycho-neurological(51.5%), neuromotor (35.9%), urogenital weak symptom (25%) and digestive weak children's Height SDS were lower than normal children in age group of 3-14. Other weak children Height SDS were no significant difference from normal group. Conclusions: From the above result, it was suggested that weak symptoms is cause in short stature. These data indicate that the height was correlated with respiratory, digestive weak symptom and a way to improve the weakness increased significantly height in children growth stature. Growth stature should be investigated as a new field of oriental medical treatment and more controlled, long term studies are required to classify benefits of Oriental medicine therapy in short stature.