• Publications of The Korean Astronomical Society
• /
• v.30 no.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$.

• Journal of KIISE:Software and Applications
• /
• v.28 no.9
• /
• pp.681-687
• /
• 2001

In order to raise a class discrimination power by combining multiple classifiers under the Bayesian decision theory, the upper bound of a Bayes error rate bounded by the conditional entropy of a class variable and decision variables obtained from training data samples should be minimized. Wang and Wong proposed a tree dependence first-order approximation scheme of a high order probability distribution composed of the class and multiple feature pattern variables for minimizing the upper bound of the Bayes error rate. This paper presents an extended high order product approximation scheme dealing with higher order dependency more than the first-order tree dependence, based on the minimization of the upper bound of the Bayes error rate. Multiple recognizers for unconstrained handwritten numerals from CENPARMI were combined by the proposed approximation scheme using the Bayesian formalism, and the high recognition rates were obtained by them.

• Journal of Industrial Technology
• /
• v.10
• /
• pp.3-8
• /
• 1990

This paper presents a linear state feedback control approach to the stabilization of discrete-time uncertain systems with bounded uncertain parameters. The approach is based on the LQ(linear quadratic) regulator theory and Lyapunov's stability analysis. Asymptotically stable behavior is guaranteed in the presence of parameter uncertainties, and the upper bound of the performance index is determined.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1993.10a
• /
• 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.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.7 no.2
• /
• pp.168-174
• /
• 1983

The study is concerned with an analysis on the hydrofilm extrusion through conical dies. The upper bound method is adopted for the analysis of metal deformation in connection with hydrodynamic lubrication theory for the lubricant in order to determine the extrusion pressure for some variables such as reduction of area, die cone angle. In the upper bound method, a kinematically admissible velocity field is found by assuming proper streamlines and applying the flow function concept to the region of plastic deformation. The effect of work hardening is incorporated approximately by calculating the strains at the exit of the die. The experiments are carried out with the commercially pure aluminium for some chosen variables at room temperature. It is shown that the theoretical predictions are in good agreement with the experimental observations.

• Journal of the Korean Geotechnical Society
• /
• v.17 no.3
• /
• pp.69-75
• /
• 2001

본 논문에서는 지하공동 위에 설치된 띠 기초의 지지력에 대하여 upper bound theory를 이용하여 연구하였다. 기초 크기, 공동의 크기 및 위치, 그리고 지반의 물성치의 영향에 관하여 고찰하였으며 10개의 파괴 형상에 대하여 분석을 수행하였다. 각각의 파괴형상은 지반의 물성치 및 기하학적인 형상에 관한 함수로 표현되어 컴퓨터 해석을 통한 최소화를 시행하였다. 최소화를 위한 프로그램은 Boland C++ Builder를 이용하여 작성한 후 PC에서 수행되었다. 10개의 파괴형상 중 최소의 기초 지지력을 작성된 컴퓨터 프로그램을 통하여 구하였고 이를 해당 기초의 극한 지지력으로 추정되었다. 본 연구의 결과를 종합 정리하여 지하공동 위에 위치한 띠 기조의 극한 지지력을 구할 수 있는 간단한 식을 제시하였다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.18 no.10
• /
• pp.1598-1605
• /
• 1993

In this paper, the performance degradation caused by the band pass filter and the data sampling timing error which are generally considered ideal for the simplicity was analyzed. The well known intersymbol interference theory can be applicable to calculate only the upper bound of a system performance. Therefore to obtain the average error probability, a method average intersymbol interference was proposed. This method can be applicable to obtain average error probablity with a computer simulation and with a measured value in test lab. easily.

• Journal of the Korean Society for Precision Engineering
• /
• v.16 no.11
• /
• pp.166-173
• /
• 1999

Al forged parts are many cases with rib-web section which is difficult to manufacture precisely. Therefore, process conditions must be optimized for precision forging of Al alloys. In this study, various process parameters such as die design, lubricant, ram speed, forging temperature have been investigated using the experiment, upper bound theory and F.E.M. simulation to develop the precision forging technology for rib-web shape component. When lubricant is applied to both material and die, shear friction factor is 0.1 which shows best effect of lubricant. It is specific corner radius of die that minimized forging load regarding process conditions, especially according to the ratio of the width of rib and web. In conclusion, optimum corner radius is 2~3mm when the width of rib and web is 3mm and 20mm respectively.

• Proceedings of the Korean Geotechical Society Conference
• /
• 2002.03a
• /
• 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.

• Bulletin of the Korean Mathematical Society
• /
• v.49 no.1
• /
• pp.155-163
• /
• 2012

Let E be an elliptic curve over $\mathbb{Q}$. Using Iwasawa theory, we give what seems to be the first general upper bound for the order of vanishing of the p-adic L-function at s = 0, and the $\mathbb{Z}_p$-corank of the Tate-Shafarevich group for all sufficiently large good ordinary primes p.