• Title/Summary/Keyword: Verification Software

Search Result 952, Processing Time 0.029 seconds

Fabrication and Verification of a Water Quality Sensor Equipped with Active RFID Function for Real Time Location (위치추적용 능동형 RFID 기능을 장착한 수질 측정 센서의 제작 및 검증)

  • Jung, Young-Sub;Chang, Hun;Kim, Jin-Young;Kang, Joon-Hee
    • Journal of Korean Society for Geospatial Information Science
    • /
    • v.17 no.1
    • /
    • pp.113-120
    • /
    • 2009
  • Through the automatic sensing of the environment, USN technology can give the best services. In this work, we have developed an active RFID system and examined its performance. By implementing it into water quality sensors, we constructed a system that can detect diverse indoor/outdoor environment and provide information about the pollution level obtained from the temperature and PH sensors. Our RF system had an internal Print-on-PCB antenna for the miniaturization of the tag. We used a RF transceiver CC2510 chipset of TI company to realize the active RFID function. By using RSSI constants obtained, we performed the evaluation of real time location accuracy with a software written in Labview. Among 10 arbitrary locations, we obtained average measurement errors of 1.69 m in x axis and 1.66 m in y axis. This technology can be applied to logistics, environmental monitoring, prevention of missing children and various applications.

  • PDF

A Study on Certification of Electronic Engine Controls (항공기 엔진제어시스템 인증기술 개발)

  • Lee, Kang-Yi;Han, Sang-Ho;Jin, Young-Kwon;Lee, Sang-Joon;Kim, Kui-Soon
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.33 no.1
    • /
    • pp.104-109
    • /
    • 2005
  • The aircraft gas turbine engines with the Electronic Engine Controls(EEC) had been developed to save fuel and enhance their performance in the early days, and had employed the health monitoring function in the Full Authority Digital Engine Controls(FADEC) to improve their reliability. This has led to an increasing demand for the certification technology of these controls. The design and certification issues of power supply, aircraft supplied data, failure modes, software verification/validation, and lightning requirements need to be addressed. This paper presents the design considerations and the certification techniques applied to the electronic engine controls. And it is believed that this paper will be basis to establish a requirement in Korean Airworthiness Standard.

A Study on the Development of Usability Improvement Index in User Interface Design (사용자 인터페이스 디자인에 있어서 사용성 개선지수 개발에 관한 연구)

  • Park, Nam-Choon
    • Science of Emotion and Sensibility
    • /
    • v.14 no.1
    • /
    • pp.83-92
    • /
    • 2011
  • Because of the development of digital technologies and information-oriented products, the importance of user interface design and usability are increasing in recent year. So we need a systematic and rational way to measure and manage how effective the improvement of user interface is. The purpose of this study is to develop measurable ‘Usability Improvement Index' which signify how much usability has improved in user interface design. First, I made the framework of measuring and evaluating usability through analysis of existing usability metrics and previous studies. Then, I suggested the process of calculating 'Usability Improvement Index' based on categorizing characteristics of measurable usability and definition of usability metrics. The process is as in the following : measuring the present level of usability, analysis of problems, making alternative user interface design, measuring the improved level of usability, calculating Usability Improvement Index. For verification, the case study on application of Usability Improvement Index to usability improvement of application software of digital camcorder presented. This study is expected to assist 'goal oriented user interface design' and to manage usability systematically.

  • PDF

OCL Based Specification and Verification of Structural Constraints for UML Analysis Models (UML 분석 모델의 구조적 제약사항에 대한 OCL 기반의 명세 및 검증)

  • Chae, Heung-Seok;Yeom, Keun-Hyuk
    • Journal of KIISE:Software and Applications
    • /
    • v.33 no.2
    • /
    • pp.186-200
    • /
    • 2006
  • Analysis model focuses only on functional requirements and postpones nonfunctional requirements and implementation specific issues until subsequent design activities are undertaken. Based on the analysis models, the design activities are performed by refining and clarifying the analysis models. Thus, the quality of analysis models has a vast impact on the design models. Therefore, much effort should be taken to build correct analysis model. In this paper, we propose a set of structural constraints that analysis models of typical object-oriented development methods should satisfy. Three kinds of constraints are proposed: class related constraints, relation related constraints, and usage related constraints. For each constraint, formal definition and description with OCL are provided. In addition, through a case study with two medium-sired industrial systems, we demonstrated that the proposed approach can help to identify and correct serious deficiencies in object-oriented analysis models.

