• 제목/요약/키워드: Aspect Specification

검색결과 70건 처리시간 0.034초

UML기반의 요구사항 추적 매트릭스 설계 (A Study on the RTMD(Requirement Tracing Matrix Design) Base on UML)

  • 허계범;김영규;양동일
    • 한국항행학회논문지
    • /
    • 제15권3호
    • /
    • pp.419-431
    • /
    • 2011
  • 오늘날 기업의 비즈니스 환경은 시장, 기술 및 사회에서 오는 여러 가지 요인들로 인하여 한층 더 복잡해지고 있다. 비즈니스 패러다임의 변화에 따른 빠른 시장 대응(Time-to Market)에의 요구 증가 및 비용 감소, 높은 생산성에 대한 요구 증가, 재사용성 증대를 통한 유연한 애플리케이션을 개발할 수 있는 절차와 매커니즘에 대한 필요성이 대두되고 있다. UML 기반의 객체지향 소프트웨어 개발 생명주기에서 요구사항 추적 매트릭스 설계(RTMD : Requirement Tracing Matrix Design) 모델을 제시하여 실제업무에 적용하였다. 이 방법은 소프트웨어 개발의 생산성 향상 및 유지보수 비용을 절감하는 효과가 있다. 그러나 관련 문서들의 완전성(completeness), 일관성(consistency), 정확성(correctness)을 검증하기 위한 절차 및 규칙이 미흡하며, 또한 이들 명세서들은 보다 체계적으로 관리할 수 있는 자동화된 시스템을 필요로 한다.

LRFD 설계법에 의한 부마찰력이 작용하는 말뚝의 안정성 평가 (Stability Evaluation of Piles under Negative Skin Friction by the LRFD Approach)

  • 조천환;김웅규;이우철;강인철;김영식
    • 한국지반공학회:학술대회논문집
    • /
    • 한국지반공학회 2005년도 춘계 학술발표회 논문집
    • /
    • pp.17-24
    • /
    • 2005
  • Recently construction activities increase in reclaimed onshore areas. It is therefore considered an important factor for the design of pile foundation with problems in terms of settlements due to soft grounds. Nevertheless the design of piles for negative skin friction(or downdrag forces) is probably poorly understood by many engineers. It is mainly because the most of design specification give a way to design pile foundation in bearing capacity aspect although the negative skin friction is related to settlement(downdrag). Under LRFD(load resistance factor design) approach it is to separately consider ultimate limit state and serviceability limit state. This paper discusses LRFD approach to the design of piles for negative skin friction and compares this approach to traditional design approach. And also a case history is analyzed in that point of view.

  • PDF

Implicit Treatment of Technical Specification and Thermal Hydraulic Parameter Uncertainties in Gaussian Process Model to Estimate Safety Margin

  • Fynan, Douglas A.;Ahn, Kwang-Il
    • Nuclear Engineering and Technology
    • /
    • 제48권3호
    • /
    • pp.684-701
    • /
    • 2016
  • The Gaussian process model (GPM) is a flexible surrogate model that can be used for nonparametric regression for multivariate problems. A unique feature of the GPM is that a prediction variance is automatically provided with the regression function. In this paper, we estimate the safety margin of a nuclear power plant by performing regression on the output of best-estimate simulations of a large-break loss-of-coolant accident with sampling of safety system configuration, sequence timing, technical specifications, and thermal hydraulic parameter uncertainties. The key aspect of our approach is that the GPM regression is only performed on the dominant input variables, the safety injection flow rate and the delay time for AC powered pumps to start representing sequence timing uncertainty, providing a predictive model for the peak clad temperature during a reflood phase. Other uncertainties are interpreted as contributors to the measurement noise of the code output and are implicitly treated in the GPM in the noise variance term, providing local uncertainty bounds for the peak clad temperature. We discuss the applicability of the foregoing method to reduce the use of conservative assumptions in best estimate plus uncertainty (BEPU) and Level 1 probabilistic safety assessment (PSA) success criteria definitions while dealing with a large number of uncertainties.

Survey of Electro-Optical Infrared Sensor for UAV

  • Jang, Seung-Won;Kim, Joong-Wook
    • 항공우주산업기술동향
    • /
    • 제6권1호
    • /
    • pp.124-134
    • /
    • 2008
  • The rising demand for the high efficiency and high covertness in UAV motivates the miniature design of the high performing mission sensors, or payloads. One of the promising payload sensors, EO/IR sensor has evolved satisfying its demands and became the main stand-alone mission sensor for 200kg-range UAV. One aspect in development of EO/IR sensor concerns lack of specification criterions to represent its performance. Even though the high demand and competition among each manufacturer caused EO/IR features subject to rapid change collateral to new technology, the datasheets maintained the conventional outdated formats which leave some of the major components in ambiguity. Making comparisons or predicting actual performance with such datasheets is hardly worthwhile; yet, they could be important reference guide for the potential customers what to expect for the upcoming EO/IR. According to UAS Roadmap 2007-2032 published by DoD, one of the main potential customers as well as a main investor of EO/IR technology, EO/IR is expected to play key roll in solving urgent problems, such as see and avoid system. This paper will examine the recent representative EO/IR specialized in UAS missions through datasheets to find out current trend and eventually extrapolate the possible future trend.

  • PDF

