Statistics on Logic Simulation

The high costs associated with logic simulation of large VLSI based systems have led to the need for new computer architectures tailored to the simulation task. Such architecture have the potential for significant speedups over standard software based logic simulators. Several commercial simulation engines have been produced to satisfy need in this area. To properly explore the space of alternative simulation architectures, data is required on the simulation process itself. This paper presents a framework for such data gathering activity by first examining possible sources of speedup in the logic simulation task, examining the sort of data needed in the design of simulation engines, and then presenting such data. The data contained in the paper includes information on the subtask times found in standard discrete event simulation algorithms, event intensities, queue length distributions and simultaneous event distributions

A Three Dimensional Finite Element Analysis of Temperature Distribution in Hot mix Asphalt Pothole Repair

The reported research focuses on the problematic lack of durability in executed pothole repairs, much of which arises from inadequate heating of the host pavement during the repair process. A threedimensional finite-element analysis is used to model the temperature distribution in hot mix asphalt (HMA) pothole repairs. Nine pothole repair models are developed including both shallow and deep potholes. Low and high temperatures are applied to a 3D pavement structure and HMA pothole repair mix. Observations are made on (a) the effect of combinations of the existing host pavement temperature regime and that of the HMA placed to fill the pothole, (b) the rate of temperature change during process (a), and (c) the effect of pothole repair depth on temperature change following repair filling. Outcomes demonstrate that boundaries of the formed repair cool substantially faster than the central region and that repair thickness has a substantial influence on this

An innovative asphalt patch repair pre-heating method using dynamic heating

In hot mix asphalt patch repair, inadequate temperature at the interfaces is one of the influencing factors for inferior compaction and poor interface bonding. To enhance repair performance, a precisely controlled infrared pre-heating method for patch repair has been investigated. Asphalt slabs with 45 mm, 75 mm and 100 mm deep pothole excavations were subjected to dynamic heating with infrared heater operating power from 6.6 kW to 7.7 kW. The heater was kept either stationary or moving slowly across the excavations at 130 mm and 230 mm offsets. The tests included evaluating temperature increase throughout the excavations and inside the slab, recording heat power of infrared heater and heating time to avoid burning the asphalt. Irrespective of excavation depth, heating power and offset, the temperature distribution was found non-uniform in the pothole excavations and into the asphalt slab. The temperatures were higher at the faces of the excavation than inside the slab. Dynamic heating for approximately 10 min yielded better heat distribution while minimising the possibility of asphalt overheating and long pre-heating time. It has been concluded that 45 mm and 100 mm deep pothole excavations can be pre-heated with 6.6 kW and stationary heater or 7.5 kW and moving heater at 230 mm and 130 mm offset respectively. 75 mm deep excavation can be pre-heated with 7.1 kW and stationary heater at 230 mm offset

Does organic farming affect biodiversity?

Farmland biodiversity in Europe has been declining for some time, particularly steeply in the second half of the twentieth century. The consensus is that agricultural intensification is largely responsible. Organic farming is a low intensity system, offering benefits to biodiversity. Using two paired-farm studies, we explored the responses of different taxonomic groups to organic farming. In the first, smaller-scale, study, positive impacts of organic farming on butterflies and spiders were found. In the second, large-scale, study of eighty-nine farm pairs across England, organic farming was mainly associated with positive effects on biodiversity, although there was substantial variation in the size of effects among taxonomic groups surveyed. The largest and most consistent (positive) effects were for plants and the smallest effects were for carabid beetles. Spiders were influenced by farming system, surrounding landscape, and their dispersal ability. Hunting spiders, which tend to have lower dispersal ability, were more abundant and species-rich on organic compared to conventional farms (this effect was more pronounced in landscapes with less arable). There were no farming system or landscape effects found on web-building spiders, which have generally higher dispersal abilities. There was little evidence that non-cropped habitat effects explained the observed differences for either group. The chapter suggests that the farming system differences for spiders in the crop were largely attributable to differences in crop management (such as reduced inputs of pesticides and fertilizers). The results highlight the importance of developing strategies for managing farmland at the landscape scale for most effective conservation of biodiversity

Understanding Terrorist Organizations with a Dynamic Model

