Scaling a Dataflow Testing Methodology to the MultiparadigmWorld of Commercial Spreadsheets

Spreadsheets are widely used but often contain faults. Thus, in prior work we presented a data-flow testing methodology for use with spreadsheets, which studies have shown can be used cost-effectively by end-user programmers. To date, however, the methodology has been investigated across a limited set of spreadsheet language features. Commercial spreadsheet environments are multiparadigm languages, utilizing features not accommodated by our prior approaches. In addition, most spreadsheets contain large numbers of replicated formulas that severely limit the efficiency of data-flow testing approaches. We show how to handle these two issues with a new data-flow adequacy criterion and automated detection of areas of replicated formulas, and report results of a controlled experiment investigating the feasibility of our approach.

Impact of Solvent Quality on the Density Profiles of Looped Triblock Copolymer Brushes by Neutron Reflectivity Measurements

Preferential adsorption of poly(2-vinylpyridine)-deuterated polystyrene-poly(2-vinylpyridine) (PVP-dPS-PVP) triblock copolymers from toluene onto silicon leads to the formation of dPS loops tethered by the PVP end blocks. Using neutron reflectometry, we have determined the segment density profiles of these looped polymer brushes in toluene, a good solvent for the dPS block, and in cyclohexane at 20 °C (poor solvent), 32 °C, (near-Θ solvent), and 50 °C (marginal solvent). While the swelling behavior qualitatively agrees with that observed for singly grafted brushes, there are interesting differences in the local structural details: In a good solvent, the segment density profiles are composed of an inner parabolic region and a long, extended tail. In cyclohexane, the profiles are described by exponential decays. We ascribe these features to a novel polydispersity effect that arises due to tethering the PS loops by both ends. The results also show that the less dense layers undergo more significant changes in swollen height as solvent quality is changed and that the looped brushes of different molecular weight, asymmetry, and tethering density adhere to scaling relationships derived for lightly cross-linked polymer gels.

Nanoscale insight into the statics and dynamics of polarization behavior in thin film ferroelectric capacitors

In this study, we review recent advances in PFM studies of micrometer scale ferroelectric capacitors, summarize the experimental PFM-based approach to investigation of fast switching processes, illustrate what information can be obtained from PFM experiments on domains kinetics, and delineate the scaling effect on polarization reversal mechanism. Particular attention is given to PFM studies of mechanical stress effect on polarization stability.