Evidence evaluation in fingerprint comparison and automated fingerprint identification systems: modeling between finger variability

In the context of the investigation of the use of automated fingerprint identification systems (AFIS) for the evaluation of fingerprint evidence, the current study presents investigations into the variability of scores from an AFIS system when fingermarks from a known donor are compared to fingerprints that are not from the same source. The ultimate goal is to propose a model, based on likelihood ratios, which allows the evaluation of mark-to-print comparisons. In particular, this model, through its use of AFIS technology, benefits from the possibility of using a large amount of data, as well as from an already built-in proximity measure, the AFIS score. More precisely, the numerator of the LR is obtained from scores issued from comparisons between impressions from the same source and showing the same minutia configuration. The denominator of the LR is obtained by extracting scores from comparisons of the questioned mark with a database of non-matching sources. This paper focuses solely on the assignment of the denominator of the LR. We refer to it by the generic term of between-finger variability. The issues addressed in this paper in relation to between-finger variability are the required sample size, the influence of the finger number and general pattern, as well as that of the number of minutiae included and their configuration on a given finger. Results show that reliable estimation of between-finger variability is feasible with 10,000 scores. These scores should come from the appropriate finger number/general pattern combination as defined by the mark. Furthermore, strategies of obtaining between-finger variability when these elements cannot be conclusively seen on the mark (and its position with respect to other marks for finger number) have been presented. These results immediately allow case-by-case estimation of the between-finger variability in an operational setting.

I-SS: integrated supervision systems approach based on interactive components

Process supervision is the activity focused on monitoring the process operation in order to deduce conditions to maintain the normality including when faults are present Depending on the number/distribution/heterogeneity of variables, behaviour situations, sub-processes, etc. from processes, human operators and engineers do not easily manipulate the information. This leads to the necessity of automation of supervision activities. Nevertheless, the difficulty to deal with the information complicates the design and development of software applications. We present an approach called "integrated supervision systems". It proposes multiple supervisors coordination to supervise multiple sub-processes whose interactions permit one to supervise the global process

Interacting software-agents to support a kind of expert supervision systems

Expert supervision systems are software applications specially designed to automate process monitoring. The goal is to reduce the dependency on human operators to assure the correct operation of a process including faulty situations. Construction of this kind of application involves an important task of design and development in order to represent and to manipulate process data and behaviour at different degrees of abstraction for interfacing with data acquisition systems connected to the process. This is an open problem that becomes more complex with the number of variables, parameters and relations to account for the complexity of the process. Multiple specialised modules tuned to solve simpler tasks that operate under a co-ordination provide a solution. A modular architecture based on concepts of software agents, taking advantage of the integration of diverse knowledge-based techniques, is proposed for this purpose. The components (software agents, communication mechanisms and perception/action mechanisms) are based on ICa (Intelligent Control architecture), software middleware supporting the build-up of applications with software agent features

Relationship of mating systems and metabolic rate with cycle length of spermatogenesis and sperm production rate in shrews

