• Annual Conference of KIPS
• /
• 2005.05a
• /
• pp.1769-1772
• /
• 2005

본 논문에서는 사용자의 작업을 최소화하고 결과의 정확성을 높일 수 있는 3 차원 영역 분할 알고리즘을 제시하고 있다. 경계선을 강화하고 유사영역을 평탄화하는 SRAD(Speckle Reducing Anisotropic Diffusion) 필터링은 잡음에 의한 3 차원 영역확장의 오류를 줄이고 분할 대상의 경계부분까지 안정적으로 영역을 확장시켜준다. 3 차원 영역확장 방법은 사용자에 의해 입력된 시작점을 기반으로 영역의 유사성과 집합성을 판단하는 평가함수(cost Function)를 계산하여 3 차원으로 영역을 확장시킨다. 이러한 방법을 이용할 때에 보다 효과적으로 3D MRI 데이터에 대한 영상 분할을 수행할 수 있다. 또한 논문에서 제시한 알고리즘의 검증을 위해서 분할 결과에 대한 의료진의 검증을 수행하였다.

• Annual Conference of KIPS
• /
• 2003.05c
• /
• pp.1749-1752
• /
• 2003

최근 소프트웨어 개발을 위한 각 분야에서 컴포넌트 기반 개발(Component Based Development)에 초점을 맞추고 많은 연구와 개발이 이루어지고 있다. 소프트웨어는 컴포넌트의 조림을 통해 완성되며 이는 비용과 시간의 절감, 검증된 컴포넌트 사용으로 인한 소프트웨어 신뢰성의 증가, 컴포넌트 개발을 통한 자산으로써의 가치 등을 고려해 봤을 때, 컴포넌트 기반 개발은 중요한 의미를 지니고 있다. 이러한 컴포넌트들은 컴포넌트가 지닌 기능이나, 성능을 테스트하여 검증하는 과정이 매우 중요하다. 본 연구에서는 컴포넌트 테스트를 위한 BIT(Built-in Test)의 구현을 통해 컴포넌트 테스트를 수행하고 평가하기 위한 기초연구를 수행하였다.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2010.04a
• /
• pp.234-237
• /
• 2010

본 연구에서는 변단면을 갖는 FCM(Free Cantilever Method) 교량의 설계 단계에서 교각 위치 변경에 따른 경간장 변화와 그로 인한 박스 거더의 형상을 자동 조정하여 설계단계에서의 효율성 향상을 위해 3차원 파라메트릭 모델링 방법을 적용하였다. 이를 위해 FCM 교량 설계 지침서를 분석하여 경간장 변화와 관련된 매개변수들을 추출하고 이들의 관계를 구속조건으로 정의하였다. 또한, 정의한 구속조건의 적용을 통해 대상교량의 파라메트릭 모델링을 수행하여 그 적용 가능성을 검증했으며 결과로 생성된 교량 모델의 물량산출을 수행하여 모델의 정확성을 검증했다.

• Proceedings of the KIEE Conference
• /
• summer
• /
• pp.1358-1360
• /
• 2004

철도 신호제어장치들은 각자 고유의 기능을 수행하면서 각 장치간 통신링크를 통하여 하나의 신호제어시스템을 구성하고 있다. 특히 철도청에서 통합 CTC 시스템을 구축하면서 신호제어시스템 이외의 SCADA나 여객정보안내 시스템 등과도 인터페이스를 통해 기존의 열차제어 기능만을 수행하는 것에서 타 시스템과의 통신을 통한 종합적인 정보시스템으로 발전하고 있다. 이러한 CTC장치와 외부설비들간의 인터페이스는 철도정보시스템의 발달에 따라 매우 중요한 부분이 되고 있으며, 본 논문에서는 이중 SCADA 장치와의 인터페이스를 위한 프로토콜 구조를 연구하였다. 이에 따라 본 논문에서는 기존의 도시철도, 경부고속철도 등의 프로토콜의 분석을 바탕으로 철도청 통합 CTC와 SCADA 장치간 통신을 위해 설계한 프로토콜 구조를 제시하고, 또한 설계한 프로토콜에 대한 안전성과 필연성을 정형검증(Formal Verification) 결과를 설명한다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2003.11a
• /
• pp.127-132
• /
• 2003

