• Title/Summary/Keyword: System verification and validation

Search Result 290, Processing Time 0.028 seconds

Link-level Performance Verification of the Multiple Antenna Systems - MIMO OFDM vs. Smart Antenna OFDM (OFDM 기반 다중 안테나 시스템의 링크레벨 성능검증 - MIMO OFDM vs. Smart Antenna OFDM)

  • Park Sung-Ho;Kim Kyoo-Hyun;Heo Joo;Chang Kyung-Hi
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.31 no.6A
    • /
    • pp.563-574
    • /
    • 2006
  • This paper implements SCM(Spatial Channel Model), a kind of ray-tracing method which has characteristics similar to realistic wave propagation environments, for link-level performance analysis of OFDM(Orthogonal Frequency Division Multiplexing) based multiple antenna systems. The SCM is proposed by 3GPP & 3GPP2 Spatial Channel AHG(Ad-hoc Group) for system-level performance validation. In this paper, we modify the system level parameters and channel coefficient of SCM to compare the link-level performances of OFDM based multiple antenna systems. Through computer simulations, we manifest the implemented SCM channel characteristics. We analyze a realistic link-level performance of OFDM based conventional MIMO(Multiple Input Multiple Output) system and smart antenna system in the implemented channel. We also include the link-level performance of OFDM based multiple antenna systems in I-METRA(Intelligent Multi Element Transmit and Receive Antenna) and independent channel environments with the same system parameters. We suggest appropriate multiple antenna system in the given environment by comparing the link-level performance in the spatial channels that have different channel correlation values.

ToyLotos/Ada : Object-Behavior Simulation System for Developing a Real-time Ada Software (ToyLotos/Ada : 실시간 Ada 소프트웨어 개발을 위한 객체행위 시뮬레이션 시스템)

  • Lee, Gwang-Yong;O, Yeong-Bae
    • The Transactions of the Korea Information Processing Society
    • /
    • v.6 no.7
    • /
    • pp.1789-1804
    • /
    • 1999
  • This paper presents a simulation-based system for verification and validation(V&V) of design implication of the Visual Real-time Object Model which is produced by existing object's behavior design method. This system can simulate the dynamic interactions using the executable Ada simulation machine, and can detect various logical and temporal problems in the visual real-time object model prior to the real implementation of the application systems. Also, the system can generate the Ada prototype code from the validated specification. This system is implemented by Visual C++ version 4.2. For simulation, this system is using the Ada language because Ada's real-time expression capabilities such as concurrent processes, rendezvous, temporal behavior expression, and etc, are competent compared to other languages. This work contributes to a tightly coupling of methodology-based visual models and formal-based simulation systems, and also contributes to a realization of automated specification V&V.

  • PDF

Tracer Experiment and Computational Fluid Dynamics Analysis for the Drainage Efficiency of a Reservoir (배수지의 배수효율분석을 위한 추적자실험 및 전산유체해석)

  • Cho, Jung-Yeon;Go, Sun-Ho;Kwac, Lee-Ku
    • Journal of the Korean Society of Manufacturing Process Engineers
    • /
    • v.16 no.2
    • /
    • pp.22-27
    • /
    • 2017
  • During the water treatment process for household water supply, a reservoir is the last place the water is stored before being supplied to users, and the duration of the water's stay is an important factor that affects its safety. This may cause the concentration of the residual chlorine disinfectant to increase and thus lower the water's quality. The concentration and discharge efficiency of residual chlorine must be verified and managed, because these are key factors that affect the reservoir's performance. Because the actual verification test for analyzing the efficiency of a reservoir and the disinfectant's dilution capacity is difficult, simulations are generally conducted using the computational fluid analysis method. However, the simulation results require validation with experiments. The error and drainage efficiency were analyzed in this study by comparing and analyzing the actual tracer test and simulation so that the actual test for a hexagonal drainage can be replaced by the computational fluid analysis method. Based on the results of the efficiency analysis, the hexagonal reservoir was found to be appropriate, and the simulation's reliability was verified with a tracer test.

