• 정보교육학회논문지
• /
• 제26권2호
• /
• pp.121-128
• /
• 2022

교육부에서 2021년 9월에 발표한 2022 개정 교육과정 총론 연구 결과에서는 기후·환경 교육이 소프트웨어 교육과 더불어 전면에 등장하는 등 환경 문제가 사회적으로 중요한 화두로 떠오르고 있다. 본 연구에서는 파이썬 몬테카를로 시뮬레이션을 적용하여 2022 개정 교육과정에서 강조하고 있는 환경교육과 소프트웨어교육을 융합한 고등학생 대상 프로그램을 개발하였다. 개발한 프로그램은 과학·환경·정보 교과 교육 전문가를 대상으로 프로그램의 타당성을 Lawshe의 내용타당도 비율(Content Validity Ratio: CVR)로 검증하였고, 검증 결과 프로그램은 개발 취지와 환경 및 정보 교과 성취기준에 적합한 것으로 나타났다.

• 한국산업정보학회논문지
• /
• 제27권6호
• /
• pp.95-103
• /
• 2022

원자력발전소의 중대사고 발생 시 신속하고 정확하게 사고 상황을 파악해야 하며, 이러한 사고진단 정보를 획득했을 때 적절한 사고관리 및 대응을 수행할 수 있다. 본 연구에서는 국가원자력 재난관리 시스템인 AtomCARE (Computerized technical Advisory system for a Radiological Emergency)로 전송되는 주요 발전소 정보로부터 중대사고 상황을 진단하는데 있어 딥러닝 기술의 접목을 고려하였다. 이를 위하여 주요 시나리오를 선정하고 사고 진행에 따른 상세 시나리오에 대하여 중대사고 해석 코드인 MAAP5 다량 계산을 통한 학습 DB를 구축하였다. 그리고 이 DB의 학습을 통하여 주요 발전소 정보로부터 중대사고 상세 시나리오를 분류할 수 있는, 즉 중대사고 상황을 진단할 수 있는 기술을 개발하였다. 또한 블라인드 테스트와 주성분분석을 통한 검증을 수행하였다. 본 연구에서 개발한 기술은 향후 전체 중대사고 시나리오로 확장 및 적용 가능할 것으로 판단되며 신속하고 정확한 사고진단의 기반기술로 활용 가치가 높을 것으로 기대된다.

• 한국소프트웨어감정평가학회 논문지
• /
• 제10권1호
• /
• pp.19-26
• /
• 2014

본 논문에서는 안드로이드 애플리케이션(앱)을 역공학 공격으로부터 방어하는 기법을 제안한다. 이 기법에서 서버는 안드로이드 패키지 파일인 APK 내에 있는 원본 실행코드(DEX)를 암호화하고, 실행 시 이를 복호화 할 수 있는 스텁(stub) 코드를 APK에 삽입하여 배포한다. 스텁 코드는 자신에 대한 공격을 탐지하기 위해 무결성 검증 코드를 포함한다. 사용자가 해당 APK를 설치·실행할 때, 스텁 코드는 자체의 무결성을 검증한 후, 암호화된 원본 실행코드를 복호화하고, 이를 동적 로딩(dynamic loading)하여 실행한다. 앱의 원본 실행코드는 암호화되어 배포되므로 지적재산권을 효과적으로 보호할 수 있다. 또한, 스텁 코드에 대해 무결성을 검증하므로, 제안 기법의 우회 가능성을 차단한다. 우리는 15개의 안드로이드 앱에 제안 기법을 적용하여 그 유효성을 평가하였다. 실험 결과, 13개의 앱이 정상적으로 동작함을 확인하였다.

• 터널과지하공간
• /
• 제26권5호
• /
• pp.431-440
• /
• 2016