현재의 네트워크는 다양한 서버, 라우터, 스위치 등 여러 장치들로 구성된 복잡한 구조를 가지고 있다. 정책 기반의 프레임워크는 복잡한 네트워크를 단순화하고 자동화하여 관리할 수 있는 도구를 제공한다. 본 논문에서는 여러 보안 시스템 모델들이 사용할 수 있는 취약성 정보들을 집약시킴으로써 보안 시스템간의 정보 공유를 쉽게 할 수 있는 SVDB (Simulation based Vulnerability Data Base)를 구축하였다. 또한 SVDB를 활용하여 보안 규칙을 유도하고 유도된 보안 규칙을 정책 기반 프레임워크에 적용할 수 있는 환경을 구성하였다. 정책 기반의 프레임워크에서 취약점 데이터베이스를 이용한 정책 유도와 적용을 검증하기 위해 서비스 거부 공격 (Denial of Service)과 Probing 공격을 사용하여 시뮬레이션을 수행하였다. 정책 기반의 프레임워크에서 보안 시뮬레이션을 수행함으로써 적용될 보안 정책이 기대되는 대로 동작하는지 검증할 수 있는 환경을 제공할 수 있을 것이다.

• Annual Conference of KIPS
• /
• 2012.04a
• /
• pp.1211-1212
• /
• 2012

최근 IT 기기는 GUI를 지원하여 사용자들에게 편의성을 제공하였지만, 개발자들에게는 테스팅에 어려움을 겪게 만들었다. 기존의 GUI 자동화 테스트기법인 Record Play-back 기법과 새로운 GUI 테스트 도구인 Sikuli가 등장 하였지만 기능이 추가되고 변경되는 소프트웨어를 테스팅하기 부족하다. 본 논문에서는 GUI 어플리케이션에서 점진적인 테스팅을 위해 단위 테스트인 각 테스트 케이스를 만들고 연결하는 시나리오 편집기와 시나리오 수행과 테스트 케이스 결과를 검증하는 수행 및 검증기로 구성된 자동화 테스트 도구를 설계한다.

• Journal of Korean Society of Coastal and Ocean Engineers
• /
• v.21 no.5
• /
• pp.405-409
• /
• 2009

Reliability analysis of coastal structure using importance sampling was shown. When Monte Carlo simulation is used to evaluate overturng failure probability of coastal structure, very low failure probability leads to drastic increase in simulation time. However, importance sampling which uses randomly chosen design candidates around the failure surface makes it possible to analyze very low failure probability efficiently. In the numerical example, failure probability of caisson type quay wall was analyzed by using importance sampling and performance according to the level of failure probability was shown.

• The KIPS Transactions:PartD
• /
• v.15D no.5
• /
• pp.721-732
• /
• 2008

The purpose of this study is to explore latent variables that affect users' satisfaction of mobile internet and to estimate a composite relationships among parameters. In order to examine causative significance between dependent variables and each of the independent variables, we redefined the variables, the quality of information, system and service derived from the DeLone and McLean's model. And we found out the new independent variables: security and service charge. Prior research adopted mainly TAM(Technology Acceptance Model) to investigate the user acceptance of information services or system. Therefore, it is significant that we developed our research model to appropriate on mobile internet's inherent nature and that focused on the important variables like service charge and security. In empirical approach, we surveyed 435 samples and conducted structural equation modeling and multi-regression analysis to estimate the regression parameters. The results of the study illustrated that our hypotheses covering the quality of information, system and service, security and service charge were supported.

• The KIPS Transactions:PartD
• /
• v.16D no.1
• /
• pp.43-54
• /
• 2009

The purpose of this study is to explore variables that affect users' perceived value of mobile advertising and actual response intention and to analyze causal relationships among variables. In order to verify the relational significance, we built new research model and hypotheses based on the Ducoffe's model(1996). And we found out four independent variables such as entertainment, information usefulness, convenience, economical efficiency, and advertising impact's value as a mediating variable. Especially, we classified into four multi-age groups to investigate properly moderating effects through SEM(path analysis) and difference test. Therefore, it is academical and practical worth that we developed our model to appropriate on mobile advertising's unique property and that we verified our hypotheses and variables focused on age group, whereas previous research did not. For this, we surveyed 345 samples for conducting structural equation modeling in empirical approach. The results of this study supported the statistical significance of all hypotheses except but convenience.

• KIISE Transactions on Computing Practices
• /
• v.23 no.6
• /
• pp.335-342
• /
• 2017

In the verification and validation procedures regarding the safety-critical software of nuclear power plants for the attainment of the requisite license from the regulatory body, it is difficult to judge the safety and dependability of the development, implementation, and validation activities through a simple reading and review of the documentation. Therefore, these activities, especially safety assurance activities, require systematic evaluation techniques to determine that software faults are acceptable level. In this study, a safety case methodology is applied in an assessment of the level and depth of the results of the development and validation of a manufacturer in its targeting of the bistable processor of a digital reactor protection system, and the evaluation results are analyzed. This study confirms the possibility of an effective supplementation of the existing safety demonstration method through the application of the employed safety case methodology.