Transforming AdaPT to Ada

This paper describes how the main features of the proposed Ada language extensions intended to support distribution, and offered as possible solutions for Ada9X can be implemented by transformation into standard Ada83. We start by summarizing the features proposed in a paper (Gargaro et al, 1990) which constitutes the definition of the extensions. For convenience we have called the language in its modified form AdaPT which might be interpreted as Ada with partitions. These features were carefully chosen to provide support for the construction of executable modules for execution in nodes of a network of loosely coupled computers, but flexibly configurable for different network architectures and for recovery following failure, or adapting to mode changes. The intention in their design was to provide extensions which would not impact adversely on the normal use of Ada, and would fit well in style and feel with the existing standard. We begin by summarizing the features introduced in AdaPT

Programming in a proposed 9X distributed Ada

The studies of the proposed Ada 9X constructs for distribution, now referred to as AdaPT are reported. The goals for this time period were to revise the chosen example scenario and to begin studying about how the proposed constructs might be implemented. The example scenario chosen is the Submarine Combat Information Center (CIC) developed by IBM for the Navy. The specification provided by IBM was preliminary and had several deficiencies. To address these problems, some changes to the scenario specification were made. Some of the more important changes include: (1) addition of a system database management function; (2) addition of a fourth processing unit to the standard resources; (3) addition of an operator console interface function; and (4) removal of the time synchronization function. To implement the CIC scenario in AdaPT, the decided strategy were publics, partitions, and nodes. The principle purpose for implementing the CIC scenario was to demonstrate how the AdaPT constructs interact with the program structure. While considering ways that the AdaPt constructs might be translated to Ada 83, it was observed that the partition construct could reasonably be modeled as an abstract data type. Although this gives a useful method of modeling partitions, it does not at all address the configuration aspects on the node construct

Transforming AdaPT to Ada9x

How the concepts of AdaPT can be transformed into programs using the object oriented features proposed in the preliminary mapping for Ada9x are described. Emphasizing, as they do, the importance of data types as units of program, these features match well with the development of partitions as translations into Abstract Data Types which was exploited in the Ada83 translation covered in report R3. By providing a form of polymorphic type, the Ada83 version also gives support for the conformant partition idea which could be achieved in Ada83 only by using UNCHECKED CONVERSIONS. It is assumed that the reader understands AdaPT itself, but the translation into Ada83 is briefly reviewed, by applying it to a small example. This is then used to show how the same translation would be achieved in the 9x version. It is important to appreciate that the distribution features which are proposed in current mapping are not used or discussed in any detail, as those are not well matched to the AdaPT approach. Critical evaluation and comparison of these approaches is given in a separate report

Distributed and parallel Ada and the Ada 9X recommendations

Recently, the DoD has sponsored work towards a new version of Ada, intended to support the construction of distributed systems. The revised version, often called Ada 9X, will become the new standard sometimes in the 1990s. It is intended that Ada 9X should provide language features giving limited support for distributed system construction. The requirements for such features are given. Many of the most advanced computer applications involve embedded systems that are comprised of parallel processors or networks of distributed computers. If Ada is to become the widely adopted language envisioned by many, it is essential that suitable compilers and tools be available to facilitate the creation of distributed and parallel Ada programs for these applications. The major languages issues impacting distributed and parallel programming are reviewed, and some principles upon which distributed/parallel language systems should be built are suggested. Based upon these, alternative language concepts for distributed/parallel programming are analyzed

On-line replacement of program modules using AdaPT

One purpose of our research is the investigation of the effectiveness and expressiveness of AdaPT(1), a set of language extensions to Ada 83, for distributed systems. As a part of that effort, we are now investigating the subject of replacing, e.g., upgrading, software modules while the software system remains in operation. The AdaPT language extension provide a good basis for this investigation for several reasons: (1) they include the concept of specific, self-contained program modules which can be manipulated; (2) support for program configuration is included in the language; and (3) although the discussion will be in terms of the AdaPT language, the AdaPT to Ada 83 conversion methodology being developed as another part of this project will provide a basis for the application of our findings to Ada 83 systems. The purpose of this investigation is to explore the basic mechanisms to the replacement process. Thus, while replacement in the presence of real-time deadlines, heterogeneous systems, and unreliable networks is certainly a topic of interest, we will first gain an understanding of the basic processes in the absence of such concerns. The extension of the replacement process to more complex situations can be made later. This report will establish an overview of the on-line upgrade problem, and present a taxonomy of the various aspects of the replacement process

The Role of the Pericardium in the Valveless, Tubular Heart of the Tunicate, \u3cem\u3eCiona savignyi\u3c/em\u3e

Tunicates, small invertebrates within the phylum Chordata, possess a robust tubular heart which pumps blood through their open circulatory systems without the use of valves. This heart consists of two major components: the tubular myocardium, a flexible layer of myocardial cells that actively contracts to drive fluid down the length of the tube; and the pericardium, a stiff, outer layer of cells that surrounds the myocardium and creates a fluid-filled space between the myocardium and the pericardium. We investigated the role of the pericardium through in vivo manipulations on tunicate hearts and computational simulations of the myocardium and pericardium using the immersed boundary method. Experimental manipulations reveal that damage to the pericardium results in aneurysm-like bulging of the myocardium and major reductions in the net blood flow and percentage closure of the heart\u27s lumen during contraction. In addition, varying the pericardium-to-myocardium (PM) diameter ratio by increasing damage severity was positively correlated with peak dye flow in the heart. Computational simulations mirror the results of varying the PM ratio experimentally. Reducing the stiffness of the myocardium in the simulations reduced mean blood flow only for simulations without a pericardium. These results indicate that the pericardium has the ability to functionally increase the stiffness of the myocardium and limit myocardial aneurysms. The pericardium\u27s function is likely to enhance flow through the highly resistive circulatory system by acting as a support structure in the absence of connective tissue within the myocardium

