scholarly journals Some Issues on Testing Theory and its Applications

1995 ◽  
pp. 337-345
Author(s):  
Ana Cavalli ◽  
Marc Phalippou
Keyword(s):  
2021 ◽  
Vol 13 (10) ◽  
pp. 2006
Author(s):  
Jun Hu ◽  
Qiaoqiao Ge ◽  
Jihong Liu ◽  
Wenyan Yang ◽  
Zhigui Du ◽  
...  

The Interferometric Synthetic Aperture Radar (InSAR) technique has been widely used to obtain the ground surface deformation of geohazards (e.g., mining subsidence and landslides). As one of the inherent errors in the interferometric phase, the digital elevation model (DEM) error is usually estimated with the help of an a priori deformation model. However, it is difficult to determine an a priori deformation model that can fit the deformation time series well, leading to possible bias in the estimation of DEM error and the deformation time series. In this paper, we propose a method that can construct an adaptive deformation model, based on a set of predefined functions and the hypothesis testing theory in the framework of the small baseline subset InSAR (SBAS-InSAR) method. Since it is difficult to fit the deformation time series over a long time span by using only one function, the phase time series is first divided into several groups with overlapping regions. In each group, the hypothesis testing theory is employed to adaptively select the optimal deformation model from the predefined functions. The parameters of adaptive deformation models and the DEM error can be modeled with the phase time series and solved by a least square method. Simulations and real data experiments in the Pingchuan mining area, Gaunsu Province, China, demonstrate that, compared to the state-of-the-art deformation modeling strategy (e.g., the linear deformation model and the function group deformation model), the proposed method can significantly improve the accuracy of DEM error estimation and can benefit the estimation of deformation time series.


2006 ◽  
Vol 17 (04) ◽  
pp. 797-813 ◽  
Author(s):  
ROBI MALIK ◽  
DAVID STREADER ◽  
STEVE REEVES

This paper studies conflicts from a process-algebraic point of view and shows how they are related to the testing theory of fair testing. Conflicts have been introduced in the context of discrete event systems, where two concurrent systems are said to be in conflict if they can get trapped in a situation where they are waiting or running endlessly, forever unable to complete their common task. In order to analyse complex discrete event systems, conflict-preserving notions of refinement and equivalence are needed. This paper characterises an appropriate refinement, called the conflict preorder, and provides a denotational semantics for it. Its relationship to other known process preorders is explored, and it is shown to generalise the fair testing preorder in process-algebra for reasoning about conflicts in discrete event systems.


1996 ◽  
Vol 18 (11) ◽  
pp. 887
Author(s):  
J. Woodhouse

2020 ◽  
Author(s):  
I Enwereuzo ◽  
Pedro Antunes ◽  
David Johnstone

© 2019 Association for Information Systems. All rights reserved. This paper addresses the challenges of theory testing. Adopting the design science paradigm, we address this challenge by delimiting the line that separates theory building from theory testing by conceptually characterizing its essential aspects: the relationships between humans, organizations and technology, which led to the development of a conceptual framework for theory testing. Practically, the methods, processes, instruments, and tools needed to acquire and analyze data for theory testing is considered, leading to the development of a pattern system. Card sorting was used as an evaluation strategy for the conceptual framework and the pattern model.


Sign in / Sign up

Export Citation Format

Share Document