WCET Analysis of Superscalar Processors Using Simulation With Coloured Petri Nets

Determining a tight WCET of a block of code to be executed on a modern superscalar processor architecture is becoming ever more difficult due to the dynamic behaviour exhibited by current processors, which include dynamic scheduling features such as speculative and out-of-order execution in the context of multiple execution units with deep pipelines. We describe the use of Coloured Petri Nets (CP-nets) in a simulation based approach to this problem. A complex model of a generic processor architecture is described, with emphasis on the modelling strategy for obtaining the WCET and an analysis of the results.     

Contribution of laser microdissection-based technology to proteomic analysis in hepatocellular carcinoma developing on cirrhosis

Hepatocellular carcinoma (HCC) is a major cause of cancer worldwide. Proteomic studies provide opportunities to uncover targets for the diagnosis and treatment of this disease. However, in HCC developing in a setting of cirrhosis, the detection of proteome alterations may be hampered by the increased cellular heterogeneity of tissue when analysing global liver homogenates. The aim of this study was to evaluate whether the identification of proteome alterations in these HCC cases was improved when the differential protein profile between tumour and non-tumour areas of liver was determined using hepatocytes isolated by laser microdissection (LM). Differential profiles established with LM-hepatocytes and liver section homogenates using 2-DE and MS exhibited noticeable differences: 30% of the protein spots with deregulated expression in tumorous LM-samples did not display any modification in homogenates; conversely 15% of proteins altered in tumorous homogenates were not impaired in LM-hepatocytes. These alterations resulted from the presence in cirrhotic liver of fibrotic stroma which displayed a protein pattern different from that determined in LM-hepatocytes. In conclusion, our data demonstrate the interest of LM in distinguishing between fibrotic and hepatocyte proteome alterations and thus the benefit of LM to proteome studies of HCC developing in a context of cirrhosis.     

Étude de la précision de l’estimation de la densité spectrale de puissance croisée,obtenue par transformation de fourier de la fonction de corrélation

The authors compare two different estimators of the crosscorrelation function and show that they give equivalent estimators in the frequency domain. They calculate the first and second order moments of the estimator of the cross-spectral-density (DSPC)due to the statistical errors and the quantification of inputs. From these general formulas, they perform numerical calculations for a particular case and they compare them to practical measurements. They show the interesting fact, that the variance of the statistical errors on the dspc is inferior by estimating its phase than by estimating its module. Furthermore, the quantification of the inputs may influence the variance of the phase of the DSPC estimated.     

FISH ASSEMBLAGES IN NON‐REGULATED AND REGULATED RIVERS FROM PERMANENT AND TEMPORARY IBERIAN SYSTEMS

The effects of river regulation on the hydrological cycle of a river and on the respective fish assemblage may differ according to dam operation purpose and type of river analysed. To assess the spatial and temporal variation of fish assemblages and their response to the hydrological changes caused by two different types of flow regulation, we selected three sampling sites in four rivers with different levels of regulation, two in a permanent river system and another two on a temporary one, which we sampled in four different annual seasons. In the permanent system, hydroelectrical regulation decreased hydrological variability, which affected fluvial specialist species, benefitting the generalist ones, and created a more homogeneous community that presented less intra‐annual variation. In the temporary system, agricultural regulation caused an inversion of the hydrological cycle, maintaining a moderate flow volume throughout the drought period that benefited the introduced, generalist and more tolerant species. Monthly volume was recognized, in a temporal scale, as the most important hydrological feature for assemblages’ structure, predicting the intra‐annual variation of several ecological guilds. This study provides important considerations for dam management and riverine ecosystems conservation. Copyright © 2012 John Wiley & Sons, Ltd.     

A new robust algorithmic for multi-camera calibration with a 1D object under general motions without prior knowledge of any camera intrinsic parameter

In computer vision, camera calibration is a necessary process when the retrieval of information such as angles and distances is required. This paper addresses the multi-camera calibration problem with a single dimension calibration pattern under general motions. Currently, the known algorithms for solving this problem are based on the estimation of vanishing points. However, this estimate is very susceptible to noise, making the methods unsuitable for practical applications. Instead, this paper presents a new calibration algorithm, where the cameras are divided into binocular sets. The fundamental matrix of each binocular set is then estimated, allowing to perform a projective calibration of each camera. Then, the calibration is updated for the Euclidean space, ending the process. The calibration is possible without imposing any restrictions on the movement of the pattern and without any prior information about the cameras or motion. Experiments on synthetic and real images validate the new method and show that its accuracy makes it suitable also for practical applications.     

Post-cracking behaviour of steel fibre reinforced concrete

Recently, RILEM TC 162-TDF has proposed equivalent,f _eq , and residual,f _R , flexural tensile strength parameters to characterize and simulate the post-cracking behaviour of steel fibre reinforced concrete (SFRC) structures. In the current work, more than two hundred flexural tests are carried out according to the RILEM TC 162-TDF recommendations and the corresponding values off _eq andf _R parameters are evaluated. In series of specimens reinforced with fibres of a distinct length/diameter ratio, similar values off _eq andf _R parameters were obtained in these series. Although a strong correlation betweenf _eq andf _R was determined, a larger scatter off _R values was observed thereby revealingf _eq to be more appropriate for design purposes. A numerical strategy involving a cross sectional layered model and an inverse analysis was developed to evaluate the post-cracking stress-strain and the stress-crack opening diagrams for the tested SFRC. This strategy was also used to determine a relation between the post-cracking strain, ɛ ^pcr , and the crack opening displacement,w, (ɛ ^pcr =w/L _p ) which is useful for evaluating the crack opening when numerical strategies based on a stress-strain approach are used. The obtainedL _p values range from half the specimen cross section height to half the distance between the tip of the notch and the top of the cross section.

