Model-checking bisimulation-based information flow properties for infinite state sstems

Bisimulation-based information flow properties were introduced by Focardi and Gorrieri [1] as a way of specifying security properties for transition system models. These properties were shown to be decidable for finite-state systems. In this paper, we study the problem of verifying these properties for some well-known classes of infinite state systems. We show that all the properties are undecidable for each of these classes of systems.

Time variant reliability model updating in instrumented dynamical systems based on Girsanov’s transformation

The problem of updating the reliability of instrumented structures based on measured response under random dynamic loading is considered. A solution strategy within the framework of Monte Carlo simulation based dynamic state estimation method and Girsanov’s transformation for variance reduction is developed. For linear Gaussian state space models, the solution is developed based on continuous version of the Kalman filter, while, for non-linear and (or) non-Gaussian state space models, bootstrap particle filters are adopted. The controls to implement the Girsanov transformation are developed by solving a constrained non-linear optimization problem. Numerical illustrations include studies on a multi degree of freedom linear system and non-linear systems with geometric and (or) hereditary non-linearities and non-stationary random excitations.

Biased PN based impact angle constrained guidance using a nonlinear engagement model

Impact angle constrained guidance laws are important in many applications such as guidance of torpedoes, anti-ballistic missiles and reentry vehicles. In this paper, we design a guidance law which is capable of achieving a wide range of impact angles. Biased proportional navigation guidance uses a bias term in addition to the basic PN command to satisfy additional constraints. Angle constrained BPNG (ACBPNG) uses small angle approximations to derive the bias term for impact angle requirement. We design a modified ACBPNG (MACBPNG) where the required bias term is derived in a closed form considering non-linear equations of motion. Simulations are carried out for a wide range of impact angle requirements. We also analyze capturability from different initial positions and also the launch angles possible at each initial position. The performance of the proposed law is compared with an existing law.

STUDENT'S-t MIXTURE MODEL BASED MULTI-INSTRUMENT RECOGNITION IN POLYPHONIC MUSIC

We address the problem of multi-instrument recognition in polyphonic music signals. Individual instruments are modeled within a stochastic framework using Student's-t Mixture Models (tMMs). We impose a mixture of these instrument models on the polyphonic signal model. No a priori knowledge is assumed about the number of instruments in the polyphony. The mixture weights are estimated in a latent variable framework from the polyphonic data using an Expectation Maximization (EM) algorithm, derived for the proposed approach. The weights are shown to indicate instrument activity. The output of the algorithm is an Instrument Activity Graph (IAG), using which, it is possible to find out the instruments that are active at a given time. An average F-ratio of 0 : 7 5 is obtained for polyphonies containing 2-5 instruments, on a experimental test set of 8 instruments: clarinet, flute, guitar, harp, mandolin, piano, trombone and violin.

Differential evolution based 3-D guidance law for a realistic interceptor model

This paper presents a novel, soft computing based solution to a complex optimal control or dynamic optimization problem that requires the solution to be available in real-time. The complexities in this problem of optimal guidance of interceptors launched with high initial heading errors include the more involved physics of a three dimensional missile-target engagement, and those posed by the assumption of a realistic dynamic model such as time-varying missile speed, thrust, drag and mass, besides gravity, and upper bound on the lateral acceleration. The classic, pure proportional navigation law is augmented with a polynomial function of the heading error, and the values of the coefficients of the polynomial are determined using differential evolution (DE). The performance of the proposed DE enhanced guidance law is compared against the existing conventional laws in the literature, on the criteria of time and energy optimality, peak lateral acceleration demanded, terminal speed and robustness to unanticipated target maneuvers, to illustrate the superiority of the proposed law. (C) 2013 Elsevier B. V. All rights reserved.

Glacial mass balance changes in the Karakoram and Himalaya based on CMIP5 multi-model climate projections

