A new model for drainage of static foams

Existing theories of foam drainage assume bubbles as pentagonal dodecahedrons, though a close-packed structure built with cells of this shape is not space-filling. The present work develops a theory for calculating drainage rates based on the more realistic beta-tetrakaidecahedral shape for the bubbles. In contrast with the earlier works, three types of films, and Plateau borders had to be considered in view of the more complex shape used in the present work. The exchange of liquid between Plateau borders was treated in a way different From earlier theories, using the idea that the volume of junctions of Plateau borders is negligible. For foams made of large bubble sizes, the present model performs as well as the previous models, but when bubble size is small, its predictions of drainage rates from static foams are in better agreement with the experimental observations.

Isomerisation of 4-aryl-4-methylhex-5-en-2-ones to 5-aryl-4-methylhex-5-en-2-ones by an intramolecular ene-retro ene reaction sequence

Acid-catalysed thermal rearrangement of 4-aryl-4-methylhex-5-en-2-ones (products of the Claisen rearrangement of beta-methylcinnamyl alcohols and 2-methoxypropene) to isomeric 5-aryl-4-methylhex-5-en-2-ones via an intramolecular ene reaction of the enol tautomer followed by a retro ene reaction of the resultant acetylcyclopropane is described. Formation of the known diketone 13 via the ozonolysis of the rearrangement product 10, confirmed the structures of the rearranged enones, whereas formation of the enone 15 containing an extra methyl group on the styrene double bond confirmed the proposed mechanism. Finally, the rearrangement has been extended to the formal synthesis of beta-cuparenone 20 via the enones 22 and 23.

Mechanistic approach to the shear strength behaviour of allophanic soils

The presence of allophane minerals imparts special engineering features to the volcanic ash soils. This study examines the reasons for the allophanic soils exhibiting unusual shear strength properties in comparison to sedimentary clays. The theories of residual shear strength developed for natural soils and artificial soil mixtures and the unusual surface charge properties of the allophane particle are invoked to explain the high shear strength values of these residual soils. The lack of any reasonable correlation between phi' (effective stress-strength parameter) and plasticity index values for allophanic soils is explained on the basis of the unusual structure of the allophane particle. The reasons as to why natural soil slopes in allophanic soil areas (example, Dominica, West Indies) are stable at much steeper angles than natural slopes in sedimentary clay deposits (London clay areas) are explained in light of the hypothesis developed in this study.

Special Issue: Engineering applications of representations of function, Part 1

In engineering design, the end goal is the creation of an artifact, product, system, or process that fulfills some functional requirements at some desired level of performance. As such, knowledge of functionality is essential in a wide variety of tasks in engineering activities, including modeling, generation, modification, visualization, explanation, evaluation, diagnosis, and repair of these artifacts and processes. A formal representation of functionality is essential for supporting any of these activities on computers. The goal of Parts 1 and 2 of this Special Issue is to bring together the state of knowledge of representing functionality in engineering applications from both the engineering and the artificial intelligence (AI) research communities.

Study of the dynamics of protein folding through minimalistic models

Starting with the Levinthal paradox, a brief introduction to the protein folding problem is presented. The existing theories of protein folding, including the folding funnel scenario, are discussed. After briefly discussing different simulation studies of model proteins, we discuss our recent work on the dynamics of folding of the model HP-36 (the chicken villin headpiece) protein by using a simplified hydropathy scale. Special attention has been paid to the statics and dynamics of contact formation among the hydrophobic residues. The results obtained from this simple model appear to be surprisingly similar to several features observed in the folding of real proteins. The account concludes with a discussion of future problems.

A relook at Reissner's theory of plates in bending

Shear deformation and higher order theories of plates in bending are (generally) based on plate element equilibrium equations derived either through variational principles or other methods. They involve coupling of flexure with torsion (torsion-type) problem and if applied vertical load is along one face of the plate, coupling even with extension problem. These coupled problems with reference to vertical deflection of plate in flexure result in artificial deflection due to torsion and increased deflection of faces of the plate due to extension. Coupling in the former case is eliminated earlier using an iterative method for analysis of thick plates in bending. The method is extended here for the analysis of associated stretching problem in flexure.

