• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2007년도 가을 학술발표논문집 Vol.34 No.2 (C)
• /
• pp.540-545
• /
• 2007

프로그램 검증은 가능한 모든 경우에 대하여 안정성을 확인하는 작업이다. reactive 프로그램을 외부환경에 대한 정보 없이 검증하면 실제로 가능하지 않은 경우를 오류로 찾을 수도 있다. 본 논문에서는 observer를 이용한 기존의 ESTEREL 프로그램 검증 기법에 외부환경에 대한 가정을 추가하는 방법을 소개하고. 사례연구를 통해 외부환경을 고려하여 검증하는 과정을 보인다.

• 대학교육
• /
• 통권87호
• /
• pp.52-65
• /
• 1997

대학교육의 질 향상과 책무성 제고의 목적을 지닌 외부평가(EQA)를 운영하는 것은 두 극단을 항해하는 것과 같다. 평가가 발전만을 목적으로 하면 외부로부터의 책무성 요구라는 암벽에 부딪쳐 침몰하게 되고, 책무성이 지나치게 강조되면 발전이 방해받아 소용돌이 속으로 사라지게 될 것이다.

• 한국재난정보학회 논문집
• /
• 제18권2호
• /
• pp.252-260
• /
• 2022

연구목적: 기후변화 등으로 인해 자연재해의 빈도 및 강도가 증가하고 있어, 원자력발전소에 영향을 주는 외부사건이 발생할 수 있다. 원자력발전소는 자연재해, 인공재해 등 외부사건으로부터 안전해야 한다. 따라서 원자력발전소에 발생할 수 있는 외부사건을 식별하여야 하며, 원자력발전소에 큰 영향을 줄 수 있는 외부사건을 선별하여야 한다. 본 연구에서는 외부사건을 식별 및 선별하는 방법의 연구동향을 소개한다. 연구방법: 원자력발전소의 확률론적 안전성 평가를 위한 외부사건의 식별 및 선별에 관한 문헌조사를 실시하였다. 또한 국내외 외부사건의 식별 및 선별에 관한 규정을 조사하였다. 연구결과: 원자력발전소의 외부사건 영향분석의 비용을 최소화하고자 외부사건을 식별 및 선별하는 연구가 이루어지고 있다. 각 연구는 관점에 따라 차이를 보이지만 공통적으로 식별과정에서는 원자력발전소 부지에서 발생할 수 있는 모든 사건을 식별하고자 하며, 선별과정에서는 정성적 기준과 정량적 기준을 바탕으로 외부사건을 선별한다. 결론:기후변화 등으로 인하여 자연재해의 강도가 변화하고 있어, 원자력발전소에 영향을 주는 외부사건을 식별 및 선별하는 과정이 중요해지고 있다. 따라서 본 논문에서는 외부사건을 식별과 선별하는 방법에 대해 조사하여 정리하였다. 국내의 경우 원자력발전소의 확률론적 안전성 평가를 위한 외부사건의 식별과 선별에 관한 연구가 미미한 실정이다. 또한 외부사건 정량적 선별과정에서 수행하는 '경계분석'과 '명백히 보수적인 분석' 방법에 관한 연구가 필요할 것으로 보인다.

• 항공우주시스템공학회지
• /
• 제16권3호
• /
• pp.99-104
• /
• 2022

항공기 파일런은 엔진이나 외부장착물을 주날개에 연결하고 파일런 자체에 작용하는 하중을 항공기의 주구조물로 전달하는 역할을 한다. 또한, 긴급상황이나 임무수행시 파일런에 탑재된 외부장착물을 분리하는 기능도 수행할 수 있어야 한다. 만약, 외부장착물 분리과정에서 주변기류나 기능적 문제로 외부장착물의 분리가 적절히 수행되지 않으면 항공기 안전에 심각한 영향을 줄 수 있기 때문에 항공기 적용 전에 파일런으로부터 외부장착물의 분리 안정성이 입증되어야 한다. 본 논문에서는 외부장착물인 외부연료탱크가 파일런으로부터 안전하게 분리가 이루어질 수 있는지 확인하기 위해 수행된 지상분리시험 결과를 제시하였다. 시험 결과로, 외부연료탱크가 시험치구로부터 분리된 후 투하 움직임을 고속카메라로 계측하고, 파일런으로부터 외부연료탱크의 분리 안정성을 확인하였다. 또한, 해당 시험결과는 실제 항공기에서의 외부장착물 분리 안정성 평가에 대한 기초 데이터를 제공할 수 있을 것으로 판단된다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2019년도 학술발표회
• /
• pp.41-41
• /
• 2019

동진강, 만경강 그리고 연안 유역으로 이루어진 새만금유역은 농업이 발달한 지역이지만 유역 내 이용 가능한 수자원량이 부족하여 인근 유역인 금강과 섬진강 유역으로부터 용수를 공급받고 있다. 외부유입량은 연도별 강수량 변화에 따라 편차가 크기 때문에 새만금유역은 극한 가뭄과 홍수에 더욱 취약한 유역이다. 또한, 간척사업으로 새만금 방조제 건설에 따라 유역의 수질 환경이 중요한 지역 사회의 이슈이며 특히 만경강의 경우 심각한 수질 문제를 개선하기 위한 다양한 연구가 수행되어왔다. 이에 따라 본 연구에서는 Soil and Water Assessment Tool (SWAT) 모형을 이용하여 만경강유역으로 들어오는 외부유입량 변화에 따른 유역의 수문 및 수질 변화 양상을 분석하여 수질 문제 개선 방안을 제시하고자 한다. 외부유입량 변동 시나리오는 만경강으로 유입되는 용담댐의 방류량을 이용하였으며, 기존 외부유입량 데이터에 비례하도록 산정하였다. SWAT 모형의 신뢰성 있는 모의를 위해 유역 외부에 위치한 용담댐의 운영을 별도로 고려하였고 취수를 통한 유역 내 농업용수 사용 등을 고려하였다. 수위-유량 관측소의 일자료와 수질관측소의 자료를 이용하여 유출량, SS, T-N, 그리고 T-P에 대한 보정(2012~2014) 및 검증(2016~2018)을 수행하였다. 각각의 검보정지점에 대한 $R^2$, NSE, RMSE을 목적 함수로 사용하여 모형의 적용성을 확인하였고, 이렇게 구축된 SWAT 모형을 기반으로 외부유입량 시나리오에 따른 유역의 수문 수질 변화를 분석하였다.

