Safety should be designed into systems from their very conception, which can be achieved by integrating powerful hazard analysis techniques into the general systems engineering process. The primary barrier to achieving this objective is the lack of effectiveness of the existing analytical tools during early concept development. This paper introduces a new technique, which is based on a more pow...

The focus of this paper is approaches to measuring similarity for application in content-based query evaluation. Rather than only comparing at the level of words, the issue here is conceptual resemblance. The basis is a knowledge base defining major concepts of the domain and may include taxonomic and ontological domain knowledge. The challenge for support of queries in this context is an evalu...

A comparison is made between several scalar models for the formation of an image in a photoresist film with differing approximations and a vector model. It was found that up to numerical apertures of 0.7, a full scalar model showed no appreciable deviation from the vector model. However, when several common assumptions were made to simplify the scalar model, significant errors resulted at the h...

Weak coupling theory is applied to a model for firing waves in the procerebral lobe of the slug. Inhibitory synapses and electrical synapses have different synchronizing properties. We show that, in concert, these two types of coupling can cause a bifurcation to a patterned state from synchrony which ultimately develops into traveling waves. Normal forms for the bifurcation are computed, and th...

Existing studies suggest that, because knowledge is becoming more widely distributed, innovation increasingly needs to occur ‘at the interstices’ of collaborating groups and organizations. Networked innovation processes are therefore emphasized, over more hierarchical or market-based forms, as having distinct advantages for the creation and integration of knowledge. Whilst the structural proper...

We study a tissue interaction model on skin pattern formation proposed by Cruywagen and Murray [J. Nonlin. Sci., 2 (1992), 217–240]. We prove rigorously that the model has travelling wave solutions for all sufficiently large wave speeds, which were found numerically by Cruywagen, Maini, and Murray [J. Math. Biol., 33 (1994), 193– 210]. Our results also confirm the asymptotic expansions obtained...

We derive a rigorous scaling law for minimizers in a natural version of the regularized Cross-Newell model for pattern formation far from threshold. These energyminimizing solutions support defects having the same character as what is seen in experimental studies of the corresponding physical systems and in numerical simulations of the microscopic equations that describe these systems.

The focus of this paper is approaches to measuring similarity for application in content-based query evaluation. Rather than only comparing at the level of words, the issue here is conceptual resemblance. The basis is a knowledge base defining major concepts of the domain and may include taxonomic and ontological domain knowledge. The challenge for support of queries in this context is an evalu...

A new approach for the theoretical description of structure formation in acoustic avitation is developed. The model consists of two coupled partial differential equations describing the spatiotemporal evolution of the sound field amplitude and the bubble concentration. Linear stability analysis and numerical simulation• of the pattern formation are presented. The relation between this approach ...

Turing's model of pattern formation has been extensively studied analytically and numerically, and there is recent experimental evidence that it may apply in certain chemical systems. The model is based on the assumption that all reacting species obey the same type of boundary condition pointwise on the boundary. We call these scalar boundary conditions. Here we study mixed or nonscalar boundar...