Hydrogen-Bond-Driven Controlled Molecular Marriage in Covalent Cages

A supramolecular approach that uses hydrogen-bonding interaction as a driving force to accomplish exceptional self-sorting in the formation of imine-based covalent organic cages is discussed. Utilizing the dynamic covalent chemistry approach from three geometrically similar dialdehydes (A, B, and D) and the flexible triamine tris(2-aminoethyl)amine (X), three new 3+2] self-assembled nanoscopic organic cages have been synthesized and fully characterized by various techniques. When a complex mixture of the dialdehydes and triamine X was subjected to reaction, it was found that only dialdehyde B (which has OH groups for H-bonding) reacted to form the corresponding cage B3X2 selectively. Surprisingly, the same reaction in the absence of aldehyde B yielded a mixture of products. Theoretical and experimental investigations are in complete agreement that the presence of the hydroxyl moiety adjacent to the aldehyde functionality in B is responsible for the selective formation of cage B3X2 from a complex reaction mixture. This spectacular selection was further analyzed by transforming a nonpreferred (non-hydroxy) cage into a preferred (hydroxy) cage B3X2 by treating the former with aldehyde B. The role of the H-bond in partner selection in a mixture of two dialdehydes and two amines has also been established. Moreover, an example of unconventional imine bond metathesis in organic cage-to-cage transformation is reported.

Parallel Flow-Sensitive Pointer Analysis by Graph-Rewriting

Precise pointer analysis is a problem of interest to both the compiler and the program verification community. Flow-sensitivity is an important dimension of pointer analysis that affects the precision of the final result computed. Scaling flow-sensitive pointer analysis to millions of lines of code is a major challenge. Recently, staged flow-sensitive pointer analysis has been proposed, which exploits a sparse representation of program code created by staged analysis. In this paper we formulate the staged flow-sensitive pointer analysis as a graph-rewriting problem. Graph-rewriting has already been used for flow-insensitive analysis. However, formulating flow-sensitive pointer analysis as a graph-rewriting problem adds additional challenges due to the nature of flow-sensitivity. We implement our parallel algorithm using Intel Threading Building Blocks and demonstrate considerable scaling (upto 2.6x) for 8 threads on a set of 10 benchmarks. Compared to the sequential implementation of staged flow-sensitive analysis, a single threaded execution of our implementation performs better in 8 of the benchmarks.

Fermi-Edge Transmission Resonance in Graphene Driven by a Single Coulomb Impurity

The interaction between the Fermi sea of conduction electrons and a nonadiabatic attractive impurity potential can lead to a power-law divergence in the tunneling probability of charge through the impurity. The resulting effect, known as the Fermi edge singularity (FES), constitutes one of the most fundamental many-body phenomena in quantum solid state physics. Here we report the first observation of FES for Dirac fermions in graphene driven by isolated Coulomb impurities in the conduction channel. In high-mobility graphene devices on hexagonal boron nitride substrates, the FES manifests in abrupt changes in conductance with a large magnitude approximate to e(2)/h at resonance, indicating total many-body screening of a local Coulomb impurity with fluctuating charge occupancy. Furthermore, we exploit the extreme sensitivity of graphene to individual Coulomb impurities and demonstrate a new defect-spectroscopy tool to investigate strongly correlated phases in graphene in the quantum Hall regime.

Adsorption study of silica gel particle for improvement in design of adsorption beds used in solar driven cooling units

