The generalized Kuhn model of linear viscoelasticity

We propose a generalization of the Kuhn model of linear viscoelasticity. This generalization, which has four material parameters, is able to provide a near frequency independent response over a wide range of frequencies. It is useful for highly dissipative materials such as asphalt concrete. It is derived by generalizing Lubliner and Panoskaltsis’s modified Kuhn model, but we also show that it is closely related to fractional derivative models. We show that the model admits a rheological approximation, that is, an approximation by classical springs and dashpots. The model and rheological representation are compared to experimental data.     

A bi-criteria model for the inventory aggregation problem under risk pooling

Inventory aggregation, also called Risk Pooling, is one of the most efficient ways to reduce the level of safety stocks thereby reducing inventory across the supply chain. Determining the best level of aggregation is a difficult problem and needs extensive study of all the possible scenarios that can affect this decision. Minimizing costs in a supply chain is no longer the sole priority of businesses. Maintaining a high level of responsiveness is also considered equally important. The conflicting nature of these two criteria makes the solution of the problem difficult. In this paper, we develop a bi-criteria nonlinear stochastic integer programming model to determine the best supply chain distribution network to meet customer demands, where minimizing costs while maintaining high levels of responsiveness is important. We develop a two-stage optimization algorithm to solve this problem.     

Geometrical and sequence characteristics of alpha-helices in globular proteins

Understanding the sequence-structure relationships in globular proteins is important for reliable protein structure prediction and de novo design. Using a database of 1131 alpha-helices with nonidentical sequences from 205 nonhomologous globular protein chains, we have analyzed structural and sequence characteristics of alpha-helices. We find that geometries of more than 99% of all the alpha-helices can be simply characterised as being linear, curved, or kinked. Only a small number of alpha-helices ( approximately 4%) show sharp localized bends in their middle regions, and thus are classified as kinked. Approximately three-fourths (approximately 73%) of the alpha-helices in globular proteins show varying degrees of smooth curvature, with a mean radius of curvature of 65 +/- 33 A; longer helices are less curved. Computation of helix accessibility to the solvent indicates that nearly two-thirds of the helices ( approximately 66%) are largely buried in the protein core, and the length and geometry of the helices are not correlated with their location in the protein globule. However, the amino acid compositions and propensities of individual amino acids to occur in alpha-helices vary with their location in the protein globule, their geometries, and their lengths. In particular, Gln, Glu, Lys, and Arg are found more often in helices near the surface of globular proteins. Interestingly, kinks often seem to occur in regions where amino acids with low helix propensities (e.g., beta-branched and aromatic residues) cluster together, in addition to those associated with the occurrence of proline residues. Hence the propensities of individual amino acids to occur in a given secondary structure depend not only on conformation but also on its length, geometry, and location in the protein globule.     

Design of novel compact anti-stiction and low insertion loss RF MEMS switch

A novel torsional RF MEMS capacitive switch design on silicon substrate is presented. The optimized switch topology such as reduction in up-state capacitance results in insertion loss better than ?0.1 dB till 20 GHz. Off to on state capacitance ratio is also improved by 18 fold and isolation is better than ?43 dB at 9.5 GHz. The achieved on state return loss is ?38 dB as compared to ?21 dB at 9.5 GHz. An optimized reduction in contact area and use of floating metal layer increases the switching speed from 56 to 46 μsec. It also increases the switch reliability by alleviating the stiction.     

Studies on chemical resistance of polyesters

Chlorendic anhydride based polyester ( I ,) tetrachlorophthalic anhydride based polyester ( II ), dibromoneopentyl glycol based polyester ( III ,) general purpose polyester ( IV ,) blend of dibromoneopentyl glycol based polyester with general purpose polyester ( V ,) chlorendic anhydride and dibromoneopentyl glycol based polyester ( VI ), and a blend of chlorendic anhydride based polyester and dibromoneopentyl glycol based polyester ( VII ) were prepared and their chemical resistance and moisture absorption studied in various reagents, acid, alkali, and water, at 25 and 65°C. It is found that the polyester ( III ) is the least affected in the presence of the acids. In 20% NaOH, there was a decrease in weight for all polyesters at both the temperatures compared to the control except the polyester ( VII ). Increase in weight of all the polyesters was observed during the absorption of moisture both at 25 and 65°C. The increase was higher at higher temperature. Polyester ( III ) thus shows the least absorption of moisture.     

Antiandrogen and Antimicrobial Aspects of Coordination Compounds of Palladium(II), Platinum(II) and Lead(II)

