The space of EDF deadlines: the exact region and a convex approximation

It is well known that the performance of computer controlled systems is heavily affected by delays and jitter occurring in the control loops, which are mainly caused by the interference introduced by other concurrent activities. A common approach adopted to reduce delay and jitter in periodic task systems is to decrease relative deadlines as much as possible, but without jeopardizing the schedulability of the task set. In this paper, we formally characterize the region of admissible deadlines so that the system designer can appropriately select the desired values to maximize a given performance index defined over the task set. Finally we also provide a sufficient region of feasible deadlines which is proved to be convex.

Phage-resistant mutants of Lactobacillus delbrueckii may have functional properties that differ from those of parent strains

Three commercial phage sensitive Lactobacillus delbrueckii strains (identified as Ab(1), YSD V and Ib(3)), and four spontaneous phage-resistant mutants isolated from them were tested for their capacity to activate the gut mucosal immune response in mice, as indicated by the numbers of IgA-producing cells. Random Amplified Polymorphic DNA (RAPD) analysis revealed a strong genetic homology between the sensitive strains and their respective derivatives. The phage-resistant mutants exhibited high levels of phage resistance, elevated stability of this phenotype and technological properties comparable to those of their respective parent strains. The tolerance to acidic conditions, bile salts and lysozyme was strain dependent and total cell viability losses as a result of exposure to all three stresses ranged from 2.0 to 3.7 log units. All the strains were highly resistant to a simulated gastric solution of pH 3, while significant additional losses in cell viability were observed when acid treated cells were exposed to bile salts and lysozyme. BALB/c mice received pure cultures of Lb. delbrueckii sensitive and phage-resistant strains for 2, 5 or 7 consecutive days. The ability of the parent strains to activate the small intestine immune response was preserved or enhanced in phage-resistant mutants. The maximal proliferation of IgA(+) cells was observed at day 5 or 7, depending on the strain. Mutants isolated in this study using natural selection strategies had improved phage resistance, adequate technological properties and satisfactory gut mucosal immunostimulation ability, and so would be good candidates for industrial applications in functional foods.     

Fibonacci: A programming language for object databases

Fibonacci is an object-oriented database programming language characterized by static and strong typing, and by new mechanisms for modeling data-bases in terms of objects with roles, classes, and associations. A brief introduction to the language is provided to present those features, which are particularly suited to modeling complex databases. Examples of the use of Fibonacci are given with reference to the prototype implementation of the language.     

Understanding user requirements and preferences for a digital library Web portal

This article reports the findings of a user study conducted in the context of the TELplus project to gain insights about user needs and preferences for the digital library services offered by The European Library Web portal. The user requirements collection for the Web portal was designed by adopting a comprehensive survey approach. This combined explicit user feedback with implicit usage data so as to provide a more in-depth analysis of user experience with the portal. The analysis conducted shed light on likely motivations for both participant usage and reluctance to use the services provided, leading to more informed decisions on how to refine, improve, and present Web portal services to their future users. The lessons learnt from this case study also contributed to the development of an integrated methodological framework which provided insights for the future design and evaluation of digital library Web portals and services.     

Constraint-based deductive model checking

We show that constraint logic programming (CLP) can serve as a conceptual basis and as a practical implementation platform for the model checking of infinite-state systems. CLP programs are logical formulas (built up from constraints) that have both a logical interpretation and an operational semantics. Our contributions are: (1) a translation of concurrent systems (imperative programs) into CLP programs with the same operational semantics; and (2) a deductive method for verifying safety and liveness properties of the systems which is based on the logical interpretation of the CLP programs produced by the translation. We have implemented the method in a CLP system and verified well-known examples of infinite-state programs over integers, using linear constraints here as opposed to Presburger arithmetic as in previous solutions. Published online: 18 July 2001     

An Evolutionary Model of Endogenous Business Cycles

