Tool support for generating passive C++ test oracles from object-z specifications

A test oracle provides a means for determining whether an implementation behaves according to its specification. A passive test oracle checks that the correct behaviour has been implemented, but does not implement the behaviour itself. In previous work, we have presented a method that allows us to derive passive C++ test oracles from formal specifications written in Object-Z. We describe the "Warlock" prototype tool that supports the method. Warlock is built on top of an existing Object-Z type checker and generates oracle code for a substantial subset of the Object-Z language. We describe the architecture of Warlock and its application to a number of Object-Z specifications. We also discuss its current limitations.

Magnetic drive system for a new centrifugal rotary blood pump

The purpose of this investigation was to design a novel magnetic drive and bearing system for a new centrifugal rotary blood pump (CRBP). The drive system consists of two components: (i) permanent magnets within the impeller of the CRBP; and (ii) the driving electromagnets. Orientation of the magnets varies from axial through to 60° included out-lean (conical configuration). Permanent magnets replace the electromagnet drive to allow easier characterization. The performance characteristics tested were the axial force of attraction between the stator and rotor at angles of rotational alignment, Ø, and the corresponding torque at those angles. The drive components were tested for various magnetic cone angles, ?. The test was repeated for three backing conditions: (i) non-backed; (ii) steel-cupped; and (iii) steel plate back-iron, performed on an Instron tensile testing machine. Experimental results were expanded upon through finite element and boundary element analysis (BEM). The force/torque characteristics were maximal for a 12-magnet configuration at 0° cone angle with steel-back iron (axial force = 60 N, torque = 0.375 Nm). BEM showed how introducing a cone angle increases the radial restoring force threefold while not compromising axial bearing force. Magnets in the drive system may be orientated not only to provide adequate coupling to drive the CRBP, but to provide significant axial and radial bearing forces capable of withstanding over 100 m/s2 shock excitation on the impeller. Although the 12 magnet 0° (?) configuration yielded the greatest force/torque characteristic, this was seen as potentially unattractive as this magnetic cone angle yielded poor radial restoring force characteristics.

Investigation of gas engine driven heat pump systems

Heat pumps are becoming increasingly popular, but poor electricity generating efficiency limits the potential energy savings of electrically powered units. Thus the work reported in this thesis concerns the development of a range of gas engine driven heat pumps for industrial and commercial heating applications, which recover heat from the prime mover, normally rejected to waste. Despite the convenience of using proprietary engine heat recovery packages, investigations have highlighted the necessity to ensure the engine and the heat recovery equipment are compatible. A problem common •to all air source heat pumps is the formation of frost on the evaporator, which must be removed periodically, with the expenditure of energy, to ensure the continued operation of the plant. An original fluidised bed defrosting mechanism is proposed, which prevents the build-up of this frost, and also improves system performance. Criticisms have been levelled against the rotary sliding vane compressor, in particular the effects of lubrication, which is essential. This thesis compares the rotary sliding vane compressor with other machines, and concludes that many of these criticisms are unfounded. A confidential market survey indicates an increasing demand for heat pumps up to and including 1990, and the technical support needed to penetrate this market is presented. Such support includes the development of a range of modular gas engine driven heat pumps, and a computer aided design for the selection of the optimum units. A case study of a gas engine driven heat pump for a swimming pool application which provided valuable experience is included.

Development of reasoning:Behavioral evidence to support reinforcement over cognitive control accounts

Speed's theory makes two predictions for the development of analogical reasoning. Firstly, young children should not be able to reason analogically due to an undeveloped PFC neural network. Secondly, category knowledge enables the reinforcement of structural features over surface features, and thus the development of sophisticated, analogical, reasoning. We outline existing studies that support these predictions and highlight some critical remaining issues. Specifically, we argue that the development of inhibition must be directly compared alongside the development of reasoning strategies in order to support Speed's account. © 2010 Psychology Press.

Passive mode locking in erbium-doped fibre laser by carbon nanotubes

Passively mode locked fibre lasers have a variety of applications ranging from telecommunication to medical photonics. Carbon nanotubes (CNTs) have attracted recently a great deal of attention as a promising solution for saturable absorber elements required for laser mode locking (see e.g. [1-3] and references therein). CNTs can be used as a saturable absorber in passively mode locked fibre laser directly [1,2] or as a CNTs polymer composites [3]. An attractive feature of CNT-based solutions in fibre lasers is a possibility to maintain the compactness, robustness of all-fibre format and low cost through using all standard telecom compatible components. The two important technical challenges in such type of lasers are: (i) to achieve stable polarization properties of the generated radiation without using complex control elements, and, (ii) to avoid low frequency instabilities of the mode-locked pulse train. In this paper we report results of the experiments on mode-locked soliton fibre laser using the following standard components: 1m of highly doped erbium fibre (Liekki Er80-8/125) serves as the gain medium with nominal absorption of 80 dB/m at 1530 nm; a 976 nm laser diode providing up to 310mW power is used to pump the laser via a 980/1550 wavelength division multiplexing; an isolator is employed to ensure single direction oscillation; SMF-28 is used to create necessary amount of anomalous dispersion to form soliton pulse making the total cavity length around 7.83 m; the CNT-polyvinyl alcohol polymer saturable absorber sandwiched in the FC/PC connector is used as a mode-locker device (see [3] for details). © 2011 IEEE.

