• 제목/요약/키워드: requirement verification

검색결과 243건 처리시간 0.026초

도르래식 장력조정장치 개발 (Development of a Pulley-type Tensioning Device)

  • 이기원;조용현;박영
    • 한국철도학회논문집
    • /
    • 제12권5호
    • /
    • pp.663-669
    • /
    • 2009
  • 전기철도에서 열차의 속도향상을 위하여 전차선의 장력상승은 필수적이며, 전차선로의 집전성능은 장력에 따라 크게 좌우한다. 경부고속철도에서 사용하고 있는 도르래식 장력장치는 장력변동율이 3% 이내로 규정되어 있고, 전량 수입에 의존하고 있다. 따라서 고속선에서의 장력변동을 요구소건을 만족하는 도르래식 장력조정장치를 개발하였다. 개발한 장력조정장치의 성능을 확인하기 위하여 경부고속철도 장력조정장치의 규격에 따라 성능시험, 내하중 시험 및 파단시험을 수행하였다. 장력조정장치의 신뢰성을 확보하기 위하여 공장에서의 피로시험과 충북선 본선에서 1 년 이상을 시범설치, 운영하였다. 이들 시험을 통하여 개발된 장력조정장치가 신뢰성을 가지며 본선에 적용할 수 있다는 것을 입증하였다.

태스크 상호작용 테스팅을 위한 MSC 명세로부터의 전체 유한 상태 기계 생성 (Construction of Global Finite State Machine from Message Sequence Charts for Testing Task Interactions)

  • 이남희;김태효;차성덕;신석종;홍인표
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제28권9호
    • /
    • pp.634-648
    • /
    • 2001
  • MSC는 통산 소프트웨어에서의 병행 수행 테스크들 사이의 상호작용을 기술하기 위해서 많이 사용되어져 왔다. 요구사항 단계에서 검증된 MSC 명세는 상태 기반의 설계 모델을 합성하는데 사용될 수 있을 뿐만 아니라, 테스크 시퀀스 생성에 사용될 수도 있다. 지금까지는 MSC에 기술된 각 이벤트의 위치 정보만을 이용하여 전체 상태 그래프를 생성함으로써 검증을 수행하였다. 본 논문에서는 MSC의 조건문을 시나리오 활성화 조건과 상태 변경을 기술할 수 있도록 확장하고, 이를 이용하여 전체 상태 그래프를 생성함으로써 테스크 시퀀스 생성에 이용한다. 생성된 전체 상태 그래프인 GFSM은 시스템의 의미 있는 상태 정보와 가능한 메시지 시퀀스만을 가지게 된다. 생성된 GFSM에 기존인 FSM 기반의 테스팅 기법을 적용하여 테스크 시퀀스를 추출할 수 있다.

  • PDF

준-인프라 기반 무선 커뮤니티 네트워크 시험을 위한 가상 토폴로지 제어 시스템 (Virtual Topology Control System for Evaluating Semi-infrastructured Wireless Community Networks)

  • 강남희;김영한
    • 한국인터넷방송통신학회논문지
    • /
    • 제12권1호
    • /
    • pp.275-281
    • /
    • 2012
  • 커뮤니티 네트워크는 이기종(heterogeneous) 노드들이 시간과 장소에 구애받지 않고 정보를 공유할 수 있는 통신 환경을 말한다. 이를 위해 이동 노드들은 사전에 구성된 통신 인프라 시설에 의존하지 않고 자가 구성될 수 있어야 하고 노드의 이동성으로 인해 변경되는 네트워크 토폴로지에 적응할 수 있어야 한다. 준-인프라 기반 무선 애드-혹 네트워크는 이러한 요구사항을 지원하기에 적합한 통신 기술이다. 본 논문에서는 준-인프라기반 애드-혹 네트워크 프로토콜의 실험에 용이한 평가 도구인 VTC(virtual topology coordinator) 시스템을 제안한다. VTC는 모든 통신장비간 단일 홉 통신만이 가능한 작은 공간에서도 선택적 MAC(Medium Access Control) 프레임 수신 메커니즘을 이용하여 다중 홉 네트워크 토폴로지를 가상으로 구성하도록 해준다. VTC 시스템은 실제의 무선 특성을 모두 반영하기는 어려우나 시뮬레이션을 통한 검증보다는 실 특성을 보다 다양하게 반영시킬 수 있다.

