Shallow Linear Action Graphs and their Embeddings

Action calculi, which generalise process calculi such as Petri nets, π-calculusand ambient calculus, have been presented in terms of action graphs. We here offer linear action graphs as a primitive basis for action calculi. This paper presents the category of embeddings of undirected linear action graphs without nesting, using a novel form of graphical reasoning which simplifies some otherwise complex manipulations in regular algebra. The results are adapted in a few lines to directed graphs. This work is part of a long-term search for a uniform behavioural theory for process calculi. Received October 2000 / Accepted in revised form April 2001     

Network topology and the theory of rubber elasticity

The earliest investigations on rubber elasticity, commencing in the 19th century, were necessarily limited to phenomenological interpretations. The realisation that polymers consist of very long molecular chains. commencing c. 1930, gave impetus to the molecular theory of rubber elasticity (1932-). according to which the high deformability of an elastomer, and the elastic force generated by deformation, stem from the configurations accessible to long molecular chains. Theories of rubber elasticity put forward from 1934-1946 relied on the assumption that the junctions of the rubber network undergo displacements that are affine in macroscopic strain. The theory of James and Guth (1947) dispensed with this premise, and demonstrated instead that the mean positions of the junctions of a ‘phantom’ network consisting of Gaussian chains devoid of material properties are affine in the strain. The vital significance of the distinction between the actual distribution of chain vectors in a network and their distribution if the junctions would be fixed at their mean positions went unnoticed for nearly 30 years. Experimental investigations, commencing with the incisive work of Gee in 1946. revealed large departures from the relationship of stress to strain predicted by the theories cited. This discrepancy prompted extensive studies, theoretical and experimental, during succeeding years. Inquiry into the fundamentals of polymer networks, formed for example by interlinking very long polymer molecules, exposed the need to take account of network imperfections, typically consisting of chains attached at only one end to a network junction. Various means were advocated to make corrections for these imperfections. The cycle rank ζ of the network has been shown (1976) to be the fundamental measure of its connectivity, regardless of the junction functionality and pattern of imperfections. Often overlooked is the copious interpenetration of the chains comprising typical elastomeric networks. Theories that attempt to represent such networks on a lattice are incompatible with this universal feature. Moreover, the dense interpenetration of chains may limit the ability of junctions in real networks to accommodate the fluctuations envisaged in the theory of phantom networks. It was suggested in 1975 that departures from the form predicted for the elastic equation of state are due to constraints on the fluctuations of junctions whose effect diminishes with deformation and with dilation. Formulation of a self-consistent theory based on this suggestion required recognition of the non-affine connection between the chain vector distribution function and the macroscopic strain in a real network, which may partake of characteristics of a phantom network in some degree. Implementation of the idea was achieved through postulation of domains of constraint affecting the equilibrium distribution of fluctuations of network junctions from their mean positions. This led in due course to a theory that accounts for the relationship of stress to strain virtually throughout the ranges of strain accessible to measurement. The theory establishes connections between structure and elastic properties. This is achieved with utmost frugality in arbitrary parameters.     

Magnetic field dependence of shielding current density in Y-Ba-Cu-O rings at 77 K

A method for contactless measurement of the shielding critical current density and its dependence on the external magnetic field is described and analyzed. The obtained values are compared with those measured resistively on two different samples. It is shown that the shielding critical current densityJ _cs and the intergranular transport current densityJ _cr are identical if the measurement conditions are similar. A degradation ofJ _cs measured in the external field with AC ripple has been observed.     

Analysis of a stiffener intersection eccentricity in a steel containment