Decision support system for production control: Multiple criteria decision making in practice

This paper presents a development of decision support systems for solving scheduling problems. It consists of two parts — the first describing the production processes which can be handled by the system and the second describing how the system works.

Productivity- and ocean circulation changes in the sub-Antarctic Atlantic during the last deglaciation and Marine Isotope Stage 3

Millennial-scale climate changes during the last glacial period and deglaciation were accompanied by rapid changes in atmospheric CO2 that remain unexplained. While the role of the Southern Ocean as a 'control valve' on ocean-atmosphere CO2 exchange has been emphasized, the exact nature of this role, in particular the relative contributions of physical (for example, ocean dynamics and air-sea gas exchange) versus biological processes (for example, export productivity), remains poorly constrained. Here we combine reconstructions of bottom-water [O2], export production and 14C ventilation ages in the sub-Antarctic Atlantic, and show that atmospheric CO2 pulses during the last glacial- and deglacial periods were consistently accompanied by decreases in the biological export of carbon and increases in deep-ocean ventilation via southern-sourced water masses. These findings demonstrate how the Southern Ocean's 'organic carbon pump' has exerted a tight control on atmospheric CO2, and thus global climate, specifically via a synergy of both physical and biological processes.

(Table 1) Age control and temporal resolution of paleoceanographic records of the North Atlantic

Short-term changes in sea surface conditions controlling the thermohaline circulation in the northern North Atlantic are expected to be especially efficient in perturbing global climate stability. Here we assess past variability of sea surface temperature (SST) in the northeast Atlantic and Norwegian Sea during Marine Isotope Stage (MIS) 2 and, in particular, during the Last Glacial Maximum (LGM). Five high-resolution SST records were established on a meridional transect (53°N-72°N) to trace centennial-scale oscillations in SST and sea-ice cover. We used three independent computational techniques (SIMMAX modern analogue technique, Artificial Neural Networks (ANN), and Revised Analog Method (RAM)) to reconstruct SST from planktonic foraminifer census counts. SIMMAX and ANN reproduced short-term SST oscillations of similar magnitude and absolute levels, while RAM, owing to a restrictive analog selection, appears less suitable for reconstructing "cold end" SST. The SIMMAX and ANN SST reconstructions support the existence of a weak paleo-Norwegian Current during Dansgaard-Oeschger (DO) interstadials number 4, 3, 2, and 1. During the LGM, two warm incursions of 7°C water to occurred in the northern North Atlantic but ended north of the Iceland Faroe Ridge. A rough numerical estimate shows that the near-surface poleward heat transfer from 53° across the Iceland-Faroe Ridge up to to 72° N dropped to less than 60% of the modern value during DO interstadials and to almost zero during DO stadials. Summer sea ice was generally confined to the area north of 70°N and only rarely expanded southward along the margins of continental ice sheets. Internal LGM variability of North Atlantic (>40°N) SST in the GLAMAP 2000 compilation (Sarnthein et al., 2003, doi:10.1029/2002PA000771; Pflaumann et al., 2003, doi:10.1029/2002PA000774) indicates maximum instability in the glacial subpolar gyre and at the Iberian Margin, while in the Nordic Seas, SST was continuously low.

Salicaceae Endophytes: Growth Promotion Potential in Rice (Oryza sativa L.) and Maize (Zea mays L.) and Bio-Control of Plant Pathogen

Thesis (Ph.D.)--University of Washington, 2016-08

Position paper on passive sampling techniques for the monitoring of contaminants in the aquatic environment - Achievements to date and perspectives

This paper, based on the outcome of discussions at a NORMAN Network-supported workshop in Lyon (France) in November 2014 aims to provide a common position of passive sampling community experts regarding concrete actions required to foster the use of passive sampling techniques in support of contaminant risk assessment and management and for routine monitoring of contaminants in aquatic systems. The brief roadmap presented here focusses on the identification of robust passive sampling methodology, technology that requires further development or that has yet to be developed, our current knowledge of the evaluation of uncertainties when calculating a freely dissolved concentration, the relationship between data from PS and that obtained through biomonitoring. A tiered approach to identifying areas of potential environmental quality standard (EQS) exceedances is also shown. Finally, we propose a list of recommended actions to improve the acceptance of passive sampling by policy-makers. These include the drafting of guidelines, quality assurance and control procedures, developing demonstration projects where biomonitoring and passive sampling are undertaken alongside, organising proficiency testing schemes and interlaboratory comparison and, finally, establishing passive sampler-based assessment criteria in relation to existing EQS.