• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.29 no.4B
• /
• pp.357-363
• /
• 2009

When yields the mean velocity of the closed conduit which is used generally, it is available to use Darcy Weisbach Friction Loss Head equation. But, it is inconvenient very because Friction Loss coefficient f is the function of Reynolds Number and Relative roughness (${\varepsilon}$/d). So, it is demanded more convenient equation to estimate. In order to prove the reliability and an accuracy of Chiu's velocity equation from the research which sees hereupon, proved agreement very well about measured velocity measurement data by using Laser velocimeter which is a non-insertion velocity measuring equipment from the closed conduit (Laser Doppler Velocimeter: LDV) and an insertion velocity measuring equipment and the Pitot tube which is a supersonic flow meter (Transit-Time Flowmeters). By proving theoretical linear-relation between maximum velocity and mean velocity in laboratory flume without increase and decrease of discharge, the equilibrium state of velocity in the closed conduit which reachs to equilibrium state corresponding to entropy parameter M value has a trend maintaining consistently this state. If entropy M value which is representing one section is determinated, mean velocity can be gotten only by measuring the velocity in the point appearing the maximum velocity. So, it has been proved to estimate simply discharge and it indicates that this method can be a theoretical way, which is the most important in the future, when designing, managing and operating the closed conduit.

• The Magazine of the IEIE
• /
• v.11 no.1
• /
• pp.39-53
• /
• 1984

계산량 이론을 역사적으로 개관하였다. 문제의 본질적 계산복잡도를 정의하는 것 및 계산량의 상계, 하계를 증명하는데 있어서의 기본적인 문제점에 중점을 두었다. 확률적 계산 및 병열계산에 관해서도 논하였다. 이 강연은 계산량(계산복잡도, computational complexity)이론에 관한 튜링상 수상 강연으로서는 두번째의 것이다. 첫번째 것은 1976년에 Michael Rabin의 것이다. Rabin의 탁월한 기념강연을 지금 다시 읽어보면 그 이래로 이 분야에 얼마나 많은 연구가 이룩되었는지를 절감하게 된다. 이 개설에서는 계산량에 관한 연구가 1960년에 시작된 이래 가장 중요하고 흥미를 끄는 결과라고 생각되는 문제에 대해서 언급하고자 한다. 이와같이 광범한 분야에 있어서는 화제의 선택이 개인적인 취향에 치우치는 것을 피할 수는 없지만 나로서는 어떠한 기준으로 보더라도 기본적이라 할 수 있는 논문은 포함시키도록 하겠다.

• The Korean Journal of Applied Statistics
• /
• v.3 no.2
• /
• pp.91-105
• /
• 1990

Several practical prior distributions are derived using the maximum entropy principle. Also, an interactive method for estimating a prior distribution which uses the minimum cross-entropy principle is proposed when there are many prior informations. The consistency of the prior distributions obtained by the entropy principles is discussed.

• Journal for History of Mathematics
• /
• v.23 no.3
• /
• pp.45-56
• /
• 2010

Sequent Calculus is a symmetrical version of the Natural Deduction which Gentzen restructured in 1934, where he presents 'Hauptsatz'. In this thesis, we will examine why the Cut-Elimination Theorem has such an important status in Proof Theory despite of the efficiency of the Cut Rule. Subsequently, the dynamic side of Curry-Howard correspondence which interprets the system of Natural Deduction as 'Simply typed $\lambda$-calculus', so to speak the correspondence of Cut-Elimination and $\beta$-reduction in $\lambda$-calculus, will also be studied. The importance of this correspondence lies in matching the world of program and the world of mathematical proof. Also it guarantees the accuracy of program.

• The KIPS Transactions:PartC
• /
• v.9C no.4
• /
• pp.445-452
• /
• 2002

In this paper, we suggest the design of 128bit block cipher which is provable security based on mathematics theory. We have derived the 16$\times$16 matrix(i.e.,linear transformation) which is numerous active S-box, and we proved for DC and LC which prove method about security of SPN structure cipher algorithm. Also, the minimum number of active S-box, the maximum differential probabilities and the maximum linear probabilities in round function of 128bit block cipher algorithm which has an effect to DC and LC are derived.

• The KIPS Transactions:PartC
• /
• v.13C no.7 s.110
• /
• pp.865-872
• /
• 2006

