• 제목/요약/키워드: Theoretical validation

검색결과 231건 처리시간 0.025초

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

  • Alharthi, Mariam;Aljedaibi, Wajdi
    • International Journal of Computer Science & Network Security
    • /
    • 제21권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)

  • 김영진
    • 대한기계학회논문집
    • /
    • 제18권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.

Force identification by using specific forms of PVDF patches

  • Chesne, Simon;Pezerat, Charles
    • Smart Structures and Systems
    • /
    • 제15권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)

  • 김래상;강기훈
    • Communications for Statistical Applications and Methods
    • /
    • 제15권2호
    • /
    • pp.283-292
    • /
    • 2008
  • 커널밀도함수의 추정을 이용한 분류 문제에서 평활모수(smoothing parameter, bandwidth)의 선택은 핵심적으로 중요한 역할을 한다. 본 논문에서는 분류에서 베이즈 리스크를 최적화하기 위한 평활모수의 선택이 각 개별 확률밀도함수를 추정하기 위한 최적의 평활모수와 어떤 관계가 있는지 살펴보았다. 실제 상황에서 사용할 수 있는 평활모수의 선택 방법으로 붓스트랩(bootstrap)과 교차확인법(cross-validation)을 이용하는 것을 비교한 결과, 붓스트랩 방법은 Hall과 Kang (2005)에서 밝혀진 이론적인 성질에 부합하는 반면 교차확인법은 그렇지 못함을 확인하였다. 또한, 각 방법으로 정한 평활모수를 사용하여 오분류율을 조사해 본 결과에서도 붓스트랩 방법이 우월함을 알 수 있었다.

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

  • 김현구;이정묵;노유정
    • 한국대기환경학회지
    • /
    • 제14권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년도 The Fifth Asian Computational Fluid Dynamics Conference
    • /
    • 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
    • /
    • 제14권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
    • /
    • 제4권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
    • /
    • 제5권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.

Fluid-structure interaction analysis of sloshing in an annular - sectored water pool subject to surge motion

  • Eswaran, M.;Goyal, P.;Reddy, G.R.;Singh, R.K.;Vaze, K.K.
    • Ocean Systems Engineering
    • /
    • 제3권3호
    • /
    • pp.181-201
    • /
    • 2013
  • The main objective of this work is to investigate the sloshing behavior in a baffled and unbaffled three dimensional annular-sectored water pool (i.e., tank) which is located at dome region of the primary containment. Initially two case studies were performed for validation. In these case studies, the theoretical and experimental results were compared with numerical results and good agreement was found. After the validation of present numerical procedure, an annular-sectored water pool has been taken for numerical investigation. One sector is taken for analysis from the eight sectored water pool. The free surface is captured by Volume of Fluid (VOF) technique and the fluid portion is solved by finite volume method while the structure portions are solved by finite element approach. Baffled and un-baffled cases were compared to show the reduction in wave height under excitation. The complex mechanical interaction between the fluid and pool wall deformation is simulated using a partitioned strong fluid-structure coupling.