SUMMARY : The shrews are among the most ancient of living eutherian mammals. They represent an interesting comparative model because of their extreme divergent species. The two shrew subfamilies, Soricinae and Crocidurinae are characterized by fundamental differences concerning their metabolic rates, litter size, period of gestation and different mating pattern. In this study we established and compared the sperm characteristics in four species of different genera of shrews (Sorex araneus, Neomys fodiens, Crocidura russula and Suncus murinus) in the context of the sperm competition hypothesis. The sperm competition concerns the competition between ejaculates of different males for fertilization of ova of a female within a single estrus period. As expected, a greater relative testis size (indicating the importance of polyandry) was associated with a higher number of cauda epididymal spermatozoa, higher level of circulating testosterone and a higher percentage of progressive sperm motility. In addition, we investigated if the basal metabolic rate (BMR) and relative testis size (RTS) may be correlated with the cycle length of spermatogenesis. In this purpose, we determined and compared the cycle length of spermatogenesis in six species of shrews belonging to two subfamilies: Soiricinae (Sorex araneus, Sorex coronatus, Sorex minutus, Neomys fodiens) and Crocidurinae (Crocidura russula, Sunctes murinus). Our results indicate that sperm competition and metabolic rate may act independently or together reducing cycle length of spermatogenesis and thus increase sperm production. We finally investigated this correlation across 32 mammalian species. After testing the data for phylogenetic independence, our results showed that BMR explained only 21 % of the variation, while the RTS explained 44% of the variation of the cycle length of spermatogenesis. The level of the sperm competition, indicated by RTS, is thus to our knowledge the most important factor influencing the speed of spermatogenesis in mammals. RESUME : Les musaraignes sont parmi les plus anciens mammifères vivants. Grâce à leurs extrêmes divergences, ils sont souvent utilisés comme modèles dans des études comparatives. Les deux sous-familles Soricinae et Crocidurinae sont caractérisées par des différences fondamentales, notamment en termes d'intensité du métabolisme, des stratégies de reproduction et du comportement social. Dans la première partie de cette étude, nous avons établi et comparé certaines "caractéristiques des spermatozoïdes chez quatre espèces de musaraignes appartenant à des genres différents (Sorex araneus, Neomys fodiens, Crocidura russula et Suncus murinus). Les résultats ont été interprétés dans le contexte de la théorie de la compétition spermatique, c'est-à-dire la compétition entre le sperme de deux ou plusieurs mâles pour féconder un maximum d'ovules de la même femelle. Cette compétition spermatique peut amener à certaines adaptations biologiques afin de produire plus de sperme. Comme attendu, une grande taille relative des testicules est associée à un nombre élevé de spermatozoïdes, dont la majorité présente une mobilité progressive. Un taux élévé de testostérone a également été observé. De plus, nous avons étudié l'influence du métabolisme basal ainsi que l'intensité de la compétition spermatique sur la durée du cycle de la spermatogenèse. Dans ce but, nous avons déterminé et comparé les durées de la spermatogenèse chez six espèces de musaraignes appartenant à deux sous-familles : Soricinae (Sorex araneus, Sorex coronatus, Sorex minutus, Neomys fodiens) et Crocidurinae (Crocidura russula, Suncus murinus). Les résultats obtenus indiquent que ces deux facteurs (l'intensité du métabolisme basal et de la compétition spermatique) agissent d'une manière dépendante ou indépendante dans le même sens. La conséquence de ces actions est une diminution de la durée de la spermatogenèse entraînant une augmentation de la production de spermatozoïdes. Nous avons finalement étudié ce phénomène dans l'ensemble des mammifères. Après avoir testé l'indépendance phylogénétique, nos résultats montrent que l'intensité de la compétition spermatique indiquée par le RTS est mieux corrélée avec la régulation de la durée de la spermatogenèse qu'avec l'intensité du métabolisme.

Implementation of zonal control algorithms in adaptive optical systems with sparse control matrices

Miralls deformables més i més grans, amb cada cop més actuadors estan sent utilitzats actualment en aplicacions d'òptica adaptativa. El control dels miralls amb centenars d'actuadors és un tema de gran interès, ja que les tècniques de control clàssiques basades en la seudoinversa de la matriu de control del sistema es tornen massa lentes quan es tracta de matrius de dimensions tan grans. En aquesta tesi doctoral es proposa un mètode per l'acceleració i la paral.lelitzacó dels algoritmes de control d'aquests miralls, a través de l'aplicació d'una tècnica de control basada en la reducció a zero del components més petits de la matriu de control (sparsification), seguida de l'optimització de l'ordenació dels accionadors de comandament atenent d'acord a la forma de la matriu, i finalment de la seva posterior divisió en petits blocs tridiagonals. Aquests blocs són molt més petits i més fàcils de fer servir en els càlculs, el que permet velocitats de càlcul molt superiors per l'eliminació dels components nuls en la matriu de control. A més, aquest enfocament permet la paral.lelització del càlcul, donant una com0onent de velocitat addicional al sistema. Fins i tot sense paral. lelització, s'ha obtingut un augment de gairebé un 40% de la velocitat de convergència dels miralls amb només 37 actuadors, mitjançant la tècnica proposada. Per validar això, s'ha implementat un muntatge experimental nou complet , que inclou un modulador de fase programable per a la generació de turbulència mitjançant pantalles de fase, i s'ha desenvolupat un model complert del bucle de control per investigar el rendiment de l'algorisme proposat. Els resultats, tant en la simulació com experimentalment, mostren l'equivalència total en els valors de desviació després de la compensació dels diferents tipus d'aberracions per als diferents algoritmes utilitzats, encara que el mètode proposat aquí permet una càrrega computacional molt menor. El procediment s'espera que sigui molt exitós quan s'aplica a miralls molt grans.

Sequential estimation of time-varying multipath channel for MIMO-OFDM systems

