Discontinuous solutions and boundary value problems for non-linearly elastic fibre-reinforced materials

En este trabajo se han analizado varios problemas en el contexto de la elasticidad no lineal basándose en modelos constitutivos representativos. En particular, se han analizado problemas relacionados con el fenómeno de perdida de estabilidad asociada con condiciones de contorno en el caso de material reforzados con fibras. Cada problema se ha formulado y se ha analizado por separado en diferentes capítulos. En primer lugar se ha mostrado el análisis del gradiente de deformación discontinuo para un material transversalmente isótropo, en particular, el modelo del material considerado consiste de una base neo-Hookeana isótropa incrustada con fibras de refuerzo direccional caracterizadas con un solo parámetro. La solución de este problema se vincula con instabilidades que dan lugar al mecanismo de fallo conocido como banda de cortante. La perdida de elipticidad de las ecuaciones diferenciales de equilibrio es una condición necesaria para que aparezca este tipo de soluciones y por tanto las inestabilidades asociadas. En segundo lugar se ha analizado una deformación combinada de extensión, inación y torsión de un tubo cilíndrico grueso donde se ha encontrado que la deformación citada anteriormente puede ser controlada solo para determinadas direcciones de las fibras refuerzo. Para entender el comportamiento elástico del tubo considerado se ha ilustrado numéricamente los resultados obtenidos para las direcciones admisibles de las fibras de refuerzo bajo la deformación considerada. En tercer lugar se ha estudiado el caso de un tubo cilíndrico grueso reforzado con dos familias de fibras sometido a cortante en la dirección azimutal para un modelo de refuerzo especial. En este problema se ha encontrado que las inestabilidades que aparecen en el material considerado están asociadas con lo que se llama soluciones múltiples de la ecuación diferencial de equilibrio. Se ha encontrado que el fenómeno de instabilidad ocurre en un estado de deformación previo al estado de deformación donde se pierde la elipticidad de la ecuación diferencial de equilibrio. También se ha demostrado que la condición de perdida de elipticidad y ^W=2 = 0 (la segunda derivada de la función de energía con respecto a la deformación) son dos condiciones necesarias para la existencia de soluciones múltiples. Finalmente, se ha analizado detalladamente en el contexto de elipticidad un problema de un tubo cilíndrico grueso sometido a una deformación combinada en las direcciones helicoidal, axial y radial para distintas geotermias de las fibras de refuerzo . In the present work four main problems have been addressed within the framework of non-linear elasticity based on representative constitutive models. Namely, problems related to the loss of stability phenomena associated with boundary value problems for fibre-reinforced materials. Each of the considered problems is formulated and analysed separately in different chapters. We first start with the analysis of discontinuous deformation gradients for a transversely isotropic material under plane deformation. In particular, the material model is an augmented neo-Hookean base with a simple unidirectional reinforcement characterised by a single parameter. The solution of this problem is related to material instabilities and it is associated with a shear band-type failure mode. The loss of ellipticity of the governing differential equations is a necessary condition for the existence of these material instabilities. The second problem involves a detailed analysis of the combined non-linear extension, inflation and torsion of a thick-walled circular cylindrical tube where it has been found that the aforementioned deformation is controllable only for certain preferred directions of transverse isotropy. Numerical results have been illustrated to understand the elastic behaviour of the tube for the admissible preferred directions under the considered deformation. The third problem deals with the analysis of a doubly fibre-reinforced thickwalled circular cylindrical tube undergoing pure azimuthal shear for a special class of the reinforcing model where multiple non-smooth solutions emerge. The associated instability phenomena are found to occur prior to the point where the nominal stress tensor changes monotonicity in a particular direction. It has been also shown that the loss of ellipticity condition that arises from the equilibrium equation and ^W=2 = 0 (the second derivative of the strain-energy function with respect to the deformation) are equivalent necessary conditions for the emergence of multiple solutions for the considered material. Finally, a detailed analysis in the basis of the loss of ellipticity of the governing differential equations for a combined helical, axial and radial elastic deformations of a fibre-reinforced circular cylindrical tube is carried out.

Bayesian scene analysis for multi-camera 3D tracking and camera positioning