Synthesis, characterization and antimicrobial activities of an interesting class of biologically potent macrocyclic complexes have been carried out. All the complexes have been evaluated for their antimicrobial effects on different species of pathogenic fungi and bacteria. The testicular sperm density, testicular sperm morphology, sperm motility, density of cauda epididymal spermatozoa and fertility in mating trails and biochemical parameters of reproductive organs have been examined and discussed. The resulting biologically active [M(MaL(n))(R(2))]Cl(2) and [Pb(MaL(n))(R(2))X(2)] (where, M = Pd(II) or Pt(II) and X = Cl or NO(3)) type of complexes have been synthesized by the reactions of macrocyclic ligands (MaL(n)) with metal salts and different diamines in 1:1:1 molar ratio in methanol. Initially the complexes were characterized by elemental analyses, molecular weight determinations and conductivity measurements. The mode of bonding was established on the basis of IR, (1)H NMR, (13)C NMR, (195)Pt NMR, (207)Pb NMR, XRD and electronic spectral studies. The macrocyclic ligand coordinates through the four azomethine nitrogen atoms which are bridged by benzil moieties. IR spectra suggest that the pyridine nitrogen is not coordinating. The palladium and platinum complexes exhibit tetracoordinated square-planar geometry, whereas a hexacoordinated octahedral geometry is suggested for lead complexes.     

Structural drivers controlling sulfur solubility in alkali aluminoborosilicate glasses

If the direct feed approach to vitrify the Hanford's tank waste is implemented, the low activity waste (LAW) will comprise higher concentrations of alkali/alkaline-earth sulfates than expected under the previously proposed vitrification scheme. To ensure a minimal impact of higher sulfate concentrations on the downstream operations and overall cost of vitrification, advanced glass formulations with enhanced sulfate loadings (solubility) are needed. While, the current sulfate solubility predictive models have been successful in designing LAW glasses with sulfate loadings <2 wt.%, it will be difficult for them to design glass compositions with enhanced loadings due to our limited understanding of the fundamental science governing these processes. In this pursuit, this article unearths the underlying compositional and structural drivers controlling the sulfate solubility in model LAW glasses. It has been shown that the preferentially removes non-framework cations from the modifier sites in the silicate network, thus, leading to the polymerization in the glass network via the formation of ring-structured borosilicate units. Furthermore, though the sulfate solubility slightly decreases with increasing Li⁺/Na⁺ in the glasses, the prefers to be charge compensated by Na⁺, as it is easier for to break Na–O bonds instead of Li–O bonds.     

Evaluating the role of composition and local structure on alkali out-diffusion in glasses for thin-film solar cells

The presence of alkali ions has reportedly improved the performance of CIGS/CZTS–based thin-film solar cells. The out-diffusion of the alkali ion, in particular, Na, from the glass substrate offers a facile scalable route of supplying the alkali ions during the growth of the absorber layer. In this work, we demonstrate the diffusion of different alkali ions (Li/Na/K) from composition tuned glasses with intentionally incorporated excess alkali ions into a thin Mo film, typically used as a bottom electrode in solar cells. We also evaluate the physical, mechanical, and thermal properties of the glasses for suitability as a substrate in thin-film deposition. The out-diffusion of alkali ions to the overlayer is found to be critically influenced by the composition and the local structure of the glasses. The Na ions exhibit the highest extent of diffusion among the alkali ions present in glass substrates, while that for the K-ions is the lowest. For the glasses with mixed alkali ions, the presence of Li facilitated the out-diffusion of Na, whereas K ions appear to inhibit the same. Differently with the existing reports, we show that the activation energy and the presence of Ca ions as additional modifiers play a crucial role in the transport mechanism of the ions. In addition, the synthesized glasses exhibit hardness of the order 5-7 GPa, density ~2.55 g cm^-3. The glass transition temperature lies between 535 and 580°C and the coefficient of thermal expansion 8.5-10 ppm/K, which is highly suitable for use as substrates in thin-film solar cells.     

Template-based program verification and program synthesis

Program verification is the task of automatically generating proofs for a program’s compliance with a given specification. Program synthesis is the task of automatically generating a program that meets a given specification. Both program verification and program synthesis can be viewed as search problems, for proofs and programs, respectively. For these search problems, we present approaches based on user-provided insights in the form of templates. Templates are hints about the syntactic forms of the invariants and programs, and help guide the search for solutions. We show how to reduce the template-based search problem to satisfiability solving, which permits the use of off-the-shelf solvers to efficiently explore the search space. Template-based approaches have allowed us to verify and synthesize programs outside the abilities of previous verifiers and synthesizers. Our approach can verify and synthesize difficult algorithmic textbook programs (e.g., sorting and dynamic programming-based algorithms) and difficult arithmetic programs.