Derating Based Hardware Optimizations in Soft Error Tolerant Designs

Ensuring reliable operation over an extended period of time is one of the biggest challenges facing present day electronic systems. The increased vulnerability of the components to atmospheric particle strikes poses a big threat in attaining the reliability required for various mission critical applications. Various soft error mitigation methodologies exist to address this reliability challenge. A general solution to this problem is to arrive at a soft error mitigation methodology with an acceptable implementation overhead and error tolerance level. This implementation overhead can then be reduced by taking advantage of various derating effects like logical derating, electrical derating and timing window derating, and/or making use of application redundancy, e. g. redundancy in firmware/software executing on the so designed robust hardware. In this paper, we analyze the impact of various derating factors and show how they can be profitably employed to reduce the hardware overhead to implement a given level of soft error robustness. This analysis is performed on a set of benchmark circuits using the delayed capture methodology. Experimental results show upto 23% reduction in the hardware overhead when considering individual and combined derating factors.

Effect of high gold salt concentrations on the size and polydispersity of gold nanoparticles prepared by an extended Turkevich-Frens method

The Turkevich-Frens synthesis starting conditions are expanded, ranging the gold salt concentrations up to 2 mM and citrate/gold(III) molar ratios up to 18:1. For each concentration of the initial gold salt solution, the citrate/gold(III) molar ratios are systematically varied from 2:1 to 18:1 and both the size and size distribution of the resulting gold nanoparticles are compared. This study reveals a different nanoparticle size evolution for gold salt solutions ranging below 0.8 mM compared to the case of gold salt solutions above 0.8 mM. In the case of Au3+]<0.8 mM, both the size and size distribution vary substantially with the citrate/gold(III) ratio, both displaying plateaux that evolve inversely to Au3+] at larger ratios. Conversely, for Au3+]>= 0.8 mM, the size and size distribution of the synthesized gold nanoparticles continuously rise as the citrate/gold(III) ratio is increased. A starting gold salt concentration of 0.6 mM leads to the formation of the most monodisperse gold nanoparticles (polydispersity index<0.1) for a wide range of citrate/gold(III) molar ratios (from 4:1 to 18:1). Via a model for the formation of gold nanoparticles by the citrate method, the experimental trends in size could be qualitatively predicted:the simulations showed that the destabilizing effect of increased electrolyte concentration at high initial Au3+] is compensated by a slight increase in zeta potential of gold nanoparticles to produce concentrated dispersion of gold nanoparticles of small sizes.

Unusual Salt-Induced Color Modulation through Aggregation-Induced Emission Switching of a Bis-cationic Phenylenedivinylene-Based pi Hydrogelator

The synthesis, hydrogelation, and aggregation-induced emission switching of the phenylenedivinylene bis-N-octyl pyridinium salt is described. Hydrogelation occurs as a consequence of pi-stacking, van der Waals, and electrostatic interactions that lead to a high gel melting temperature and significant mechanical properties at a very low weight percentage of the gelator. A morphology transition from fiber-to-coil-to-tube was observed depending on the concentration of the gelator. Variation in the added salt type, salt concentrations, or temperature profoundly influenced the order of aggregation of the gelator molecules in aqueous solution. Formation of a novel chromophore assembly in this way leads to an aggregation-induced switch of the emission colors. The emission color switches from sky blue to white to orange depending upon the extent of aggregation through mere addition of external inorganic salts. Remarkably, the salt effect on the assembly of such cationic phenylenedivinylenes in water follow the behavior predicted from the well-known Hofmeister effects. Mechanistic insights for these aggregation processes were obtained through the counterion exchange studies. The aggregation-induced emission switching that leads to a room-temperature white-light emission from a single chromophore in a single solvent (water) is highly promising for optoelectronic applications.

SEU Tolerant Robust Memory Cell Design

The implementation of semiconductor circuits and systems in nano-technology makes it possible to achieve high speed, lower voltage level and smaller area. The unintended and undesirable result of this scaling is that it makes integrated circuits susceptible to soft errors normally caused by alpha particle or neutron hits. These events of radiation strike resulting into bit upsets referred to as single event upsets(SEU), become increasingly of concern for the reliable circuit operation in the field. Storage elements are worst hit by this phenomenon. As we further scale down, there is greater interest in reliability of the circuits and systems, apart from the performance, power and area aspects. In this paper we propose an improved 12T SEU tolerant SRAM cell design. The proposed SRAM cell is economical in terms of area overhead. It is easy to fabricate as compared to earlier designs. Simulation results show that the proposed cell is highly robust, as it does not flip even for a transient pulse with 62 times the Q(crit) of a standard 6T SRAM cell.

