• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 908
  • 47
  • 42
  • 11
  • 10
  • 10
  • 10
  • 9
  • 7
  • 2
  • 1
  • 1
  • Tagged with
  • 1016
  • 440
  • 273
  • 148
  • 145
  • 134
  • 130
  • 130
  • 123
  • 113
  • 89
  • 88
  • 80
  • 78
  • 78
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
71

Proposta de ferramenta para validação temporal em barramentos de campo

Wild, Rafael January 2000 (has links)
Sistemas de controle industriais precisam atender a requisitos temporais para garantir seu correto funcionamento, sendo por isto considerados sistemas tempo-real. Quando tais sistemas são distribuídos, tais como redes de sensores, atuadores e controladores interligados por barramentos de campo, a comunicação desempenha um papel importante no comportamento temporal. Este trabalho propõe uma ferramenta para validar o comportamento temporal da comunicação em um protocolo de barramento de campo, o Foundation Fieldbus. A proposta inclui a especificação de requisitos e a visualização da validação. Pretende-se auxiliar a compreensão do comportamento temporal e possibilitar a depuração de sistemas tempo-real distribuídos. O sistema desenvolvido encontra-se operacional e foi validado em diversos estudos de caso, os quais são descritos no presente trabalho.
72

SISPE : sistema de planejamento e controle gerencial

Ebling, Mario January 1986 (has links)
Esta dissertação descreve o desenvolvimento de um sistema de planejamento e controle gerencial que utiliza a metodologia PERT/CPM. O objetivo do trabalho foi a criação de um sistema de planejamento voltado ao pequeno e médio usuário que permitisse grande interação deste com o problema. São descritas todas as fases do projeto, desde as análises iniciais do problema e proposta de alternativas para o modelo de representação, até a descrição da implementação. A implementação foi realizada em um computador do tipo APLLE II dando especial atenção ao projeto do diálogo usuário-sistema. / This work describes the development of a planning, management and control system based on the PERT/CPM methodology. The goal was to develop an interactive planning system to be used by the small and middle user. All the project phases are describe, from the problem analysis and alternatives of model representation up to the description of the implementation. The implementation was made in a Apple II computer emphasizing the project of the user - system language.
73

Aplicação da metaheurística tabu search na otimização de rotas de manutenção preventiva em campo / Application of the metaheuristic Tabu Search to the on field preventive maintenance routes optmization

