• Journal of Korea Society of Industrial Information Systems
• /
• v.20 no.3
• /
• pp.51-60
• /
• 2015

Traceability targets provision of information to stakeholders required for analyzing impacts among artifacts due to changes. Unlike single product development, in software product line developing the family of products the complexity of maintaining and managing traceability between two life cycles, domain and application engineering is so high. Accordingly, variability traceability management approach centred on orthogonal variability model that manages variability separated from development artifacts has been conceptually proposed, but its efficiency has not verified yet. This paper verifies whether orthogonal variability model based traceability can provide required traceability through an example. As the results, the OVM-based variability tracing method supports well to narrow down artifacts affected by the changes. However, the method does not support tracing the exact artifacts or exact part of an artifact affected by the change.

• Journal of Advanced Navigation Technology
• /
• v.18 no.2
• /
• pp.191-199
• /
• 2014

Recently, researches to facilitate utilization by small and medium business (SMB) of cloud computing and big data paradigm, which is the booming adoption of IT area, has been on the increase. As one of these efforts, in this paper, we design and implement the prototype to tentatively build up Hadoop cluster under private cloud infrastructure environments. Prototype implementation are made on each hardware type such as single board, PC, and server and performance is measured. Also, we present the integrated verification results for the data analysis performance of the analysis software system running on top of realized prototypes by employing ASA (American Standard Association) Dataset. For this, we implement the analysis software system using several open sources such as R, Python, D3, and java and perform a test.

• The KIPS Transactions:PartC
• /
• v.18C no.1
• /
• pp.23-30
• /
• 2011

Recently internet protocol television (IPTV) service is becoming a typical emerging service enabled on broadband networks. Through the Internet which cannot support quality of service (QoS) beyond best-effort (BE) policy, how to manage and maintain its service quality is an important and essential issue for successful deployment and settlement of IPTV service. In particular, the current measurement scheme that mostly depends on specific equipments should be replaced with one that supports realtime and constant measurement achieved on a user's own will. Therefore, this paper proposes a scheme so-called 'user centric realtime measurement' of IPTV service. The developed software, which is installed in a set-top box (STB) at a user's premise, measures and reports the quality of IPTV service in realtime. In order to verify the performance and accuracy of the developed software, a number of tests are performed comparing to the measurement values from two major measurement equipments. The result of the tests shows that the measurement by the implemented software is significantly reliable.

• Aerospace Engineering and Technology
• /
• v.11 no.2
• /
• pp.49-56
• /
• 2012

LEO Satellite performs the operations and missions by FSW(Flight Software) after separation from a launch vehicle. Many of the operations by FSW are automatically conducted by the algorithms of FSW. In the case of the IAC(Initial Activation and Checkout) operations, a mission scheduling, an orbit transition, etc, however, a decision and a control of the satellite operators or manufacturers are required in order to operate the satellite safely. For this, the wireless communication channel between a satellite and a ground station should be prepared to receive telemetries and to transmit tele-commands for controlling FSW properly. Therefore, the verification of the interface between KOMPSAT-3 and a ground station is essential. This verification test is named the satellite end-to-end test. In this paper, we show the design process of the satellite end-to-end test and test results.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2013.05a
• /
• pp.975-977
• /
• 2013

Arduino is for design based on open source prototyping platform, artist, designer, hobby activists, etc, i has been designed for all those who are interested in the environment construct. Arduino adventage you can easily create applications hardware, without deep knowledge about the hardware. Configuration of arduino using AVR microcontroller ATmage 168, software to action arduino using arduino program, MATLAB, Processing. Arduino is open source base, you can hardware production directly and using shield additionally, the arduino can be combined. Processing iis open source. You can 2D, 3D, PDF output, using P3D and OpenGL graphics. Also you can check by running a stand-alone application. Through a combination of Arduino, library support, such as sound, video, and computer vision can be expanded, this program is the Android phone and iPhone programming. In this paper, sortware was used for Processing, hardware was used for arduino MegaADK board, After making easy 2axis game, using the software and hardware verification.

• Journal of The Korean Association of Information Education
• /
• v.25 no.4
• /
• pp.641-651
• /
• 2021

The purpose of this study is to develop and validate an unplugged instructional model for pre-service teachers' SW competences in higher education. The unplugged instructional model was developed through the following procedures; 1) developing the 1st model based on the results of literature review, 2) getting test for use by one practicing instructor, 3) collecting the opinions of learners who participated in the unplugged instruction, and 4) getting model validation by 4 experts. The developed unplugged instructional model consists of 6 phases: 'stimulating of learners' motivation', 'introducing learning activities', 'constructing an activities', experiencing unplugged activities', 'extending and generating outcome of unplugged learning', and 'reflecting' in addition, each phase includes learning activities. The validation results confirm that the unplugged instructional model was both reliable.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.49 no.6
• /
• pp.481-488
• /
• 2021