An assessment of the Systems Engineering Capability Maturity of the Railway Safety Project applied the Systems Engineering (시스템엔지니어링을 적용한 철도안전프로젝트의 시스템엔지니어링 능력성숙도 평가)

  • Choi, Yo Chul;Lee, Jae Chon
    • Journal of the Korean Society of Systems Engineering
    • /
    • v.4 no.2
    • /
    • pp.55-61
    • /
    • 2008
  • In this paper, there is the case study which assesses the systems engineering capability maturity of the safety organization that performs the Railway Safety project using systems engineering method. To In ore effective and efficient a research and development to railway safety domain, a new research and development method can be progressively needed such as systems engineering. To assess quantitatively research of systems engineering efforts in the railway safety project, SECM(EIA/IS 731) Standard is utilized in the paper. It is by questionnaire that the capability maturity assessment is executed wit h the safety organization and staffs who performs the systems engineering activities; requirement analysis and management, interface control management. product verification and validation, and so on. As a result, the systems engineering capability level of the safety organization rises from 0 level at the initial project to 2 level after two years and all staffs give an affirmative answer about the importance and effectiveness of the systems engineering approach.

  • PDF

A SE Approach for Machine Learning Prediction of the Response of an NPP Undergoing CEA Ejection Accident

  • Ditsietsi Malale;Aya Diab
    • Journal of the Korean Society of Systems Engineering
    • /
    • v.19 no.2
    • /
    • pp.18-31
    • /
    • 2023
  • Exploring artificial intelligence and machine learning for nuclear safety has witnessed increased interest in recent years. To contribute to this area of research, a machine learning model capable of accurately predicting nuclear power plant response with minimal computational cost is proposed. To develop a robust machine learning model, the Best Estimate Plus Uncertainty (BEPU) approach was used to generate a database to train three models and select the best of the three. The BEPU analysis was performed by coupling Dakota platform with the best estimate thermal hydraulics code RELAP/SCDAPSIM/MOD 3.4. The Code Scaling Applicability and Uncertainty approach was adopted, along with Wilks' theorem to obtain a statistically representative sample that satisfies the USNRC 95/95 rule with 95% probability and 95% confidence level. The generated database was used to train three models based on Recurrent Neural Networks; specifically, Long Short-Term Memory, Gated Recurrent Unit, and a hybrid model with Long Short-Term Memory coupled to Convolutional Neural Network. In this paper, the System Engineering approach was utilized to identify requirements, stakeholders, and functional and physical architecture to develop this project and ensure success in verification and validation activities necessary to ensure the efficient development of ML meta-models capable of predicting of the nuclear power plant response.

The Development and Verification of Balance Insole for Improving the Muscle Imbalance of Left and Right Leg Using based Sound Feedback (청각 피드백이 적용된 좌우 불균형 개선을 위한 밸런스 인솔 개발 및 검증)

  • Kang, Seung-Rok;Yoon, Young-Hwan;Yu, Chang-Ho;Nah, Jae-Wook;Hong, Chul-Un;Kwon, Tae-Kyu
    • Journal of rehabilitation welfare engineering & assistive technology
    • /
    • v.11 no.2
    • /
    • pp.115-124
    • /
    • 2017
  • This study was to develop the balance insole system for detecting and improving the muscle imbalance of left and right side in lower limbs. We were to verify the validation of balance insole system by analyzing the strategy of muscular activities and foot pressure according to sound feedback. We developed the balance insole based FSR sensor modules for estimating the muscle imbalance using detecting foot pressure. The insole system was FPCB have 8-spot FSR sensor with sensitivity range of 64-level. The participants were twenty peoples who have muscle strength differences in left and right legs over 20%. We measured the muscular activity and foot pressure of left and right side of lower limbs in various gait environment for verifying the improvement effect of muscle imbalance according to sound feedback. They performed gait in slope at 0, 5, 10, 15% and velocity at 3, 4, 5km/h. The result showed that the level of muscle imbalance reduced within 30% for sound feedback of balance insole system contrast to high level of muscle imbalance at 169.9~246.8% during normal gait for increasing slope and velocity. This study found the validation of balance insole system with sound feedback stimulus. Also, we thought that it is necessary to research on the sensitivity of foot area, detection of muscle imbalance and processing algorithm of correction threshold spot.

