• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10a
• /
• pp.595-598
• /
• 2000

원자력 발전소와 같이 시스템 오작동으로 인하여 엄청난 재난을 불러 올 수 있는 시스템은 시스템을 구축하기 이전에 완전한 설계 및 검증이 절대적으로 필요하다. 특히 긴급성을 요하는 원자력 발전소의 긴급 차단 시스템과 같은 실시간 safety-critical 시스템은 시스템 행위의 유기적인 측면뿐만 아니라, 시간적 제약을 고려하여 엄격하게 명세하고 분석해야 한다. 본 논문에서는 시각적 기반의 설계 명세 언어인 STATECAHRT를 이용하여 원자력 발전소 제어 시스템을 명세하고 이를 모델 체킹 검증 도구인 SMV로 검증함으로써 시스템의 신뢰성을 높이고 실시간 safety-critical 시스템의 설계 및 검증에 대한 방법론을 제시한다. 본 연구에서는 [6]의 논문의 명세 오류를 수정하여 명세 및 검증을 수행하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.11a
• /
• pp.1576-1579
• /
• 2013

클라우드 저장소 서비스는 특정한 장비나 저장 공간의 제약 사항 없이, 언제 어디서나 신뢰성 높은 서버를 활용하여 사용자들에게 다양한 편의를 제공함으로써 사용량이 급증하고 있다. 더불어, 저장 데이터 요청 빈도, 저장 데이터의 크기, 파일 구조 복잡도의 증가로 인해 오버헤드의 발생에 따른 성능 하락에 관한 이슈가 제기된다. 본 논문에서는 클라우드 백업 애플리케이션의 성능 향상을 위해 컴포지트 패턴 기반의 백업 데이터 관리 기법과 동적 자원 할당 기법으로 구성된 설계 모델을 제안한다. 또한, 실사례의 적용을 통해 본 논문에서 제안하는 설계 모델의 실효성을 검증한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.11a
• /
• pp.232-235
• /
• 2010

최근 국방 소프트웨어 분야에서는 모델링 및 시뮬레이션 기술이 각광받으면서 무기체계 개발을 위한 시뮬레이션 소프트웨어 개발 사업을 늘리고 있다. 특히, 시뮬레이션 요소의 재사용성 및 신뢰성 확보를 위한 개발 프레임워크 제공이 핵심기술로 떠오르면서, 시뮬레이션을 위한 공통 서비스를 제공하는 M&S 프레임워크가 개발되었다. 하지만 고객의 요구사항이 프레임워크의 기능 변경을 요구하는 경우 프레임워크가 적용된 모든 시뮬레이션 요소의 수정이 불가피하며, 추가 구성요소의 상호작용을 위한 인터페이스 재설계가 요구된다. 본 논문은 이러한 문제점을 해결하기 위해서 프레임워크의 요소를 DLL로 구현하여 기능 구성을 용이하게 하고, 구성요소 간 상호작용을 위해 데이터 기반 Publish-Subscribe 방식을 사용함으로써 프레임워크와 독립적으로 인터페이스를 설계할 수 있도록 한다. 특히, 프레임워크와 DLL 간 교환 메시지 객체에 대한 구조 설계를 제시한다.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2008.04a
• /
• pp.422-427
• /
• 2008

This study is to illustrate the usefulness of Kriging Dimension Reduction Method(KDRM), which is to construct probability distribution of response function in the presence of the physical uncertainty of input variables. DRM has recently received increased attention due to its sensitivity-free nature and efficiency that considerable accuracy is obtained with only a few number of analyses. However, the DRM has a number of drawbacks such as instability and inaccuracy for functions with increased nonlinearity. As a remedy, Kriging interpolation technique is incorporated which is known as more accurate for nonlinear functions. The KDRM is applied and compared with MCS methods in a compression coil spring design problem. The effectiveness and accuracy of this method is verified.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2006.05a
• /
• pp.975-978
• /
• 2006

