09091 Abstracts Collection -- Formal Methods in Molecular Biology

From 23. February to 27. February 2009, the Dagstuhl Seminar 09091 ``Formal Methods in Molecular Biology \u27\u27 was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available

Aeronautical engineering: A continuing bibliography with indexes (supplement 216)

This bibliography lists 505 reports, articles and other documents introduced into the NASA scientific and technical information system in July, 1987

Stochastic finite element modelling of elementary random media.

Following a stochastic approach, this thesis presents a numerical framework for elastostatics of random media. Firstly, after a mathematically rigorous investigation of the popular white noise model in an engineering context, the smooth spatial stochastic dependence between material properties is identified as a fundamental feature of practical random media. Based on the recognition of the probabilistic essence of practical random media and driven by engineering simulation requirements, a comprehensive random medium model, namely elementary random media (ERM), is consequently defined and its macro-scale properties including stationarity, smoothness and principles for material measurements are systematically explored. Moreover, an explicit representation scheme, namely the Fourier-Karhunen-Loeve (F-K-L) representation, is developed for the general elastic tensor of ERM by combining the spectral representation theory of wide-sense stationary stochastic fields and the standard dimensionality reduction technology of principal component analysis. Then, based on the concept of ERM and the F-K-L representation for its random elastic tensor, the stochastic partial differential equations regarding elastostatics of random media are formulated and further discretized, in a similar fashion as for the standard finite element method, to obtain a stochastic system of linear algebraic equations. For the solution of the resulting stochastic linear algebraic system, two different numerical techniques, i.e. the joint diagonalization solution strategy and the directed Monte Carlo simulation strategy, are developed. Original contributions include the theoretical analysis of practical random medium modelling, establishment of the ERM model and its F-K-L representation, and development of the numerical solvers for the stochastic linear algebraic system. In particular, for computational challenges arising from the proposed framework, two novel numerical algorithms are developed: (a) a quadrature algorithm for multidimensional oscillatory functions, which reduces the computational cost of the F-K-L representation by up to several orders of magnitude; and (b) a Jacobi-like joint diagonalization solution method for relatively small mesh structures, which can effectively solve the associated stochastic linear algebraic system with a large number of random variables