Los sistemas de seguimiento mono-cámara han demostrado su notable capacidad para el análisis de trajectorias de objectos móviles y para monitorización de escenas de interés; sin embargo, tanto su robustez como sus posibilidades en cuanto a comprensión semántica de la escena están fuertemente limitadas por su naturaleza local y monocular, lo que los hace insuficientes para aplicaciones realistas de videovigilancia. El objetivo de esta tesis es la extensión de las posibilidades de los sistemas de seguimiento de objetos móviles para lograr un mayor grado de robustez y comprensión de la escena. La extensión propuesta se divide en dos direcciones separadas. La primera puede considerarse local, ya que está orientada a la mejora y enriquecimiento de las posiciones estimadas para los objetos móviles observados directamente por las cámaras del sistema; dicha extensión se logra mediante el desarrollo de un sistema multi-cámara de seguimiento 3D, capaz de proporcionar consistentemente las posiciones 3D de múltiples objetos a partir de las observaciones capturadas por un conjunto de sensores calibrados y con campos de visión solapados. La segunda extensión puede considerarse global, dado que su objetivo consiste en proporcionar un contexto global para relacionar las observaciones locales realizadas por una cámara con una escena de mucho mayor tamaño; para ello se propone un sistema automático de localización de cámaras basado en las trayectorias observadas de varios objetos móviles y en un mapa esquemático de la escena global monitorizada. Ambas líneas de investigación se tratan utilizando, como marco común, técnicas de estimación bayesiana: esta elección está justificada por la versatilidad y flexibilidad proporcionada por dicho marco estadístico, que permite la combinación natural de múltiples fuentes de información sobre los parámetros a estimar, así como un tratamiento riguroso de la incertidumbre asociada a las mismas mediante la inclusión de modelos de observación específicamente diseñados. Además, el marco seleccionado abre grandes posibilidades operacionales, puesto que permite la creación de diferentes métodos numéricos adaptados a las necesidades y características específicas de distintos problemas tratados. El sistema de seguimiento 3D con múltiples cámaras propuesto está específicamente diseñado para permitir descripciones esquemáticas de las medidas realizadas individualmente por cada una de las cámaras del sistema: esta elección de diseño, por tanto, no asume ningún algoritmo específico de detección o seguimiento 2D en ninguno de los sensores de la red, y hace que el sistema propuesto sea aplicable a redes reales de vigilancia con capacidades limitadas tanto en términos de procesamiento como de transmision. La combinación robusta de las observaciones capturadas individualmente por las cámaras, ruidosas, incompletas y probablemente contaminadas por falsas detecciones, se basa en un metodo de asociación bayesiana basado en geometría y color: los resultados de dicha asociación permiten el seguimiento 3D de los objetos de la escena mediante el uso de un filtro de partículas. El sistema de fusión de observaciones propuesto tiene, como principales características, una gran precisión en términos de localización 3D de objetos, y una destacable capacidad de recuperación tras eventuales errores debidos a un número insuficiente de datos de entrada. El sistema automático de localización de cámaras se basa en la observación de múltiples objetos móviles y un mapa esquemático de las áreas transitables del entorno monitorizado para inferir la posición absoluta de dicho sensor. Para este propósito, se propone un novedoso marco bayesiano que combina modelos dinámicos inducidos por el mapa en los objetos móviles presentes en la escena con las trayectorias observadas por la cámara, lo que representa un enfoque nunca utilizado en la literatura existente. El sistema de localización se divide en dos sub-tareas diferenciadas, debido a que cada una de estas tareas requiere del diseño de algoritmos específicos de muestreo para explotar en profundidad las características del marco desarrollado: por un lado, análisis de la ambigüedad del caso específicamente tratado y estimación aproximada de la localización de la cámara, y por otro, refinado de la localización de la cámara. El sistema completo, diseñado y probado para el caso específico de localización de cámaras en entornos de tráfico urbano, podría tener aplicación también en otros entornos y sensores de diferentes modalidades tras ciertas adaptaciones. ABSTRACT Mono-camera tracking systems have proved their capabilities for moving object trajectory analysis and scene monitoring, but their robustness and semantic possibilities are strongly limited by their local and monocular nature and are often insufficient for realistic surveillance applications. This thesis is aimed at extending the possibilities of moving object tracking systems to a higher level of scene understanding. The proposed extension comprises two separate directions. The first one is local, since is aimed at enriching the inferred positions of the moving objects within the area of the monitored scene directly covered by the cameras of the system; this task is achieved through the development of a multi-camera system for robust 3D tracking, able to provide 3D tracking information of multiple simultaneous moving objects from the observations reported by a set of calibrated cameras with semi-overlapping fields of view. The second extension is global, as is aimed at providing local observations performed within the field of view of one camera with a global context relating them to a much larger scene; to this end, an automatic camera positioning system relying only on observed object trajectories and a scene map is designed. The two lines of research in this thesis are addressed using Bayesian estimation as a general unifying framework. Its suitability for these two applications is justified by the flexibility and versatility of that stochastic framework, which allows the combination of multiple sources of information about the parameters to estimate in a natural and elegant way, addressing at the same time the uncertainty associated to those sources through the inclusion of models designed to this end. In addition, it opens multiple possibilities for the creation of different numerical methods for achieving satisfactory and efficient practical solutions to each addressed application. The proposed multi-camera 3D tracking method is specifically designed to work on schematic descriptions of the observations performed by each camera of the system: this choice allows the use of unspecific off-the-shelf 2D detection and/or tracking subsystems running independently at each sensor, and makes the proposal suitable for real surveillance networks with moderate computational and transmission capabilities. The robust combination of such noisy, incomplete and possibly unreliable schematic descriptors relies on a Bayesian association method, based on geometry and color, whose results allow the tracking of the targets in the scene with a particle filter. The main features exhibited by the proposal are, first, a remarkable accuracy in terms of target 3D positioning, and second, a great recovery ability after tracking losses due to insufficient input data. The proposed system for visual-based camera self-positioning uses the observations of moving objects and a schematic map of the passable areas of the environment to infer the absolute sensor position. To this end, a new Bayesian framework combining trajectory observations and map-induced dynamic models for moving objects is designed, which represents an approach to camera positioning never addressed before in the literature. This task is divided into two different sub-tasks, setting ambiguity analysis and approximate position estimation, on the one hand, and position refining, on the other, since they require the design of specific sampling algorithms to correctly exploit the discriminative features of the developed framework. This system, designed for camera positioning and demonstrated in urban traffic environments, can also be applied to different environments and sensors of other modalities after certain required adaptations.