Identification of quantitative trait loci for the fatty acid composition in Korean native chicken

  • Jin, Shil;Park, Hee Bok;Seo, Dongwon;Choi, Nu Ri;Manjula, Prabuddha;Cahyadi, Muhammad;Jung, Samooel;Jo, Cheorun;Lee, Jun Heon
    • Asian-Australasian Journal of Animal Sciences
    • /
    • v.31 no.8
    • /
    • pp.1134-1140
    • /
    • 2018
  • Objective: Fatty acid composition is one of the most important meat quality traits because it can contribute to functional, sensorial, and nutritional factors. In this study, quantitative trait locus (QTL) analyses for fatty acid composition traits were investigated in thigh and breast meat of Korean native chicken (KNC). Methods: In total, 18 fatty acid composition traits were investigated from each meat sample using 83 parents, and 595 $F_1$ chicks of 20 week old. Genotype assessment was performed using 171 informative DNA markers on 26 autosomes. The KNC linkage map was constructed by CRI-MAP software, which calculated genetic distances, with map orders between markers. The half-sib and full-sib QTL analyses were performed using GridQTL and SOLAR programs, respectively. Results: In total, 30 QTLs (12 in the thigh and 18 in the breast meat) were detected by the half-sib analysis and 7 QTLs (3 in the thigh and 4 in the breast meat) were identified by the full-sib analysis. Conclusion: With further verification of the QTL regions using additional markers and positional candidate gene studies, these results can provide valuable information for determining causative mutations affecting the fatty acid composition of KNC meat. Moreover, these findings may aid in the selection of birds with favorable fatty acid composition traits.

Development of a Prototype S-100 Data Model (프로토타입 해사데이터 모델 개발)

  • Kang, Namseon;Son, Gumjun;Jeong, Yujun;Kim, Hyejin
    • Journal of the Korean Society of Marine Environment & Safety
    • /
    • v.24 no.5
    • /
    • pp.527-536
    • /
    • 2018
  • In this paper, we developed a prototype model accident management SMART-Navigation project. In order to develop a prototype model, we analyzed the status of maritime data exchange standard and procedure. We developed accident management prototype application schema, feature catalog and portrayal catalog in accordance with S-100 standard data model development procedure by collecting requirements related services and referring to related standards. In order to verify accident management prototype model, we test data set based on Gwang-yang Port. The prototype model and test data verified verification software, and it was confirmed that the designated symbol was displayed at the correct position through the S-100 simple viewer.

Design of an Efficient VLSI Architecture and Verification using FPGA-implementation for HMM(Hidden Markov Model)-based Robust and Real-time Lip Reading (HMM(Hidden Markov Model) 기반의 견고한 실시간 립리딩을 위한 효율적인 VLSI 구조 설계 및 FPGA 구현을 이용한 검증)

  • Lee Chi-Geun;Kim Myung-Hun;Lee Sang-Seol;Jung Sung-Tae
    • Journal of the Korea Society of Computer and Information
    • /
    • v.11 no.2 s.40
    • /
    • pp.159-167
    • /
    • 2006
  • Lipreading has been suggested as one of the methods to improve the performance of speech recognition in noisy environment. However, existing methods are developed and implemented only in software. This paper suggests a hardware design for real-time lipreading. For real-time processing and feasible implementation, we decompose the lipreading system into three parts; image acquisition module, feature vector extraction module, and recognition module. Image acquisition module capture input image by using CMOS image sensor. The feature vector extraction module extracts feature vector from the input image by using parallel block matching algorithm. The parallel block matching algorithm is coded and simulated for FPGA circuit. Recognition module uses HMM based recognition algorithm. The recognition algorithm is coded and simulated by using DSP chip. The simulation results show that a real-time lipreading system can be implemented in hardware.

  • PDF

