• Proceedings of the Korea Water Resources Association Conference
• /
• 2004.05b
• /
• pp.701-704
• /
• 2004

본 논문에서는 환전분포형 지표수-지하수 연계모형인 MIKE SHE 모형을 SWAT모형을 이용하여 산출된 소유역 유출량 자료 및 함양량 자료와 연계하여 국내 IHP 대표유역의 하나인 보청천 유역에 적용하였다. 실측유출량자료와 모의된 유출량자료를 비교하여 통계적 변량을 산출하여 모형을 평가하였으며, 그 결과 EI와 RMAE, $R^2$값은 각각 0.64와 0.74, 0.82를 나타내는 것으로 보아 모형이 실제를 만족스러울 정도로 잘 반영하고 있지는 못한다고 판단되었다. 이는 적용된 모형의 문제점이라기 보다 국내 실정에서 모형의 입력자료를 뒷받침할 만한 세분화된 자료의 부족에서 기인된 결과로 판단된다. 이에 따라 국내에서 완전분포형 모형의 입력자료를 뒷받침할 수 있는 시추 자료, 수리상수 자료 등이 확보되고 모형의 보정과 검정과정을 거친다면 더욱 만족스러운 결과를 얻어낼 수 있을 것으로 판단되며, 이러한 문제점이 해결, 보안된다면 본 모형의 국내 적용에는 큰 문제점은 없을 것으로 판단된다.

• Korean Journal of Logic
• /
• v.16 no.3
• /
• pp.437-452
• /
• 2013

This paper verifies the following two: First, I verify the standard completeness proof for the system $ULw_t$ is not correct in the sense that t-weakening uninorms are t-norms, but not weakening-free uninorms. Second, I verify that the proof for $ULw_t$ can be used for the system MTL. That is, I provide a new standard completeness proof for it.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 1997.11a
• /
• pp.49-53
• /
• 1997

본 논문에서는 평활한 완전 8방향 윤곽선을 부호화하는 법의 성능을 기존의 방법과 비교 평가한다. 평활한 완전 8방향 윤곽선은 majority filter를 이용하여 윤곽선에서 화질에 큰 영향을 미치지 않는 작은 돌출부분들을 제거함으로써 얻을 수 있고, 이의 효율적인 부호화 방법으로 2단계 움직임 보상 후 NDSC를 적용하는 기법이 소개되어 있다. 본 논문에서는 이러한 윤곽선 부호화 방법의 성능을 현지 MPEG4에서 검토중인 CAE와 비교하였다. 그 결과, 2단계 움직임 보상 후 NDSC를 적용하는 기법은 CAE에 비해 비트율을 7∼37% 감소시킬 수 있고, Dp, Dn 척도에서 본 distortion-bitrate 특성도 우수한 것으로 나타났다.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.26 no.1
• /
• pp.79-84
• /
• 2003

종래의 연구들은 주로 시간이 경과함에 따라 수리비용과 고장시간 간격이 고정된 상태에서 최적교환시각(T)을 구하는 조건을 발견하는데 중점을 두었으나, 대부분의 시스템은 시간이 경과할수록 고장시간간격이 좁아지고 수리비용은 증가하는 것이 일반적이다. 본 논문에서는 위의 두 조건을 만족하는 보다 현실적인 모델을 구축하였으며, 또 일정시간 내에 2개의 시스템이 존재할 때 어느 조건 하에서 시스템이 확률적으로 우월한가를 분석하는 연구를 수행하였다. 즉, 시스템은 시간이 경과함에 따라 확률 P［N=k］로서 완전수리를, 1-P［N=k］로서 소수리를 행하는 모델을 고려하였다. 여기서 N은 연속된 완전수리 사이의 소수리의 수를 나타낸다. 또한 초기고장에 있어서 수리에 의해 새로운 시스템이 되는 확률이 높고, 고장횟수가 증가함에 따라 완전수리가 행해지는 확률이 낮아지는, 보다 현실에 가까운 모델을 구축하였다. 모델을 일반화하기 위해 수리비용은 확률변수로 가정하였다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2002.11a
• /
• pp.766-769
• /
• 2002

