Experimental and Analytical Behavior of Carbon Fiber-Based Rods as Flexural Reinforcement

This paper presents the results of an experimental and analytical comparison of a study on the flexural behavior of concrete beams reinforced with sandblasted carbon fiber-based composite rods. Twelve beams, including three control beams reinforced with steel, were tested for strength, deformation, and failure characteristics. Analytical comparisons included the generation of the theoretical strength and moment curvature relations. Experimental data from pullout tests indicated that bonding of sandblasted rods is not a major concern. However, excessive deformation in achieving the predicted moment capacity could be a limiting factor in the design of these beams.     

Synthesis and characterization of amide linkage-incorporated polyethyleneimine-based chelating resins and studies of the crosslink density and surface properties on metal ion uptake

The chelating resins incorporating amide linkages were synthesized in open reaction vessels (OV) by polycondensing different proportions, viz., 1 : 1, 1 : 1.3, and 1.3 : 1 of polyethyleneimine (PEI) and diethylenetriaminepentaacetic acid (DTPA), respectively, at 145–155°C, and at varying curing times (15 h and 22 h). For the proportion 1 : 1, the synthesis was performed in a closed reaction vessel (CV) as well. The resins were characterized by FTIR, elemental, and thermogravimetric analysis, apart from sarptometric surface studies. The extent of crosslinking was evaluated by swelling measurements and the chemical stability was assessed by acid and alkali treatment. The effect of the mode of heating and curing times on the extent of crosslinking and pore structure modifications were evaluated. The influence of these factors on the capacities, the kinetics, and the break through curve trends of these resins were studied using zinc and cadmium metal ions as references. The reproducibility of the resins were ascertained by assessing the extent of change in the break through curve trends of their different batches, synthesized under identical conditions. © 1993 John Wiley & Sons, Inc.     

Mixing matrix estimation using discriminative clustering for blind source separation

Mixing matrix estimation in instantaneous blind source separation (BSS) can be performed by exploiting the sparsity and disjoint orthogonality of source signals. As a result, approaches for estimating the unknown mixing process typically employ clustering algorithms on the mixtures in a parametric domain, where the signals can be sparsely represented. In this paper, we propose two algorithms to perform discriminative clustering of the mixture signals for estimating the mixing matrix. For the case of overdetermined BSS, we develop an algorithm to perform linear discriminant analysis based on similarity measures and combine it with K-hyperline clustering. Furthermore, we propose to perform discriminative clustering in a high-dimensional feature space obtained by an implicit mapping, using the kernel trick, for the case of underdetermined source separation. Using simulations on synthetic data, we demonstrate the improvements in mixing matrix estimation performance obtained using the proposed algorithms in comparison to other clustering methods. Finally we perform mixing matrix estimation from speech mixtures, by clustering single source points in the time-frequency domain, and show that the proposed algorithms achieve higher signal to interference ratio when compared to other baseline algorithms.     

Hybrid Authentication Using Node Trustworthy to Detect Vulnerable Nodes

An ad-hoc sensor network (ASN) is a group of sensing nodes that transmit data over a wireless link to a target node, direct or indirect, through a series of nodes. ASN becomes a high-risk group for several security exploits due to the sensor node’s limited resources. Internal threats are more challenging to protect against than external attacks. The nodes are grouped, and calculate each node’s trust level. The trust level is the result of combining internal and external trust degrees. Cluster heads (CH) are chosen based on the anticipated trust levels. The communications are then digitally signed by the source, encoded using a key pair given by a trustworthy CH, decoded by the recipient, and supervised by verifications. It authenticates the technique by identifying the presence of both the transmitter and the recipient. Our approach looks for a trustworthy neighboring node that meets the trust threshold condition to authenticate the key produced. The companion node reaffirms the node’s reliability by getting the public-key certification. The seeking sensor node and the certification issuer node must have a close and trusting relationship. The results of the proposed hybrid authentication using a node trustworthy (HANT) system are modeled and tested, and the suggested approach outperforms conventional trust-based approaches in throughput, latency, lifetime, and vulnerability methods.     

Probabilistic approximations of ODEs based bio-pathway dynamics

