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     

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.     

Tube-shaping unit — A way of improving the quality of shaped tubes

Lenin Dnepropetrovsk Pipe Plant. Translated from Metallurg, No. 8, p. 39, August, 1989.     

Three ways to implement interfacial techniques: application tomeasurements of chromatic dispersion, birefringence, and nonlinearsusceptibilities

Depending on the spectal width of the source illuminating an interferometer, measurement procedures can utilize either the whole interferogram, or only the fringe envelope, or only the fringe quick oscillations. With an ultraband spectrum source, a simplified adaptation of the methods of Fourier transform spectroscopy yields the variations of the test-fiber propagation constant over the whole wavelength-interval of the source. Chromatic dispersion can then be computed from a single interferogram. With narrower spectrum sources, only the fringe envelopes are utilized and yield measurements of mode delay, with application to chromatic and polarization mode dispersion. In this case, however, interferograms at several wavelengths are necessary. With even narrower spectrum sources, the fringe quick oscillations provide measurements of phase shifts, related to changes in the mode propagation constant, when outside perturbations are applied to the test fiber. A direct method for measuring the third-order nonlinear susceptibilities is discussed. In this case the outside perturbation is an intense pump laser field     

A comparison between the axial flux and the radial flux structures for PM synchronous motors

The aim of this paper is the comparison of the axial flux (AF) structures versus the conventional radial flux (RF) structures for permanent-magnet synchronous motors. The comparison procedure is based on simple thermal considerations. Two motor typologies are chosen and compared in terms of delivered electromagnetic torque. The comparison is developed for different motor dimensions and the pole number influence is put into evidence. The paper reports the complete comparison procedure and the related results analysis. The obtained results show that, when the axial length is very short and the pole number is high, the AF motors can be an attractive alternative to the conventional RF solutions.     

Incremental transmission loss allocation under pool dispatch

Incremental transmission loss analysis has been used for decades, but recent interest in its application to loss allocation calls for new in-depth results. This paper demonstrates that, for incremental methods to be applied correctly in loss allocation, it is first necessary to specify the load distribution and loss supply strategies. Incremental loss allocation among bus power injections is shown to be arbitrary and, therefore, open to challenge as discriminatory. Loss allocation is possible among incremental loads and/or generators, but the proportion of the total losses assigned to either one is arbitrary. Unique, nonarbitrary incremental loss allocations are however possible among the "equivalent" incremental bilateral exchanges between generators and loads. From these basic components it is possible then to calculate the allocation among generators or loads in any specified proportion. The main results, although developed initially for small increments, are extended to large variations. Finally, a general incremental loss allocation algorithm is developed and tested