This paper describes the application of rigorous first principle process models corrected using real time online process data to match current plant response. Marrying detailed and rigorous first principle models, embodying converged heat and material balances, with real-time on-line process data, using State Estimation technology for correction, provides the ideal means of obtaining on-line re...

The choice of a particular algorithm for solving a given class of constraint satisfaction problems is often confused by exceptional behaviour of algorithms. One method of reducing the impact of this exceptional behaviour is to adopt an adaptive philosophy to constraint satisfaction problem solving. In this paper we describe one such adaptive algorithm based on the principle of chaining and desi...

The precautionary principle is an emerging principle of international law but has only recently been proposed in North America as a new basis for environmental policy. On the surface it is a simple, commonsense proposition: in the face of possible harm, exercise precaution. But the enthusiasm the principle has stirred among public advocates suggests it has a deeper appeal. It is, in fact, based...

We propose a first principle computation of the thermodynamics of simple fragile glasses starting from the two body interatomic potential. A replica formulation translates this problem into that of a gas of interacting molecules, each molecule being built of m atoms, and having a gyration radius (related to the cage size) which vanishes at zero temperature. We use a small cage expansion, valid ...

We present a way of topologizing sets of Galois types over structures in abstract elementary classes with amalgamation. In the elementary case, the topologies thus produced refine the syntactic topologies familiar from first order logic. We exhibit a number of natural correspondences between the model-theoretic properties of classes and their constituent models and the topological properties of...

Saturation-based calculi such as superposition can be successfully instantiated to decision procedures for many decidable fragments of first-order logic. In case of termination without generating an empty clause, a saturated clause set implicitly represents a minimal model for all clauses, based on the underlying term ordering of the superposition calculus. In general, it is not decidable wheth...

Disagreeing with Williamson on vagueness, the author proposes a solution that he calls “three-valued plurivaluationism” to the age-old sorites paradox. In essence, it is a three-valued semantics for a first-order language with identity with the additional suggestion that a vague language has more than one correct interpretation. Unlike the traditional three-valued approach to a vague language, ...

Abstract Fully electric environmental control systems for aircraft are designed but currently rarely implemented. Simulation models of such in the early design phase have shown a lot challenges: high power demand, complex architecture, difficult strategies and sizing. In order to explore what performance figures physically possible, first principle model has been developed on basis purely therm...