Bio-chemical networks are often modeled as systems of ordinary differential equations (ODEs). Such systems will not admit closed form solutions and hence numerical simulations will have to be used to perform analyses. However, the number of simulations required to carry out tasks such as parameter estimation can become very large. To get around this, we propose a discrete probabilistic approximation of the ODEs dynamics. We do so by discretizing the value and the time domain and assuming a distribution of initial states w.r.t. the discretization. Then we sample a representative set of initial states according to the assumed initial distribution and generate a corresponding set of trajectories through numerical simulations. Finally, using the structure of the signaling pathway we encode these trajectories compactly as a dynamic Bayesian network.This approximation of the signaling pathway dynamics has several advantages. First, the discretized nature of the approximation helps to bridge the gap between the accuracy of the results obtained by ODE simulation and the limited precision of experimental data used for model construction and verification. Second and more importantly, many interesting pathway properties can be analyzed efficiently through standard Bayesian inference techniques instead of resorting to a large number of ODE simulations. We have tested our method on ODE models of the EGF-NGF signaling pathway [1] and the segmentation clock pathway [2]. The results are very promising in terms of accuracy and efficiency.     

Stable Synthetic Bacteriochlorins for Photodynamic Therapy: Role of Dicyano Peripheral Groups,Central Metal Substitution (2H,Zn, Pd), and Cremophor EL Delivery

A series of four stable synthetic bacteriochlorins was tested in vitro in HeLa cells for their potential in photodynamic therapy (PDT). The parent bacteriochlorin (BC), dicyano derivative (NC)₂BC and corresponding zinc chelate (NC)₂BC–Zn and palladium chelate (NC)₂BC–Pd were studied. Direct dilution of a solution of bacteriochlorin in an organic solvent (N,N‐dimethylacetamide) into serum‐containing medium was compared with the dilution of bacteriochlorin in Cremophor EL (CrEL; polyoxyethylene glycerol triricinoleate) micelles into the same medium. CrEL generally reduced aggregation (as indicated by absorption and fluorescence) and increased activity up to tenfold (depending on bacteriochlorin), although it decreased cellular uptake. The order of PDT activity against HeLa human cancer cells after 24 h incubation and illumination with 10 J cm^?2 of near‐infrared (NIR) light is (NC)₂BC–Pd (LD₅₀=25 nM ) > (NC)₂BC > (NC)₂BC–Zn ≈ BC. Subcellular localization was determined to be in the endoplasmic reticulum, mitochondria and lysosomes, depending on the bacteriochlorin. (NC)₂BC–Pd showed PDT‐mediated damage to mitochondria and lysosomes, and the greatest production of hydroxyl radicals as determined using a hydroxyphenylfluorescein probe. The incorporation of cyano substituents provides an excellent motif for the enhancement of the photoactivity and photostability of bacteriochlorins as PDT photosensitizers.     

An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces

A basic result concerning LTL, the propositional temporal logic of linear time, is that it is expressively complete; it is equal in expressive power to the first order theory of sequences. We present here a smooth extension of this result to the class of partial orders known as Mazurkiewicz traces. These partial orders arise in a variety of contexts in concurrency theory and they provide the conceptual basis for many of the partial order reduction methods that have been developed in connection with LTL-specifications.We show that LTrL, our linear time temporal logic, is equal in expressive power to the first order theory of traces when interpreted over (finite and) infinite traces. This result fills a prominent gap in the existing logical theory of infinite traces. LTrL also constitutes a characterisation of the so-called trace consistent (robust) LTL-specifications. These are specifications expressed as LTL formulas that do not distinguish between different linearisations of the same trace and hence are amenable to partial order reduction methods.     

Green synthesized Au–Ag bimetallic nanoparticles modified electrodes for the amperometric detection of hydrogen peroxide

Simple and eco-friendly electro deposition method was employed for the fabrication of Au–Ag bimetallic nanoparticles modified glassy carbon electrode. Nano Au–Ag film modified glassy carbon electrode surface morphology has been examined using atomic force microscopy. Electrodeposited Au–Ag bimetallic nanoparticles were found in the average size range of 15–50 nm. The electrochemical investigations of nano Au–Ag/1-butyl-3-methylimidazolium tetrafluoroborate-nafion film have been carried out using cyclic voltammetry and electrochemical impedance spectroscopy. The nano Au–Ag/1-butyl-3-methylimidazolium tetrafluoroborate-nafion film modified glassy carbon electrode holds the good electrochemical behavior and stability in pH 7.0 phosphate buffer solutions. The nano Au–Ag/1-butyl-3-methylimidazolium tetrafluoroborate-nafion modified glassy carbon electrode was successfully employed for the detection of H₂O₂ in the linear range of 1–250 μM in lab samples, and 1 × 10⁻³–2 × 10⁻² M in real samples, respectively.     

Product interval automata

We identify a subclass of timed automata called product interval automata and develop its theory. These automata consist of a network of timed agents with the key restriction being that there is just one clock for each agent and the way the clocks are read and reset is determined by the distribution of shared actions across the agents. We show that the resulting automata admit a clean theory in both logical and language theoretic terms. We also show that product interval automata are expressive enough to model the timed behaviour of asynchronous digital circuits.