Sets and indices in linear programming modelling and their integration with relational data models

LP models are usually constructed using index sets and data tables which are closely related to the attributes and relations of relational database (RDB) systems. We extend the syntax of MPL, an existing LP modelling language, in order to connect it to a given RDB system. This approach reuses existing modelling and database software, provides a rich modelling environment and achieves model and data independence. This integrated software enables Mathematical Programming to be widely used as a decision support tool by unlocking the data residing in corporate databases

Introducing new constructs for data modelling and column generation in LP modelling languages

Through popular implementation of structured query language (SQL) and query-by-example(QBE) relational databases have become the de-facto industry standard for data modelling.We consider the indices, sets, and the declarative form of Linear Programming (LP) modelling languages and introduce new constructs which provide direct link to the database systems. The models constructed in this way are data driven and display a dynamicstructure. We then show how this approach can be naturally extended to include column generation features stated in procedural forms within an otherwise declarative modelling paradigm

A spectral deferred correction strategy for low Mach number reacting flows subject to electric fields

We propose an algorithm for low Mach number reacting flows subjected to electric field that includes the chemical production and transport of charged species. This work is an extension of a multi-implicit spectral deferred correction (MISDC) algorithm designed to advance the conservation equations in time at scales associated with advective transport. The fast and nontrivial interactions of electrons with the electric field are treated implicitly using a Jacobian-Free Newton Krylov approach for which a preconditioning strategy is developed. Within the MISDC framework, this enables a close and stable coupling of diffusion, reactions and dielectric relaxation terms with advective transport and is shown to exhibit second-order convergence in space and time. The algorithm is then applied to a series of steady and unsteady problems to demonstrate its capability and stability. Although developed in a one-dimensional case, the algorithmic ingredients are carefully designed to be amenable to multidimensional applications

Relativistic general-order coupled-cluster method for high-precision calculations: Application to Al+ atomic clock

We report the implementation of a general-order relativistic coupled-cluster method for performing high-precision calculations of atomic and molecular properties. As a first application, the static dipole polarizabilities of the ground and first excited states of Al+ have been determined to precisely estimate the uncertainty associated with the BBR shift of its clock frequency measurement. The obtained relative BBR shift is -3.66+-0.44 for the 3s^2 ^1S_0^0 --> 3s3p ^3P_0^0 transition in Al+ in contrast to the value obtained in the latest clock frequency measurement, -9+-3 [Phys. Rev. Lett. 104, 070802 (2010)]. The method developed in the present work can be employed to study a variety of subtle effects such as fundamental symmetry violations in atoms.Comment: 4 pages, 3 tables, submitte