본 연구에서는 암반비탈면의 성능기반 평가기법을 제시하기 위해 이전 연구에서 도출된 평가 항목의 항목별 특성과 유사성 등을 검토하여 최종 평가항목을 도출하였다. 또한, 평가항목별로 상대적 중요도를 산출하여 평가항목의 가중치를 도출하였으며 암반비탈면에 대한 성능별 평가표를 제시하였다. 제시된 평가기준은 상관 분석을 이용해 검증을 실시하였다. 주요 연구결과는 다음과 같다. 각 성능별로 제시된 평가표를 활용하여 실제 조사 자료를 적용한 상관분석 결과, 모든 평가항목에서 유의 확률이 0.05 이하로 나타나 통계적으로 유의미한 결과가 도출되었고, 전체적으로 높은 상관성을 보였다. 특히, '낙석', '지반변형', '불연속면 특성', '불안정 지질' 등의 항목에서 상대적 상관계수(R)가 가장 높게 나타나 본 논문에 제시된 평가표는 암반비탈면의 특성을 적절히 반영하고 있다고 판단된다.

• 대한안전경영과학회지
• /
• 제17권1호
• /
• pp.75-84
• /
• 2015

Successful development of weapon systems requires a stringent verification and validation (V&V) process due to the nature of the weapons in which continual increase of operational capability makes the system requirements more complicated to meet. Thus, test and evaluation (T&E) of weapon systems is becoming more difficult. In such a situation, live fire tests appear to be effective and useful methods in not only carrying out V&V of the weapon systems under development, but also increasing the maturity of the end users operability of the system. However, during the process for live fire tests, a variety of accidents or mishaps can happen due to explosion, pyro, separation, and so on. As such, appropriate means to mitigate mishap possibilities should be provided and applied during the live fire tests. To study a way of how to accomplish it is the objective of this paper. To do so, top-level sources of hazard are first identified. A framework for T&E is also described. Then, to enhance the test range safety, it is discussed how test scenarios can be generated. The proposed method is based on the use of the anticipatory failure determination (AFD) and multiple event tree analysis (ETA) in analyzing range safety. It is intended to identify unexpected hazard components even in the environment with constraints. It is therefore expected to reduce accident possibilities as an alternative to the traditional root-cause analysis.

• 한국추진공학회지
• /
• 제19권1호
• /
• pp.98-110
• /
• 2015

최근에 우주비행체의 기동 및 자세제어 로직을 검증하기 위해 소형화 및 정밀화된 부품들을 사용하여 지상에서 시뮬레이터의 구동을 통해 검증하는 연구가 활발하게 진행되는 추세이다. 지상 환경에서 우주비행체 시뮬레이터의 기동 및 자세제어를 위해 일반적으로 구성이 간단하고 신뢰도가 높은 냉가스 추진시스템이 사용된다. 본 연구에서는 우주비행체 지상시뮬레이터의 냉가스 추진시스템 개념설계 결과로서 임무 요구조건에 부합하는 주요 설계 파라미터를 도출하였으며, 전체 시스템 구성을 위한 적절한 사양의 상용부품을 선정하였다.

• 에너지공학
• /
• 제7권1호
• /
• pp.96-102
• /
• 1998

원자력 안전계통의 일부분인 컴퓨터의 사용은 일반 산업분야에서 명시되지 않은 부가적인 요건 즉 소프트웨어의 확인 및 검증, 하드웨어의 품질요건이 요구된다. 원자력 발전소에서 사용되는 컴퓨터는 컴퓨터 하드웨어, 소프트웨어, 펌웨어 및 연계장치를 포함하는 시스템이다. 원자력 안전등급을 갖는 컴퓨터 시스템을 개발하기 위해서는 우선적으로 개발환경이 요구되고 개발된 소프트웨어는 원자력 코드 및 표준에 따라 확인 및 검증되어야 한다. 이러한 요건 때문에 원자력 발전소 안전계통의 하나인 부적절노심감시계통에 대한 시험설비가 개발되었다. 시험설비는 입출력 모의설비, 자료수집계통 케비넷 및 감시컴퓨터의 3부분으로 구성된다. 이 시스템의 성능을 수동시험절차에 따라 검증되었다.

