Practical stopping criteria for validating safety-critical software by estimating impartial reliability

In this research, we investigate stopping rules for software testing and propose two stopping rules from the aspect of software reliability testing based on the impartial reliability model. The impartial reliability difference (IRD-MP) rule considers the difference between the impartial transition-probability reliabilities estimated for both software developer and consumers at their predetermined prior information levels. The empirical–impartial reliability difference (EIRD-MP) rule suggests stopping a software test when the computed empirical transition reliability is tending to its estimated impartial transition reliability. To insure the high-standard requirement for safety-critical software, both rules take the maximum probability (MP) of untested paths into account.     

Sulfonated poly(aryl ether ether ketone ketone)s containing fluorinated moieties as proton exchange membrane materials

A series of sulfonated poly(aryl ether ether ketone ketone)s statistical copolymers with high molecular weights were synthesized via an aromatic nucleophilic substitution polymerization. The sulfonation content (SC), defined as the number of sulfonic acid groups contained in an average repeat unit, could be controlled by the feed ratios of monomers. Flexible and strong membranes in sodium sulfonate form could be prepared by the solution casting method, and readily transformed to their proton forms by treating them in 2 N sulfuric acid. The polymers showed high T_gs, which increased with an increase in SC. Membranes prepared from the present sulfonated poly(ether ether ketone ketone) copolymers containing the hexafluoroisopropylidene moiety (SPEEKK‐6F) and copolymers containing the pendant 3,5‐ditrifluoromethylphenyl moiety (SPEEKK‐6FP) had lower water uptakes and lower swelling ratios in comparison with previously prepared copolymers containing 6F units. All of the polymers possessed proton conductivities higher than 1 × 10^?2 S/cm at room temperature, and proton conductivity values of several polymers were comparable to that of Nafion at high relative humidity. Their thermal stability, oxidative stability, and mechanical properties were also evaluated. © 2006 Wiley Periodicals, Inc. J Polym Sci Part B: Polym Phys 44: 2299–2310, 2006     

Size of Micelles Determined by Static Fluorescence Quenching

We developed a new method to measure the average aggregation number of large rod-like micelles using static fluorescence self-quenching of a solubilized fluorophore. The method is based on the increase of self-quenching of micelle-solubilized pyrene through excimer formation. We consider the effect of random distribution of pyrene in micelles and the micellar size distribution. The measured average aggregation <n> _M is based on a new M-weighted raging similar to our exponential-weighted averaging in the transient decay method. We apply this method to study the effect of a large concentration of salt on the average aggregation behavior of sodium dodecyl sulfate (SDS) and cetyle tetraammonium bromide (CTAB). The sizes increase with increasing ionic concentrations. For SDS, we used the thermodynamic model developed by Missel et al. to calculate < n > _M which we compare with experimental results.     

Temporal Response of SERS to the Potential for 4-Cyanopyridine Adsorbed on Ag Electrode

Time-resolved surface-enhanced Raman scattering (SERS) was applied to study the response of Raman bands from 4-cyanopyridine (PyCN) adsorbed on a Ag electrode to variation of the potential; the temporal resolution was 0.1 s. The response of the SERS signals of PyCN was instantaneous to the oxidation potential of Ag electrode. However, delay of the SERS signals was observed while AgCl was reducing. The decay and growth of the SERS bands look place within 1 s in the cases of desorption and adsorption of PyCN on the electrode. It took much longer for PyCN to alter from one adsorption geometry to another on the electrode.     

Optically clear simultaneous interpenetrating polymer networks based on poly(ethylene glycol) diacrylate and epoxy. I. Preparation and characterization

Poly(ethylene glycol) diacrylate was synthesized from poly(ethylene glycol) of molecular weight 600 with acryloyl chloride in a molar ratio of 1:2. Poly(ethylene glycol) diacrylate (PEGDA) was then blended with diglycidyl ether of bisphenol A (DGEBA) in various ratios, followed by curing with 2,2′-azobisisobutyronitrile (AIBN) and isophronediamine (IPDA) simultaneously. Viscosity changes before and during IPN formation were examined with a Brookfield viscometer. Formation of H-bonding and functional group changes were investigated with FTIR. Exothermic curing thermograms were recorded with dynamic DSC. Optically clear IPNs thus obtained were characterized with rheometric dynamic spectroscopy (RDS) and scanning electron microscopy (SEM) to check possible compatibility of the two networks. Experimental results revealed that during IPN formation hydrogen bonds between PEGDA and DGEBA and interlock of networks had profound effect on viscosity change and pot-life. Complete compatibility of the IPNs was found as DGEBA content was higher than 50% by weight. The compatibility between PEGDA and DGEBA networks was evidenced from inner shift of a single damping peak in RDS. In the meantime, SEM micrographs confirmed the coincidence with the result of RDS © 1992 John Wiley &Sons, Inc.     