• 한국강구조학회 논문집
• /
• 제15권1호
• /
• pp.59-68
• /
• 2003

최근, 강합성 구조의 외부 프리스트레스 도입 기법에 대한 응용연구가 왕성하게 수행되고 있다. 이는 역학적 효율성, 시공성 및 경제적 합리성면에서 우수한 강합성 구조에 외부 프리스트레스를 도입하므로써, 여러 가지 구조적 장점을 획득할 수 있기 때문이다. 이 논문에서는 외부 프리스트레스를 강합성 교량의 강주형에 도입할 때, 재료 비선형을 고려한 프리스트레스 합성형의 탄소성영역 휨 거동특성을 해석적으로 검토하기 위한 변형증분법(Incremental Deformation Method, IDM)을 제안하였다. 그리고 이를 실험을 통해 검증하였다.

• 한국산업안전학회:학술대회논문집
• /
• 한국안전학회 2003년도 추계 학술논문발표회 논문집
• /
• pp.101-106
• /
• 2003

항공기 외부 장착물인 POD는 전자전 방해장치(ECM, electronic counter measures)로서 전자방해 장비 및 부분 부품인 전ㆍ후방 러그(lug)와 외부 케이스로 이루어져 있다. POD는 항공기 외부 동체 하단부 및 파일런(pylon)에 장착되어 작동하므로 항공기의 운용중 이륙부터 착륙간의 기동에 의한 피로하중을 주로 받게 되므로 POD 부품들에 대한 구조 건전성 확보하기 위해서는 MIL-STD-1530의 요구에 따라 내구성(durability) 및 손상허용설계(damage tolerance design) 의 평가가 요구되고 있다.(중략)

• 한국정보관리학회:학술대회논문집
• /
• 한국정보관리학회 2012년도 제19회 학술대회 논문집
• /
• pp.109-112
• /
• 2012

웹을 기반으로 한 정보서비스는 지속적으로 증가하고 있으며 2013년부터는 모든 법인이 웹 접근성을 준수해야 한다. 이러한 관점에서 전문도서관은 홈페이지를 통해 소속 구성원뿐만 아니라 외부 이용자에게도 홈페이지에서 제공하는 모든 정보에 접근할 수 있도록 보장해야한다. 본 연구에서는 국내 전문도서관 홈페이지의 외부 이용자 웹 접근성 수준의 실태를 조사하고 향후 방안을 제시하고자 한다.

• 대한토목학회논문집
• /
• 제28권6A호
• /
• pp.809-817
• /
• 2008

최근 사용되고 있은 구조물의 보강 방법 중 내력 및 사용성 향상효과가 타 공법에 비해 월등한 외부 긴장공법이 많이 사용되고 있다. 그러나 외부 긴장재로 보강된 구조물에 대하여 반복하중에 의한 피로 성능에 대한 평가가 부족하고 이에 대한 연구도 매우 부족한 실정이다. 따라서 본 연구에서는 FRP 긴장재로 외부 보강된 철근콘크리트 보의 반복하중에 따른 피로거동 특성을 분석함으로써 외부 긴장공법의 안전성 및 타당성을 평가하고자 하였다. 본 실험연구에서는 비교 변수로 외부 긴장재의 종류(FRP 긴장재, Steel 긴장재)와 하중범위를 채택하여 실험을 실시하였다. 하중은 FRP 보강 시험체의 항복강도를 기준으로 최소하중을 50%로 삼고 최대하중을 70~85%로 변경하여 4점 재하방식으로 sine파를 이용하여 3Hz의 주기로 실험을 실시하였다. FRP 긴장재로 외부 보강된 철근콘크리트 보에 대한 피로 실험연구 결과로부터 FRP 외부 긴장 공법은 FRP 긴장재, deviator에서의 절곡부, 정착장치 등에서 피로에 대한 충분한 안전성이 확인되었다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2015년도 제46회 하계학술대회
• /
• pp.1503-1504
• /
• 2015

배전용 케이블은 수트리 억제, 화재예방, 경제성 등을 고려하여 구조와 재질이 지속적으로 변경되고 있다. 변경되는 추세를 살펴보면 경제성 측면에서 도체의 재질은 동에서 알루미늄으로 변경되었고, 수트리 억제를 위해 절연체의 재질은 XLPE에서 TR-XLPE로 변경되었다. 또한 외피의 재질도 난연성을 강화하고 수분침투를 억제하기 위하여 난연성 PE로 개선하였다. 중성선도 외부반도전층 위에 올려진 구조에서 외피 내부로 들어가는 충실형 구조로 변경되었다. 이와 같이 외피구조가 변경되면서 외부반도전층의 두께가 증가되었고 이로 인해 접속재 시공시 삼각형 모양의 공극이 커지게 되었는데, 본 논문에서는 케이블의 외부 반도전층 두께 증가가 접속재 부분방전에 미친 영향을 고찰하였다.