Probabilistically analysable real-time systems (PROARTIS)

Critical real-time ebedded (CRTE) Systems require safe and tight worst-case execution time (WCET) estimations to provide required safety levels and keep costs low. However, CRTE Systems require increasing performance to satisfy performance needs of existing and new features. Such performance can be only achieved by means of more agressive hardware architectures, which are much harder to analyze from a WCET perspective. The main features considered include cache memòries and multi-core processors.Thus, althoug such features provide higher performance, corrent WCET analysis methods are unable to provide tight WCET estimations. In fact, WCET estimations become worse than for simple rand less powerful hardware. The main reason is the fact that hardware behavior is deterministic but unknown and, therefore, the worst-case behavior must be assumed most of the time, leading to large WCET estimations. The purpose of this project is developing new hardware designs together with WCET analysis tools able to provide tight and safe WCET estimations. In order to do so, those pieces of hardware whose behavior is not easily analyzable due to lack of accurate information during WCET analysis will be enhanced to produce a probabilistically analyzable behavior. Thus, even if the worst-case behavior cannot be removed, its probabilty can be bounded, and hence, a safe and tight WCET can be provided for a particular safety level in line with the safety levels of the remaining components of the system. During the first year the project we have developed molt of the evaluation infraestructure as well as the techniques hardware techniques to analyze cache memories. During the second year those techniques have been evaluated, and new purely-softwar techniques have been developed.

De-hyping transmit diversity in modern MIMO cellular systems

A contemporary perspective on the tradeoff between transmit antenna diversity and spatial multi-plexing is provided. It is argued that, in the context of modern cellular systems and for the operating points of interest, transmission techniques that utilize all available spatial degrees of freedom for multiplexingoutperform techniques that explicitly sacrifice spatialmultiplexing for diversity. Reaching this conclusion, however, requires that the channel and some key system features be adequately modeled; failure to do so may bring about starkly different conclusions. As a specific example, this contrast is illustrated using the 3GPP Long-Term Evolution system design.

TCR-MHC class II interaction is required for peripheral expansion of CD4 cells in a T cell-deficient host.

It is well established that T cell-deficient nude and SCID mice can be reconstituted by i.v. injection of small numbers of purified peripheral CD4+ T cells; however, the requirements for expansion of the transferred T cells in such systems are not clear. We show here that blood and lymphoid organs of MHC class II-deficient mice (which selectively lack mature CD4+ T cells) cannot be reconstituted by transfer of purified splenic CD4+ T cells, whereas TCRalpha-deficient mice (which lack both CD4+ and CD8+ mature T cells) are readily reconstituted. The failure of CD4+ T cell reconstitution in MHC class II-deficient mice was not due to the presence of CD8+ T cells, since similar results were obtained in TCRalpha-MHC class II double-deficient mice. Consistent with most previous studies CD4+ T cells in reconstituted TCRalpha-deficient mice had a diverse TCR Vbeta repertoire and were predominantly of an activated/memory (CD44high) phenotype. Collectively our data demonstrate that the expansion of peripheral CD4+ T cells in a T cell-deficient host is dependent upon interactions of the TCR with MHC class II.

Controlled nerve growth factor release from multi-ply alginate/chitosan-based nerve conduits.

The delivery kinetics of growth factors has been suggested to play an important role in the regeneration of peripheral nerves following axotomy. In this context, we designed a nerve conduit (NC) with adjustable release kinetics of nerve growth factor (NGF). A multi-ply system was designed where NC consisting of a polyelectrolyte alginate/chitosan complex was coated with layers of poly(lactide-co-glycolide) (PLGA) to control the release of embedded NGF. Prior to assessing the in vitro NGF release from NC, various release test media, with and without stabilizers for NGF, were evaluated to ensure adequate quantification of NGF by ELISA. Citrate (pH 5.0) and acetate (pH 5.5) buffered saline solutions containing 0.05% Tween 20 yielded the most reliable results for ELISA active NGF. The in vitro release experiments revealed that the best results in terms of reproducibility and release control were achieved when the NGF was embedded between two PLGA layers and the ends of the NC tightly sealed by the PLGA coatings. The release kinetics could be efficiently adjusted by accommodating NGF at different radial locations within the NC. A sustained release of bioactive NGF in the low nanogram per day range was obtained for at least 15days. In conclusion, the developed multi-ply NGF loaded NC is considered a suitable candidate for future implantation studies to gain insight into the relationship between local growth factor availability and nerve regeneration.