Optimization methods for the operating room management under uncertainty: stochastic programming vs. decomposition approach

The operating theatres are the engine of the hospitals; proper management of the operating rooms and its staff represents a great challenge for managers and its results impact directly in the budget of the hospital. This work presents a MILP model for the efficient schedule of multiple surgeries in Operating Rooms (ORs) during a working day. This model considers multiple surgeons and ORs and different types of surgeries. Stochastic strategies are also implemented for taking into account the uncertain in surgery durations (pre-incision, incision, post-incision times). In addition, a heuristic-based methods and a MILP decomposition approach is proposed for solving large-scale ORs scheduling problems in computational efficient way. All these computer-aided strategies has been implemented in AIMMS, as an advanced modeling and optimization software, developing a user friendly solution tool for the operating room management under uncertainty.

Networked Utopia : the Architecture and Urbanism of the Bata Shoe Company Satellite Cities = Utopia en red : arquitectura y urbanismo en las ciudades satélite de la Bata Shoe Company, 1930 al presente

From its humble beginnings as a small workshop established by Tomáš Baťa in 1874, the Bata Shoe Company became a gigantic concern in the 1920s, built on the principles of scientific management and welfare capitalism. The growth of the company engulfed Zlín (in today’s Czech Republic), its hometown, and transformed it into a modern industrial garden city satisfying the needs of both a growing industrial population, and those of the company itself. As a reaction to the aftermath of the crisis of 1929, the enterprise began a strategy of decentralization and international expansion characterized by the design and construction of a series of modern industrial towns that replicated the model of Zlín around the globe. This study is an exhaustive survey of these cities, their rationale, design, and their postindustrial conditions; it is a comparative work that has used field trips, photography, interviews, and archival material to explain the logics behind Bata’s project, to document the design and implementation of the model to multiple contexts and geographies, and to evaluate of the urban legacy of this undertaking. Finally, the research explores the question of what can the design disciplines, and other parties involved, learn from a full synthesis on the history and urbanism of the Bata satellite cities with regard to the re-imagination and sustainability of contemporary industry-sponsored interventions in developing geographies. RESUMEN Con origen en un humilde y pequeño taller fundado en 1874 por Tomáš Baťa, la Bata Shoe Company creció hasta convertirse en una gigantesca empresa en los anos 20, fundada en principios de control científico de la producción y capitalismo de bienestar. El crecimiento de la compañía se extendió por Zlín (en la actual República Checa), su pueblo de nacimiento, y la transformó en una moderna ciudad jardín industrial capaz de satisfacer las necesidades tanto de una población en alza como de la propia empresa. Como reacción a la crisis de 1929, Bata inició una estrategia de descentralización y expansión internacional caracterizada por el proyecto y construcción de modernas ciudades industriales que replicaron el modelo de Zlín por el mundo. Esta tesis es un estudio exhaustivo de estas ciudades: las razones detrás del proyecto, su diseño, y su condición post-industrial; es un estudio comparativo que se ha servido de trabajo de campo, documentación fotográfica, entrevistas y materiales de archivo para explicar la lógica detrás del proyecto de Bata, documentar el diseño e implementación de tal modelo en múltiples contextos y geografías, y valorar el legado urbano de esta empresa. Finalmente, la investigación evalúa qué podrían aprender las disciplinas del diseño y otras partes implicadas de una síntesis completa de la historia y el urbanismo de las ciudades satélite de Bata, en lo relativo a la reinvención y sostenibilidad de proyectos contemporáneos de la industria en geografías en desarrollo.

