• Journal for History of Mathematics
• /
• v.25 no.1
• /
• pp.1-13
• /
• 2012

Possibility theory is a kind of mathematics of uncertainty for handling incomplete information. In this paper, we discuss vagueness and randomness as some causes of uncertainty and we introduce the possibility theory as a way of dealing with uncertainty, comparing it with the probability theory.

• Proceedings of the Korean Society of Coastal and Ocean Engineers Conference
• /
• 1991.07a
• /
• pp.18-24
• /
• 1991

항내 정온도 해석은 일반적으로 유한차분법, 유한요소법 및 경계적분 방정식법 등의 엄밀해법과 근사 경계적분법, 고산의 방법 및 파향선법 등의 근사해법으로 구분된다. 엄밀해법은 지배방정식을 이산화 이외의 근사를 사용하지 않고 푸는 수치계산 방법으로 임의형상에의 적용성과 엄밀성이 뛰어나나 대상으로 하는 파의 파장이 짧고 항의 규모가 큰 경우에는 계산용량이 증대되여 실용적이지 못하다.(중략)

• Journal of the KSME
• /
• v.21 no.3
• /
• pp.187-196
• /
• 1981

이 글에서는 열역학에 연관된 기본법칙을 서술하고 에너지의 효율적 이용에 대하여 제 1 법명 하고자 한다. 여기서는 열학적에 연관된 각종의 정의나 설명 등에 있어 지나친 엄밀성은 피하 고자 한다.

• ICROS
• /
• v.10 no.3
• /
• pp.21-26
• /
• 2004

Structured singular value (SSV)는 robust stability와 robust performance를 매우 엄밀하게 다루기 위해 고안되었다 (Doyle, 1982; Safonov, 1982). 이 엄밀성으로 제어시스템의 설계 및 분석에 광범위하게 사용되고 있다. 강건제어의 단초를 이루었으며 loop failure tolerance, decentralized integral controllability (Campo and Morari. 1994), D-stability (Lee and Edgar, 2001) 등에 SSY가 사용되고 있다. SSV의 중요성이 알려짐에 따라 이것에 관한 많은 연구가 있었다(Fan et at., 1991 ; Pacltard and Pander, 1993), 그러나 이 값의 계산은 매우 어려운 NP-hard인 것으로 판명되었으며 (Braatz et al.. 1994). 실수 불확실 변수에 대한 SSV의 경우 원하는 오차범위 내로 근사 값을 구하는 것도 마찬가지 인 것으로 밝혀졌다(Fu, 1997).(중략)

• Journal for History of Mathematics
• /
• v.11 no.2
• /
• pp.17-28
• /
• 1998

The problem of mathematical rigor is that of giving an objective definition of a rigorous proof. But standards of rigor have changed in mathematics and the notion of proof is not absolute. There are different versions of proof or rigor, depending on time, place, and other things. In this paper we will briefly trace that evolution.

• Proceedings of the Korean Society of Tribologists and Lubrication Engineers Conference
• /
• 1992.11a
• /
• pp.13-18
• /
• 1992

대형 틸팅패드 저어널베어링은 고속안정성 특성이 우수한 베어링으로서 시스템의 안정성이 매우 중요시되는 터빈발전기 등 대형 고속 회전기계에 많이 사용되고 있다. 그런데 이들 대형 저어널베어링에서는 유막의 온도상승이 매우 많고, 유체의 흐름이 거의 난류영역에 이르기 때문에 베어링의 운전특성을 정확하게 예측하기가 어려운 실정이다. Hopf & Schuler는 대형 틸팅패드 저어널베어링에 대한 실험적 연구에서 유동상태에 따라 베어링의 온도분포가 서로 달라진다고 발표하였다. 대형 틸팅패드 저어널베어링은 구조적으로 유동상태가 복잡할 뿐만 아니라 계산과정도 까다로운 편이어서 온도상승과 난류를 고려하여 엄밀하게 운전특성을 예측한 연구는 거의 없다. 따라서 본 연구에서는 대형 틸팅패드 저어널베어리으이 운전특성을 보다 엄밀하게 예측하기 위하여 3차원 적으로 유막의 점도변화 및 패드에서의 열전달을 고려하고, 와점성계수를 이용한 난류윤활이론을 사용하여 유막의 온도상승 및 난류가 베어링의 온도분포, 부하능력, 마찰손실 등의 운전특성에 미치는 영햐을 보다 엄밀하게 제시하고자 한다.

