New directions in sparse sampling and estimation for underdetermined systems

A central objective in signal processing is to infer meaningful information from a set of measurements or data. While most signal models have an overdetermined structure (the number of unknowns less than the number of equations), traditionally very few statistical estimation problems have considered a data model which is underdetermined (number of unknowns more than the number of equations). However, in recent times, an explosion of theoretical and computational methods have been developed primarily to study underdetermined systems by imposing sparsity on the unknown variables. This is motivated by the observation that inspite of the huge volume of data that arises in sensor networks, genomics, imaging, particle physics, web search etc., their information content is often much smaller compared to the number of raw measurements. This has given rise to the possibility of reducing the number of measurements by down sampling the data, which automatically gives rise to underdetermined systems.

In this thesis, we provide new directions for estimation in an underdetermined system, both for a class of parameter estimation problems and also for the problem of sparse recovery in compressive sensing. There are two main contributions of the thesis: design of new sampling and statistical estimation algorithms for array processing, and development of improved guarantees for sparse reconstruction by introducing a statistical framework to the recovery problem.

We consider underdetermined observation models in array processing where the number of unknown sources simultaneously received by the array can be considerably larger than the number of physical sensors. We study new sparse spatial sampling schemes (array geometries) as well as propose new recovery algorithms that can exploit priors on the unknown signals and unambiguously identify all the sources. The proposed sampling structure is generic enough to be extended to multiple dimensions as well as to exploit different kinds of priors in the model such as correlation, higher order moments, etc.

Recognizing the role of correlation priors and suitable sampling schemes for underdetermined estimation in array processing, we introduce a correlation aware framework for recovering sparse support in compressive sensing. We show that it is possible to strictly increase the size of the recoverable sparse support using this framework provided the measurement matrix is suitably designed. The proposed nested and coprime arrays are shown to be appropriate candidates in this regard. We also provide new guarantees for convex and greedy formulations of the support recovery problem and demonstrate that it is possible to strictly improve upon existing guarantees.

This new paradigm of underdetermined estimation that explicitly establishes the fundamental interplay between sampling, statistical priors and the underlying sparsity, leads to exciting future research directions in a variety of application areas, and also gives rise to new questions that can lead to stand-alone theoretical results in their own right.

Bright-field and fluorescence chip-scale microscopy for biological imaging

Optical microscopy is an essential tool in biological science and one of the gold standards for medical examinations. Miniaturization of microscopes can be a crucial stepping stone towards realizing compact, cost-effective and portable platforms for biomedical research and healthcare. This thesis reports on implementations of bright-field and fluorescence chip-scale microscopes for a variety of biological imaging applications. The term “chip-scale microscopy” refers to lensless imaging techniques realized in the form of mass-producible semiconductor devices, which transforms the fundamental design of optical microscopes.

Our strategy for chip-scale microscopy involves utilization of low-cost Complementary metal Oxide Semiconductor (CMOS) image sensors, computational image processing and micro-fabricated structural components. First, the sub-pixel resolving optofluidic microscope (SROFM), will be presented, which combines microfluidics and pixel super-resolution image reconstruction to perform high-throughput imaging of fluidic samples, such as blood cells. We discuss design parameters and construction of the device, as well as the resulting images and the resolution of the device, which was 0.66 µm at the highest acuity. The potential applications of SROFM for clinical diagnosis of malaria in the resource-limited settings is discussed.

Next, the implementations of ePetri, a self-imaging Petri dish platform with microscopy resolution, are presented. Here, we simply place the sample of interest on the surface of the image sensor and capture the direct shadow images under the illumination. By taking advantage of the inherent motion of the microorganisms, we achieve high resolution (~1 µm) imaging and long term culture of motile microorganisms over ultra large field-of-view (5.7 mm × 4.4 mm) in a specialized ePetri platform. We apply the pixel super-resolution reconstruction to a set of low-resolution shadow images of the microorganisms as they move across the sensing area of an image sensor chip and render an improved resolution image. We perform longitudinal study of Euglena gracilis cultured in an ePetri platform and image based analysis on the motion and morphology of the cells. The ePetri device for imaging non-motile cells are also demonstrated, by using the sweeping illumination of a light emitting diode (LED) matrix for pixel super-resolution reconstruction of sub-pixel shifted shadow images. Using this prototype device, we demonstrate the detection of waterborne parasites for the effective diagnosis of enteric parasite infection in resource-limited settings.