Cooperative communications (CC) have received a great deal of attention recently as an efficient way to obtain the spatial diversity without physical arrays. Thus, space-time block codes (STBC) which are well-known for use in co-located multi-antenna systems can be still utilized for single-antenna users in a distributed fashion. In this paper, we propose a cooperative signaling structure using the $\frac{3}{4}$-rate STBC and derive closed-form BER expression which takes the effect of network geometry and transmit power constraint into account. A variety of simulated and numerical results demonstrated the cooperation considerably outperforms the direct transmission when partners are located in appropriate positions.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.21 no.3
• /
• pp.51-57
• /
• 2021

In this paper, the relevance between Einstein's special theory of relativity (1905) and Bernoulli's fluid mechanics (1738), which motivates Shannon's theorem (1948), was derived from the AB=A/A=I dimension, and the Shannon's theorem channel code was simulated. When Bernoulli's fluid mechanics ΔP=pgh was applied to the Hallasan volcano Magma eruption, the dimensions and heights matched the measured values. The relationship between Einstein's special theory of relativity, Shannon's information theory, and the stack effect theory of fluid mechanics was analyzed, and the relationship between volcanic eruptions was mathematically proven. Einstein's and Bernoulli's conservation of energy and conservation of mass were the same in terms of bandwidth and power efficiency in Shannon's theorem.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.06c
• /
• pp.303-308
• /
• 2007

최근에 제안된 감독 지식을 융합하는 강화 학습 기법인 potential-based RL 기법의 효용성은 이론적 최적 정책으로의 수렴성 보장으로 증명되었고, policy-reuse RL 기법의 우수성은 감독지식을 융합하지 않는 기존의 강화학습과 실험적인 비교를 통하여 증명되었지만, policy-reuse RL 기법을 potential-based RL 기법과 비교한 연구는 아직까지 제시된 바가 없었다. 본 논문에서는 potential-based RL 기법과 policy-reuse RL 기법의 실험적인 성능 비교를 통하여 기법이 policy-reuse RL 기법이 policy-reuse RL 기법에 비하여 더 빠르게 수렴한다는 것을 보이며, 또한 policy-reuse RL 기법의 성능은 재사용하는 정책의 optimality에 영향을 받는다는 것을 보인다.

• The Science & Technology
• /
• no.12 s.451
• /
• pp.40-44
• /
• 2006

지난 30년 동안 수학계는 순수수학과 응용수학, 두 분야 모두에서 괄목할 만한 발전을 이룩하였다. 순수수학 분야에서는 무엇보다도 먼저 정수론, 더 나아가서는 수학의 모든 분야에서 가장 오래된(360년) 미해결 문제의 하나인 페르마의 마지막 정리가 증명되었다. 또 위상수학분야의 가장 큰 미해결문제인 푸앙카레 예상이 2006년도에 증명되었다. 응용수학 분야에서는 CT 스캔 등 여러 의료 분야에도 수학이 깊숙이 관계되고 있지만. 특히 암호학에서 괄목할 만한 발전을 이루어 요즘 전자상거래, 특히 신용카드를 사용할 때 이용되는 암호기술, 공개키 RSA 방법이 중요하게 쓰이고 있다.

• Journal of KIISE:Software and Applications
• /
• v.28 no.1
• /
• pp.73-89
• /
• 2001

본 연구에서는 일반화된 let-다형성(let-polymorphic) 타입 유추 알고리즘을 제시하고, 이로부터 얻어지는 모든 예 알고리즘들은 Hindley/Milner 타입 체계를 안전하고 완전하게 (sound and complete) 구현하고 있음을 증명하며, 일반화된 알고리즘의 두 예 알고리즘들간에 어느 한쪽이 항상 오류를 더 신속히 감지하게 되는 조건을 제시한다. 일반화된 알고리즘으로부터 이론적으로 검증된 두 타입 유추 알고리즘, 즉, 상향성 표준 타입 유추 알고리즘 W와 하향성 알고리즘 M 뿐만 아니라 두 알고리즘의 혼성 알고리즘(hybrid algorithm)을 만들 수 있다. 만들어진 예 알고리즘들의 안전성, 완전성, 상대적인 신속한 오류 감지 성질들은 본 논문의 증명에 의해 자동적으로 유추된다. 본 논문에서 제시되는 알고리즘으로부터 만들어 낼 수 있는 예 알고르즘에는 SML/NJ와 Objective Caml 컴파일러에서 채택한 알고리즘을 포함하고 있다.