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.     

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.     

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.     

A relaxation study of poled nonlinear optical polymers by infrared reflection-absorption spectroscopy

The relaxation of poled nonlinear optical (NLO) chromophores in polymer films was characterized by infrared (i.r.) reflection-absorption spectroscopy. Both a guest-host system and a photocrosslinkable polymer system were investigated. Polymethylmethacrylate doped with either 2-methyl-4-nitroaniline or 4(4′-nitrophenylazo)aniline was studied. The photocrosslinkable polymer system, polyvinylcinnamate doped with 3-cinnamoyloxy-4-[4-(N,N-diethylamino)-2-cinnamoyloxy phenyl azo]nitrobenzene was also investigated. Doped NLO active molecules were aligned using the corona poling technique. i.r. spectra as a function of time were used to monitor the relaxation behavior of the oriented dyes after poling. Relaxation of NLO molecules was followed at various characteristic vibrational frequencies. The relaxation behavior of both systems were found to be consistent with those studied by the second harmonic generation technique.     

Insertion Reactions of Carbon Disulfide into Mg‐C and Mg‐N Bonds: Syntheses and Structural Determinations of Mg(S2CY)2(THF)n(Y=NEt2, NiPr2, iPr,Ph) and BrMg(S2CZ)(THF)3(Z=Ph,iPr)

The insertion reaction of CS₂ with Mg(NR₂)₂ (R= Et, ⁱPr), MgR′₂ (R′= Et, Ph) and R″MgBr (R″= ⁱPr, Ph) respectively lead solid products, Mg(S₂CNR₂)₂(THF)_n ( 1 : R= Et, n=2; 2 : R= ⁱPr, n=1), Mg(S₂C′R)₂(THF)₂ ( 3 : ′R= Et, 4 : ′R= Ph), BrMg(S₂C″R) (THF)₃ ( 5 : ″R= ⁱPr, 6 : ″R= Ph) in which the inserted carbon disulfides act as terminal chelating ligands. These compounds were characterized with ¹H, ¹³C NMR, IR spectroscopy, mass spectrometry, elemental analyses, and X‐ray crystallography.     

Crowning Proteins: Modulating the Protein Surface Properties using Crown Ethers

Crown ethers are small, cyclic polyethers that have found wide‐spread use in phase‐transfer catalysis and, to a certain degree, in protein chemistry. Crown ethers readily bind metallic and organic cations, including positively charged amino acid side chains. We elucidated the crystal structures of several protein‐crown ether co‐crystals grown in the presence of 18‐crown‐6. We then employed biophysical methods and molecular dynamics simulations to compare these complexes with the corresponding apoproteins and with similar complexes with ring‐shaped low‐molecular‐weight polyethylene glycols. Our studies show that crown ethers can modify protein surface behavior dramatically by stabilizing either intra‐ or intermolecular interactions. Consequently, we propose that crown ethers can be used to modulate a wide variety of protein surface behaviors, such as oligomerization, domain–domain interactions, stabilization in organic solvents, and crystallization.     

Thermally-induced order-order transition of DNA-cationic surfactant complexes

Polyanionic DNA interacts with cationic amphiphiles to form electrostatic complexes exhibiting rich self-assembled structures. This type of complex has been considered as a nonviral carrier in gene therapy and as a template for nanostructure construction. Here we report a thermally-induced phase transition of the complexes of DNA with the mixtures of a cationic surfactant, dodecyltrimethyl bromide (DTAB), and a neutral lipid, dioleoylphosphatidylethanolamine (DOPE), in fully hydrated state. An order-order transition between a multilamellar (L(c)alpha) phase and an inverted hexagonal (H(c)II) phase was found to occur with the transition temperature adjustable by the DTAB-to-DNA base pair molar ratio (x) and DOPE-to-DTAB molar ratio (m). The stability of the L(c)alpha phase was enhanced at lower m and x, as the L(c)alpha-to-H(c)II transition temperature increased with the decreases of these two parameters. The suppression of -to- transition at lower x was attributed to the lower entropic gain from the counterion release due to the presence of uncomplexed DNA in the bulk solution.