Then, we demonstrate the adaptation of a smartphone’s camera to function as a compact lensless microscope, which uses ambient illumination as its light source and does not require the incorporation of a dedicated light source. The method is also based on the image reconstruction with sweeping illumination technique, where the sequence of images are captured while the user is manually tilting the device around any ambient light source, such as the sun or a lamp. Image acquisition and reconstruction is performed on the device using a custom-built android application, constructing a stand-alone imaging device for field applications. We discuss the construction of the device using a commercial smartphone and demonstrate the imaging capabilities of our system.

Finally, we report on the implementation of fluorescence chip-scale microscope, based on a silo-filter structure fabricated on the pixel array of a CMOS image sensor. The extruded pixel design with metal walls between neighboring pixels successfully guides fluorescence emission through the thick absorptive filter to the photodiode layer of a pixel. Our silo-filter CMOS image sensor prototype achieves 13-µm resolution for fluorescence imaging over a wide field-of-view (4.8 mm × 4.4 mm). Here, we demonstrate bright-field and fluorescence longitudinal imaging of living cells in a compact, low-cost configuration.

Aquaculture, fisheries, poverty and food security

Fisheries and aquaculture play important roles in providing food and income in many developing countries, either as a stand-alone activity or in association with crop agriculture and livestock rearing. The aim of this paper is to identify how these contributions of fisheries and aquaculture to poverty reduction and food security can be enhanced while also addressing the need for a sustainability transition in over-exploited and over-capitalized capture fisheries, and for improved environmental performance and distributive justice in a rapidly growing aquaculture sector. The focus of the paper is on the poverty and food security concerns of developing countries, with an emphasis on the least developed. The emphasis is on food security rather than poverty reduction policies and strategies, although the two are of course related. The food security agenda is very much to the fore at present; fish prices rose along with other food prices in 2007-8 and as fish provide important nutritional benefits to the poor, food security has become a primary concern for sector policy.

Cada pena a seu tempo: o monitoramento eletrônico como sanção no Direito Penal brasileiro

A presente tese tem por objetivo central investigar a legitimidade da adoção do monitoramento eletrônico como sanção autônoma no sistema de justiça penal brasileiro. Para tanto, parte-se da perspectiva do controle social formal no contexto das sociedades tecnológicas e de riscos, no qual a prisão e o monitoramento estão inseridos, e traça-se um paralelo entre as sanções penais adotadas ao longo do desenvolvimento do Direito Penal e a evolução da sociedade. Enfocando o instituto do monitoramento eletrônico de presos, a tese aborda seu conceito, origens, espécies, evolução tecnológica, finalidades, modelos e aspectos constitucionais, tanto no Brasil, como em outros países. A partir de uma análise crítica de seu tratamento normativo, a nível federal e estadual, formulam-se proposições com o objetivo de preservar os direitos individuais dos monitorados, garantindo-se a idoneidade do sistema de monitoramento eletrônico como espécie de sanção penal, em harmonia com as finalidades preventiva e retributiva da pena, mas sem se descurar da sua potencialidade como instrumento de redução da superpopulação carcerária brasileira.

Announcing the release of FishBase 96

