Measurement of vortex velocities over a wide range of vortex age, downstream distance and free stream velocity

A wind tunnel test was conducted to obtain vortex velocity signatures over a wide parameter range encompassing the data conditions of several previous researchers while maintaining a common instrumentation and test facility. The generating wing panel was configured with both a revolved airfoil tip shape and a square tip shape and had a semispan aspect of 4.05/1.0 with a 121.9 cm span. Free stream velocity was varied from 6.1 m/sec to 76.2 m/sec and the vortex core velocities were measured at locations 3, 6, 12, 24 and 48 chordlengths downstream of the wing trailing edge, yielding vortex ages up to 2.0 seconds. Wing pitch angles of 6, 8, 9 and 12 deg were investigated. Detailed surface pressure distributions and wing force measurements were obtained for each wing tip configuration. Correlation with vortex velocity data taken in previous experiments is good. During the rollup process, vortex core parameters appear to be dependent primarily on vortex age. Trending in the plateau and decay regions is more complex and the machanisms appear to be more unstable

Arguing satisfaction of security requirements

This chapter presents a process for security requirements elicitation and analysis, based around the construction of a satisfaction argument for the security of a system. The process starts with the enumeration of security goals based on assets in the system, then uses these goals to derive security requirements in the form of constraints. Next, a satisfaction argument for the system is constructed, using a problem-centered representation, a formal proof to analyze properties that can be demonstrated, and structured informal argumentation of the assumptions exposed during construction of the argument. Constructing the satisfaction argument can expose missing and inconsistent assumptions about system context and behavior that effect security, and a completed argument provides assurances that a system can respect its security requirements

Arguing security: validating security requirements using structured argumentation

This paper proposes using both formal and structured informal arguments to show that an eventual realized system can satisfy its security requirements. These arguments, called 'satisfaction arguments', consist of two parts: a formal argument based upon claims about domain properties, and a set of informal arguments that justify the claims. Building on our earlier work on trust assumptions and security requirements, we show how using satisfaction arguments assists in clarifying how a system satisfies its security requirements, in the process identifying those properties of domains that are critical to the requirements

A framework for security requirements engineering

This paper presents a framework for security requirements elicitation and analysis, based upon the construction of a context for the system and satisfaction arguments for the security of the system. One starts with enumeration of security goals based on assets in the system. These goals are used to derive security requirements in the form of constraints. The system context is described using a problem-centered notation, then this context is validated against the security requirements through construction of a satisfaction argument. The satisfaction argument is in two parts: a formal argument that the system can meet its security requirements, and a structured informal argument supporting the assumptions expressed in the formal argument. The construction of the satisfaction argument may fail, revealing either that the security requirement cannot be satisfied in the context, or that the context does not contain sufficient information to develop the argument. In this case, designers and architects are asked to provide additional design information to resolve the problems

Limits on radio emission from pulsar wind nebulae

We report on a sensitive survey for radio pulsar wind nebulae (PWN) towards 27 energetic and/or high velocity pulsars. Observations were carried out at 1.4 GHz using the Very Large Array and the Australia Telescope Compact Array, and utilised pulsar-gating to search for off-pulse emission. These observing parameters resulted in a considerably more sensitive search than previous surveys, and could detect PWN over a much wider range of spatial scales (and hence ambient densities and pulsar velocities). However, no emission clearly corresponding to a PWN was discovered. Based on these non-detections we argue that the young and energetic pulsars in our sample have winds typical of young pulsars, but produce unobservable PWN because they reside in low density (n approx 0.003 cm^-3) regions of the ISM. However, non-detections of PWN around older and less energetic pulsars can only be explained if the radio luminosity of their winds is less than 1e-5 of their spin-down luminosity, implying an efficiency at least an order of magnitude smaller than that seen for young pulsars.Comment: 9 pages, 3 embedded EPS files. Accepted to MNRA

Role of Endogenous GLP-1 and GIP in Beta Cell Compensatory Responses to Insulin Resistance and Cellular Stress.

