Doubly spectral stochastic finite element method (DSSFEM) for random field problems

Uncertainties in complex dynamic systems play an important role in the prediction of a dynamic response in the mid- and high-frequency ranges. For distributed parameter systems, parametric uncertainties can be represented by random fields leading to stochastic partial differential equations. Over the past two decades, the spectral stochastic finite-element method has been developed to discretize the random fields and solve such problems. On the other hand, for deterministic distributed parameter linear dynamic systems, the spectral finite-element method has been developed to efficiently solve the problem in the frequency domain. In spite of the fact that both approaches use spectral decomposition (one for the random fields and the other for the dynamic displacement fields), very little overlap between them has been reported in literature. In this paper, these two spectral techniques are unified with the aim that the unified approach would outperform any of the spectral methods considered on their own. An exponential autocorrelation function for the random fields, a frequency-dependent stochastic element stiffness, and mass matrices are derived for the axial and bending vibration of rods. Closed-form exact expressions are derived by using the Karhunen-Loève expansion. Numerical examples are given to illustrate the unified spectral approach.

On the Decidability of Model-Checking Information Flow Properties

Current standard security practices do not provide substantial assurance about information flow security: the end-to-end behavior of a computing system. Noninterference is the basic semantical condition used to account for information flow security. In the literature, there are many definitions of noninterference: Non-inference, Separability and so on. Mantel presented a framework of Basic Security Predicates (BSPs) for characterizing the definitions of noninterference in the literature. Model-checking these BSPs for finite state systems was shown to be decidable in [8]. In this paper, we show that verifying these BSPs for the more expressive system model of pushdown systems is undecidable. We also give an example of a simple security property which is undecidable even for finite-state systems: the property is a weak form of non-inference called WNI, which is not expressible in Mantel’s BSP framework.

Synthesis, Structure, Negative Thermal Expansion, and Photocatalytic Property of Mo Doped ZrV(2)O(7)

A new series of compounds identified in the phase diagram of ZrO(2)-V(2)O(8)-MoO(3) have been synthesized via the solution combustion method. Single crystals of one of the compounds in the series, ZrV(1.50)Mo(0.50)O(7.25), were grown by the melt-cool technique from the starting materials with double the MoO(3) quantity. The room temperature average crystal structure of the grown crystals was solved using the single crystal X-ray diffraction technique. The crystals belong to the cubic crystal system, space group Pa (3) over bar (No. 205) with a = 8.8969 (4) angstrom, V = 704.24 (6) angstrom(3), and Z = 4. The final R(1) value of 0.0213 was achieved for 288 independent reflections during the structure refinement. The Zr(4+) occupies the special position (4a) whereas V(5+) and Mo(6+) occupy two unique (8c) Wyckoff positions. Two fully occupied O atoms, (24d) and (4b), one partially occupied 0 atom (8c) have been identified for this molybdovanadate, which is a unique feature for these crystals. The structure is related to both ZrV(2)O(7) and cubic ZrMo(2)O(8). The temperature dependent single crystal studies show negative thermal expansion above 370 K. The compounds have been characterized by powder X-ray diffraction, solid-state UV-vis diffuse reflectance spectra, scanning electron microscopy (SEM), and transmission electron microscopy (TEM). The photocatalytic activity of these compounds has been investigated for the degradation of various dyes, and these compounds show specificity toward the degradation of non-azoic dyes.

Real-time Computer Simulation of Three Dimensional Elastostatics using the Finite Point Method

Real-time simulation of deformable solids is essential for some applications such as biological organ simulations for surgical simulators. In this work, deformable solids are approximated to be linear elastic, and an easy and straight forward numerical technique, the Finite Point Method (FPM), is used to model three dimensional linear elastostatics. Graphics Processing Unit (GPU) is used to accelerate computations. Results show that the Finite Point Method, together with GPU, can compute three dimensional linear elastostatic responses of solids at rates suitable for real-time graphics, for solids represented by reasonable number of points.

Experimental evidence for interplay of dynamic heterogeneity and finite-size effect in glassy polymers

Despite two decades of extensive research, direct experimental evidence of a dynamical length scale determining the glass transition of confined polymers has yet to emerge. Using a recently established experimental technique of interface micro-rheology we provide evidence of finite-size effect truncating the growth of a quantity proportional to a dynamical length scale in confined glassy polymers, on cooling towards the glass transition temperature. We show how the interplay of variation of polymer film thickness and this temperature-dependent growing dynamical length scale determines the glass transition temperature, which in our case of 2-3nm thick films, is reduced significantly as compared to their bulk values.

Resource Pricing for Fair and Efficient Link Sharing with a Finite Data Model

The literature on pricing implicitly assumes an "infinite data" model, in which sources can sustain any data rate indefinitely. We assume a more realistic "finite data" model, in which sources occasionally run out of data. Further, we assume that users have contracts with the service provider, specifying the rates at which they can inject traffic into the network. Our objective is to study how prices can be set such that a single link can be shared efficiently and fairly among users in a dynamically changing scenario where a subset of users occasionally has little data to send. We obtain simple necessary and sufficient conditions on prices such that efficient and fair link sharing is possible. We illustrate the ideas using a simple example

An Actor-Critic Algorithm for Finite Horizon Markov Decision Processes

We develop a simulation based algorithm for finite horizon Markov decision processes with finite state and finite action space. Illustrative numerical experiments with the proposed algorithm are shown for problems in flow control of communication networks and capacity switching in semiconductor fabrication.