• International Journal of Naval Architecture and Ocean Engineering
• /
• 제5권1호
• /
• pp.147-160
• /
• 2013

System integration is an important element for the construction of naval combat ships. In particular, because impeccable combat system integration together with the sensors and weapons can ensure the combat capability and survivability of the ship, the integrated performance of the combat system should be verified and validated whether or not it fulfills the requirements of the end user. In order to conduct systematic verification and validation, a data analysis tool is requisite. This paper suggests the Data Extraction, Recording and Analysis Tool (DERAT) for the data analysis of the integrated performance of the combat system, including the functional definition, architecture and effectiveness of the DERAT by presenting the test results.

• ETRI Journal
• /
• 제44권4호
• /
• pp.599-612
• /
• 2022

This study focuses on improving a word embedding model to enhance the performance of downstream tasks, such as those of dialog systems. To improve traditional word embedding models, such as skip-gram, it is critical to refine the word features and expand the context model. In this paper, we approach the word model from the perspective of subword embedding and attempt to extend the context model by integrating various sentence models. Our proposed sentence model is a subword-based skip-thought model that integrates self-attention and relative position encoding techniques. We also propose a clustering-based dialog model for downstream task verification and evaluate its relationship with the sentence-model-based subword embedding technique. The proposed subword embedding method produces better results than previous methods in evaluating word and sentence similarity. In addition, the downstream task verification, a clustering-based dialog system, demonstrates an improvement of up to 4.86% over the results of FastText in previous research.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2006년도 춘계학술대회 학술발표 논문집 제16권 제1호
• /
• pp.192-195
• /
• 2006

In this paper, we discuss the user-customized interaction for intelligent home environments. The interactive system is based upon the integrated techniques using speech recognition and fingerprint verification. For essential modules, the speech recognition and synthesis were basically used for a virtual interaction between the user and the proposed system. In experiments, particularly, the real-time speech recognizer based on the HM-Net(Hidden Markov Network) was incorporated into the integrated system. Besides, the fingerprint verification was adopted to customize home environments for a specific user. In evaluation, the results showed that the proposed system was easy to use for intelligent home environments, even though the performance of the speech recognizer was not better than the simulation results owing to the noisy environments

• 성인간호학회지
• /
• 제26권5호
• /
• pp.543-552
• /
• 2014

Purpose: The purpose of this study was to develop integrated evaluation indicators of home care services in the hope that the increasing group of long-term home care patients could receive quality care services. Methods: The development involves a methodological study on a development phase and a verification phase. The main survey at a verification stage was conducted by the staffs at 146 institutions who agreed to participate on this study. Results: The evaluation index for the integrated home visit care consisted of five categories and 57 indicators including Managing Institution (12), Environment and Safety (3), Right and Responsibility (7), Process of Care (31) and Results of Care (4). The criterion-related validity was verified in regard to the participation in the 2010 evaluation of long-term home-care institutions by the National Health Insurance Corporation. Conclusion: The evaluation index of the integrated home visiting care developed in this study is considered suitable to utilize as evaluating indicators in managing and evaluating the way of how institutions integrate and provide home visit care services as well as home nursing care services.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2005년도 심포지엄 논문집 정보 및 제어부문
• /
• pp.185-187
• /
• 2005

The reactor protection system is the most important function for the safe operation of nuclear powerplants (NPPs) in that such system protects a nuclear reactor tore whose damage can cause an enormous disaster to the nuclear facility and the public. A digital reactor protection system (DRPS) is being developed in KAERI for use in the newly-constructed NPPs and also for replacing the existing analog-type reactor Protection systems. In this paper, an software verification and validation (V&V) activities for DRPS, which are independent of the DRPS development processes, are described according to the software development life cycle. The main activities of DRPS V&V processes are the software planning documentations, the verification of software requirements specification (SRS) and software design specification (SDS), the verification of codes, the tests of the integrated software and system. Moreover, the software safety analysis and the software configuration management are involved in the DRPS V&V processes. All of the V&V activities are described, in detail, in this paper.

• 시스템엔지니어링학술지
• /
• 제3권1호
• /
• pp.33-40
• /
• 2007

The requirement verification is the integral part of the weapon system R&D to reduce cost and schedule. And, a systems engineering is an interdisciplinary engineering management process that evolves and verifies an integrated, life-cycle balanced set of system solutions that satisfy customer needs. Therefore, this study analyzes the national defense need and acquisition management process, investigates the systems engineering verification activity. Through the requirement verification example in terms of technical evaluation this study presented the requirement verification approach in the weapon system R&D.

• 항공우주기술
• /
• 제11권1호
• /
• pp.49-56
• /
• 2012

위성의 기본적인 상태를 모니터링하며 자세 제어 및 위성 고유의 임무를 수행하는 위성비행소프트웨어는 운용 환경 및 그 특수성으로 인하여 매우 높은 수준의 신뢰성이 요구된다. 이를 위하여 개발 과정에서 다양한 활동이 이루어지게 된다. 실제 하드웨어 또는 하드웨어를 모사하는 시뮬레이터를 통해 위성비행소프트웨어를 동작시키고 지상 명령의 전송, Telemetry의 수신을 통한 검증의 경우, 매우 다양한 지원환경이 요구된다. 위성비행소프트웨어팀에서는 이러한 검증 활동을 보다 효과적으로 수행하고 이를 통해 소프트웨어의 신뢰성을 향상하고, 다양한 위성 개발에 공통으로 사용될 수 있는 위성 비행 소프트웨어 통합 검증 시스템을 구축하고 있다. 본 논문에서는 위성비행소프트웨어의 효과적인 검증을 위한 통합 검증 시스템의 설계 및 구축 방안에 대하여 소개한다.

• 한국군사과학기술학회지
• /
• 제16권2호
• /
• pp.146-153
• /
• 2013

Visual information and aural warning of independent aircraft survivability equipment increase the pilot workload and limit the effective countermeasures. For increase the aircraft survivability, Integrated design of survivability display and aural warning need to consider pilot intuitions. If pilot aware the threat by intuition, evade or escape from the threat using the countermeasures equipment, it will increase the survivability. This paper describe the design and verification of for Utility Helicopter survivability equipment.

• 대한임베디드공학회논문지
• /
• 제5권2호
• /
• pp.67-76
• /
• 2010

Although both functional verification and performance evaluation are necessary for the development of effective and reliable communication systems, they have been often performed independently; by functional modeling with formal language tools and by performance modeling with professional network performance evaluation tools, respectively. Separate and repeated modeling of one system, however, would often result in cost increase and inconsistency between the models. This paper proposes an integrated model design approach in order to overcome this problem that evaluates the performance of a communication protocol designed in SDL with SDL-OPNET model conversion. The proposed technique generates OPNET skeleton code from Tau-generated C code of the SDL model by analyzing the relations between SDL and OPNET models. IEEE 802.2 LLC protocol was used as an example of model conversion to show the applicability and effectiveness of the proposed technique.

• International Journal of Aeronautical and Space Sciences
• /
• 제18권3호
• /
• pp.574-578
• /
• 2017

In order to achieve iterative design in early R&D period, a Distributed and Real-time Integrated Simulation System for avionics based on a Model-Based Systems Engineering (MBSE) method is proposed. The proposed simulation system includes driver, simulation model, monitor, flight visual model and aircraft external model.The effect of this simulation system in iterative design and system verification is testified by several use cases. The result shows that the simulation system, which can play an important role in iterative design and system verification, can reduce project costs and shorten the entire R&D period.