Projeto e desenvolvimento de uma arquitetura de baixo consumo de potência para microprocessadores.

O trabalho trata do projeto e do desenvolvimento de um processador de baixo consumo de potência, de forma simplificada, explorando técnicas de microarquitetura, para atingir menor consumo de potência. É apresentada uma sequência lógica de desenvolvimento, a partir de conceitos e estruturas básicas, até chegar a estruturas mais complexas e, por fim, mostrar a microarquitetura completa do processador. Esse novo modelo de processador é comparado com estudos prévios de três processadores, sendo o primeiro modelo síncrono, o segundo assíncrono e o terceiro uma versão melhorada do primeiro modelo, que inclui minimizações de registradores e circuitos. Uma nova metodologia de criação de padring de microcontroladores, baseada em reuso de informações de projetos anteriores, é apresentada. Essa nova metodologia foi criada para a rápida prototipagem e para diminuir possíveis erros na geração do código do padring. Comparações de resultados de consumo de potência e área são apresentadas para o processador desenvolvido e resultados obtidos com a nova metodologia de geração de padring também são apresentados. Para o processador, um modelo, no qual se utilizam múltiplos barramentos para minimizar o número de ciclos de máquina por instrução, é apresentado. Também foram ressaltadas estruturas que podem ser otimizadas e circuitos que podem ser reaproveitados para diminuir a quantidade de circuito necessário na implementação. Por fim, a nova implementação é comparada com os três modelos anteriores; os ganhos obtidos de desempenho com a implementação dessas estruturas foram de 18% que, convertidos em consumo de potência, representam economia de 13% em relação ao melhor caso dos processadores comparados. A tecnologia utilizada no desenvolvimento dos processadores foi CMOS 250nm da TSMC.

Proposta de modelo multicritérios para análise de investimentos em refinarias de petróleo no Brasil.

