• 한국항공우주학회지
• /
• 제48권7호
• /
• pp.547-554
• /
• 2020

항공기 건전성 관리시스템은 항공기 소프트웨어에서 발생한 오류 또는 결함으로 인해 항공기의 기능이 실패되는 것을 방지한다. ARINC-653의 병행프로그램에서 발생하는 원자성 위배의 자율 수리는 프로그램의 정상적인 실행을 보장하기 때문에 중요하다. 본 논문은 프로그램 실험 결과를 활용하여 수행 중에 원자성 위배를 예측하고 주요 관련 접근 사건을 지연시켜 수리하는 기법인 Repairing-AV를 제시한다. 실세계 소프트웨어에서 발생한 5가지 원자성 위배 패턴을 포함하는 합성 프로그램에 기존 기법과 Repairing-AV을 적용하여 수리 시간 오버헤드를 비교하였다. 실험 결과 Repairing-AV는 공유변수 접근 횟수와 관계없이 평균 1.4배의 일정한 시간 오버헤드를 가짐을 확인하였다.

• 한국항공우주학회지
• /
• 제48권10호
• /
• pp.821-829
• /
• 2020

항공기 소프트웨어의 건전성 관리시스템은 수행 중에 발생하는 오류를 수리하여 안전성을 제공하고 유지보수 비용을 절감한다. 순서 위배 오류는 개발 단계에서 모두 제거하는 것이 어렵기 때문에 운용 단계에서 자율적으로 수리할 수 있어야 한다. 순서 위배를 자율 수리하기 위한 기존 연구는 각 접근사건의 수행 직전에 접근사건 순서를 비교하여 오류를 진단하기 때문에 접근사건 수에 비례하는 시간 오버헤드를 발생시킨다. 본 논문은 접근사건을 포함하는 함수의 올바른 순서 정보로 오류를 진단하고 해당 함수를 지연시켜 조치하는 기법인 ORS를 제시한다. ORS를 평가하기 위해, 순서 위배 오류를 포함하는 5가지의 합성 프로그램에 기존 연구와 ORS를 적용하여 시간 오버헤드를 측정하였다. 그 결과, 접근 횟수가 약 60번 이상일 때 기존 연구보다 효율적임을 확인하였다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2019년도 제59차 동계학술대회논문집 27권1호
• /
• pp.9-10
• /
• 2019

항공기 소프트웨어는 기능적 실패 시 인명피해나 재산피해와 같은 큰 사고로 이어질 수 있다. 따라서 항공기 소프트웨어 개발과정에서 엄격한 검증 프로세스를 수행하지만 오류를 완벽히 제거하는 것은 어렵다. 병행 프로그램에서 발생하는 동시성 오류는 잘못된 동기화에 의하여 공유자원을 사용할 때 발생할 수 있다. 하지만 복잡한 인터리빙을 모두 고려하여 디버깅하기 어렵기 때문에 자율적으로 수리되어야 한다. 본 논문은 항공기 소프트웨어에서 함수 호출을 기반으로 동시성 오류를 자율적으로 수리하는 기법을 제시한다. 제시하는 기법은 모니터 및 컨트롤 엔진, 순차정보 제공 엔진, 건전성 관리시스템으로 구성된다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2019년도 제59차 동계학술대회논문집 27권1호
• /
• pp.11-12
• /
• 2019

본 논문은 멀티스레드를 지원하는 항공기 소프트웨어에 적용될 수 있는 자율수리 도구의 문제의 해결방법을 제안하는 논문이다. 기존의 연구는 프로그램의 반복수행을 통해 안전한 인터리빙을 수집하여 프로그램의 동작을 제한한다. 하지만 테스트 단계에서 수집되지 않은 안전한 인터리빙을 잘못된 인터리빙으로 처리하여 수리를 수행함으로써 불필요한 오버헤드가 발생한다. 본 논문은 원자성위배 패턴을 사용하여 안전한 인터리빙을 예측하여 생성시키는 기법을 사용하여 수리기법에서 불필요한 수리로 인한 오버헤드를 감소하기 위한 안전한 인터리빙 정보를 생성하는 기법을 제안한다.

• 한국컴퓨터정보학회논문지
• /
• 제26권9호
• /
• pp.1-12
• /
• 2021

