IONIC-CONDUCTIVITY AND DYNAMIC MECHANICAL RELAXATION OF A 2-COMPONENT EPOXY NETWORK-LICLO4 ELECTROLYTE SYSTEM

The correlation between mechanical relaxation and ionic conductivity was investigated in a two-component epoxy network-LiClO4 electrolyte system. The network was composed of diglycidyl ether of polyethylene glycol (DGEPEG) and triglycidyl ether of glycerol (TGEG). The effects of salt concentration, molecular weight of PEG in DGEPEG and the proportion of DGEPEG (1000) in DGEPEG/TGEG ratio on the ionic conductivity and the mechanical relaxation of the system were studied. It was found that, among the three influential factors, the former reinforces the network chains, reduces the free volume fraction and thus increases the relaxation time of the segmental motion, which in turn lowers the ionic conductivity of the specimen. Conversely, the latter two increase the free volume and thus the chain flexibility, showing an opposite effect. From the iso-free-volume plot of the shift factor log at and reduced ionic conductivity, it is noted that the plot can be used to examine the temperature dependence of segmental mobility and seems to be useful to judge whether the incorporated salt has been dissociated completely. Besides, the ionic conductivity and relaxation time at constant reference temperature are linearly correlated with each other in all the three cases. This result gives an additional experimental confirmation of the coordinated motion model of the ionic hopping with the moving polymer chain segment, which is generally used to explain the ionic conduction in non-glassy amorphous polymer electrolytes.

A kind of extended Korteweg-de Vries equation and solitary wave solutions for interfacial waves in a two-fluid system

This paper considers interfacial waves propagating along the interface between a two-dimensional two-fluid with a flat bottom and a rigid upper boundary. There is a light fluid layer overlying a heavier one in the system, and a small density difference exists between the two layers. It just focuses on the weakly non-linear small amplitude waves by introducing two small independent parameters: the nonlinearity ratio epsilon, represented by the ratio of amplitude to depth, and the dispersion ratio mu, represented by the square of the ratio of depth to wave length, which quantify the relative importance of nonlinearity and dispersion. It derives an extended KdV equation of the interfacial waves using the method adopted by Dullin et al in the study of the surface waves when considering the order up to O(mu(2)). As expected, the equation derived from the present work includes, as special cases, those obtained by Dullin et al for surface waves when the surface tension is neglected. The equation derived using an alternative method here is the same as the equation presented by Choi and Camassa. Also it solves the equation by borrowing the method presented by Marchant used for surface waves, and obtains its asymptotic solitary wave solutions when the weakly nonlinear and weakly dispersive terms are balanced in the extended KdV equation.

Characterizing CO2 fluxes for growing and non-growing seasons in a shrub ecosystem on the Qinghai-Tibet Plateau

To assess carbon budget for shrub ecosystems on the Qinghai-Tibet Plateau, CO2 flux was measured with an open-path eddy covariance system for an alpine shrub ecosystem during growing and non-growing seasons. CO2 flux dynamics was distinct between the two seasons. During the growing season from May to September, the ecosystem exhibited net CO2 uptake from 08:00 to 19:00 (Beijing Standard Time), but net CO2 emission from 19:00 to 08:00. Maximum CO2 uptake appeared around 12:00 with values of 0.71, 1,19, 1.46 and 0.67 g CO2 m(-2) h(-1) for June, July, August and September, respectively. Diurnal fluctuation Of CO2 flux showed higher correlation with photosynthetic photon flux density than temperature. The maximum net CO2 influx occurred in August with a value of 247 g CO2 m(-2). The total CO2 uptake by the ecosystem was up to 583 g CO2 m(-2) for the growing season. During the non-growing season from January to April and from October to December, CO2 flux showed small fluctuation with the largest net CO2 efflux of 0.30 g CO2 m(-2) h(-1) in April. The diurnal CO2 flux was close to zero during most time of the day, but showed a small net CO2 eff lux from 11:00 to 18:00. Diurnal CO2 flux, is significantly correlated to diurnal temperature in the non-growing season. The maximum monthly net CO2 eff lux appeared in April, with a value of 105 g CO2 m(-2). The total net CO2 eff lux for the whole non-growing season was 356 g CO2 m(-2).

