• 한국정보과학회논문지:소프트웨어및응용
• /
• 제34권8호
• /
• pp.743-751
• /
• 2007

하드웨어 검증에서 성공적으로 적용되었던 모델 검증 기법을 소프트웨어 검증에 활용하는 연구가 활발하다. 이러한 연구 중의 하나가 바운디드 모델 검증이다. 바운디드 모델 검증에서는 모델이 갖는 상태 공간을 한꺼번에 모두 탐색하기보다는 모델의 탐색 범위를 점진적으로 넓혀가면서 에러를 찾는다. 본 논문에서는 이러한 바운디드 모델 검증을 이용하여 BOGOR의 입력 언어인 BIR를 검증하였다. 그 결과 BOGOR에서 제공되는 명시적 모델 검증 기능 보다 우수한 성능을 보였다. 본 논문에서는 BIR 언어를 CNF 논리식으로 변환하는 방법과 단계적 절차를 기술한다.

• 한국항공우주학회지
• /
• 제36권12호
• /
• pp.1207-1215
• /
• 2008

우주환경에서 운용되는 위성은 상호 유기적으로 연결된 다양한 전자장비에서 방출하는 전도성/복사성 에너지 결합에 의해 다양한 잡음 신호를 발생하게 되는데, 이러한 잡음은 탑재체를 포함한 위성 시스템과 발사체의 전자기적인 영향에 의하여 주요 기능에 중대한 결함을 유발시킬 수 있다. 이에 위성 시스템은 개발 단계에서부터 전자파환경에 대한 영향을 최소화하기 위한 시스템 설계 검증이 요구된다. 위성 시스템에서 검증하여야 하는 전자파 환경 요소는 위성으로부터 방출되는 전도성/복사성 잡음과 이러한 잡음 환경에서 위성의 정상운용을 검증하는 감응성 잡음이 있다. 통신해양기상위성 시스템의 전자파 호환성 설계 검증은 PSR의 출력을 각 유닛에 분배하는 과정에서 전원선에서 방출하는 전도성 방출특성을 측정하여 시스템에서 통제하는 전자파 규격에 적합한지를 검증하고, 이러한 방출 레벨로부터 6 dB 시스템 안전성마진을 고려한 레벨의 전도성 잡음을 전원선에 인가하여 시스템의 성능을 검증하는 것이다. 아울러, 각 유닛의 전자파 복사 특성을 종합하여 시스템 수준의 복사성 잡음 수준을 예측하고 발사체 요구 규격과의 적합성을 분석하는 것이다. 본 논문에서는 통신해양기상위성의 전자파 환경시험 결과를 토대로 시스템 수준의 전자파 호환 특성 및 발사체와의 적합성 분석 결과를 제시하였으며, 잡음요소 분석 결과는 FM EMC 시험에 반영될 것이다.

• 비파괴검사학회지
• /
• 제34권5호
• /
• pp.384-389
• /
• 2014

본 논문에서는 국내 원자력발전소 초음파검사자 기량검증시험 결과를 검토하였다. 원자력발전소 안전관련 설비에 대한 초음파검사 기량검증 요건은 ASME B&PV Code Section XI 1989 겨울 부록에서 최초로 언급되었다. 한국수력원자력(주)은 ASME Code Section XI, Appendix VIII의 요건 적용을 위해 국내 원자력발전소에 적합한 한국형 초음파검사 기량검증(KPD) 시스템을 개발, 규제기관의 승인을 받아 2004년 7월부터 운영하고 있다. 본 논문에서는 2004년부터 2013년까지 수행한 초음파검사자 기량검증시험 결과의 검토 내용으로 초음파검사 결함 검출 향상 및 기량훈련시스템 연구 개발에 도움을 줄 것으로 기대한다.

• 한국콘텐츠학회논문지
• /
• 제18권1호
• /
• pp.412-421
• /
• 2018

본 연구는 호텔 조직과 호텔에 근무하는 중간관리자들의 커뮤니케이션에 관련한 연구이다. 중간관리자들의 커뮤니케이션이 조직몰입과 조직문화에 미치는 영향과 커뮤니케이션과 조직문화와의 관계에서 조직몰입이 조절효과가 있는지 연구하였다. 최종적으로 수집된 데이터는 80부였고, 가설 검증을 위한 통계분석은 SPSS 18.0을 사용하였다. 가설의 검증결과는 다음과 같다. 가설 1, 호텔 중간관리자의 커뮤니케이션은 조직몰입에 유의한 정(+)의 영향을 미칠 것이다. 라는 가설의 검증결과 부분적으로 유의하여 부분채택되었다. 가설 2, 호텔 중간관리자의 커뮤니케이션은 조직문화에 유의한 정(+)의 영향을 미칠 것이다. 라는 가설의 검증결과 부분적으로 유의하여 부분채택 되었다. 가설 3, 호텔 중간관리자의 조직몰입은 조직문화에 유의한 정(+)의 영향을 미칠 것이다. 라는 가설 검증결과 유의한 결과가 나타나 채택되었다. 가설 4, 호텔 중간관리자의 커뮤니케이션과 조직문화와의 관계에서 조직몰입은 유의한 조절효과가 있을 것이다. 라는 가설을 검증한 결과 조절효과는 없는 것으로 나타났다.