Gomes, Rodrigo Frank de Souza 09 December 2011 (has links)
GOMES, R. F. de S. Aplicação da metaheurística tabu search na otimização de rotas de manutenção preventiva em campo. 2011. 108 f. Dissertação (Mestrado em Logística e Pesquisa Operacional) - Pró-Reitoria de Pesquisa e Pós-Graduação, Universidade Federal do Ceará, Fortaleza, 2011. / Submitted by Marlene Sousa (mmarlene@ufc.br) on 2012-10-26T14:32:46Z No. of bitstreams: 1 2011_dis_rfdesgomes.pdf: 1695034 bytes, checksum: cf3b9a4b04cd64169ae948a6d6884458 (MD5) / Approved for entry into archive by Marlene Sousa(mmarlene@ufc.br) on 2012-10-26T17:04:37Z (GMT) No. of bitstreams: 1 2011_dis_rfdesgomes.pdf: 1695034 bytes, checksum: cf3b9a4b04cd64169ae948a6d6884458 (MD5) / Made available in DSpace on 2012-10-26T17:04:37Z (GMT). No. of bitstreams: 1 2011_dis_rfdesgomes.pdf: 1695034 bytes, checksum: cf3b9a4b04cd64169ae948a6d6884458 (MD5) Previous issue date: 2011-12-09 / The aim of this paper was to propose an application based on the Metaheuristic Tabu Search (TS) to be used on FIELD PREVENTIVE MAINTENANCE SERVICES (FPMS) in order to get more logistics efficiency by routing maintenance sectors. Unlike services performed in industry, where all systems, machines and equipment are located practically in the same location, maintenance services in the field require an additional component directly related to cost, which refers to exactly offset between the base unit and jobsite. Services in the field can be considered a variation of the Travelling Salesman Problem (TSP) and its different approaches, like the DTRP (Dynamic Travelling Repairman Problem) proposed by Bertsimas and Van Ryzin. There is a huge demand for maintenance in the field, demonstrating its relevance: elevators, escalators, electronic devices for home-security, IT hardware support and others. The method was designed, implemented and tested in problems of the TSP-LIBRARY ranging from 17 up to 280 points. Good solutions were found in a acceptable processing time. The input data can be made by geographical coordinates or 2D-coordinates. For a real-world application, it was considered an Elevator Company and the results were also efficient, greatly reducing transportation cost and logistics used in the operation. / O objetivo deste trabalho foi propor uma aplicação baseada na metaheurística Busca Tabu (TS) para ser utilizada em serviços de manutenção preventiva em campo (FPMS) a fim de obter maior eficiência logística, através do roteamento de setores de manutenção. Ao contrário dos serviços realizados na indústria, onde todos os sistemas, máquinas e equipamentos estão localizados praticamente no mesmo local, serviços de manutenção em campo requerem um componente adicional diretamente relacionado ao custo, que se refere exatamente a diferença entre a unidade de base e local de trabalho. Serviços em campo podem ser considerados uma variação do Problema do Caixeiro Viajante (PCV) e suas diferentes abordagens, como o Problema Dinâmico do Reparador Viajante (DTRP - Dynamic Travelling Repairman Problem) proposto por Bertsimas e Van Ryzin. Em situações práticas do dia-a-dia existe uma enorme demanda por serviços de manutenção a serem realizados em campo, demonstrando sua relevância: elevadores, escadas rolantes, aparelhos segurança eletrônica residencial, suporte de TI à hardwares, entre outros. O método foi implementado e testado em problemas da biblioteca TSP-LIBRARY variando de 17 a 280 pontos. Boas soluções foram encontradas em um tempo de processamento aceitável. O input do problema leva em consideração duas formas: coordenadas geográficas ou coordenadas cartesianas. Para uma aplicação prática do mundo real, foi considerada uma empresa de manutenção em elevadores e os resultados também foram eficientes, reduzindo bastante os custos de transporte e a logística empregada na operação.
74

Proposta de arquitetura de hardware e software para sistemas tempo-real distribuídos

Gotz, Marcelo January 2001 (has links)
Um sistema tempo-real caracteriza-se por possuir requisitos temporais para execução de suas atividades, e de acordo com a sua tolerância ao atendimento destes requisitos é classificado em hard-real-time ou soft-real-time. O presente trabalho se propõe a apresentar uma arquitetura de hardware e software para suporte a sistemas tempo-real embarcados de baixo custo com objetivo de aplicação em pesquisas no meio acadêmico e que possa ser usado até em ambientes hard-real-time. A motivação para este trabalho está na necessidade de incorporação de garantias temporais (determinismo) em sistemas operacionais, características estas tão necessárias para sistemas tempo-real, e que são problemáticas de serem mantidas em sistemas dinâmicos que usam arquiteturas de hardware e software convencionais. Apoiado em estudos já realizados neste sentido, esta proposta pretende suprir o suporte em hardware, usando para tal microcontroladores de 32bits com alta capacidade de processamento e um ambiente de software confiável, já conhecido, com porte para sistemas embarcados e com código fonte aberto: o uClinux, porém com modificações para a sua adaptação no hardware proposto e para enfatizar as suas características tempo-real. / Real-time systems are characterized by the fact that not only logical but also timing correctness properties have to be satisfied. Typically, a real-time system is divided into two categories: hard-real-time, if missing a deadline may lead to catastrophic consequences, and soft-real-time, if a late completion gracefully degrades the performance without causing damage. This work presents a low cost embedded hardware and software architecture to support real-time systems. While mainly intended for research purposes, the proposed architecture should provide support to the development of hard-real-time systems. The proposed architecture addresses a common problem in conventional architectures: the maintenance of a deterministic temporal behavior, essential in real-time systems, and damaged by an overload caused by operating systems activities. The proposed architecture make use of a 32bits high performance microcontroller, a reliable, popular and open source code operating system to embedded applications uClinux, and enhance these with extensions to better cope with real-time systems development.
75