Simulations using Ansys Fluent 6.3.26 have been performed to look into the adsorption characteristics of a single silica gel particle exposed to saturated humid air streams at Re=108 & 216 and temperature of 300K. The adsorption of the particle has been modeled as a source term in the species and the energy equations using a Linear Driving Force (LDF) equation. The interdependence of the thermal and the water vapor concentration field has been analysed. This work is intended to aid in understanding the adsorption effects in silica gel beds and in their efficient design. (C) 2013 The Authors. Published by Elsevier Ltd. This is an open access article under the CC BY-NC-ND license (http://creativecommons.org/licenses/by-nc-nd/3.0/).

Solar driven Adsorption Desalination system

Desalination is one of the most traditional processes to generate potable water. With the rise in demand for potable water and paucity of fresh water resources, this process has gained special importance. Conventional thermal desalination processes involves evaporative methods such as multi-stage flash and solar distils, which are found to be energy intensive, whereas reverse osmosis based systems have high operating and maintenance costs. The present work describes the Adsorption Desalination (AD) system, which is an emerging process of thermal desalination cum refrigeration capable of utilizing low grade heat easily obtainable from even non-concentrating type solar collectors. The system employs a combination of flash evaporation and thermal compression to generate cooling and desalinated water. The current study analyses the system dynamics of a 4-bed single stage silica-gel plus water based AD system. A lumped model is developed using conservation of energy and mass coupled with the kinetics of adsorption/desorption process. The constitutive equations for the system components viz. evaporator, adsorber and condenser, are solved and the performance of the system is evaluated for a single stage AD system at various condenser temperatures and cycle times to determine optimum operating conditions required for desalination and cooling. (C) 2013 P. Dutta. Published by Elsevier Ltd.

REPRESENTING A CUBIC GRAPH AS THE INTERSECTION GRAPH OF AXIS-PARALLEL BOXES IN THREE DIMENSIONS

We show that every graph of maximum degree 3 can be represented as the intersection graph of axis parallel boxes in three dimensions, that is, every vertex can be mapped to an axis parallel box such that two boxes intersect if and only if their corresponding vertices are adjacent. In fact, we construct a representation in which any two intersecting boxes touch just at their boundaries.

An open source massively parallel solver for Richards equation: Mechanistic modelling of water fluxes at the watershed scale

In this paper we present a massively parallel open source solver for Richards equation, named the RichardsFOAM solver. This solver has been developed in the framework of the open source generalist computational fluid dynamics tool box OpenFOAM (R) and is capable to deal with large scale problems in both space and time. The source code for RichardsFOAM may be downloaded from the CPC program library website. It exhibits good parallel performances (up to similar to 90% parallel efficiency with 1024 processors both in strong and weak scaling), and the conditions required for obtaining such performances are analysed and discussed. These performances enable the mechanistic modelling of water fluxes at the scale of experimental watersheds (up to few square kilometres of surface area), and on time scales of decades to a century. Such a solver can be useful in various applications, such as environmental engineering for long term transport of pollutants in soils, water engineering for assessing the impact of land settlement on water resources, or in the study of weathering processes on the watersheds. (C) 2014 Elsevier B.V. All rights reserved.

Analogous stress and electric field driven structural transformation and decrease in polarization coherence on poling around the morphotropic phase boundary in BiScO3-PbTiO3

The nature of the stress and electric field driven structural and microstructural transformations in the morphotropic phase boundary (MPB) compositions of the high Curie point piezoelectric system BiScO3-PbTiO3 has been examined by ex situ based techniques. Using a powder poling technique, which is based on the concept of exploiting the irreversible structural change that occurs after the application of a strong electric field and stress independently, it was possible to ascertain that both moderate stress and electric field induce identical structural transformation-a fraction of the monoclinic phase transforms irreversibly to the tetragonal phase. Moreover, analysis of the dielectric response before and after poling revealed a counterintuitive phenomenon of poling induced decrease in the spatial coherence of polarization for compositions around the MPB and not so for compositions far away from the MPB range. Exploiting the greater sensitivity of this technique, we demonstrate that the criticality associated with the interferroelectric transition spans a wider composition range than what is conventionally reported in the literature based on bulk x-ray/neutron powder diffraction techniques.

Two techniques to improve the precision of a demand-driven null-dereference verification approach

The problem addressed in this paper is sound, scalable, demand-driven null-dereference verification for Java programs. Our approach consists conceptually of a base analysis, plus two major extensions for enhanced precision. The base analysis is a dataflow analysis wherein we propagate formulas in the backward direction from a given dereference, and compute a necessary condition at the entry of the program for the dereference to be potentially unsafe. The extensions are motivated by the presence of certain ``difficult'' constructs in real programs, e.g., virtual calls with too many candidate targets, and library method calls, which happen to need excessive analysis time to be analyzed fully. The base analysis is hence configured to skip such a difficult construct when it is encountered by dropping all information that has been tracked so far that could potentially be affected by the construct. Our extensions are essentially more precise ways to account for the effect of these constructs on information that is being tracked, without requiring full analysis of these constructs. The first extension is a novel scheme to transmit formulas along certain kinds of def-use edges, while the second extension is based on using manually constructed backward-direction summary functions of library methods. We have implemented our approach, and applied it on a set of real-life benchmarks. The base analysis is on average able to declare about 84% of dereferences in each benchmark as safe, while the two extensions push this number up to 91%. (C) 2014 Elsevier B.V. All rights reserved.

Ligand 5,10,15,20-Tetra(N-methyl-4-pyridyl)porphine (TMPyP4) Prefers the Parallel Propeller-Type Human Telomeric G-Quadruplex DNA over Its Other Polymorphs

The binding of ligand 5,10,15,20-tetra(N-methyl-4-pyridyl)porphine (TMPyP4) with telomeric and genomic G-quadruplex DNA has been extensively studied. However, a comparative study of interactions of TMPyP4 with different conformations of human telomeric G-quadruplex DNA, namely, parallel propeller-type (PP), antiparallel basket-type (AB), and mixed hybrid-type (MH) G-quadruplex DNA, has not been done. We considered all the possible binding sites in each of the G-quadruplex DNA structures and docked TMPyP4 to each one of them. The resultant most potent sites for binding were analyzed from the mean binding free energy of the complexes. Molecular dynamics simulations were then carried out, and analysis of the binding free energy of the TMPyP4-G-quadruplex complex showed that the binding of TMPyP4 with parallel propeller-type G-quadruplex DNA is preferred over the other two G-quadruplex DNA conformations. The results obtained from the change in solvent excluded surface area (SESA) and solvent accessible surface area (SASA) also support the more pronounced binding of the ligand with the parallel propeller-type G-quadruplex DNA.

Compiler/Runtime Framework for Dynamic Dataflow Parallelization of Tiled Programs

Task-parallel languages are increasingly popular. Many of them provide expressive mechanisms for intertask synchronization. For example, OpenMP 4.0 will integrate data-driven execution semantics derived from the StarSs research language. Compared to the more restrictive data-parallel and fork-join concurrency models, the advanced features being introduced into task-parallelmodels in turn enable improved scalability through load balancing, memory latency hiding, mitigation of the pressure on memory bandwidth, and, as a side effect, reduced power consumption. In this article, we develop a systematic approach to compile loop nests into concurrent, dynamically constructed graphs of dependent tasks. We propose a simple and effective heuristic that selects the most profitable parallelization idiom for every dependence type and communication pattern. This heuristic enables the extraction of interband parallelism (cross-barrier parallelism) in a number of numerical computations that range from linear algebra to structured grids and image processing. The proposed static analysis and code generation alleviates the burden of a full-blown dependence resolver to track the readiness of tasks at runtime. We evaluate our approach and algorithms in the PPCG compiler, targeting OpenStream, a representative dataflow task-parallel language with explicit intertask dependences and a lightweight runtime. Experimental results demonstrate the effectiveness of the approach.

Cross-correlation-aided transport in stochastically driven accretion flows

The origin of linear instability resulting in rotating sheared accretion flows has remained a controversial subject for a long time. While some explanations of such non-normal transient growth of disturbances in the Rayleigh stable limit were available for magnetized accretion flows, similar instabilities in the absence of magnetic perturbations remained unexplained. This dichotomy was resolved in two recent publications by Chattopadhyay and co-workers Mukhopadhyay and Chattopadhyay, J. Phys. A 46, 035501 (2013); Nath et al., Phys. Rev. E 88, 013010 (2013)] where it was shown that such instabilities, especially for nonmagnetized accretion flows, were introduced through interaction of the inherent stochastic noise in the system (even a ``cold'' accretion flow at 3000Kis too ``hot'' in the statistical parlance and is capable of inducing strong thermal modes) with the underlying Taylor-Couette flow profiles. Both studies, however, excluded the additional energy influx (or efflux) that could result from nonzero cross correlation of a noise perturbing the velocity flow, say, with the noise that is driving the vorticity flow (or equivalently the magnetic field and magnetic vorticity flow dynamics). Through the introduction of such a time symmetry violating effect, in this article we show that nonzero noise cross correlations essentially renormalize the strength of temporal correlations. Apart from an overall boost in the energy rate (both for spatial and temporal correlations, and hence in the ensemble averaged energy spectra), this results in mutual competition in growth rates of affected variables often resulting in suppression of oscillating Alfven waves at small times while leading to faster saturations at relatively longer time scales. The effects are seen to be more pronounced with magnetic field fluxes where the noise cross correlation magnifies the strength of the field concerned. Another remarkable feature noted specifically for the autocorrelation functions is the removal of energy degeneracy in the temporal profiles of fast growing non-normal modes leading to faster saturation with minimum oscillations. These results, including those presented in the previous two publications, now convincingly explain subcritical transition to turbulence in the linear limit for all possible situations that could now serve as the benchmark for nonlinear stability studies in Keplerian accretion disks.

