• 대한수학회지
• /
• 제32권2호
• /
• pp.171-181
• /
• 1995

Nielsen coincidence theory is concerned with the estimation of a lower bound for the number of coincidences of two maps $f,g: X \longrightarrow Y$. For this purpose the so-called Nielsen number N(f,g) is introduced, which is a lower bound for the number of coincidences ([1]). The relative Nielsen number N(f : X,A) in the fixed point theory is introduced in [3], which is a lower bound for the number of fixed points for all maps in the relative homotopy class of f:(X,A) $\longrightarrow$ (X,A), and its estimation is given in [5].

• 한국광학회지
• /
• 제29권2호
• /
• pp.64-69
• /
• 2018

본 논문에서는 양자시스템이 두 순수상태가 임의대로 혼합된 상태, 즉 2-계수 양자상태, 에 존재할 때 시스템이 포함하는 양자얽힘의 일반적인 하한값을 유도하고 양자얽힘검증 및 양자상태 분리가능성 판별 방법을 제안한다.

• 한국중재학회지:중재연구
• /
• 제27권3호
• /
• pp.77-94
• /
• 2017

The United States has used legal theoretical constructions such as equitable estoppel and the third party beneficiary under which non-signatories of an arbitration agreement can be bound to the arbitration agreement of others. The third party beneficiary theory has been used when a signatory defendant argues that a non-signatory plaintiff is bound by an arbitration agreement, or a non-signatory defendant argues that a signatory plaintiff is required to arbitrate the plaintiff's claims against the non-signatory. On the other hand, equitable estoppel has developed as two distinct theories. According to the first theory, if a non-signatory party knowingly accepted the benefits of an agreement, it can be estopped from denying its obligation to arbitrate. The second theory compels a signatory to arbitrate because of the close relationship between the entities involved and the fact that the claims were intimately founded in and intertwined with the underlying contract obligations.

• 산업경영시스템학회지
• /
• 제26권4호
• /
• pp.42-49
• /
• 2003

The branch and bound techniques based on cut tree and eigenvector have been Introduced in the literature [1, 2, 3, 6, 9, 12]. These techniques are used as a basis to allocate departments to floors and then to fit departments with unchangeable dimensions into floors. Grouping algorithms to allocate departments to each floor are developed and branch and bound forms the basis of optimizing using the criteria of rectilinear distance. The proposed branch and bound technique, in theory, will provide the optimal solution on two dimensional layout. If the runs are time and/or node limited, the proposed method is a strong heuristic The technique is made further practical by the fact that the solution is constrained such that the rectangular shape dimensions length and width are fixed and a perfect fit is generated if a fit is possible. Computational results obtained by cut tree-based algorithm and eigenvector-based algorithm are shown when the number of floors are two or three and there is an elevator.

• 한국정밀공학회지
• /
• 제24권8호통권197호
• /
• pp.34-40
• /
• 2007

In this study, focusing on reducing a load in forming helical gears, the extrusion using two-step processes for manufacturing helical gear is proposed. The process is composed of the extrusion step in which spur gear to be used as a preform in next step is formed, and the torsion step in which the preform of spur gear is formed to helical gear. Upper-bound theory for the two-step process is applied and compared with the results of experiment. The result of upper-bound solution has a good agreement with that of the experiment and the FE analysis. The newly proposed method can be used as an advanced forming technique to remarkably reduce a forming load, to prolong a tool life, and to replace the conventional forming process of helical gears. Results obtained from the extrusion using two-step processes enable the designer and manufacturer of helical gear to be more efficient in this field.

• 한국지반공학회:학술대회논문집
• /
• 한국지반공학회 2002년도 봄 학술발표회 논문집
• /
• pp.93-100
• /
• 2002

Vertical reinforcement of soft soils using the deep mixing method has received increasing applications. In this study, the theory of elasticity and plasticity including the upper bound theorem of limit analysis were used to derive the equations for obtaining composite elastic properties and shear strength parameters. The developed equations were validated using the finite element computer program SAGE CRISP. The analysis involved 4 different cases-two different type of soil and replacement ratios. Tile results of the analysis show that the proposed equations could determine the properties of composite material for practical applications.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1993년도 추계학술대회 논문집
• /
• pp.218-223
• /
• 1993

