Technology scaling in the nanometer era comes with a significant amount of process variation, leading to lower yield and new types of defective parts. These challenges necessitate robust design to ensure adequate yield, and smarter testing to screen out bad chips. Statistical static timing analysis (SSTA) en- ables this but suffers from crude approximation algorithms. This dissertation first studies the underlying theories of timing graphs and proposes two fundamental techniques enhancing the core statistical timing algorithms. We first propose the refactoring technique to capture topological correlation. Static timing analysis is based on levelized breadth-first traversal, which is a fundamental graph traversal technique and has been used for static timing analysis over the past decades. We show that there are numerous alternatives to the traversal because of an algebraic property, the distributivity of addition over maximum. This new interpretation extends the degrees of freedom of static timing analysis, which is exploited to improve the accuracy of SSTA. We also propose a novel operator for computing joint probabilities in SSTA. In many SSTA applications, this is very common but is done using the max operator which results in much error due to the linear approximation. The new operator provides significantly higher accuracy at a small cost of run time. Second, based on the two fundamental studies, this dissertation devel- ops three applications. We propose a criticality computation method that is essential to robust design and test synthesis; The proposed method, combined with the two fundamental techniques, achieves drastic accuracy improvement over the state-of-the-art method, demonstrating the benefits in practical ap- plications. We formulate the statistical path selection problem for at-speed test as a gambling problem and present an elegant solution based on the Kelly criterion. To circumvent the coverage loss issue in statistical path selection, we propose a testability driven approach, making it a practical solution for coping with parametric defects. / text

Ultrawideband (UWB) is one of the promising technologies for future short-range high data rate communications (e.g. for wireless personal area networks) and longer range low data rate communications (e.g. wireless sensor networks).Despite its various advantages and potentials (e.g. low-cost circuitry, unlicensed reuse of licensed spectrum, precision ranging capability etc.), UWB also has its own challenges. The goal of this dissertation is to identify and address some of those challenges, and provide a framework for practical UWB transceiver design.In this dissertation, various modulation options for UWB systems are reviewed in terms of their bit error rate (BER) performances, spectral characteristics, modem and hardware complexities, and data rates. Time hopping (TH) code designs for both synchronous (introduced an adaptive code assignment technique) and asynchronous UWB impulse radio (IR) systems are studied. An adaptive assignment of two different multiple access parame ters (number of pulses per symbol and number of pulse positions per frame)is investigated again considering both synchronous and asynchronous scenarios, and a mathematical framework is developed using Gaussian approximations of interference statistics for different scenarios. Channel estimation algorithms for multiuser UWB communication systems using symbol-spaced (proposed a technique that decreases the training size), frame-spaced (proposed a pulse-discarding algorithm for enhanced estimationperformance), and chip-spaced (using least squares (LS) estimation) sampling are analyzed.A comprehensive review on multiple accessing andinterference avoidance/cancellation for IR-UWB systems is presented.BER performances of different UWB modulation schemes in the presence of timing jitter are evaluated and compared in static and multipath fading channels, and finger estimation error, effects of jitter distribution, and effects of pulse shape are investigated. A unified performance analysis app roach for different IR-UWB transceiver types (stored-reference, transmitted-reference, and energy detector) employing various modulation options and operating at sub-Nyquist sampling rates is presented. The time-of-arrival (TOA) estimation performance of different searchback schemesunder optimal and suboptimal threshold settings are analyzed both for additive white Gaussian noise (AWGN) and multipath channels.

