Generalized Derivations and Norm Equality in Normed Ideals

2000 Mathematics Subject Classification: 47A10, 47A12, 47A30, 47B10, 47B20, 47B37, 47B47, 47D50.

A coherent master equation for active mode locking in lasers

We present the derivation of a new master equation for active mode locking in lasers that fully takes into account the coherent effects of the light matter interaction through a peculiar adiabatic elimination technique. The coherent effects included in our model could be relevant to describe properly mode-locked semiconductor lasers where the standard Haus' Master Equation predictions show some discrepancy with respect to the experimental results and can be included in the modelling of other mode locking techniques too.

Performance optimisation of the MAC protocol with multiple contention slots in MIMO ad hoc networks

The multiple-input multiple-output (MIMO) technique can be used to improve the performance of ad hoc networks. Various medium access control (MAC) protocols with multiple contention slots have been proposed to exploit spatial multiplexing for increasing the transport throughput of MIMO ad hoc networks. However, the existence of multiple request-to-send/clear-to-send (RTS/CTS) contention slots represents a severe overhead that limits the improvement on transport throughput achieved by spatial multiplexing. In addition, when the number of contention slots is fixed, the efficiency of RTS/CTS contention is affected by the transmitting power of network nodes. In this study, a joint optimisation scheme on both transmitting power and contention slots number for maximising the transport throughput is presented. This includes the establishment of an analytical model of a simplified MAC protocol with multiple contention slots, the derivation of transport throughput as a function of both transmitting power and the number of contention slots, and the optimisation process based on the transport throughput formula derived. The analytical results obtained, verified by simulation, show that much higher transport throughput can be achieved using the joint optimisation scheme proposed, compared with the non-optimised cases and the results previously reported.

Statistical analysis and optimal classification of blood cell populations using Gaussian distributions

This dissertation develops a new figure of merit to measure the similarity (or dissimilarity) of Gaussian distributions through a novel concept that relates the Fisher distance to the percentage of data overlap. The derivations are expanded to provide a generalized mathematical platform for determining an optimal separating boundary of Gaussian distributions in multiple dimensions. Real-world data used for implementation and in carrying out feasibility studies were provided by Beckman-Coulter. It is noted that although the data used is flow cytometric in nature, the mathematics are general in their derivation to include other types of data as long as their statistical behavior approximate Gaussian distributions. ^ Because this new figure of merit is heavily based on the statistical nature of the data, a new filtering technique is introduced to accommodate for the accumulation process involved with histogram data. When data is accumulated into a frequency histogram, the data is inherently smoothed in a linear fashion, since an averaging effect is taking place as the histogram is generated. This new filtering scheme addresses data that is accumulated in the uneven resolution of the channels of the frequency histogram. ^ The qualitative interpretation of flow cytometric data is currently a time consuming and imprecise method for evaluating histogram data. This method offers a broader spectrum of capabilities in the analysis of histograms, since the figure of merit derived in this dissertation integrates within its mathematics both a measure of similarity and the percentage of overlap between the distributions under analysis. ^

An integrated framework for ensuring the quality of software design

Software development is an extremely complex process, during which human errors are introduced and result in faulty software systems. It is highly desirable and important that these errors can be prevented and detected as early as possible. Software architecture design is a high-level system description, which embodies many system features and properties that are eventually implemented in the final operational system. Therefore, methods for modeling and analyzing software architecture descriptions can help prevent and reveal human errors and thus improve software quality. Furthermore, if an analyzed software architecture description can be used to derive a partial software implementation, especially when the derivation can be automated, significant benefits can be gained with regard to both the system quality and productivity. This dissertation proposes a framework for an integrated analysis on both of the design and implementation. To ensure the desirable properties of the architecture model, we apply formal verification by using the model checking technique. To ensure the desirable properties of the implementation, we develop a methodology and the associated tool to translate an architecture specification into an implementation written in the combination of Arch-Java/Java/AspectJ programming languages. The translation is semi-automatic so that many manual programming errors can be prevented. Furthermore, the translation inserting monitoring code into the implementation such that runtime verification can be performed, this provides additional assurance for the quality of the implementation. Moreover, validations for the translations from architecture model to program are provided. Finally, several case studies are experimented and presented.

A study of branching fluid networks for enhancing the performance of thermal -fluid devices

