Abstract:Giant micelles are elongated, polymer-like objects created by the self-assembly of amphiphilic molecules (such as detergents) in solution. Giant micelles are typically flexible, and can become highly entangled even at modest concentrations. The resulting viscoelastic solutions show fascinating flow behaviour (rheology) which we address theoretically in this article at two levels. First, we summarise advances in understanding linear viscoelastic spectra and steady-state nonlinear flows, based on microscopic constitutive models that combine the physics of polymer entanglement with the reversible kinetics of self-assembly. Such models were first introduced two decades ago, and since then have been shown to explain robustly several distinctive features of the rheology in the strongly entangled regime, including extreme shear-thinning. We then turn to more complex rheological phenomena, particularly involving spatial heterogeneity, spontaneous oscillation, instability, and chaos. Recent understanding of these complex flows is based largely on grossly simplified models which capture in outline just a few pertinent microscopic features, such as coupling between stresses and other order parameters such as concentration. The role of `structural memory' (the dependence of structural parameters such as the micellar length distribution on the flow history) in explaining these highly nonlinear phenomena is addressed. Structural memory also plays an intriguing role in the little-understood shear-thickening regime, which occurs in a concentration regime close to but below the onset of strong entanglement, and which is marked by a shear-induced transformation from an inviscid to a gelatinous state.

A Hierarchical Situation Calculus

Representing and Manipulating Situation Hierarchies Using Situation Lattices.

Constraint Function Based Hierarchical Control of Discrete Event Systems

Situation Calculus by Term Rewriting

Hierarchical states in the Compositional Interchange Format

Using Situation Lattices to Model and Reason about Context?

The expressive language ALCNHR+K(D) for knowledge reasoning

Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming

Internal and External Calculi: Ordering the Jungle without Being Lost in Translations

Abstracting Situation Calculus Action Theories

A Well-typed Lightweight Situation Calculus

Structural Multi-type Sequent Calculus for Inquisitive Logic

Casimir effect for the scalar field under Robin boundary conditions: A functional integral approach

Formal composition of hybrid systems

Rheology of giant micelles

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective

Algebraic Reasoning over Relational Structures

Hybrid: A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax

A Mathematical Approach to the Hierarchical Structure of Languages

Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories

Situation Calculus for Synthesis of Manufacturing Controllers