Design and implementation of a field programmable CRC circuit architecture

The design and implementation of a programmable cyclic redundancy check (CRC) computation circuit architecture, suitable for deployment in network related system-on-chips (SoCs) is presented. The architecture has been designed to be field reprogrammable so that it is fully flexible in terms of the polynomial deployed and the input port width. The circuit includes an embedded configuration controller that has a low reconfiguration time and hardware cost. The circuit has been synthesised and mapped to 130-nm UMC standard cell [application-specific integrated circuit (ASIC)] technology and is capable of supporting line speeds of 5 Gb/s. © 2006 IEEE.

Simulated predator extinctions: Predator identity affects survival and recruitment of oysters

The rate of species loss is increasing at a global scale, and human-induced extinctions are biased toward predator species. We examined the effects of predator extinctions on a foundation species, the eastern oyster (Crassostrea virginica). We performed a factorial experiment manipulating the presence and abundance of three of the most common predatory crabs, the blue crab (Callinectes sapidus), stone crab (Menippe mercenaria), and mud crab (Panopeus herbstii) in estuaries in the eastern United States. We tested the effects of species richness and identity of predators on juvenile oyster survival, oyster recruitment, and organic matter content of sediment. We also manipulated the density of each of the predators and controlled for the loss of biomass of species by maintaining a constant mass of predators in one set of treatments and simultaneously using an additive design. This design allowed us to test the density dependence of our results and test for functional compensation by other species. The identity of predator species, but not richness, affected oyster populations. The loss of blue crabs, alone or in combination with either of the other species, affected the survival rate of juvenile oysters. Blue crabs and stone crabs both affected oyster recruitment and sediment organic matter negatively. Mud crabs at higher than ambient densities, however, could fulfill some of the functions of blue and stone crabs, suggesting a level of ecological redundancy. Importantly, the strong effects of blue crabs in all processes measured no longer occurred when individuals were present at higher-than-ambient densities. Their role as dominant predator is, therefore, dependent on their density within the system and the density of other species within their guild (e.g., mud crabs). Our findings support the hypothesis that the effects of species loss at higher trophic levels are determined by predator identity and are subject to complex intraguild interactions that are largely density dependent. Understanding the role of biodiversity in ecosystem functioning or addressing practical concerns, such as loss of predators owing to overharvesting, remains complicated because accurate predictions require detailed knowledge of the system and should be drawn from sound experimental evidence, not based on observations or generalized models.

Power Efficient Dynamic-Range Utilisation for DSP On FPGA

A power and resource efficient ‘dynamic-range utilisation’ technique to increase operational capacity of DSP IP cores by exploiting redundancy in the data epresentation of sampled analogue input data, is presented. By cleverly partitioning dynamic-range into separable processing threads, several data streams are computed concurrently on the same hardware. Unlike existing techniques which act solely to reduce power consumption due to sign extension, here the dynamic range is exploited to increase operational capacity while still achieving reduced power consumption. This extends an existing system-level, power efficient framework for the design of low power DSP IP cores, which when applied to the design of an FFT IP core in a digital receiver system gives an architecture requiring 50% fewer multipliers, 12% fewer slices and 51%-56% less power.

PI3K beta Plays a Critical Role in Neutrophil Activation by Immune Complexes

Neutrophils are activated by immunoglobulin G (IgG)-containing immune complexes through receptors that recognize the Fc portion of IgG (Fc gamma Rs). Here, we used genetic and pharmacological approaches to define a selective role for the beta isoform of phosphoinositide 3-kinase (PI3K beta) in Fc gamma R-dependent activation of mouse neutrophils by immune complexes of IgG and antigen immobilized on a plate surface. At low concentrations of immune complexes, loss of PI3K beta alone substantially inhibited the production of reactive oxygen species (ROS) by neutrophils, whereas at higher doses, similar suppression of ROS production was achieved only by targeting both PI3K beta and PI3K delta, suggesting that this pathway displays stimulus strength-dependent redundancy. Activation of PI3K beta by immune complexes involved cooperation between Fc gamma Rs and BLT1, the receptor for the endogenous proinflammatory lipid leukotriene B-4. Coincident activation by a tyrosine kinase-coupled receptor (Fc gamma R) and a heterotrimeric guanine nucleotide-binding protein (G protein)-coupled receptor (BLT1) may provide a rationale for the preferential activation of the beta isoform of PI3K. PI3K beta-deficient mice were highly protected in an Fc gamma R-dependent model of autoantibody-induced skin blistering and were partially protected in an Fc gamma R-dependent model of inflammatory arthritis, whereas combined deficiency of PI3K beta and PI3K delta resulted in near-complete protection in the latter case. These results define PI3K beta as a potential therapeutic target in inflammatory disease.

From inconsistency handling to non-canonical requirements management: A logical perspective

