• 한국정보과학회논문지:정보통신
• /
• 제28권3호
• /
• pp.297-308
• /
• 2001

본 논문에서는 SDT를 이용하여, WAP 포럼에서 제안한 WTP 프로토콜을 설계, 검증 및 구현하였다. 이를 위하여 무선 트랜잭션 프로토콜을 형식 명세 언어인 SDL로 모델링하였으며, UDP 플랫폼상에서 동작하는 무선 트랜잭션 프로토콜 소프트웨어를 생성하기 위한 환경함수를 설계 및 구현하였다. 또한, 무선 트랜잭션 프로토콜 서비스를 사용하여 통신 응용 프로그램을 작성할 수 있도록 개발 환경을 제공하기 위해 응용프로그래밍 인터페이스를 설계하였다. 그리고 시험 도구인 ITEX를 이용하여 구현된 프로토콜이 규격에 일치하여 동작하는지 검사하는 적합성 시험을 수행하였다. 이를 위하여 시험 언어인 TTCN으로 추상적 시험 스위트를 작성하였고 시험 언어 컴파일러를 이용하여 실행 가능한 시험 스위트를 생성하였다.

• 대기
• /
• 제25권2호
• /
• pp.339-351
• /
• 2015

The purpose of this study is for the fundamental understandings about building morphological parameters and aerodynamic roughness parameters of Seoul, Korea using the detailed urban geographic information datasets. Applied roughness parameter calculations are based on a digital map of buildings with lot area polygons. The quality of the developed roughness length ($z_0$) of Seoul was evaluated with densely installed 107 automatic weather stations. The correlation coefficient results between averaged wind speeds of AWS data and averaged $z_0$ is -0.303 in night and -0.398 in day (200 m radii circles case). Further $z_0$ enhancement should follow by considering other surface features such as high tree and orography of Seoul. However, this study would meet the needs to for local- or meso-scale meteorological modeling applications of Seoul. However, further studies would require for enhancing the $z_0$ applications of Seoul.

• 응용통계연구
• /
• 제13권2호
• /
• pp.489-503
• /
• 2000

다양한 형태의 데이터로부터 의사 결정에 유용한 정보 및 지식을 발견하려는 일련의 데이터분석 및 모형 선정과정을 데이터 마이닝(Data Mining)이라고 할 수 있다. 데이터 마이닝의 적용 예로는 신규고객에 대한 신용평가, 고객이탈방지 등과 같은 분야에서 발생하는 스코링 문제를 들 수 있는데 신용평가에서는 신용이 나쁠 가능성을 스코어로 나타내고 스코어가 높은 고객을 대상으로 특별관리를 할 수 있을 것이며 고객이탈방지에서는 이탈가능성을 스코어로 나타내고 스코어가 높은 고객을 대상으로 이탈 방지 캠페인을 벌일 수 있을 것이다. 본 논문에서는 스코링 문제를 사후확률에 대한 모형화 문제로 파악하였다. 폴리클라스를 스코링 문제에 적용하는 방법을 소개한 후 이를 독일 신용 데이터, 국내 모 PC통신회사 데이터 및 국내 모 이동통신 데이터에 적용하였다. 스코링의 성능은 이득률을 이용하여 평가하고자 하는데 나무 모형에 비하여 폴리클라스 방법이 우수함을 확인하였다.

• Nuclear Engineering and Technology
• /
• 제41권1호
• /
• pp.91-98
• /
• 2009

The "3+3 Process" for safety critical software for nuclear power plants' I&C (Instrumentation and Control system) has been developed in this work. The main idea of the "3+3 Process" is both to simplify the software development and safety analysis in three steps to fulfill the requirements of a software safety plan [1]. The "3-Step" software development process consists of formal modeling and simulation, automated code generation and coverage analysis between the model and the generated source codes. The "3-Step" safety analysis consists of HAZOP (hazard and operability analysis), FTA (fault tree analysis), and DV (design validation). Put together, these steps are called the "3+3 Process". This scheme of development and safety analysis minimizes the V&V work while increasing the safety and reliability of the software product. For assessment of this process, validation has been done through prototyping of the SDS (safety shut-down system) #1 for PHWR (Pressurized Heavy Water Reactor).

• 한국환경복원기술학회지
• /
• 제18권1호
• /
• pp.71-82
• /
• 2015

