A System-of-Systems (SoS) is a large-scale complex system that integrates multiple constituent systems, which have managerial and operational independence. In order to achieve higher-level common goals of an SoS, it important systematically integrate independent systems by thoroughly analyzing designing the target SoS as whole. But before conducting these engineering activities, number various stakeholders engineers should be able understand their SoS. provide holistic view knowledge base,...

A System of Systems (SoS) consists complex Constituent (CSs), which have managerial and operational independence. As the CSs independence, degree authority to control varies depending on different types SoS, such as directed, acknowledged, collaborative SoS. While many researchers attempted model SoSs verify SoS-level goals, little attention has been paid how are characterized realized during modeling verification. Using a mass casualty incident response system common working example for we...

As Function Block Diagram (FBD) programs are used to implement safety-critical systems such as nuclear reactor protection systems, it is crucial be able generate effective test cases. The FBD one of programming languages that for programmable logic controllers (PLCs). PLC repeatedly run within a particular scan time every execution. Among the constituents programs, function blocks and feedback variables use inputs outputs previous cycle on which operate. Researchers have recently developed...

Platooning system is a well-known technology for alleviating traffic congestion and increasing fuel efficiency by grouping vehicles. It has the major characteristics of Systems (SoS), such as uncertainty. Several internal external factors uncertainty exist in platooning system, car accidents, network disconnections, simultaneous requests from other platoons. These make it difficult to guarantee that operates correctly unpredictable scenarios environments. The existing techniques used verify...

Interactions between software components play a major role in the achievement of goals complex systems, such as platooning System-of-Systems (SoS). A SoS groups vehicles order to increase their fuel efficiency and alleviates traffic congestion by enabling driving close proximity using operation protocols. In SoS, execution typical operations, Leave or Merge, consists 20 micro-operations on average. Owing this overabundance sub-operations, interaction failures specific sequence can occur an...

The pyrotechnic cutting performance of an Al/MnO2 mixture was carried out via onset experiment.In order to understand the thermal reaction processes sample, both oxide component (MnO2) and were tested by simultaneous analysis.The chemical analysed based on residue analysis.There obvious combustion flame during agent, could melt through steel target easily, which meant thermite had a good performance.Thermal reactions between Al MnO2 several processes, including two decompositions process...

Function Block Diagram (FBD)은 프로그래머블 로직 콘트롤러 용 표준 프로그래밍 언어 중 하나이다. 테스트 집합의 오류 검출 효과성 평가에 널리 사용되는 뮤테이션 분석 기법을 FBD 프로그램 테스팅에 적용하기 위해 기존 연구들에서 5종에서 9종의 대상 연산자를 정의하였다. IEC61131-3 표준에는 내 블록들이 300여개 정의되어 있으나, 연산자 집합은 내부 상태를 가지는 function block들을 포함하여 기능 요소들을 포괄적으로 다루지 못한다. 또한, 입력들의 순서가 바뀌는 등 상에서 발생할 수 있는 다양한 타입을 충분히 모사하지 못한다는 한계점을 가지고 있다. 본 연구에서는 프로그램의 기능요소들과 발생 가능한 고려하여 추가 정의하고, 사례 연구를 통해 효과성을 분석한다.

A System-of-Systems (SoS) is a collection of systems, which consists independent constituent systems to achieve higher-level goals. As an SoS changes constantly due external and internal factors, dynamic reconfiguration evolutionary development must be performed effectively. To manage that has these characteristics, managers engineers need model verify accommodates changes. While many researchers have proposed techniques for modeling verifying SoS, little attention been paid the verification...

본 논문에서는 기존의 침입탐지 모델인 오용탐지 모델과 비정상 탐지 모델의 장점은 유지하되 단점은 보완하는 견지에서 새로운 모델을 제안한다. MMIDS로 명명된 침입탐지시스템은 다음의 평가 기준들을 모두 만족하는 차원에서 설계되었다: 1) 시스템에서 학습되지 않은 공격 유형의 신속한 발견; 2) 탐지된 유형에 대한 세부적 정보의 제공; 3) 빠르고 효율적인 학습 및 갱신으로 인한 경제적인 시스템의 유지/보수; 4) 점증성(incrementality) 확장성. MMIDS의 핵심 구성요소로 새롭게 제안된 다중 클래스 SVM은 갱신이 가능하여 유지보수 비용을 절감할 수 있다. 실험을 통해 유사한 패턴에 분류성능 각 유형별 세분화 능력이 우수함을 보인다. In this paper, we propose a new intrusion detection model, which keeps advantages of existing misuse model and anomaly resolves...

The main objective of the present study is to examine secondary school pre-service students’ motivations choose English teaching as their future career and describe characteristics. In particular, it purports: 1) discover determinants for decision enroll in an teacher education program 2) report background FITchoice scale was employed measure teachers’ motivation a (N= 118). results revealed that most participants were from urban areas female students dominant. general intrinsic value...

한국전쟁 이후 서울은 도시계획을 통해 다양한 공간들을 만들며 '대변화'를 이루었다. 1960년대 서울시 통해서 만들어진 대표적인 공간인 세운상가는 지난 60여 년 동안 개발과 보존 사이에서 존치와 철거를 넘나들고 있다. 이 연구에서는 도시계획 과정에서 세운상가에 다층적인 의미가 부여되고 있다는 점에 주목하였다. 이를 위해 서울특별시의회 회의록 및 시 공무원의 구술자료를 도시계획에 따른 세운상가의 장소성 변화를 고찰하고 함의를 발견하고자 했다.BR 사람 중심의 미래도시로 조성된 시간이 흐르면서 낡은 곳, 도시문제의 주범, 회복해야 할 거리와 녹지축, 기술 창업 공간 등 의미를 넘나들었다. 의미들은 역사, 환경, 재생 프레임으로 포장되었다. 한국사회에서 여전히 '미사일과 로봇도 만들 수 있는' 곳이지만 장소성은 세운상가 이용자들의 일상적 맥락이 아닌 도시계획의 실천 맥락에서 생성, 변경, 편집되었다. 즉, '처리방식'은 구성 존재들이 아닌, 결정하고 시행하는 주체들을 결정되었다.

A System of Systems (SoS) is a large-scale complex system composed Constituent (CSs) that interact organically to achieve SoS level goals cannot be achieved by individual CSs. Various uncertainties may arise in addition the each CS. Uncertainty cause it fail various situations. To debug these failures efficiently, high-quality fault knowledge base needed for SoS. However, existing studies assume (1) there are sufficient data when creating an initial and (2) related characteristics...

본 연구는 중학교 과학 영재 학생들의 예상과 불일치 하는 사례를 접했을 때 나타나는 다양한 반응을 이해할 목적으로 진행되었다. 연구에서 학생들에게 물의 끓는점 실험에서 가열 곡선 모양을 예상하게 하고 실제 관찰한 내용을 바탕으로 현상을 설명하게 하였다. 학생 분석한 결과, 모든학생이 인지갈등을 경험하였고, 나타난 반응은 거부, 귀추적 재해석, 주변이론변화 유형 등이 있었다. 거부와 재해석 유형의 학생들은 이론에 대한 믿음이 확고하여 자신의 생각처럼 해석하거나, 생각으로 설명하지만 그 원인을 추가 탐색하려는 경향을 보이지 않았다. 실험 증거에 기반한 주변 이론 변화 다른 이론적 부연 설명 없이 현상만을 이용하여 설명하였고, 비과학적 지식에 지식으로 설명하거나 비논리적인 부연으로 설명을 하였다.The purpose of this study was to understand the various responses middle school science gifted students...