O processo de tomada de decisão que envolve a priorização e a seleção de projetos de investimentos na indústria do petróleo está longe de ser uma tarefa trivial. Ao mesmo tempo em que a empresa deve buscar relações favoráveis entre risco e retorno econômico-financeiro também deve se alinhar cada vez mais aos princípios do desenvolvimento sustentável em seus negócios. Em se tratando do caso da indústria petrolífera brasileira, formada essencialmente por um monopólio estatal, esta tarefa se torna ainda mais difícil, já que uma série de interesses públicos relacionados ao investimento também devem ser considerados. Sendo assim, o objetivo principal desta pesquisa foi o desenvolvimento e a aplicação de um modelo original de análise usando múltiplos critérios que auxiliasse na priorização e na seleção de projetos de investimentos nas refinarias de petróleo brasileiras. Utilizou-se uma metodologia de pesquisa quantitativa com o uso de diversos artefatos de matemática aplicada capazes de lidar adequadamente com as avaliações muitas vezes incompletas e subjetivas que caracterizam o problema da análise de investimentos em refinarias de petróleo. Ao final do trabalho, conseguiu-se obter um modelo suficientemente simples, ao ponto de ser facilmente implementado em uma planilha eletrônica, robusto, ao ser capaz de lidar de maneira bastante adequada com as principais peculiaridades que envolvem o setor do refino de petróleo no Brasil e flexível, de maneira que os critérios de análise e as alternativas de decisão pudessem ser facilmente adicionados, removidos ou alterados de acordo com as necessidades específicas exigidas para cada caso.

Formação do preço da energia convencional nas transações entre agentes no mercado de curto prazo brasileiro.

Hoje no mercado brasileiro de eletricidade, o preço da energia convencional é composto pela soma do valor do Preço de Liquidação das Diferenças (PLD) divulgado pela Câmara de Comercialização de Energia Elétrica (CCEE) semanalmente com o valor do Spread negociado bilateralmente no mercado à vista (mercado de curto prazo), resultante do equilíbrio entre oferta e demanda. Em alguns momentos, o valor do Spread chega a representar mais de 100% do custo total da energia. Este trabalho faz uma análise do mercado brasileiro, bem como, de alguns mercados no exterior de energia elétrica e destaca os pontos que tem influência direta, na formação do Spread da energia convencional e como isso afeta a decisão de contratação dos agentes. Além disso, o trabalho busca encontrar correlações entre dados divulgados, como carga e oferta de energia, com o ágio negociado no mercado de curto prazo, buscando entender o real impacto de cada um desses fatores e explicar as grandes variações já observadas. Sugere-se também um modelo de regressão linear múltipla para a projeção de valores do ágio. Para tanto, foram utilizadas informações proveniente de um banco de dados de cotações de negócios efetivamente realizados no curto prazo desde janeiro de 2011 até julho de 2014, bem como informações retiradas da CCEE e Operador Nacional do Sistema (ONS).

Postmortem/postpartum : the intersection between fertility and Mochican ancestral power

With no written record, the religious beliefs of the Pre-Columbian Mochica civilization are much of a mystery. This paper attempts to decipher the position of the deceased Mochicans, also known as ancestors, within the society as a whole. It discusses the ways in which we can use multiple sources of information, archaeological, iconographic, ethnohistoric and ethnographic to learn about the various aspects of Mochican culture. Specifically I will use these methods for collecting data to examine at how the Mochica viewed their deceased and to argue that part of the Mochica religious system granted their dead a supernatural ability to control human and agricultural fertility. This power would give Mochican ancestors a significant place within the society.

A Human Resource Training Program for Cross-Border Mergers and Acquisitions

Cross-border mergers and acquisitions (M&A) have increased in the twenty-first century; however, the majority of cross-border mergers fail to achieve their financial objectives. Nonetheless, the number of merger failures has not stopped organizations from undertaking mergers. There are multiple sources and types of conflict associated with merger failure, which can all be traced back to the facts that human resource departments have not been utilized effectively and that there has been a lack of planning during the M&A process. Thus, this capstone proposes a training program as a reference for human resource departments to apply best practices for planning, training, and evaluating during the process of M&As, which will help potentially alleviate conflicts during the merger period.

The Big BIM battle: BIM adoption in the UK for large and small companies

