Rough sets, their extensions and applications

Q. Shen and R. Jensen, 'Rough sets, their extensions and applications,' International Journal of Automation and Computing (IJAC), vol. 4, no. 3, pp. 217-218, 2007.

Applications of finite element computer modelling and thermal infrared remote sensing to the study of geothermal anomalies

Buried heat sources can be investigated by examining thermal infrared images and comparing these with the results of theoretical models which predict the thermal anomaly a given heat source may generate. Key factors influencing surface temperature include the geometry and temperature of the heat source, the surface meteorological environment, and the thermal conductivity and anisotropy of the rock. In general, a geothermal heat flux of greater than 2% of solar insolation is required to produce a detectable thermal anomaly in a thermal infrared image. A heat source of, for example, 2-300K greater than the average surface temperature must be a t depth shallower than 50m for the detection of the anomaly in a thermal infrared image, for typical terrestrial conditions. Atmospheric factors are of critical importance. While the mean atmospheric temperature has little significance, the convection is a dominant factor, and can act to swamp the thermal signature entirely. Given a steady state heat source that produces a detectable thermal anomaly, it is possible to loosely constrain the physical properties of the heat source and surrounding rock, using the surface thermal anomaly as a basis. The success of this technique is highly dependent on the degree to which the physical properties of the host rock are known. Important parameters include the surface thermal properties and thermal conductivity of the rock. Modelling of transient thermal situations was carried out, to assess the effect of time dependant thermal fluxes. One-dimensional finite element models can be readily and accurately applied to the investigation of diurnal heat flow, as with thermal inertia models. Diurnal thermal models of environments on Earth, the Moon and Mars were carried out using finite elements and found to be consistent with published measurements. The heat flow from an injection of hot lava into a near surface lava tube was considered. While this approach was useful for study, and long term monitoring in inhospitable areas, it was found to have little hazard warning utility, as the time taken for the thermal energy to propagate to the surface in dry rock (several months) in very long. The resolution of the thermal infrared imaging system is an important factor. Presently available satellite based systems such as Landsat (resolution of 120m) are inadequate for detailed study of geothermal anomalies. Airborne systems, such as TIMS (variable resolution of 3-6m) are much more useful for discriminating small buried heat sources. Planned improvements in the resolution of satellite based systems will broaden the potential for application of the techniques developed in this thesis. It is important to note, however, that adequate spatial resolution is a necessary but not sufficient condition for successful application of these techniques.

Practical programming for static average-case analysis: the MOQA investigation

This work considers the static calculation of a program’s average-case time. The number of systems that currently tackle this research problem is quite small due to the difficulties inherent in average-case analysis. While each of these systems make a pertinent contribution, and are individually discussed in this work, only one of them forms the basis of this research. That particular system is known as MOQA. The MOQA system consists of the MOQA language and the MOQA static analysis tool. Its technique for statically determining average-case behaviour centres on maintaining strict control over both the data structure type and the labeling distribution. This research develops and evaluates the MOQA language implementation, and adds to the functions already available in this language. Furthermore, the theory that backs MOQA is generalised and the range of data structures for which the MOQA static analysis tool can determine average-case behaviour is increased. Also, some of the MOQA applications and extensions suggested in other works are logically examined here. For example, the accuracy of classifying the MOQA language as reversible is investigated, along with the feasibility of incorporating duplicate labels into the MOQA theory. Finally, the analyses that take place during the course of this research reveal some of the MOQA strengths and weaknesses. This thesis aims to be pragmatic when evaluating the current MOQA theory, the advancements set forth in the following work and the benefits of MOQA when compared to similar systems. Succinctly, this work’s significant expansion of the MOQA theory is accompanied by a realistic assessment of MOQA’s accomplishments and a serious deliberation of the opportunities available to MOQA in the future.

Mobile cloud application models facilitated by the CPA

This paper describes implementations of two mobile cloud applications, file synchronisation and intensive data processing, using the Context Aware Mobile Cloud Services middleware, and the Cloud Personal Assistant. Both are part of the same mobile cloud project, actively developed and currently at the second version. We describe recent changes to the middleware, along with our experimental results of the two application models. We discuss challenges faced during the development of the middleware and their implications. The paper includes performance analysis of the CPA support for the two applications in respect to existing solutions.

