An optimal time to sleep for an auto-sleep system considering multi-usage states

An auto-sleep system is defined by the following two properties:

• 1.(i) a call for the system occurs randomly and intermittently
• 2.(ii) the system automatically goes to sleep if there occurs no call during a prespecified time T.

It considers four states:

• 1.(a) sleep
• 2.(b) warm-up
• 3.(c) nonusage
• 4.(d) usage.

For such a system, the time to sleep has been discussed based on suitable criteria. This study extends the model for an auto-sleep system so that the model can deal with multi-usage states. With a view to determining an optimal time to sleep under the extended model, the expected energy consumed per unit time is formulated as a criterion to be minimized. The existence of an optimal time to sleep is examined under a general call distribution. Numerical examples are also provided for a Weibull as well as a log-normal call distribution.     

System dynamics and feedback control problem formulations for real time dynamic traffic routing

This paper formulates the Dynamic Traffic Routing (DTR) problem as a real-time feedback control problem. Three different forms of the formulation are presented:

• 1.(1) distributed parameter system form derived from the conservation law;
• 2.(2) space discretized continuous lumped parameter form;
• 3.(3) space and time discretized lumped parameter form.

These formulations can be considered as the starting points for development of feedback control laws for the different control problems stated in this paper. This paper presents the feedback control problems, and does not discuss in detail the methodology of solution techniques which could be used to solve these problems. However, for the sake of completeness a brief treatment of the three forms are included in this paper to show possible ways to design the controllers.     

Warranty cost analysis for second-hand products

For second-hand products sold with warranty, the expected warranty cost for an item to the manufacturer, depends on

• 1.(i) the age and/or usage as well as the maintenance history for the item
• 2.(ii) the terms of the warranty policy.

The paper develops probabilistic models to compute the expected warranty cost to the manufacturer when the items are sold with free replacement or pro rata warranties.     

Free energy and solutions of the Vlasov-Poisson-Fokker-Planck system: external potential and confinement (Large time behavior and steady states)

This paper is devoted to the characterization of external electrostatic potentials for which the Vlasov-Poisson-Fokker-Planck system satisfies one of the following properties:

• (i) the system admits stationary solutions,
• (ii) any solution to the evolution problem converges to a stationary solution, or, equivalently, no mass vanishes for large times,
• (iii) the free energy is bounded from below, We give conditions under which these different notions of confinement are equivalent.

     

Analysis of performance of an iron-bath reactor using computational fluid dynamics

The performance of an iron-bath reactor has been studied using a comprehensive numerical model that combines a computational fluid dynamics approach for the gas phase and a heat and mass balance model for the bath. The model calculates:

• •coal, ore, flux and oxygen consumption;
• •post-combustion ratio (PCR);
• •heat-transfer efficiency (HTE);
• •off-gas temperature and composition;
• •heat transfer and chemical reactions between gas and iron and slag droplets; and
• •heat transfer between gas and bath, refractories and lance.

The model was validated with data reported by the Nippon Steel Corporation for a 100 t pilot plant, and the calculated and measured data are in good agreement. Modelling results showed that the dominant mechanisms of heat transfer from the gas to the bath are radiation to the slag surface and convection heat transfer to droplets.     

A model for an age-structured population with two time scales

In the modelisation of the dynamics of a sole population, an interesting issue is the influence of daily vertical migrations of the larvae on the whole dynamical process. As a first step towards getting some insight on that issue, we propose a model that describes the dynamics of an age-structured population living in an environment divided into N different spatial patches. We distinguish two time scales: at the fast time scale, we have migration dynamics and at the slow time scale, the demographic dynamics. The demographic process is described using the classical McKendrick model for each patch, and a simple matrix model including the transfer rates between patches depicts the migration process. Assuming that the migration process is conservative with respect to the total population and some additional technical assumptions, we proved in a previous work that the semigroup associated to our problem has the property of positive asynchronous exponential growth and that the characteristic elements of that asymptotic behaviour can be approximated by those of a scalar classical McKendrick model. In the present work, we develop the study of the nature of the convergence of the solutions of our problem to the solutions of the associated scalar one when the ratio between the time scales is ε (0 < ε ⪡ 1). The main result decomposes the action of the semigroup associated to our problem into three parts:

