Test Generation Guided Design for Testability

This thesis presents a new approach to building a design for testability (DFT) system. The system takes a digital circuit description, finds out the problems in testing it, and suggests circuit modifications to correct those problems. The key contributions of the thesis research are (1) setting design for testability in the context of test generation (TG), (2) using failures during FG to focus on testability problems, and (3) relating circuit modifications directly to the failures. A natural functionality set is used to represent the maximum functionalities that a component can have. The current implementation has only primitive domain knowledge and needs other work as well. However, armed with the knowledge of TG, it has already demonstrated its ability and produced some interesting results on a simple microprocessor.

Cobalt boride catalysts for hydrogen generation from alkaline NaBH4 solution

Cobalt boride precursors were synthesized via chemical reaction of aqueous sodium borohydride with cobalt chloride, and followed by heat-treating at various temperatures. The as-prepared Co-B catalysts were characterized and analyzed by X-ray diffraction (XRD), nitrogen adsorption-desorption and catalytic activity test; and were adopted to help accelerating hydrolysis reaction of NaBH4 alkaline solution. The Co-B catalyst treated at 500 degrees C exhibits the best catalytic activity, and achieves an average H, generation rate of 2970 ml/min/g, which may give a successive H, supply for a 481 W proton exchange membrane fuel cell (PEMFC) at 100% H-2 utilization. (c) 2005 Elsevier B.V. All rights reserved.

Cluster-assistant generation of multiply charged atomic ions in nanosecond laser ionization of seeded methyl iodide beam

The photoionization of methyl iodide beam seeded in argon and helium is studied by time-of-flight mass spectrometry using a 25 ns, 532 nm Nd-YAG laser with intensities in the range of 2 x 10(10)-2 x 10(11) W/cm(2). Multiply charged ions Of Iq+ (q = 2-3) and C2+ with tens of eV kinetic energies have been observed when laser interacts with the middle part of the pulsed molecular beam, whose peak profiles are independent on the laser polarization directions. Strong evidences show that these ions are coming from the Coulomb explosion of multiply charged CH3I clusters, and laser induced inverse bremsstrahlung absorption of caged electrons plays a key role in the formation of multiply charged ions. (C) 2004 Elsevier B.V. All rights reserved.

Shh/Boc signaling is required for sustained generation of ipsilateral projecting ganglion cells in the mouse retina

Sonic Hedgehog (Shh) signaling is an important determinant of vertebrate retinal ganglion cell (RGC) development. In mice, there are two major RGC populations: (1) the Islet2-expressing contralateral projecting (c)RGCs, which both produce and respond to Shh; and (2) the Zic2-expressing ipsilateral projecting RGCs (iRGCs), which lack Shh expression. In contrast to cRGCs, iRGCs, which are generated in the ventrotemporal crescent (VTC) of the retina, specifically express Boc, a cell adhesion molecule that acts as a high-affinity receptor for Shh. In Boc −/− mutant mice, the ipsilateral projection is significantly decreased. Here, we demonstrate that this phenotype results, at least in part, from the misspecification of a proportion of iRGCs. In Boc−/− VTC, the number of Zic2-positive RGCs is reduced, whereas more Islet2/Shh-positive RGCs are observed, a phenotype also detected in Zic2 and Foxd1 null embryos.

Functional genomic hypothesis generation and experimentation by a robot scientist

King R. D., Whelan, K. E., Jones, F. M., Reiser, P. G. K., Bryant, C. H., Muggleton, S., Kell, D. B. and Oliver, S. G. (2004) Functional genomic hypothesis generation and experimentation by a robot scientist. Nature 427 (6971) p247-252

Data-driven fuzzy rule generation and its application for student academic performance evaluation

K. Rasmani and Q. Shen. Data-driven fuzzy rule generation and its application for student academic performance evaluation. Applied Intelligence, 25(3):305-319, 2006.

Spontaneous DC Current Generation in a Resistively Shunted Semiconductor Superlattice Driven by a TeraHertz Field

We study a resistively shunted semiconductor superlattice subject to a high-frequency electric field. Using a balance equation approach that incorporates the influence of the electric circuit, we determine numerically a range of amplitude and frequency of the ac field for which a dc bias and current are generated spontaneously and show that this region is likely accessible to current experiments. Our simulations reveal that the Bloch frequency corresponding to the spontaneous dc bias is approximately an integer multiple of the ac field frequency.

Fractional and unquantized dc voltage generation in THz-driven semiconductor superlattices

We consider the spontaneous creation of a dc voltage across a strongly coupled semiconductor superlattice subjected to THz radiation. We show that the dc voltage may be approximately proportional either to an integer or to a half- integer multiple of the frequency of the applied ac field, depending on the ratio of the characteristic scattering rates of conducting electrons. For the case of an ac field frequency less than the characteristic scattering rates, we demonstrate the generation of an unquantized dc voltage.

BRITE: Universal Topology Generation from a User's Perspective

Effective engineering of the Internet is predicated upon a detailed understanding of issues such as the large-scale structure of its underlying physical topology, the manner in which it evolves over time, and the way in which its constituent components contribute to its overall function. Unfortunately, developing a deep understanding of these issues has proven to be a challenging task, since it in turn involves solving difficult problems such as mapping the actual topology, characterizing it, and developing models that capture its emergent behavior. Consequently, even though there are a number of topology models, it is an open question as to how representative the topologies they generate are of the actual Internet. Our goal is to produce a topology generation framework which improves the state of the art and is based on design principles which include representativeness, inclusiveness, and interoperability. Representativeness leads to synthetic topologies that accurately reflect many aspects of the actual Internet topology (e.g. hierarchical structure, degree distribution, etc.). Inclusiveness combines the strengths of as many generation models as possible in a single generation tool. Interoperability provides interfaces to widely-used simulation and visualization applications such as ns and SSF. We call such a tool a universal topology generator. In this paper we discuss the design, implementation and usage of the BRITE universal topology generation tool that we have built. We also describe the BRITE Analysis Engine, BRIANA, which is an independent piece of software designed and built upon BRITE design goals of flexibility and extensibility. The purpose of BRIANA is to act as a repository of analysis routines along with a user–friendly interface that allows its use on different topology formats.

Hierarchal Characterization and Generation of Blogosphere Workloads

We present a thorough characterization of the access patterns in blogspace, which comprises a rich interconnected web of blog postings and comments by an increasingly prominent user community that collectively define what has become known as the blogosphere. Our characterization of over 35 million read, write, and management requests spanning a 28-day period is done at three different levels. The user view characterizes how individual users interact with blogosphere objects (blogs); the object view characterizes how individual blogs are accessed; the server view characterizes the aggregate access patterns of all users to all blogs. The more-interactive nature of the blogosphere leads to interesting traffic and communication patterns, which are different from those observed for traditional web content. We identify and characterize novel features of the blogosphere workload, and we show the similarities and differences between typical web server workloads and blogosphere server workloads. Finally, based on our main characterization results, we build a new synthetic blogosphere workload generator called GBLOT, which aims at mimicking closely a stream of requests originating from a population of blog users. Given the increasing share of blogspace traffic, realistic workload models and tools are important for capacity planning and traffic engineering purposes.