통신기술의 급속한 발전으로 네트워크 환경이 광대역통합망으로 진화되어가고 있다. 이로 인해 개별 네트워크에서 운영되던 IT서비스들 또한 광대역통합망 환경에서 빠른 속도로 융합되고 있다. 하지만, 개별 네트워크에서 운영되던 기존의 IT서비스들이 광대역통합망에서 서로 융합되어 신규 IT 서비스를 생성하는 과정에서 보안요소가 적용되지 않을 경우에 신규 IT서비스의 안정성 및 신뢰성이 떨어질 수 있다. 이러한 문제점을 해결하기 위해서, 본 논문에서는 신규 IT 서비스의 기반구축 및 운영이전인 서비스에 대한 기획 및 설계시에 필수적인 보안대책 제시하여 서비스 운영이전에 보안대책을 적용할 수 있도록 함으로써, 신규 IT 서비스의 안정성과 신뢰성을 확보할 수 있는 방법으로 정보보호사전평가 모델을 제시하고, 이 모델을 RFID 서비스에 적용한 예제를 설명한다.

• Journal of computational fluids engineering
• /
• v.17 no.2
• /
• pp.28-34
• /
• 2012

In this study, the reliability-based design optimization of the airfoil was performed. PARSEC function was used to consider the uncertainty of the aerodynamic shape for the reliability-based shape optimization of airfoils. Among various reliability analysis methods, the moment method was used to compute the probability of failure of the aerodynamic performance. The accuracy of the reliability analysis was compared with other methods and it was found that the moment method predicts the probability of failure accurately. Deterministic and reliability-based optimizations were performed for the shape of the airfoil and it was demonstrated that reliability-based optimum assures the aerodynamic performances under uncertainties of the shape of the airfoil.

• International Commerce and Information Review
• /
• v.9 no.1
• /
• pp.3-21
• /
• 2007

The explosive growth of e-marketplace transactions requires an appropriate trust measuring framework to protect involving transacting entities such as buyers and sellers. As a strategic competitive edge, e-marketplace service providers have been adopting various system features that make sure no one transacting entity takes a major risk in online transactions involved. In this paper, an improved trust measuring method using fuzzy theory for an e-marketplace is proposed. The proposed methodology incorporates fuzzy set and calculation concepts to help build trust matrices and models, which are used to measure the level of risk involved in a specific e-marketplace transaction concerned. The proposed framework can be utilized to optimize the transaction costs by recommending a differentiated transaction process according to the risk level involved in each online transaction.

• 한국전산유체공학회:학술대회논문집
• /
• 2010.05a
• /
• pp.50-54
• /
• 2010

In this study, reliability-based design optimizations of airfoils were performed. PARSEC function was used to consider the uncertainty of the aerodynamic shape for the reliability-based shape optimization of airfoils. Among aerodynamic performance. The accuracy of the reliability analysis was compared with other method and it was found that the moment method predicts the probability accurately. Deterministic and reliability-based optimizations were performed for shape of the RAE2822 airfoil and it was demonstrated that reliability-based optimizations the aerodynamic performances under uncertainties of the shape of the airfoil.

• Proceedings of the KSME Conference
• /
• 2008.11a
• /
• pp.678-683
• /
• 2008

Moment-based reliability analysis is the method to calculate reliability using Pearson System with first-four raw moments obtained from simulation model. But it is too expensive to calculate first four moments from complicate simulation model. To overcome this drawback the MD(multiplicative decomposition) method which approximates simulation model to kriging metamodel and calculates first four raw moments explicitly with multiplicative decomposition techniques. In general, kriging metamodel is an interpolation model that is decomposed of global model and local model. The global model, in general, can be used as the constant global model, the 1st order global model, or the 2nd order global model. In this paper, the influences of global models on the accuracy and robustness of raw moments are examined and compared. Finally, we suggest the best global model which can provide exact and robust raw moments using MD method.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.11a
• /
• pp.991-994
• /
• 2005

통신기술의 급속한 발전으로 네트워크 환경이 광대역통합망으로 진화되어가고 있다. 이로 인해 개별 네트워크에서 운영되던 IT서비스들 또한 광대역통합망 환경에서 빠른 속도로 융합되고 있다. 하지만, 개별 네트워크에서 운영되던 기존의 IT서비스들이 광대역통합망에서 서로 융합되어 신규 IT 서비스를 생성하는 과정에서 보안요소가 적용되지 않을 경우에 신규 IT서비스의 안정성 및 신뢰성이 떨어질 수 있다. 이러한 문제점을 해결하기 위해서, 본 논문에서는 신규 IT 서비스의 기반구축 및 운영이전인 서비스에 대한 기획 및 설계시에 필수적인 보안대책 제시하여 서비스 운영이전에 보안대책을 적용할 수 있도록 함으로써, 신규 IT 서비스의 안정성과 신뢰성을 확보할 수 있는 방법으로 정보보호사전평가 모델을 설명한다.