相关论文: Problems of Testology
In this paper we will discuss problems and techniques related to underactuated systems. We give a mathematical formulation of several problems arising from applications, review some standard and new techniques, and pose some interesting and…
The pivotal role of testing in high-quality software production has driven a significant effort in evaluating and assessing testing practices. We explore the state of testing in a large industrial project over an extended period. We study…
In this paper, we enumerate enumeration problems and algorithms. This survey is under construction. If you know some results not in this survey or there is anything wrong, please let me know.
I survey problems concerning Lindelof spaces which have partial set- theoretic solutions.
When interacting with their software systems, users may have to deal with problems like crashes, failures, and program instability. Faulty software running in the field is not only the consequence of ineffective in-house verification and…
A formal theory of experimentation will be presented. Such a theory presents the necessary & sufficient conditions a world must satisfy in order to admit the use of the scientific method.
Selected problems in heavy quark physics are discussed. The wealth of research problems in this field of physics is stressed.
The present status of Unified Theories is summarized with special emphasis on their possible experimental tests. Outline: i) Unification of couplings; ii) Where can a positive signal come from? iii) HERA anomaly and Unification; iv) Recent…
The article describes an attempt to solve at once three basic problems arising at testing a complex digital equipment for defects: 1) the problem of an exponential increasing of the complexity of testing the equipment with the complexity of…
Various contributions to the cosmological constant are discussed and confronted with its recent measurement. We briefly review different scenarious -- and their difficulties -- for a solution of the cosmological constant problem.
Model checking and testing are two areas with a similar goal: to verify that a system satisfies a property. They start with different hypothesis on the systems and develop many techniques with different notions of approximation, when an…
A general theory of topological classification of defects is introduced. We illustrate the application of tools from algebraic topology, including homotopy and cohomology groups, to classify defects including several explicit calculations…
We have asked a number of researchers to compile their lists of the top 10 problems in the field of massive stars. This paper is a compilation of these lists. We attempted to survey observers and theorists and those studying all…
The unfolding problem formulation for correcting experimental data distortions due to finite resolution and limited detector acceptance is discussed. A novel validation of the problem solution is proposed. Attention is drawn to fact that…
withdrawn Several symmetry problems are discussed. These include the Pompeiu problem and similar conjectures for the heat and wave equations.
We present a list of open questions in the theory of holomorphic foliations, possibly with singularities. Some problems have been around for a while, others are very accessible.
This paper concerns the number of lattice points in a circle.
Estimating ages for stars is difficult at best, but Galactic problems have their own requirements that go beyond those for other areas of astrophysics. As in other areas, asteroseismology is helping, and in this review I discuss some of the…
A problem list in singularity theory. Most of these problems are related with the algorithmic enumeration of possible topological types of non-discriminant Morsifications of real function singularities, and/or with the Picard--Lefschetz…
It is good practice to name test methods such that they are comprehensible to developers; they must be written in such a way that their purpose and functionality are clear to those who will maintain them. Unfortunately, there is little…