• Title/Summary/Keyword: Theoretical validation

Search Result 236, Processing Time 0.022 seconds

Theoretical Validation of Inheritance Metric in QMOOD against Weyuker's Properties

  • Alharthi, Mariam;Aljedaibi, Wajdi
    • International Journal of Computer Science & Network Security
    • /
    • v.21 no.7
    • /
    • pp.284-296
    • /
    • 2021
  • Quality Models are important element of the software industry to develop and implement the best quality product in the market. This type of model provides aid in describing quality measures, which directly enhance the user satisfaction and software quality. In software development, the inheritance technique is an important mechanism used in object-oriented programming that allows the developers to define new classes having all the properties of super class. This technique supports the hierarchy design for classes and makes an "is-a" association among the super and subclasses. This paper describes a standard procedure for validating the inheritance metric in Quality Model for Object-Oriented Design (QMOOD) by using a set of nine properties established by Weyuker. These properties commonly using for investigating the effectiveness of the metric. The integration of two measuring methods (i.e. QMOOD and Weyuker) will provide new way for evaluating the software quality based on the inheritance context. The output of this research shows the extent of satisfaction of the inheritance metric in QMOOD against Weyuker nine properties. Further results proved that Weyker's property number nine could not fulfilled by any inheritance metrics. This research introduces a way for measuring software that developed using object-oriented approach. The theoretical validation of the inheritance metric presented in this paper is a small step taken towards producing quality software and in providing assistance to the software industry.

Development of On-Line Diagnostic Expert System Algorithmic Sensor Validation (진단 전문가시스템의 개발 : 연산적 센서검증)

  • 김영진
    • Transactions of the Korean Society of Mechanical Engineers
    • /
    • v.18 no.2
    • /
    • pp.323-338
    • /
    • 1994
  • This paper outlines a framework for performing intelligent sensor validation for a diagnostic expert system while reasoning under uncertainty. The emphasis is on the algorithmic preprocess technique. A companion paper focusses on heuristic post-processing. Sensor validation plays a vital role in the ability of the overall system to correctly detemine the state of a plant monitored by imperfect sensors. Especially, several theoretical developments were made in understanding uncertain sensory data in statistical aspect. Uncertain information in sensory values is represented through probability assignments on three discrete states, "high", "normal", and "low", and additional sensor confidence measures in Algorithmic Sv.Upper and lower warning limits are generated from the historical learning sets, which represents the borderlines for heat rate degradation generated in the Algorithmic SV initiates a historic data base for better reference in future use. All the information generated in the Algorithmic SV initiate a session to differentiate the sensor fault from the process fault and to make an inference on the system performance. This framework for a diagnostic expert system with sensor validation and reasonig under uncertainty applies in HEATXPRT$^{TM}$, a data-driven on-line expert system for diagnosing heat rate degradation problems in fossil power plants.

A Study on Crowd Evacuation Simulation Validation Method using The Safeguard Validation Data Set (SGVDS) 1 and 2 (The Safeguard Validation Data Set (SGVDS) 1과 2를 활용한 군중 대피 시뮬레이션 검증 방안에 관한 연구)

  • Seunghyun Lee;Jae Min Lee;Hyuncheol Kim
    • Journal of the Korean Society of Safety
    • /
    • v.39 no.3
    • /
    • pp.50-59
    • /
    • 2024
  • In recent years, building architecture has become increasingly complex and larger in scale to accommodate many people. In densely populated facilities, the interiors are becoming more intricate and high-rise, with narrow corridors, hallways, and stairs. This poses challenges for evacuating occupants in case of emergencies such as fires, making it crucial to assess the evacuation safety in advance. In evacuation safety research, there are significant limitations to theoretical studies owing to their association with crowd behavior and human evacuation characteristics, as well as the risks associated with experiments involving human participants. Consequently, evacuation experiments conducted using simulation-based methodologies are gaining recognition worldwide. However, crowd simulations face validation difficulties because of variations in crowd movement and evacuation characteristics across different cases and scenarios, as well as the challenge of accurately reflecting human characteristics during evacuations. In this study, we investigated validation methods for evacuation simulations using the SAFEGUARD validation data set (SGVDS) provided by the University of Greenwich, UK. The SGVDS collects data on crowd evacuations through actual evacuation tests conducted on ColorLine's large RO-PAX ferry and Royal Caribbean International's cruise ships. The accuracy of the crowd simulations can be validated by comparing SGVDS and crowd simulation results. This study will contribute to the development of highly accurate crowd simulations by verifying various crowd simulations.