The impact of future climate change on the glaciers in the Karakoram and Himalaya (KH) is investigated using CMIP5 multi-model temperature and precipitation projections, and a relationship between glacial accumulation-area ratio and mass balance developed for the region based on the last 30 to 40 years of observational data. We estimate that the current glacial mass balance (year 2000) for the entire KH region is -6.6 +/- 1 Gta(-1), which decreases about sixfold to -35 +/- 2 Gta(-1) by the 2080s under the high emission scenario of RCP8.5. However, under the low emission scenario of RCP2.6 the glacial mass loss only doubles to -12 +/- 2 Gta(-1) by the 2080s. We also find that 10.6 and 27 % of the glaciers could face `eventual disappearance' by the end of the century under RCP2.6 and RCP8.5 respectively, underscoring the threat to water resources under high emission scenarios.

Model-Resolution-Based Basis Pursuit Deconvolution Improves Diffuse Optical Tomographic Imaging

The image reconstruction problem encountered in diffuse optical tomographic imaging is ill-posed in nature, necessitating the usage of regularization to result in stable solutions. This regularization also results in loss of resolution in the reconstructed images. A frame work, that is attributed by model-resolution, to improve the reconstructed image characteristics using the basis pursuit deconvolution method is proposed here. The proposed method performs this deconvolution as an additional step in the image reconstruction scheme. It is shown, both in numerical and experimental gelatin phantom cases, that the proposed method yields better recovery of the target shapes compared to traditional method, without the loss of quantitativeness of the results.

Basis pursuit deconvolution for improving model-based reconstructed images in photoacoustic tomography

The model-based image reconstruction approaches in photoacoustic tomography have a distinct advantage compared to traditional analytical methods for cases where limited data is available. These methods typically deploy Tikhonov based regularization scheme to reconstruct the initial pressure from the boundary acoustic data. The model-resolution for these cases represents the blur induced by the regularization scheme. A method that utilizes this blurring model and performs the basis pursuit deconvolution to improve the quantitative accuracy of the reconstructed photoacoustic image is proposed and shown to be superior compared to other traditional methods via three numerical experiments. Moreover, this deconvolution including the building of an approximate blur matrix is achieved via the Lanczos bidagonalization (least-squares QR) making this approach attractive in real-time. (C) 2014 Optical Society of America

Continuity equation based nonquasi-static charge model for independent double gate MOSFET

Using the numerical device simulation we show that the relationship between the surface potentials along the channel in any double gate (DG) MOSFET remains invariant in QS (quasistatic) and NQS (nonquasi-static) condition for the same terminal voltages. This concept along with the recently proposed `piecewise charge linearization' technique is then used to develop the intrinsic NQS charge model for a Independent DG (IDG) MOSFET by solving the governing continuity equation. It is also demonstrated that unlike the usual MOSFET transcapacitances, the inter-gate transcapacitance of a IDG-MOSFET initially increases with the frequency and then saturates, which might find novel analog circuit application. The proposed NQS model shows good agreement with numerical device simulations and appears to be useful for efficient circuit simulation.

Length-scale dependent mechanical properties of Al-Cu eutectic alloy: Molecular dynamics based model and its experimental verification

This paper attempts to gain an understanding of the effect of lamellar length scale on the mechanical properties of two-phase metal-intermetallic eutectic structure. We first develop a molecular dynamics model for the in-situ grown eutectic interface followed by a model of deformation of Al-Al2Cu lamellar eutectic. Leveraging the insights obtained from the simulation on the behaviour of dislocations at different length scales of the eutectic, we present and explain the experimental results on Al-Al2Cu eutectic with various different lamellar spacing. The physics behind the mechanism is further quantified with help of atomic level energy model for different length scale as well as different strain. An atomic level energy partitioning of the lamellae and the interface regions reveals that the energy of the lamellae core are accumulated more due to dislocations irrespective of the length-scale. Whereas the energy of the interface is accumulated more due to dislocations when the length-scale is smaller, but the trend is reversed when the length-scale is large beyond a critical size of about 80 nm. (C) 2014 Author(s).

In vitro osteogenic cell proliferation, mineralization, and in vivo osseointegration of injection molded high-density polyethylene-based hybrid composites in rabbit animal model

The present work reports the biocompatibility property of injection molded HDPE-HA-Al2O3 hybrid composites. In vitro cytocompatibility results reveal that osteogenic cell viability and bone mineralization are favorably supported in a statistically significant manner on HDPE-20% HA-20% Al2O3 composite, in comparison to HDPE-40 wt.% HA or HDPE-40 wt.% Al2O3. The difference in cytocompatibility property is explained in terms of difference in substrate wettability/surface energy and importantly, both the cell proliferation at 7 days or bone mineralization at 21 days on HDPE-20% HA-20% Al2O3 composite are either comparable or better than sintered HA. The progressive healing of cylindrical femoral bone defects in rabbit animal model was assessed by implantation experiments over 1, 4 and 12 weeks. Based on the histological analysis as well as histomorphometrical evaluation, a better efficacy of HDPE-20% HA-20% Al2O3 over high-density polyethylene (HDPE) for bone regeneration and neobone formation at host bone-implant interface was established. Taken together, the present study unequivocally establishes that despite the presence of 20% Al2O3, HDPE-based hybrid composites are as biocompatible as HA in vitro or better than HDPE in vivo.

Discrete Vortex Method-Based Model for Ground-Effect Studies

