Gradient free energy in the axially anisotropic superfluid phases of 3He in the BCS approximation

We present the gradient free energy in the BCS approximation for the A phase in high magnetic fields and the A₁ phase. The A phase without external magnetic field, which has been considered previously by Blount and Cross, emerges as a special case of the result for the A phase in high magnetic fields.     

The gyrotron energy transfer equation

A gyrotron energy transfer equation for the interaction of an annular electron beam in a right-cylindrical cavity has been derived by a rigorous method similar to the one used by Choe and Ahn to find a gyrotron dispersion equation. This new energy transfer equation makes no assumption about the size of the electron orbits. The importance of various terms is discussed and the expression is applied to a number of interesting special cases.     

Bier

Ohne Zusammenfassung     

Automated generation of program translation and verification tools using annotated grammars

Automatically generating program translators from source and target language specifications is a non-trivial problem. In this paper we focus on the problem of automating the process of building translators between operations languages, a family of DSLs used to program satellite operations procedures. We exploit their similarities to semi-automatically build transformation tools between these DSLs. The input to our method is a collection of annotated context-free grammars. To simplify the overall translation process even more, we also propose an intermediate representation common to all operations languages. Finally, we discuss how to enrich our annotated grammars model with more advanced semantic annotations to provide a verification system for the translation process. We validate our approach by semi-automatically deriving translators between some real world operations languages, using the prototype tool which we implemented for that purpose.     

Volume and surface-area measurements using tomography,with an example from the Brenham pallasite meteorite

Increased computer speed has helped to proliferate tomography throughout the geosciences. Although best known from the medical CATscan, tomography is also a powerful tool for geological problems. Whereas qualitative tomography is widely used, quantitative data from tomograms are not so commonly available. Presented here are two programs, Electron Tomography Segmentation, surface Area, and Volume (ETSAV) and Electron Tomography CUTter (ETCut), that were written to obtain quantitative volume and surface-area data from tomograms. Based on a specified threshold value, ETSAV distinguishes objects within a tomogram and then returns volume and surface-area data for each object. If object separation is unsatisfactory using a single threshold, ETCut is called to digitally separate objects that appear connected in the tomogram, allowing ETSAV to perform its functions. By knowing the nature of the object of interest, error can be corrected to, on average, less than 5% for a single object; combined volumes of many particles of different sizes may result in lesser errors. A section of the Brenham pallasite meteorite was examined using the programs. Olivine comprises 67.2% of the volume (50.4% wt%), followed by FeNi metal at 23.1% (39.3% wt%), troilite at 4.4% (4.8% wt%), and schreibersite at 3.4% (5.5% wt%). In all, 56.1% and 44.7% of the troilite and schreibersite surface areas, respectively, border olivine, suggesting that they wet olivine. Since the programs can be applied to any tomogram, from any field, there are many potential applications.     

Computational algorithms for networks of queues with rejection blocking

Summary Open, closed and mixed queueing networks with reversible routing, multiple job classes and rejection blocking are investigated. In rejection blocking networks blocking event occurs when upon completion of its service of a particular station's server, a job attempts to proceed to its next station. If, at that moment, its destination station is full, the job is rejected. The job goes back to the server of the source station and immediately receives a new service. This is repeated until the next station releases a job and a place becomes available. In the model jobs may change their class membership and general service time distributions depending on the job class are allowed. Two station types are considered: Either the scheduling discipline is symmetric, in which case the service time distributions are allowed to be general and dependent on the job class or the service time distributions at a station are all identical exponential distributions, in which case more general scheduling disciplines are allowed. An exact product form solution for equilibrium state probabilities is presented. Using the exact product form solution of the equilibrium state distribution, algorithms for computation of performance measures, such as mean number of jobs and throughputs, are derived. The complexity of the algorithms is discussed.     

Trink- und Gebrauchswasser

Ohne Zusammenfassung     

Abwasser

Ohne Zusammenfassung