Representations and algorithms for finite-state bisimulations of linear discrete-time control systems

While a large amount of research over the past two decades has focused on discrete abstractions of infinite-state dynamical systems, many structural and algorithmic details of these abstractions remain unknown. To clarify the computational resources needed to perform discrete abstractions, this paper examines the algorithmic properties of an existing method for deriving finite-state systems that are bisimilar to linear discrete-time control systems. We explicitly find the structure of the finite-state system, show that it can be enormous compared to the original linear system, and give conditions to guarantee that the finite-state system is reasonably sized and efficiently computable. Though constructing the finite-state system is generally impractical, we see that special cases could be amenable to satisfiability based verification techniques. ©2009 IEEE.

Transducer and base compliance alter the in situ 6 dof force measured from muscle during an isometric contraction in a multi-joint limb.

Although musculoskeletal models are commonly used, validating the muscle actions predicted by such models is often difficult. In situ isometric measurements are a possible solution. The base of the skeleton is immobilized and the endpoint of the limb is rigidly attached to a 6-axis force transducer. Individual muscles are stimulated and the resulting forces and moments recorded. Such analyses generally assume idealized conditions. In this study we have developed an analysis taking into account the compliances due to imperfect fixation of the skeleton, imperfect attachment of the force transducer, and extra degrees of freedom (dof) in the joints that sometimes become necessary in fixed end contractions. We use simulations of the rat hindlimb to illustrate the consequences of such compliances. We show that when the limb is overconstrained, i.e., when there are fewer dof within the limb than are restrained by the skeletal fixation, the compliances of the skeletal fixation and of the transducer attachment can significantly affect measured forces and moments. When the limb dofs and restrained dofs are matched, however, the measured forces and moments are independent of these compliances. We also show that this framework can be used to model limb dofs, so that rather than simply omitting dofs in which a limb does not move (e.g., abduction at the knee), the limited motion of the limb in these dofs can be more realistically modeled as a very low compliance. Finally, we discuss the practical implications of these results to experimental measurements of muscle actions.

Explicitly coupled thermal flow mechanical formulation for gas-hydrate sediments

This paper presents an explicit time-marching formulation for the solution of the coupled thermal flow mechanical behavior of gas- hydrate sediment. The formulation considers the soil skeleton as a deformable elastoplastic continuum, with an emphasis on the effect of hydrate (and its dissociation) on the stress-strain behavior of the soil. In the formulation, the hydrate is assumed to deform with the soil and may dissociate into gas and water. The formulation is explicitly coupled, such that the changes in temperature because of energy How and hydrate dissociation affect the skeleton stresses and fluid (water and gas) pressures. This, in return, affects the mechanical behavior. A simulation of a vertical well within a layered soil is presented. It is shown that the heterogeneity of hydrate saturation causes different rates of dissociation in the layers. The difference alters the overall gas production and also the mechanical-deformation pattern, which leads to loading/ unloading shearing along the interfaces between the layers. Copyright © 2013 Society of Petorlleum Engineers.

Novel nanostructured biomaterials: implications for coronary stent thrombosis.

BACKGROUND: Nanomedicine has the potential to revolutionize medicine and help clinicians to treat cardiovascular disease through the improvement of stents. Advanced nanomaterials and tools for monitoring cell-material interactions will aid in inhibiting stent thrombosis. Although titanium boron nitride (TiBN), titanium diboride, and carbon nanotube (CNT) thin films are emerging materials in the biomaterial field, the effect of their surface properties on platelet adhesion is relatively unexplored. OBJECTIVE AND METHODS: In this study, novel nanomaterials made of amorphous carbon, CNTs, titanium diboride, and TiBN were grown by vacuum deposition techniques to assess their role as potential stent coatings. Platelet response towards the nanostructured surfaces of the samples was analyzed in line with their physicochemical properties. As the stent skeleton is formed mainly of stainless steel, this material was used as reference material. Platelet adhesion studies were carried out by atomic force microscopy and scanning electron microscopy observations. A cell viability study was performed to assess the cytocompatibility of all thin film groups for 24 hours with a standard immortalized cell line. RESULTS: The nanotopographic features of material surface, stoichiometry, and wetting properties were found to be significant factors in dictating platelet behavior and cell viability. The TiBN films with higher nitrogen contents were less thrombogenic compared with the biased carbon films and control. The carbon hybridization in carbon films and hydrophilicity, which were strongly dependent on the deposition process and its parameters, affected the thrombogenicity potential. The hydrophobic CNT materials with high nanoroughness exhibited less hemocompatibility in comparison with the other classes of materials. All the thin film groups exhibited good cytocompatibility, with the surface roughness and surface free energy influencing the viability of cells.