In this paper, we present an evolutionary model of industry dynamics yielding endogenous business cycles with ‘Keynesian’ features. The model describes an economy composed of firms and consumers/workers. Firms belong to two industries. The first one performs R&D and produces heterogeneous machine tools. Firms in the second industry invest in new machines and produce a homogenous consumption good. Consumers sell their labor and fully consume their income. In line with the empirical literature on investment patterns, we assume that the investment decisions by firms are lumpy and constrained by their financial structures. Moreover, drawing from behavioral theories of the firm, we assume boundedly rational expectation formation. Simulation results show that the model is able to deliver self-sustaining patterns of growth characterized by the presence of endogenous business cycles. The model can also replicate the most important stylized facts concerning micro- and macro-economic dynamics. Indeed, we find that investment is more volatile than GDP; consumption is less volatile than GDP; investment, consumption and change in stocks are procyclical and coincident variables; employment is procyclical; unemployment rate is anticyclical; firm size distributions are skewed but depart from log-normality; firm growth distributions are tent-shaped. JEL Classifications: C15, C22, C49, E17, E22, E32.     

Assessing the potential of SeaWiFS and MODIS for estimating chlorophyll concentration in turbid productive waters using red and near-infrared bands

Bio-optical algorithms for remote estimation of chlorophyll-a concentration (Chl) in case-1 waters exploit the upwelling radiation in the blue and green spectral regions. In turbid productive waters other constituents, that vary independently of Chl, absorb and scatter light in these spectral regions. As a consequence, the accurate estimation of Chl in turbid productive waters has so far not been feasible from satellite sensors. The main purpose of this study was to evaluate the extent to which near-infrared (NIR) to red reflectance ratios could be applied to the Sea Wide Field-of-View Sensor (SeaWiFS) and the Moderate Imaging Spectrometer (MODIS) to estimate Chl in productive turbid waters. To achieve this objective, remote-sensing reflectance spectra and relevant water constituents were collected in 251 stations over lakes and reservoirs with a wide variability in optical parameters (i.e. 4 ≤ Chl ≤ 240 mg m^− 3; 18 ≤ Secchi disk depth ≤ 308 cm). SeaWiFS and MODIS NIR and red reflectances were simulated by using the in-situ hyperspectral data. The proposed algorithms predicted Chl with a relative random uncertainty of approximately 28% (average bias between − 1% and − 4%). The effects of reflectance uncertainties on the predicted Chl were also analyzed. It was found that, for realistic ranges of R_rs uncertainties, Chl could be estimated with a precision better than 40% and an accuracy better than ± 35%. These findings imply that, provided that an atmospheric correction scheme specific for the red-NIR spectral region is available, the extensive database of SeaWiFS and MODIS images could be used to quantitatively monitor Chl in turbid productive waters.     

Effect of the stage of growth,wilting and inoculation in field pea (Pisum sativum L.) silages. II. Nitrogen fractions and amino acid compositions of herbage and silage

The aim of the study was to investigate the effects of stage of maturity, wilting and inoculant application on proteolysis in field pea herbage and silage in northern Italy. Semi‐leafless field peas were harvested at four progressive morphological stages (end of flowering, I; beginning of pod filling, II; advanced pod filling, III; beginning of ripening, IV). For each stage of growth, the herbage was field wilted to a dry matter (DM) content around 330 g kg^?1. The unwilted and wilted herbages were ensiled with (I) and without (C) a lactic acid bacteria (LAB) inoculant. The stage of growth significantly affected all the nitrogen fraction concentrations both in herbage and in silage. Extensive proteolysis took place in silages made at early morphological stages and characterised by a high crude protein content (around 240 g kg^?1 DM), as shown by the non‐protein nitrogen (NPN) value (around 700 g kg^?1 total N or higher). Neither inoculum nor wilting helped to reduce the protein degradation in these silages. The level of proteolysis was reduced in silages made from the pod filling stage onwards where most of the protein was localised in the seed and a better fermentation pattern was observed. The amino acid (AA) composition of silages made at stage IV was close to that of fresh herbage, with minimal losses of nutritionally essential amino acids for ruminants. Copyright © 2006 Society of Chemical Industry     

Ceramic Microtubes from Preceramic Polymers

A novel process for the production of ceramic microtubes involving the microextrusion of preceramic polymers was studied. Microtubes with a wide range of inner and outer diameters and several centimeters long were produced from two silicone resins. A coextrusion approach was also used to extend the forming capability of the technique. The addition of carbon black resulted in electrically conductive silicon oxycarbide (SiOC) ceramic microtubes. SiOC microtubes possessed a high bending strength, ranging from ∼30–1100 MPa.