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.

High speed nonlinear optical components for next-generation optical communications

Electronic signal processing systems currently employed at core internet routers require huge amounts of power to operate and they may be unable to continue to satisfy consumer demand for more bandwidth without an inordinate increase in cost, size and/or energy consumption. Optical signal processing techniques may be deployed in next-generation optical networks for simple tasks such as wavelength conversion, demultiplexing and format conversion at high speed (≥100Gb.s-1) to alleviate the pressure on existing core router infrastructure. To implement optical signal processing functionalities, it is necessary to exploit the nonlinear optical properties of suitable materials such as III-V semiconductor compounds, silicon, periodically-poled lithium niobate (PPLN), highly nonlinear fibre (HNLF) or chalcogenide glasses. However, nonlinear optical (NLO) components such as semiconductor optical amplifiers (SOAs), electroabsorption modulators (EAMs) and silicon nanowires are the most promising candidates as all-optical switching elements vis-à-vis ease of integration, device footprint and energy consumption. This PhD thesis presents the amplitude and phase dynamics in a range of device configurations containing SOAs, EAMs and/or silicon nanowires to support the design of all optical switching elements for deployment in next-generation optical networks. Time-resolved pump-probe spectroscopy using pulses with a pulse width of 3ps from mode-locked laser sources was utilized to accurately measure the carrier dynamics in the device(s) under test. The research work into four main topics: (a) a long SOA, (b) the concatenated SOA-EAMSOA (CSES) configuration, (c) silicon nanowires embedded in SU8 polymer and (d) a custom epitaxy design EAM with fast carrier sweepout dynamics. The principal aim was to identify the optimum operation conditions for each of these NLO device configurations to enhance their switching capability and to assess their potential for various optical signal processing functionalities. All of the NLO device configurations investigated in this thesis are compact and suitable for monolithic and/or hybrid integration.

Generation and characterisation of biologically active milk-derived protein and peptide fractions

In recent years, extensive research has been carried out on the health benefits of milk proteins and peptides. Biologically active peptides are defined as specific protein fragments which have a positive impact on the physiological functions of the body; such peptides are produced naturally in vivo, but can also be generated by physical and/or chemical processes, enzymatic hydrolysis and/or microbial fermentation. The aims of this thesis were to investigate not only the traditional methods used for the generation of bioactive peptides, but also novel processes such as heat treatment, and the role of indigenous milk proteases, e.g., in mastitic milk, in the production of such peptides. In addition, colostrum was characterised as a source of bioactive proteins and peptides. Firstly, a comprehensive study was carried out on the composition and physical properties of colostrum throughout the early-lactation period. Marked differences in the physico-chemical properties of colostrum compared with milk were observed. Various fractions of colostrum were also tested for their effect on the secretion of pro- and anti-inflammatory cytokines from a macrophage cell line and bone marrow dendritic cells, as well as insulin secretion from a pancreatic beta cell line. A significant reduction in the secretion of the pro-inflammatory cytokines, TNF-α, IL-6, IL-1β and IL-12, a significant increase in the secretion of the anti-inflammatory cytokine, IL-10, as well as a significant increase in insulin secretion were observed for various colostrum fractions. Another study examined the early proteomic changes in the milk of 8 cows in response to infusion with the endotoxin lipopolysaccharide (LPS) at quarter level in a model mastitic system; marked differences in the protein and peptide profile of milk from LPS challenged cows were observed, and a pH 4.6-soluble fraction of this milk was found to cause a substantial induction in the secretion of IL-10 from a murine macrophage cell line. Heat-induced hydrolysis of sodium caseinate was investigated from the dual viewpoints of protein breakdown and peptide formation, and, a peptide fraction produced in this manner was found to cause a significant increase in the secretion of the anti-inflammatory cytokine, IL-10, from a murine macrophage cell line. The effects of sodium caseinate hydrolysed by chymosin on the gut-derived satiety hormone glucagon-like peptide-1 (GLP-1) were investigated; the resulting casein-derived peptides displayed good in vitro and in vivo secretion of GLP-1. Overall, the studies described in this thesis expand on current knowledge and provide good evidence for the use of novel methods for the isolation, generation and characterisation of bioactive proteins and/or peptides.

Photonic integrated circuits for the generation of coherent optical signals

The demand for optical bandwidth continues to increase year on year and is being driven primarily by entertainment services and video streaming to the home. Current photonic systems are coping with this demand by increasing data rates through faster modulation techniques, spectrally efficient transmission systems and by increasing the number of modulated optical channels per fibre strand. Such photonic systems are large and power hungry due to the high number of discrete components required in their operation. Photonic integration offers excellent potential for combining otherwise discrete system components together on a single device to provide robust, power efficient and cost effective solutions. In particular, the design of optical modulators has been an area of immense interest in recent times. Not only has research been aimed at developing modulators with faster data rates, but there has also a push towards making modulators as compact as possible. Mach-Zehnder modulators (MZM) have proven to be highly successful in many optical communication applications. However, due to the relatively weak electro-optic effect on which they are based, they remain large with typical device lengths of 4 to 7 mm while requiring a travelling wave structure for high-speed operation. Nested MZMs have been extensively used in the generation of advanced modulation formats, where multi-symbol transmission can be used to increase data rates at a given modulation frequency. Such nested structures have high losses and require both complex fabrication and packaging. In recent times, it has been shown that Electro-absorption modulators (EAMs) can be used in a specific arrangement to generate Quadrature Phase Shift Keying (QPSK) modulation. EAM based QPSK modulators have increased potential for integration and can be made significantly more compact than MZM based modulators. Such modulator designs suffer from losses in excess of 40 dB, which limits their use in practical applications. The work in this thesis has focused on how these losses can be reduced by using photonic integration. In particular, the integration of multiple lasers with the modulator structure was considered as an excellent means of reducing fibre coupling losses while maximising the optical power on chip. A significant difficultly when using multiple integrated lasers in such an arrangement was to ensure coherence between the integrated lasers. The work investigated in this thesis demonstrates for the first time how optical injection locking between discrete lasers on a single photonic integrated circuit (PIC) can be used in the generation of coherent optical signals. This was done by first considering the monolithic integration of lasers and optical couplers to form an on chip optical power splitter, before then examining the behaviour of a mutually coupled system of integrated lasers. By operating the system in a highly asymmetric coupling regime, a stable phase locking region was found between the integrated lasers. It was then shown that in this stable phase locked region the optical outputs of each laser were coherent with each other and phase locked to a common master laser.