• 한국항공우주학회지
• /
• 제36권7호
• /
• pp.712-718
• /
• 2008

본 논문은 비행 중 비행제어법칙을 전환함으로써 실험 대상 비행제어법칙을 검증할 수 있는 비행제어법칙 전환시스템 개발에 관한 논문이다. 본 연구를 통하여 제어법칙 간 전환에 따른 천이응답을 최소화하기 위한 페이더 설계 및 대기 모드 상태에 있는 비행제어법칙의 적분기 안정화 설계가 도입되었다. 두 개의 제어법칙 간 데이터 통신은 1553 통신 방식을 채택하였다. 본 논문은 개발된 비행제어법칙 전환시스템의 구조 및 주요 개념 설계 연구 및 고등훈련기급의 비행성 평가 시뮬레이터를 이용한 시스템 검증 결과를 포함한다.

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

소프트웨어 개발시 요구사항이 시스템에 제대로 반영되어 개발되고 있는지를 추적하는 일은 아주 중요하다. 이에, 본 연구에서는 추적테이블을 이용하여 요구사항을 추적하는 방법을 연구하였다. 본 연구에서 제시한 추적테이블에서는 제안요청서, 제안서 등의 내용을 명확히 명세하게 함으로써 요구사항의 발생근거를 명확히 하고, 산출물마다 요구사항 식별코드를 매핑하게 하여 산출물간의 일관성 및 완전성 검증하는데 용이하게 하였다. 아울러, 본 연구를 진행하면서 마르미-III v.4.0 방법론의 요구획득단계 산출물중에 추가하거나 보완이 필요한 요소를 발견하게 되었기에 개선된 추적테이블과 함께 부가적인 연구결과로 제시하고자 한다. 본 연구에서 제시한 개선된 추적테이블을 이용하여 산출물을 검증함으로써 소프트웨어 개발시 요구사항 관리 부족으로 일어나는 각종 위험 및 문제요소를 줄일 수 있을 것이다. 또한 마르미-III v.4.0 방법론의 요구획득 단계 산출물을 본 연구의 추적테이블 작성방법에 따라 추가.보완하게 함으로써 마르미-Ⅲ 방법론의 활용을 높이고자 한다.

• 한국통신학회논문지
• /
• 제31권6A호
• /
• pp.563-574
• /
• 2006

본 논문에서는 OFDM(Orthogonal Frequency Division Multiplexing) 기반 다중 안테나 시스템의 링크레벨 성능 분석을 위하여 실제 전파 환경과 유사한 특성을 갖는 Ray-tracing 방식 채널의 하나인 SCM(Spatial Channel Model) 채널을 구현한다. 3GPP & 3GPP2 Spatial Channel AHG(Ad-hoc Group)에서 시스템레벨 성능 비교용으로 제안한 SCM 채널을 링크레벨 성능의 비교 분석을 위하여, 본 논문에서는 시스템레벨 채널에 대한 채널 계수 및 파라메터들을 링크레벨 성능 비교용으로 변환하여 구현한다. 모의실험을 통하여 구현한 SCM 채널의 특성을 검증하고, 이를 이용하여 기존의 OFDM 기반 MIMO (Multiple Input Multiple Output) 적용 시스템 및 스마트 안테나 적용 시스템에서의 실제적인 링크레벨 성능을 분석하고, 정확한 비교 검증을 위하여 SCM 채널과 동일한 파라메터를 적용한 I-METRA 채널 및 독립 채널 상황에서의 링크 레벨 성능을 함께 비교 분석한다. MIMO 및 스마트 안테나 적용 시스템에 대하여 여러 채널 환경에서 채널 상관도에 따른 링크레벨 성능을 분석함으로써, 채널 상관도의 영향에 따라 주어진 환경에 적합한 다중 안테나 시스템을 제안한다.