In this paper, we propose new orthogonal modulation method to enhance the performance of CCK adapted in 802.l1b WLAN. To maintain the orthogonality of codewords produced by CCK modulator, we devide 256 codewords into 8 subset by trellis coding and codewords On a subset are orthogonal each other. In result, this method restricts maximum data rate to 9.625Mbps, however, it is better about 1.5dB than original UK modulation at BER 10$^{-5}$ .

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10b
• /
• pp.1381-1384
• /
• 2000

본 논문에서는 최근 객체지향 설계에 많이 사용되고 있는 객체지향 다이아그램들의 일관성과 완전성을 해결하기 위하여 [1]에서 제공된 일관성과 완전성 규칙들을 기반으로 다이아그램들을 검증할 수 있는 검증 모델을 프레임을 이용하여 설계하였다. 본 논문에서는 프레임을 이용한 설계 과정을 보이기 위하여 다이아그램의 일관성과 완전성을 검증할 수 있는 검증 모델에 대한 각 다이아그램을 대상으로 정보를 유도하였고 유도된 정보를 기반으로 검증에 기초가 되는 공통 내부 표현을 프레임을 이용하여 설계하는 과정을 제시하였다. 설계된 검증 모델은 다양한 객체지향 다이아그램에 대하여 적용이 가능하며 기존의 다이아그래밍 도구와도 결합이 가능하도록 구성되어 있다.

• Journal of the Society of Naval Architects of Korea
• /
• v.44 no.4
• /
• pp.425-438
• /
• 2007

In this paper, unsettled technical controversies concerning about fatigue strength analysis for FPSO, one of the representative floaters, associated with welding types, screening methods, fabrication tolerances, corrosion margins and Morison loads are described based on yard practices. Basic theory for stochastic fatigue analysis is introduced as detail as possible. In order to resolve large parts of the controversies, a new fully stochastic fatigue analysis program for FPSO is developed.

• Journal of the Korean Institute of Telematics and Electronics D
• /
• v.35D no.12
• /
• pp.21-29
• /
• 1998

Dual integral equation in the spectral domain is derived for an arbitrary angled perfect conducting wedge with E-polarized plane wave incidence. Analytic integration of the dual integral equation in the spectral domain with the exact boundary fields of the perfect conducting wedge, the well known series solution, gives the exact asymptotic solution. The validity of the integration is assured by showing that analytic integration gives the null fields in the complementary region.

• Korean Journal of Logic
• /
• v.14 no.1
• /
• pp.55-76
• /
• 2011

Fixed-point conjunctive left-continuous idempotent uninorms have been introduced (see e.g. [2, 3]). This paper studies a system for such uninorms. More exactly, one system obtainable from IUML (Involutive uninorm mingle logic) by dropping involution (INV), called here WUML (Weak Uninorm Mingle Logic), is first introduced. This is the system of fixed-point conjunctive left-continuous idempotent uninorms and their residua with weak negation. Algebraic structures corresponding to the system, i.e., WUML-algebras, are then defined, and algebraic completeness is provided for the system. Standard completeness is further established for WUML and IUML in an analogy to that of WNM (Weak nilpotent minimum logic) and NM (Nilpotent minimum logic) in [4].

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.10a
• /
• pp.477-480
• /
• 2001

최근 객체지향 설계에 UML을 많이 사용하게 되면서 개발자들은 작성된 UML 다이아그램들이 일관성이 있고 완전한가를 검증할 필요성이 대두되기 시작하였다. 본 논문에서는 [1]에서 제공된 다이아그램의 일관성과 완전성 검증 규칙을 사용하여 작성된 UML 다이아그램의 일관성과 완전성을 검증하기 위한 검증 시스템을 설계하였다. 검증 시스템의 설계에는 UML 다이아그램을 활용하였으며 프레임을 이용하여 검증 시스템의 다이아그램에 대한 내부표현을 제시하였다.