As a class of defects in software requirements specification, inconsistency has been widely studied in both requirements engineering and software engineering. It has been increasingly recognized that maintaining consistency alone often results in some other types of non-canonical requirements, including incompleteness of a requirements specification, vague requirements statements, and redundant requirements statements. It is therefore desirable for inconsistency handling to take into account the related non-canonical requirements in requirements engineering. To address this issue, we propose an intuitive generalization of logical techniques for handling inconsistency to those that are suitable for managing non-canonical requirements, which deals with incompleteness and redundancy, in addition to inconsistency. We first argue that measuring non-canonical requirements plays a crucial role in handling them effectively. We then present a measure-driven logic framework for managing non-canonical requirements. The framework consists of five main parts, identifying non-canonical requirements, measuring them, generating candidate proposals for handling them, choosing commonly acceptable proposals, and revising them according to the chosen proposals. This generalization can be considered as an attempt to handle non-canonical requirements along with logic-based inconsistency handling in requirements engineering.

A VLSI architecture for multiplication, division and square root

A high-performance VLSI architecture to perform combined multiply-accumulate, divide, and square root operations is proposed. The circuit is highly regular, requires only minimal control, and can be reconfigured for every cycle. The execution time for each operation is the same. The combination of redundancy and pipelining results in a throughput independent of the wordsize of the array. With current CMOS technology, throughput rates in excess of 80 million operations per second are achievable.

Bit-level systolic architecture for very high performance IIR filters

A novel bit-level systolic array architecture for implementing bit-parallel IIR filter sections is presented. The authors have shown previously how the fundamental obstacle of pipeline latency in recursive structures can be overcome by the use of redundant arithmetic in combination with bit-level feedback. These ideas are extended by optimizing the degree of redundancy used in different parts of the circuit and combining redundant circuit techniques with those of conventional arithmetic. The resultant architecture offers significant improvements in hardware complexity and throughput rate.

HIGH SPEED CMOS/SOS IMPLEMENTATION OF A BIT LEVEL SYSTOLIC CORRELATOR.

The fabrication and performance of the first bit-level systolic correlator array is described. The application of systolic array concepts at the bit level provides a simple and extremely powerful method for implementing high-performance digital processing functions. The resulting structure is highly regular, facilitating yield enhancement through fault-tolerant redundancy techniques and therefore ideally suited to implementation as a VLSI chip. The CMOS/SOS chip operates at 35 MHz, is fully cascadable and exhibits 64-stage correlation for 1-bit reference and 4-bit data. 7 refs.

Acquired differential regulation of caspase-8 in cisplatin-resistant non-small-cell lung cancer

Failure to efficiently induce apoptosis contributes to cisplatin resistance in non-small-cell lung cancer (NSCLC). Although BCL-2-associated X protein (BAX) and BCL-2 antagonist killer (BAK) are critical regulators of the mitochondrial apoptosis pathway, their requirement has not been robustly established in relation to cisplatin. Here, we show that cisplatin can efficiently bypass mitochondrial apoptosis block caused by loss of BAX and BAK, via activation of the extrinsic death receptor pathway in some model cell lines. Apoptosis resistance following cisplatin can only be observed when both extrinsic and intrinsic pathways are blocked, consistent with redundancy between mitochondrial and death receptor pathways in cisplatin-induced apoptosis. In H460 NSCLC cells, caspase-8 cleavage was shown to be induced by cisplatin and is dependent on death receptor 4, death receptor 5, Fas-associated protein with death domain, acid sphingomyelinase and ceramide synthesis. In contrast, cisplatin-resistant cells fail to activate caspase-8 via this pathway despite conserving sensitivity to death ligand-driven activation. Accordingly, caspase-8 activation block acquired during cisplatin resistance, can be bypassed by death receptor agonism. © 2012 Macmillan Publishers Limited

Edge-preserving self-healing: Keeping network backbones densely connected