Towards Autonomous Motion Vision

Earlier, we introduced a direct method called fixation for the recovery of shape and motion in the general case. The method uses neither feature correspondence nor optical flow. Instead, it directly employs the spatiotemporal gradients of image brightness. This work reports the experimental results of applying some of our fixation algorithms to a sequence of real images where the motion is a combination of translation and rotation. These results show that parameters such as the fization patch size have crucial effects on the estimation of some motion parameters. Some of the critical issues involved in the implementaion of our autonomous motion vision system are also discussed here. Among those are the criteria for automatic choice of an optimum size for the fixation patch, and an appropriate location for the fixation point which result in good estimates for important motion parameters. Finally, a calibration method is described for identifying the real location of the rotation axis in imaging systems.

An artificial immune system for continuous analysis of time-varying data

M. Neal, An Artificial Immune System for Continuous Analysis of Time-Varying Data, in Proceedings of the 1st International Conference on Artificial Immune Systems (ICARIS), 2002, eds J Timmis and P J Bentley, volume 1, pages 76-85,

An artificial immune system for data analysis

Timmis J and Neal M J. An artificial immune system for data analysis. In Proceedings of 3rd international workshop on information processing in cells and tissues (IPCAT), Indianapolis, U.S.A., 1999.

A resource limited artificial immune system for data analysis.

Timmis J and Neal M J. A resource limited artificial immune system for data analysis. In Proceedings of ES2000 - Research and Development of Intelligent Systems, pages 19-32, Cambrige, U.K., 2000. Springer.

Investigating the evolution and stability of a resource limited artificial immune system.

Timmis J and Neal M J. Investigating the evolution and stability of a resource limited artificial immune system. In Proceedings of GECCO - special workshop on artificial immune systems, pages 40-41. AAAI press, 2000.

Learning and Control in Assistive Robotics for the Elderly

Q. Meng and M. H. Lee, Learning and Control in Assistive Robotics for the Elderly, IEEE Conference on Robotics, Automation and Mechatronics (RAM), Singapore, 2004.

Telerobotic Sheepdogs: how useful is autonomous behaviour?

Wilson,M.S. and Neal,M.J., 'Telerobotic Sheepdogs: how useful is autonomous behaviour?', Proceedings of the 6th International Conference on Simulation of Adaptive Behaviour, ed. Meyer,J.A. and Berthoz,A. and Floreano,D. and Roitblat,H.L. and Wilson,S.W., pp 125-134, 2000, MIT Press

FRANTIC - A system for inducing accurate and comprehensible fuzzy rules

M. Galea and Q. Shen. FRANTIC - A system for inducing accurate and comprehensible fuzzy rules. Proceedings of the 2004 UK Workshop on Computational Intelligence, pages 136-143.

A role for LH in the regulation of expression of mRNAs encoding components of the insulin-like growth factor (IGF) system in the ovine corpus luteum

P.M. Hastie and W. Haresign (2006). A role for LH in the regulation of expression of mRNAs encoding components of the insulin-like growth factor (IGF) system in the ovine corpus luteum. Animal Reproduction Science, 96(1-2), 196-209. Sponsorship: DEFRA RAE2008

INVESTIGATION OF OCEAN ACOUSTICS USING AUTONOMOUS INSTRUMENTATION TO QUANTIFY THE WATER-SEDIMENT BOUNDARY PROPERTIES

