Action semantics-directed prototyping

We present a methodology for compiler synthesis based on Mosses-Watt's action semantics. Each action in action semantics notation is assigned specific “analysis functions”, such as a typing function and a binding-time function. When a language is given an action semantics, the typing and binding-time functions for the individual actions compose into typing and binding-time analyses for the language; these are implemented as the type checker and static semantics processor, respectively, in the synthesized compiler. Other analyses can be similarly formalized and implemented. We show a sample language semantics and its synthesized compiler, and we describe the compiler synthesizer that we have developed.     

HihO: accelerating artificial intelligence interpretability for medical imaging in IoT applications using hierarchical occlusion

Neural Computing and Applications - In the medical imaging domain, nonlinear warping has enabled pixel-by-pixel mapping of one image dataset to a reference dataset. This co-registration of data...     

Optimal control and energy storage for DC electric train systems using evolutionary algorithms

Railway Engineering Science - Electrified railways are becoming a popular transport medium and these consume a large amount of electrical energy. Environmental concerns demand reduction in energy...     

Calculated effect of pulsed pheromone release on range of attraction

In order to assess the possible function of pulsed release of windborne pheromones, calculations were performed to predict the concentration pattern downwind of the source. Two patterns of pulsed releases (sinusoidal and instantaneous) were compared to a constant release pattern. In all three cases, the average rate of release was the same. Assuming the receiving animal needs only a momentary exposure to concentrations above threshold to respond, it is clear that sinusoidal release has a greater distance of detection than constant release and that instantaneous release is even better. The relative magnitude of the increase in range of detection depends on the ratio of average release rate to threshold concentration. Pulsed releases have a greater advantage when the threshold is high and the range of attraction is inherently short. Under these conditions, sinusoidal release can double the range of attraction and instantaneous release can increase it 10-fold. In contrast, with a low threshold and consequent long range of attraction, the pulsed patterns are lost and the increase in range is insignificant. Several testable predictions are derived from the hypothesis that the primary function of pulsed release is to extend the range and time over which a given quantity of pheromone can act.     

A Multi-Channel Pulse-Coded Multiplexing and Demodulating Telemetry System

A multiplexing, demodulating, and recording telemetry system designed to process multiple pulse-coded temperature channels is described. The system provides complete control of recording and multiplexing sequences and timing, and gives a single analog signal in response to each sample of pulse-coded data. It identifies all channels and indicates to a computer when a new data sample is to be processed. The system is self-calibrating to maintain accuracy over extended data collection periods, and is inexpensive.     

Effect of Inhomogeneities on the Apparent Location and Magnitude of a Cardiac Current Dipole Source

A mathematical model was used to investigate the effects of electrical inhomogeneities introduced by the intracavitary blood mass and the lungs on the apparent location and magnitude of a current dipole source representing local activity in the myocardium. Radial and tangential current source moments were considered, and lung conductivity was taken as a variable parameter. Both the blood mass and the lungs cause a current source to appear closer to the heart center than it actually is. The effect increases as the source moves away from the endocardial surface, and maximum displacement is estimated to be of the order of 1 cm. The net effect of the inhomogeneities is to increase the magnitude of the radial component of a source dipole while diminishing its tangential component. These effects depend on source location.     

Effects of enzymes and gamma irradiation on the tensile strength and morphology of poly(p-dioxanone) fibers

The objective of this study was to examine how and to what extent a new degradable polymeric fiber, poly(p-dioxanone), used as a surgical suture material, degrades in the presence of enzymes and after γ-irradiation. The degradation of the fiber was studied mechanically using an Instron and morphologically by SEM. Both esterase and trypsin enzymes and their corresponding buffer controls were used. The fibers were γ-irradiated at the dosages ranging from 0 to 20 Mrad, immersed in the solution for up to 70 days, and then removed for tensile strength and morphological examinations. It was found that γ-irradiation alone lowered the tensile strength of PDS fibers and made them more susceptible to hydrolysis. Esterase and trypsin did not accelerate the hydrolytic degradtion of this fiber to any significant level. Both γ-irradiation and enzymes influenced the gross morphological characteristic of PDS fibers when they were subjected to hydrolysis. The most important morphological observations were the formation of surface cracks and chips on the fibers and the subsequent peeling of the chips. Enzyme-treated PDS fibers exhibited similar morphological findings but the size of the chips was smaller. The morphological observations of PDS fibers were consistent with the tensile strength data.     

The haustorium and the chemistry of host recognition in parasitic angiosperms

Two parasitic angiosperms,Agalinis purpurea (Scrophulariaceae) andStriga asiatica (Scrophulariaceae), are compared as to the chemical recognition events involved in host selection.Agalinis is a hemiparasite which can mature to seed-set without a host, whereasStriga is a holoparasite and survives for only a very limited time without a host. Both parasites, however, attach to a host through a specialized organ known as the haustorium and regulate the development of this organ through the recognition of chemical factors from host plants. We now describe the discovery of 2,6-dimethoxy-p-benzoquinone (2,6-DMBQ) as an haustoria-inducing principle fromSorghum root extracts. Our investigation of this compound has led us to suggest that one level of host recognition in these parasitic plants is mediated through their enzymatic digestion of the host root surface. Degradation of surface components liberates quinonoid compounds, such as 2,6-DMBQ, which in turn trigger haustorial development.     

Combinatorial materials research applied to the development of new surface coatings: II. Process capability analysis of the coating formulation workflow

A combinatorial process has been developed for the high throughput production and evaluation of surface coatings. The workflow designed for the production of arrays of liquid coatings involves the robotic transfer of aliquots of solutions of raw materials to an array of glass vials and mixing of the coatings using an unconventional magnetic stirring process. An investigation of the capability of the workflow to accurately and repeatedly prepare coating arrays was conducted as a function of solution viscosity and aliquot size. In addition, mixing capability was evaluated as a function of solution viscosity, total solution volume, and mechanism of stirring. Overall, the results of the study indicated that adequate accuracy and repeatability of the coating preparation process can be achieved as long as raw material solutions are designed such that viscosity is below about 250 cP and aliquot sizes are above about 75 μl. With regard to mixing capability, total solution volume was found to have a profound affect as did the stirring mechanism.     

Numerical Analysis of the Constrained Blister Test

The constrained blister test is investigated through finite element analysis to determine the applicabilities and the limitations of the new technique. Numerical results confirm that the strain energy release rate asymptotically approaches a constant value. These results also show that the test technique and the approximate solution for strain energy release rate are applicable for some practical cases.