• 정보처리학회논문지D
• /
• 제16D권6호
• /
• pp.911-920
• /
• 2009

항공 소프트웨어가 FAA(미국연방항공청)에 승인받기 위해서는 DO-178B 표준에 따라야 한다. DO-178B에서는 안전 필수 소프트웨어의 단위 테스트가 MC/DC 기준을 만족하기를 요구하고 있다. MC/DC에 따른 테스트는 안전성과 관련된 오류를 효과적으로 찾을 수 있는 수단으로 알려져 있지만 MC/DC를 만족하는 테스트 케이스를 생성하는 작업이 용이하지 않는 것도 사실이다. 이 논문에서는 MD-SAT이라고 명명한 SAT(SATisfiability) 기술을 사용하여 MC/DC를 만족하는 테스트 케이스를 자동으로 생성하는 도구에 대해 소개한다. 이 도구는 결정표 기반 테스트, 인과 그래핑 및 상태 전이 테스트 방법을 구현한 도구에서 보다 다양한 테스트 케이스 생성을 위해 사용될 수 있다.

• 한국가스학회지
• /
• 제15권6호
• /
• pp.57-62
• /
• 2011

본 연구에서는 70MPa의 충전압력을 갖는 130L 수소연료 저장탱크에 대한 최적설계를 유한요소법과 다구찌 설계법으로 고찰하였다. 6061-T6의 알루미늄 라이너의 외벽면에 T800-24K의 탄소섬유로 감아서 제조한 복합소재 연료탱크의 강도안전성을 미국 DOT-CFFC와 KS의 설계안전 규격을 기준으로 해석하였다. 70MPa용 수소가스탱크의 응력강도에 대한 FEM 해석결과에 의하면, US DOT-CFFC와 KS 규격에서 제시한 응력비 2.4의 기준값과 비교할 때 안전한 것으로 나타났다. 따라서, 다구찌 설계법에 기반한 최적설계 데이터는 설계모델 5번으로 선정할 수 있고, 여기서 제시할 수 있는 알루미늄 라이너의 두께는 6.4mm, 탄소섬유 적층에서 후프방향의 두께는 31mm, 헤리컬방향의 두께는 10.2mm이다.

• 대한기계학회논문집A
• /
• 제38권11호
• /
• pp.1257-1264
• /
• 2014

최근 제4세대 원자로의 기기 최적설계를 위해 목표파손확률 기반 설계기법에 대한 연구가 활발히 진행되고 있다. 시스템기반코드(System-Based Code, SBC)가 대표적인 예로 설계 혹은 평가 결과는 부분안전계수(Partial Safety Factor, PSF)의 형태로 도출된다. 따라서 부분안전계수는 가동 기간 중 목표파손확률 기반 설계 및 평가를 위한 핵심 요소 가운데 하나이다. 본 연구에서는 특정 목표파손확률 하에서 원주방향 관통균열이 존재하는 배관의 탄소성 균열개시 조건에 대한 부분안전계수 계산 기법을 정립하고 각 평가 인자가 균열개시에 미치는 중요도를 정량적으로 평가하였다. 균열 배관의 J-적분은 GE/EPRI법과 참조응력법으로 계산하였으며, 부분안전계수는 일차 및 이차신뢰도지수법으로 계산하였다. 또한 재료물성치의 통계적 분포 특성이 미치는 영향도 함께 평가하였다.

• 한국가스학회지
• /
• 제15권5호
• /
• pp.37-41
• /
• 2011

본 연구에서는 미국의 DOT-CFFC와 한국의 KS 기준에 근거하여 수소가스 복합소재 연료탱크에 대한 강도안전성을 FEM으로 해석하였다. 알루미늄 라이너 소재인 6061-T6와 탄소섬유 복합소재인 T800-24K로 적층이 형성되도록 감은 수소가스 복합소재 연료탱크는 130L의 저장용량을 갖으며, 70MPa의 충전압력으로 수소가스가 채워진다. FEM 해석결과에 의하면, 내부탱크를 형성하는 알루미늄 라이너에 작용하는 von Mises 응력 255.2MPa은 알루미늄 소재의 항복응력 대비 95%인 272MPa보다 낮기 때문에 안전하다. 또한, 복합소재 연료탱크에서 후프방향의 탄소섬유 응력비는 3.11이고, 헤리컬방향의 응력비는 3.04인 것으로 나타났다. 이들 응력비 데이터는 탄소섬유 복합소재 연료탱크에서 안전기준으로 권고한 2.4에 비해 높기 때문에 양방향 모두에서 안전하다. 따라서 70MPa의 충전압력을 갖는 130L 저장용량의 복합소재 연료탱크에 대한 강도안전성은 유용한 것으로 판단된다.

• 한국지반공학회:학술대회논문집
• /
• 한국지반공학회 2005년도 춘계 학술발표회 논문집
• /
• pp.1307-1315
• /
• 2005

