• 정보과학회 논문지
• /
• 제42권11호
• /
• pp.1404-1409
• /
• 2015

본 논문에서는 벤치마크용이 아닌 실제 자바스크립트 프로그램을 효과적으로 분석하기 위해서 정확도와 확장성을 조절하는 정적 분석 프레임워크를 제시한다. 본 논문에서 제안하는 방식은 전분석과 본분석의 두 단계로 구성된다. 전분석은 분석 대상을 조절해서 분석의 정확도를 결정하기 위한 분석 대상의 윤곽을 계산한다. 본분석은 주어진 분석 대상의 윤곽 안에서 실행 의미를 빠뜨리지 않고 안전하게 분석한다. 두 단계 분석 기법을 소개한 후, 전분석에서 분석 대상의 윤곽을 조절하여 본분석의 정확도와 확장성을 조절할 수 있음을 보이고 그 방식의 올바름을 증명한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제31권5호
• /
• pp.667-676
• /
• 2004

이 논문은 명령형 프로그램의 핵심 부분에 대한 정보흐름의 보안성을 데이타 흐름 분석법을 사용하여 예측하는 방법을 제시한다. 지금까지 제안된 분석 기법은 정보흐름이 안전한 프로그램을 안전하지 않다고 보수적으로 판정한다는 점에서 정밀도가 떨어지는 경우가 많이 있다. 이 논문에서는 이전의 구문중심의 접근방법보다는 분석결과가 더 정밀한 새로운 분석법을 제안하고, 그 분석의 안전성을 증명한다.

• 한국항공우주학회지
• /
• 제43권9호
• /
• pp.773-780
• /
• 2015

본 논문에서는 아음속 환경에서 원통형 비행체의 구조 건전성을 확인하였다. 극한 기동 조건에서 원통형 비행체의 정적 구조 안전성을 확인하기 위하여 구조 해석과 전기체 정적 구조 시험을 수행하였다. 수치 해석을 위하여 상용 유한 요소 프로그램 MSC. Patran/Nastran을 이용하였으며, 전기체 정적 구조 시험에는 중량 보상 장치, 하중 부가 장치, 데이터 획득 장치를 적용하였다. 이와 함께, 동특성 시험으로서 햄머 충격시험을 수행하여 원통형 비행체의 동적 특성을 확인하였다.

• 정보보호학회지
• /
• 제23권2호
• /
• pp.21-28
• /
• 2013

스마트폰의 급증 현상은 모바일 생태계의 패러다임을 변화시켰으며 다양한 SW 컨텐츠의 양산과 더불어 그 활용 영역의 확대를 가져왔다. 이에 따라 필연적으로 모바일 악성코드도 증가되고 있으며 개인정보 또는 회사 기밀정보의 무단 유출이라는 사회적 이슈도 대두되게 되었다. 이러한 문제를 해결하기 위해서는 모바일 어플리케이션에 대한 검증이 필요하고, 검증하는 방법에는 크게 정적분석 방법과 동적분석 방법이 있으며 분석 방법에 대한 자세한 내용은 선배 전문가들의 앞선 연구 사례와 논문에 몇 차례 소개된 바 있다. 이에 본 고에서는 정적분석 및 동적분석 방법을 응용하여 (주)안랩에서 실제로 운용 중인 모바일 어플리케이션의 분석 및 검증 솔루션(AMSD) 구현사례를 소개하고자 한다. 여기에는 기 알려진 정적분석 방법과 동적분석 방법에 대한 간략한 서술이 포함되어 있으며 시스템 아키텍처 정보와 실제 오픈 마켓을 대상으로 운용하면서 얻어진 앱 분석 사례 및 개선 방향도 담고 있다. 이를 통해 모바일 오픈 마켓 운영 시의 안전성과 신뢰성 확보 및 건전한 모바일 생태계 유지를 도모하는 데 조금이나마 도움이 되었으면 하는 바램이다.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2011년도 춘계학술대회
• /
• pp.192-194
• /
• 2011

육상의 자원고갈로 인한 해양자원의 관심 증가로 플랜트 사업의 수요가 증가함에 따라 플로팅 구조물의 안전성 확보를 위한 구조해석이 필요하다. 이 연구에서는 범용 유한요소 프로그램인 ABAQUS를 사용하여 3차원 플로팅 구조물의 상부구조물에 정적하중과 진폭의 크기가 다른 파랑하중을 적용하여 모멘트 및 변위를 비교한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2012년도 춘계학술발표대회
• /
• pp.241-242
• /
• 2012

차량 제어 시스템은 안전성을 우선 고려하여 정적인 구조로 개발되어왔지만, 사용자들은 동적인 구조의 차량 제어 시스템을 바라고 있다. 본 논문에서는 차량 제어 시스템에 워크플로우를 도입하여 Plug & Play를 가능하게 하는 방법을 데모 시스템 상에 구현하여 실제 구현 가능성을 모색하였다.

• 항공우주기술
• /
• 제6권2호
• /
• pp.35-39
• /
• 2007

