List-based Data Structures for Efficient Management of Advance Reservations

Complex eScience and other sophisticated applications in the field of HPC imply new demands that queuing based resource management systems cannot meet. To guarantee Quality of Service and co-allocation in the Grid, planning based resource management systems implementing advance reservation are needed. These systems face new challenges as a planning based management system has to keep track of the jobs and reservations in the future. Additionally, during the negotiation process of incoming reservations, a good overview of the remaining, not-yet reserved capacity is needed—not only for the current allocation, but also for the whole book-ahead time. Therefore, the resource management problem becomes a two dimensional problem for advance reservations in this field. In this paper different data structures are investigated and discussed in order to fit to planning based resource management. As a result the benefits of using lists of resource allocation or free blocks are exposed. This general idea widely used to manage continuous resources is extended to cover not only the resource dimension but also the time dimension. The list of blocks approach is evaluated in a Grid level and a local resource management system for a computing cluster. The extensive simulations showed a better runtime and higher reservation success rate compared with the currently favored approach of a slotted time and the more sophisticated approach based on AVL trees.     

Verifying anonymity in voting systems using CSP

We present formal definitions of anonymity properties for voting protocols using the process algebra CSP. We analyse a number of anonymity definitions, and give formal definitions for strong and weak anonymity, highlighting the difference between these definitions. We show that the strong anonymity definition is too strong for practical purposes; the weak anonymity definition, however, turns out to be ideal for analysing voting systems. Two case studies are presented to demonstrate the usefulness of the formal definitions: a conventional voting system, and Prêt à Voter, a paper-based, voter-verifiable scheme. In each case, we give a CSP model of the system, and analyse it against our anonymity definitions by specification checks using the Failures-Divergences Refinement (FDR2) model checker. We give a detailed discussion on the results from the analysis, emphasizing the assumptions that we made in our model as well as the challenges in modelling electronic voting systems using CSP.     

Solvent induced crystallization of syndiotactic poly(methyl methacrylate) relation to the formation of polymer aggregates in solution

Polymer Bulletin - Solutions of syndiotactic (s) poly (methyl methacrylate) (PMMA) and samples of solid s-PMMA prepared from these solutions were studied by NMR and infrared (IR) spectroscopy and...     

Stretching and deformation vibrations of CH2, C(CH3) and O(CH3) groups of poly(methyl methacrylate)

Infrared and Raman spectra of atactic PMMA and infrared spectra of stereoregular PMMA and of its four deuterated derivatives

, were measured. They were used to assign the bands of stretching and deformation vibrations of CH₂, CCH₃ and OCH₃ groups in the infrared and Raman spectra and to discuss the effect of stereoregularity on these bands in the infrared spectra.     

C-13 Rotating frame relaxation of solid polymers

Summary ¹³c T₁ of some polymers has been measured at various temperatures. This relaxation is sensitive to other motions than those determining the proton relaxation. The T₁'s of polyethylene and poly(ethylene-vinylacetate) show minima which correspond to second moments of 108 s^–2 and 4·10⁸ s^–2, respectively, in contrary to the theoretical value of 4·10⁹ s^–2. The reason is a strongly restricted motion — e. g. torsional oscillation — which cannot average out completely the dipolar interaction. In poly(methylmethacrylate) and in poly(vinylacetate) a decrease of the restriction with increasing temperature has been observed.Presented at the 22nd Microsymposium, Characterization of Structure and Dynamics of Macromolecular Systems by NMR Methods, Prague, CSSR, July 20–23, 1981     

Microchemical composition and cell dimensions of mullites from refractory-grade South American bauxites

Two different types of mullite could be determined in differently coloured fragments of South American bauxites: − Mullites, occuring in light bauxite fragments with low impurity contents (Σ wt % (Fe₂O₃ + TiO₂) 2.5), and cell dimensions close to that of 3/2 mullite, the b parameter being slightly shorter. − Mullites, occurring in grey to dark grey, and in brown bauxite fragments, with high impurity contents (Σ wt % (Fe₂O₃ + TiO₂) 4,0) and a and c cell dimensions close to those of 2/1 mullite. The b constant of these mullites is slightly expanded with respect to impurity free mullites. Increasing impurity contents in mullite are linearly correlated with a b expansion. The expansion was structurally explained with a substitution of Al³⁺ by Fe³⁺ and Ti⁴⁺ at octahedral lattice sites, which causes stretching of the AlO₆ octahedra along to the elastic Al₁---D_D bond in mullites which is 30° to either side of b. The substitution-produced expansion is superimposed by an expansion due to the change of the structural state of mullite from the 3/2 to the 2/1 type. The greatest variation in any cell parameter with the change of the structural state is the a constant.     

Living dispersion polymerization of styrene in the presence of polystyrene-block-poly(4-trimethylsilylstyrene)

Summary Living polystyrene microparticles with average particle diameters varying between 0.5 and 3.8 m were obtained via sec-butyl lithium-initated anionic polymerization of styrene in n-hexane diluent when polystyrene-block-poly(4-trimethyl-silylstyrene) was added as dispersing agent. The influence of block copolymer molecular architecture and concentration as well as polymerization temperature, monomer concentration and THF addition on polystyrene particle size, molecular weight and molecular weight distribution were investigated. In comparison to anionic styrene polymerization in cyclohexane solution, the anionic styrene dispersion polymerization in n-hexane was markedly slower.