• 1.(1) the semigroup associated to a demographic scalar problem times the vector of the equilibrium distribution of the migration process;
• 2.(2) the semigroup associated to the transitory process which leads to the first part; and
• 3.(3) an operator, bounded in norm, of order ε.

     

A model of the effects of nonuniform soil-water distribution on the subsurface migration of bacteria: Implications for land disposal of sewage

Australia produces one of the highest volumes of agricultural, industrial, and municipal wastes per capita in the world. Increasingly, the public is demanding statutory authorities investigate environmentally sound methods of land application. However, a real danger associated with land disposal of wastes, in particular sewage, is the possible contamination of groundwater and threats to public health resulting from transport of pathogenic micro-organisms through the vadose zone. The study of the transport and fate of micro-organisms in soils is also of vital importance in the fields of oil recovery, biological control of plant root diseases, and in-situ bioremediation of contaminated soils and aquifers from industrial accidents. The objectives of this paper are

• 1.(a) to explore the extent of spatial and temporal heterogeneity found in the soil-water patterns in Australian soils, and
• 2.(b) to establish the framework for a mathematical model of the population dynamics and mobility of soil bacterial transport through the unsaturated zone of soils.

The model explicitly incorporates spatial and temporal heterogeneity in describing these dynamics.     

On degree sequences of undirected,directed, and bidirected graphs

Bidirected graphs generalize directed and undirected graphs in that edges are oriented locally at every node. The natural notion of the degree of a node that takes into account (local) orientations is that of net-degree. In this paper, we extend the following four topics from (un)directed graphs to bidirected graphs:

• –Erdős–Gallai-type results: characterization of net-degree sequences,
• –Havel–Hakimi-type results: complete sets of degree-preserving operations,
• –Extremal degree sequences: characterization of uniquely realizable sequences, and
• –Enumerative aspects: counting formulas for net-degree sequences.

To underline the similarities and differences to their (un)directed counterparts, we briefly survey the undirected setting and we give a thorough account for digraphs with an emphasis on the discrete geometry of degree sequences. In particular, we determine the tight and uniquely realizable degree sequences for directed graphs.     

Probabilistic inequalities and remarks

The authors use their recently proved integral inequality to obtain bounds for the covariance of two random variables

• 1.in a general setup and
• 2.for a class of special joint distributions.

The same inequality is also used to estimate the difference of the expectations of two random variables. Finally, the authors study the attainability of a related inequality.     

A Note on Old Babylonian Computational Techniques

Analysis of the errors in two Old Babylonian “algebraic” problems shows

• •that the computations were performed on a device where additive contributions were no longer identifiable once they had entered the computation;
• •that this device must have been some kind of counting board or abacus where numbers were represented as collections of calculi;
• •that units and tens were represented in distinct ways, perhaps by means of different calculi.

© 2002 Elsevier Science (USA).Eine Analyse der Rechenfehler in zwei altbabylonischen “algebraischen” Aufgaben läßt mehrere Rückschlüsse auf ein Hilfsmittel zu, das zur Durchführung von Rechnungen benutzt worden sein kann:

• •Additive Beiträge waren nach ihrer Eintragung in die Rechnung nicht länger identifizierbar.
• •Das Gerät war eine Art Rechenbrett, auf welchem Zahlen als Haufen von Rechensteinen erschienen.
• •Einer und Zehner wurden in verschiedener Weise, evtl. mittels verschiedener Rechensteine repräsentiert.

© 2002 Elsevier Science (USA).MSC subject classification: 01A17.     

Oxygen dynamics in coastal and lagoon ecosystems

Aquatic systems with a high trophic level (for example some coastal lagoons connected with sea, estuaries, and the neighbourhood) can be affected by some dystrophic phenomena. The instability of these ecosystems greatly depends on the nutrients availability and on the meteorological and climatic conditions. The variation of these factors can produce fast evolution of dystrophic phenomena into anoxis crises: that is the depletion of oxygen in the water column that, starting from localized areas, can interest all the basin. Due to these modifications, great changes can be observed in the composition of the biotic community. These processes may be described by a reaction-diffusion system based on the following biological hypotheses:

• 1.(i) the primary production is assumed to be constant (in particular of macrophytes),
• 2.(ii) the model consists of the balance equations of some chemical species, in the water column and in the sediment at the bottom of the water,
• 3.(iii) a simplified formalization of reaction kinetics.