Compact thermal-fluid systems are found in many industries from aerospace to microelectronics where a combination of small size, light weight, and high surface area to volume ratio fluid networks are necessary. These devices are typically designed with fluid networks consisting of many small parallel channels that effectively pack a large amount of heat transfer surface area in a very small volume but do so at the cost of increased pumping power requirements. ^ To offset this cost the use of a branching fluid network for the distribution of coolant within a heat sink is investigated. The goal of the branch design technique is to minimize the entropy generation associated with the combination of viscous dissipation and convection heat transfer experienced by the coolant in the heat sink while maintaining compact high heat transfer surface area to volume ratios. ^ The derivation of Murray's Law, originally developed to predict the geometry of physiological transport systems, is extended to heat sink designs which minimze entropy generation. Two heat sink designs at different scales are built, and tested experimentally and analytically. The first uses this new derivation of Murray's Law. The second uses a combination of Murray's Law and Constructal Theory. The results of the experiments were used to verify the analytical and numerical models. These models were then used to compare the performance of the heat sink with other compact high performance heat sink designs. The results showed that the techniques used to design branching fluid networks significantly improves the performance of active heat sinks. The design experience gained was then used to develop a set of geometric relations which optimize the heat transfer to pumping power ratio of a single cooling channel element. Each element can be connected together using a set of derived geometric guidelines which govern branch diameters and angles. The methodology can be used to design branching fluid networks which can fit any geometry. ^

Circumarctic wetland dataset based on ENVISAT ASAR Global Monitoring Mode with links to geotiff image and NetCDF files (2005-01 to 2011-12)

A circumpolar representative and consistent wetland map is required for a range of applications ranging from upscaling of carbon fluxes and pools to climate modelling and wildlife habitat assessment. Currently available data sets lack sufficient accuracy and/or thematic detail in many regions of the Arctic. Synthetic aperture radar (SAR) data from satellites have already been shown to be suitable for wetland mapping. Envisat Advanced SAR (ASAR) provides global medium-resolution data which are examined with particular focus on spatial wetness patterns in this study. It was found that winter minimum backscatter values as well as their differences to summer minimum values reflect vegetation physiognomy units of certain wetness regimes. Low winter backscatter values are mostly found in areas vegetated by plant communities typically for wet regions in the tundra biome, due to low roughness and low volume scattering caused by the predominant vegetation. Summer to winter difference backscatter values, which in contrast to the winter values depend almost solely on soil moisture content, show expected higher values for wet regions. While the approach using difference values would seem more reasonable in order to delineate wetness patterns considering its direct link to soil moisture, it was found that a classification of winter minimum backscatter values is more applicable in tundra regions due to its better separability into wetness classes. Previous approaches for wetland detection have investigated the impact of liquid water in the soil on backscatter conditions. In this study the absence of liquid water is utilized. Owing to a lack of comparable regional to circumpolar data with respect to thematic detail, a potential wetland map cannot directly be validated; however, one might claim the validity of such a product by comparison with vegetation maps, which hold some information on the wetness status of certain classes. It was shown that the Envisat ASAR-derived classes are related to wetland classes of conventional vegetation maps, indicating its applicability; 30% of the land area north of the treeline was identified as wetland while conventional maps recorded 1-7%.

Downwelling spectral irradiance as measured in different depths, remote sensing reflectance and phytoplankton pigment concentration during POLARSTERN cruises ANT-XXIV/1, ANT-XXIV/4, ANT-XXVI/4 and Maria S. Merian cruise MSM18/3

The composition and abundance of algal pigments provide information on phytoplankton community characteristics such as photoacclimation, overall biomass and taxonomic composition. In particular, pigments play a major role in photoprotection and in the light-driven part of photosynthesis. Most phytoplankton pigments can be measured by high-performance liquid chromatography (HPLC) techniques applied to filtered water samples. This method, as well as other laboratory analyses, is time consuming and therefore limits the number of samples that can be processed in a given time. In order to receive information on phytoplankton pigment composition with a higher temporal and spatial resolution, we have developed a method to assess pigment concentrations from continuous optical measurements. The method applies an empirical orthogonal function (EOF) analysis to remote-sensing reflectance data derived from ship-based hyperspectral underwater radiometry and from multispectral satellite data (using the Medium Resolution Imaging Spectrometer - MERIS - Polymer product developed by Steinmetz et al., 2011, doi:10.1364/OE.19.009783) measured in the Atlantic Ocean. Subsequently we developed multiple linear regression models with measured (collocated) pigment concentrations as the response variable and EOF loadings as predictor variables. The model results show that surface concentrations of a suite of pigments and pigment groups can be well predicted from the ship-based reflectance measurements, even when only a multispectral resolution is chosen (i.e., eight bands, similar to those used by MERIS). Based on the MERIS reflectance data, concentrations of total and monovinyl chlorophyll a and the groups of photoprotective and photosynthetic carotenoids can be predicted with high quality. As a demonstration of the utility of the approach, the fitted model based on satellite reflectance data as input was applied to 1 month of MERIS Polymer data to predict the concentration of those pigment groups for the whole eastern tropical Atlantic area. Bootstrapping explorations of cross-validation error indicate that the method can produce reliable predictions with relatively small data sets (e.g., < 50 collocated values of reflectance and pigment concentration). The method allows for the derivation of time series from continuous reflectance data of various pigment groups at various regions, which can be used to study variability and change of phytoplankton composition and photophysiology.