Healing algorithms play a crucial part in distributed peer-to-peer networks where failures occur continuously and frequently. Whereas there are approaches for robustness that rely largely on built-in redundancy, we adopt a responsive approach that is more akin to that of biological networks e.g. the brain. The general goal of self-healing distributed graphs is to maintain certain network properties while recovering from failure quickly and making bounded alterations locally. Several self-healing algorithms have been suggested in the recent literature [IPDPS'08, PODC'08, PODC'09, PODC'11]; they heal various network properties while fulfilling competing requirements such as having low degree increase while maintaining connectivity, expansion and low stretch of the network. In this work, we augment the previous algorithms by adding the notion of edge-preserving self-healing which requires the healing algorithm to not delete any edges originally present or adversarialy inserted. This reflects the cost of adding additional edges but more importantly it immediately follows that edge preservation helps maintain any subgraph induced property that is monotonic, in particular important properties such as graph and subgraph densities. Density is an important network property and in certain distributed networks, maintaining it preserves high connectivity among certain subgraphs and backbones. We introduce a general model of self-healing, and introduce xheal+, an edge-preserving version of xheal[PODC'11]. © 2012 IEEE.

Autoecological Approaches to Resolve Subjective Taxonomic Divisions within Arcellacea

Arcellacea (testate lobose amoebae) are important lacustrine environmental indicators that have been used in paleoclimatic reconstructions, assessing the effectiveness of mine tailings pond reclamation projects and for studying the effects of land use change in rural, industrial and urban settings. Recognition of ecophenotypically significant infra-specific ‘strains’ within arcellacean assemblages has the potential to enhance the utility of the group in characterizing contemporary and paleoenvironments. We present a novel approach which employs statistical tools to investigate the environmental and taxonomic significance of proposed strains. We test this approach on two identified strains: Difflugia protaeiformis Lamarck strain ‘acuminata’ (DPA), characterized by fine grained agglutination, and Difflugia protaeiformis Lamarck strain ‘claviformis’ (DPC), characterized by coarse grained agglutination. Redundancy analysis indicated that both organisms are associated with similar environmental variables. No relationship was observed between substrate particle size and abundance of DPC, indicating that DPC has a size preference for xenosomes during test construction. Thus DPC should not be designated as a distinct strain but rather form a species complex with DPA. This study elucidates the need to justify the designation of strains based on their autecology in addition to morphological stability.

Optimal wafer site selection using forward selection component analysis

Reducing wafer metrology continues to be a major target in semiconductor manufacturing efficiency initiatives due to it being a high cost, non-value added operation that impacts on cycle-time and throughput. However, metrology cannot be eliminated completely given the important role it plays in process monitoring and advanced process control. To achieve the required manufacturing precision, measurements are typically taken at multiple sites across a wafer. The selection of these sites is usually based on a priori knowledge of wafer failure patterns and spatial variability with additional sites added over time in response to process issues. As a result, it is often the case that in mature processes significant redundancy can exist in wafer measurement plans. This paper proposes a novel methodology based on Forward Selection Component Analysis (FSCA) for analyzing historical metrology data in order to determine the minimum set of wafer sites needed for process monitoring. The paper also introduces a virtual metrology (VM) based approach for reconstructing the complete wafer profile from the optimal sites identified by FSCA. The proposed methodology is tested and validated on a wafer manufacturing metrology dataset. © 2012 IEEE.

Blind Characterisation of Sensors with Second-Order Dynamic Response

Compensation for the dynamic response of a temperature sensor usually involves the estimation of its input on the basis of the measured output and model parameters. In the case of temperature measurement, the sensor dynamic response is strongly dependent on the measurement environment and fluid velocity. Estimation of time-varying sensor model parameters therefore requires continuous textit{in situ} identification. This can be achieved by employing two sensors with different dynamic properties, and exploiting structural redundancy to deduce the sensor models from the resulting data streams. Most existing approaches to this problem assume first-order sensor dynamics. In practice, however second-order models are more reflective of the dynamics of real temperature sensors, particularly when they are encased in a protective sheath. As such, this paper presents a novel difference equation approach to solving the blind identification problem for sensors with second-order models. The approach is based on estimating an auxiliary ARX model whose parameters are related to the desired sensor model parameters through a set of coupled non-linear algebraic equations. The ARX model can be estimated using conventional system identification techniques and the non-linear equations can be solved analytically to yield estimates of the sensor models. Simulation results are presented to demonstrate the efficiency of the proposed approach under various input and parameter conditions.

Contribution of rarity and commonness to patterns of species richness

There is little understanding in ecology as to how biodiversity patterns emerge from the distribution patterns of individual species. Here we consider the question of the contributions of rare (restricted range) and common (widespread) species to richness patterns. Considering a species richness pattern, is most of the spatial structure, in terms of where the peaks and troughs of diversity lie, caused by the common species or the rare species (or neither)? Using southern African and British bird richness patterns, we show here that commoner species are most responsible for richness patterns. While rare and common species show markedly different species richness patterns, most spatial patterning in richness is caused by relatively few, more common, species. The level of redundancy we found suggests that a broad understanding of what determines the majority of spatial variation in biodiversity may be had by considering only a minority of species.

Uncertainty in the Cloud: An Angel-Daemon Approach to Modelling Performance

Uncertainty profiles are used to study the effects of contention within cloud and service-based environments. An uncertainty profile provides a qualitative description of an environment whose quality of service (QoS) may fluctuate unpredictably. Uncertain environments are modelled by strategic games with two agents; a daemon is used to represent overload and high resource contention; an angel is used to represent an idealised resource allocation situation with no underlying contention. Assessments of uncertainty profiles are useful in two ways: firstly, they provide a broad understanding of how environmental stress can effect an application’s performance (and reliability); secondly, they allow the effects of introducing redundancy into a computation to be assessed