Managing dynamic competition

In many important high-technology markets, including software development, data processing, communications, aeronautics, and defense, suppliers learn through experience how to provide better service at lower cost. This paper examines how a buyer designs dynamic competition among rival suppliers to exploit learning economies while minimizing the costs of becoming locked in to one producer. Strategies for controlling dynamic competition include the handicapping of more efficient suppliers in procurement competitions, the protection and allocation of intellectual property, and the sharing of information among rival suppliers. (JEL C73, D44, L10).

Automatic segmentation of seven retinal layers in SDOCT images congruent with expert manual segmentation.

Segmentation of anatomical and pathological structures in ophthalmic images is crucial for the diagnosis and study of ocular diseases. However, manual segmentation is often a time-consuming and subjective process. This paper presents an automatic approach for segmenting retinal layers in Spectral Domain Optical Coherence Tomography images using graph theory and dynamic programming. Results show that this method accurately segments eight retinal layer boundaries in normal adult eyes more closely to an expert grader as compared to a second expert grader.

Determinación de distintos grados de erosión eólica mediante procesamiento automático de imagenes satelitales

p.193-198

The Russell Cycle. An update and review of trends in zooplankton and fish larvae off Plymouth 1924-2009. Occasional Publication of the Marine Biological Association 24

Regular plankton sampling off Plymouth by the Marine Biological Association (MBA) has been carried out from the early 1900s. Much of the sample analysis and description of the results was carried out by Sir Frederick Russell and Professor Alan Southward (AJS), the latter having completed the organisation and transfer of the paper records to digital files. The current authors have transferred the main data files of AJS on zooplankton and fish larvae to the MBA long-term database (including various editing and checking against original analysis records and published data) together with adding the data for 2002-2009. In this report the updated time-series are reviewed in the context of earlier work, particularly with respect to the Russell Cycle. It is not intended as an exhaustive analysis. Brief details of the sampling and comments on data processing are given in an appendix.

Operational monitoring and forecasting of bathing water quality through exploiting satellite Earth observation and models: The AlgaRisk demonstration service

Coastal zones and shelf-seas are important for tourism, commercial fishing and aquaculture. As a result the importance of good water quality within these regions to support life is recognised worldwide and a number of international directives for monitoring them now exist. This paper describes the AlgaRisk water quality monitoring demonstration service that was developed and operated for the UK Environment Agency in response to the microbiological monitoring needs within the revised European Union Bathing Waters Directive. The AlgaRisk approach used satellite Earth observation to provide a near-real time monitoring of microbiological water quality and a series of nested operational models (atmospheric and hydrodynamic-ecosystem) provided a forecast capability. For the period of the demonstration service (2008–2013) all monitoring and forecast datasets were processed in near-real time on a daily basis and disseminated through a dedicated web portal, with extracted data automatically emailed to agency staff. Near-real time data processing was achieved using a series of supercomputers and an Open Grid approach. The novel web portal and java-based viewer enabled users to visualise and interrogate current and historical data. The system description, the algorithms employed and example results focussing on a case study of an incidence of the harmful algal bloom Karenia mikimotoi are presented. Recommendations and the potential exploitation of web services for future water quality monitoring services are discussed.

High-Pressure Densities and Derived Thermodynamic Properties of Imidazolium-Based Ionic Liquids

This work addresses the experimental measurements of the pressure (0.10 <p/MPa <10.0) and temperature (293.15 <T/K <393.15) dependence of the density and derived thermodynamic properties, such as the isothermal compressibility, the isobaric expansivity, the thermal pressure coefficient, and the pressure dependence of the heat capacity of several imidazolium-based ionic liquids (ILs), namely, 1-butyl-3-methylimidazolium tetrafluoroborate, [bmim][BF4]; 3-methyl-1-octylimidazolium tetrafluoroborate, [omim][BF4]; 1-hexyl-3-methylimidazolium hexafluorophosphate, [hmim][PF6]; 3-methyl-1-octylimidazolium hexafluorophosphate, [omim][PF6]; 1-butyl-2,3-dimethylimidazolium hexafluorophosphate, [bmmim][PF6]; and 1-butyl-3-methylimidazolium trifluoromethansulfonate, [bmim][CF3SO3]. These ILs were chosen to provide an understanding of the influence of the cation alkyl chain length, the number of cation substitutions, and the anion influence on the properties under study. The influence of water content in the density was also studied for the most hydrophobic IL used, [omim][PF6]. A simple ideal-volume model was employed for the prediction of the imidazolium molar volumes at ambient conditions, which proved to agree well with the experimental results.