FishBase is a computerized encyclopedia of fishes developed at International Center for Living Aquatic Resources Management (ICLARM) with the support of the European Commission and in collaboration with a large number of institutions throughout the world, notably FAO, and available since 1995 as CD-ROM. Major improvements since version 1.2 have now allowed for the release of FishBase 96, whose name indicates the intention to update FishBase annually. Some of the major improvements of FishBase 96 are: (a) 3,000 more species (total 15,000) and 3,000 more pictures (total 9,000); (b) complete marine checklists for 48 countries, and freshwater checklists for 60 countries; (c) a new user module to document local knowledge of fishes; (d) a stand-alone glossary defining 2,500 ichthyological and related terms; (e) new databases on brain weights (from R. Beauchot and colleagues at the University of Paris VII), on ciguatera (from P. Dalzell, South Pacific Commission, Noumea), and on recruitment (from R.A. Myers and colleagues at the Department of Fisheries and Oceans, St. John's); and (f) new graphs to display quantitative data: through time series, pie charts and bivariate plots. As before, FishBase is available free to collaborators, for US$50 as update to registered users of previous versions, and for US$95 for new users.

Estudo Comparativo de Controladores Fuzzy Aplicados a um Sistema Solar Fotovoltaico.

Neste trabalho apresenta-se o modelo de um controlador baseado em Lógica Fuzzy para um sistema de energia baseado em fonte renovável solar fotovoltaica (photovoltaic - PV) multi-string em operação isolada, para o aproveitamento da máxima potência desta fonte. O sistema é composto por painéis solares, conversor CC-CC tipo elevador de tensão (boost), armazenamento por banco de baterias, inversor trifásico e carga trifásica variável. O sistema fotovoltaico foi modelado no MATLAB/Simulink de forma a representar a curva característica V-I do módulo PV, e que é baseado nos dados disponíveis em data-sheets de painéis fotovoltaicos comerciais. Outros estudos de natureza elétrica tais como o cálculo dos valores eficazes das correntes no conversor CC-CC, para avaliação das perdas, indispensáveis para o dimensionamento de componentes eletrônicos, foram realizados. O método tradicional Perturb and Observe de rastreamento do ponto de máxima potência (Maximum Power Point Tracking MPPT) de painéis foi testado e comparado com métodos que usam a Lógica Fuzzy. Devido ao seu desempenho, foi adotado o método Fuzzy que realiza o MPPT por inferência do ciclo de trabalho de um modulador por largura de pulso (Pulse Width Modulation - PWM) através da variação da potência pela variação da corrente do painel solar. O modelo Fuzzy adotado neste trabalho foi testado com sucesso. Os resultados mostraram que ele pode ser robusto e atende à aplicação proposta. Segundo alguns testes realizados, este controlador pode realizar o MPPT de um sistema PV na configuração multi-string onde alguns arranjos fotovoltaicos são usados. Inclusive, este controle pode ser facilmente adaptado para realizar o MPPT de outras fontes de energia baseados no mesmo princípio de controle, como é o caso do aerogerador.

Species management in aquatic habitats WRc RD Interim 1997

This is the Species management in aquatic Habitats WRc Interim 1997 document produced by the Environment Agency in 1997. This document reports progress on R&D Project 640, which aims to provide information on species of conservation value of particular relevance to the Environment Agency, in relation to its activities affecting aquatic environments. A range of stand-alone outputs is being produced, comprising Species Action Plans, practical management guidelines for Agency staff and third parties, and various research outputs to improve the knowledge base on the status and ecological requirements of priority species. The species of conservation values are: water shrew, daubenton’s bat, Kingfisher, yellow wagtail, Grey wagtail, sand martin, reed bunting, dipper, marsh warbler, great crested new, spined loach, brook lamprey, river lamprey, sea lamprey, shining rams-horn snail, little whirlpool rams-horn snail, depressed river mussel, a freshwater pea mussel, native crayfish, and triangular club-rush. The process of species selection was altered during the course of the project by the report on biodiversity by the UK Biodiversity Steering Group (1995). Whilst still including species that were not particularly endangered but were greatly influenced by the activities of the Agency, the project addressed species on the ‘short’ and ‘middle’ priority lists of the Biodiversity report, particularly those for which the Agency had specific responsibilities.

Rain igestion in axial flow compressors at part speed

New experimental work is reported on the effects of water ingestion on the performance of an axial flow compressor. The background to the work is the effect that heavy rain has on an aeroengine compressor when operating in a "descent idle" mode, i.e., when the compressor is operating at part speed and when the aeromechanical effects of water ingestion are more important than the thermodynamic effects. Most of our existing knowledge in this field comes from whole engine tests. The current work provides the first known results from direct measurements on a stand-alone compressor. The influence of droplet size on path trajectory is considered both computationally and experimentally to show that most rain droplets will collide with the first row of rotor blades. The water on the blades is then centrifuged toward the casing where the normal airflow patterns in the vicinity of the rotor tips are disrupted. The result of this disruption is a reduction in compressor delivery pressure and an increase in the torque required to keep the compressor speed constant. Both effects reduce the efficiency of the machine. The behavior of the water in the blade rows is examined in detail, and simple models are proposed to explain the loss of pressure rise and the increase in torque. The measurements were obtained in a low speed compressor, making it possible to study the mechanical (increase in torque) and aerodynamic (reduction in pressure rise) effects of water ingestion without the added complication of thermodynamic effects. Copyright © 2008 by ASME.

A bottom-up energy analysis across a diverse urban building portfolio: Retrofits for the buildings at the Royal Botanic Gardens, Kew, UK

A methodology for the analysis of building energy retrofits has been developed for a diverse set of buildings at the Royal Botanic Gardens (RBG), Kew in southwest London, UK. The methodology requires selection of appropriate building simulation tools dependent on the nature of the principal energy demand. This has involved the development of a stand-alone model to simulate the heat flow in botanical glasshouses, as well as stochastic simulation of electricity demand for buildings with high equipment density and occupancy-led operation. Application of the methodology to the buildings at RBG Kew illustrates the potential reduction in energy consumption at the building scale achievable from the application of retrofit measures deemed appropriate for heritage buildings and the potential benefit to be gained from onsite generation and supply of energy. © 2014 Elsevier Ltd.

MOLDAS II 数据获取系统的改进

MOLDAS II 是基于PDP11/44的全汇编STAND-ALONE数据获取系统，它采用硬件排零，乒乒缓冲，DMA方式传输数据，针对原系统的缺点，我对它进行了很大的改进，以DR11-W DMA控制器及其自行设计的DR11接口替换了原来的3920-2920，以TC13磁带机系统替代了原来的TM11系统，重新编写了获取程序，使系统性能大大提高

Spinoza on method and freedom

The thesis as a whole argues that Spinoza’s Ethics in both method and content is aimed at the normal, partly rational person. Chapter 1 is on Spinoza’s writing style, finding that rather than being arid and technical, it aims to convince the reader by means of various rhetorical techniques, so does not assume an already rational reader. The following chapters of Part 1 examine whether the Ethics’ use of the synthetic geometric method exposes it to Descartes’ critique of that method in the “Second Replies” to his Meditations, that it is not suitable for pedagogy. This involves a consideration of the role of the TIE, finding in that early text not the analytic wing of a two-part analytic-synthetic method, but rather a defence and necessitation of a stand-alone synthetic method. Part 2 of the thesis develops this study of Spinoza’s writing for the common man to consider whether he is writing about the common man. This is done by examining one of the seemingly most abstract propositions in the Ethics, 4P72, which claims that a free man will not deceive even to save his own life. The study examines who exactly is this “free man” and what is his role in the Ethics. The study looks at the examples of free men in the TTP and at the concept of the model in the Ethics, and finds that rather than the free man being an impossible ideal which we can aim at but never achieve, everyone is free to some extent, and that even normal people are at times “the free man”.

permGPU: Using graphics processing units in RNA microarray association studies.

BACKGROUND: Many analyses of microarray association studies involve permutation, bootstrap resampling and cross-validation, that are ideally formulated as embarrassingly parallel computing problems. Given that these analyses are computationally intensive, scalable approaches that can take advantage of multi-core processor systems need to be developed. RESULTS: We have developed a CUDA based implementation, permGPU, that employs graphics processing units in microarray association studies. We illustrate the performance and applicability of permGPU within the context of permutation resampling for a number of test statistics. An extensive simulation study demonstrates a dramatic increase in performance when using permGPU on an NVIDIA GTX 280 card compared to an optimized C/C++ solution running on a conventional Linux server. CONCLUSIONS: permGPU is available as an open-source stand-alone application and as an extension package for the R statistical environment. It provides a dramatic increase in performance for permutation resampling analysis in the context of microarray association studies. The current version offers six test statistics for carrying out permutation resampling analyses for binary, quantitative and censored time-to-event traits.

Real-Time and Data-Driven Operation Optimization and Knowledge Discovery for an Enterprise Information System

An enterprise information system (EIS) is an integrated data-applications platform characterized by diverse, heterogeneous, and distributed data sources. For many enterprises, a number of business processes still depend heavily on static rule-based methods and extensive human expertise. Enterprises are faced with the need for optimizing operation scheduling, improving resource utilization, discovering useful knowledge, and making data-driven decisions.

This thesis research is focused on real-time optimization and knowledge discovery that addresses workflow optimization, resource allocation, as well as data-driven predictions of process-execution times, order fulfillment, and enterprise service-level performance. In contrast to prior work on data analytics techniques for enterprise performance optimization, the emphasis here is on realizing scalable and real-time enterprise intelligence based on a combination of heterogeneous system simulation, combinatorial optimization, machine-learning algorithms, and statistical methods.

On-demand digital-print service is a representative enterprise requiring a powerful EIS.We use real-life data from Reischling Press, Inc. (RPI), a digit-print-service provider (PSP), to evaluate our optimization algorithms.

In order to handle the increase in volume and diversity of demands, we first present a high-performance, scalable, and real-time production scheduling algorithm for production automation based on an incremental genetic algorithm (IGA). The objective of this algorithm is to optimize the order dispatching sequence and balance resource utilization. Compared to prior work, this solution is scalable for a high volume of orders and it provides fast scheduling solutions for orders that require complex fulfillment procedures. Experimental results highlight its potential benefit in reducing production inefficiencies and enhancing the productivity of an enterprise.

We next discuss analysis and prediction of different attributes involved in hierarchical components of an enterprise. We start from a study of the fundamental processes related to real-time prediction. Our process-execution time and process status prediction models integrate statistical methods with machine-learning algorithms. In addition to improved prediction accuracy compared to stand-alone machine-learning algorithms, it also performs a probabilistic estimation of the predicted status. An order generally consists of multiple series and parallel processes. We next introduce an order-fulfillment prediction model that combines advantages of multiple classification models by incorporating flexible decision-integration mechanisms. Experimental results show that adopting due dates recommended by the model can significantly reduce enterprise late-delivery ratio. Finally, we investigate service-level attributes that reflect the overall performance of an enterprise. We analyze and decompose time-series data into different components according to their hierarchical periodic nature, perform correlation analysis,

and develop univariate prediction models for each component as well as multivariate models for correlated components. Predictions for the original time series are aggregated from the predictions of its components. In addition to a significant increase in mid-term prediction accuracy, this distributed modeling strategy also improves short-term time-series prediction accuracy.

In summary, this thesis research has led to a set of characterization, optimization, and prediction tools for an EIS to derive insightful knowledge from data and use them as guidance for production management. It is expected to provide solutions for enterprises to increase reconfigurability, accomplish more automated procedures, and obtain data-driven recommendations or effective decisions.

Music for Three Stages: Performance Preparation for Opera, Operetta and Recital

Music for Three Stages: Performance Preparation for Opera, Operetta and Recital began as three stand-alone performances: two operas, Albert Herring and Die Fledermaus, as assigned by my opera program, and a recital of music by composers who wrote operas, art songs and non-operatic large-scale works, which I programmed. Upon starting the process of preparing for these three performances, I hypothesized that each would require unique preparation techniques. What I discovered, however, was that instead of each being unique and isolated in preparation, each performance, along with other performances that I had throughout the year, highly informed my approach to each piece. Through the preparation of program notes, included in this dissertation, as well as the musical preparation of each performance, I concluded that preparing for these performances was a long arc over the course of the year, with much give and take among the styles of music and an integrated style of preparation, instead of the individualized preparations that I expected.

Live discrimination of Calanus glacialis and C. finmarchicus females: can we trust phenological differences?

Two key players in the Arctic and subarctic marine ecosystem are the calanoid copepods, Calanus finmarchicus and C. glacialis. Although morphologically very similar, these sibling species have different life cycles and roles in the Arctic pelagic marine ecosystem. Considering that the distribution of C. glacialis corresponds to Arctic water masses and C. finmarchicus to Atlantic water masses, the species are frequently used as climate indicators. Consequently, correct identification of the two species is essential if we want to understand climate-impacted changes on Calanus-dominated marine ecosystems such as the Arctic. Here, we present a novel morphological character (redness) to distinguish live females of C. glacialis and C. finmarchicus and compare it to morphological (prosome length) and genetic identification. The characters are tested on 300 live females of C. glacialis and C. finmarchicus from Disko Bay, western Greenland. Our analysis confirms that length cannot be used as a stand-alone criterion for separation. The results based on the new morphological character were verified genetically using a single mitochondrial marker (16S) and nuclear loci (six microsatellites and 12 InDels). The pigmentation criterion was also used on individuals (n = 89) from Young Sound fjord, northeast Greenland to determine whether the technique was viable in different geographical locations. Genetic markers based on mitochondrial and nuclear loci were corroborative in their identification of individuals and revealed no hybrids. Molecular identification confirmed that live females of the two species from Greenlandic waters, both East and West, can easily be separated by the red pigmentation of the antenna and somites of C. glacialis in contrast to the pale opaque antenna and somites of C. finmarchicus, confirming that the pigmentation criterion is valid for separation of the two species