Representation of evidence: An approach to uncertainty handling in knowledge-based systems

Many knowledge based systems (KBS) transform a situation information into an appropriate decision using an in built knowledge base. As the knowledge in real world situation is often uncertain, the degree of truth of a proposition provides a measure of uncertainty in the underlying knowledge. This uncertainty can be evaluated by collecting `evidence' about the truth or falsehood of the proposition from multiple sources. In this paper we propose a simple framework for representing uncertainty in using the notion of an evidence space.

Checking Liveness Properties of Presburger Counter Systems Using Reachability Analysis

Counter systems are a well-known and powerful modeling notation for specifying infinite-state systems. In this paper we target the problem of checking liveness properties in counter systems. We propose two semi decision techniques towards this, both of which return a formula that encodes the set of reachable states of the system that satisfy a given liveness property. A novel aspect of our techniques is that they use reachability analysis techniques, which are well studied in the literature, as black boxes, and are hence able to compute precise answers on a much wider class of systems than previous approaches for the same problem. Secondly, they compute their results by iterative expansion or contraction, and hence permit an approximate solution to be obtained at any point. We state the formal properties of our techniques, and also provide experimental results using standard benchmarks to show the usefulness of our approaches. Finally, we sketch an extension of our liveness checking approach to check general CTL properties.

Direct measurements of growing amorphous order and non-monotonic dynamic correlations in a colloidal glass-former

The transformation of flowing liquids into rigid glasses is thought to involve increasingly cooperative relaxation dynamics as the temperature approaches that of the glass transition. However, the precise nature of this motion is unclear, and a complete understanding of vitrification thus remains elusive. Of the numerous theoretical perspectives(1-4) devised to explain the process, random first-order theory (RFOT; refs 2,5) is a well-developed thermodynamic approach, which predicts a change in the shape of relaxing regions as the temperature is lowered. However, the existence of an underlying `ideal' glass transition predicted by RFOT remains debatable, largely because the key microscopic predictions concerning the growth of amorphous order and the nature of dynamic correlations lack experimental verification. Here, using holographic optical tweezers, we freeze a wall of particles in a two-dimensional colloidal glass-forming liquid and provide direct evidence for growing amorphous order in the form of a static point-to-set length. We uncover the non-monotonic dependence of dynamic correlations on area fraction and show that this non-monotonicity follows directly from the change in morphology and internal structure of cooperatively rearranging regions(6,7). Our findings support RFOT and thereby constitute a crucial step in distinguishing between competing theories of glass formation.

Dynamics of Glass Forming Liquids with Randomly Pinned Particles

It is frequently assumed that in the limit of vanishing cooling rate, the glass transition phenomenon becomes a thermodynamic transition at a temperature T-K. However, with any finite cooling rate, the system falls out of equilibrium at temperatures near T-g(> T-K), implying that the very existence of the putative thermodynamic phase transition at T-K can be questioned. Recent studies of systems with randomly pinned particles have hinted that the thermodynamic glass transition may be observed for liquids with randomly pinned particles. This expectation is based on the results of approximate calculations that suggest that the thermodynamic glass transition temperature increases with increasing concentration of pinned particles and it may be possible to equilibrate the system at temperatures near the increased transition temperature. We test the validity of this prediction through extensive molecular dynamics simulations of two model glass-forming liquids in the presence of random pinning. We find that extrapolated thermodynamic transition temperature T-K does not show any sign of increasing with increasing pinning concentration. The main effect of pinning is found to be a rapid decrease in the kinetic fragility of the system with increasing pin concentration. Implications of these observations for current theories of the glass transition are discussed.

A Generalization of Gravity

I consider theories of gravity built not just from the metric and affine connection, but also other (possibly higher rank) symmetric tensor(s). The Lagrangian densities are scalars built from them, and the volume forms are related to Cayley's hyperdeterminants. The resulting diff-invariant actions give rise to geometric theories that go beyond the metric paradigm (even metric-less theories are possible), and contain Einstein gravity as a special case. Examples contain theories with generalizeations of Riemannian geometry. The 0-tensor case is related to dilaton gravity. These theories can give rise to new types of spontaneous Lorentz breaking and might be relevant for ``dark'' sector cosmology.

