A Feature Model for Unfolding and Experimental Results

Author(s):  
Math J. Cande
Author(s):  
Johnny Maikeo Ferreira ◽  
Silvia Regina Vergilio ◽  
Marcos Quinaia

The Feature Model (FM) is a fundamental artifact of the Software Product Line (SPL) engineering, used to represent commonalities and variabilities, and also to derive products for testing. However, the test of all features combinations (products) is not always possible in practice. Due to the growing complexity of the applications, only a subset of products is usually selected. The selection is generally based on combinatorial testing, to test features interactions. This kind of selection does not consider different classes of faults that can be present in the FM. The application of a fault-based approach, such as mutation-based testing, can increase the probability of finding faults and the confidence that the SPL products match the requirements. Considering that, this paper introduces a mutation approach to select products for the feature testing of SPLs. The approach can be used similarly to a test criterion in the generation and assessment of test cases. It includes (i) a set of mutation operators, introduced to describe typical faults associated to the feature management and to the FM; and (ii) a testing process to apply the operators. Experimental results show the applicability of the approach. The selected test case sets are capable to reveal other kind of faults, not revealed in the pairwise testing.


Author(s):  
JOSÉ HERNÁNDEZ-PALANCAR ◽  
ALFREDO MUÑOZ-BRISEÑO ◽  
ANDRÉS GAGO-ALONSO

The identification of fingerprints and palmprints is considered a challenging research line in Biometrics. Nowadays, the accuracy of these techniques highly depends on the quality of the involved impressions, specially if the matching is performed in latent cases. In the present work, a new algorithm that reports a high accuracy in both cases is presented. This proposal requires a minimum amount of manually marked information in latent impressions and deals successfully with problems of missing and spurious minutiae. Moreover, we improved a verification algorithm based on a previously introduced feature model. The algorithm uses a strategy for finding adaptable local matches between substructures obtained from images. The experimental results show that our proposal achieves high accuracy for all cases, despite the major differences that exist between a palmprint and a fingerprint. For latent fingerprint identification our approach shows its robustness in retrieving 258 latents from different size scale of the background dataset, achieving a rank-1 identification rate over 57% in all cases. Carrying out a similar experimentation for latent palmprint identification, our approach achieved a rank-1 identification rate over 75%.


Author(s):  
Weijuan Cao ◽  
Xiaoshen Chen ◽  
Shuming Gao

An approach to automatically converting a design feature model to an analysis feature model for downstream finite element analysis is proposed. The analysis feature model is a mixed-dimensional model with shell features representing thin regions and solid features representing thick regions. In the approach, the design feature model is first decomposed into a set of remnants of additive features, each of which represents part of an additive feature’s volume that remain in the final volume of the design model. The remnant of each additive feature is then decomposed into swept bodies and non-swept bodies. After that, the thin regions of each swept body are effectively recognized based on its sketch information. These detected thin regions can be wrongly recognized, which, together with potentially missing ones are thus detected and corrected by a synthesization process. Finally, the analysis features and their relative interfaces are generated, which ultimately gives the corresponding analysis feature model to the input design feature model. Experimental results are also shown to demonstrate the proposed method’s effectiveness.


1988 ◽  
Vol 102 ◽  
pp. 357-360
Author(s):  
J.C. Gauthier ◽  
J.P. Geindre ◽  
P. Monier ◽  
C. Chenais-Popovics ◽  
N. Tragin ◽  
...  

AbstractIn order to achieve a nickel-like X ray laser scheme we need a tool to determine the parameters which characterise the high-Z plasma. The aim of this work is to study gold laser plasmas and to compare experimental results to a collisional-radiative model which describes nickel-like ions. The electronic temperature and density are measured by the emission of an aluminium tracer. They are compared to the predictions of the nickel-like model for pure gold. The results show that the density and temperature can be estimated in a pure gold plasma.


Author(s):  
Y. Harada ◽  
T. Goto ◽  
H. Koike ◽  
T. Someya

Since phase contrasts of STEM images, that is, Fresnel diffraction fringes or lattice images, manifest themselves in field emission scanning microscopy, the mechanism for image formation in the STEM mode has been investigated and compared with that in CTEM mode, resulting in the theory of reciprocity. It reveals that contrast in STEM images exhibits the same properties as contrast in CTEM images. However, it appears that the validity of the reciprocity theory, especially on the details of phase contrast, has not yet been fully proven by the experiments. In this work, we shall investigate the phase contrast images obtained in both the STEM and CTEM modes of a field emission microscope (100kV), and evaluate the validity of the reciprocity theory by comparing the experimental results.


Author(s):  
A. Ourmazd ◽  
G.R. Booker ◽  
C.J. Humphreys

A (111) phosphorus-doped Si specimen, thinned to give a TEM foil of thickness ∼ 150nm, contained a dislocation network lying on the (111) plane. The dislocation lines were along the three <211> directions and their total Burgers vectors,ḇt, were of the type , each dislocation being of edge character. TEM examination under proper weak-beam conditions seemed initially to show the standard contrast behaviour for such dislocations, indicating some dislocation segments were undissociated (contrast A), while other segments were dissociated to give two Shockley partials separated by approximately 6nm (contrast B) . A more detailed examination, however, revealed that some segments exhibited a third and anomalous contrast behaviour (contrast C), interpreted here as being due to a new dissociation not previously reported. Experimental results obtained for a dislocation along [211] with for the six <220> type reflections using (g,5g) weak-beam conditions are summarised in the table below, together with the relevant values.


Author(s):  
Scott Lordi

Vicinal Si (001) surfaces are interesting because they are good substrates for the growth of III-V semiconductors. Spots in RHEED patterns from vicinal surfaces are split due to scattering from ordered step arrays and this splitting can be used to determine the misorientation angle, using kinematic arguments. Kinematic theory is generally regarded to be inadequate for the calculation of RHEED intensities; however, only a few dynamical RHEED simulations have been attempted for vicinal surfaces. The multislice formulation of Cowley and Moodie with a recently developed edge patching method was used to calculate RHEED patterns from vicinal Si (001) surfaces. The calculated patterns are qualitatively similar to published experimental results and the positions of the split spots quantitatively agree with kinematic calculations.RHEED patterns were calculated for unreconstructed (bulk terminated) Si (001) surfaces misoriented towards [110] ,with an energy of 15 keV, at an incident angle of 36.63 mrad ([004] bragg condition), and a beam azimuth of [110] (perpendicular to the step edges) and the incident beam pointed down the step staircase.


2013 ◽  
Vol 72 (2) ◽  
pp. 71-78
Author(s):  
Sophie Richardot

The aim of this study is to understand to what extent soliciting collective memory facilitates the appropriation of knowledge. After being informed about Milgram’s experiment on obedience to authority, students were asked to mention historical or contemporary events that came to mind while thinking about submission to authority. Main results of the factorial analysis show that the students who do not believe in the reproducibility of the experimental results oppose dramatic past events to a peaceful present, whereas those who do believe in the reproducibility of the results also mention dramatic contemporary events, thus linking past and present. Moreover, the students who do not accept the results for today personify historical events, whereas those who fully accept them generalize their impact. Therefore, according to their attitude toward this objet of knowledge, the students refer to two kinds of memory: a “closed memory,” which tends to relegate Milgram’s results to ancient history; and an “open memory,” which, on the contrary, transforms past events into a concept that helps them understand the present. Soliciting collective memory may contribute to the appropriation of knowledge provided the memory activated is an “open” one, linking past to present and going beyond the singularity of the event.


Sign in / Sign up

Export Citation Format

Share Document