As BIM adoption continues, the goal of a totally collaborative model with multiple contributors is attainable. Many initiatives such as the 2016 UK government level 2 BIM deadline are putting pressure on the construction industry to speed up the changeover. Clients and collaborators have higher expectations of using digital 3D models to communicate design ideas and solve practical problems. Contractors and clients are benefitting from cost saving scheduling and clash detection offered by BIM. Effective collaboration on the project will also give speed and efficiency gains. Despite this, many businesses of varying sizes are still having problems. The cost of the software and the training provides an obvious barrier for micro-enterprises and could explain a delay in adoption. Many studies have looked at these problems faced by SME and micro-enterprises. Larger companies have different problems. The efforts made by government to encourage them are quite comprehensive, but is anything being done to help smaller sectors and keep the industry cohesive? This limited study examines several companies of varying size and varying project type: architectural design businesses, main contractor, structural engineer and building consultancy. The study examines the barriers to a truly collaborative BIM workflow facing different specialities on a larger project and a contrasting small/medium project. The findings will establish that different barriers for each sector are actually pushing further apart, thus potentially creating a BIM-only construction elite, leaving the small companies remaining on 2D based drawing.

Contribution to Real-Time Estimation of Crop Phenological States in a Dynamical Framework Based on NDVI Time Series: Data Fusion With SAR and Temperature

In this study, a methodology based in a dynamical framework is proposed to incorporate additional sources of information to normalized difference vegetation index (NDVI) time series of agricultural observations for a phenological state estimation application. The proposed implementation is based on the particle filter (PF) scheme that is able to integrate multiple sources of data. Moreover, the dynamics-led design is able to conduct real-time (online) estimations, i.e., without requiring to wait until the end of the campaign. The evaluation of the algorithm is performed by estimating the phenological states over a set of rice fields in Seville (SW, Spain). A Landsat-5/7 NDVI series of images is complemented with two distinct sources of information: SAR images from the TerraSAR-X satellite and air temperature information from a ground-based station. An improvement in the overall estimation accuracy is obtained, especially when the time series of NDVI data is incomplete. Evaluations on the sensitivity to different development intervals and on the mitigation of discontinuities of the time series are also addressed in this work, demonstrating the benefits of this data fusion approach based on the dynamic systems.

Protection from experimental autoimmune encephalomyelitis by polyclonal IgG requires adjuvant-induced inflammation

BACKGROUND Intravenous immunoglobulin (IVIG) proved to be an efficient anti-inflammatory treatment for a growing number of neuroinflammatory diseases and protects against the development of experimental autoimmune encephalomyelitis (EAE), a widely used animal model for multiple sclerosis (MS). METHODS The clinical efficacy of IVIG and IVIG-derived F(ab')2 fragments, generated using the streptococcal cysteine proteinase Ide-S, was evaluated in EAE induced by active immunization and by adoptive transfer of myelin-specific T cells. Frequency, phenotype, and functional characteristics of T cell subsets and myeloid cells were determined by flow cytometry. Antibody binding to microbial antigen and cytokine production by innate immune cells was assessed by ELISA. RESULTS We report that the protective effect of IVIG is lost in the adoptive transfer model of EAE and requires prophylactic administration during disease induction. IVIG-derived Fc fragments are not required for protection against EAE, since administration of F(ab')2 fragments fully recapitulated the clinical efficacy of IVIG. F(ab')2-treated mice showed a substantial decrease in splenic effector T cell expansion and cytokine production (GM-CSF, IFN-γ, IL-17A) 9 days after immunization. Inhibition of effector T cell responses was not associated with an increase in total numbers of Tregs but with decreased activation of innate myeloid cells such as neutrophils, monocytes, and dendritic cells. Therapeutically effective IVIG-derived F(ab')2 fragments inhibited adjuvant-induced innate immune cell activation as determined by IL-12/23 p40 production and recognized mycobacterial antigens contained in Freund's complete adjuvant which is required for induction of active EAE. CONCLUSIONS Our data indicate that F(ab')2-mediated neutralization of adjuvant contributes to the therapeutic efficacy of anti-inflammatory IgG. These findings might partly explain the discrepancy of IVIG efficacy in EAE and MS.