Funções executivas em afásicos / Executive functions in aphasics

Monteiro, Maria de Fátima Alves [UNIFESP] January 2012 (has links) (PDF)
Submitted by Diogo Misoguti (diogo.misoguti@gmail.com) on 2017-11-27T17:52:00Z No. of bitstreams: 1 Tese-15072.pdf: 958634 bytes, checksum: 99434b3ae4fe347e19b166c093a54c2b (MD5) / Made available in DSpace on 2017-11-27T17:52:00Z (GMT). No. of bitstreams: 1 Tese-15072.pdf: 958634 bytes, checksum: 99434b3ae4fe347e19b166c093a54c2b (MD5) Previous issue date: 2012 / Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) / Associação Fundo de Incentivo à Psicofarmacologia (AFIP) / As funções executivas compartilham áreas de conexão e modulação cognitiva para o desempenho de habilidades complexas, como a compreensão e a expressão da linguagem, mas o impacto cognitivo sofrido por afásicos, quando tais áreas são afetadas ainda é pouco investigado. Este estudo transversal pretende investigar a presença de déficits executivos em 26 afásicos, fluentes e não fluentes, sendo comparados a participantes saudáveis pareados por sexo, idade e escolaridade. Todos os participantes foram submetidos a uma bateria de testes composta por tarefas que recrutam as funções executivas, e outras habilidades relacionadas, como memória operacional e atenção. Os afásicos apresentaram pior desempenho nos subdomínios das funções executivas (alternância, atualização, inibição) e no acesso à memória de longo prazo, em relação aos sujeitos controle, mas apresentaram prejuízo em tarefas de planejamento. O desempenho de outras funções cognitivas, como memória operacional e memória semântica, foi inferior nos afásicos, tanto fluente como não fluentes. Ao longo de uma tarefa de atenção sustentada os afásicos não fluentes apresentaram um padrão de resposta tipo desatento, enquanto os afásicos fluentes apresentaram um padrão de resposta tipo impulsivo frente aos estímulos alvo. Tanto afásicos fluentes como não fluentes apresentam prejuízo cognitivos que modulam as funções complexas incluindo déficits nos subdomínios das funções executivas, memória operacional e atenção sustentada / The brain's executive functions share connection and cognitive modulation areas to perform complex abilities, like the comprehension and expression of language. But the cognitive impact on individuals with aphasia when those areas are affected remains understudied. This cross-sectional study intends to investigate the presence of executive deficits on 26 patients with aphasia, fluent and non-fluent, compared to healthy subjects matching sex, age and education. All participants were submitted to a battery of tests comprised of tasks that demand the executive functions and other related skills, like operational memory and attention. Compared with control subjects, patients with aphasia had an inferior performance on executive function sub-domains (shifting, updating, inhibition) and on long-term memory access, but they also presented impairments on planning tasks. The performance of other cognitive functions, like operational and semantic memories, were also inferior on fluent and non-fluent aphasic patients. During a sustained attention task, the non-fluent aphasic patients presented an inattentive response pattern while the fluent aphasic patients presented an impulsive response pattern facing the same targeted stimuli. Both fluent and non-fluent aphasic patients showed cognitive impairments that module the complex functions, including deficits on executive functions subdomains, operational memory and sustained attention.
76

Aplicação da metaheurística algoritmo genético na otimização das rotas de entregas da distribuição física de produtos no município de Fortaleza / Metaheuristic algorithm genetic application in optimization of distribution of delivery routes physics products in Fortaleza county