Role of GLP-1 and GIP in beta cell compensatory responses to beta cell attack and insulin resistance were examined in C57BL/6 mice lacking functional receptors for GLP-1 and GIP. Mice were treated with multiple low dose streptozotocin or hydrocortisone. Islet parameters were assessed by immunohistochemistry and hormone measurements were determined by specific enzyme linked immunoassays. Wild-type streptozotocin controls exhibited severe diabetes, irregularly shaped islets with lymphocytic infiltration, decreased Ki67/TUNEL ratio with decreased beta cell and increased alpha cell areas. GLP-1 and GIP were co-expressed with glucagon and numbers of alpha cells mainly expressing GLP-1 were increased. In contrast, hydrocortisone treatment and induction of insulin resistance increased islet numbers and area, with enhanced beta cell replication, elevated mass of beta and alpha cells, together with co-expression of GLP-1 and GIP with glucagon in islets. The metabolic responses to streptozotocin in GLP-1RKO and GIPRKO mice were broadly similar to C57BL/6 controls, although decreases in islet numbers and size were more severe. In contrast, both groups of mice lacking functional incretin receptors displayed substantially impaired islet adaptations to insulin resistance induced by hydrocortisone, including marked curtailment of expansion of islet area, beta cell mass and islet number. Our observations cannot be explained by simple changes in circulating incretin concentrations, suggesting that intra-islet GLP-1 and GIP make a significant contribution to islet adaptation, particularly expansion of beta cell mass and compensatory islet compensation to hydrocortisone and insulin resistance

Microbiology and atmospheric processes: Biological, physical and chemical characterization of aerosol particles

The interest in bioaerosols has traditionally been linked to health hazards for humans, animals and plants. However, several components of bioaerosols exhibit physical properties of great significance for cloud processes, such as ice nucleation and cloud condensation. To gain a better understanding of their influence on climate, it is therefore important to determine the composition, concentration, seasonal fluctuation, regional diversity and evolution of bioaerosols. In this paper, we will review briefly the existing techniques for detection, quantification, physical and chemical analysis of biological particles, attempting to bridge physical, chemical and biological methods for analysis of biological particles and integrate them with aerosol sampling techniques. We will also explore some emerging spectroscopy techniques for bulk and single-particle analysis that have potential for in-situ physical and chemical analysis. Lastly, we will outline open questions and further desired capabilities (e. g., in-situ, sensitive, both broad and selective, on-line, time-resolved, rapid, versatile, cost-effective techniques) required prior to comprehensive understanding of chemical and physical characterization of bioaerosols

Technology Competency Within The Non-Traditional Preservice Teacher Candidate Population: Survey Results

This study utilized action research with quantitative data analysis to investigate the personal technological skills and use of web-based applications of nontraditional teacher candidates enrolled in elementary education courses at a Historically Black College/University (HBCU) in the southeastern section of the USA. The goal was to gain a better understanding of the technological challenges encountered by non-traditional candidates and to determine how technology can inform instructional delivery of curriculum to improve this population’s representation, expression, and engagement of learning outcomes. Data were collected through an anonymous electronic survey distributed to each student enrolled in the elementary education courses. A total of 320 students were enrolled, 148 respondents participated in the survey to equal 46% (N = 148) of the elementary education teacher candidate population. Of the 148 participants, 109 classified themselves age 24 and older; for the purposes of this study, this group is defined as nontraditional teacher candidates. The results revealed that (a) the H0 was rejected for seven of the eight tested categories, therefore strengthening the HA; (b) 50% of teacher candidates, whether traditional or nontraditional, self-reported in the Learner to Basic levels category; (c) 47% of traditional and non-traditional candidates reported Proficient to Advanced level, thereby strengthening the alternative hypothesis. These findings are compelling and led to the development of a new conceptual framework, the Teacher Education Technology and Web-Based Application Survey (TETWAS), which proposes that faculty in an elementary preparatory program could promote and enhance the learning experiences of candidates