---

Résumé Récemment, pour caractériser et simuler le comportement post-fissuration en traction du béton renforcé des fibres d'acier, la Commission Technique 162-TDF de la RILEM a proposé des paramètres désignés par résistance équivalente, f_eq, et résistance résiduelle, f_R, à la contrainte en flexion. Dans le travail présent, des valeurs de ces paramètres sont obtenues sur plus de deux cents essais de flexion effectués en accord avec les recommandations du TC 162-TDF de la RILEM. Des valeurs semblables de f_eq et f_R ont été obtenues dans des séries d'éprouvettes renforcées avec des fibres d'un rapport longueur/diamètre distinct. Bien qu'une forte corrélation entre f_eq et f_R ait été déterminée, une plus grande dispersion de valeurs du f_R a été observée, en démontrant que f_eq est plus approprié pour les buts du projet. Pour évaluer les diagrammes contrainte-déformation et contrainte-ouverture après fissuration, une stratégie numérique a été développée, en utilisant un modèle de section et en effectuant une analyse inverse. Cette stratégie a aussi été utilisée pour déterminer une relation entre la contrainte après fissuration, ɛ ^pcr , et l'ouverture de fissure, w, (ɛ ^pcr =w/L _p ) utile pour évaluer l'ouverture de la fissure quand les stratégies numériques sont basées sur une approche contrainte-déformation. Les valeurs de L_p obtenues ont varié entre la demi-hauteur de la section de l'éprouvette et la demi-distance entre l'extrémité de l'entaille et le sommet de la section.

     

Towards the construction of workflow-suitable conceptual modelling techniques

Despite their high-level and graphical nature, workflow specifications require a significant amount of implementation detail — for example application programming interface, database access and programming mechanisms for information flow — for a more comprehensive validation than is currently possible. This is currently recognized as a deficiency in workflow conceptualization. Although conceptual modelling techniques are available which are expressive, comprehensive and precise enough, we believe, their concepts and features are not specialized enough for workflow domains. In this paper, we offer a comparative insight into techniques which characterize different aspects and approaches of workflow specifications. These are: structured process modelling, object-oriented modelling, behavioural process modelling and business-oriented modelling. In particular, we determine gaps for workflows capturing operational business transaction processing, for example those of insurance claims, bank loans and government-related registration. For technique construction, we describe five workflow suitability principles.     

Residual stress-affected diffusion during plasma nitriding of tool steels

Plasma nitriding of tool materials is common practice to improve the wear resistance and lifetime of tools. Machining-induced compressive residual stresses in shallow layers of some tenths of microns are observed accompanied by other characteristic properties of machined surfaces in these high-strength materials. After plasma nitriding of M2 high-speed steel, previously induced compressive residual stresses remain stable and the depth of diffusion layers decreases with increasing compressive residual stresses. This article reports investigations of plasma nitrided samples with different levels of residual stresses induced prior to the nitriding process. For comparison, experiments with bending load stresses during plasma nitriding have also been carried out. The plasma nitriding treatment was performed at constant temperature of 500 °C with a gas mixture of 5 vol pct N₂ in hydrogen. Nitriding time was varied from 30 to 120 minutes. All samples were characterized before and after plasma nitriding concerning microstructure, roughness, microhardness, chemical composition, and residual stress states. Experimental results are compared with analytical calculations on (residual) stress effects in diffusion and show a clear effect of residual and load stresses in the diffusion of nitrogen in a high-strength M2 tool steel.     

Load modeling at electric power distribution substations using dynamic load parameters estimation

This paper is focused on electric power distribution substations load modeling using dynamic load parameters estimation. The load parameters are estimated using two models: the exponential and the ZIP load models. Since the load bus voltage and parameters are known one can determine the active and reactive power injections of this bus and include these pseudo-measurements in the state estimation in order to improve observability and estimation accuracy. The dynamic parameter estimation is developed using the weighted least squares method in a recursive form and the tests are carried out based on actual measurements. It is shown that the estimated parameters (for both load models) at a distribution substation are valid, since the obtained active and reactive power residuals are very close to zero.     

On error estimator and p‐adaptivity in the generalized finite element method

This paper addresses the issue of a p‐adaptive version of the generalized finite element method (GFEM). The technique adopted here is the equilibrated element residual method, but presented under the GFEM approach, i.e., by taking into account the typical nodal enrichment scheme of the method. Such scheme consists of multiplying the partition of unity functions by a set of enrichment functions. These functions, in the case of the element residual method are monomials, and can be used to build the polynomial space, one degree higher than the one of the solution, in which the error functions is approximated. Global and local measures are defined and used as error estimator and indicators, respectively. The error indicators, calculated on the element patches that surrounds each node, are used to control a refinement procedure. Numerical examples in plane elasticity are presented, outlining in particular the effectivity index of the error estimator proposed. Finally, the ‐adaptive procedure is described and its good performance is illustrated by the last numerical example. Copyright © 2004 John Wiley & Sons, Ltd.