A discrete vortex method-based model has been proposed for two-dimensional/three-dimensional ground-effect prediction. The model merely requires two-dimensional sectional aerodynamics in free flight. This free-flight data can be obtained either from experiments or a high-fidelity computational fluid dynamics solver. The first step of this two-step model involves a constrained optimization procedure that modifies the vortex distribution on the camber line as obtained from a discrete vortex method to match the free-flight data from experiments/computational fluid dynamics. In the second step, the vortex distribution thus obtained is further modified to account for the presence of the ground plane within a discrete vortex method-based framework. Whereas the predictability of the lift appears as a natural extension, the drag predictability within a potential flow framework is achieved through the introduction of what are referred to as drag panels. The need for the use of the generalized Kutta-Joukowski theorem is emphasized. The extension of the model to three dimensions is by the way of using the numerical lifting-line theory that allows for wing sweep. The model is extensively validated for both two-dimensional and three-dimensional ground-effect studies. The work also demonstrates the ability of the model to predict lift and drag coefficients of a high-lift wing in ground effect to about 2 and 8% accuracy, respectively, as compared to the results obtained using a Reynolds-averaged Navier-Stokes solver involving grids with several million volumes. The model shows a lot of promise in design, particularly during the early phase.

Development, in vitro and in vivo characterization of zoledronic acid functionalized hydroxyapatite nanoparticle based formulation for treatment of osteoporosis in animal model

We investigated the potential of using novel zoledronic acid (ZOL)-hydroxyapatite (HA) nanoparticle based drug formulation in a rat model of postmenopausal osteoporosis. By a classical adsorption method, nanoparticles of HA loaded with ZOL (HNLZ) drug formulation with a size range of 100-130 nm were prepared. 56 female Wistar rats were ovariectomized (OVX) or sham-operated at 3 months of age. Twelve weeks post surgery, rats were randomized into seven groups and treated with various doses of HNLZ (100, 50 and 25 mu g/kg, intravenous single dose), ZOL (100 mu g/kg, intravenous single dose) and HA nanoparticle (100 mu g/kg, intravenous single dose). Untreated OVX and sham OVX served as controls. After three months treatment period, we evaluated the mechanical properties of the lumbar vertebra and femoral mid-shaft. Femurs were also tested for trabecular microarchitecture. Sensitive biochemical markers of bone formation and bone resorption in serum were also determined. With respect to improvement in the mechanical strength of the lumbar spine and the femoral mid-shaft, the therapy with HNLZ drug formulation was more effective than ZOL therapy in OVX rats. Moreover, HNLZ drug therapy preserved the trabecular microarchitecture better than ZOL therapy in OVX rats. Furthermore, the HNLZ drug formulation corrected increase in serum levels of bone-specific alkaline phosphatase, procollagen type I N-terminal propeptide, osteocalcin, tartrate-resistant acid phosphatase 5b and C-telopeptide of type 1 collagen better than ZOL therapy in OVX rats. The results strongly suggest that HNLZ novel drug formulation appears to be more effective approach for treating severe osteoporosis in humans. (C) 2014 Elsevier B.V. All rights reserved.

Absence of systemic toxicity in mouse model towards BaTiO3 nanoparticulate based eluate treatment

One of the existing issues in implant failure of orthopedic biomaterials is the toxicity induced by the fine particles released during long term use in vivo, leading to acute inflammatory response. In developing a new class of piezobiocomposite to mimic the integrated electrical and mechanical properties of bone, bone-mimicking physical properties as well as in vitro cytocompatibility properties have been achieved with spark plasma sintered hydroxyapatite (HA)-barium titanate (BaTiO3) composites. However, the presence of BaTiO3 remains a concern towards the potential toxicity effect. To address this issue, present work reports the first result to conclusively confirm the non-toxic effect of HA-BaTiO3 piezobiocomposite nanoparticulates, in vivo. Twenty BALB/c mice were intraarticularly injected at their right knee joints with different concentrations of HA-BaTiO3 composite of up to 25 mg/ml. The histopathological examination confirmed the absence of any trace of injected particles or any sign of inflammatory reaction in the vital organs, such as heart, spleen, kidney and liver at 7 days post-exposure period. Rather, the injected nanoparticulates were found to be agglomerated in the vicinity of the knee joint, surrounded by macrophages. Importantly, the absence of any systemic toxicity response in any of the vital organs in the treated mouse model, other than a mild local response at the site of delivery, was recorded. The serum biochemical analyses using proinflammatory cytokines (TNF-alpha and IL-1 beta) also complimented to the non-immunogenic response to injected particulates. Altogether, the absence of any inflammatory/ adverse reaction will open up myriad of opportunities for BaTiO3 based piezoelectric implantable devices in biomedical applications.