• 제목/요약/키워드: 사용자경험 설계

검색결과 360건 처리시간 0.03초

연안여객선 선원의 작업공간 색채계획에 관한 연구 (A Study of Color Scheme on Coastal Passenger Ship Seafarer's Workspace)

  • 박진
    • 한국항해항만학회지
    • /
    • 제48권3호
    • /
    • pp.221-231
    • /
    • 2024
  • 본 연구의 목적은 여객선 작업공간에서 활동하는 선원의 안전 및 정신건강 증진을 위하여 색차계를 사용한 작업공간의 밝기, 색채 값, 색 분포도, 선원의 인터뷰를 통해 문제점 및 개선 방향을 조사하는 것이다. 첫째, 선행 연구, 참고 문헌, 현행 제도 및 규격, 준사고 사례조사를 검토한 뒤 현재 운행 중인 M Ship의 조타실과 기관실을 대상으로 색차계를 사용하여 각 공간의 색상 값을 분석하였다. M Ship의 조타실과 기관 구역에 분포된 밝기와 색채 측정 결과 각 구역의 천장, 벽, 바닥의 밝기는 전체적으로 어두운 편이고 특히 기관 구역은 매우 어두운 편으로 나타났다. 색채에 관하여 각 구역의 천장엔 Green과 Blue가 분포되어 있으며 벽과 바닥엔 Red와 Blue가 분포되어 있었다. 작업공간에 근무하는 선원의 인터뷰 결과 노후한 실내환경과 어두운 작업환경, 미끄럽고 밝은 바닥재, 국내 사용자에게 맞지 않은 계단으로 인한 준사고 경험에 대해 응답하였다. 이에 따라 추후 조명 설치 시 밤과 낮을 구분하여 공간의 밝기 체크, 조명의 위치, 그림자 형성 수준 및 대비 정도, 시설의 반사율, 눈부심, 빛의 색을 고려한 조명 계획, 바닥의 색채계획 및 자재 선정, 국내 사용자에게 적합한 시설 설계에 관해 제안한다.

인공위성 RGB 영상 기반 중등학교 교과서 태풍 풍속 산출 및 데이터 시각화 프로그램 개발 (Development of a Program for Calculating Typhoon Wind Speed and Data Visualization Based on Satellite RGB Images for Secondary-School Textbooks)

  • 임채영;박경애
    • 한국지구과학회지
    • /
    • 제45권3호
    • /
    • pp.173-191
    • /
    • 2024
  • 태풍은 지구 시스템 내의 해양-대기-육상 상호작용을 일으키는 매우 중요한 현상으로 특히 태풍의 특성 인자 중 하나인 풍속은 중심 기압, 이동 경로, 해수면 온도 등의 매개변수에 의해 복잡하게 변화하여 실제 관측 자료를 기반으로 이해하는 것이 중요하다. 2015 개정 교육과정 기반 중등학교 교과서에서 태풍 풍속은 본문 내용 및 삽화의 형태로 제시되고 있어 풍속에 대한 심층적 이해가 가능한 탐구활동이 무엇보다 필요한 실정이다. 본 연구에서는 교수-학습 과정에서 간단한 조작만으로도 태풍의 풍속을 이해할 수 있도록 그래픽 사용자 인터페이스(GUI)를 기반으로 한 데이터 시각화 프로그램을 개발하였다. 2023년 발생한 태풍 마와르, 구촐, 볼라벤의 천리안 위성 2A호 RGB (Red-Green-Blue)영상 자료를 입력 자료로 활용하였다. 태풍 주변의 구름 이동 좌표를 입력하여 태풍의 풍속을 산출하고 태풍 중심 기압, 폭풍 반경, 최대 풍속 등의 매개 변수를 입력하여 태풍 풍속 분포를 시각화 할 수 있도록 설계하였다. 본 연구에서 개발된 GUI 기반 프로그램은 천리안 위성 2A호로 관측 가능한 태풍에 대해 오류 없이 적용 가능하며 교과서의 시공간적 한계를 벗어난 실제 관측 자료 기반의 과학탐구활동이 가능하다. 학생과 교사는 별도의 유료 프로그램 및 전문적인 코딩 지식이 없어도 실제 관측 자료를 수집, 처리, 분석, 시각화하는 과정을 경험할 수 있으며, 이를 통해 미래 정보화 사회에서의 필수 역량인 디지털 소양을 함양시킬 수 있을 것으로 기대된다.

전주 한옥마을의 실감 3D View를 위한 Light ID 및 HMD-AR 기반 인터렉티브 전시 설계 (Light ID and HMD-AR Based Interactive Exhibition Design for Jeonju Hanok Village Immersive 3D View)

  • 민병준;비나야감 마리아판;차재상;김대영;조주필
    • 한국정보전자통신기술학회논문지
    • /
    • 제11권4호
    • /
    • pp.414-420
    • /
    • 2018
  • 최근 디지털 컨버전스는 현실세계를 기반으로 만들어진 미디어 콘텐츠에 가상 콘텐츠를 투영시켜 사용자에게 새로운 경험을 제공 할 수 있도록 발전하고 있다. 이에 본 논문에서는 HMD AR 기술을 이용한 Light ID 및 HMD-AR 기반 인터렉티브 전시를 제안하였다. 이 접근법은 현재 사용되고 있는 전시물에 추가적인 인프라를 설치할 필요 없이 기존 사용되고 있는 조명 또는 디스플레이를 사용 할 수 있다. 또한 Light ID는 웹 콘텐츠로의 접근을 위해서만 사용되는 QR 태그와 달리 위치 인식을 위한 식별자 및 통신 매체로도 사용될 수 있는데, 이는 카메라를 기반으로 한 광 무선 통신 (OWC)의 장점을 활용하여 스마트 장치에서 미디어 콘텐츠에 대한 ID를 수신하고 AR형태로 실감 3D 콘텐츠를 시각화하여 제공한다. 본 논문에서는 안드로이드 스마트폰을 사용하여 제안한 설계 기법에 대해 전주 한옥 마을을 타겟으로 Light ID 기반 광무선통신 기술을 활용한 실감 3D View 제공 기술을 구현하고 테스트를 수행하였으며, 실험 결과 제안한 기법을 통해 전시물에 관한 실시간 몰입형 3D 뷰를 제공 할 수 있음을 확인하였다.

건물의 배수 및 통기시스템: 배관 내부압력의 능동적인 제어

  • Gormly, Michael;Swaffield, John. A.
    • 대한설비공학회지:설비저널
    • /
    • 제39권9호
    • /
    • pp.41-51
    • /
    • 2010
  • 건물의 배수 및 통기시스템에서 나타나는 현상중에 확실한 내용이 아직 밝혀지지 않은 부분이 몇 가지 남아 있다. 이것은 19세기 말엽의 근대 위생공학의 시작 단계에서부터 잘 알려진 사실이다. 건물의 배수 및 통기시스템 운용에 대한 내용은 일반 공학과 특정 유체역학의 범위 내에서 가장 잘 이해할 수 있다. 건물의 배수 및 통기시스템의 운영에 종사했던 초기의 기술진들은 이러한 점을 잘 알고 있었으며 유체역학에 적합하게 응용한 많은 사례를 확인할 수 있었다. 제2차 세계대전이 끝나고 이에 대한 많은 연구가 진행되어 왔으며 특히 유럽에서 시작된 전후 재건 붐을 통해 배수 및 통기시스템의 설계에 좀 더 효율적인 접근이 진척되게 되었다. 이러한 배수시스템의 중심에는 배수관 내부의 오염된 공기가 배수구 또는 위생기구를 통하여 주거 공간으로 유입되는 것을 방지하는 트랩(Water Trap)이 있다. 배수트랩의 주요 기능인 봉수는 일반적으로 깊이가 40 mm에서 50 mm 정도로 위생기구의 종류에 따라 봉수의 깊이는 다소 차이가 있다. 배수관내 공기의 흐름이 중요한 것처럼 트랩의 봉수 메커니즘이 중요하기 때문에 이 메커니즘을 소홀히 여긴다면 안전한 배수시스템의 운영을 기대하기는 어렵다. 배수관 내의 공기의 흐름은 배수에 의해 유입되거나 또는 배출된다. 배수관에서 내부 압력의 불규칙한 변화로 인하여 야기되는 불안정한 배수의 흐름은 트랩의 봉수를 파괴하고 나아가 주거공간으로 오염된 공기가 새어 나갈 수 있는 통로를 제공하게 된다. 관내압력의 천이는 이로 인한 문제가 발생할 가능성이 있는 위치에 그 압력을 완화할 수 있는 장치를 설계단계에 반영하여 적용함으로써 제어할 수 있다. 건물 내부에 상당한 길이의 통기배관을 설치하는 것은 배관의 마찰손실로 인하여 천이 현상을 효과적으로 제어할 수 있는 확실한 방법이 되지는 못한다. 그렇지만 통기밸브를 설치하는 것과 같이 배수관 내로 공기를 공급해주는 유입구를 건물 내부에 분산 설치하는 것이 효율적인 통기방식이 될 수 있고, 정압 천이로 인한 위험을 줄여줄 수 있다. 통기밸브는 정압 발생의 원인이 되지 않으며 단지 정압에 반응하여 더욱 기밀하게 닫히며, 약화된 압력파를 반사할 뿐이다. 고층 건물에서 배수입상관과 평행하게 설치된 통기입상관(Parallel Vent Pipe)의 경우 극히 일부분의 정압 천이 현상을 완화할 수 있다. (통기 배관의 직경이 배수 입상배관과 동일한 경우 대략 1/3 정도임), 그러므로 정압의 천이로 인한 압력 파동은 배수 시스템의 나머지 부분을 통해 전파되어 배수 트랩에 영향을 미치게 된다. 정압의 천이가 예상되는 위치에 정압천이 완화 장치(Positive Air Pressure Transient Alleviation Device)를 사용하면 배관 내부압력의 급격한 상승을 방지하여 연결된 트랩의 봉수를 보호할 수 있다. 이렇게 되면 순간적으로 발생하는 배관내 압력의 급등 현상을 90% 정도까지 완화 시킬 수 있다. 경험적으로 배수시스템에서 배관이 완전하게 막혀 과도한 정압이 발생하는 경우는 거의 없다. 이러한 경우에는 가장 낮은 위치에 있는 배수 트랩의 봉수가 깨지면서 자연스럽게 배수시스템의 압력이 해소되게 된다. 이러한 사례는 통기 방식과 상관없이 발생할 수 있다. 실제와 유사한 시뮬레이션을 통하여 통기 밸브(Air Admittance Valves)는 전면 통기 시스템 (Fully Vented System)에서 최소한 트랩의 봉수 보호용으로 적합한 것이 확인 되었다. 어떤 경우 에는 고층 건물에 더욱 적합하다는 것을 확인할 수 있었다. 부압 해소용으로 통기밸브를 이용하고 정압완화용으로 정압 완화장치(PAPAs: Positive Air Pressure Transient Attenuators)를 사용하는 전면적 능동 제어시스템(Fully Engineered Designed Active Control System)이 사용자에게 육안으로는 확인하지 못하는 기능을 보장하면서 배수 시스템의 안전과 효율성에 대한 효과적인 방법을 제공하고 있다.

  • PDF

고객의 분배공정성분위기 지각과 커뮤니티동일시, 고객간상호작용인식, 도움행동의도의 관계에 대한 연구 (Customer-perceived distributive peer justice climate, community identification, C2C interaction quality, and helping intention in MMORPG contexts)

  • 김현식
    • 서비스연구
    • /
    • 제14권2호
    • /
    • pp.158-177
    • /
    • 2024
  • 본 연구는 온라인 집단소비 서비스 상황에서 다른 고객들의 보상에 대한 고객의 분배공정성분위기 지각이 커뮤니티동일시, 고객간상호작용인식, 도움행동의도에 미치는 영향에 대한 이론적 모델을 제안하고 실증한다. 가설을 테스트하기 위해 온라인 집단소비 서비스(대규모 멀티플레이어 온라인 롤플레잉 게임, MMORPG) 이용자를 대상으로 설문 조사 데이터를 수집하여 구조 방정식 모델링을 통해 분석하였다. 본 연구는 MMORPG 상황에서 보상설계에 대한 고객의 분배공정성분위기 지각이 커뮤니티동일시, 고객간상호작용인식을 변화시켜 도움행동의도를 변화시킨다는 것을 보여준다. 집단소비형 서비스 관리자는 사용자의 현재 C2C 가치공동창조 경험(커뮤니티동일시, 고객간상호작용인식)과 미래 C2C 가치공동창조 행동(도움행동의도)을 향상시키기 위해 보상 시스템에 대한 고객의 분배공정성분위기 지각을 개선하는 데 중점을 두어야 할 것이다. 본 연구는 온라인 집단소비 서비스 상황(MMORPG)에서 보상 설계에 관한 고객의 분배공정성분위기 지각과 고객간상호작용 인식의 관계를 실증함으로써 분배정의 이론의 발전에 기여하고 있다.

NFC 기반 사용자 중심의 모듈형 심박측정 의류 시스템 개발 (Development of a Modular Clothing System for User-Centered Heart Rate Monitoring based on NFC)

  • 조하경;조상우;조광연
    • 감성과학
    • /
    • 제23권2호
    • /
    • pp.51-60
    • /
    • 2020
  • 본 연구의 목적은 심박 측정용 기기 및 의류에 있어 배터리 충전 및 기기의 부피감으로 인한 불편함을 개선하고, 사용자 편의성을 고려하여 목적에 따른 심박 측정을 가능케 하는 심박 측정용 스마트 의류 시스템을 개발하고자 하였다. 심박 측정 기기는 2가지 타입으로 모듈화되어 개발되었으며, 탈부착을 통해 목적형 및 지속적 심박 측정이 가능하도록 구성하였다. 목적형 심박측정 기기는 NFC(Near Field Communication), 심박 센서를 내장하고 필요시에 스마트 폰 태깅을 통해 심박 측정이 가능하게 하는 의류에 부착된 타입으로 개발되었으며, 지속형 심박 측정 기기는 BLE(Bluetooth Low Energy) 통신 및 배터리를 내장하여 목적형 기기와 결합을 통해 통신 및 전원을 지원, 지속적으로 심박 측정이 가능한 시스템으로 구성되었다. 심박 측정을 위한 섬유 전극은 은사 기반의 편물 전극으로, 심박 측정에 용이하도록 대흉근 아래에 위치하도록 디자인되었으며, 목적형 심박측정 기기가 전극과 연결되도록 구성되었다. 연동되는 어플리케이션은 사용자 경험요소, 주요기능 및 사용편의성 등을 고려하여 개발되었으며, 사용성 향상을 위하여 스마트 폰 태깅을 통해 자동 동기화가 되도록 개발되었다. 본 연구에서 개발된 심박측정 스마트 의류 시스템의 심박측정 정확도를 평가하기 위하여, 10명의 20대 남성 피험자를 대상으로 2단계의 실험을 설계하고 진행하였으며, POLAR RS800을 통해 측정되는 신호를 기준 심박으로 비교·분석하였다. 그 결과, 목적형 스마트 의류 시스템의 평균 심박수는 85.37, 기준 기기 심박수는 87.03으로 96.73%의 정확도를 갖는 것으로 분석되었으며, T 값 -1.892 (p=.091)로 두 신호간의 유의한 차이는 없는 것으로 분석되었다. 지속형 스마트 의류 시스템의 평균 심박수는 86.00, 기준 기기 심박수는 86.97로 97.16%의 정확도를 보였으며, T 값 -1.089(p=0.304)로 두 시스템 간의 측정 차이는 없는 것으로 분석되었다. 본 연구에서는 사용자의 목적에 따라 심박측정이 가능한 모듈형 스마트 의류 시스템을 개발하고 검증한 것에 의의가 있다. 또한, 모듈화 된 심박측정 의류 시스템 개발로 불필요한 기능으로 인한 가격 상승을 줄임으로써 이원화된 상품 기획의 가능성을 제시하였다.

서울지하철의 지능형 광고 비즈니스모델 설계 (Designing an Intelligent Advertising Business Model in Seoul's Metro Network)

  • ;임규건
    • 지능정보연구
    • /
    • 제23권4호
    • /
    • pp.1-31
    • /
    • 2017
  • 현대 기업들은 효율성과 생산성을 향상시킬 뿐 아니라 시장 진출을 위해 새로운 기술들을 채택하고 있다. 광고 업계도 전통적인 채널 (라디오, TV 및 인쇄 매체)에서 인터넷, 소셜 미디어, 모바일 기반광고와 같은 새로운 매체로 지속적인 파괴적 혁신을 경험하고 있다. 본 연구는 서울 지하철에 지능형 광고 비즈니스 모델을 제안한 사례이다. 서울은 세계에서 가장 분주 한 지하철 중 하나로서 메트로 네트워크를 통해 마케팅 담당자가 다양한 고객과 잠재 고객 모두와 교류하고 상호 작용할 수 있는 플랫폼이 될 수 있다. 현재의 광고 매체의 대부분은 공간, 조명 등 국부적 한계를 가지고 있으나 본 사례의 지능형 디지털 광고 플랫폼은 데이터로 구동되는 광고를 통해 위치기반 모바일 전자상거래를 제공할 수 있다. 등록된 지하철 카드를 통해 고객 데이터를 분석하고 특정 고객 그룹을 타겟팅하고, 대상 소비자 그룹을 기반으로 광고 사용자를 정의하고, 동영상, 애니메이션, 쿠폰, 문자 등 다양한 광고 형식을 제공 할 수 있다. 위치 정보를 통해 다음역을 탐지하여 지하철 안의 스크린이 다음 정차 할 역의 광고에 우선 순위를 부여하고, 사용자 모바일에서 알림을 수신하도록 선택한 고객은 광고주의 사업장 근처에 접근 할 때 알림을 받게 된다. 또한, 내비게이션 서비스를 통해 지하 쇼핑몰의 고객이 상점, 제품, 시설, 이벤트 등을 검색하고 광고나 추천서비스를 받을 수 있게 한다. 이러한 광고는 고객이 광고를 클릭하면 제품 설명 페이지로 연결되어 전자 상거래로 이어지도록 한다. 이 모델을 통해 개선된 고객 경험뿐만 아니라 지하상가의 중소기업 지원, 새로운 직업 기회, 비즈니스 모델 운영자에 대한 추가 매출 및 광고 유연성 등 새로운 가치 창출이 가능할 것으로 기대된다.

소비자 가치기반 디자인 평가 모형: 제품 속성, 인지 속성, 소비자 가치의 3단계 접근 (Design Evaluation Model Based on Consumer Values: Three-step Approach from Product Attributes, Perceived Attributes, to Consumer Values)

  • 김건우;박도형
    • 지능정보연구
    • /
    • 제23권4호
    • /
    • pp.57-76
    • /
    • 2017
  • 최근 정보 기술의 발전 속도가 매우 빠르게 변화하고 있다. 스마트폰과 태블릿 같은 IT 기기에서 이런 변화들이 두드러지고 있다. 이전의 IT 기기들은 기능상의 혁신과 진보를 통해 소비자들을 끌어들였지만, 현재는 IT 제품 상에서 기능상 발전과 혁신은 둔화되었다. 기능상 차별점이 줄어든 시점에서 기업들은 외관과 디자인적 측면에서 차별화를 시도하고 있다. 스마트폰의 외관적 변화를 반영하듯 소비자들도 성능보단 디자인을 스마트폰 구매의 중요 요인으로 삼고 있다. 스마트폰은 패션 아이템의 하나로 자리매김하게 되었고, 스마트폰의 디자인과 외형이 지속적으로 중요해짐에 따라 해당 제품에 대해 소비자들이 느끼는 디자인 가치가 무엇인지도 중요해졌으며, 무엇에 영향을 받는지도 중요해졌다. 소비자들이 느끼는 가치가 중요해짐에 따라 소비자들이 해당제품의 디자인에 대해 평가하는 메커니즘을 밝힐 필요성이 존재하며, 적절한 가치를 전달하기 위해 디자인을 평가할 수 있는 모형이 필요하다. 디자인과 관련한 기존 연구들은 소비자들의 인지와 가치 부분에 초점을 맞추어 연구를 하였지만, 제품 속성 자체에 대한 부분은 고려하지 않은 경향이 있으며, 제품이 갖고 있는 객관적인 속성들에 따라 소비자들의 인지가 변화하는 과정과 최종적으로 느끼는 가치에 대한 메커니즘을 밝힌 연구는 부재한 것으로 나타났다. 따라서 본 연구는 스마트폰 제품이 갖고 있는 객관적 속성인 제품 속성과 객관적 속성을 통해 느끼는 소비자들의 인지, 가치에 대해 평가할 수 있는 메커니즘을 설계하고, 이를 평가할 수 있는 3단계 디자인 평가 모형을 제시하려 한다. 3단계 디자인 평가 모형은 제품 속성, 인지 속성, 소비자 가치까지 모든 단계를 고려한 정량화된 모형으로 스마트폰 분야만이 아닌 사용자경험 분야에 전반적으로 적용 가능할 것으로 기대하며, 기업이 갖고 있는 소비자 데이터와 결합한다면, 특정 소비자층을 겨냥한 제품 생산 및 설계가 가능한 지능형 디자인 가치 평가 모형으로 발전할 수 있을 것으로 예상한다.

농업기상 정보 및 배분 네트워크 현황 (Status of Agrometeorological Information and Dissemination Networks)

  • Jagtap, Shrikant;Li, Chunqiang
    • 한국농림기상학회지
    • /
    • 제6권2호
    • /
    • pp.71-84
    • /
    • 2004
  • 농업기상정보에 대한 수요는 흥미로운 내용보다는 농업현장에서 사용자가 직접 활용할 수 있는 내용이 점증하고 있다. 이러한 수요에 부응하기 위해서는 지역 또는 집단 별로 소속 농민을 위한 지역특성이 반영된 기후/기상 정보를 개발, 제공하여야 한다. 그리고 최종 사용자가 공식 기상기구에 의해 발표된 기상/기후 예보를 이해하는 데 도움을 줄 수 있는 도구가 제공되어야 한다. 특히 기본이 되는 근간자료를 포함하여 실시간 기상정보도 농민에게 함께 제공되어야 한다. 따라서 이상적인 농업기상정보시스템은 다음과 같은 요소를 포함하여야 한다. 1) 효율적인 자료 관측과 수집 체계, 2) 최신 통신시스템, 3) 표준 자료관리, 가공 및 분석 시스템, 및 4) 첨단 기술정보 배분시스템 등. 향후 인터넷이 농업기상정보 전달과 배분에 있어서 지속적으로 중요한 역할을 수행하겠지만 정보 풍요국과 빈곤국간의 격차는 날로 심화되어 갈 것이다. 그리고 농촌지역은 정보통로의 가장 끝자락을 의미하는데, 앞으로 많은 나라에서 정보통신 수단으로 TV, 라디오, 전화, 신문 및 팩스 등에 의존할 것으로 보이며, 정보와 배분 수단 확충에 필요한 가용 인적 및 경제적 자원에 따라 국가 간에 그 달성 여하에 차이가 있을 것이다. 이러한 차이점들은 농업기상 정보배분시스템 구축설계시에 반드시 고려되어야 한다. 과거 경험에 따르면, 사용자 요구에 적극 부응하는 정보들에 대한 손쉬운 접근을 통해서 기후정보의 활용이 근원적으로 증대한다는 것을 알 수 있다. 지리정보시스템과 원격탐사정보의 농업기상분야 적용도 향후 그 전망이 매우 밝은 분야라고 생각된다. 수 있을 것으로 사료된다. 유방병소를 수술전에 위치결정하는 방법은 그 수기가 간단하고도 안전하며 병소를 정확히 지시해 줌으로써 수술적 생검에 큰 도움을 주었고 그럼으로써 정상유방조직의 절제를 최소화하여 수술 후에 오는 유방의 외형상 변형을 최소화할 수 있었다. The blood pressure was dropped to 80/60 mmHg, but pulse rate was normal. She did not complain of dyspnea, and cyanosis was not developed. The urine volume was normally maintained. She was treated for pulmonary edema, which was completely absorbed after 20 hours. And the blood pressure was also normalized. We has experienced a case of pulmonary edema developed after intraarterial injection of the iodinated contrast medium without underlying cardiac, renal and hepatic problems, and reviewed the literatures on mechani 는 of pulmonary edema caused by intravascular injection of the iodinated contrast materials.석

C 프로그램의 버퍼 오버런(buffer overrun) 오류를 찾아 주는 정적 분석기의 설계와 구현 (Design and Implementation of Static Program Analyzer Finding All Buffer Overrun Errors in C Programs)

  • 이광근;김재황;정영범
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제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%와 섞여 있었다.