A generic variant of NIST’s KAS2 key agreement protocol

We propose a generic three-pass key agreement protocol that is based on a certain kind of trapdoor one-way function family. When specialized to the RSA setting, the generic protocol yields the so-called KAS2 scheme that has recently been standardized by NIST. On the other hand, when specialized to the discrete log setting, we obtain a new protocol which we call DH2. An interesting feature of DH2 is that parties can use different groups (e.g., different elliptic curves). The generic protocol also has a hybrid implementation, where one party has an RSA key pair and the other party has a discrete log key pair. The security of KAS2 and DH2 is analyzed in an appropriate modification of the extended Canetti-Krawczyk security model.

Optimal forwarding in delay tolerant networks with multiple destinations

We study the trade-off between delivery delay and energy consumption in a delay tolerant network in which a message (or a file) has to be delivered to each of several destinations by epidemic relaying. In addition to the destinations, there are several other nodes in the network that can assist in relaying the message. We first assume that, at every instant, all the nodes know the number of relays carrying the packet and the number of destinations that have received the packet. We formulate the problem as a controlled continuous time Markov chain and derive the optimal closed loop control (i.e., forwarding policy). However, in practice, the intermittent connectivity in the network implies that the nodes may not have the required perfect knowledge of the system state. To address this issue, we obtain an ODE (i.e., fluid) approximation for the optimally controlled Markov chain. This fluid approximation also yields an asymptotically optimal open loop policy. Finally, we evaluate the performance of the deterministic policy over finite networks. Numerical results show that this policy performs close to the optimal closed loop policy.

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.

New rock salt-related oxides Li3M2RuO6 (M=Co, Ni): Synthesis, structure, magnetism and electrochemistry

We describe the synthesis, crystal structure, magnetic and electrochemical characterization of new rock salt-related oxides of formula, Li3M2RuO6 (M=Co, Ni). The M=Co oxide adopts the LiCoO2 (R-3m) structure, where sheets of LiO6 and (Co-2/Ru)O-6 octahedra are alternately stacked along the c-direction. The M=Ni oxide also adopts a similar layered structure related to Li2TiO3, where partial mixing of Li and Ni/Ru atoms lowers the symmetry to monoclinic (C2/c). Magnetic susceptibility measurements reveal that in Li3Co2RuO6, the oxidation states of transition metal ions are Co3+ (S=0), Co2+ (S=1/2) and Ru4+ (S=1), all of them in low-spin configuration and at 10 K, the material orders antiferromagnetically. Analogous Li3Ni2RuO6 presents a ferrimagnetic behavior with a Curie temperature of 100 K. The differences in the magnetic behavior have been explained in terms of differences in the crystal structure. Electrochemical studies correlate well with both magnetic properties and crystal structure. Li-transition metal intermixing may be at the origin of the more impeded oxidation of Li3Ni2RuO6 when compared to Li3CO2RuO6. Interestingly high first charge capacities (between ca. 160 and 180 mAh g(-1)) corresponding to ca. 2/3 of theoretical capacity are reached albeit, in both cases, capacity retention and cyclability are not satisfactory enough to consider these materials as alternatives to LiCoO2. (C) 2013 Elsevier Inc. All rights reserved.

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.

Fault-tolerant secret key generation

Mobile nodes observing correlated data communicate using an insecure bidirectional switch to generate a secret key, which must remain concealed from the switch. We are interested in fault-tolerant secret key rates, i.e., the rates of secret key generated even if a subset of nodes drop out before the completion of the communication protocol. We formulate a new notion of fault-tolerant secret key capacity, and present an upper bound on it. This upper bound is shown to be tight when the random variables corresponding to the observations of nodes are exchangeable. Further, it is shown that one round of interaction achieves the fault-tolerant secret key capacity in this case. The upper bound is also tight for the case of a pairwise independent network model consisting of a complete graph, and can be attained by a noninteractive protocol.

Salt and cocrystals of sildenafil with dicarboxylic acids: solubility and pharmacokinetic advantage of the glutarate salt