Norms of inner derivations for multiplier algebras of C ∗ -algebras and group C ∗ -algebras, II

Peer reviewed

Norms of inner derivations for multiplier algebras of C ∗ -algebras and group C ∗ -algebras, II

Peer reviewed

Practical 3D reconstruction based on photometric stereo

Photometric Stereo is a powerful image based 3D reconstruction technique that has recently been used to obtain very high quality reconstructions. However, in its classic form, Photometric Stereo suffers from two main limitations: Firstly, one needs to obtain images of the 3D scene under multiple different illuminations. As a result the 3D scene needs to remain static during illumination changes, which prohibits the reconstruction of deforming objects. Secondly, the images obtained must be from a single viewpoint. This leads to depth-map based 2.5 reconstructions, instead of full 3D surfaces. The aim of this Chapter is to show how these limitations can be alleviated, leading to the derivation of two practical 3D acquisition systems: The first one, based on the powerful Coloured Light Photometric Stereo method can be used to reconstruct moving objects such as cloth or human faces. The second, permits the complete 3D reconstruction of challenging objects such as porcelain vases. In addition to algorithmic details, the Chapter pays attention to practical issues such as setup calibration, detection and correction of self and cast shadows. We provide several evaluation experiments as well as reconstruction results. © 2010 Springer-Verlag Berlin Heidelberg.

La Interpretación de Enunciados y sus Consecuencias de Interfaz

En el presente trabajo, se analizan los factores que intervienen en la interpretación de enunciados asumiendo que, en tanto proceso, la interpretación supone la interacción de distintos sistemas modulares de la mente: La Facultad del Lenguaje (FdeL), y los sistemas sensorio-motriz (SM) y conceptual-intencional (CI). Este último incluye mecanismos para la elaboración de representaciones conceptuales (C) y mecanismos inferenciales involucrados más globalmente en la fijación de estados intencionales (I). Estos sistemas externos a la Facultad del Lenguaje imponen restricciones de manera tal que los núcleos de información que llegan a las interfaces sean legibles por los sistemas SM y CI (Chomsky, 1995-2008). En este sentido, entender la interpretación como proceso conlleva atender a la relación entre los aspectos puramente lingüísticos (sintaxis, semántica), los prosódicos, y los inferenciales (pragmática). En este trabajo, se busca comprender el funcionamiento de aquellos elementos del sistema lingüístico que propician la obtención de los supuestos necesarios para llevar a cabo ese proceso. ;Adoptando un paralelismo entre las categorías sintácticas y las semánticas postuladas en el relevantismo, se intenta dilucidar cómo actúa la variada evidencia lingüística que provee un H en la comunicación, de modo que un O puede arribar a alguna hipótesis del 'significado de H'. A partir del análisis de distintos enunciados, se explora el alcance de ese paralelismo y se llega a una caracterización tentativa del proceso de interpretación. Finalmente, siguiendo ideas de distintos autores, se propone concebir la interfaz FdeL-CI a partir de pares primitivos de información, que son relevantes a todos los sistemas cognitivos involucrados en la comunicación

La Interpretación de Enunciados y sus Consecuencias de Interfaz