Containment structures have several regions in which the continuity of the cylindrical pressure boundary is interrupted, e.g., shell penetrations, discontinuous stiffeners, and changes in the shell thickness. Significant strain concentrations can occur in these areas of discontinuity. The Sandia National Laboratories 1:8-scale steel containment equipment hatch was analyzed as an example of an eccentricity at a stiffener intersection.A portion of the as-built 1:8-scale model was modeled with the ANSYS general purpose finite element program using triangular, thin shell finite elements. The overall size of the model was determined from Saint-Venant type considerations of the stress field around the hatch. Shell elements were used to model the ring and formed stiffeners. Geometric and material nonlinear behavior were included. The model was loaded using discrete load steps up to a pressure of 165 psig. At this pressure, the maximum strain was 19.7 percent in the formed stiffener near its intersection with the ring stiffener. The finite element solution demonstrated the very localized nature of the strain field near the ring/formed stiffener intersection.In an attempt to reduce analysis costs, a small portion of the 1:8-scale model immediately surrounding the ring/formed stiffener intersection was selected for further analysis. Two smaller models, a ring/formed stiffener intersection and a ring/circular stiffener intersection, were studied. The models were significantly smaller than the regions used previously. A comparison of the two intersection models showed that the circular stiffener is a more efficient configuration.     

Thermal image analysis for polygraph testing

We have designed, developed, and tested a very promising thermal image analysis method for polygraph testing. The method achieved a correct classification rate of CCR= 84% on the test population to our avail. This method, once refined, can serve as an additional channel for increasing the reliability and accuracy of traditional polygraph examination. We extract subtle facial temperature fluctuation patterns through nonlinear heat transfer modeling. The modeling transforms raw thermal data to blood flow rate information. Then, we use the slope of the average periorbital blood flow rate as the feature of a binary classification scheme. The results come to support our previous laboratory findings about the importance of periorbital blood flow in anxious states.     

Power system analysis using space-vector transformation

In this paper, the space-vector transformation used in machine vector control is applied to power system analysis. The proposed method is used to model electric machines, power electronic converters, transformers, and transmission lines and to analyze power sources and loads with different connections (delta and wye). This method can also be applied to analyze steady-state (or transient phenomena) and unbalanced sources, including harmonics. Models obtained with this method are as simple as those of the per-phase approach. With the space-vector transformation, instantaneous active and reactive power concepts can be generalized, and new power system control strategies can be developed when power electronic converters are used. Steady-state, transient behavior, and harmonic analyses examples and applications are presented to illustrate the performance and advantages of the proposed method. This method can be extended to unbalanced systems (e.g., unsymmetric faults) using instantaneous symmetrical components in polyphase balanced circuits.     

Symmetry-breaking transitions in equilibrium shapes of coherent precipitates: Effect of elastic anisotropy and inhomogeneity

We examine the symmetry-breaking transitions in equilibrium shapes of coherent precipitates in two-dimensional (2-D) systems under a plane-strain condition with the principal misfit strain components ε* _xx and ε* _yy . For systems with cubic elastic moduli, we first show all the shape transitions associated with different values of t=ε* _yy /ε* _xx . We also characterize each of these transitions, by studying its dependence on elastic anisotropy and inhomogeneity. For systems with dilatational misfit (t=1) and those with pure shear misfit (t=−1), the transition is from an equiaxed shape to an elongated shape, resulting in a break in rotational symmetry. For systems with nondilatational misfit (−1<t<1; t ≠ 0), the transition involves a break in mirror symmetries normal to the x- and y-axes. The transition is continuous in all cases, except when 0<t<1. For systems which allow an invariant line (−1≤t<0), the critical size increases with an increase in the particle stiffness. However, for systems which do not allow an invariant line (0<t≤1), the critical size first decreases, reaches a minimum, and then starts increasing with increasing particle stiffness; moreover, the transition is also forbidden when the particle stiffness is greater than a critical value.     

IEEE Richard Harold Kaufmann Award Call for Nominations

This letter further discusses the difference between different definitions of voltage unbalance. Contrary to an earlier letter (see P. Pillay et al., ibid., vol.5, p.50-1, 2001), it is concluded that different definitions may give significantly different results. The two IEEE definitions that were not discussed in the earlier letter give different results and both deviate significantly from the true value (ratio of negative, and positive-sequence voltage) when a zero-sequence component is present.