Sildenafil is a drug used to treat erectile dysfunction and pulmonary arterial hypertension. Because of poor aqueous solubility of the drug, the citrate salt, with improved solubility and pharmacokinetics, has been marketed. However, the citrate salt requires an hour to reach its peak plasma concentration. Thus, to improve solubility and bioavailability characteristics, cocrystals and salts of the drug have been prepared by treating aliphatic dicarboxylic acids with sildenafil; the N-methylated piperazine of the drug molecule interacts with the carboxyl group of the acid to form a heterosynthon. Salts are formed with oxalic and fumaric acid; salt monoanions are formed with succinic and glutaric acid. Sildenafil forms cocrystals with longer chain dicarboxylic acids such as adipic, pimelic, suberic, and sebacic acids. Auxiliary stabilization via C-H center dot center dot center dot O interactions is also present in these cocrystals and salts. Solubility experiments of sildenafil cocrystal/salts were carried out in 0.1N HCl aqueous medium and compared with the solubility of the citrate salt. The glutarate salt and pimelic acid cocrystal dissolve faster than the citrate salt in a two hour dissolution experiment. The glutarate salt exhibits improved solubility (3.2-fold) compared to the citrate salt in water. Solubilities of the binary salts follow an inverse correlation with their melting points, while the solubilities of the cocrystals follow solubilities of the coformer. Pharmacokinetic studies on rats showed that the glutarate salt exhibits doubled plasma AUC values in a single dose within an hour compared to the citrate salt. The high solubility of glutaric acid, in part originating from the strained conformation of the molecule and its high permeability, may be the reason for higher plasma levels of the drug.

Conflict-tolerant specifications for hybrid systems

We propose a framework for developing and reasoning about hybrid systems that are comprised of a plant with multiple controllers, each of which controls the plant intermittently. The framework is based on the notion of a ``conflict tolerant'' specification for a controller, and provides a modular way of developing and reasoning about such systems. We propose a novel mechanism of defining conflict-tolerant specifications for general hybrid systems, using ``acceptor'' and ``advisor'' components. We also give a decision procedure for verifying whether a controller satisfies its conflict-tolerant specification, in the special case when the components are modeled using initialized rectangular hybrid automata.

Optimal Forwarding in Delay-Tolerant Networks With Multiple Destinations

We study the tradeoff between delivery delay and energy consumption in a delay-tolerant network in which a message (or a file) has to be delivered to each of several destinations by epidemic relaying. In addition to the destinations, there are several other nodes in the network that can assist in relaying the message. We first assume that, at every instant, all the nodes know the number of relays carrying the message and the number of destinations that have received the message. We formulate the problem as a controlled continuous-time Markov chain and derive the optimal closed-loop control (i.e., forwarding policy). However, in practice, the intermittent connectivity in the network implies that the nodes may not have the required perfect knowledge of the system state. To address this issue, we obtain an ordinary differential equation (ODE) (i.e., a deterministic fluid) approximation for the optimally controlled Markov chain. This fluid approximation also yields an asymptotically optimal open-loop policy. Finally, we evaluate the performance of the deterministic policy over finite networks. Numerical results show that this policy performs close to the optimal closed-loop policy.

Estimation of time variant reliability of randomly parametered non-linear vibrating systems

The problem of time variant reliability analysis of randomly parametered and randomly driven nonlinear vibrating systems is considered. The study combines two Monte Carlo variance reduction strategies into a single framework to tackle the problem. The first of these strategies is based on the application of the Girsanov transformation to account for the randomness in dynamic excitations, and the second approach is fashioned after the subset simulation method to deal with randomness in system parameters. Illustrative examples include study of single/multi degree of freedom linear/non-linear inelastic randomly parametered building frame models driven by stationary/non-stationary, white/filtered white noise support acceleration. The estimated reliability measures are demonstrated to compare well with results from direct Monte Carlo simulations. (C) 2014 Elsevier Ltd. All rights reserved.

Effect of Rayleigh numbers on the evolution of double-diffusive salt fingers

This is a transient two-dimensional numerical study of double-diffusive salt fingers in a two-layer heat-salt system for a wide range of initial density stability ratio (R-rho 0) and thermal Rayleigh numbers (Ra-T similar to 10(3) - 10(11)). Salt fingers have been studied for several decades now, but several perplexing features of this rich and complex system remain unexplained. The work in question studies this problem and shows the morphological variation in fingers from low to high thermal Rayleigh numbers, which have been missed by the previous investigators. Considerable variations in convective structures and evolution pattern were observed in the range of Ra-T used in the simulation. Evolution of salt fingers was studied by monitoring the finger structures, kinetic energy, vertical profiles, velocity fields, and transient variation of R-rho(t). The results show that large scale convection that limits the finger length was observed only at high Rayleigh numbers. The transition from nonlinear to linear convection occurs at about Ra-T similar to 10(8). Contrary to the popular notion, R-rho(t) first decrease during diffusion before the onset time and then increase when convection begins at the interface. Decrease in R-rho(t) is substantial at low Ra-T and it decreases even below unity resulting in overturning of the system. Interestingly, all the finger system passes through the same state before the onset of convection irrespective of Rayleigh number and density stability ratio of the system. (C) 2014 AIP Publishing LLC.