Terrorist organizations change over time because of processes such as recruitment and training as well as counter-terrorism (CT) measures, but the effects of these processes are typically studied qualitatively and in separation from each other. Seeking a more quantitative and integrated understanding, we constructed a simple dynamic model where equations describe how these processes change an organization's membership. Analysis of the model yields a number of intuitive as well as novel findings. Most importantly it becomes possible to predict whether counter-terrorism measures would be sufficient to defeat the organization. Furthermore, we can prove in general that an organization would collapse if its strength and its pool of foot soldiers decline simultaneously. In contrast, a simultaneous decline in its strength and its pool of leaders is often insufficient and short-termed. These results and other like them demonstrate the great potential of dynamic models for informing terrorism scholarship and counter-terrorism policy making.Comment: To appear as Springer Lecture Notes in Computer Science v2: vectorized 4 figures, fixed two typos, more detailed bibliograph

Estimating the incidence, prevalence and true cost of asthma in the UK: secondary analysis of national stand-alone and linked databases in England, Northern Ireland, Scotland and Wales-a study protocol.

INTRODUCTION: Asthma is now one of the most common long-term conditions in the UK. It is therefore important to develop a comprehensive appreciation of the healthcare and societal costs in order to inform decisions on care provision and planning. We plan to build on our earlier estimates of national prevalence and costs from asthma by filling the data gaps previously identified in relation to healthcare and broadening the field of enquiry to include societal costs. This work will provide the first UK-wide estimates of the costs of asthma. In the context of asthma for the UK and its member countries (ie, England, Northern Ireland, Scotland and Wales), we seek to: (1) produce a detailed overview of estimates of incidence, prevalence and healthcare utilisation; (2) estimate health and societal costs; (3) identify any remaining information gaps and explore the feasibility of filling these and (4) provide insights into future research that has the potential to inform changes in policy leading to the provision of more cost-effective care. METHODS AND ANALYSIS: Secondary analyses of data from national health surveys, primary care, prescribing, emergency care, hospital, mortality and administrative data sources will be undertaken to estimate prevalence, healthcare utilisation and outcomes from asthma. Data linkages and economic modelling will be undertaken in an attempt to populate data gaps and estimate costs. Separate prevalence and cost estimates will be calculated for each of the UK-member countries and these will then be aggregated to generate UK-wide estimates. ETHICS AND DISSEMINATION: Approvals have been obtained from the NHS Scotland Information Services Division's Privacy Advisory Committee, the Secure Anonymised Information Linkage Collaboration Review System, the NHS South-East Scotland Research Ethics Service and The University of Edinburgh's Centre for Population Health Sciences Research Ethics Committee. We will produce a report for Asthma-UK, submit papers to peer-reviewed journals and construct an interactive map

The International Liaison Committee for Resuscitation-Review of the last 25 years and vision for the future

Peer reviewe

Bayesian hierarchical modelling of continuous non-negative longitudinal data with a spike at zero: an application to a study of birds visiting gardens in winter

The development of methods for dealing with continuous data with a spike at zero has lagged behind those for overdispersed or zero‐inflated count data. We consider longitudinal ecological data corresponding to an annual average of 26 weekly maximum counts of birds, and are hence effectively continuous, bounded below by zero but also with a discrete mass at zero. We develop a Bayesian hierarchical Tweedie regression model that can directly accommodate the excess number of zeros common to this type of data, whilst accounting for both spatial and temporal correlation. Implementation of the model is conducted in a Markov chain Monte Carlo (MCMC) framework, using reversible jump MCMC to explore uncertainty across both parameter and model spaces. This regression modelling framework is very flexible and removes the need to make strong assumptions about mean‐variance relationships a priori. It can also directly account for the spike at zero, whilst being easily applicable to other types of data and other model formulations. Whilst a correlative study such as this cannot prove causation, our results suggest that an increase in an avian predator may have led to an overall decrease in the number of one of its prey species visiting garden feeding stations in the United Kingdom. This may reflect a change in behaviour of house sparrows to avoid feeding stations frequented by sparrowhawks, or a reduction in house sparrow population size as a result of sparrowhawk increase