Barbosa, Roberto Cavalcante 31 July 2014 (has links)
BARBOSA, R. C. Aplicação da metaheurística algoritmo genético na otimização das rotas de entregas da distribuição física de produtos no município de Fortaleza. 90 f. 2014. Dissertação (Mestrado em Logística e Pesquisa Operacional) – Pró-Reitoria de Pesquisa e Pós-Graduação, Universidade Federal do Ceará, Fortaleza, 2014. / Submitted by Marlene Sousa (mmarlene@ufc.br) on 2016-02-01T11:43:51Z No. of bitstreams: 1 2014_dis_rcbarbosa.pdf: 3702015 bytes, checksum: 5fa65b50402f0134e50e77927eda96eb (MD5) / Approved for entry into archive by Marlene Sousa(mmarlene@ufc.br) on 2016-02-01T16:24:05Z (GMT) No. of bitstreams: 1 2014_dis_rcbarbosa.pdf: 3702015 bytes, checksum: 5fa65b50402f0134e50e77927eda96eb (MD5) / Made available in DSpace on 2016-02-01T16:24:05Z (GMT). No. of bitstreams: 1 2014_dis_rcbarbosa.pdf: 3702015 bytes, checksum: 5fa65b50402f0134e50e77927eda96eb (MD5) Previous issue date: 2014-07-31 / The continuous growth of populations and their concentration in great urban centers is reflected in an increasing demand for products and services in such areas. However, the distribution of a range of different products within the same geographic area, in many cases relying on the same transportation infrastructure, is becoming ever more complex and costly. The purpose of this study was to develop and test an application based on metaheuristic Genetic Algorithms (GA) designed to optimize the logistics of product distribution and delivery. In the literature this is known as the Travelling Salesman Problem (TSP) of the NPhard class. The method was initially tested on small and intermediate problems from the TSP library. Performance was satisfactory within an acceptable computational time. Subsequently, the method was tested in a real-life scenario: a specialized product distributor in Fortaleza (Northeastern Brazil). Again, results were satisfactory as the method was able to optimize the logistics of all the distributor’s delivery routes. / O contínuo crescimento das populações e a concentração nos centros urbanos fazem com que a demanda por produtos e serviços também cresça nestas regiões. Entretanto, dentro de um mesmo espaço geográfico, e em muitos casos, com a mesma infraestrutura de transporte disponível, a distribuição física de produtos torna-se uma atividade cada vez mais complexa e onerosa. O objetivo deste trabalho foi propor uma aplicação baseada na Metaheurística Algoritimos Genéticos (AG), para ser utilizada em serviços de distribuição física de produtos a fim de obter maior eficiência logística na construção da sequência de entregas. Na literatura este problema é conhecido como uma variante do Problema do Caixeiro Viajante (PCV), e pertence à classe NP-Hard. O método foi testado em problemas de pequeno e médio porte da TSP-LIBRARY. Os resultados foram obtidos com desempenho satisfatório num tempo computacional aceitável. Para aplicação prática, foi considerada uma empresa especialista em distribuição de produtos com atuação no município de Fortaleza. Os resultados dos testes práticos foram aceitáveis, uma vez que o método conseguiu otimizar todas as rotas observadas e praticadas pela empresa.
77

Aplicação de algumas tecnicas de pesquisa operacional na otimização do serviço de radio-taxi

Steiner, Maria Teresinha Arns January 1988 (has links)
Dissertação (mestrado) - Universidade Federal de Santa Catarina. Centro Tecnologico / Made available in DSpace on 2016-01-08T16:10:53Z (GMT). No. of bitstreams: 1 83541.pdf: 3273266 bytes, checksum: ef4b7b1e61a56cc32ad2210d70d4065a (MD5) Previous issue date: 1988 / Neste trabalho é proposto, uma solução para o problema de otimização de um sistema de rádio-táxi e para tanto propõe-se a subdivisão do problema original em dois subproblemas. O primeiro subproblema objetiva determinar uma escala de serviço, definindo, conseqüentemente, o tamanho da frota. Este subproblema é abordado como um problema de programação inteira, sendo resolvido através do Algoritmo "Branch and Bound". No segundo subproblema é proposta a utilização do Algoritmo de Floyd para a determinação dos melhores pontos de táxi, em ordem seqüencial que deverão ser acionados para o atendimento de uma chamada qualquer. Ao longo do trabalho é dada ênfase especial à fase de levantamento de dados e à solução do modelo para uma empresa de rádio-táxi da cidade de Curitiba. Por fim, são apresentadas sugestões às empresas e às Prefeituras com relação a coleta de dados e aplicação dos resultados visando, entre outras coisas, ao melhor atendimento dos usuários deste serviço e à economia de combustível.
78

Um sistema especialista para programação da produção na industria da argamassa armada