본 논문은 GPU 프로그램의 메모리의 상태 및 접근사건과 배리어 위치 정보를 감시하고, 실제 메모리 쓰기를 배리어 영역 종료 직전에 발생시키거나 배리어 영역을 재수행시켜 원자성 위배를 수행 중에 수리하는 도구인 ARCAV (Atomatic Recovery of CUDA Atomicity violation)를 제시한다. 기존의 연구들은 Lock과 Sleep 명령어를 사용하여 원자성 위배를 진단 및 수리하도록 구현되었기 때문에 지원되는 명령어와 동기화 기법이 CPU (Central Processing Unit) 프로그램과 다른 GPU (Graphics Processing Unit) 프로그램에는 적용될 수 없었고, GPU 프로그램에서는 원자성 위배의 탐지에 대한 연구만 수행되었다. 제안하는 ARCAV는 GPU 프로그램의 실행모델에서 수행될 수 있도록 설계되어 스레드 구성과 메모리 계층에 무관하게 실세계에서 발생한 원자성 위배를 대표하는 네 가지 패턴의 원자성 위배를 실시간으로 탐지하고 수리할 수 있다. 실험 결과 동시에 실행되는 스레드 개수와 구성에 무관하게 일정한 오버헤드를 보였다. 원자성 위배를 프로그램 수행 중에 실시간으로 탐지하고 수리하기 위해 소요되는 오버헤드는 네 개의 실세계 GPU 커널에서 실험되었고, 원본 프로그램 대비 평균 2.1배의 수행시간으로 동작하였다.

• Elastomers and Composites
• /
• 제38권3호
• /
• pp.243-250
• /
• 2003

국내에서 폴리우레탄 방수 코팅은 노후된 건축물의 지붕 수리와 다양한 스포츠시설의 시공으로 인하여 수요가 증가되고 있다. 본 연구에서는 일반적으로 많이 사용되고 있는 탄산칼슘 충진제의 일부를 비산재로 대체하여 폴리우레탄 코팅을 제조하였다. Cyclone과 Bag filter에서 수집된 비산재가 대체할 수 있는 탄산칼슘의 최대량은 각각 20%와 10%로 결정되었다. 폴리우레탄의 경화속도는 Pb-octoate 촉매를 사용하여 조절할 수 있었다. 코팅의 제조에 사용되는 성분들의 상대적인 양을 조절하면, 비산재를 함유하는 폴리우레탄 코팅의 인장강도, 인열강도 및 신장율 등이 폴리우레탄 코팅의 표준 값들과 유사하게 되었다. 그러나 bag filter에서 수집된 비산재를 사용할 경우에는, 제조된 폴리우레탄 코팅으로부터 카드뮴(Cd), 수은(Hg) 및 납(Pb)이 허용 수치보다 높게 용출되었다. 한편, cyclone으로부터 수집된 비산재를 사용해서 제조한 폴리우레탄 코팅은 더 우수한 기계적 특성을 보였으며 중금속의 용출양도 심각하지 않았다. 결론적으로, 적당한 비산재를 선정하여 사용한다면, 비산재 함유 폴리우레탄 코팅도 현장에서 활용될 수 있을 것이다.

• 한국방재학회 논문집
• /
• 제10권2호
• /
• pp.47-53
• /
• 2010

초속경 LMC(Very-Early Strength Latex-Modified Concrete ; VES-LMC)는 작업성, 강도발현 및 장기 내구성 측면에서 콘크리트 타설 후 3시간 이내에 교통개방을 가능하게 할 목적으로 개발되었고, 교량바닥판 긴급보수 공사에 유용하게 사용되고 있다. 그러나 초속경 LMC에서 라텍스의 사용이 콘크리트의 내구성은 향상시키지만 다량의 갇힌 공기를 양산한다는 단점이 있다. 따라서 취약한 공극구조를 개선하기 위해서는 특별한 방법이 필요하며, 본 논문에서는 울트라파인 플라이 애시가 사용되었다. UFFA VES-LMC의 공기량은 재령 1일에 포졸란 반응의 대부분이 발생하여 재령 1일 공기량이 경화전 공기량보다 저하되었다. 또한 재령 28일 공기량은 재령 1일 공기량의 공극구조와 동일하게 나타나, 포졸란 반응에 의해 콘크리트의 전체 공기량이 감소함을 확인하였다. 수산화칼슘의 첨가는 200 ${\mu}m$이하 크기의 연행공기를 현저하게 증가시키고, UFFA를 15%이상 사용하면 간격계수를 200 ${\mu}m$ 이하까지 확보할 수 있어 VES-LMC의 공극구조 개선에 매우 효과적인 것으로 나타났다.