The model presented can be used to evaluate the influence of environmental factors, such as temperature, wind, and lighting on the level of oxygen, and it is described by a system of semilinear partial differential equations of parabolic type.A numerical study, based on the semidiscrete Galerkin Method with finite elements, is proposed. The present approach uses an iterative process of successive approximations which splits the system in three independent systems of linear equations. Finally, some results of numerical simulation of oxygen consumption, with reference to the lagoon of Orbetello (Tuscany, Italy), are presented and discussed.     

Symplectic geometry,minors and graph Laplacians

In my talk, I will present some works done in the nineties on Laplacians on graphs: from eigenvalue problems to inverse problem for resistor networks. I will focus on the motivations and the main results as well as on the main ideas:

• •A differential topology point of view on the minor relation: a nice stratification associated to a finite graph Γ whose strata are associated to the minors of Γ
• •“Discrete” (graphs) versus “continuous” (Riemannian manifolds)
• •Stability of spectra with respect to singular limits: a finite dimensional theory of operators with domains (Von Neumann theory).

The link with topology will appear in some results about my graph parameter μ, in particular the planarity and the linkless embedding properties.     

Softness of hypercoherences and MALL full completeness

We prove a full completeness theorem for multiplicative–additive linear logic (i.e. MALL) using a double gluing construction applied to Ehrhard’s *-autonomous category of hypercoherences. This is the first non-game-theoretic full completeness theorem for this fragment. Our main result is that every dinatural transformation between definable functors arises from the denotation of a cut-free MALL proof.Our proof consists of three steps. We show:

• •Dinatural transformations on this category satisfy Joyal’s softness property for products and coproducts.
• •Softness, together with multiplicative full completeness, guarantees that every dinatural transformation corresponds to a Girard MALL proof-structure.
• •The proof-structure associated with any dinatural transformation is a MALL proof-net, hence a denotation of a proof. This last step involves a detailed study of cycles in additive proof-structures.

The second step is a completely general result, while the third step relies on the concrete structure of a double gluing construction over hypercoherences.     

Multiparametric demand transportation problem

In some applications a minimum cost transportation model arises where supplies are fixed while demands may simultaneously vary. In this paper we analyse the structure of such a model and propose several techniques to describe its behaviour. Our approach is founded on the concept of optimal region, i.e., the subset of demand vectors where a given basic tree is optimal. The proposed algorithm consists in different pivoting strategies designed to:

• 1.build up a minimal list of basic trees such that the associated optimal regions cover the set of feasible demand vectors;
• 2.analyse the effects of either opening a new supplier or closing an existing one;
• 3.suitably treat the dual degenerate case by building up a minimal representation of every maximal region where the optimal value is linear in the demand vector.

Computational complexity is discussed and numerical examples are given.     

Modelling the motion of a three-link manipulator based on a plane with a time-dependent inclination

This work deals with the modelling of a three-link manipulator mounted on a plane with a time-dependent inclination. Two cases are considered.

• (i)The plane is part of a rigid body.
• (ii)The plane is in a moored ship.

     

Social theory and system dynamics practice

This paper explores the social theories implicit in system dynamics (SD) practice. Groupings of SD practice are observed in different parts of a framework for studying social theories. Most are seen to be located within `functionalist sociology'. To account for the remainder, two new forms of practice are discussed, each related to a different paradigm. Three competing conclusions are then offered:

• 1.The implicit assumption that SD is grounded in functionalist sociology is correct and should be made explicit.
• 2.Forrester's ideas operate at the level of method not social theory so SD, though not wedded to a particular social theoretic paradigm, can be re-crafted for use within different paradigms.
• 3.SD is consistent with social theories which dissolve the individual/society divide by taking a dialectical, or feedback, stance. It can therefore bring a formal modelling approach to the `agency/structure' debate within social theory and so bring SD into the heart of social science.

The last conclusion is strongly recommended.     

Stability and boundedness of a kind of third-order delay differential system

The paper studies equation (1.1) in two cases:

• •(i)p ≡ 0,
• •(ii)p ≠ 0.

In Case (i), the asymptotic stability of the solution x = 0 is studied; in Case (ii), the uniform boundedness and uniform ultimate boundedness of all solutions of (1.1) are proved.