The focus of this thesis is the development of Resistive Plate Chambers (RPCs) with ceramic electrodes. The use of ceramic composites, Si3N4/SiC, opens the way for the application of RPCs in harsh radiation environments. Future Experiments like the Compressed Baryonic Matter (CBM) at the Facility for Antiproton and Ion Research (FAIR) in Darmstadt will need new RPCs with high rate capabilities and high radiation tolerance. Ceramic composites are specially suited for this purpose due to their resistance to radiation and chemical contamination. The bulk resistivity of these ceramics is in the range 10^7 - 10^13 Ohm cm. The bulk resistivity of the electrodes is the main factor determining the rate capabilities of a RPC, therefore a specifific measuring station and a measurement protocol has been set for these measurements. The dependence of the bulk resistivity on the difffferent steps of the manufacturing process has been studied. Other electrical parameters like the relaxation time, the relative permittivity and the tangent loss have also been investigated. Simulation codes for the investigation of RPC functionality was developed using the gas detectors simulation framework GARFIELD++. The parameters of the two mixtures used in RPC operation have been extracted. Furthermore, theoretical predictions on time resolution and effi ciency have been calculated and compared with experimental results. Two ceramic materials have been used to assemble RPCs. Si3N4/SiC and Al2O3 with a thin (nm thick) chromium layer deposited over it. Several prototypes have been assembled with active areas of 5x 5 cm^2, 10x 10 cm^2 and 20 x20 cm^2. The number of gaps ranges from two to six. The gas gap widths were 250 micro meter and 300 micrometer. As separator material mylar foils, fifishing line and high-resistive ceramics have been used. Different detector architectures have been built and their effffect on RPC performance analysed. The RPCs developed at HZDR and ITEP (Moscow) were systematically tested in electron and proton beams and with cosmic radiation over the course of three years. The performance of the RPCs was extracted from the measured data. The main parameters like time resolution, effi ciency, rate capabilities, cluster size, detector currents and avalanche charge were obtained and compared with other RPC systems in the world. A comparison with phenomenological models was performed.

This thesis presents a framework to verify asynchronous real-time systems based on model checking. These systems are modeled by using a common modeling formalism named Labeled Petri-nets(LPNs). In order to verify the real-time systems algorithmically, the zone-based timing analysis method is used for LPNs. It searches the state space with timing information (represented by zones). When there is a high degree of concurrency in the model, firing concurrent enabled transitions in different order may result in different zones, and these zones may be combined without affecting the verification result. Since the zone-based method could not deal with this problem efficiently, the POSET timing analysis method is adopted for LPNs. It separates concurrency from causality and generates an exactly one zone for a single state. But it needs to maintain an extra POSET matrix for each state. In order to save time and memory, an improved zone-based timing analysis method is introduced by integrating above two methods. It searches the state space with zones but eliminates the use of the POSET matrix, which generates the same result as with the POSET method. To illustrate these methods, a circuit example is used throughout the thesis. Since the state space generated is usually very large, a graph data structure named multi-value decision diagrams (MDDs) is implemented to store the zones compactly. In order to share common clock value of dierent zones, two zone encoding methods are described: direct encoding and minimal constraint encoding. They ignore the unnecessary information in zones thus reduce the length of the integer tuples. The effectiveness of these two encoding methods is demonstrated by experimental result of the circuit example.

For every operating condition of an internal combustion engine there exists an optimal spark timing, called maximum brake torque (MBT), which maximises the output torque and the efficiency of the engine. Traditionally MBT timing is implemented as an open-loop control where the ignition timing is found by using a combination of static lookup tables and sensor information. With a direct closed-loop control from the combustion process the performance of internal combustion engines could be improved. The thesis investigates if it is possible to estimate the MBT timing from the ionization current for every operating condition of a spark ignited engine where the operating conditions are defined by the engine parameters lambda, internal exhaust gas recirculation, engine load, engine speed and spark advance. First an investigation of how much loss of torque an error from the MBT position corresponds to is made. Then the influence of the engine parameters on the shape of the ionization current was studied. Last different peak pressure position (PPP) estimating algorithms are presented and a new technique is developed where an engine operating point dependant part of the ionization current is used depending on the current operating condition of the engine. Two of the presented PPP estimating algorithms are then complemented with this technique and the results look promising.

No description available.

No description available.

Field studies were conducted in Ontario in 2009 and 2010 to determine the tolerance of winter wheat to herbicide-fungicide tank-mixtures, and the tolerance of winter wheat underseeded red clover to commonly used herbicides applied at three timings. Tank-mixtures including the fungicide tebuconazole caused injury at early and late timings, while mixtures including the herbicide bromoxynil/MCPA were most injurious when applied late in the season. Injury was transient with no yield reductions observed. MCPA/mecoprop/dicamba caused significant yield reductions when applied at normal and late timings, but did not reduce yield when applied early. The herbicides prosulfuron+bromoxynil and pyrasulfotole/bromoxynil were most injurious to underseeded red clover and reduced clover biomass regardless of application timing. Herbicides and herbicide-fungicide tank-mixtures applied early, during cold temperatures do not increase winter wheat or red clover sensitivity; the likelihood of injury is greatest when applications of these products occur late. / Grain Farmers of Ontario; Ontario Ministry of Agriculture, Food, and Rural Affairs; Agriculture Adaptation Council of Canada

No description available.

No description available.