스크래치를 활용한 데이터 시각화 활동이 예비 코딩 강사의 창의성 향상에 미치는 효과 (Effect of data visualization using scratch on improvement of creativity of preliminary coding instructors)

  • 김용민;김종훈
    • 정보교육학회논문지
    • /
    • 제21권3호
    • /
    • pp.309-320
    • /
    • 2017
  • 본 연구는 스크래치를 활용한 데이터 시각화 활동 프로그램을 개발하여 예비 코딩 강사를 대상으로 적용한 후 그 효과를 검증하였다. 활동 프로그램은 컴퓨터교육 전공 현직 초등교사 20명을 대상으로 실시한 사전 요구 분석 결과를 바탕으로, ADDIE 모형의 절차에 따라 개발하였다. 개발한 프로그램은 '${\bigcirc}{\bigcirc}$ 창조경제혁신센터'에서 주관하고 '${\bigcirc}{\bigcirc}$대학교'에서 진행한 '청년 코딩 사업'에 주 2회 3시간씩 4주 동안 총 21차시의 집합 강의 및 실습 시간에 적용하였다. 프로그램의 적용 결과 창의성에 미치는 효과에 대한 검증을 위하여 Torrance의 TTCT(Torrance Tests of Creative Thinking) 검사지 도형 A, B형을 투입하여 사전 사후 검사를 실시하였다. 검증 결과, 본 연구에서 개발한 교육 프로그램이 예비 코딩 강사의 창의성 향상에 효과적인 것으로 나타났다.

자동차 전장부품 개발에서 공급사슬형상, 기업 매출 특성이 성과에 미치는 영향 (Influence of Supply Chain Configuration and Annual Sales on Performance in the Development of Automotive E/E Parts)

  • 송민;황승준;박근완;백재원
    • 산업경영시스템학회지
    • /
    • 제40권4호
    • /
    • pp.10-20
    • /
    • 2017
  • The proportion of software in the automotive industry is steadily increasing due to the rapid technological development of automobile E/E parts. Because the automotive E/E technology is now on the basis of intelligent automobile and advanced safety automobile technology. The purpose of this study is to investigate the effect of organizational capability (organizational resource capability and management capability), process capability (process capability, customer Requirement management capability), performance dimension (motivation, participation level). In this study, we conducted questionnaires and statistical analysis on engineers (members of the Korea Advanced Automotive Technology Association) who perform research and development activities in the R&D organization of the automotive E/E part in South Korea. ANOVA is applied for the verification of the difference in performance measured by organizational capability, process maturity, and motivation participation level according to company characteristics (level of processing : supply chain configuration, annual sales, total SW development ratio). According to the results of this study, in order to improve the performance of ASPICE or ISO 26262-related consulting project, a different consulting approach strategy considering the characteristics of organization and personnel is needed. In summary, the analysis results for the three main treatment levels are as follows. The difference in organizational capacity, process capability and performance was found to be statistically significant according to supply chain configuration and annual sales, but it was found that the difference of response according to the proportion of total SW was not significant.

AVM 시스템의 하드웨어 구현에 따른 하드웨어 구조 및 메모리 대역폭 분석 (Hardware Architecture and Memory Bandwidth Analysis of AVM System)

  • 남광민;정용진
    • 전기전자학회논문지
    • /
    • 제20권3호
    • /
    • pp.241-250
    • /
    • 2016
  • AVM(Around View Monitor)시스템은 ADAS(Advanced Driver Assistance Systems)의 한 종류로 운전자가 차량 주변을 한눈에 파악할 수 있게 도와주는 차량 시스템이다. AVM 시스템은 네 개의 카메라에서 입력받은 데이터를 실시간 처리하기 때문에 요구되는 메모리 대역폭이 크다. 특히 입력 영상의 해상도 증가에 따라 메모리 대역폭 수치가 크게 증가하기 때문에, 필요한 메모리 대역폭에 맞는 하드웨어 구조 설계가 필요하다. 본 논문은 설계에 기틀이 될 AVM 시스템 하드웨어 모델 네 종류를 제시한다. 각 모델은 입력 영상으로부터 유효 데이터를 추출하는 모듈의 유무, 영상처리를 위한 LUT 생성 모듈 유무로 결정된다. 논문에서는 모델 별로 상이한 필요 메모리 대역폭과 하드웨어 자원 사용량이 제시된다. 이를 토대로 설계자의 요구 사항에 맞는 모델을 선택하고 구현할 수 있다. 제시한 하드웨어 모델의 검증을 위해 VGA, FHD급 AVM 시스템을 구현하였다. 구현에는 XC7Z045 FPGA, DDR3가 이용되었으며, 30FPS로 동작한다.

시스템엔지니어링 기반 선체 곡가공 자동화 시스템 프로토타입 개발 (Prototype of the Automated Curved Hull Forming System based on Systems Engineering Process)

  • 노재규;오대균
    • 해양환경안전학회지
    • /
    • 제17권3호
    • /
    • pp.275-281
    • /
    • 2011
  • 선박의 건조 공정 중 병목공정에 해당하며 전적으로 숙련자의 수작업으로만 이루어지는 공정이 곡가공 공정이다. 이러한 곡가공 공정을 자동화 하고자 산업계와 학계의 많은 노력이 경주되었다. 기존의 곡가공 자동화 시스템 개발은 산업계와 학계에서 오랜 동안 연구되어 왔음에도 불구하고 실제로 생산현장에 투입되어 성공적으로 운영되는 사례는 없었다. 본 연구는 이러한 기존 곡가공 자동화 시스템 개발의 문제점을 파악하고 이를 해결할 수 있는 대안으로 요구사항 정의, 시스템 설계, 하부시스템 및 구성요소의 구현, 시스템 통합 및 검증의 4단계 시스템 엔지니어링 기반의 시스템 개발방법론을 제안하였다. 제안된 개발방법론을 기반으로 선체 곡가공 자동화 시스템 프로토타입 개발에 적용하고 결과를 고찰하여 기존 곡가공 자동화 시스템 개발에서의 문제점을 해결할 수 있는 대안이 될 수 있음을 확인하였다.