In this paper, we introduce a pilot-aided multipath channel estimator for Multiple-Input Multiple-Output (MIMO) Orthogonal Frequency Division Multiplexing (OFDM) systems. Typical estimation algorithms assume the number of multipath components and delays to be known and constant, while theiramplitudes may vary in time. In this work, we focus on the more realistic assumption that also the number of channel taps is unknown and time-varying. The estimation problem arising from this assumption is solved using Random Set Theory (RST), which is a probability theory of finite sets. Due to the lack of a closed form of the optimal filter, a Rao-Blackwellized Particle Filter (RBPF) implementation of the channel estimator is derived. Simulation results demonstrate the estimator effectiveness.

It's parties that choose electoral systems (or Duverger's Law upside down)

This article presents, discusses and tests the hypothesis that it is the number of parties what can explain the choice of electoral systems, rather than the other way round. Already existing political parties tend to choose electoral systems that, rather than generate new party systems by themselves, will crystallize, consolidate or reinforce previously existing party configurations. A general model develops the argument and presents the concept of 'behavioral-institutional equilibrium' to account for the relation between electoral systems and party systems. The most comprehensive dataset and test of these notions to date, encompassing 219 elections in 87 countries since the 19th century, are presented. The analysis gives strong support to the hypotheses that political party configurations dominated by a few parties tend to establish majority rule electoral systems, while multiparty systems already existed before the introduction of proportional representation. It also offers the new theoretical proposition that strategic party choice of electoral systems leads to a general trend toward proportional representation over time.

Probabilistic maximal covering location-allocation models with constrained waiting time or queue length for congested systems

When dealing with the design of service networks, such as healthand EMS services, banking or distributed ticket selling services, thelocation of service centers has a strong influence on the congestion ateach of them, and consequently, on the quality of service. In this paper,several models are presented to consider service congestion. The firstmodel addresses the issue of the location of the least number of single--servercenters such that all the population is served within a standard distance,and nobody stands in line for a time longer than a given time--limit, or withmore than a predetermined number of other clients. We then formulateseveral maximal coverage models, with one or more servers per service center.A new heuristic is developed to solve the models and tested in a 30--nodesnetwork.

Hierarchical location-allocation models for congested systems

In this paper we address the issue of locating hierarchical facilities in the presence of congestion. Two hierarchical models are presented, where lower level servers attend requests first, and then, some of the served customers are referred to higher level servers. In the first model, the objective is to find the minimum number of servers and theirlocations that will cover a given region with a distance or time standard. The second model is cast as a Maximal Covering Location formulation. A heuristic procedure is then presented together with computational experience. Finally, some extensions of these models that address other types of spatial configurations are offered.

Soybean response to starter nitrogen and Bradyrhizobium inoculation on a Cerrado oxisol under no-tillage and conventional tillage systems

In Brazil, Bradyrhizobium inoculation has successfully replaced the use of N fertilizer on soybean [Glycine max (L) Merr.] crops. However, with the expansion of no-tillage cropping systems in the Cerrados region, the idea that it is necessary to use small N rates at the sowing to overcome problems related with N immobilization has become widespread, mainly when soybean is cultivated after a non-legume crop. In this study we examined soybean response to small rates of N fertilizer under no-tillage (NT) and conventional tillage (CT) systems. Four experiments (a completely randomized block with five replicates) were carried out in a red yellow oxisol, during the periods of 1998/1999 and 1999/ 2000, under NT and CT. The treatments consisted of four urea rates (0, 20, 30 and 40 kg ha-1 N). All treatments were inoculated with Bradyrhizobium japonicum strains SEMIA 5080 and SEMIA 5079, in the proportion 1 kg of peat inoculant (1,5 x 10(9) cells g-1) per 50 kg of seeds. In both experiments, soybean was cultivated after corn and the N fertilizer was band applied at sowing. In all experiments, N rates promoted reductions of up to 50 % in the nodule number at 15 days after the emergence. Regardless of the management system, these reductions disappeared at the flowering stage and there was no effect of N rates on either the number and dry weight of nodules or on soybean yields. Therefore, in the Brazilian Cerrados, when an efficient symbiosis is established, it is not necessary to apply starter N rates on soybean, even when cultivated under notillage systems.

Maize response to nitrogen fertilization timing in two tillage systems in a soil with high organic matter content

