• 한국컴퓨터정보학회논문지
• /
• 제22권2호
• /
• pp.29-35
• /
• 2017

In this paper, we present a 5W1H programming model for IT non-experienced people who are not familiar with computer programming and those who need programming education. Based on this model, we can design a development tool that can be easily programmed by beginners. This development tool is a programming method applying the 5W1H concept and constructs a sentence to satisfy the control condition of 'Who, When, Where, What, and How', which is the sentence element of 5W1H. Therefore, the user can easily develop the target system as if constructing the sentence without learning the programming language of the target system. In this paper, to verify the effectiveness of the 5W1H programming model proposed in this paper, we applied the concept of 5W1H programming to Arduino and developed the development tool and performed the first verification and applied the second verification to the speech recognition smart home development platform.

• Advances in aircraft and spacecraft science
• /
• 제7권3호
• /
• pp.251-269
• /
• 2020

Euclid is an optical/near-infrared survey mission of the European Space Agency (ESA) to investigate the nature of dark energy, dark matter and gravity by observing the geometry of the Universe and the formation of structures over cosmological timescales. The Euclid spacecraft mechanical architecture comprises the Payload Module (PLM) and the Service Module (SVM) connected by an interface structure designed to maximize thermal and mechanical decoupling. This paper shortly illustrates the mechanical system of the spacecraft and the mechanical verification philosophy which is based on the Structural and Thermal Model (STM), built at flight standard for structure and thermal qualification and the Proto Flight Model (PFM), used to complete the qualification programme. It will be submitted to a proto-flight test approach and it will be suitable for launch and flight operations. Within the overall verification approach crucial mechanical tests have been successfully performed (2018) on the SVM platform and on the sunshield (SSH) subsystem: the SVM platform static test, the SSH structure modal survey test and the SSH sine vibration qualification test. The paper reports the objectives and the main results of these tests.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제31권6호
• /
• pp.773-783
• /
• 2004

본 연구는 스테이트차트의 실시간 검증을 위한 알고리즘을 제안한다. 스테이트차트는 실시간 반응형 시스템의 명세에 많이 사용되고 있으며 동기적과 비동기적인 두개의 시간모델을 지원한다. 그러나 기존의 스테이트차트에 대한 실시간 검증 방법은 비동기적 시간 모델과 호환되지 않거나, 변수를 모델에 추가함으로써 모텔의 상태 공간을 증가시키는 단점이 있었다. 우리는 기존의 모델 체킹 알고리즘을 확장하여 이러한 문제점을 해결하였다. 확장된 알고리즘은 시간을 증가시키는 전이만을 고려하기 때문에 스테이트차트의 두 가지 시간 모델에 모두 사용할 수 있으며, 시간의 계산이 알고리즘 내부적으로 이루어지기 때문에 모델에 변수를 추가할 필요가 없어 상태공간을 증가시키지 않는다. 본 연구는 이러한 알고리즘을 토대로 기존의 모델 체커인 NuSMV를 확장하였으며, 사례 연구를 통하여 그 유용성을 확인하였다.

• 대한인간공학회지
• /
• 제18권3호
• /
• pp.153-169
• /
• 1999

The design of nuclear control room is advancing toward totally computer based human system interfaces (HSI). Computer based interfaces offer the opportunity to provide improved support of operator performance, but if not properly deployed, can introduce new challenges. This paper reviews the Westinghouse AP-600 Human Factors Verification and Validation Plan selected for HSI evaluation model of Korea next generation nuclear control rooms. The AP-600 HSI evaluation model addressed 15 evaluation issues considering major activity class of operator and task complexity factors. This paper also describes the test procedures experimenters should follow to evaluate the addressed issues.

• 한국음향학회지
• /
• 제34권2호
• /
• pp.171-176
• /
• 2015