Revenue management under general discrete choice model of consumer behavior

Customer choice behavior, such as 'buy-up' and 'buy-down', is an importantphe-nomenon in a wide range of industries. Yet there are few models ormethodologies available to exploit this phenomenon within yield managementsystems. We make some progress on filling this void. Specifically, wedevelop a model of yield management in which the buyers' behavior ismodeled explicitly using a multi-nomial logit model of demand. Thecontrol problem is to decide which subset of fare classes to offer ateach point in time. The set of open fare classes then affects the purchaseprobabilities for each class. We formulate a dynamic program todetermine the optimal control policy and show that it reduces to a dynamicnested allocation policy. Thus, the optimal choice-based policy caneasily be implemented in reservation systems that use nested allocationcontrols. We also develop an estimation procedure for our model based onthe expectation-maximization (EM) method that jointly estimates arrivalrates and choice model parameters when no-purchase outcomes areunobservable. Numerical results show that this combined optimization-estimation approach may significantly improve revenue performancerelative to traditional leg-based models that do not account for choicebehavior.

Optimization of multiclass queueing networks with changeover times via the achievable region approach: Part I, the single-station case

We address the performance optimization problem in a single-stationmulticlass queueing network with changeover times by means of theachievable region approach. This approach seeks to obtainperformance bounds and scheduling policies from the solution of amathematical program over a relaxation of the system's performanceregion. Relaxed formulations (including linear, convex, nonconvexand positive semidefinite constraints) of this region are developedby formulating equilibrium relations satisfied by the system, withthe help of Palm calculus. Our contributions include: (1) newconstraints formulating equilibrium relations on server dynamics;(2) a flow conservation interpretation of the constraintspreviously derived by the potential function method; (3) newpositive semidefinite constraints; (4) new work decomposition lawsfor single-station multiclass queueing networks, which yield newconvex constraints; (5) a unified buffer occupancy method ofperformance analysis obtained from the constraints; (6) heuristicscheduling policies from the solution of the relaxations.

On the justice of voting systems

What are the best voting systems in terms of utilitarianism? Or in terms of maximin, or maximax? We study these questions for the case of three alternatives and a class of structurally equivalent voting rules. We show that plurality, arguably the most widely used voting system, performs very poorly in terms of remarkable ideals of justice, such as utilitarianism or maximin, and yet is optimal in terms of maximax. Utilitarianism is bestapproached by a voting system converging to the Borda count, while the best way to achieve maximin is by means of a voting system converging to negative voting. We study the robustness of our results across different social cultures, measures of performance, and population sizes.

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.

Elaboració d'indicadors sobre SAGE Logic Class

El treball desenvolupat ha consistit en analitzar el sistema d'informació Logic Class sota la perspectiva de la necessitat de construir un sistema d'indicadors (quadre de comandament operatiu) que integri informació de les diferents fonts de dades.

Stochastic resonance in noisy nondynamical systems

We have analyzed the effects of the addition of external noise to nondynamical systems displaying intrinsic noise, and established general conditions under which stochastic resonance appears. The criterion we have found may be applied to a wide class of nondynamical systems, covering situations of different nature. Some particular examples are discussed in detail.

Characterization of soil structure and porosity under long-term conventional tillage and no-tillage systems

