MODEL PARTITIONS AND COMPACT TEST CASE SUITES

We present a generalized test case generation method, called the G method. Although inspired by the W method, the G method, in contrast, allows for test case suite generation even in the absence of characterization sets for the specification models. Instead, the G method relies on knowledge about the index of certain equivalences induced at the implementation models. We show that the W method can be derived from the G method as a particular case. Moreover, we discuss some naturally occurring infinite classes of FSM models over which the G method generates test suites that are exponentially more compact than those produced by the W method.

QCD sum rules for the 'Z POT + IND C' (3900) state.

We use the QCD sum rules to study the recently observed charmonium-like structure Z+ c (3900) as a tetraquark state. We evaluate the three-point function and extract the coupling constants of the Z+ c J/ψ π+, Z+ c ηc ρ+ and Z+ c D+ ¯D∗0 vertices and the corresponding decay widths in these channels. The results obtained are in good agreement with the experimental data and supports to the tetraquark picture of this state.

The charmed pentaquark Θc(3250) from QCD sum rules.

We study, using the QCD sum rule framework, the possible existence of a charmed pentaquark that we call Θc(3250). In the QCD side we work at leading order in αs and consider condensates up to dimension 10. The mass obtained: mΘc = (3.21±0.13) GeV, is compatible with the mass of the structure seen by BaBar Collaboration in the decay channel B− → ￣p Σ++ c π−π−.

From inflation to dark energy through a dynamical Λ: an attempt at alleviating fundamental cosmic puzzles

After decades of successful hot big-bang paradigm, cosmology still lacks a framework in which the early inflationary phase of the universe smoothly matches the radiation epoch and evolves to the present “quasi” de Sitter spacetime. No less intriguing is that the current value of the effective vacuum energy density is vastly smaller than the value that triggered inflation. In this paper, we propose a new class of cosmologies capable of overcoming, or highly alleviating, some of these acute cosmic puzzles. Powered by a decaying vacuum energy density, the spacetime emerges from a pure nonsingular de Sitter vacuum stage, “gracefully” exits from inflation to a radiation phase followed by dark matter and vacuum regimes, and, finally, evolves to a late-time de Sitter phase.

Extended spherical collapse and the accelerating universe

The influence of the shear stress and angular momentum on the nonlinear spherical collapse model is discussed in the framework of the Einstein–de Sitter and ΛCDM models. By assuming that the vacuum component is not clustering within the homogeneous nonspherical overdensities, we show how the local rotation and shear affect the linear density threshold for collapse of the nonrelativistic component (δc) and its virial overdensity (ΔV ). It is also found that the net effect of shear and rotation in galactic scale is responsible for higher values of the linear overdensity parameter as compared with the standard spherical collapse model (no shear and rotation)

Local cohomology with supports in the non-free locus

[EN] The groups of local cohomology with supports in the non-free locus of a module are used in order to obtain three classifications and one characterization of four classes of modules

Centrifuge Modeling of Sandy Slopes

Slope failure occurs in many areas throughout the world and it becomes an important problem when it interferes with human activity, in which disasters provoke loss of life and property damage. In this research we investigate the slope failure through the centrifuge modeling, where a reduced-scale model, N times smaller than the full-scale (prototype), is used whereas the acceleration is increased by N times (compared with the gravity acceleration) to preserve the stress and the strain behavior. The aims of this research “Centrifuge modeling of sandy slopes” are in extreme synthesis: 1) test the reliability of the centrifuge modeling as a tool to investigate the behavior of a sandy slope failure; 2) understand how the failure mechanism is affected by changing the slope angle and obtain useful information for the design. In order to achieve this scope we arranged the work as follows: Chapter one: centrifuge modeling of slope failure. In this chapter we provide a general view about the context in which we are working on. Basically we explain what is a slope failure, how it happens and which are the tools available to investigate this phenomenon. Afterwards we introduce the technology used to study this topic, that is the geotechnical centrifuge. Chapter two: testing apparatus. In the first section of this chapter we describe all the procedures and facilities used to perform a test in the centrifuge. Then we explain the characteristics of the soil (Nevada sand), like the dry unit weight, water content, relative density, and its strength parameters (c,φ), which have been calculated in laboratory through the triaxial test. Chapter three: centrifuge tests. In this part of the document are presented all the results from the tests done in centrifuge. When we talk about results we refer to the acceleration at failure for each model tested and its failure surface. In our case study we tested models with the same soil and geometric characteristics but different angles. The angles tested in this research were: 60°, 75° and 90°. Chapter four: slope stability analysis. We introduce the features and the concept of the software: ReSSA (2.0). This software allows us to calculate the theoretical failure surfaces of the prototypes. Then we show in this section the comparisons between the experimental failure surfaces of the prototype, traced in the laboratory, and the one calculated by the software. Chapter five: conclusion. The conclusion of the research presents the results obtained in relation to the two main aims, mentioned above.

Interaction of the solar wind with them Moon: An overview on the results from the SARA experiment aboard Chandrayaan-1

The results from the Sub-keV Atom Reflecting Analyzer (SARA) experiment onboard Chandrayaan-1 have revealed several hitherto unknown and interesting aspects about the interaction of solar wind with the Moon. The SARA experiment had two sensors — CENA and SWIM. The Chandrayaan-1 energetic neutrals analyzer (CENA), detected energetic neutral atoms (ENAs), and the Solar Wind Monitor (SWIM) measured ions of solar wind origin. In this review, we summarize the observations made by the SARA experiment, which are: (1) substantial (~20%) and sustained backscattering of solar wind protons from lunar surface as energetic neutral hydrogen,1 (2) minimagnetosphere around magnetic anomalies on Moon using the backscattered ENAs,2 (3) reflection of solar wind protons from the Moon surface,3 (4) huge (~50%) deflection of solar wind protons over strong magnetic anomalies,4 and (5) presence of protons in the near-lunar plasma wake.5 These results have implications on the lunar plasma environment, implantation of solar wind hydrogen on lunar surface, and behavior of small scale magnetic anomalies on planetary bodies. The SARA observations suggest that similar processes may happen on other airless bodies covered with regolith in the solar system as well as in extra-solar system. This paper presents a review of the results obtained from the SARA observation.