PVT Property Measurements for Some Aliphatic Esters from (298 to 393) K and up to 35 MPa

The results of PVT measurements of the liquid phase within the temperature range of (298 to 393) K and up to 35 MPa are presented for some aliphatic esters. Measurements were made by means of a vibrating-tube densimeter, model DMA 512P from Anton Parr. The calibration of the densimeter was performed with water and n-heptane as reference fluids. The experimental PVT data have been correlated by a Tait equation. This equation gives excellent results when used to predict the density of the esters using the method proposed by Thomson et al. (AIChE J. 1982, 28, 671-676). Isothermal compressibilities, isobaric expansivities, thermal pressure coefficients, and changes in the isobaric heat capacity have been calculated from the volumetric data.

P(rho)T Measurements of Imidazolium-Based Ionic Liquids

Experimental density measurements are reported, and the derived thermodynamic properties, such as the isothermal compressibility, the isobaric expansivity, and the thermal pressure coefficient are presented as Supporting Information for several imidazolium-based ionic liquids (ILs), namely, 1-ethyl-3-methyl-imidazolium bis(trifluoromethylsulfonyl)imide [C2mim][NTf2], 1-heptyl-3-methyl-imidazolium bis(trifluoromethylsulfonyl)imide [C7mim][NTf2], 1-octyl-3-methyl-imidazolium bis(trifluoromethylsulfonyl)imide [C8mim][NTf2], 1-ethyl-3-methyl-imidazolium tetrafluoroborate [C2mim][BF4], and 1-butyl-3-methyl-imidazolium tricyanomethane [C4mim][C(CN)3] in the pressure (0.10 <p/MPa <30.00) and temperature (293.15 <T/K <393.15) domains. These ILs were chosen to provide an understanding of the influence of the cation alkyl chain length and the anion influence on the properties under study. Experimental densities are correlated with the Tait equation with an average absolute deviation (AAD) less than 0.04 %. Experimental densities are in good agreement with the densities obtained by some recent predictive methods proposed in the literature.

Densities and Derived Thermodynamic Properties of Imidazolium-, Pyridinium-, Pyrrolidinium-, and Piperidinium-Based Ionic Liquids

In the present work, experimental density measurements are reported along with the derived thermodynamic properties, such as the isothermal compressibility (?T), the isobaric expansivity (ap), and the thermal pressure coefficient (?v) for imidazolium-, pyridinium-, pyrrolidinium-, and piperidinium-based ionic liquids (ILs), namely, 1-ethyl-3-methylimidazolium trifluoromethanesulfonate [C2mim][CF3SO3], 3-methyl-1-propylpyridinium bis(trifluoromethylsulfonyl)imide [C3mpy][NTf2], 1-methyl-1-propylpyrrolidinium bis(trifluoromethylsulfonyl)imide [C3mpyr][NTf2], 1-butyl-1-methylpyrrolidinium bis(trifluoromethylsulfonyl)imide [C4mpyr][NTf2], and 1-methyl-1-propylpiperidinium bis(trifluoromethylsulfonyl)imide [C3mpip][NTf2] in the pressure (0.10 <P/MPa <35.00) and temperature (293.15 <T/K <393.15) domains. These ILs were chosen to provide an understanding of the influence of the cation and anion on the properties under study. Experimental densities are correlated with the Tait equation with an average absolute relative deviation (AARD) better than 0.02 %. It is shown that experimental densities are in good agreement with the densities obtained by the predictive method previously proposed by us.