한국전자책문서 표준(EBKS)의 DTD 사양 및 스타일 적용 (Specification of EBKS DTD and Implementation of Style)

  • 손원성;고승규;이경호;김성혁;임순범;최윤철
    • 한국전자거래학회:학술대회논문집
    • /
    • 한국전자거래학회 2001년도 International Conference CALS/EC KOREA
    • /
    • pp.523-532
    • /
    • 2001
  • Despite the social interest in eBook and its advantages, as a result of each industry using different document formats, it is difficult to exchange or share eBook contents. And this hindered the activation of eBook market. The U.S. and Japan have realized the importance of setting a standard for eBook document format and have established eBook standard with government agencies and related industries and in Korea, also, through Working Group for Standardization Committee of EBK, eBook industry standard, EBKS, was established. EBKS provides more advantages than HTML or PDF and the basic format is XML. The objective of EBKS is exact exchange of eBook content, reflection of characteristics of Korean publication environment, simplicity in creating, and convertibility with other standards. Meanwhile, in the DTD aspect, EBKS includes static document structure, extension mechanism, vertical writing, multi-column editing and reflection on the characteristics of Korean and proverbs. For exchanging style, content and style are separated using XSL-FO and XSL-FO is recommended for printing. Also, EBKS metadata is composed of do-metadata that does not use qualifier and x-metadata for extension to provide easiness in usage and ability to exchange and convert.

  • PDF

Seismic performance and damage assessment of reinforced concrete bridge piers with lap-spliced longitudinal steels

  • Chung, Young S.;Park, Chang K.;Lee, Eun H.
    • Structural Engineering and Mechanics
    • /
    • 제17권1호
    • /
    • pp.99-112
    • /
    • 2004
  • It is known that lap splices in the longitudinal reinforcement of reinforced concrete (RC) bridge columns are not desirable for seismic performance, but it is sometimes unavoidable. Lap splices were practically located in the potential plastic hinge region of most bridge columns that were constructed before the 1992 seismic design provisions of the Korea Bridge Design Specification. The objective of this research is to evaluate the seismic performance of reinforced concrete (RC) bridge piers with lap splicing of longitudinal reinforcement in the plastic hinge region, to develop an enhancement scheme for their seismic capacity by retrofitting with glassfiber sheets, and to assess a damage of bridge columns subjected to seismic loadings for the development of rational seismic design provisions in low or moderate seismicity region. Nine (9) test specimens with an aspect ratio of 4 were made with three confinement ratios and three types of lap splice. Quasi-static tests were conducted in a displacement-controlled way under three different axial loads. A significant reduction of displacement ductility was observed for test columns with lap splices of longitudinal reinforcements, whose displacement ductility could be greatly improved by externally wrapping with glassfiber sheets in the plastic hinge region. A damage of the limited ductile specimen was assessed to be relatively small.

바퀴구동형 로봇 메커니즘의 등반능력 해석 (Analysis on Climbing Capability of Wheel Drive Robotic Mechanisms)

  • 김병호
    • 한국지능시스템학회논문지
    • /
    • 제18권3호
    • /
    • pp.329-334
    • /
    • 2008
  • 바퀴구동형 메커니즘은 다양한 서비스 로봇에 유용하게 활용되고 있다. 이러한 로봇을 위하여 가장 기본적이면서 중요하게 요구되는 성능중의 하나는 경사진 도로를 어려움없이 주행할 수 있는 등반능력으로 볼 수 있다. 본 논문에서는 이러한 바퀴 구동형 로봇 메커니즘의 등반능력을 고려하고, 경사면을 원활하게 주행하기 위한 구동기의 사양을 결정하는데 유용한 필요조건을 제시하고자 한다. 결과적으로, 이러한 조건은 이동로봇 메커니즘의 설계에 유용하게 활용될 수 있을 것으로 기대한다.

Identification of Contaminant Injection in Water Distribution Network

  • Marlim, Malvin Samuel;Kang, Doosun
    • 한국수자원학회:학술대회논문집
    • /
    • 한국수자원학회 2020년도 학술발표회
    • /
    • pp.114-114
    • /
    • 2020
  • Water contamination in a water distribution network (WDN) is harmful since it directly induces the consumer's health problem and suspends water service in a wide area. Actions need to be taken rapidly to countermeasure a contamination event. A contaminant source ident ification (CSI) is an important initial step to mitigate the harmful event. Here, a CSI approach focused on determining the contaminant intrusion possible location and time (PLoT) is introduced. One of the methods to discover the PLoT is an inverse calculation to connect all the paths leading to the report specification of a sensor. A filtering procedure is then applied to narrow down the PLoT using the results from individual sensors. First, we spatially reduce the suspect intrusion points by locating the highly suspicious nodes that have similar intrusion time. Then, we narrow the possible intrusion time by matching the suspicious intrusion time to the reported information. Finally, a likelihood-score is estimated for each suspect. Another important aspect that needs to be considered in CSI is that there are inherent uncertainties, such as the variations in user demand and inaccuracy of sensor data. The uncertainties can lead to overlooking the real intrusion point and time. To reflect the uncertainties in the CSI process, the Monte-Carlo Simulation (MCS) is conducted to explore the ranges of PLoT. By analyzing all the accumulated scores through the random sets, a spread of contaminant intrusion PLoT can then be identified in the network.

  • PDF