Force identification by using specific forms of PVDF patches

  • Chesne, Simon;Pezerat, Charles
    • Smart Structures and Systems
    • /
    • v.15 no.5
    • /
    • pp.1203-1214
    • /
    • 2015
  • This paper deals with the experimental validation of the use of PVDF Patches for the assessment of spatial derivatives of displacement field. It focuses more exactly on the shear Force Identification by using Specific forms of PVDF patcHes (FISH) on beams. An overview of the theoretical approach is exposed. The principle is based on the use of the weak form of the equation of motion of the beam which allows the shear forces to be extracted at one edge of the sensor when this last has a specific form. The experimental validation is carried out with a cantilever steel beam, excited by a shaker at its free boundary. The validation consists in comparing the shear force measured by the designed sensor glued at the free edge and the directly measured force applied by the shaker. The sensor is made of two patches, called the "stiffness" patch and the "mass" patch. The use of both patches allows one to identify correctly the shear force on a large frequency domain. The use of only the stiffness patch is valid in the low frequency domain and has the advantage to have a frequency-independent gain that allows its use in real time.

On Practical Choice of Smoothing Parameter in Nonparametric Classification (베이즈 리스크를 이용한 커널형 분류에서 평활모수의 선택)

  • Kim, Rae-Sang;Kang, Kee-Hoon
    • Communications for Statistical Applications and Methods
    • /
    • v.15 no.2
    • /
    • pp.283-292
    • /
    • 2008
  • Smoothing parameter or bandwidth plays a key role in nonparametric classification based on kernel density estimation. We consider choosing smoothing parameter in nonparametric classification, which optimize the Bayes risk. Hall and Kang (2005) clarified the theoretical properties of smoothing parameter in terms of minimizing Bayes risk and derived the optimal order of it. Bootstrap method was used in their exploring numerical properties. We compare cross-validation and bootstrap method numerically in terms of optimal order of bandwidth. Effects on misclassification rate are also examined. We confirm that bootstrap method is superior to cross-validation in both cases.

Validation of Numerical Model for the Wind Flow over Real Terrain (실지형을 지나는 대기유동에 대한 수치모델의 검증)

  • Kim, Hyeon-Gu;Lee, Jeong-Muk;No, Yu-Jeong
    • Journal of Korean Society for Atmospheric Environment
    • /
    • v.14 no.3
    • /
    • pp.219-228
    • /
    • 1998
  • In the present investigation, a numerical model developed for the prediction of the wind flow over complex terrain is validated by comparing with the field experiments. For the solution of the Reynolds - Averaged Clavier- stokes equations which are the governing equations of the microscale atmospheric flow, the model is constructed based on the finite-volume formulation and the SIMPLEC pressure-correction algorithm for the hydrodynamic computation. The boundary- fitted coordinate system is employed for the detailed depiction of topography. The boundary conditions and the modified turbulence constants suitable for an atmospheric boundary- layer are applied together with the k- s turbulence model. The full- scale experiments of Cooper's Ridge, Kettles Hill and Askervein Hill are chosen as the validation cases . Comparisons of the mean flow field between the field measurements and the predicted results show good agreement. In the simulation of the wind flow over Askervein Hill , the numerical model predicts the three dimensional flow separation in the downslope of the hill including the blockage effect due to neighboring hills . Such a flow behavior has not been simulated by the theoretical predictions. Therefore, the present model may offer the most accurate prediction of flow behavior in the leeside of the hill among the existing theoretical and numerical predictions.

  • PDF

