1,720,973 research outputs found
Lee InHo
학위논문(석사)--아주대학교 일반대학원 :시스템공학과,2015. 2현대의 시스템은 대 부분 복잡/대형화되고 있는 추세이며 그에 따라 시스템의 임무, 시나리오 또한 다양화되고 있다. 따라서 대상 시스템을 시험 검증하는 방법 또한 복잡성을 띄게 되기 때문에 보다 효율적이고 효과적인 시험 검증 절차 개발이 필요해지고 있다. 즉, 기존의 경험적인 방법을 통한 테스트 케이스의 생성보다는 보다 과학적인 기법을 활용한 효과적인 테스트 케이스의 생성이 요구된다고 할 수 있다. 이를 위한 방법으로서 본 논문에서는 시스템 공학의 기능 분석에 사용되는 다이어그램과 테스트 케이스 생성 방법론인 분류 트리 기법의 결합을 통해 테스트 케이스를 생성하는 방법론을 제시하였다.
분류 트리 기법은 시스템 기능의 테스트 과정을 최적화하기 위한 방법론으로서 시스템 일부 또는 전체에 대한 테스트 케이스를 용이하게 구성할 수 있다는 장점을 가지고 있다. 하지만 분류 트리를 구성함에 있어서 각 항목을 어떻게 구성할지에 대해 뚜렷하게 정형화된 절차가 존재하지 않는다는 문제점을 가지고 있다. 그러나 시스템 기능 분석에 사용되는 다이어그램에는 이러한 항목들이 포함되어 있어 이를 활용하면 분류 트리 개발이 훨씬 용이해질 것으로 판단하였다. 그래서 기능 분석에 사용되는 각 다이어그램과 분류 트리의 구조와 속성에 대해 분석하였고, 분석 결과를 통해 기능 분석 다이어그램이 분류 트리로 적절하게 변환될 수 있도록 하는 변환 방법을 제시하였다.
제시된 변환 방법이 실제로 적절하게 변환이 가능한지를 확인하기 위해 차륜형 전투차량의 수상 운행 시나리오에 대해 기능 분석 다이어그램을 구성하고 분류 트리로 변환, 테스트 케이스를 생성하였다. 그 결과 기능흐름도와 분류 트리 기법의 결합을 통한 테스트 케이스 개발을 보다 용이하게 할 수 있는 가능성과 효과성을 확인하였다.
이는 개발 초기 단계의 노력으로써, (1) 검증 요구사항 도출, (2) 고객을 포함한 이해관계자와의 합의, (3) 설계 반영 요소 도출 등에 활용할 수 있으며, 제시된 정형화된 방법론을 통하여 계열화 체계에 적용 시 그 확장성을 보장할 수 있다. 제시된 방법론과 이를 활용한 활동들의 적절한 조화로써 시스템의 신뢰도 향상에 기여하길 기대한다.감사의 글 Ⅰ
국 문 요 약 Ⅱ
목 차 Ⅳ
그 림 목 차 Ⅵ
표 목 차 Ⅸ
제1장 서 론 1
제1절 연구 배경 및 목적 1
제2절 연구 범위 및 방법 2
제1항 연구 범위 2
제2항 연구 방법 3
제3절 논문의 구성 4
제2장 이론적 고찰 5
제1절 기능 분석 5
제1항 기능 분석 5
제2항 기능 분석에 사용되는 다이어그램 6
제3항 기능흐름도 13
제2절 분류 트리 기법 19
제1항 발전 배경 및 특징 19
제2항 분류 트리 기법의 구성 20
제3장 기능흐름도와 분류 트리 기법간의 관계 26
제1절 기능의 표현 26
제2절 계층 구조 27
제3절 통제 구조 28
제4장 적용 사례 33
제1절 기능흐름도로 표현한 수상운행 시나리오 33
제1항 수상운행의 최상위 레벨 33
제2항 “1.입수하기”의 기능흐름도 35
제3항 “2.수상운행하기”의 기능흐름도 40
제4항 “3.출수하기”의 기능흐름도 52
제2절 분류 트리로의 변환 57
제3절 테스트 케이스 생성 60
제1항 “1.입수하기”의 테스트 케이스 생성 60
제2항 “2.수상운행하기”의 테스트 케이스 생성 65
제3항 “3.출수하기”의 테스트 케이스 생성 74
제4절 생성된 테스트 케이스의 활용 79
제1항 검증 요구사항 도출 79
제2항 설계 반영 요소 도출 81
제5장 결 론 84
참 고 문 헌 85
Abstract 88Maste
Anomalous Nernst effect in the compensated ferrimagnets, Fe-Ln alloys (Ln = Gd, Tb, Dy, Ho, and Er)
1
Unified low-energy effective Hamiltonian and the band topology of p-block square-net layer derivatives
In recent years, low-dimensional materials with tetragonal P4/nmm (orthorhombic Pnma) space group having square-net (chainlike) substructure of p-block elements have been studied extensively. By using a first-principles calculation and a two-sites ⊗ two-orbitals tight-binding model, we construct the unified low-energy effective Hamiltonian and the Z2 topological phase diagram for such materials with different filling factors. Near the chemical potential, we show that the staggered arrangement of ions at 2c (4c) site yields a virtual hopping that has the same form with the second nearest-neighbor hopping between the square-net (chainlike) ions. We show that this hybridization and low-symmetry of the chainlike structure protects the quantum spin Hall insulator phase. Finally, the second-order spin-orbit coupling on top of the atomic spin-orbit coupling is considered to clarify the origin of the nonzero Berry phase signals reported in recent quantum oscillation experiments
MAX-Phase Films Overcome Scaling Limitations to the Resistivity of Metal Thin Films
Metal thin films have been widely used as conductors in semiconductor devices for several decades. However, the resistivity of metal thin films such as Cu and TiN increases substantially (>1000%) as they become thinner (<10 nm) when using high-density integration to improve device performance. In this study, the resistivities of MAX-phase V2AlC films grown on sapphire substrates exhibited a significantly weaker dependence on the film thickness than conventional metal films that resulted in a resistivity increase of only 30%, as the V2AlC film thickness decreased from approximately 45 to 5 nm. The resistivity was almost identical for film thicknesses of 10-50 nm. The small change in the resistivity of V2AlC films with decreasing film thickness originated from the highly ordered crystalline quality and a small electron mean free path (11-13.6 nm). Thus, MAX-phase thin films have great potential for advanced metal technology applications to overcome the current scaling limitations of semiconductor devices.11Nsciescopu
Going Beyond Counting First Authors in Author Co-citation Analysis
The present study examines one of the fundamental aspects of author co-citation analysis (ACA) - the way co-citation
counts are defined. Co-citation counting provides the data on which all subsequent statistical analyses and mappings
are based, and we compare ACA results based on two different types of co-citation counting - the traditional type that
only counts the first one among a cited work's authors on the one hand and a non-traditional type that takes into
account the first 5 authors of a cited work on the other hand. Results indicate that the picture produced through this non-traditional author co-citation counting contains more coherent author groups and is therefore considerably clearer. However, this picture represents fewer specialties in the research field being studied than that produced through the traditional first-author co-citation counting when the same number of top-ranked authors is selected and analyzed. Reasons for these effects are discussed
Variations on the Author
“Variations on the Author” discusses two of Eduardo Coutinho’s recent films (Um Dia na Vida, from 2010, and Últimas Conversas, posthumously released in 2015) and their contribution to the general question of documentary authorship. The director’s filmography is characterized by a consistent yet self-effacing form of authorial self-inscription: Coutinho often features as an interviewer that rather than express opinions propels discourses; an interviewer that is good at listening. This mode of self-inscription characterizes him as an author who is not expressive but who is nonetheless markedly present on the screen. In Um Dia na Vida, however, Coutinho is completely absent form the image, while Últimas Conversas, on the contrary, includes a confessional prologue that moves the director from the margins to the center of his films. This article examines the ways in which these works stand out in the filmography of a director who offers new insights into the notion of cinematic authorship
Appropriate Similarity Measures for Author Cocitation Analysis
We provide a number of new insights into the methodological discussion about author cocitation analysis. We first argue that the use of the Pearson correlation for measuring the similarity between authors’ cocitation profiles is not very satisfactory. We then discuss what kind of similarity measures may be used as an alternative to the Pearson correlation. We consider three similarity measures in particular. One is the well-known cosine. The other two similarity measures have not been used before in the bibliometric literature. Finally, we show by means of an example that our findings have a high practical relevance.information science;Pearson correlation;cosine;similarity measure;author cocitation analysis
Dispelling the Myths Behind First-author Citation Counts
We conducted a full-scale evaluative citation analysis study of scholars in the XML research field to explore just how different from each other author rankings resulting from different citation counting methods actually are, and to demonstrate the capability of emerging data and tools on the Web in supporting more realistic citation counting methods. Our results contest some common arguments for the continued
use of first-author citation counts in the evaluation of scholars, such as high correlations between author rankings by first-author citation counts and other citation
counting methods, and high costs of using more realistic citation counting methods that are not well-supported by the ISI databases. It is argued that increasingly available digital full text research papers make it possible for citation analysis studies to go beyond what the ISI databases have directly supported and to employ more
sophisticated methods
- …