Radiocarbon data, oxygen isotopic composition in foraminifera, freshwater diatoms data, and salinity estimations from ODP Holes 167-1019C and 167-1019D

Massive discharges of freshwater from the glacial lake Missoula to the northeast Pacific Ocean are thought to have sculpted the Channeled Scablands of eastern Washington and debouched via the Columbia River near 46°N. The dynamics and timing of these events and their impact on northeast Pacific circulation remain uncertain. Here we date marine records of anomalous freshwater inputs to the ocean based on freshwater diatoms, oxygen isotopes in foraminifera, and radiocarbon data. Low-salinity plumes from the Columbia River reduced sea-surface salinities by as much as 6 psu (practical salinity units) more than 400 km away between 16 and 31 cal (calendar) ka B.P. Anomalously high abundances of freshwater diatoms in marine sediments from the region precede generally accepted dates for the existence of glacial Lake Missoula, implying that large flooding or freshwater routing events were common during the advance of the Cordilleran Ice Sheet and that such events require multiple sources.

Groundwater contamination in McHenry, Illinois.

Soil contamination on the Elm Street site is located mainly underneath and near the building foundation. Groundwater contamination appears to extend beyond the property boundaries to the west towards the Fox River, which is approximately 1100 feet west of the site. The groundwater contamination is located in a mixed industrial, commercial and residential area. It is not clear at this point whether there may be multiple sources of contamination in the area. Currently the public water supply is only available to some properties along Route 120, where there is a water main in place. Most of the homes and businesses in the area use private wells for their water source.

Towards Automation in Digital Investigations : Seeking Efficiency in Digital Forensics in Mobile and Cloud Environments

Cybercrime and related malicious activity in our increasingly digital world has become more prevalent and sophisticated, evading traditional security mechanisms. Digital forensics has been proposed to help investigate, understand and eventually mitigate such attacks. The practice of digital forensics, however, is still fraught with various challenges. Some of the most prominent of these challenges include the increasing amounts of data and the diversity of digital evidence sources appearing in digital investigations. Mobile devices and cloud infrastructures are an interesting specimen, as they inherently exhibit these challenging circumstances and are becoming more prevalent in digital investigations today. Additionally they embody further characteristics such as large volumes of data from multiple sources, dynamic sharing of resources, limited individual device capabilities and the presence of sensitive data. These combined set of circumstances make digital investigations in mobile and cloud environments particularly challenging. This is not aided by the fact that digital forensics today still involves manual, time consuming tasks within the processes of identifying evidence, performing evidence acquisition and correlating multiple diverse sources of evidence in the analysis phase. Furthermore, industry standard tools developed are largely evidence-oriented, have limited support for evidence integration and only automate certain precursory tasks, such as indexing and text searching. In this study, efficiency, in the form of reducing the time and human labour effort expended, is sought after in digital investigations in highly networked environments through the automation of certain activities in the digital forensic process. To this end requirements are outlined and an architecture designed for an automated system that performs digital forensics in highly networked mobile and cloud environments. Part of the remote evidence acquisition activity of this architecture is built and tested on several mobile devices in terms of speed and reliability. A method for integrating multiple diverse evidence sources in an automated manner, supporting correlation and automated reasoning is developed and tested. Finally the proposed architecture is reviewed and enhancements proposed in order to further automate the architecture by introducing decentralization particularly within the storage and processing functionality. This decentralization also improves machine to machine communication supporting several digital investigation processes enabled by the architecture through harnessing the properties of various peer-to-peer overlays. Remote evidence acquisition helps to improve the efficiency (time and effort involved) in digital investigations by removing the need for proximity to the evidence. Experiments show that a single TCP connection client-server paradigm does not offer the required scalability and reliability for remote evidence acquisition and that a multi-TCP connection paradigm is required. The automated integration, correlation and reasoning on multiple diverse evidence sources demonstrated in the experiments improves speed and reduces the human effort needed in the analysis phase by removing the need for time-consuming manual correlation. Finally, informed by published scientific literature, the proposed enhancements for further decentralizing the Live Evidence Information Aggregator (LEIA) architecture offer a platform for increased machine-to-machine communication thereby enabling automation and reducing the need for manual human intervention.