Benchmarking of the CUPID code to the ASSERT code in a CANDU channel

  • Eun Hyun Ryu;Joo Hwan Park;Yun Je Cho;Dong Hun Lee;Jong Yeob Jung
    • Nuclear Engineering and Technology
    • /
    • v.54 no.11
    • /
    • pp.4338-4347
    • /
    • 2022
  • The CUPID code was developed and is continuously updated in KAERI. Verification and validation (V&V) is mainly done for light water reactors (LWRs). This paper describes a benchmarking of the detailed mesh level compared with sub-channel level for application to pressurized heavy water reactors (PHWRs), even though component scale comparison for the PHWR moderator system was done once before. We completed a sub-channel level comparison between the CUPID code and the ASSERT code and a CUPID code analysis. Because the ASSERT code has already been validated with numerous experiments, benchmarking with the ASSERT code will offer us more trust on the CUPID code. The target channel has high power and thus high pressure deformation. The high power channel tends to have a high possibility of critical heat flux (CHF), because a high void fraction and quality in channel exit region appear. In this research, after determining the reference grid and T/H model, we compared the sub-channel level results of the CUPID code with those of the ASSERT code.

The Analysis of Device Models and the Method of Increasing Compatibility Between Device Models for M&S V&V of NetSPIN (NetSPIN M&S 모델 V&V를 위한 장비 모델 및 모델간 호환성 증진방안 분석)

  • Park, In-Hye;Kang, Seok-Joong;Lee, Hyung-Keun;Shim, Sang-Heun
    • Journal of Information Technology Services
    • /
    • v.11 no.sup
    • /
    • pp.51-60
    • /
    • 2012
  • In this paper, we provide the analysis of device model and method between device models for compatible M&S V&V of the NetSPIN. First of all, we analysis features, structure, and classification of the NetSPIN. The second, as a part of reliable V&V process, we analysis network system modeling process, correlation between device modeling process for M&S of the NetSPIN. The third, we suggest making a kind of pool of reference model and module of devices for the increase factor of reuse between device model. We also, at the point view of M&S V&V, conclude that there is the validity of the fidelity in device modeling process. Through the analysis of the NetSPIN device model and suggestion of the method for higher compatibility between device modes, the development process of device model be clearly understood. Also we present the effective method of the development for reliable device mode as the point of V&V.

On the Project Management utilizing the Systems Engineering Management Plan in the Railroad Safety Technology R&D Program (철도종합안전기술개발사업에서 SEMP의 활용을 통한 프로젝트 관리방안)

  • Kim, Jae-Chul;Lee, Jae-Chon;Cho, Yun-Ok;Kim, Sang-Am;Han, Soon-Woo
    • Proceedings of the KSR Conference
    • /
    • 2010.06a
    • /
    • pp.1798-1805
    • /
    • 2010
  • The Railroad Safety Technology R&D Program has been supported by the Ministry of Land, Transport and Maritime Affairs. The Program consists of dozen or more projects and thus is quite complex, which requires effective project management. This paper is discussing how to effectively manage the railroad safety technology R&D program based on systems engineering management plan (SEMP). The key issues dealt in this paper include the SE management, requirements management, verification and validation, integrated data base management, and traceability management. To achieve the goal, we first defined an appropriate SE process to be adopted in the program and the result was documented in the systems engineering management plan. According to the process defined, we set up the environmental frame in database. Using the database and SEMP, each project of the program was verified with respect to the corresponding requirements utilizing the traceability. All these efforts were carried out using a computer-aided SE tool, which enables efficient management of complex database.

  • PDF

Reliability and Validity of COVID-19 Stress Scale in Korean Nursing Students (한국어판 간호대학생의 COVID-19 스트레스 측정도구 신뢰도 및 타당도 검증)

  • Ham, Mi-Young;Lee, So Jung;Lim, So-Hee
    • Journal of the Korean Society of School Health
    • /
    • v.35 no.1
    • /
    • pp.1-10
    • /
    • 2022
  • Purpose: This study investigated the validity and reliability of the Korean version of COVID-19 Stress Scale (K-CSS) in nursing students in Korea. Methods: The subjects of the study were 319 nursing students from three universities located in the metropolitan area. Data were collected for two months using self-reporting questionnaires. The study verified the scale's content validity, construct validity, concurrent validity and reliability, using SPSS 20.0 and AMOS 20.0. Results: K-CSS was comprised of seven factors, with a total of 25 questions; six about socio-economic consequences, four about Xenophobia, five about compulsive checking, three about traumatic stress, three about contamination, two about danger of the virus, and two about danger regarding the healthcare system. K-CSS was validated with confirmatory factor analysis (x2/df=2.32, CFI=.94, GFI=.87, NFI=.90, RMR=.07, RMSEA=.06, TLI=.93). Furthermore, the reliability verification showed a Cronbach's α of 0.87, confirming that the Korean version of the tool was very reliable. Conclusion: This study shows that K-CSS is a valid and reliable instrument to assess nursing students in Korea.