Transport diffusion of gases is rapid in flexible carbon nanotu

Molecular dynamics simulations of rigid, defect-free single-walled carbon nanotubes have previously suggested that the transport diffusivity of gases adsorbed in these materials can be orders of magnitude higher than any other nanoporous material (A. I. Skoulidas et al., Phys. Rev. Lett. 2002, 89, 185901). These simulations must overestimate the molecular diffusion coefficients because they neglect energy exhange between the diffusing molecules and the nanotube. Recently, Jakobtorweihen et al. have reported careful simulations of molecular self-diffusion that allow nanotube flexibility (Phys. Rev. Lett. 2005, 95, 044501). We have used the efficient thermostat developed by Jakobtorweihen et al. to examine the influence of nanotube flexibility on the transport diffusion of CH4 in (20,0) and (15,0) nanotubes. The inclusion of nanotube flexibility reduces the transport diffusion relative to the rigid nanotube by roughly an order of magnitude close to zero pressure, but at pressures above about I bar the transport diffusivities for flexible and rigid nanotubes are very similar, differing by less than a factor or two on average. Hence, the transport diffusivities are still extremely large compared to other known materials when flexibility is taken into account.

Quality of service in flexible workflows through process constraints

Workflow technology has delivered effectively for a large class of business processes, providing the requisite control and monitoring functions. At the same time, this technology has been the target of much criticism due to its limited ability to cope with dynamically changing business conditions which require business processes to be adapted frequently, and/or its limited ability to model business processes which cannot be entirely predefined. Requirements indicate the need for generic solutions where a balance between process control and flexibility may be achieved. In this paper we present a framework that allows the workflow to execute on the basis of a partially specified model where the full specification of the model is made at runtime, and may be unique to each instance. This framework is based on the notion of process constraints. Where as process constraints may be specified for any aspect of the workflow, such as structural, temporal, etc. our focus in this paper is on a constraint which allows dynamic selection of activities for inclusion in a given instance. We call these cardinality constraints, and this paper will discuss their specification and validation requirements.

Flexible proof reuse for software verification

Proof reuse, or analogical reasoning, involves reusing the proof of a source theorem in the proof of a target conjecture. We have developed a method for proof reuse that is based on the generalisation replay paradigm described in the literature, in which a generalisation of the source proof is replayed to construct the target proof. In this paper, we describe the novel aspects of our method, which include a technique for producing more accurate source proof generalisations (using knowledge of the target goal), as well as a flexible replay strategy that allows the user to set various parameters to control the size and the shape of the search space. Finally, we report on the results of applying this method to a case study from the realm of software verification.