Different management systems tend to modify soil structure and porosity over the years. The aim of this study was to study modifications in the morphostructure and porosity of dystroferric Red Latosol (Oxisol) under conventional tillage and no-tillage over a 31- year period. The study began with the description of soil profiles based on the cropping profile method, to identify the most compact structures, define sample collection points for physical and chemical analysis, and determine the water retention curve. A forest soil profile was described and used as reference. The results showed that, under conventional tillage, the microaggregate structure of the Oxisol was fragmented between 0 and 0.20 m, and compact (bulk density = 1.52 Mg m-3) in the sub-surface layer between 0.20 and 0.50 m. Under no-tillage, the structure became compacted (bulk density = 1.40 Mg m-3) between 0 and 0.60 m, but contained fissures and biopores. The volume of the class with a pore diameter of > 100 µm under no-tillage was limited, but practically non-existent in the conventional management system. On the other hand, the classes with a pore diameter of < 100 µm were not affected by the type of soil management system.

Labile and stable fractions of soil organic matter under management systems and native cerrado

Soil organic matter can be analyzed on the basis of the different fractions. Changes in the levels of organic matter, caused by land use, can be better understood by alterations in the different compartments. The aim of this study was to evaluate the effect of different management systems on the labile and stable organic matter of a dystrophic Red Latosol (Oxisol). The following properties were determined: total organic C and total N (TOC and TN), particulate organic C and particulate N (POC and PN), organic C and N mineral-associated (MOC and NM) and particulate organic C associated with aggregate classes (POCA). Eight treatments were used: seven with soil management systems and one with native Cerrado as a reference. The experiment was designed to study the dynamics of systems of tillage and crop rotation, alternating in time and space. The experimental design was a randomized block design with three replications. The soil samples were collected from five depths: 0-5, 5-10, 10-20, 20-30 and 30-40 cm. Changes in organic C by land use occurred mainly in the fraction of particulate organic matter (> 53 mm). Proper management of grazing promoted increased levels of particulate organic matter by association with larger aggregates (2-8 mm), demonstrating the importance of the formation of this aggregate class for C protection in pasture.

Brief on Branstad-Reynolds administration Recommendations for World-Class School, January 6, 2012

In advance of the 2012 legislative session, I am pleased to provide for your review this legislative brief on Gov. Terry E. Branstad’s and Lt. Gov. Kim Reynolds’ education reform package. The purpose is to provide a broad overview of the components of the package, give some examples of where similar approaches are in place, and provide cost estimates. In collaboration with the Governor’s Office, the staff at the Iowa Department of Education and I have worked intensively to prepare a set of legislative proposals worthy of careful consideration. I believe this package puts us on the path to our unshakable vision of having one of the best school systems in the world. Iowa’s children deserve nothing less.

Dynamical Systems approach to Saffman-Taylor fingering. A Dynamical Solvability Scenario

A dynamical systems approach to competition of Saffman-Taylor fingers in a Hele-Shaw channel is developed. This is based on global analysis of the phase space flow of the low-dimensional ordinary-differential-equation sets associated with the classes of exact solutions of the problem without surface tension. Some simple examples are studied in detail. A general proof of the existence of finite-time singularities for broad classes of solutions is given. Solutions leading to finite-time interface pinchoff are also identified. The existence of a continuum of multifinger fixed points and its dynamical implications are discussed. We conclude that exact zero-surface tension solutions taken in a global sense as families of trajectories in phase space are unphysical because the multifinger fixed points are nonhyperbolic, and an unfolding does not exist within the same class of solutions. Hyperbolicity (saddle-point structure) of the multifinger fixed points is argued to be essential to the physically correct qualitative description of finger competition. The restoring of hyperbolicity by surface tension is proposed as the key point to formulate a generic dynamical solvability scenario for interfacial pattern selection.

Hamilton Jacobi theory for constrained systems

We extend the HamiltonJacobi formulation to constrained dynamical systems. The discussion covers both the case of first-class constraints alone and that of first- and second-class constraints combined. The HamiltonDirac equations are recovered as characteristic of the system of partial differential equations satisfied by the HamiltonJacobi function.