On the detection of human influence in extreme precipitation over India

Climate change is expected to influence extreme precipitation which in turn might affect risks of pluvial flooding. Recent studies on extreme rainfall over India vary in their definition of extremes, scales of analyses and conclusions about nature of changes in such extremes. Fingerprint-based detection and attribution (D&A) offer a formal way of investigating the presence of anthropogenic signals in hydroclimatic observations. There have been recent efforts to quantify human effects in the components of the hydrologic cycle at large scales, including precipitation extremes. This study conducts a D&A analysis on precipitation extremes over India, considering both univariate and multivariate fingerprints, using a standardized probability-based index (SPI) from annual maximum one-day (RX1D) and five-day accumulated (RX5D) rainfall. The pattern-correlation based fingerprint method is used for the D&A analysis. Transformation of annual extreme values to SPI and subsequent interpolation to coarser grids are carried out to facilitate comparison between observations and model simulations. Our results show that in spite of employing these methods to address scale and physical processes mismatch between observed and model simulated extremes, attributing changes in regional extreme precipitation to anthropogenic climate change is difficult. At very high (95%) confidence, no signals are detected for RX1D, while for the RX5D and multivariate cases only the anthropogenic (ANT) signal is detected, though the fingerprints are in general found to be noisy. The findings indicate that model simulations may underestimate regional climate system responses to increasing human forcings for extremes, and though anthropogenic factors may have a role to play in causing changes in extreme precipitation, their detection is difficult at regional scales and not statistically significant. (C) 2015 Elsevier B.V. All rights reserved.

Use of polydispersity index as control parameter to study melting/freezing of Lennard-Jones system: Comparison among predictions of bifurcation theory with Lindemann criterion, inherent structure analysis and Hansen-Verlet rule

Using polydispersity index as an additional order parameter we investigate freezing/melting transition of Lennard-Jones polydisperse systems (with Gaussian polydispersity in size), especially to gain insight into the origin of the terminal polydispersity. The average inherent structure (IS) energy and root mean square displacement (RMSD) of the solid before melting both exhibit quite similar polydispersity dependence including a discontinuity at solid-liquid transition point. Lindemann ratio, obtained from RMSD, is found to be dependent on temperature. At a given number density, there exists a value of polydispersity index (delta (P)) above which no crystalline solid is stable. This transition value of polydispersity(termed as transition polydispersity, delta (P) ) is found to depend strongly on temperature, a feature missed in hard sphere model systems. Additionally, for a particular temperature when number density is increased, delta (P) shifts to higher values. This temperature and number density dependent value of delta (P) saturates surprisingly to a value which is found to be nearly the same for all temperatures, known as terminal polydispersity (delta (TP)). This value (delta (TP) similar to 0.11) is in excellent agreement with the experimental value of 0.12, but differs from hard sphere transition where this limiting value is only 0.048. Terminal polydispersity (delta (TP)) thus has a quasiuniversal character. Interestingly, the bifurcation diagram obtained from non-linear integral equation theories of freezing seems to provide an explanation of the existence of unique terminal polydispersity in polydisperse systems. Global bond orientational order parameter is calculated to obtain further insights into mechanism for melting.

BIOCARDS AND LEVEL OF ABSTRACTION

Biocards are formal descriptions of biological phenomena and their underlying functional principles. They are used in bioinspired design to document search results and to communicate the findings for use in the further design process. The present study explored the effect of abstraction level used in biocards. This was done in two workshops conducted with design students in Denmark and India. Students were given a design assignment and instructions for how to perform the BID ideation work. Half of the students were given biocards with abstract descriptions while the other half got biocards with concrete descriptions. The novelty of found solutions was evaluated by the students by rating novelty of each solution on a scale from 1 to 5. Mean values for abstract descriptions were 0,3 higher than for concrete descriptions indicating that more innovative solutions were found when students used biocards with abstract descriptions compared to concrete descriptions. The difference in mean value is significant with a confidence level better than 1%. It seems likely that more abstract descriptions in biocards helps avoiding design fixation in biomimetic design work.