Korean shotcrete technology has been developed by constructing underground space, roads and rails for expanding SOC project. To late, importance of shotcrete is raised due to the efforts for semi-permanent use of underground structure and a long term safety. Shotcrete method and quality criterion have been developed continuously in abroad, but there are no standard and quality criterion of shotcrete in Korea. International quality criterion has been used to domestic conditions, so various problems are occurred in construction field, material, mixture, equipment, and so on. In this study, to establish standard of domestic shotcrete, both internal and external quality criteria were investigate and opinion poll was performed in the construction field. Field test was performed to propose a quality improvement on the shotcrete material.

• 한국터널공학회:학술대회논문집
• /
• 한국터널공학회 2005년도 학술발표회 논문집
• /
• pp.131-141
• /
• 2005

Korea shotcrete technology has been developed by constructing underground space, roads and rails for expanding Social Overhead Capital. To late, importance of shotcrete is raised due to the efforts for semi-permanent use of underground structure and a long term safety. Shotcrete testing method and quality criterion have been developed continusously in abroad, but there are no standard and quality criterion of shotcrete in Korea. International quality criterion has been used to domestic conditions, so various problems are occurred in construction field, material, mixture, equipment, and so on. In this study, to establish standard of domestic shotcrete, both criteria and quality of shotcrete were investigated and opinion poll was performed in the construction field. Indoor and field test were performed to investigate appliance possibility of high-performance shotcrete.

• Advances in aircraft and spacecraft science
• /
• 제6권1호
• /
• pp.51-67
• /
• 2019

AMOSC (Automatic Margin Of Safety Calculation) is a SW tool which has been developed to calculate the failure index of layered composite structures by referring to the cutting edge state-of-the-art LaRC05 criterion. The stress field is calculated by a finite element code. AMOSC allows the user to calculate the failure index also by referring to the classical Hoffman criterion (which is commonly applied in the aerospace industry). When developing the code, particular care was devoted to the computational efficiency of the code and to the automatic reporting capability. The tool implemented is an API which has been embedded into Femap Siemens SW custom tools. Then, a user friendly graphical interface has been associated to the API. A number of study-cases have been solved to validate the code and they are illustrated through this work. Moreover, for the same structure, the differences in results produced by passing from Hoffman to LaRC05 criterion have been identified and discussed. A number of additional comparisons have thus been produced between the results obtained by applying the above two criteria. Possible future developments could explore the sensitivity of the failure indexes to a more accurate stress field inputs (e.g. by employing finite elements formulated on the basis of higher order/hierarchical kinematic theories).

• International Journal of Safety
• /
• 제11권1호
• /
• pp.1-5
• /
• 2012

It has been reported that the plugged steam generator tube of Three Mile Island Unit 1 in America was damaged by growing flaw and then this steam generator tube destroyed the nearby steam generator tubes of normal state. On this account, stabilizer installation is necessary to prevent secondary damage of the steam generator tubes. The flow-induced vibration is one of the major causes of the fluid-elastic instability. To guarantee the structural integrity of steam generator tubes, the flow-induced vibration caused by the fluid-elastic instability is necessary to be suppressed. In this paper, the effective velocity and the critical velocity are calculated to evaluate the fluid-elastic instability. In addition, stability ratio value of the steam generator tubes is evaluated in order to propose one criterion when to determine stabilizer installation.

• 한국지반공학회:학술대회논문집
• /
• 한국지반공학회 2010년도 춘계 학술발표회
• /
• pp.571-576
• /
• 2010

In this study, an application method of critical strains concept for tunnels' safety by using the values of measured displacements which are obtained in the field is discussed. The aim is to: (1) study on the engineering meanings of critical strains concept by reviewing the previous researches and application examples with measured displacement values; (2) study on the engineering reasonability of critical strains concept with the view point of a tunnel engineering and a geotechnical engineering; (3) study on the features of ground deformation due to tunneling and reciprocal relation between total displacement and measured displacement; (4) evaluate a tunnel safety by using domestic measurements collected in the field; and (5) re-evaluate the control criteria which were previously used in the field, with the view point of critical strains concept. Consequently, it was confirmed that critical strains in the ground has a reasonability and a possibility of unified or common concept with the view point of a tunnel engineering.

• 한국지반공학회:학술대회논문집
• /
• 한국지반공학회 2005년도 춘계 학술발표회 논문집
• /
• pp.781-787
• /
• 2005

Recently, disaster that is earthquake, sever rainstorm and the tidal wave were increased by abnormal weather. These influence which is the slope stability of the completed slope as well as under construction slope is affected by disaster. But the management standard for the construction slope is incomplete. Also, the standard connected with construction slope is not integrated with the important public paper organic enemy and it is duplicated and the standards which conflict are being scattered. In this research which it sees consequently the inside and outside of the country construction slope the maintenance civil official relation law and standard investigation it leads and the problem point and a improvement program of management criterion and to sleep the construction slope which is suitable in domestic actuality it prepares and propose.