Trace Driven Dynamic Deadlock Detection and Reproduction

Dynamic analysis techniques have been proposed to detect potential deadlocks. Analyzing and comprehending each potential deadlock to determine whether the deadlock is feasible in a real execution requires significant programmer effort. Moreover, empirical evidence shows that existing analyses are quite imprecise. This imprecision of the analyses further void the manual effort invested in reasoning about non-existent defects. In this paper, we address the problems of imprecision of existing analyses and the subsequent manual effort necessary to reason about deadlocks. We propose a novel approach for deadlock detection by designing a dynamic analysis that intelligently leverages execution traces. To reduce the manual effort, we replay the program by making the execution follow a schedule derived based on the observed trace. For a real deadlock, its feasibility is automatically verified if the replay causes the execution to deadlock. We have implemented our approach as part of WOLF and have analyzed many large (upto 160KLoC) Java programs. Our experimental results show that we are able to identify 74% of the reported defects as true (or false) positives automatically leaving very few defects for manual analysis. The overhead of our approach is negligible making it a compelling tool for practical adoption.

Thermally developing combined electroosmotic and pressure-driven flow of nanofluids in a microchannel under the effect of magnetic field

In the present study, the heat transfer characteristics of thermally developing magnetohydroclynamic flow of nanofluid through microchannel are delineated by following a semi analytical approach. The combined influences of pressure driven flow, electroosmotic transport and magnetic field is taken into account for the analysis of the complex microscale thermal transport processes. Solutions for the normalized temperature distributions and the Nusselt number variations, considering the simultaneous interplay of electrokinetic effects (electroosmosis), magnetic effects, Joule heating and viscous dissipation are obtained, for constant wall temperature condition. Particular attention is paid to assess the role of nanolluids in altering the transport phenomena, through variations in the effective nanoparticle volume fractions, as well as the aggregate structure of the particulate phases. It is observed that magnetohydrodynamic effect reduces advective transport of the liquid resulting in gradual reduction of heat transfer. Increase in nanoparticle volume fraction shows decrease in heat transfer. Similar effects are observed with increase in aggregate sizes of the nanoparticles. The effect of the nanofluids on system irreversibility is also studied through entropy generation analysis due to flow and heat transfer in the microchannel. Total entropy generation is found to be dominant at the thermally developing region of the microchannel, whereas it drops sharply at the thermally developed region. Presence of nanoparticles in the base fluid reduces the total entropy generation in the microchannel, thereby indicating decrease in thermodynamic irreversibility with increasing nanoparticle volume fraction. (C) 2014 Elsevier Ltd. All rights reserved.

Common-Mode Injection PWM for Parallel Converters

The ac-side terminal voltages of parallel-connected converters are different if the line reactive drops of the individual converters are different. This could result either from differences in per-phase inductances or from differences in the line currents of the converters. In such cases, the modulating signals are different for the converters. Hence, the common-mode (CM) voltages for the converters, injected by conventional space vector pulsewidth modulation (CSVPWM) to increase dc-bus utilization, are different. Consequently, significant low-frequency zero-sequence circulating currents result. This paper proposes a new modulation method for parallel-connected converters with unequal terminal voltages. This method does not cause low-frequency zero-sequence circulating currents and is comparable with CSVPWM in terms of dc-bus utilization and device power loss. Experimental results are presented at a power level of 150 kVA from a circulating-power test setup, where the differences in converter terminal voltages are quite significant.