The satellite telecommand processing system is the only way to provide telecommands for status monitoring, control, and mission execution. Domestic satellites can be divided into science, technology, and multi-purpose satellites, and geostationary satellites. These Satellites uses CCSDS standard protocol to communicate with ground stations. However, existing domestic satellites use only software to decode telecommands which increases cost of software development and verification of the developed software. Performance of software only approach is relatively low compared to hardware. In this paper, we present ASIC processing system specifically designed to decode telecommands. The system consists of a telecommand RAM, a protocol RAM/ROM, an ASIC, an interface unit of FPGA, and a relay block. The system handles general commands and pulse commands that are used in satellites. We established a ground station equipment and test environment to verify the system functionality, The result shows that our system reduces the development cost by 1/5 and improves the performance by 10⁵ times compared to the previous systems that decode telecommands only by software.

• Annual Conference on Human and Language Technology
• /
• 2022.10a
• /
• pp.360-365
• /
• 2022

문장 표현(sentence representation)은 자연어처리 분야 내의 다양한 문제 해결 및 응용 개발에 있어 유용하게 활용될 수 있는 주요한 도구 중 하나이다. 하지만 최근 널리 도입되고 있는 사전 학습 언어 모델(pre-trained language model)로부터 도출한 문장 표현은 이방성(anisotropy)이 뚜렷한 등 그 고유의 특성으로 인해 문장 유사도(Semantic Textual Similarity; STS) 측정과 같은 태스크에서 기대 이하의 성능을 보이는 것으로 알려져 있다. 이러한 문제를 해결하기 위해 대조 학습(contrastive learning)을 사전 학습 언어 모델에 적용하는 연구가 문헌에서 활발히 진행되어 왔으며, 그중에서도 레이블이 없는 데이터를 활용하는 비지도 대조 학습 방법이 주목을 받고 있다. 하지만 대다수의 기존 연구들은 주로 영어 문장 표현 개선에 집중하였으며, 이에 대응되는 한국어 문장 표현에 관한 연구는 상대적으로 부족한 실정이다. 이에 본 논문에서는 대표적인 비지도 대조 학습 방법(ConSERT, SimCSE)을 다양한 한국어 사전 학습 언어 모델(KoBERT, KR-BERT, KLUE-BERT)에 적용하여 문장 유사도 태스크(KorSTS, KLUE-STS)에 대해 평가하였다. 그 결과, 한국어의 경우에도 일반적으로 영어의 경우와 유사한 경향성을 보이는 것을 확인하였으며, 이에 더하여 다음과 같은 새로운 사실을 관측하였다. 첫째, 사용한 비지도 대조 학습 방법 모두에서 KLUE-BERT가 KoBERT, KR-BERT보다 더 안정적이고 나은 성능을 보였다. 둘째, ConSERT에서 소개하는 여러 데이터 증강 방법 중 token shuffling 방법이 전반적으로 높은 성능을 보였다. 셋째, 두 가지 비지도 대조 학습 방법 모두 검증 데이터로 활용한 KLUE-STS 학습 데이터에 대해 성능이 과적합되는 현상을 발견하였다. 결론적으로, 본 연구에서는 한국어 문장 표현 또한 영어의 경우와 마찬가지로 비지도 대조 학습의 적용을 통해 그 성능을 개선할 수 있음을 검증하였으며, 이와 같은 결과가 향후 한국어 문장 표현 연구 발전에 초석이 되기를 기대한다.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.18 no.6
• /
• pp.1125-1132
• /
• 2023

The importance of networks is gradually expanding in the battlefield environment. As time goes by, the types of tactical data links used in the Korean JTDLS are increasing, and the military's weapon systems equipped with tactical data link systems are increasing. Thorough quality verification is required to provide stable software to the wider battlefield. This study examines how to prepare an environment in which various simulation tests to verify the stability of the Korean JTDLS project can be conducted as diverse as possible using minimal physical space and Hardware resources. Through this, it is possible to improve the completeness of the project and secure the stability of the program, and it is intended to contribute to securing higher stability and reliability by securing maximum test capabilities in a limited test environment even in Linux based system project of a similar environment.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.19 no.2
• /
• pp.462-471
• /
• 2018

Even though software (SW) education has not been considered part of the current national kindergarten curriculum, in practice there is growing interest in adopting it. Teachers would be expected to play a key role in the successful introduction and implementation of new educational changes, such as SW education. In preparation for its adoption in ECE, it would be useful to determine ECE teachers' perception and attitudes toward early childhood software education. For this study, 219 ECE teachers' level of concern toward SW education was surveyed using the Stages of Concern Questionnaire. It was found that the teachers' level of concern was the highest at stage 0-Unconcerned and that they had high levels of stage management, personal and informational concern. Thus, a non-user pattern was mostly indicated. However, compared to the typical non-user pattern, the pattern aspect close to critical non-user ever appeared to some extent. In addition, a significant difference in the level of concern was shown at all stages depending on the awareness of the necessity for SW education. The teachers with SW training experience showed a higher intensity only at stage 0. There was a statistically significant difference in stages 0 and 6 depending on the future implementation decision. These results will be utilized as a resource in building an ECE teachers' support system according to their level of concern about SW education.