Hyla suweonensis is an endemic species and is designated as the only endangered species I among amphibians in 2012 by the Ministry of Environment, however studies about its habitat are lacking. This study was carried out to analyze habitat of H. suweonensis based on the spatial information using Maxent (Maximum entropy model as a species distribution model. We detected 45 present points until 2013 and 10 environmental variables by literature review for the model. The results showed that $429km^2$ (0.95%) of the study area, which was about 7.75% of the total agricultural area, was high possible habitats of H. suweonensis. The habitat of H. suweonensis was analyzed by over $1km^2$ rice paddy fields that were lower elevations, flat slopes, and not fragmented. The distance from forests and rivers was identified as a factor that affects its habitat possibilities. In order to conserve H. suweonensis, a large area of rice paddy fields should be preserved, and especially the area around forests and rivers would be required more intensive management. In addition, to compensate for degraded habitats of H. suweonensis in urban areas like as Suwon city, considering integrated watershed management strategy could be effective in the perspective of ecological habitat network of H. suweonensis.

• 한국컴퓨터정보학회논문지
• /
• 제8권2호
• /
• pp.129-134
• /
• 2003

본 논문은 액티브네트워크 상의 웹 캐싱을 위한 서비스 컴포지션에 관하여 언급하였다. 액티브네트워크에서는 사용자의 요구사항에 맞게 서비스들을 빠르게 재구성하기 위한 서비스 컴포지션에 대한 요구사항이 대두되고 있다. 이러한 요구사항을 지원하기 위해서 우리는 액티브 네트워크상에서 웹 캐싱을 위한 서비스 컴포지션의 설계 및 구현에 관하여 언급하였다.

• Journal of the Korean Data and Information Science Society
• /
• 제23권1호
• /
• pp.161-170
• /
• 2012

그간 보험소비자의 욕구가 다양화, 세분화되어 소비자 특성과 성향에 따른 선호도 파악의 중요성이 증폭되어 왔다. 보험상품의 판매채널 및 마케팅 환경 변화는 고객이 무엇을 중요시하며 상품을 구입하는지에 대한 분석이 요구되지만 이러한 분야에 대한 구체적인 연구가 많이 이루어지지 않아 마케팅 전략 수립에 애로가 있다. 본 연구는 보험 소비자들의 기본성향과 보험가입 패턴에 대한 구체적 정보를 파악하기 위한 설문조사를 실시하였으며, 효율적 통계적 기법을 적용하여 신규 고객 확보를 위한 모형을 구축해 방카슈랑스의 성공적 정착과 활성화 방안을 강구해 보았다.

• Structural Engineering and Mechanics
• /
• 제23권5호
• /
• pp.455-468
• /
• 2006

Smart structural systems are defined as ones that demonstrate the ability to modify their characteristics and/or properties in order to respond favorably to unexpected severe loading conditions. The performance of such a task requires a set of additional components to be integrated within such systems. These components belong to three major categories, sensors, processors and actuators. It is wellknown that all structural systems entail some level of uncertainty, because of their extremely complex nature, lack of complete information, simplifications and modeling. Similarly, sensors, processors and actuators are expected to reflect a similar uncertain behavior. As it is imperative to be able to evaluate the impact of such components on the behavior of the system, it is as important to ensure, or at least evaluate, the reliability of such components. In this paper, a system model for reliability assessment of smart structural systems is outlined. The presented model is considered a necessary first step in the development of a reliability assessment algorithm for smart structural systems. The system model outlines the basic components of the system, in addition to, performance functions and inter-relations among individual components. A fault tree model is developed in order to aggregate the individual underlying component reliabilities into an overall system reliability measure. Identification of appropriate limit states for all underlying components are beyond the scope of this paper. However, it is the objective of this paper to set up the necessary framework for identifying such limit states. A sample model for a three-story single bay smart rigid frame, is developed in order to demonstrate the proposed framework.

• Nuclear Engineering and Technology
• /
• 제40권5호
• /
• pp.365-374
• /
• 2008

Dependability-critical systems, such as digital instrumentation and control systems in nuclear power plants, necessitate engineering techniques and tools to provide assurances of their safety and reliability. Determining system reliability at the architectural design phase is important since it may guide design decisions and provide crucial information for trade-off analysis and estimating system cost. Despite this, reliability and system engineering remain separate disciplines and engineering processes by which the dependability analysis results may not represent the designed system. In this article we provide an overview and application of our approach to build architecture-based, dynamic system models for dependability-critical systems and then automatically generate dynamic fault trees (DFT) for comprehensive, tool-supported reliability analysis. Specifically, we use the Architectural Analysis and Design Language (AADL) to model the structural, behavioral and failure aspects of the system in a composite architecture model. From the AADL model, we seek to derive the DFT(s) and use Galileo's automated reliability analyses to estimate system reliability. This approach alleviates the dependability engineering - systems engineering knowledge expertise gap, integrates the dependability and system engineering design and development processes and enables a more formal, automated and consistent DFT construction. We illustrate this work using an example based on a dynamic digital feed-water control system for a nuclear reactor.

• 한국통신학회논문지
• /
• 제17권8호
• /
• pp.823-836
• /
• 1992

앞으로의 컴퓨터 네트워크는 여러 서비스를 통합하여 제공할 수 있는 통신망인 종합정보 통신망으로 발전해 갈 것이다. 이에 따라 현재 운영되고 있는 컴퓨터망이 ISDN에 접속되어 사용하는 것은 매우 중요한 문제로 부각될 것이다. 본 논문은 근거리 통신망과 ISDN의 연동화 방안을 연구하였다. 이를 위하여 기존의 근거리 통신망과 ISDN의 특성에 관하여 분석하고 연동을 위하여 고려해야 할 사항을 검토하였으며 Co와 CL서비스에 대한 연동방안을 제시하였다.이를 구체화하여 근거리 통신망과 ISDN을 연동하는 게이트웨이를 논리적으로 구성하였고, 그 연동과정을 페트리네트로 모델링하였으며 도달트리를 구성하여 프로토콜의 정확성을 검증하였다. 본 연구가 근거리 통신망과 종합 정보 통신망을 연동하는 게이트 웨이의 설계와 구현을 위하여 유용하게 이용될 수 있을 것이다.