• 한국콘텐츠학회논문지
• /
• 제14권12호
• /
• pp.999-1009
• /
• 2014

본 연구에서는 실제 지하구조물에 사용되었던 제원과 배합에 대하여, 자재생산단계, 운송단계, 시공단계, 탄소저장량, 보수단위 탄소배출량을 고려하여 RC 지하구조물의 탄소배출 및 흡수량을 내구수명에 따라 평가하였다. 혼화재료를 포함한 4가지 배합이 고려되었고, 마이크로 모델을 이용하여 이산화탄소 확산계수를 도출하였다. 탄산화 내구한계상태를 고려하여 탄소 배출 및 흡수량을 평가하였는데, 단위 시멘트량이 높은 배합에서 초기탄소배출량이 높게 평가되었으며, 탄산화 진행속도가 증가함에 따라 이산화탄소 저장량은 증가하였다. 또한 대기 중의 이산화탄소 농도인 실측치(600ppm)이외에 다양한 이산화탄소 농도를 고려하여 RC 지하구조물의 탄소배출 및 흡수량을 평가하였다. 이산화탄소 농도의 증가로 탄산화 진행속도가 증가함에 따라 보수횟수가 증가하여 탄소배출량이 높게 평가되었다. 사용수명동안 전체 탄소 발생량을 감소하기 위해서는 OPC사용을 통해 탄소 흡착량을 늘리는 것보다 플라이애쉬와 같은 혼화재료를 치환하여 초기 탄소배출량을 줄이는 것이 결정적이다. OPC 생산시 과다한 $CO_2$가 발생하고 사용중의 탄소 흡착은 피복콘크리트에 국한하여 큰 효과를 나타내지 못하기 때문이다.

• 한국건축시공학회지
• /
• 제17권2호
• /
• pp.141-147
• /
• 2017

본 연구는 기존의 에폭시 수지 충전 접착재의 단점을 보완한 마그네시아 실리케이트 인산염을 활용한 무기충전 접착재 개발 연구로서 사소마그네시아와 플라이애시를 기반으로 제1인산칼륨과 붕사를 사용하여 가사시간을 조절한 무기충전 접착재를 개발하고자 하였다. 이를 위하여 먼저 제1인산칼륨의 적정 첨가율을 도출하기 위한 기초실험을 실시하였다. 기초 실험을 바탕으로 적정강도를 취하면서 접착재 위로 인산염 잔존물이 떠오르지 않게 한 적정 첨가율을 도출하였으며, 이후 붕사 첨가율에 따라 본 실험을 실시하였고, 제조된 접착재를 대상으로 가사시간, 휨강도, 압축강도, 접착강도, 인장강도, 가열변화율, 경화수축률, 라돈가스 및 포름알데히드 방출량을 측정하였다. 그 결과 제1인산칼륨의 적정 첨가율은 35%이며, 가사시간 조절을 위해 붕사 첨가율에 따른 가사시간은 약 10분, 15분, 25분으로 나타났다. 휨강도 및 압축강도는 12시간 최소 휨강도 8.0MPa, 최소 압축강도 31.0MPa로 나타났다. 인장강도는 최소 4.1MPa로 나타났으며, 경화수축률은 최대 2.4%, 가열변화율은 최대 -0.3%로 'KS F 4923'(콘크리트 구조물 보수용 에폭시 수지)의 품질기준에 모두 만족하였다. 라돈가스 및 포름알데히드 방출량의 경우 모두 방출량이 검출되지 않았다. 따라서, 마그네시아 실리케이트 인산염을 활용한 무기충전 접착재의 가사시간에 따른 발열시간을 조절한다면 보다 시공성과 안전성을 확보한 무기 충전 접착재를 제조 할 수 있을 것으로 판단된다.