Synthesis of dynamic systems

FORTRAN matrix analysis /FORMA/ program finds solutions of small and medium size structural dynamics problems of up to 150 deg of freedom

Data Systems Dynamic Simulator

The Data System Dynamic Simulator (DSDS) is a discrete event simulation tool. It was developed for NASA for the specific purpose of evaluating candidate architectures for data systems of the Space Station era. DSDS provides three methods for meeting this requirement. First, the user has access to a library of standard pre-programmed elements. These elements represent tailorable components of NASA data systems and can be connected in any logical manner. Secondly, DSDS supports the development of additional elements. This allows the more sophisticated DSDS user the option of extending the standard element set. Thirdly, DSDS supports the use of data streams simulation. Data streams is the name given to a technique that ignores packet boundaries, but is sensitive to rate changes. Because rate changes are rare compared to packet arrivals in a typical NASA data system, data stream simulations require a fraction of the CPU run time. Additionally, the data stream technique is considerably more accurate than another commonly-used optimization technique

On dynamic decoupling and dynamic path controllability in economic systems

In this paper the dynamic decouplability and dynamic path controllability of nonlinear discrete-time economic systems in state space form are discussed. Based on the observation that both properties are equivalent, a (theoretical) efficient way of target path controllability is proposed. This is illustrated for a fairly general example of a closed economy

Modes of Growth in Dynamic Systems

Regardless of a system's complexity or scale, its growth can be considered to be a spontaneous thermodynamic response to a local convergence of down-gradient material flows. Here it is shown how growth can be constrained to a few distinct modes that depend on the availability of material and energetic resources. These modes include a law of diminishing returns, logistic behavior and, if resources are expanding very rapidly, super-exponential growth. For a case where a system has a resolved sink as well as a source, growth and decay can be characterized in terms of a slightly modified form of the predator-prey equations commonly employed in ecology, where the perturbation formulation of these equations is equivalent to a damped simple harmonic oscillator. Thus, the framework presented here suggests a common theoretical under-pinning for emergent behaviors in the physical and life sciences. Specific examples are described for phenomena as seemingly dissimilar as the development of rain and the evolution of fish stocks.Comment: 16 pages, 6 figures, including appendi

Dynamic-Epistemic reasoning on distributed systems

We propose a new logic designed for modelling and reasoning about information flow and information exchange between spatially located (but potentially mobile), interconnected agents witnessing a distributed computation. This is a major problem in the field of distributed systems, covering many different issues, with potential applications from Computer Science and Economy to Chemistry and Systems Biology. Underpinning on the dual algebraical-coalgebraical characteristics of process calculi, we design a decidable and completely axiomatizad logic that combines the processalgebraical/ equational and the modal/coequational features and is developed for process-algebraical semantics. The construction is done by mixing operators from dynamic and epistemic logics with operators from spatial logics for distributed and mobile systems. This is the preliminary version of a paper that will appear in Proceedings of the second Conference on Algebra and Coalgebra in Computer Science (CALCO2007), LNCS 4624, Springer, 2007. The original publication is available at www.springerlink.co

Instability of Dynamic Inventory Systems

We show in this paper that instability is an intrinsic cause of production variability in a dynamic inventory system. We first show that a unique stationary optimal policy exists for both full-backlog and lost-sales case and under the policy a firm replenishes its inventory to a constant target level. We then express the constant inventory target as the unique steady state of the Euler’s equation governing the dynamics of target inventories. We finally show that the Euler’s equation is locally instable at the steady state but a sufficiently large refund to unsold inventory in lost-sales case can stabilize the inventory system.stability, production variability, dynamic inventory system, full-backlog, lost-sales