This paper presents a unified formulation capable of systematically generating the governing symbolic equations for multibody, multidomain systems. The formulation is based on the principle of orthogonality, a powerful concept that serves as a generalization of the principle of virtual work and virtual power. Since it is a graph-theoretic approach, the formulation also provides significant flex...

The objective of this paper is to present a new formulation for the optimal scheduling of multipurpose batch plants where equipment redesign is considered simultaneously with the scheduling decisions. The equipment redesign is characterized by the implementation of modifications in the existent processing units so as to change their suitability to perform certain tasks, while regarding tasks’ c...

Techniques for the efficient successive under-approximation of the greatest fixpoint in TCTL formulas can be useful in fast refutation of inevitability properties and vacuity checking. We first give an integrated algorithmic framework for both under and over-approximate model-checking. We design the NZF (Non-Zeno Fairness) predicate, with a greatest fixpoint formulation, as a unified framework ...

We present a unified formulation for describing the dynamics of a new class of aquatic multi-body soft robots. This formulation accounts for the continuum hyperelastic nature of the vehicles and for the interaction with the dense fluid across which they dwell. We start by introducing the highly unconventional design concept of a soft underwater vehicle inspired by the octopus capable of swimmin...

The complex nature of the El Niño–Southern Oscillation (ENSO) is often simplified through the use of conceptual models, each of which offers a different perspective on the ocean–atmosphere feedbacks underpinning the ENSO cycle. One theory, the unified oscillator, combines a variety of conceptual frameworks in the form of a coupled system of delay differential equations. The system produces a se...

A formulation of the effective hybridization model is developed which describes Fermi-liquid Kondo and fractionalized (deconfinement spin-liquid-like) states with account possible magnetic ordering. unified consideration charge fluctuation performed within perturbation theory in gauge field treatment. The corresponding contributions to specific heat resistivity are compared.

Core Product Model (CPM) was developed at NIST as a high level abstraction for representing product related information, to support data exchange, in a distributive and a collaborative environment. In this paper, we extend the CPM to components with continuously varying material properties. Such components are becoming increasing important and popular due to progress in design, analysis and man...