본 논문에서는 Hidden Markov Model(HMM) - Universal Background Model(UBM)의 주 상태 정보 기반의 i-vector 추출 기술을 제안한다. Ergodic HMM이 UBM을 추정하는데 쓰였으며, 이를 통해 동일 화자 음성에도 다양하게 존재하는 특성을 HMM states로 분류할 수 있다. 제안한 방법을 이용하면 HMM의 state 개수에 따라 i-vector 들이 추출되는데, 주 상태 정보 방법을 통해 이들 중 하나를 선택한다. 제안한 방법을 검증하기 위해 National Institute of Standards and Technology(NIST) Speaker Recognition Evaluation(SRE) database를 이용하여 실험을 하였으며, Equal Error Rate(EER) 성능 수치에서 12 %의 성능 향상을 확인할 수 있었다.

• 한국자동차공학회논문집
• /
• 제3권1호
• /
• pp.136-142
• /
• 1995

An analysis model is proposed for the performance prediction of typical ball and tube type mechanical crash sensors based upon mass-spring-viscous gas damping idealization. Also a construction of mechanical crash pulse generator is suggested as an experimental tool for calibration and verification of model predictions. A sensor tuning procedure for a particular set of crash pulses is suggested based upon the analysis model and the experimental tools.

• Journal of information and communication convergence engineering
• /
• 제8권3호
• /
• pp.251-257
• /
• 2010

The realization of u-City is coming near in some local governments by applying various city services, namely, u-City services to the city construction field to improve competitiveness of the city. But it is a reality that some local governments are experiencing many trial and errors in application of the u-City service in addition to the problem posing that the u-City service is not considering characteristics of development or application environment of an individual city. The present research proposes a service model for on-site application of the u-City service to solve this problem. The proposed model suggests a method for specifically conceptualizing and objectifying the on-site application that the existing concept-oriented model or an architecture-oriented model, etc. didn't provide. The verification system on effectiveness or effects of the u-City service model to remove ambiguity on the u-City service especially. The verification system of the u-City service model grasps the technology, function, procedure and target, etc. that the u-City service contains, evaluates whether the model satisfies conditions that the model should have, and secures objectivity and predictability of the u-City service model through confirmation on propriety, implementation and effectiveness, etc.

• 한국BIM학회 논문집
• /
• 제3권2호
• /
• pp.1-9
• /
• 2013

Currently, various studies and applications related BIM based quantity take-off have been attempted, because of the accuracy of cost estimating and reliability by using the BIM model information in automatical calculation. Finishing works that have a large number of various types and materials need the higher accuracy and reliability on the BIM-based quantity take-off. Therefore, this study compared and analyzed 2D and 3D based quantity through Test-bed and determine the cause of the quantity difference. This verified the accuracy and efficiency in the BIM-based quantity take-off for finishing works. Also this study has been proposed opinions for calculating the exact BIM-based quantity take-off.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제16권1호
• /
• pp.287-304
• /
• 2022

With the development of quantum computers, ring signature schemes based on large integer prime factorization, discrete logarithm problem, and bilinear pairing are under threat. For this reason, we design a ring signature scheme based on lattice with a fixed verification key. Compared with the previous ring signature scheme based on lattice, our design has a fixed verification key and does not disclose the signer's identity. Meanwhile, we propose an anonymous electronic voting scheme by using our ring signature scheme based on lattice and (t, n) threshold scheme, which makes up for the lack of current anonymous electronic voting that cannot resist attacks of the quantum computer. Finally, under standard model (SM), we prove that our ring signature scheme based on lattice is anonymous against the full-key exposure, and existentially non-forgeable against insider corruption. Furthermore, we also briefly analyze the security of our anonymous electronic voting scheme.

• 한국콘크리트학회:학술대회논문집
• /
• 한국콘크리트학회 1997년도 봄 학술발표회 논문집
• /
• pp.383-391
• /
• 1997

The prediction of effective properties of heterogeneous material like concrete is of primary importance in design or analysis. This paper os about micromechanice-based evaluation of elastic moduli of concretes considering composite material behavior. In this study, micromechanixe-based schemes for the effective elastic modui of the lightweight foamed concrete and the normal concrete are proposed based on averaging techniques using a single-layered inclusion model and a multi-phase and multi-layered inclusion model. respectively, For the verification's sake, elastic moduli evaluated in this study are compared with experimental data and results by existing formula.