• Journal of the Korean Geotechnical Society
• /
• v.26 no.3
• /
• pp.47-57
• /
• 2010

Yield seismic coefficient plays an important role in the estimation of permanent displacement of a soil slope subjected to earthquake using Newmark's sliding block theory. However, yield seismic coefficients currently used in practices are not mechanically rigorous since most of them are estimated using limit equilibrium methods considering equilibrium condition only. Therefore, estimation of permanent displacement of a soil slope based on existing yield seismic coefficient may cause problems. Limit analysis estimating the range of mechanically rigorous solution is thought to be effective in evaluating the validity of existing yield seismic coefficient. In this study, a simple stability chart for yield seismic coefficient useful in practices is proposed by considering various slope conditions including stability number, slope inclination, strength parameters, etc.

• The Mathematical Education
• /
• v.61 no.1
• /
• pp.47-62
• /
• 2022

This study investigated the contents related to the plane figures in the geometry domains of Joseon-Sanhak in the late 18th century and focused on changes in explanations and calculation methods related to plane figures, the rigor of mathematical logic in the problem-solving process, and the newly emerged mathematical topics. For this purpose, We analyzed , and written in the late 18th century and and written in the previous period. The results of this study are as follows. First, an explanation that pays attention to the figures as an object of inquiry, not as a measurement object, and a case of additional presentation or replacing the existing solution method was found. Second, descriptions of the validity of calculations in some problems, explanations through diagrams with figure diagrams, clear perceptions of approximations and explanations of more precise approximation were representative examples of pursuing the rigor of mathematical logic. Lastly, the new geometric domain theme in the late 18th century was Palsun corresponding to today's trigonometric functions and example of extending the relationship between the components of the triangle to a general triangle. Joseon-Sanhak cases in the late 18th century are the meaningful materials which explain the gradual acceptance of the theoretical and argumentative style of Western mathematics

• Journal of the Korean Geotechnical Society
• /
• v.20 no.1
• /
• pp.121-129
• /
• 2004

In this study, a slope stability chart for assessing stability of homogeneous simple soil slopes is proposed. Most existing slope stability charts are based on limit equilibrium method, which is not rigorous in mechanical standpoint. Meanwhile, limit analysis based on the principle of virtual work and the bound theorems of plasticity is suitable for evaluating the stability of geotechnical structures such as slope due to its simplicity in computation and mechanical rigor. Numerical limit analysis taking advantage of finite elements and linear programming can consider various slope conditions and, in addition, find the optimum stability solution with effeciency. In this study, a numerical limit analysis program in terms of effective stress is developed and a mechanically rigorous slope stability chart is proposed by performing stability analyses for various slope conditions. Pore pressure ratio, commonly used in stability charts, is applied to consider the effects of pore pressure for effective stress analysis. As a result of comparison between proposed stability chart and Spencer's stability chart, it was found that Spencer's chart solutions are biased to lower bound which means conservative in design.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.431-434
• /
• 2004

국내에서 전자상거래 인증(certification) 제도가 시행된 지 5년여에 이르고 있으나 일반 소비자 대중의 이러한 인증제도에 대한 인지도는 아직도 매우 낮은 편이며, 전자상거래로 인한 사고나 범죄 등 소비자의 피해를 줄이거나 방지하는 데에 현재의 인증제도가 기여하는 역할은 아주 미미한 실정이다. 본 연구에서는 국내외 전자상거래 관련 인증/시상 제도를 검토하여 인증제도 및 평가모델의 설계 단계에서부터 기존의 정성적인 방법을 지양하고, 전자상거래 전문가 및 이해당사자들의 의견을 종합적으로 반영하되, 통계적인 기법과 AHP 기법을 사용하여 이론적 엄밀성을 갖춘 평가모델을 개발하였다.