Numerical Investigation for Cumulative Damage Assessment of a One-way RC Slab subjected to Consecutive Explosions (전산수치해석을 이용한 일방향 철근콘크리트 슬래브의 연속폭발 누적피해 평가기법 연구)

  • Ji, Hun;Sung, Seung-Hun;Chong, Jin Wung;Choi, Yoon Soo
    • Journal of the Korea Society for Simulation
    • /
    • v.29 no.2
    • /
    • pp.119-127
    • /
    • 2020
  • This study numerically investigated a structural behavior subjected to consecutive explosions. To this end, a small scale one-way reinforced slab (RC) with fixed-fixed boundary condition was considered as the target structure, and a commercial software, LS-DYNA, was utilized for finite element (FE) analysis. Prior to performing FE analysis, preliminary tests were carried out to verification of a computational model for the one-way RC slab. In the numerical simulation, identical blast loads were consecutively applied to the structure, and cumulative damage assessment were carried out based on its maximum dynamic displacements. As a result of the numerical simulation, it was found that maximum displacements considering permanent deformation due to a prior explosion were almost linearly increased in every explosion until the hazardous damage threshold.

The effect of SW education applying Design Thinking on creativity of elementary school pre-service teachers (디자인 사고를 적용한 SW교육이 초등학교 예비교사의 창의성에 미치는 효과)

  • Seo, Youngho;Kim, Jonghoon
    • Journal of The Korean Association of Information Education
    • /
    • v.21 no.3
    • /
    • pp.351-360
    • /
    • 2017
  • The purpose of this study is to analyze the effect of SW education applying design thinking on the creativity of elementary school pre-service teachers. We conducted research on 22 elementary school pre-service teachers who applied for a lecture on elementary computer education at a university in Jeju city. The pre-service teachers who did not have basic understanding of SW education and basic knowledge about scratch program which is an EPL tool for research. Therefore, we had time to learn the basic education of SW education and the basic functions of the scratch program over 18 periods before the pre-test of creativity. After conducting pre-test of creativity and conducting SW education applying design thinking over 21 hours, we conducted post-test of creativity. As a creativity test tool, TTCT pattern test forms A and B of Torrance were used. As a result of the verification, it was found that SW education applying design thinking was effective in improving creativity of elementary school pre-service teachers.

The effects of SW education applying CSCL-based design thinking on Creativity and Problem Solving Skills of Elementary School Students (CSCL 기반 디자인 사고를 적용한 SW교육이 초등학생의 창의성과 문제해결능력에 미치는 효과)

  • Seo, Youngho;Kim, Jonghoon
    • Journal of The Korean Association of Information Education
    • /
    • v.22 no.4
    • /
    • pp.427-438
    • /
    • 2018
  • The purpose of this study is to analyze the effect of SW education applying CSCL based design thinking on elementary school students' creativity and problem solving skills. The study was conducted on 28 elementary school students in grades 4,5,6 participated in J university-sponsored educational donation program during the winter break. A SW education program based on design thinking was developed and applied to experimental group. First, we conducted a pre-test to check creativity and problem solving skills. After that, SW education program applying CSCL-based design thinking was conducted for 42 hours. Finally, post-test was conducted to examine creativity and problem solving skills. As a creativity test tool, the TTCT pattern test forms A and B of Torrance were used and analyzed. As the problem solving skills test tool, the problem solving skills test for the elementary school students developed as a life-ability measurement tool were used and analyzed. As a result of the verification, it was found that SW education applying design thinking was effective in improving elementary school students' creativity and problem solving skills.