• Journal of the Korean Mathematical Society
• /
• v.39 no.4
• /
• pp.525-542
• /
• 2002

In this article, we prove a certain local-global principle for representation of binary forms by an infinite family of quinary positive integral quadratic forms.

• Communications of the Korean Mathematical Society
• /
• v.17 no.4
• /
• pp.593-606
• /
• 2002

We prove local existence and global uniqueness in one dimensional nonlinear hyperbolic inverse problems. The basic key for showing the local existence of inverse solution is the principle of contracted mapping. As an application, we consider a hyperbolic inverse problem with damping term.

• Communications of the Korean Mathematical Society
• /
• v.38 no.3
• /
• pp.649-661
• /
• 2023

Let 𝓜 be a stable Serre subcategory of the category of R-modules. We introduce the concept of 𝓜-minimax R-modules and investigate the local-global principle for generalized local cohomology modules that concerns to the 𝓜-minimaxness. We also provide the 𝓜-finiteness dimension f^𝓜_I (M, N) of M, N relative to I which is an extension the finiteness dimension f_I (N) of a finitely generated R-module N relative to I.

• Bulletin of the Korean Mathematical Society
• /
• v.21 no.2
• /
• pp.95-97
• /
• 1984

In [1] L. Nirenberg constructed a famous example of a smooth vector field which have only the constant functions as solutions in an open subset of the plane. Explanations of this phenomenon have been proposed in Treves [3] and Sjostrand [2]. The explanation in [3] is related to the following so-called "local constancy principle".ple".uot;.

• Journal of Korean Society of societal Security
• /
• v.3 no.1
• /
• pp.33-42
• /
• 2010

This study predicts the stress history for truss bridge with local damages by using global-local model combination method. For this end, the global structure is modeled by 3D frame elements and the selected local details are modeled by shell elements. Then superposition principle enable the global-local model to be combined interactively. Because the frame model cannot consider the rigidity of gusset plate and the interation of structural members due to the complexity of stress distribution in truss connection. The section modification factors are proposed to calibrate the stiffness of global frame element. The global-local model combination is verified by comparing the numerical results with experimental data obtained from the proof loading test to the operating truss bridge. Furthermore, stress histrories of the truss bridge are generated in the consideration of the rigidity of truss connection with local damage by using the combination method.

• Bulletin of the Korean Mathematical Society
• /
• v.50 no.6
• /
• pp.1855-1861
• /
• 2013

Let R be a commutative Noetherian ring, I an ideal of R, M and N two R-modules. We characterize the least integer i such that $H^i_I(M,N)$ is not weakly Artinian by using the notion of weakly filter regular sequences. Also, a local-global principle for minimax generalized local cohomology modules is shown and the result generalizes the corresponding result for local cohomology modules.

• Proceedings of the Korean Society For Composite Materials Conference
• /
• 2000.04a
• /
• pp.89-92
• /
• 2000

In this paper, an effective procedure is presented for the local recovery of displacements and stresses in multilayered composite panels, which incorporate the local refinement using mesh superposition. The mesh superposition method is used to refine the global coarse mesh by superimposing refined mesh to the localized zone of interest without transition zones. The finite element model used is a solid element based on the Hellinger-Reissner variational principle. The a posteriori computation of the through-the-thickness distributions of displacements and stresses is achieved using a predictor-corrector procedure. The procedure utilizes the superconvergent stresses and nodal displacements of the finite element patch. The element patch is generated by locally superimposing a refined local mesh to the coarse global mesh.

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.1
• /
• pp.167-177
• /
• 2020

Let I be an ideal of Noetherian local ring (R, m) and M an artinian R-module. In this paper, we study colocalization of local homology modules. In fact we give Colocal-global Principle for the artinianness and minimaxness of local homology modules, which is a dual case of Local-global Principle for the finiteness of local cohomology modules. We define the representation dimension r^I (M) of M and the artinianness dimension a^I (M) of M relative to I by r^I (M) = inf{i ∈ ℕ₀ : H^I_i (M) is not representable}, and a^I (M) = inf{i ∈ ℕ₀ : H^I_i (M) is not artinian} and we will prove that i) a^I (M) = r^I (M) = inf{r^IR_𝖕 (_𝖕M) : 𝖕 ∈ Spec(R)} ≥ inf{a^IR_𝖕 (_𝖕M) : 𝖕 ∈ Spec(R)}, ii) inf{i ∈ ℕ₀ : H^I_i (M) is not minimax} = inf{r^IR_𝖕 (_𝖕M) : 𝖕 ∈ Spec(R) ∖ {𝔪}}. Also, we define the upper representation dimension R^I (M) of M relative to I by R^I (M) = sup{i ∈ ℕ₀ : H^I_i (M) is not representable}, and we will show that i) sup{i ∈ ℕ₀ : H^I_i (M) ≠ 0} = sup{i ∈ ℕ₀ : H^I_i (M) is not artinian} = sup{R^IR_𝖕 (_𝖕M) : 𝖕 ∈ Spec(R)}, ii) sup{i ∈ ℕ₀ : H^I_i (M) is not finitely generated} = sup{i ∈ ℕ₀ : H^I_i (M) is not minimax} = sup{R^IR_𝖕 (_𝖕M) : 𝖕 ∈ Spec(R) ∖ {𝔪}}.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.14 no.7
• /
• pp.902-906
• /
• 2004

A separation principle of the Takagj-Sugeno (T-S) fuzzy-model-based observer-control is investigated. When the premise variables are able to be measured or directly computed from the outputs of the T-S fuzzy system and the fuzzy inference rules for the plant, control, and observer share the premise parts, the T-S fuzzy-model-based observer and the T-S fuzzy-model-based control can be separately designed such that the global stabilizability is guaranteed by the fuzzy observer-based output-feedback control. In this case, the global separation principle is well established. On the other hand, when the premise variables are unmeasurable or cannot be computed from the outputs, they should also be estimated. We examine the separation principle of this case. If the decay rates of the T-S fuzzy-model-based control and observer are sufficiently fast, the global separation is assured. Otherwise we show that the separation principle holds locally.

• Proceedings of the Korea Concrete Institute Conference
• /
• 1994.10a
• /
• pp.267-272
• /
• 1994

This work presents a method of optimum design for reinforced concrete building frames with rectangular cross sections. The optimization techniques used is based on the principle of divided parameters. The design variable parameters are divided into two groups, external and internal, and the optimization is also divided into external and internal procedure. This principle overcomes difficulties arising from the presence of two materials in one element, the property peculiar to reinforced concrete. Several search algorithms are tested to verify their accuracy for the external optimization. Among them pattern search algorithms has been found consistent. This work proposes a new method, modified pattern search, and a number of sample problems prove its accuracy and usefulness. Exhaustive search for all local minima in the design spaces for two sample problems has been carried out to understand the nature of the problem. The number of local minima identified is quite more than expected and it has become understood that the researcher's task in this field is to find a better local minimum if not global. The designs produced by the method preposed have been found better than those from other method, and they are in full accord with ACI Building Code Requirments(ACI 318-89).