Pereira, Maria da Graça January 1994 (has links)
Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnologico / Made available in DSpace on 2016-01-08T18:54:19Z (GMT). No. of bitstreams: 1 96033.pdf: 5488305 bytes, checksum: e127979fa37400422abec463087e55fc (MD5) Previous issue date: 1994 / A proposta do presente trabalho é o desenvolvimento de um sistema especialista para programação da produção de componentes pré-moldados de argamassa armada. O sistema é capaz de modelar o conhecimento usado pelos peritos no ambiente de manufatura. O processo de aquisição do conhecimento envolveu a elicitação do conhecimento, obtida diretamente junto aos peritos, e a análise de relatórios das fábricas de componentes de argamassa armada. Na seqüência, é apresentada uma aplicação prática do sistema desenvolvido, objetivando ressaltar sua utilidade e identificar suas dificuldades e limitações. O modelo foi implementado numa "shell" para sistemas especialistas chamada KAPPA v. 1.2, que é executada em qualquer microcomputador IBM-PC padrão ou compatível. Finalmente, são apresentadas as conclusões obtidas e as sugestões originadas em decorrência do desenvolvimento e aplicação do sistema especialista proposto.
79

Robust production optimization of gas-lifted oil fields

Hülse, Eduardo Otte January 2015 (has links)
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2015. / Made available in DSpace on 2016-02-09T03:08:04Z (GMT). No. of bitstreams: 1 337432.pdf: 1873519 bytes, checksum: 40fce035101e01804e1bc88f7e1ea3a5 (MD5) Previous issue date: 2015 / Com a crescente demanda por energia fóssil as operadoras petrolíferas têm buscado determinar planos operacionais que otimizam a produção dos campos em operação para satisfazer a demanda do mercado e reduzir os custos operacionais. Neste contexto, a pesquisa operacional tem se mostrado uma importante ferramenta para determinação dos planos de produção de curto prazo para campos de petróleo complexos. Alguns trabalhos já desenvolveram estratégias para a otimização integrada da produção que visam auxiliar engenheiros de produção e operadores a atingir condições de operação ótimas. Estes avanços científicos atestam o potencial da área de otimização integrada da produção de campos, justificando a busca por estratégias de otimização global e integradas de ativos. Contudo, a incerteza dos parâmetros que caracterizam o reservatório, os poços, fluidos e os diversos processos de produção não vem sendo considerada pelos modelos e algoritmos de otimização da produção diária. Considerando os modelos de produção de curto prazo, estas incertezas podem ser atribuídas a erros de medição , comportamento oscilatório dos sistemas, modelos imprecisos, entre outros. A influência da incerteza dos parâmetros em problemas de otimização tem, desde tempos, sido foco da comunidade de programação matemática. E já foi verificado que soluções de problemas de otimização podem apresentar significativa sensibilidade à pertubações nos parâmetros do dado problema, podendo levar a soluções não factíveis, subótimas ou ambas. Assim, buscando tornar as abordagens de otimização existentes mais confiáveis e robustas às incertezas intrínsecas dos sistemas de produção, esta dissertação investiga a modelagem e tratamento de incertezas na otimização diária da produção e propõe formulações em programação matemática para otimização robusta da produção de poços operados por gas-lift. As formulações representam curvas amostradas através de dados simulados ou medidos que refletem as incertezas dos sistemas de produção. Estas representações levam a formulações robustas em programação matemática inteira mista obtidas pela aproximação das curvas de produção através de linearização por partes. Além disso, este trabalho apresenta os resultados de uma analise computacional comparativa da aplicação da formulação robusta e da formulação nominal a um campo de petróleo em ambiente de simulação, porém considerando simuladores multifásicos amplamente empregados pela indústria do petróleo e gás, que representam a fenomenologia muito próximo da realidade. O primeiro capítulo apresenta a problemática em que estão envolvidos os desenvolvimentos realizados nesta dissertação e um resumo dos capítulos subsequentes. No segundo capítulo alguns conceitos fundamentais são apresentados para a compreensão do trabalho desenvolvido. Este capítulo é dividido em três partes. A primeira parte inicia apresentando brevemente a indústria de petróleo e gás com uma perspectiva histórica, econômica e dos processos envolvidos. Na sequência são expostos conceitos básicos de engenharia de petróleo necessários para o entendimento do sistema de produção utilizado ao longo a dissertação  i.e. gas-lift. Finalmente, o problema de otimização da produção é situado dentro do problema maior, que é o gerenciamento completo das operações de um campo de petróleo, seguido de uma revisão da literatura no que se refere a abordagens clássicas para otimização da produção de campos operados por gas-lift. A segunda parte é uma descrição compacta sobre modelagem de problemas de otimização utilizando programação matemática e na menção dos métodos de solução deste tipo de problema utilizados na parte experimental desta dissertação. A terceira parte começa com uma revisão sobre incerteza em problemas de otimização e sobre as decisões de modelagem enfrentadas quando na presença de problemas de otimização incertos. Na sequência o paradigma de otimização robusta é introduzido e é apresentada uma compilação de alguns dos principais resultados da área de otimização robusta linear. Além disso, ao fim, alguns pontos específicos da teoria de otimização robusta são apresentados pela suas relevâncias para o desenvolvimento da teoria dos capítulos seguintes. O terceiro capítulo inicia com uma discussão sobre as origens das incertezas nos modelos de produção para então prover uma revisão bibliográfica dos poucos trabalhos que mencionam ou lidam com incerteza em sistemas de produção. Na sequência, a incerteza é examinada na perspectiva do problema de otimização. Um sistema simples é usado para exemplificar a metodologia de otimização robusta desenvolvida nesta dissertação. O quarto capítulo apresenta dois problemas padrões de otimização da produção, um contendo poços satélites e outro com poços e completação submarina. Para ambos uma formulação em programação linear inteira mista é descrita considerando valores nominais para todos os parâmetros. Então, para cada problema uma reformulação robusta é implementada considerando incerteza nas curvas de produção do poço. A metodologia utilizada para o primeiro problema é a mesma detalhada no capítulo três, e para o segundo uma extensão da metodologia é proposta para poder lidar com restrições de igualdade incertas. No quinto capítulo são apresentados resultados experimentais de um problema de otimização da produção de um campo com poços satélites. Os resultados obtidos com otimização clássica (nominal) e com otimização robusta são então comparados em um campo de produção sintético instanciado em um simulador multifásico comercial. A solução robusta se mostrou indicada para cenários de operação mais críticos onde factibilidade e segurança são prioridade. No capítulo final uma análise dos resultados obtidos na dissertação é feita sob a perspectiva do possível emprego das técnicas desenvolvidas na indústria de óleo e gás. Apesar de à primeira vista os resultados serem conservadores e de sua utilização parecer limitada, existe potencial para a metodologia ser empregada no caso de situações que priorizam segurança. Além disso a metodologia aqui desenvolvida pode servir como ponto inicial para pesquisas e desenvolvimentos futuros. Uma breve descrição de possíveis trabalhos futuros é feita ao final deste capítulo. O apêndice traz a descrição de algoritmos de amostragem de curvas côncavas desenvolvidos para os experimentos numéricos realizados na dissertação.<br> / Abstract : Managing production of complex oil fields with multiple wells and coupled constraints remains a challenge for oil and gas operators. Some technical works developed strategies for integrated production optimization to assist production engineers in reaching best operating conditions. However, these works have neglected the uncertainties in the well-performance curves and production processes, which may have a significant impact on the operating practices. The uncertainties may be attributed to measurement errors, oscillating behavior, and model inaccuracy, among others. To this end, this dissertation investigates how uncertainty might be considered in daily production optimization and proposes formulations in mathematical programming for robust production optimization of gas-lifted oil fields. The formulations represent system-measured and simulated sample curves that reflect the underlying uncertainties of the production system. The representations lead to robust mixed-integer linear programming formulations obtained from piecewise-linear approximation of the production functions. Further, this work presents results from a computational analysis of the application of the robust and nominal formulations to a representative oil fields available in simulation software.
80

AEO

Almeida, Deniz Pedrozo de January 2002 (has links)
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-19T14:03:11Z (GMT). No. of bitstreams: 1 197383.pdf: 854414 bytes, checksum: e009a842e9e0148f1e1a79a8c829056d (MD5)

Page generated in 0.0946 seconds