• Journal of the Korean Data and Information Science Society
• /
• 제24권1호
• /
• pp.63-72
• /
• 2013

본 연구는 원격교육학습환경 한국판 척도의 타당도를 검증하고 지각된 학업성취도와 사이버교육 만족도와의 관계를 검증하고자 한다. 이를 위해 K 사이버대학교 재학중인 학생을 대상으로 설문조사를 실시하였고 그 결과로 254개의 표본을 분석에 투입하였다. 탐색적, 확인적 요인분석을 통해 원격교육학습환경척도의 구성요인을 검증하고 지각된 학업성취도와 원격교육만족도와의 관계를 구조방정식 분석을 통해 모형을 검증하였다. 그 결과 원격교육학습환경 한국판 척도는 교수자 지원, 학생간 상호작용과 협동, 개인적 연관성, 수업 실제성, 능동적 학습, 학습자 자율성 등의 6개 요인으로 구성되었으며 확인적 요인분석을 통해 검증한 모형적합도 역시 적합한 수준으로 나타났다. 구조방정식의 경로 분석 결과 원격교육학습환경이 학업성취도에 직접적으로 유의한 영향을 미칠 뿐 아니라 지각된 학업성취도를 매개로 하여 사이버교육만족도에 유의한 영향을 미치는 것으로 나타났다. 지각된 학업성취도 역시 사이버교육만족도에 직접적으로 유의한 영향을 미치는 것으로 나타났다. 이러한 결과를 토대로 결론 및 시사점을 제시하였다.

• 한국조리학회지
• /
• 제18권2호
• /
• pp.51-63
• /
• 2012

본 연구는 조리학과 재학생들의 학과 선택에 따른 블록식 수업프로그램에 대한 만족도와 미래직업의지에 영향적 요인들을 확인하기 위해 변인으로 선택, 성별과 학년으로 구분하여 검증하였다. 이와 함께 블록식 수업 프로그램의 만족도가 미래 직업 의지에 영향을 주는 것에 대해서도 검증을 실시하였다. 연구 결과 성별과 학년별에 따른 수업만족도 T-검증 결과로 볼 때 유의수준 0.05에서 유의성을 보였으며, 남학생들이 여학생들보다 수업만족도가 높은 것으로 나타났다. 성별에 따른 미래 직업 의지에서도 성별에 따라 유의한 차이가 나타났는데, 역시 남학생이 여학생보다 미래 직업의지가 더욱 강하게 나타났다. 그러나 학년별 블록식 수업만족도 검증에서는 학년간 유의한 차이를 보이지 않고 있다. 학년별 미래직업의지에서는 유의수준 0.01에서 유의한 차이를 보이고 있다. 결과적으로 1학년이 가장 강하게 나타났고 4학년이 비교적 약하게 나타났다. 다음으로 선택변인에 따라 블록식 수업프로그램 만족도를 검증한 결과 두 변인 간 상관관계가 존재하고, 유의성검증에서도 모두 p-value가 0.000으로 매우 유의하게 나타났다. 자신이 선택한 결과에 대해서 책임감과 만족도가 높게 나타나는 것은 이미 많은 선행연구에서도 검증이 된바 있으며 블록식 수업에서도 같은 결과를 얻게 된 것이다. 마지막으로 블록식 수업만족도와 미래직업의지와의 관계에서도 p-value 0.000수준으로 유의성이 매우 높게 나타났으며 회귀결정계수도 0.840으로 상당히 크게 나타났다. 따라서 본 연구 결과로 볼때 성별에 따라서 블록식 프로그램의 만족도와 미래직업의지는 차이가 나는 것은 여학생들이 남학생보다 블록식 교육시스템에서 육체적으로 더 힘들게 느끼는 것으로 사료된다. 반면 학년에 따라서 차이는 없지만 미래직업의지에는 차이가 나타났다. 학년에 따른 미래직업의지에서 1학년이 가장 높고 4학년이 가장 낮게 나타났다. 이러한 결과를 볼 때 성별에 따라 블록시스템에 만족도가 다르고 학년에 따라 미래직업의지가 다르기 때문에 조리 교사들은 이러한 결과를 고려해서 학생들의 미래직업 준비와 수업만족도에 대한 개선을 계획해야 할 것이다.