An UBET(Upper Bound Elemental Technique) program has been developed to analyze forging load, die-cavity filling and effective strain distribution for flashless forging. To analyze the process easily, it is suggested that the deformation is divided into two different parts. Those are axisymmetric part in corner and plane-strain part in lateral. The total power consumption is minimized through combination of two deformation parts by building block method, from which the upper-bound forging load, the flow pattern, the grid pattern, the veocity distribution and the effective strain are determined. To show the merit of flashless forging, the result of flashless and flash forging processes are compared through theory and experiment. Experiments have been carried out with plasticine billets at room temperature. The theoretical predictions of the forging load and the flow pattern are in good agreement with the experimental results.

• 천문학논총
• /
• 제30권2호
• /
• pp.321-325
• /
• 2015

Determining the absolute neutrino mass scale and the neutrino mass hierarchy are central goals in particle physics, with important implications for the Standard Model. However, the final answer may come from cosmology, as laboratory experiments provide measurements for two of the squared mass differences and a stringent lower bound on the total neutrino mass - but the upper bound is still poorly constrained, even when considering forecasted results from future probes. Cosmological tracers are very sensitive to neutrino properties and their total mass, because massive neutrinos produce a specific redshift-and scale-dependent signature in the power spectrum of the matter and galaxy distributions. Stringent upper limits on ${\sum}m_v$ will be essential for understanding the neutrino sector, and will nicely complement particle physics results. To this end, we describe here a series of cosmological hydrodynamical simulations which include massive neutrinos, specifically designed to meet the requirements of the Baryon Acoustic Spectroscopic Survey (BOSS) and focused on the Lyman-${\alpha}$ ($Ly{\alpha}$) forest - also a useful theoretical ground for upcoming surveys such as SDSS-IV/eBOSS and DESI. We then briefly highlight the remarkable constraining power of the $Ly{\alpha}$ forest in terms of the total neutrino mass, when combined with other state-of-the-art cosmological probes, leaving to a stringent upper bound on ${\sum}m_v$.

• Korean Journal of Mathematics
• /
• 제26권4호
• /
• pp.601-614
• /
• 2018

We consider the magnetic $Schr{\ddot{o}}dinger$ operator coupled with two different potentials. One of them is a harmonic oscillator and the other is a periodic potential. We give some periodic potential classes for which the operator has purely absolutely continuous spectrum. We also prove that for strong magnetic field or large coupling constant, there are open gaps in the spectrum and we give a lower bound on their number.

• 한국정보과학회논문지:시스템및이론
• /
• 제30권9호
• /
• pp.477-486
• /
• 2003

조합 경매에서는 구매자들이 원하는 상품들을 조합해서 입찰할 수 있다. 그러나 판매자의 이익을 최대로 하는 구매자들, 즉 조합 경매의 승자를 결정하는 문제는 NP-complete이다. 적절한 시간 내에 승자를 찾기 위해서 분기 한정법(branch-and-bound)을 사용할 때, 구매자들의 비드(bid)들 중에서 어떤 비드를 선택해서 분기할 것인가를 결정해야 한다. 이 때, 비드를 선택하는 휴리스틱이 분기 한정법의 성능을 결정하는 중요한 역할을 한다. 본 논문에서는 조합경매의 승자를 결정하기 위해서 분기 한정법과 Linear Programming(LP)를 사용하는 알고리즘을 설계하고, 분기할 비드를 선택하기 위하여 분기할 비드와 충돌하는 비드들을 동시에 고려하는 비드 선택 휴리스틱을 제안한다. 그리고 최대 한계치를 재 사용하는 경우를 찾아내서 알고리즘의 수행시간을 줄였다. 알고리즘의 수행 성능을 평가하기 위해서 다섯 가지의 데이타 분포에 대한 실험 결과를 이전 논문들과 비교했다. 제시한 휴리스틱을 사용한 알고리즘은 두 가지 데이타 분포에서는 더 빠른 성능을 보였고 나머지 세 분포에서는 비슷한 성능을 보였다.