Cytotoxic Constituents from the Stem Bark of Zanthoxylum Pistaciiflorum

Two new esters, methyl 4‐(prenyloxy)dihydrocinnamate and methyl 4‐(geranyloxy)dihydrocinnamate, together with fourteen known compounds have been isolated from the stem bark of Zanthoxylum pistaciiflorum. The structures of two new compounds were determined through spectral analyses. Among the isolates, four compounds exhibited effective cytotoxicities against P‐388 and HT‐29 cell lines in vitro.     

Voltammetric study of copper(I) thioacetamide complexes

Summary The composition and stability of copper(I) complexes with thioacetamide (TAA) have been evaluated with the help of square-wave voltammetry using the fast pulse technique. Two species, namely Cu(I) (TAA) and Cu(I) (TAA)₂, have been identified having the formation constants log ₁=16.85; log ₂=18.03. The complex is stable in highly acidic medium (pH1). The application for the determination of copper is pointed out.     

Optically clear simulataneous interpenetrating polymer networks based on poly(ethylene glycol) diacrylate and epoxy. II. Kinetic study

Simultaneous interpenetrating polymer networks (SINs) based on diglycidyl ether of bis-phenol A (DGEBA) and poly(ethylene glycol) diacrylate (PEGDA) in weight ratios of 100/0, 50/50, and 0/100 were blended and cured simultaneously by using benzoyl peroxide (BPO) and m-xylenediamine (MXDA) as curing agents. A kinetic study during SIN formation was carried out at 45, 55, 63, and 70°C. Concentration changes for both the epoxide and C?C bond were monitored with FTIR. A rate expression for DGEBA cure kinetics was established with a model reaction of phenyl glycidyl ether (PGE) and benzylamine. Experimental results revealed that lower rate constants and higher activation energy for the SIN were found, compared with those for the constituent DGEBA and PEGDA network formation. A model of network interlock was proposed to account for this phenomenon. During simultaneous cure of DGEBA and PEGDA, the interlock (mutual entanglement) between DGEBA and PEGDA networks provided a sterically hindered environment, which subsequently increased the activation energy and reduced cure rates for both DGEBA and PEGDA. © 1993 John Wiley & Sons, Inc.     

Vacuum ultraviolet 178.7 nm emission in sodium vapour under two-photon resonance excitation

We have observed a fixed wavelength emission at 178.7 nm in sodium vapour under 578.7 nm two-photon resonance excitation. The proposed non-linear wave mixing scheme is described by _{178.7 nm} = 2_L + _{465.7 nm}; where _178.7 is the 178.7 nm photon frequency, _L is the laser-photon frequency, and _465.7 is the 465.7 nm photon frequency. This 465.7 nm emission comes from another six-wave mixing process involving two hyper-electronic Raman scattering photons. The excitation spectrum of the 178.7 nm emission has a typical multiwave mixing pattern with a competing effect appearing at higher temperatures under two-photon resonance excitation. Numerical analysis indicates that this vacuum ultraviolet emission has a poor phase-match condition that will depress the emission intensity to a certain extent. This makes the observation more difficult compared with other reported four-wave mixing generated emissions. Fortunately, on the one hand, it is enhanced by quasi-auto-ionization resonance when the 3s–5s transition is coupled to the sodium continuum by a 330.2 nm photon. On the other hand, its wavelength sits so close to the sodium Cooper minimum that weak absorption will not suppress this vacuum ultraviolet emission further.     

Molecular-dynamics studies of bending mechanical properties of empty and C60-filled carbon nanotubes under nanoindentation

This paper utilizes molecular-dynamics simulations to investigate the mechanical characteristics of a suspended (10, 10) single-walled carbon nanotube (SWCNT) during atomic force microscopy (AFM) nanoindentation at different temperatures. Spontaneous topological transition of the Stone-Wales (SW) defects is clearly observed in the indentation process. The present results indicate that under AFM-bending deformation, the mechanical properties of the SWCNT, e.g., the bending strength, are dependent on the wrapping angle. In addition, it is also found that the radial dependence of the reduced formation energy of the SW defects is reasonably insensitive only for the small tubes. However, for tube diameters greater than 2.4 nm [corresponding to the (18, 18) CNT], the SW defects tend to be more radius sensitive. The results indicate that the bending strength decreases significantly with increasing temperature. This study also investigates the variation in the mechanical properties of the nanotube with the density of C60 encapsulated within the nanotube at various temperatures. It is found that, at lower temperatures, the bending strength of the C60-filled nanotube increases with C60 density. However, the reverse tendency is observed at higher temperatures. Finally, the "sharpest tip" phenomena between the probe and the tube wall and the elastic recovery of the nanotube during the retraction process are also investigated.