Scattering of a Plane Acoustical Wave by a Spherical Obstacle

The long-time behavior of the scattered field produced by a plane acoustical pulse stalking a spherical obstacle is investigated. Incident pulses are taken that represent a unit step in potential (or equivalently delta function pulse in pressure), an arbitrary potential pulse of finite duration, and an arbitrary pressure pulse of finite duration. Both hard and soft spheres are considered. In addition, a pulse consisting of a unit step in velocity impinging on a hard sphere is examined. In each case, the time rate of decay to the steady state is established. This is seen to be controlled by the zeroes of certain naturally occurring special polynomials that arise because of the spherical geometry and are independent of the shape of the incident pulse

Plastic buckling of a rectangular plate under edge thrusts

The fundamental equations for the plastic buckling of a rectangular plate under edge thrusts are developed on the basis of a new set of stress-strain relations for the behavior of a metal in the plastic range. These relations are derived for buckling from a state of uniform compression. The fundamental equation for the buckling of a simply compressed plate together with typical boundary conditions is then developed and the results are applied to calculating the buckling loads of a thin strip, a simply supported plate, and a cruciform section. Comparisons with the theories of Timoshenko and Ilyushin are made. Finally, an energy method is given which can be used for finding approximate values of the critical load

Multicentre observational study of adherence to Sepsis Six guidelines in emergency general surgery

Background Evidence-based interventions may reduce mortality in surgical patients. This study documented the prevalence of sepsis, adherence to guidelines in its management, and timing of source control in general surgical patients presenting as an emergency. Methods Patients aged 16 years or more presenting with emergency general surgery problems were identified over a 7-day period and then screened for sepsis compliance (using the Sepsis Six standards, devised for severe sepsis) and the timing of source control (whether radiological or surgical). Exploratory analyses examined associations between the mode (emergency department or general practitioner) and time of admission, adherence to the sepsis guidelines, and outcomes (complications or death within 30 days). Results Of a total of 5067 patients from 97 hospitals across the UK, 911 (18·0 per cent) fulfilled the criteria for sepsis, 165 (3·3 per cent) for severe sepsis and 24 (0·5 per cent) for septic shock. Timely delivery of all Sepsis Six guidelines for patients with severe sepsis was achieved in four patients. For patients with severe sepsis, 17·6–94·5 per cent of individual guidelines within the Sepsis Six were delivered. Oxygen was the criterion most likely to be missed, followed by blood cultures in all sepsis severity categories. Surgery for source control occurred a median of 19·8 (i.q.r. 10·0–35·4) h after diagnosis. Omission of Sepsis Six parameters did not appear to be associated with an increase in morbidity or mortality. Conclusion Although sepsis was common in general surgical patients presenting as an emergency, adherence to severe sepsis guidelines was incomplete in the majority. Despite this, no evidence of harm was apparent

A Survey of Satisfiability Modulo Theory

Satisfiability modulo theory (SMT) consists in testing the satisfiability of first-order formulas over linear integer or real arithmetic, or other theories. In this survey, we explain the combination of propositional satisfiability and decision procedures for conjunctions known as DPLL(T), and the alternative "natural domain" approaches. We also cover quantifiers, Craig interpolants, polynomial arithmetic, and how SMT solvers are used in automated software analysis.Comment: Computer Algebra in Scientific Computing, Sep 2016, Bucharest, Romania. 201

Pit and fissure sealants in dental public health – application criteria and general policy in Finland

<p>Abstract</p> <p>Background</p> <p>Pit and fissure sealants (sealants) are widely used as a non-operative preventive method in public dental health in Finland. Most children under 19 years of age attend the community-organized dental health services free of charge. The aims of this study were to find out to what extent sealants were applied, what the attitudes of dental professionals towards sealant application were, and whether any existing sealant policies could be detected among the health centres or among the respondents in general. The study evaluated changes that had taken place in the policies used during a ten year period (1991–2001).</p> <p>Methods</p> <p>A questionnaire was mailed to each chief dental officer (CDO) of the 265 public dental health centres in Finland, and to a group of general dentists (GDP) applying sealants in these health centres, giving a total of 434 questionnaires with 22 questions. The response rate was 80% (N = 342).</p> <p>Results</p> <p>A majority of the respondents reported to application of sealants on a systematic basis for children with increased caries risk. The criteria for applying sealants and the actual strategies seemed to vary locally between the dentists within the health centres and between the health centres nationwide. The majority of respondents believed sealants had short- and long-term effects. The overall use of sealants decreased towards the end of the ten year period. The health centres (N = 28) choosing criteria to seal over detected or suspected enamel caries lesion had a DMFT value of 1.0 (SD ± 0.49) at age 12 (year 2000) compared to a value of 1.2 (SD ± 0.47) for those health centres (N = 177) applying sealants by alternative criteria (t-test, p < 0.05).</p> <p>Conclusion</p> <p>There seems to be a need for defined guidelines for sealant application criteria and policy both locally and nationwide. Occlusal caries management may be improved by shifting the sealant policy from the traditional approach of prevention to interception, i.e. applying the sealants over detected or suspected enamel caries lesions instead of sealing sound teeth.</p

LNCS

We address the problem of analyzing the reachable set of a polynomial nonlinear continuous system by over-approximating the flowpipe of its dynamics. The common approach to tackle this problem is to perform a numerical integration over a given time horizon based on Taylor expansion and interval arithmetic. However, this method results to be very conservative when there is a large difference in speed between trajectories as time progresses. In this paper, we propose to use combinations of barrier functions, which we call piecewise barrier tube (PBT), to over-approximate flowpipe. The basic idea of PBT is that for each segment of a flowpipe, a coarse box which is big enough to contain the segment is constructed using sampled simulation and then in the box we compute by linear programming a set of barrier functions (called barrier tube or BT for short) which work together to form a tube surrounding the flowpipe. The benefit of using PBT is that (1) BT is independent of time and hence can avoid being stretched and deformed by time; and (2) a small number of BTs can form a tight over-approximation for the flowpipe, which means that the computation required to decide whether the BTs intersect the unsafe set can be reduced significantly. We implemented a prototype called PBTS in C++. Experiments on some benchmark systems show that our approach is effective