소형위성용 통합형 전장박스의 개발 및 성능검증 (Development and Performance Validation of Integrated Bus Electronic Unit for Small Satellite)

  • 장진수;김동운;강석진;이병훈;문병영;장영근
    • 한국항공우주학회지
    • /
    • 제35권4호
    • /
    • pp.353-362
    • /
    • 2007
  • 대형위성과 달리 나노위성이나 마이크로위성과 같은 소형위성의 경우, 전장품을 장착하기 위한 위성 내부 공간은 극히 제한되어 있다. 이러한 문제를 완화하기 위해 나노위성 HAUSAT-2는 대부분의 서브시스템과 탑재체의 전장모듈들을 통합한 일체형 위성 버스전장박스(BEU; Bus Electronic Unit)를 개발하였다. 본 논문에서는 개발된 BEU의 설계, 환경시험 결과 및 성능 분석에 대해 기술하였다. 진동 및 열진공 시험은 새로 개발된 BEU의 설계 여유 검증을 위해 인증(qualification) 수준으로 수행하였다. 인증시험 전후의 성능시험을 통해 각 서브모듈들이 정상적으로 작동하는 것을 확인하였다. 진동시험 결과 BEU는 구조적인 손상 없이 설계 강성조건을 만족하는 것을 검증하였으며, 열해석 모델링의 보정을 통해 열진공시험과 거의 일치하는 결과를 얻게 되었다.

韓國河川의 月 流出量 推定을 위한 地域化 回歸模型 (Regionalized Regression Model for Monthly Streamflow in Korean Watersheds)

  • 김태철;박성우
    • 한국농공학회지
    • /
    • 제26권2호
    • /
    • pp.106-124
    • /
    • 1984
  • Monthly streanflow of watersheds is one of the most important elements for the planning, design, and management of water resources development projects, e.g., determination of storage requirement of reservoirs and control of release-water in lowflow rivers. Modeling of longterm runoff is theoretically based on water-balance analysis for a certain time interval. The effect of the casual factors of rainfall, evaporation, and soil-moisture storage on streamflow might be explained by multiple regression analysis. Using the basic concepts of water-balance and regression analysis, it was possible to develop a generalized model called the Regionalized Regression Model for Monthly Streamflow in Korean Watersheds. Based on model verification, it is felt that the model can be reliably applied to any proposed station in Korean watersheds to estimate monthly streamflow for the planning, design, and management of water resources development projects, especially those involving irrigation. Modeling processes and properties are summarized as follows; 1. From a simplified equation of water-balance on a watershed a regression model for monthly streamflow using the variables of rainfall, pan evaporation, and previous-month streamflow was formulated. 2. The hydrologic response of a watershed was represented lumpedly, qualitatively, and deductively using the regression coefficients of the water-balance regression model. 3. Regionalization was carried out to classify 33 watersheds on the basis of similarity through cluster analysis and resulted in 4 regional groups. 4. Prediction equations for the regional coefficients were derived from the stepwise regression analysis of watershed characteristics. It was also possible to explain geographic influences on streamflow through those prediction equations. 5. A model requiring the simple input of the data for rainfall, pan evaporation, and geographic factors was developed to estimate monthly streamflow at ungaged stations. The results of evaluating the performance of the model generally satisfactory.

  • PDF

스트럿-타이 모델의 절점 폭 변화에 따른 설계 비교 (Design Comparison by Node Width Variation of Strut-Tie-Model)

  • 오이 리마이;손병직
    • 한국산학기술학회논문지
    • /
    • 제15권10호
    • /
    • pp.6329-6335
    • /
    • 2014
  • 스트럿-타이 모델에서 절점 폭은 해석과 설계에서 중요하다. 그것은 트러스 유사 시스템에서 힘의 분포에 영향을 준다. 또한, 설계 코드를 만족시키기 위한 모든 스트럿 및 절점의 검증에도 영향을 미친다. 여기서 코드는 ACI-318 코드를 의미한다. 절점 폭을 결정하는 4가지 방법이 있다. 즉 1)유효 깊이를 보 높이의 0.9배로 가정하는 방법 2)모멘트 평형을 이용하는 방법 3)절점 폭을 380mm로 가정하는 방법 그리고 4)본 연구에서 제안된 방법이다. 106개의 파라미터 연구를 분석하였다. 그 결과 필요로 하는 총 강재량이 4가지 방법 모두 크게 차이가 나지 않기 때문에 가장 쉬운 방법으로 선택하는 것이 시간 절약 측면에서 좋을 것으로 판단된다.