No-tillage systems, associated to black oat as preceding cover crop, have been increasingly adopted. This has motivated anticipated maize nitrogen fertilization, transferring it from the side-dress system at the stage when plants have five to six expanded leaves to when the preceding cover crop is eliminated or to maize sowing. This study was conducted to evaluate the effects of soil tillage system and timing of N fertilization on maize grain yield and agronomic efficiency of N applied to a soil with high organic matter content. A three-year field experiment was conducted in Lages, state of Santa Catarina, from 1999 onwards. Treatments were set up in a split plot arrangement. Two soil tillage systems were tested in the main plots: conventional tillage (CT) and no-tillage (NT). Six N management systems were assessed in the split-plots: S1 - control, without N application; S2 - all N (100 kg ha-1) applied at oat desiccation; S3 - all N applied at maize sowing; S4 - all N side-dressed when maize had five expanded leaves (V5 growth stage); S5 - 1/3 of N rate applied at maize sowing and 2/3 at V5; S6 - 2/3 of nitrogen rate applied at maize sowing and 1/3 at V5. Maize response to the time and form of splitting N was not affected by the soil tillage system. Grain yield ranged from 6.0 to 11.8 t ha-1. The anticipation of N application (S2 and S3) decreased grain yield in two of three years. In the rainiest early spring season (2000/2001) of the experiment, S4 promoted an yield advantage of 2.2 t ha-1 over S2 and S3. Application of total N rate before or at sowing decreased the number of kernels produced per ear in 2000/2001 and 2001/2002 and the number of ears produced per area in 2001/2002, resulting in reduced grain yield. The agronomic efficiency of applied N (kg grain increase/kg of N applied) ranged from 13.9 to 38.8 and was always higher in the S4 than in the S2 and S3 N systems. Short-term N immobilization did not reduce grain yield when no N was applied before or at maize sowing in a soil with high organic matter content, regardless of the soil tillage system.

Method to assess and optimise dependability of complex macro-systems: application to a railway signalling system

Achieving a high degree of dependability in complex macro-systems is challenging. Because of the large number of components and numerous independent teams involved, an overview of the global system performance is usually lacking to support both design and operation adequately. A functional failure mode, effects and criticality analysis (FMECA) approach is proposed to address the dependability optimisation of large and complex systems. The basic inductive model FMECA has been enriched to include considerations such as operational procedures, alarm systems. environmental and human factors, as well as operation in degraded mode. Its implementation on a commercial software tool allows an active linking between the functional layers of the system and facilitates data processing and retrieval, which enables to contribute actively to the system optimisation. The proposed methodology has been applied to optimise dependability in a railway signalling system. Signalling systems are typical example of large complex systems made of multiple hierarchical layers. The proposed approach appears appropriate to assess the global risk- and availability-level of the system as well as to identify its vulnerabilities. This enriched-FMECA approach enables to overcome some of the limitations and pitfalls previously reported with classical FMECA approaches.

Pedotransfer functions to estimate proctor test parameters under different tillage systems

The Proctor test is time-consuming and requires sampling of several kilograms of soil. Proctor test parameters were predicted in Mollisols, Entisols and Vertisols of the Pampean region of Argentina under different management systems. They were estimated from a minimum number of readily available soil properties (soil texture, total organic C) and management (training data set; n = 73). The results were used to generate a soil compaction susceptibility model, which was subsequently validated using a second group of independent data (test data set; n = 24). Soil maximum bulk density was estimated as follows: Maximum bulk density (Mg m-3) = 1.4756 - 0.00599 total organic C (g kg-1) + 0.0000275 sand (g kg-1) + 0.0539 management. Management was equal to 0 for uncropped and untilled soils and 1 for conventionally tilled soils. The established models predicted the Proctor test parameters reasonably well, based on readily available soil properties. Tillage systems induced changes in the maximum bulk density regardless of total organic matter content or soil texture. The lower maximum apparent bulk density values under no-tillage require a revision of the relative compaction thresholds for different no-tillage crops.

Optimal generalized quantum measurements for arbitrary spin systems

Positive-operator-valued measurements on a finite number of N identically prepared systems of arbitrary spin J are discussed. Pure states are characterized in terms of Bloch-like vectors restricted by a SU(2J+1) covariant constraint. This representation allows for a simple description of the equations to be fulfilled by optimal measurements. We explicitly find the minimal positive-operator-valued measurement for the N=2 case, a rigorous bound for N=3, and set up the analysis for arbitrary N.

Average ground-state energy of finite Fermi systems

Semiclassical theories such as the Thomas-Fermi and Wigner-Kirkwood methods give a good description of the smooth average part of the total energy of a Fermi gas in some external potential when the chemical potential is varied. However, in systems with a fixed number of particles N, these methods overbind the actual average of the quantum energy as N is varied. We describe a theory that accounts for this effect. Numerical illustrations are discussed for fermions trapped in a harmonic oscillator potential and in a hard-wall cavity, and for self-consistent calculations of atomic nuclei. In the latter case, the influence of deformations on the average behavior of the energy is also considered.