Large Amplitude, Short Wave Peristalsis and Its Implications for Transport

Valveless, tubular pumps are widespread in the animal kingdom, but the mechanism by which these pumps generate fluid flow is often in dispute. Where the pumping mechanism of many organs was once described as peristalsis, other mechanisms, such as dynamic suction pumping, have been suggested as possible alternative mechanisms. Peristalsis is often evaluated using criteria established in a technical definition for mechanical pumps, but this definition is based on a small-amplitude, long-wave approximation which biological pumps often violate. In this study, we use a direct numerical simulation of large-amplitude, short-wave peristalsis to investigate the relationships between fluid flow, compression frequency, compression wave speed, and tube occlusion. We also explore how the flows produced differ from the criteria outlined in the technical definition of peristalsis. We find that many of the technical criteria are violated by our model: Fluid flow speeds produced by peristalsis are greater than the speeds of the compression wave; fluid flow is pulsatile; and flow speed have a nonlinear relationship with compression frequency when compression wave speed is held constant. We suggest that the technical definition is inappropriate for evaluating peristalsis as a pumping mechanism for biological pumps because they too frequently violate the assumptions inherent in these criteria. Instead, we recommend that a simpler, more inclusive definition be used for assessing peristalsis as a pumping mechanism based on the presence of non-stationary compression sites that propagate unidirectionally along a tube without the need for a structurally fixed flow direction

Highlighting strengths in response to discrimination: Developing and testing an allyship positive psychology intervention

Allyship is gaining popularity as a tool to combat discrimination. We developed and tested a novel allyship positive psychology intervention (PPI). Importantly, we examined observers’ perceptions of intervention effectiveness given that observers represent the majority in many settings. Study 1 (N = 787) tested an intervention that highlighted a female employee’s identity-related strengths following a discrimination episode. Compared to communicating an organization’s diversity policy or confronting the transgressor, highlighting the target’s identity-related strengths was rated higher in terms of inclusion and vitality engendered in the target. Mediation analyses indicated that highlighting strengths was perceived as boosting the target’s vitality by signaling the ally’s sincerity and prompting inclusion. In Study 2 (N = 802), amongst various types of identity-related strengths, highlighting the target’s psychological and intellectual capital was as effective as highlighting all types of identity-related strengths combined, due to perceived sincerity. Thus, this research offers a quick, actionable and non-confrontational allyship PPI.&nbsp

A Tale of Two Antennules: The Performance of Crab Odor-Capture Organs in Air and Water

Odour capture is an important part of olfaction, where dissolved chemical cues (odours) are brought into contact with chemosensory structures. Antennule flicking by marine crabs is an example of discrete odour capture (sniffing) where an array of chemosensory hairs is waved through the water to create a flow–no flow pattern based on a narrow range of speeds, diameters of and spacings between hairs. Changing the speed of movement and spacing of hairs at this scale to manipulate flow represents a complicated fluid dynamics problem. In this study, we use numerical simulation of the advection and diffusion of a chemical gradient to reveal how morphological differences of the hair arrays affect odour capture. Specifically, we simulate odour capture by a marine crab (Callinectes sapidus) and a terrestrial crab (Coenobita rugosus) in both air and water to compare performance. We find that the antennule morphologies of each species are adaptions to capturing odours in their native habitats. Sniffing is an important part of odour capture for marine crabs in water where the diffusivity of odorant molecules is low and flow through the array is necessary. On the other hand, flow within the hair array diminishes odour-capture performance in air where diffusivities are high. This study highlights some of the adaptations necessary to transition from water to air

Flexibility of Crab Chemosensory Hairs Enables Flicking Antennules to Sniff

The first step in smelling is capture of odorant molecules from the surrounding fluid. We used lateral flagella of olfactory antennules of crabs Callinectes sapidus to study the physical process of odor capture by antennae bearing dense tufts of hair-like chemosensory sensilla (aesthetascs). Fluid flow around and through aesthetasc arrays on dynamically scaled models of lateral flagella of C. sapidus was measured by particle image velocimetry to determine how antennules sample the surrounding water when they flick. Models enabled separate evaluation of the effects of flicking speed, aesthetasc spacing, and antennule orientation. We found that crab antennules, like those of other malacostracan crustaceans, take a discrete water sample during each flick by having a rapid downstroke, during which water flows into the aesthetasc array, and a slow recovery stroke, when water is trapped in the array and odorants have time to diffuse to aesthetascs. However, unlike antennules of crustaceans with sparse aesthetasc arrays, crabs enhance sniffing via additional mechanisms: 1) Aesthetascs are flexible and splay as a result of the hydrodynamic drag during downstrokes, then clump together during return strokes; and 2) antennules flick with aesthetascs on the upstream side of the stalk during downstrokes, but are hidden downstream during return strokes. Aiming aesthetascs into ambient flow maintains sniffing. When gaps between aesthetascs are wide, changes in antennule speed are more effective at altering flow through the array than when gaps are narrow. Nonetheless, if crabs had fixed gap widths, their ability to take discrete samples of their odorant environment would be diminished