Multibubble Dynamics in an Acoustic Field: Theoretical Study and Direct Numerical Simulation by MTS-DiCUP

  • Ida M.
    • 한국전산유체공학회:학술대회논문집
    • /
    • 2003.10a
    • /
    • pp.167-169
    • /
    • 2003
  • This paper presents a theoretical study concerning multibubble dynamics in a sound field and the numerical validation for it by employing our new CFD code MTS-DiCUP. In recent papers, the author has shown theoretically that an unknown characteristic frequency, named 'transition frequency,' exists in a multibubble system. For a N -bubble case, up to 2N -1 transition frequencies per bubble have been predicted, only N ones of them correspond to the natural frequencies of the system. The transition frequencies that do not correspond to the natural frequencies give rise to the phase reversal of bubbles' pulsation without resonant response. In this paper, it has been suggested theoretically that those transition frequencies may cause the sign reversal of the secondary Bjerknes force, which is an interaction force acting between acoustically coupled gas bubbles. This theoretical result has been validated by the direct numerical simulation, at least in a qualitative sense.

  • PDF

Dynamic Characterization of Noise and Vibration Transmission Paths in Linear Cyclic Systems (II)- Experimental Validation-Experimental Validation-

  • Kim, Han-Jun;Cho, Young-Man
    • Journal of Mechanical Science and Technology
    • /
    • v.14 no.10
    • /
    • pp.1061-1071
    • /
    • 2000
  • Linear cyclic systems (LCS's) are a class of systems whose dynamic behavior changes periodically. Such a cyclic behavior is ubiquitous in systems with fundamentally repetitive motion. Yet, the knowledge of the noise and vibration transmission paths in LCS's is quite limited due to the time-varying nature of their dynamics. The first part of this two-part paper derives a generic expression that describes how the noise and/or vibration are transmitted between two (or multiple) points in the LCS's. In Part II, experimental validation of the theoretical development of Part I is provided. The noise and vibration transmission paths of the scroll and rotary compressors (two typical LCS's) are examined to show that the LCS's indeed generate a series of amplitude modulated input signals at the output, where the carrier frequencies are harmonic multiples of the LCS' fundamental frequency. The criterion proposed in Part I to determine how well a given LCS can be approximated as a linear time-invariant systems (LTIS) is applied to the noise and vibration transmission paths of the two compressors. Furthermore, the implications of the experimental validations/applications are discussed in order to assess the applicability of the noise/vibration source and transmission path identification techniques based on the assumption that the system under consideration is linear and time-invariant.

  • PDF

Provenance and Validation from the Humanities to Automatic Acquisition of Semantic Knowledge and Machine Reading for News and Historical Sources Indexing/Summary

  • NANETTI, Andrea;LIN, Chin-Yew;CHEONG, Siew Ann
    • Asian review of World Histories
    • /
    • v.4 no.1
    • /
    • pp.125-132
    • /
    • 2016
  • This paper, as a conlcusion to this special issue, presents the future work that is being carried out at NTU Singapore in collaboration with Microsoft Research and Microsoft Azure for Research. For our research team the real frontier research in world histories starts when we want to use computers to structure historical information, model historical narratives, simulate theoretical large scale hypotheses, and incent world historians to use virtual assistants and/or engage them in teamwork using social media and/or seduce them with immersive spaces to provide new learning and sharing environments, in which new things can emerge and happen: "You do not know which will be the next idea. Just repeating the same things is not enough" (Carlo Rubbia, 1984 Nobel Price in Physics, at Nanyang Technological University on January 19, 2016).

EXPERIMENTAL VALIDATION OF THE POTENTIAL FIELD LANEKEEPING SYSTEM

  • Rossetter, E.J.;Switkes, J.P.;Gerdes, J.C.
    • International Journal of Automotive Technology
    • /
    • v.5 no.2
    • /
    • pp.95-108
    • /
    • 2004
  • Lanekeeping assistance has the potential to save thousands of lives every year by preventing accidental road departure. This paper presents experimental validation of a potential field lanekeeping assistance system with quantitative performance guarantees. The lanekeeping system is implemented on a 1997 Corvette modified for steer-by-wire capability. With no mechanical connection between the hand wheel and road wheels the lanekeeping system can add steering inputs independently from the driver. Implementation of the lanekeeping system uses a novel combination of a multi-antenna Global Positioning System (GPS) and precision road maps. Preliminary experimental data shows that this control scheme performs extremely well for driver assistance and closely matches simulation results, verifying previous theoretical guarantees for safety. These results also motivate future work which will focus on interaction with the driver.