• 대한수학회지
• /
• 제39권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.

• 대한수학회논문집
• /
• 제17권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.

• 대한수학회논문집
• /
• 제38권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.

• 대한수학회보
• /
• 제21권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;.

• 한국재난관리표준학회지
• /
• 제3권1호
• /
• pp.33-42
• /
• 2010

본 논문에서는 전체해석과 국부해석 조합방법을 이용하여 국부손상 또는 균열의 영향을 반영한 트러스교의 전체지간에서의 응력거동을 예측하였다. 이를 위해서 전체 구조체는 프레임요소에 의한 해석을 수행하고 국부 상세부분은 쉘요소에 의한 해석을 수행하여 두 결과를 조합함으로써 교량의 연결부처럼 응력분포가 복잡한 부분에서 이동하중에 따른 응력이력을 손쉽게 산정하게 된다. 트러스 연결부의 실제 기하학적 형상 및 강성을 전체 프레임해석에 고려하기 위해 국부 쉘모델과 프레임모델의 변위 비교를 통해 프레임 모델의 단면수정계수를 산정하였으며, 실제 공용중인 트러스교의 실험값과 해석값을 비교하여 전체해석-국부해석 조합방법을 검증하였으며, 더 나아가 국부손상의 영향이 반영된 국부 쉘모델 해석결과를 전체해석에 반영시켰다.

• 대한수학회보
• /
• 제50권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.

• 한국복합재료학회:학술대회논문집
• /
• 한국복합재료학회 2000년도 춘계학술발표대회 논문집
• /
• 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.

• 대한수학회보
• /
• 제57권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) ∖ {𝔪}}.

• 한국지능시스템학회논문지
• /
• 제14권7호
• /
• pp.902-906
• /
• 2004

본 논문은 타카기-수게노 (Takagi-Sugeno: T-S) 퍼지 모델 기반 관측기-제어기의 독립 설계 원리를 조사한다. T-S 퍼지 시스템의 전건부 변수가 측정 가능하거나 출력으로부터 계산 가능한 경우 T-S 퍼지 모델 기반 관측기와 T-S 퍼지 모델 기반제어기는 독립적으로 설계 가능하며, 이에 따른 관측기 기반 출력 궤환 제어기는 전역적 안정화 가능성을 보장한다. 한편 T-S 퍼지 시스템의 전건부 변수가 측정 불가능하거나 출력으로부터 계산 불가능한 경우에는, T-S 퍼지 모델 기반 제어기와 관측기를 구현하기 위하여 퍼지 추론 시스템의 전건부 변수를 추정해야 한다. 본 논문은 전건부 변수가 측정 불가능한 경우 T-S 퍼지 모델 기반 제어기와 T-S 퍼지 모델 기반 관측기의 독립적 설계 가능성을 조사한다. T-S 퍼지 모델 기반 제어기와 관측기의 수렴속도가 충분히 빠를 경우 전역적인 독립 설계가 가능함을 보이며, 그렇지 않은 경우 국소적인 독립 설계가 가능함을 보인다.

• 한국콘크리트학회:학술대회논문집
• /
• 한국콘크리트학회 1994년도 가을 학술발표회 논문집
• /
• 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).