가산자료모형(Count Data Model)을 이용한 버스이용횟수추정에 관한 연구 (서울시 통근.통학자를 대상으로) (Count Data Model for The Estimation of Bus Ridership (Focusing on Commuters and Students in Seoul))

  • 문진수;김순관;임강원
    • 대한교통학회지
    • /
    • 제17권5호
    • /
    • pp.123-135
    • /
    • 1999
  • 개인교통수단의 선호로 인한 자가용 승용차의 급증은 서울시의 교통혼잡을 가중시키는 주요한 요인이 되고 있다. 이러한 서울시의 교통혼잡을 완화하기 위해서는 대중교통 중심의 교통체계가 구축되어야 하며 승용차 이용자를 대중교통수단으로 유인할 수 있는 대중교통 활성화정책이 필요하다. 이러한 인식하에 버스를 이용하는 통근 및 통학목적 통행자의 버스이용횟수에 대한 개별행태모형을 통하여 버스 이용에 영향을 미치는 요인을 파악함으로써 승용차 이용자를 대중교통수단으로 유인할 수 있는 정책적인 시사점을 도출하고자 하였다. 본 연구의 목적은 일주일간 버스이용횟수 추정에 적합한 가산자료모형의 적용이다. 국내에서는 가산자료모형을 이용한 연구가 많지 않은 실정이며, 또한 모형의 설정시 과산포(overdispersion)에 대한 검정을 통하여 자료에 적합한 모형을 설정하는 것이 중요함에도 불구하고 적절한 검정없이 일반적으로 사용되고 있는 포와송 회귀모형을 주로 사용하여 왔다. 그러나 본 연구에서는 가산자료모형을 선정하기 전에 과산포에 대한 통계적인 검정을 시행한 결과 음이항 회귀모형이 본 연구의 자료에 적합한 것으로 판정되었으며, 모형설정의 중요성을 살펴보기 위하여 음이항 회귀모형을 이용하여 추정한 결과와 포와송 회귀모형을 이용하여 추정한 결과를 비교하여 보았다.

  • PDF

부산광역권 교통수단선택모형의 정립과 모수추정에 관한 연구 (Model Specification and Estimation Method for Traveler's Mode Choice Behavior in Pusan Metropolitan Area)

  • 김익기;김강수;김형철
    • 대한교통학회지
    • /
    • 제23권3호
    • /
    • pp.7-19
    • /
    • 2005
  • 수단선택모형은 교통 분석 및 수요예측을 위해 필수적 모형이나 그 추정과정이나 실제적인 방법론에 대한 깊이 있는 논의가 우리나라에서는 부족하였다. 1980 년대부터 로짓모형을 이용한 수단선택모형이 광범위하게 이용되고 있지만 기본적인 기초 조사자료 구축에서부터 수단선택 모형설정 및 정산까지 추정과정에 대한 투명하고 상세한 논의가 부족하였다. 그 결과 구축된 교통수단선택모형에 대한 신뢰성이 제기되거나 혹은 구축된 결과를 적용하여 분석에 이용하는데 있어 오류가 발생하는 등 적잖은 부작용도 있었다. 본 논문의 목적은 부산광역권의 통행행태 개별자료를 이용하여 교통수단선택 모형의 정산 및 구축에 대한 상세하고 투명한 제시를 통해 부산광역권 교통정책에 실질적인 적용이 가능한 예측모형을 제시하는 데 있다. 즉 수단선택모형 구축을 위한 조사방법, 변수설정, 모형정산 및 검증 그리고 예측 등의 일련의 과정을 투병하고 명확하게 제시하고, 정책분석에 활용 가능한 모형을 제시함으로써 교통수단선택모형의 구축 방법론 발전에 초석이 되고자 하는 것이 본 연구의 주요 목적이다. 이를 위해, 선택되지 않은 교통수단에 대한 자료가 일반적으로 조사 자료에는 없다는 점을 보완하기 위한 비선택대안의 속성 추정방법을 이 논문에서 제안하였다. 본 논문에서는 1999년 및 2001년 부산울산권의 가구통행실태조사 자료를 활용하여 네스티드 모형구조를 포함하여 총 4개의 모형이 단계별로 구축되었으며 또한 각각 통계적으로 검증되어졌다. 또한 제시된 예측모형의 현실성을 검증하기 위해 효용함수에 의한 시간가치를 계산하여 기존 연구의 시간가치 규모와 비교하였으며, 또한 분류 (classification) 방법에 의한 예측 기법을 이용하여 조사년도의 통행행태를 추정하고 조사 자료와 비교하여 모형의 예측력에 대해서도 검증을 하였다.