Sound propagation in shallow water is characterized by interaction with the oceans surface, volume, and bottom. In many coastal margin regions, including the Eastern U.S. continental shelf and the coastal seas of China, the bottom is composed of a depositional sandy-silty top layer. Previous measurements of narrow and broadband sound transmission at frequencies from 100 Hz to 1 kHz in these regions are consistent with waveguide calculations based on depth and frequency dependent sound speed, attenuation and density profiles. Theoretical predictions for the frequency dependence of attenuation vary from quadratic for the porous media model of M.A. Biot to linear for various competing models. Results from experiments performed under known conditions with sandy bottoms, however, have agreed with attenuation proportional to f1.84, which is slightly less than the theoretical value of f2 [Zhou and Zhang, J. Acoust. Soc. Am. 117, 2494]. This dissertation presents a reexamination of the fundamental considerations in the Biot derivation and leads to a simplification of the theory that can be coupled with site-specific, depth dependent attenuation and sound speed profiles to explain the observed frequency dependence. Long-range sound transmission measurements in a known waveguide can be used to estimate the site-specific sediment attenuation properties, but the costs and time associated with such at-sea experiments using traditional measurement techniques can be prohibitive. Here a new measurement tool consisting of an autonomous underwater vehicle and a small, low noise, towed hydrophone array was developed and used to obtain accurate long-range sound transmission measurements efficiently and cost effectively. To demonstrate this capability and to determine the modal and intrinsic attenuation characteristics, experiments were conducted in a carefully surveyed area in Nantucket Sound. A best-fit comparison between measured results and calculated results, while varying attenuation parameters, revealed the estimated power law exponent to be 1.87 between 220.5 and 1228 Hz. These results demonstrate the utility of this new cost effective and accurate measurement system. The sound transmission results, when compared with calculations based on the modified Biot theory, are shown to explain the observed frequency dependence.

Mermera: Non-Coherent Distributed Shared Memory for Parallel Computing

The proliferation of inexpensive workstations and networks has prompted several researchers to use such distributed systems for parallel computing. Attempts have been made to offer a shared-memory programming model on such distributed memory computers. Most systems provide a shared-memory that is coherent in that all processes that use it agree on the order of all memory events. This dissertation explores the possibility of a significant improvement in the performance of some applications when they use non-coherent memory. First, a new formal model to describe existing non-coherent memories is developed. I use this model to prove that certain problems can be solved using asynchronous iterative algorithms on shared-memory in which the coherence constraints are substantially relaxed. In the course of the development of the model I discovered a new type of non-coherent behavior called Local Consistency. Second, a programming model, Mermera, is proposed. It provides programmers with a choice of hierarchically related non-coherent behaviors along with one coherent behavior. Thus, one can trade-off the ease of programming with coherent memory for improved performance with non-coherent memory. As an example, I present a program to solve a linear system of equations using an asynchronous iterative algorithm. This program uses all the behaviors offered by Mermera. Third, I describe the implementation of Mermera on a BBN Butterfly TC2000 and on a network of workstations. The performance of a version of the equation solving program that uses all the behaviors of Mermera is compared with that of a version that uses coherent behavior only. For a system of 1000 equations the former exhibits at least a 5-fold improvement in convergence time over the latter. The version using coherent behavior only does not benefit from employing more than one workstation to solve the problem while the program using non-coherent behavior continues to achieve improved performance as the number of workstations is increased from 1 to 6. This measurement corroborates our belief that non-coherent shared memory can be a performance boon for some applications.

New Notions of Reduction and Non-Semantic Proofs of β-Strong Normalization in Typed λ-Calculi

Two new notions of reduction for terms of the λ-calculus are introduced and the question of whether a λ-term is beta-strongly normalizing is reduced to the question of whether a λ-term is merely normalizing under one of the new notions of reduction. This leads to a new way to prove beta-strong normalization for typed λ-calculi. Instead of the usual semantic proof style based on Girard's "candidats de réductibilité'', termination can be proved using a decreasing metric over a well-founded ordering in a style more common in the field of term rewriting. This new proof method is applied to the simply-typed λ-calculus and the system of intersection types.