Formal certification and compliance for run-time service environments

With the increased awareness of security and safety of services in on-demand distributed service provisioning (such as the recent adoption of Cloud infrastructures), certification and compliance checking of services is becoming a key element for service engineering. Existing certification techniques tend to support mainly design-time checking of service properties and tend not to support the run-time monitoring and progressive certification in the service execution environment. In this paper we discuss an approach which provides both design-time and runtime behavioural compliance checking for a services architecture, through enabling a progressive event-driven model-checking technique. Providing an integrated approach to certification and compliance is a challenge however using analysis and monitoring techniques we present such an approach for on-going compliance checking

Occurrence and Behavior of Juvenile Red Snapper, Lutjanus campechanus, on Commercial Shrimp Fishing Grounds in the Northeastern Gulf of Mexico

Red snapper, Lutjanus campechanus, is subject to significant overfishing in U.S. Gulf of Mexico waters, and regulations are being implemented to reduce fishing mortality and restore them to a 20% spawning potential ratio by the year 2009. One source of mortality that must be reduced to achieve this goal is the incidental capture ofjuvenile red snappers in shrimp, Penaeus spp., trawls. NOAA's National Marine Fisheries Service is conducting research to develop shrimp trawl modifications to reduce the snapper bycatch. An important part of this research is the study of juvenile red snapper behavior on commercial shrimp grounds and in relation to trawling gear. An area of high juvenile red snapper abundance was identified off the coast of Mississippi. Most snappers were observed around structures or objects on the bottom which they appeared to use for refuge or orientation. Those ranging over barren bottom had no apparent point of orientation. When encountered by shrimp trawls, most juvenile snappers rose above the trawl footrope and fell back into the trawl. These observations have directed research toward modifying shrimp trawls to release juvenile red snappers after entry, rather than preventing them from entering a shrimp trawl

Dancing on the edge of disciplines: law and the interdisciplinary turn

This piece looks critically at the issue of interdisciplinarity and multidisciplinarity within legal study and research. It examines and analyses trends within legal education, before looking at a number of disciplinary approaches within sport. It then considers the interface between law and sport, and argues in particular, and following Bourdieu, that sport is a rare field that allows a number of approaches to be taken, whilst privileging none of them. It argues that rather than seeing law as the focal point of inquiry, sport becomes the focus and that by fostering an approach that allows various disciplinary approaches to be adopted and challenged, sport allows true interdisciplinarity to take place

A study to explore the use of orbital remote sensing to determine native arid plant distribution

The author has identified the following significant results. It is possible to determine, from ERTS imagery, native arid plant distribution. Using techniques of multispectral masking and extensive fieldwork, three native vegetation communities were defined and mapped in the Avra Valley study area. A map was made of the Yuma area with the aid of ground truth correlations between areas of desert pavement visible on ERTS images and unique vegetation types. With the exception of the Yuma soil-vegetation correlation phenomena, only very gross differentiations of desert vegetation communities can be made from ERTS data. Vegetation communities with obvious vegetation density differences such as saguaro-paloverde, creosote bush, and riparian vegetation can be separated on the Avra Valley imagery while more similar communities such as creosote bush and saltbush could not be differentiated. It is suggested that large differences in vegetation density are needed before the signatures of two different vegetation types can be differentiated on ERTS imagery. This is due to the relatively insignificant contribution of vegetation to the total radiometric signature of a given desert scene. Where more detailed information concerning the vegetation of arid regions is required, large scale imagery is appropriate

Correlations of record events as a test for heavy-tailed distributions

A record is an entry in a time series that is larger or smaller than all previous entries. If the time series consists of independent, identically distributed random variables with a superimposed linear trend, record events are positively (negatively) correlated when the tail of the distribution is heavier (lighter) than exponential. Here we use these correlations to detect heavy-tailed behavior in small sets of independent random variables. The method consists of converting random subsets of the data into time series with a tunable linear drift and computing the resulting record correlations.Comment: Revised version, to appear in Physical Review Letter

Resonant forcing of select degrees of freedom of multidimensional chaotic map dynamics

We study resonances of multidimensional chaotic map dynamics. We use the calculus of variations to determine the additive forcing function that induces the largest response, that is, the greatest deviation from the unperturbed dynamics. We include the additional constraint that only select degrees of freedom be forced, corresponding to a very general class of problems in which not all of the degrees of freedom in an experimental system are accessible to forcing. We find that certain Lagrange multipliers take on a fundamental physical role as the efficiency of the forcing function and the effective forcing experienced by the degrees of freedom which are not forced directly. Furthermore, we find that the product of the displacement of nearby trajectories and the effective total forcing function is a conserved quantity. We demonstrate the efficacy of this methodology with several examples.Comment: 11 pages, 3 figure

An Experimental And Numerical Study Of Elastic Strain Waves On The Center Line Of A 6061-T6 Aluminum Bar

The elastic strain waves resulting from the impact of two 3/4-in-dia 6061-T6 aluminum bars are studied experimentally and analytically. Experimental data are obtained from strain gages on the center line and outer surface of the bar, located at various distances from the impact end of the bar. Experimental data are compared to numerical results obtained from integrating the exact equations of two-dimensional motion. In general, agreement between the numerical and experimental results is very good. © 1972 by ASME