본 논문에서는 4인승 선미익 항공기에 대한 구조해석 절차와 전기체 시험결과를 소개하였다. 전기체 유한요소모델 구축은 항공기 구조해석 시 중요한 업무이며 구조적 안전성에 직접적인 영향을 미치게 된다. 구축된 유한요소모델은 전기체 시험결과를 이용하여 정밀하게 보정된다. 구조해석 결과를 이용하여 5가지의 설계제한하중 시험조건과 11가지의 설계 극한하중 시험조건을 결정하였다. 소개된 절차를 이용하여 4인승 선미익 항공기의 구조적 안전성을 성공적으로 확보하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제33권5호
• /
• pp.508-524
• /
• 2006

이 논문에서는 정적 프로그램 분석(static program analysis)과 통계적 분석(statistical analysis)의 조합을 가지고 실제적인 C 프로그램을 검증한 경험을 보고한다. 정적 분석과 통계적 분석의 조합은 입력 프로그램에 제한을 두지 않는 정적 분석기에서 발생하는 불가피한 허위 경보를 줄이기 위한 것이다. 우리는 ANSI C 프로그램이 실행 중에 겪을 수 있는 모든 배열 참조 오류(buffer overrun)를 찾아주는 정적 프로그램 분석기 아이락(Airac, Array Index Range Analyzer for C)을 고안하고 구현하였다. 분석의 안전성(soundness)을 유지하면서 프로그램 분석 분야에서 오랫동안 축적된 기술들을 활용하여 분석 비용 절감 및 정확도 향상을 달성했다. 대상 프로그램에 제한을 두지 않는 안전한 분석은 정확도에 한계가 있으므로 불가피한 허위 경보가 존재할 수 있다. 이러한 허위 경보(예를 들어 530만 줄짜리 상용 C 프로그램에 대한 분석 결과 아이락은 970개의 배열 참조 오류 경보를 발생시켰으나 그 중 737개는 허위 경보였다.)에 대처하기 위해 우리는 통계적 사후 분석을 시도하였다. 통계적 사후 분석은 주어진 경보가 실제 오류를 가리킬 확률을 계산한다. 이렇게 계산된 확률은 두 가지 방법으로 사용된다. 1) 경보를 걸러내거나, 2) 실제 오류에 대한 경보일 가능성이 높은 것들을 우선적으로 사용자에게 보여준다. 우리는 리눅스 커널 프로그램과 알고리즘 교과서의 프로그램들을 대상으로 실험을 수행했다. 우리 실험에서 실제 오류를 놓칠 위험이 허위 경보의 위험의 3배라고 설정한 경우 74.83%의 허위 경보를 걸러낼 수 있었고, 참일 확률이 높은 경보부터 검증하는 경우 15.17%의 허위 경보만이 실제 오류 50%와 섞여 있었다.

• 한국구조물진단유지관리공학회 논문집
• /
• 제8권4호
• /
• pp.135-143
• /
• 2004

본 연구에서는 6경간 SCP(Steel Confined Prestressed Concrete) 거더교의 연속화에 따른 연속지점부의 구조거동에 대해 해석적인 방법과 실험적인 방법으로 콘크리트 바닥판의 균열 및 피로에 대한 사용성과 안전성을 분석하였다. SCP 거더의 구조거동을 분석하기 위해 기존의 PSC 이론과 강 거더 이론을 혼용하여 합성효과를 분석하였고, 정적재하실험과 피로실험에 의해 바닥판 콘크리트의 균열 발생 여부와 콘크리트의 응력 및 강재의 피로응력을 검토하였다. 검토 결과 실제 교량에 대해 내부지점을 연속화한 6경간 SCP 거더교는 공용하중에 대하여 콘크리트의 균열 및 피로에 대해서는 구조적으로 안전한 것으로 판단된다.

• 한국전산구조공학회논문집
• /
• 제26권6호
• /
• pp.455-462
• /
• 2013

최근에 지어진 건축물의 경우 지진에 대한 안전성을 확보하고 있지만, 내진설계 도입 이전의 건축물은 지진에 대해 매우 취약하다. 본 연구에서는 내진성능이 부족한 기존 저층 RC구조물의 지진 발생 시 안전성 확보를 위한 내진보강 방안으로 격자강판 전단벽을 제안하고 내진성능평가를 수행하였다. 횡력저항요소로 사용된 격자강판 전단벽의 탄소성 이력특성값은 실험결과를 토대로 횡력저항 기여도등을 평가하여 작성된 이선형곡선을 적용하였다. 비탄성 정적해석을 통해 대상구조물의 성능점을 찾아내어 적용 지진하중에 대한 응답과 성능수준을 평가하였다. 격자강판 전단벽을 적용한 경우, 보강 전에 비하여 응답변위가 약 42% 저감되는 것을 확인할 수 있었으며, 성능점에서 거의 탄성거동을 보여주고 있어 목표성능인 인명안전수준을 만족시켰다. 또한 반응수정계수를 산정하여 내진보강 효과를 검증하였으며, 보강 전과 후에 각각 2.17에서 3.25로 증가하여 설계기준을 초과하였다. 따라서 격자강판 전단벽에 의해 대상 구조물의 강도 및 강성보강이 적절히 수행된 것으로 판단된다.