Modified lattice model for mode-I fracture analysis of notched plain concrete beam using probabilistic approach

A modified lattice model using finite element method has been developed to study the mode-I fracture analysis of heterogeneous materials like concrete. In this model, the truss members always join at points where aggregates are located which are modeled as plane stress triangular elements. The truss members are given the properties of cement mortar matrix randomly, so as to represent the randomness of strength in concrete. It is widely accepted that the fracture of concrete structures should not be based on strength criterion alone, but should be coupled with energy criterion. Here, by incorporating the strain softening through a parameter ‘α’, the energy concept is introduced. The softening branch of load-displacement curves was successfully obtained. From the sensitivity study, it was observed that the maximum load of a beam is most sensitive to the tensile strength of mortar. It is seen that by varying the values of properties of mortar according to a normal random distribution, better results can be obtained for load-displacement diagram.

Counter-free input-determined timed automata

We identify a class of timed automata, which we call counter-free input-determined automata, which characterize the class of timed languages definable by several timed temporal logics in the literature, including MTL. We make use of this characterization to show that MTL+Past satisfies an “ultimate stability” property with respect to periodic sequences of timed words. Our results hold for both the pointwise and continuous semantics. Along the way we generalize the result of McNaughton-Papert to show a counter-free automata characterization of FO-definable finitely varying functions.

Time-Resolved Resonance Raman Spectroscopy: Exploring Reactive Intermediates

The study of reaction mechanisms involves systematic investigations of the correlation between structure, reactivity, and time. The challenge is to be able to observe the chemical changes undergone by reactants as they change into products via one or several intermediates such as electronic excited states (singlet and triplet), radicals, radical ions, carbocations, carbanions, carbenes, nitrenes, nitrinium ions, etc. The vast array of intermediates and timescales means there is no single ``do-it-all'' technique. The simultaneous advances in contemporary time-resolved Raman spectroscopic techniques and computational methods have done much towards visualizing molecular fingerprint snapshots of the reactive intermediates in the microsecond to femtosecond time domain. Raman spectroscopy and its sensitive counterpart resonance Raman spectroscopy have been well proven as means for determining molecular structure, chemical bonding, reactivity, and dynamics of short-lived intermediates in solution phase and are advantageous in comparison to commonly used time-resolved absorption and emission spectroscopy. Today time-resolved Raman spectroscopy is a mature technique; its development owes much to the advent of pulsed tunable lasers, highly efficient spectrometers, and high speed, highly sensitive multichannel detectors able to collect a complete spectrum. This review article will provide a brief chronological development of the experimental setup and demonstrate how experimentalists have conquered numerous challenges to obtain background-free (removing fluorescence), intense, and highly spectrally resolved Raman spectra in the nanosecond to microsecond (ns-mu s) and picosecond (ps) time domains and, perhaps surprisingly, laid the foundations for new techniques such as spatially offset Raman spectroscopy.

On continuous timed automata with input-determined guards

We consider a general class of timed automata parameterized by a set of “input-determined” operators, in a continuous time setting. We show that for any such set of operators, we have a monadic second order logic characterization of the class of timed languages accepted by the corresponding class of automata. Further, we consider natural timed temporal logics based on these operators, and show that they are expressively equivalent to the first-order fragment of the corresponding MSO logics. As a corollary of these general results we obtain an expressive completeness result for the continuous version of MTL.

Evaluation of spatial variation of peak horizontal acceleration and spectral acceleration for south India: a probabilistic approach

In this work, an attempt has been made to evaluate the spatial variation of peak horizontal acceleration (PHA) and spectral acceleration (SA) values at rock level for south India based on the probabilistic seismic hazard analysis (PSHA). These values were estimated by considering the uncertainties involved in magnitude, hypocentral distance and attenuation of seismic waves. Different models were used for the hazard evaluation, and they were combined together using a logic tree approach. For evaluating the seismic hazard, the study area was divided into small grids of size 0.1A degrees A xA 0.1A degrees, and the hazard parameters were calculated at the centre of each of these grid cells by considering all the seismic sources within a radius of 300 km. Rock level PHA values and SA at 1 s corresponding to 10% probability of exceedance in 50 years were evaluated for all the grid points. Maps showing the spatial variation of rock level PHA values and SA at 1 s for the entire south India are presented in this paper. To compare the seismic hazard for some of the important cities, the seismic hazard curves and the uniform hazard response spectrum (UHRS) at rock level with 10% probability of exceedance in 50 years are also presented in this work.

Control of Molecular Weight and Polydispersity of Hyperbranched Polymers Using a Reactive B(3) Core: A Single-Step Route to Orthogonally Functionalizable Hyperbranched Polymers

Molecular weight and polydispersity are two structural features of hyperbranched polymers that are difficult to control because of the statistical nature of the step-growth polycondensation of AB(2) type monomers; the statistical growth also causes the polydispersity index to increase with percent conversion (or molecular weight). We demonstrate that using controlled amounts of a specifically designed B(3) core, containing B-type functionality that are more reactive than those present in the AB(2) monomer, both the molecular weight and the polydispersity can be readily controlled; the PDI was shown to improve with increasing mole-fraction of the B(3) core while the polymer molecular weight showed an expected decrease. Incorporation of a ``clickable'' propargyl group in the B(3) core unit permitted the generation of a core-functionalizable hyperbranched polymer. Importantly, this clickable core, in combination with a recently developed AB(2) monomer, wherein the B-type groups are allyl ethers and A is an hydroxyl group, led to the generation of a hyperbranched polymer carrying orthogonally functionalizable core and peripheral groups, via a single-step melt polycondensation. Selective functionalization of the core and periphery using two different types of chromophores was achieved, and the occurrence of fluorescence resonance energy transfer (FRET) between the donor and acceptor chromophores was demonstrated.

Control of Molecular Weight and Polydispersity of Hyperbranched Polymers Using a Reactive B(3) Core: A Single-Step Route to Orthogonally Functionalizable Hyperbranched Polymers

Molecular weight and polydispersity are two structural features of hyperbranched polymers that are difficult to control because of the statistical nature of the step-growth polycondensation of AB(2) type monomers; the statistical growth also causes the polydispersity index to increase with percent conversion (or molecular weight). We demonstrate that using controlled amounts of a specifically designed B(3) core, containing B-type functionality that are more reactive than those present in the AB(2) monomer, both the molecular weight and the polydispersity can be readily controlled; the PDI was shown to improve with increasing mole-fraction of the B(3) core while the polymer molecular weight showed an expected decrease. Incorporation of a ``clickable'' propargyl group in the B(3) core unit permitted the generation of a core-functionalizable hyperbranched polymer. Importantly, this clickable core, in combination with a recently developed AB(2) monomer, wherein the B-type groups are allyl ethers and A is an hydroxyl group, led to the generation of a hyperbranched polymer carrying orthogonally functionalizable core and peripheral groups, via a single-step melt polycondensation. Selective functionalization of the core and periphery using two different types of chromophores was achieved, and the occurrence of fluorescence resonance energy transfer (FRET) between the donor and acceptor chromophores was demonstrated.