Orbital and physical parameters of eclipsing binaries from the ASAS catalogue -- III. Two new low-mass systems with rapidly evolving spots

We present the results of our spectroscopic and photometric analysis of two newly discovered low-mass detached eclipsing binaries found in the All-Sky Automated Survey (ASAS) catalogue: ASAS J093814-0104.4 and ASAS J212954-5620.1. Using the GIRAFFE instrument on the 1.9-m Radcliffe telescope at SAAO and the UCLES spectrograph on the 3.9-m Anglo-Australian Telescope, we obtained high-resolution spectra of both objects and derived their radial velocities (RVs) at various orbital phases. The RVs of both objects were measured with the TODCOR technique using synthetic template spectra as references. We also obtained V and I band photometry using the 1.0-m Elizabeth telescope at SAAO and the 0.4-m PROMPT instruments located at the CTIO. The orbital and physical parameters of the systems were derived with PHOEBE and JKTEBOP codes. We compared our results with several sets of widely-used isochrones. Our multi-epoch photometric observations demonstrate that both objects show significant out-of-eclipse modulations, which vary in time. We believe that this effect is caused by stellar spots, which evolve on time scales of tens of days. For this reason, we constructed our models on the basis of photometric observations spanning short time scales (less than a month). Our modeling indicates that (1) ASAS-09 is a main sequence active system with nearly-twin components with masses of M1 = 0.771(33) Msun, M2 = 0.768(21) Msun and radii of R1 = 0.772(12) Rsun and R2 = 0.769(13) Rsun. (2) ASAS-21 is a main sequence active binary with component masses of M1 = 0.833(17) Msun, M2 = 0.703(13) Msun and radii of R1 = 0.845(12) Rsun and R2 = 0.718(17) Rsun. Both systems confirm the characteristic of active low-mass stars, for which the observed radii are larger and the temperatures lower than predicted by evolutionary models. Other parameters agree within errors with the models of main sequence stars.Comment: 15 pages, 7 figures, 7 tables, to appear in A&

Examining c-di-GMP and possible quorum sensing regulation in Pseudomonas fluorescens SBW25:links between intra and inter-cellular regulation benefits community cooperative activities such as biofilm formation

Bacterial success in colonizing complex environments requires individual response to micro-scale conditions as well as community-level cooperation to produce large-scale structures such as biofilms. Connecting individual and community responses could be achieved by linking the intracellular sensory and regulatory systems mediated by bis-(3′-5′)-cyclic dimeric guanosine monophosphate (c-di-GMP) and other compounds of individuals with intercellular quorum sensing (QS) regulation controlling populations. There is growing evidence to suggest that biofilm formation by many pseudomonads is regulated by both intra and intercellular systems, though in the case of the model Pseudomonas fluorescens SBW25 Wrinkly Spreader in which mutations increasing c-di-GMP levels result in the production of a robust cellulose-based air-liquid interface biofilm, no evidence for the involvement of QS regulation has been reported. However, our recent review of the P. fluorescens SBW25 genome has identified a potential QS regulatory pathway and other QS–associated genes linked to c-di-GMP homeostasis, and QS signal molecules have also been identified in culture supernatants. These findings suggest a possible link between c-di-GMP and QS regulation in P. fluorescens SBW25 which might allow a more sophisticated and responsive control of cellulose production and biofilm formation when colonising the soil and plant-associated environments P. fluorescens SBW25 normally inhabits.Анализ ц-ди-ГМФ и возможного чувства кворума у Pseudomonas fluorescens SBW 25: связь между внутри и межклеточной регуляцией способствует кооперативному поведению в сообществе и формированию биоплёнкиУспешность бактериальной колонизации сложных экониш требует индивидуального ответа на изменения условий на микроуровне равно как и кооперации на уровне сообщества для продукции таких крупно масштабных структур как биоплёнки. Координация индивидуальных ответ ов и ответов сообщества может быть достигнута путем связывания внутриклеточных сенсорных и регуляторных систем, опосредуемых бис-(3',5')-циклическим димерным гуанозинмонофосфатом (ц-ди-ГМФ) и другими соединениями индивидуумов с межклеточной регуляцией - чувством кворума (ЧК), контролирующем популяци ю. Накапливается всё больше доказательств того, что формирование биопленки многими псевдомонадами регулируется как внутри клеточными, так и меж клеточными регуляторными системами, хотя в случае модельной Pseudomonas fluorescens SBW25 Wrinkly Spreader, у которой мутации, повышающ ие уровни ц-ди-ГМФ, приводят к созданию прочной целлюлозной биоплёнки на границе раздела фаз воздух-жидкость, не было обнаружено ни ка кого свидетельства вовлечения кворум-зависимой регуляции. Однако наш недавний обзор генома P. fluorescens SBW25 выявил потенциальный ЧК-зависимый регуляторный пу ть и другие ЧК-зависимые гены, связанные с гомеостазом ц-ди-ГМФ, а молекулы ЧК-сигналинга были идентифицированы в культуре. Эти данные свидетельствуют о возможной связи между ц-ди-ГМФ-регуляцией и ЧК у P. fluorescens SBW25, что позволяет более сложный и гибкий контроль над продукцией целлюлозы и образовани ем биопленки при колонизации почв и экониш, aссоциированных с растениям и, - естественными средами обитания P. fluorescens SBW25