En el presente trabajo, se analizan los factores que intervienen en la interpretación de enunciados asumiendo que, en tanto proceso, la interpretación supone la interacción de distintos sistemas modulares de la mente: La Facultad del Lenguaje (FdeL), y los sistemas sensorio-motriz (SM) y conceptual-intencional (CI). Este último incluye mecanismos para la elaboración de representaciones conceptuales (C) y mecanismos inferenciales involucrados más globalmente en la fijación de estados intencionales (I). Estos sistemas externos a la Facultad del Lenguaje imponen restricciones de manera tal que los núcleos de información que llegan a las interfaces sean legibles por los sistemas SM y CI (Chomsky, 1995-2008). En este sentido, entender la interpretación como proceso conlleva atender a la relación entre los aspectos puramente lingüísticos (sintaxis, semántica), los prosódicos, y los inferenciales (pragmática). En este trabajo, se busca comprender el funcionamiento de aquellos elementos del sistema lingüístico que propician la obtención de los supuestos necesarios para llevar a cabo ese proceso. ;Adoptando un paralelismo entre las categorías sintácticas y las semánticas postuladas en el relevantismo, se intenta dilucidar cómo actúa la variada evidencia lingüística que provee un H en la comunicación, de modo que un O puede arribar a alguna hipótesis del 'significado de H'. A partir del análisis de distintos enunciados, se explora el alcance de ese paralelismo y se llega a una caracterización tentativa del proceso de interpretación. Finalmente, siguiendo ideas de distintos autores, se propone concebir la interfaz FdeL-CI a partir de pares primitivos de información, que son relevantes a todos los sistemas cognitivos involucrados en la comunicación

La Interpretación de Enunciados y sus Consecuencias de Interfaz

En el presente trabajo, se analizan los factores que intervienen en la interpretación de enunciados asumiendo que, en tanto proceso, la interpretación supone la interacción de distintos sistemas modulares de la mente: La Facultad del Lenguaje (FdeL), y los sistemas sensorio-motriz (SM) y conceptual-intencional (CI). Este último incluye mecanismos para la elaboración de representaciones conceptuales (C) y mecanismos inferenciales involucrados más globalmente en la fijación de estados intencionales (I). Estos sistemas externos a la Facultad del Lenguaje imponen restricciones de manera tal que los núcleos de información que llegan a las interfaces sean legibles por los sistemas SM y CI (Chomsky, 1995-2008). En este sentido, entender la interpretación como proceso conlleva atender a la relación entre los aspectos puramente lingüísticos (sintaxis, semántica), los prosódicos, y los inferenciales (pragmática). En este trabajo, se busca comprender el funcionamiento de aquellos elementos del sistema lingüístico que propician la obtención de los supuestos necesarios para llevar a cabo ese proceso. ;Adoptando un paralelismo entre las categorías sintácticas y las semánticas postuladas en el relevantismo, se intenta dilucidar cómo actúa la variada evidencia lingüística que provee un H en la comunicación, de modo que un O puede arribar a alguna hipótesis del 'significado de H'. A partir del análisis de distintos enunciados, se explora el alcance de ese paralelismo y se llega a una caracterización tentativa del proceso de interpretación. Finalmente, siguiendo ideas de distintos autores, se propone concebir la interfaz FdeL-CI a partir de pares primitivos de información, que son relevantes a todos los sistemas cognitivos involucrados en la comunicación

(Table 2) Grain composition of sediments from ODP Hole 161-974B and from beach samples

Miocene to Pleistocene sand and sandstone were recovered at Ocean Drilling Program Site 974 in the Tyrrhenian Basin and Sites 976 and 977 in the Alboran Basin. Sand detrital modes were determined for 45 samples from these sites, as well as 10 samples of Spanish beach sand. At Site 974, the Pleistocene section includes a number of volcaniclastic (vitric ash) and terrigenous sand layers; the latter are heterogeneous and contain sedimentary and metamorphic lithic fragments. Submarine canyon and onshore drainage patterns suggest that the most likely source of this sediment is the Tiber River drainage basin in central Italy, where a Pleistocene volcanic field is superimposed on Apennine orogenic rocks. In contrast, the Miocene sand in Unit III at Site 974 may have been derived from local basement highs. The quartzolithic composition and preponderance of metamorphic and sedimentary lithic debris in sand samples from Unit II at Site 976, Unit I at Sites 977 and 978, and Unit I at Site 979 are consistent with derivation from metamorphic rocks and sedimentary cover sequences that crop out in the Betic Cordillera of southern Spain (976-978) and in the Rif of Northern Africa (979). The sedimentary to metamorphic lithic fragment ratios in these samples reflect the relative proportion of metamorphic and sedimentary rocks exposed in onshore source terranes. In contrast, the source of the few quartzose Pleistocene sands at Site 976 was likely the Flysch Trough Units that crop out near Gibraltar. The significant volcanic component in certain intervals at Sites 976 (upper Miocene) and 977 (lower Pliocene to Miocene) is consistent with widespread volcanic activity during basin inception and development. Mean sand detrital modes for sand subgroups from both the Alboran and Tyrrhenian Basin sites plot in the Recycled Orogenic and Magmatic Arc compositional fields of Dickinson et al. (1983, doi:10.1130/0016-7606(1983)94<222:PONAPS>2.0.CO;2), reflecting the hybrid tectonic histories of these basins.