• 컴퓨터교육학회논문지
• /
• 제7권3호
• /
• pp.35-43
• /
• 2004

인터넷을 기반으로 독립적인 장치들이 참여하는 P2P 컴퓨팅은 원하는 목적을 달성하는데 있어서 참여 장치들의 이탈, 고장, 네트워크 상태, 익명성 등으로 인해 잦은 접속단절과 보안 공격을 겪는다. 여러 연구와 구현에서 이러한 문제들을 해결하기 위해 공유되는 자원의 중복 기법을 사용한다. 이 논문에서는 컴퓨팅 자원의 공유를 목적으로 하는 P2P 컴퓨팅에서 수행되는 작업의 중복 수행을 통해 접속단절과 보안 공격에도 올바른 결과를 얻어내는 정확성 검증 기법을 제안한다. 제안하는 기법에서는 종속성이 존재하는 단위작업들에 대해 시스템 전체의 전역적인 메시지 교환 없이 주기적으로 정확성을 검증하고, 검증된 결과는 검사점이 되어 복귀 회복이 가능한 결함 포용이 가능하다.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2014년도 춘계학술대회
• /
• pp.745-747
• /
• 2014

본 논문에서는 OFDM 기반 무선 백홀 시스템에 적용 할 수 있는 채널 추정 및 $2{\times}2$ MIMO 알고리즘을 VHDL로 구현하여, 무선 백홀 시스템용으로 제작한 보드의 FPGA에서 신호 검출 성능을 검증한다. 이를 위해, 먼저 매틀랩(Matlab) simulink를 이용하여 채널 추정 및 $2{\times}2$ MIMO 알고리즘을 floating-point와 fixed-point 모델로 설계하여 성능을 검증하고, 그 다음 Modelsim을 이용하여 VHDL로 구현한다. 구현된 알고리즘의 성능 검증을 위해 설계한 simulink 모델, Modelsim 시뮬레이션, ISE Chipscope, 그리고 오실로스코프로 측정한 결과들을 비교한다. 비교결과, Modelsim 시뮬레이션, ISE Chipscope, 그리고 오실로스코프로 측정한 결과들이 서로 동일함을 확인하였으며, simulink 모델의 결과와는 약간의 오차를 보임을 확인하였다.

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

해상에서 긴급상황 발생 시 선박운항자는 짧은 시간에 신속 정확한 의사 결정을 할 필요가 있다. 이를 위해서 해양사고(충돌, 좌초, 화재, 엔진고장, 조타고장) 심각성에 따른 대피항로(해경선, 비상투묘, 표류, 임의좌주, 주변선박) 선정 알고리즘을 설계하였고, 선박운항자를 위한 긴급대피지원안내 시스템을 개발 중에 있다. 본 연구에서는 대피항로 선정 지원 기술 중 비상투묘와 충돌위험도를 중심으로 시스템 적용 모델의 타당성의 평가하고 알고리즘의 신뢰성을 검증하였다. 비상투묘 지원 기술의 검증을 위해 국내외 해양사고 보고서 및 재결서를 분석하고 알고리즘에 적용해 결과를 비교하였다. 충돌위험도를 검증하기 위해 재결서의 선박 충돌 사고 사례를 시뮬레이션으로 재현하였고, 시뮬레이션 기록 데이터를 기반으로 PARK model, IWRAP MK2 프로그램을 이용해 충돌위험도를 평가하였다. 본 연구의 결과를 통해 해양사고 발생 시 선박과 인명 피해를 최소화할 수 있을 것으로 예상된다.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2023년도 춘계학술대회
• /
• pp.298-300
• /
• 2023

국제수로기구는 해양정보 교환을 위한 제품표준 개발 지원을 위해 S-100 개발하고 현재 그 버전으로 5판으로 개정 하였다. 항로표지 정보는 항행경보와 항로표지 상태정보로 제공되는데, 국제수로기구는 해사안전정보(MSI)의 디지털 데이터 제작 및 교환 위해 S-124 개발되었고, 국제항로표협회는 S-201 항로표지 정보표준 개발을 완료하고, S-125 항로표지 상태정보 표준개발 진행 중이다. IALA/IHO는 S-100/S-200 개발 공동워크숍을 개최하고, S-125 항로표지 정보서비스에 대한 시연 및 워크숍 필요성 강조하였다. 본 연구는 항로표지 정보 서비스를 싱가포르 MPA와 협력하여 시험 시나리오 및 검증 계획을 수립하였다. S-124, S-125 기반의 정보 제공 서비스 및 선박 내비게이션을 통한 검증을 진행할 계획이며, 검증 결과는 IALA, IHO 회의로 보고할 계획이다. 항로표지 정보서비스 시험 결과는 관련 국제표준 개발에 기여하고, 항해환경에 해당 서비스 정착하는데 도움이 될 것으로 판단된다.