• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 68
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • Tagged with
  • 76
  • 76
  • 41
  • 37
  • 23
  • 23
  • 20
  • 17
  • 16
  • 13
  • 12
  • 11
  • 11
  • 11
  • 11
  • 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.
31

Violência no trânsito e crescimento econômico no Brasil

Saldanha, Raphael de Freitas 01 November 2016 (has links)
Submitted by Renata Lopes (renatasil82@gmail.com) on 2017-03-14T13:52:48Z No. of bitstreams: 1 raphaeldefreitassaldanha.pdf: 13350574 bytes, checksum: c1efacf54b8e45ed46b5303adf0b2e11 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-03-16T13:05:45Z (GMT) No. of bitstreams: 1 raphaeldefreitassaldanha.pdf: 13350574 bytes, checksum: c1efacf54b8e45ed46b5303adf0b2e11 (MD5) / Made available in DSpace on 2017-03-16T13:05:45Z (GMT). No. of bitstreams: 1 raphaeldefreitassaldanha.pdf: 13350574 bytes, checksum: c1efacf54b8e45ed46b5303adf0b2e11 (MD5) Previous issue date: 2016-11-01 / A violência no trânsito tem apresentado números preocupantes e crescentes no contexto internacional e brasileiro, sublinhando a importância deste tema para o campo da Saúde Coletiva através do conceito de saúde ampliada. A violência no trânsito encontra raízes na formação histórica da sociedade, onde a introdução do automóvel reflete a estrutura de classes de sua época, cujos reflexos ainda são encontrados na sociedade. O acesso à automóveis e outros meios de transporte através do incremento da renda torna este fator um importante determinante social da saúde para o estudo da violência no trânsito. Este trabalho visa compreender a relação entre o crescimento econômico e a violência no trânsito nos municípios brasileiros, utilizando um painel de dados espaciais de 12 anos. Os resultadosdoModelodeErroEspacialdeDurbinapontamparaaexistênciadeumaCurva de Kuznets nesta relação, onde covariáveis relativas a frota de veículos, investimentos em transportes, urbanização e o IDH são significativas. Estes resultados indicam que a violência no trânsito pode ser influenciada através de políticas públicas que objetivem resultados nestas covariáveis, não requerendo que os municípios atinjam patamares de renda mais elevados para ocasionar a redução da mortalidade no trânsito. / There is a concerning and increasing quantity of traffic violence internationally and in Brazil, underlining the importance of this theme to Public Health through an expanded health concept. Traffic violence finds roots in the historical formation of society, where the introduction of automobiles reflects the arrangement of classes of that time, and these reflections still can be seen in today’s society. Access to automobiles and other means of transport through the increase of wealth makes income an important social determinant of health in the study of traffic violence. This study aims to understand the relationship between the increase of income and traffic violence using a spatial data panel of 12 years. The results of the Spatial Durbin Error Model point to the occurrence of a Kuznets Curve for this relation, where the factors of the vehicle fleet, investments on traffic infrastructure and urbanization and the HDI are significant. As a result, traffic violence can be affected by public policies that target these factors, instead of requiring that the municipalities reaches more elevated levels of income to observe a reduction in traffic violence.
32

Uma Abordagem de Raciocínio Espacial em Lógica de Descrições

BARROS, Rafael Cordeiro de 10 September 2012 (has links)
Submitted by Pedro Henrique Rodrigues (pedro.henriquer@ufpe.br) on 2015-03-05T16:44:47Z No. of bitstreams: 2 Dissertacao_Rafael_C_Barros_VersaoFinal.pdf: 3086911 bytes, checksum: a71e3520c1f218291e2cb7b5423a3564 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-05T16:44:47Z (GMT). No. of bitstreams: 2 Dissertacao_Rafael_C_Barros_VersaoFinal.pdf: 3086911 bytes, checksum: a71e3520c1f218291e2cb7b5423a3564 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2012-09-10 / Os sistemas de bancos de dados espaciais (SBDEs) são capazes de manipular dados geográficos. Sua principal aplicação é em sistemas de informações geográficas (SIGs), pois disponibilizam diversas funções, como indexação, consultas, exibição gráfica e algoritmos geométricos. Por padrão, os SBDEs realizam consultas a posteriori, ou seja, as operações envolvidas em cada consulta são executadas no momento da solicitação do usuário. Por isso, as consultas espaciais, geralmente compostas de diversos cálculos geométricos, possuem alto custo computacional. Recentemente, surgiram abordagens que processam consultas sobre dados geográficos através de raciocínio espacial. Uma das vantagens disso é a capacidade de obter resultados utilizando lógica, evitando, dessa forma, muitos cálculos geométricos. O cálculo de conexões de regiões (Region Connection Calculus - RCC) é um exemplo de formalização bastante utilizado em raciocínio espacial, pois define axiomas de relacionamentos entre regiões, em lógica de primeira ordem. Disso posto, esta dissertação propõe uma nova abordagem de raciocínio espacial utilizando lógica de descrições. Nessa abordagem, um conjunto mínimo de relacionamentos espaciais é calculado a priori, por um SBDE, e armazenado em uma ontologia, formalizada com regras de composição de relacionamentos do RCC. Dessa forma, utilizando lógica de descrições e o conjunto inicial de relacionamentos, é possível raciocinar todos os outros relacionamentos definidos na ontologia RCC. A partir de então, consultas espaciais qualitativas podem ser realizadas sem a necessidade de cálculos geométricos sobre dados espaciais. Com o objetivo de validar a abordagem proposta, também foi realizada uma aplicação com dados reais do estado de Pernambuco, de difícil obtenção e tratamento. Apesar dessas dificuldades, a aplicação pôde ser utilizada concretamente para checagem semântica no projeto NTDO (Neglected Tropical Disease Ontology), em uma aplicação que processa dados públicos integrados de doenças tropicais negligenciáveis.
33

Proposta de um modelo genérico de um SBDE que permita a interoperabilidade entre sistemas / Proposal for a generic model of a SBDE aiming interoperability between systems

Moraes, Francisco Roza de 21 August 2017 (has links)
Os constantes avanços técnico-científicos, nas diversas áreas da engenharia, ocasionaram grandes mudanças nos inúmeros métodos de abordagem do cotidiano e também, realizaram papel fundamental, na aproximação de novos usuários, com ou sem conhecimentos específicos, à utilização das novas técnicas. Na Cartografia, por exemplo, esses avanços e a aproximação de novos usuários, com diferentes necessidades de uso, possibilitaram o desenvolvimento de modernos modos de abordagem para problemas do dia a dia. A criação da estruturação de dados digitais geográficos permitiu o desenvolvimento de novas ferramentas computacionais que, como os Sistemas de Informação Geográficas, agilizaram as etapas referentes aos processos de pesquisas relacionados a utilização de dados geográficos. Contudo, para uma correta utilização das novas ferramentas, os conjuntos de dados geográficos, devem apresentar-se de modo estruturado, seguindo normas e técnicas bem elaboradas sobre esse assunto. Um esforço que, por muitas vezes, não ocorre por parte dos usuários finais que acabada por comprometer toda a eficiência do sistema eletrônico. Este trabalho aborda assim, os benefícios envolvidos na utilização de padrões e técnicas de desenvolvimento de softwares bem definidas e eficientes; as instituições internacionais responsáveis por estabelecerem as regras base e os esforços necessários para o desenvolvimento com qualidade de uma aplicação que utilize banco de dados espaciais. / The constant technical and scientific advances, in various areas of engineering, have led to changes in the many methods of everyday approach and played a fundamental role in attracting new users, with or without specific knowledge, to the use of these new techniques. In cartography, in special, these advances and the approximation of new users, with different skill levels, enabled the development of modern methods for resolution of problems. The creation of data structure for geographic applications allowed the development of new computational tools that, as the Geographic Information Systems, helped the development related to the research processes with geographic data. However, for a correct use of these new tools, spatial databases must be developed in a structured way, following well-developed standards and techniques. An effort that, for many times, does not occur on the part of the end users that end up compromising all the efficiency of the computational system. This work present: The benefits involved in the use of standards and techniques for developing efficient software; showing the international institutions responsible for establishing the base rules and the necessary efforts for the development with quality of an application that uses spatial databases.
34

Interoperabilidade entre o modelo de dados do Taxonomic Data Working Group (TDWG) e tags do OpenStreetMap para a espécie Sotalia Guianensis / Interoperability between the data model of the Taxonomic Data Working Group (TDWG) and OpenStreetMap tags for the species Sotalia guianensis

Molina, Cyntia Virolli Cid 23 March 2016 (has links)
A falta de padronização de dados pode resultar em perda de informações de suma importância nas diversas áreas do conhecimento, impossibilitando a integração de dados entre diferentes sistemas ou de diferentes bancos de dados, ou seja, os dados podem não ser interoperáveis. A solução para a integração de dados pode ser chamada de interoperabilidade, que são convenções e normas de formatos (extensões) e ontologias (padrões comuns) instituídos para que os sistemas possam dialogar. Um banco de dados de biodiversidade é um instrumento muito importante para as iniciativas de sua conservação, sendo útil para o seu conhecimento, registro histórico entre outros. Este trabalho desenvolveu uma metodologia para interoperar dados modelados no padrão Taxonomic Data Working Group (TDWG) e tags do OpenStreetMap (OSM) sobre a espécie Sotalia guianensis, conhecida como Boto Cinza. Dentro deste escopo, este trabalho se justifica pelo cenário de ameaça de extinção do Boto Cinza, pela necessidade no desenvolvimento de metodologias para a disponibilização de dados de ocorrência de Boto Cinza em bancos de dados de biodiversidade e pela necessidade de se desenvolver metodologia que permita a interoperabilidade entre bancos de dados de biodiversidade e outros Sistemas de Informação Geográfica (SIG). Este estudo propõe uma metodologia de baixo custo, com a utilização de plataformas livres, para que dados espaciais de Biodiversidade sejam modelados de maneira a evitar problemas taxonômicos, além de serem disponibilizados para conhecimento geral da população. O trabalho se mostra inovador por integrar dados do Global Diversity Information Facility (GBIF) com as Tags do OSM, possibilitando o cadastro padronizado e gratuito em uma plataforma livre e de alcance mundial através da criação de uma etiqueta interoperável de equivalência entre o padrão TDWG e as etiquetas do OSM. O resultado deste trabalho é a metodologia para a modelagem e publicação de dados de Boto Cinza no GBIF e OSM de forma interoperável, que foi implementada, testada e cujos resultados são positivos / The absence of data standardization may result in loss of information of major importance through several areas of knowledge, hindering data integration among different information systems or databases, that is, the data may not be interoperable. The solution for data integration may be called interoperability, which is comprised of conventions, data format standards (file extensions) and ontologies (standards), empowering the communication among information systems. A biodiversity database is a very important tool for biodiversity conservation initiatives, being useful for knowledge transfer, historical data storage among other activities. This work developed a methodology for interoperate data between the Taxonomic Data Working Group (TWDG) standard and OpenStreetMap (OSM) tags on Sotalia guianensis species, as known as Guiana dolphin. This work has its motivation scenario on the fact that the Guiana dolphin is under threat of extinction. This scenario demands the development of methodologies for the publication of the locations where the Guiana dolphin is being spotted over the biodiversity databases and the development of a methodology for interoperability among biodiversity databases as well as Geographic Information Systems (SIG). This study proposes a low cost methodology, which uses open-source platforms and focuses on two main goals: avoidance of taxonomical problems on biodiversity spatial data modelling and to provide the biodiversity spatial data to the population in general. This work proves itself innovative by integrating Global Diversity Information Facility (GBIF) data with OSM tags, allowing a free and standardized registry of data in an open-source global-scale platform by using an interoperable tag of equivalence data between the TDWG standard and OSM tags. The result of this study is the methodology for data modelling and publication of the Guiana dolphin on GBIF and OSM in an interoperable manner, which has been implemented, tested and gave positive results
35

Modelagem de dados espaciais para Sistemas de Informações Geográficas: pesquisa na emergência médica / Spatial data modeling for Geographic Information Systems: research in medical emergency

Sá, Lucilene Antunes Correia Marques de 22 March 2001 (has links)
Os sistemas de Informações Geográficas foram desenvolvidos com os avanços das Ciências da Computação, com base nos conceitos das Ciências Geodésicas, para serem aplicados em áreas onde os dados espaciais são utilizados. Procura-se obter uma otimização desta tecnologia, possibilitando o desenvolvimento de sistemas aplicativos interativos. Abordam-se conceitos relativos a modelagem de dados espaciais. Analisam-se a aplicação no mundo real e no modelo conceitual decorrentes. Formula-se um modelo físico com base na Emergência Médica, obtendo-se um sistema que integra programas de saúde para localização de pacientes. / The Geographic Information Systems has been developed based on the progress of the computer sciences, using concepts of the geodesic sciences, to by applied where spatial data are need. This technology is optimized and interactive systems are made. Concepts relative to spatial data modeling are discussed. The application on the real world and the conceptual model is analyzed. The physical model is formulated based on the medical emergency, to obtain a system that integrates health programs to find patients.
36

Infraestrutura de dados espaciais em unidades de conservação: uma proposta para disseminação da informação geográfica do Parque Estadual de Intervales - SP / Spatial data infrastructure in protected area: a proposal for dissemination of geographic information of Parque Estadual de Intervales - SP

Nakamura, Eduardo Tomio 01 September 2010 (has links)
Esse trabalho apresenta uma proposta de Infraestrutura de Dados Espaciais de nível organizacional para o Parque Estadual de Intervales-SP, que visa compartilhar suas informações geográficas com a sociedade em geral. Nos processos de elaboração da IDE são discutidas questões como interoperabilidade, padronização, metadados, especificação de serviços geográficos e o relacionamento dos nós das Infraestrutura de Dados Espaciais que vão permitir a disseminação da informação geográfica de fácil acesso a usuários externos. Os procedimentos, benefícios e limitações são listados e problematizados de forma que demonstrem as etapas necessárias na elaboração da Infraestrutura de Dados Espaciais de nível organizacional para uma Unidade de Conservação. Conclui-se que uma Infraestrutura de Dados Espaciais depende de variáveis administrativas, culturais, técnicas e financeiras, o que leva a uma proposta de implementação por estágios. Também são elaboradas críticas aos recursos existentes e sugestões para melhorias e estudos futuros. / This paper presents a proposal about Spatial Data Infrastructure in organizational level to the Parque Estadual de Intervales-SP, in order to promote the sharing of geographic information with the society. In the elaboration process of the SDI are discussed issues such as interoperability, standardization, metadata, specifying geographic services and relationship of the Spatial Data Infrastructure nodes that will enable the dissemination of geographic information easily and accessible to external users. The process steps, benefits and limitations are listed and discussed in order to demonstrate the necessary steps to prepare the Spatial Data Infrastructure in organizational level to a protected area. As results we observe a spatial data infrastructure that depends of others variables like management, culture, technical and financial company aspects, which leads to a proposal of implementation in stages, as well as discussions about the capabilities and suggestions for improvements and future studies.
37

Sistema de controle de qualidade dos processos fotogramétricos digitais para produção de dados espaciais / Quality control system of the digital photogrammetric process for producing spatial data

Sato, Simone Sayuri 28 August 2003 (has links)
Este trabalho propõe um Sistema de Controle de Qualidade (CQP) dos processos fotogramétricos digitais para a produção de dados espaciais baseados nos conceitos de gestão de qualidade ISO 9000 e nas diretrizes normativas suíças e norte-americanas. Procurou-se obter parâmetros de qualidade em cada um dos processos fotogramétricos digitais, de forma a garantir a qualidade final dos produtos e satisfazer às necessidades de precisão e exatidão dos dados espaciais e as suas aplicações. As principais fontes de erros são identificadas e comentadas e algumas das soluções propostas foram testadas com sucesso. / This work is aimed to the development of a Quality Control Process to be applied in the digital photogrametric processes that are part of the spatial data production. It is based on quality managements standards of ISO 9000 and in the Swiss and North American standards guidelines. Each step of the process was investigated to obtain individual parameters of quality that, collectively, were able to assure the quality of the end product, mostly in those aspects regarding the requirements for precision and accuracy. The main sources of errors are identified and discussed and some of the proposed solutions were tested successfully.
38

Sistema de classificação da gestão ambiental pública municipal baseado em lógica nebulosa / Classification system of municipal environemntal management based on fuzzy logic.

Ailton José Lima Martins Furtado 03 February 2011 (has links)
A partir da Lei n. 6.938 de 31 de agosto de 1981, que constituiu o Sistema Nacional do Meio Ambiente, criou-se o Conselho Nacional do Meio Ambiente e instituiu-se o Cadastro Técnico Federal de Atividades e Instrumentos de Defesa Ambiental, a gestão ambiental pública ganhou um espaço cada vez maior nas administrações municipais, com a implementação de instrumentos de gestão ambiental propiciando aos municípios a possibilidade de ações efetivas que contribuam para uma melhor qualidade de vida a população. Esse trabalho propõe a criação de um método de classificação municipal que indicará qual o nível da gestão ambiental do município. Verificando o número de instrumentos de gestão ambiental constituído e o número de problemas ambientais ocorridos em cada município na visão do gestor local nos anos de 2006/2008. E ainda qual a influência do IDH tanto na implementação de tais instrumentos de gestão ambiental, como nas ocorrências dos problemas ambientais. Tal classificação tem a intenção de verificar se o município encontra-se bem aparelhado no que se refere à gestão ambiental, auxiliando para futuras decisões nas ações da política ambiental local. O foco desse trabalho serão os municípios dos estados de Minas Gerais, Piauí e Rio de Janeiro. Os resultados serão processados via o software MATLAB utilizando lógica nebulosa (fuzzy) e apresentados em um website utilizando as linguagens de programação JSP, HTML, JavaScript e esse website armazenado em um servidor TomCat e tais resultados serão apresentados nas formas de valores alfanuméricos em tabelas e espaciais através de mapas temáticos em uma solução sig-web. Os dados estão armazenados em um Sistema Gerenciador de Banco de Dados PostgreSQL com sua extensão espacial PostGIS, e o acesso aos mapas será feito através do servidor de mapas MapServer. / Since the law n 6.938 of august 31, 1981, created the Environmental National System, the Environmental National Council and Database of Federal Technical Activities and Instruments of Environmental Defense, the public environmental management gained a broader space in the municipal administrations, the implementation of environmental management instruments propitiating cities the possibility of effective actions to contribute for a better life quality to population. Checking the number of environmental management of instruments implemented in every city and the number of environmental problems according to the local manager in the years 2006/2008, and checking the influence of IDH either in the implementation of such instruments of environmental management and in the incidence of environmental problems, this work proposes the creation of one method of municipal classification that will show what the level of environmental management of the city is. Such classification has the intention of checking if the city is well set in term of environmental management, helping in future decisions making on the actions of local environmental policies. The focus of this work will be on the cities of Minas Gerais, Piauí and Rio de Janeiro states. The results will be processed through MATLAB software using fuzzy logic and showing them in a web site using the languages JSP, HTML, JavaScript, being this web site stored in a TomCat server. Such results will be shown in the forms of alphanumeric values into tables, and special forms into thematic maps through a gis-web solution. The data are stored into an PostgreSQL Database Manager System with its PostGIS spacial extension, and the access to the maps will be through the MapServer server of maps.
39

Interoperabilidade entre o modelo de dados do Taxonomic Data Working Group (TDWG) e tags do OpenStreetMap para a espécie Sotalia Guianensis / Interoperability between the data model of the Taxonomic Data Working Group (TDWG) and OpenStreetMap tags for the species Sotalia guianensis

Cyntia Virolli Cid Molina 23 March 2016 (has links)
A falta de padronização de dados pode resultar em perda de informações de suma importância nas diversas áreas do conhecimento, impossibilitando a integração de dados entre diferentes sistemas ou de diferentes bancos de dados, ou seja, os dados podem não ser interoperáveis. A solução para a integração de dados pode ser chamada de interoperabilidade, que são convenções e normas de formatos (extensões) e ontologias (padrões comuns) instituídos para que os sistemas possam dialogar. Um banco de dados de biodiversidade é um instrumento muito importante para as iniciativas de sua conservação, sendo útil para o seu conhecimento, registro histórico entre outros. Este trabalho desenvolveu uma metodologia para interoperar dados modelados no padrão Taxonomic Data Working Group (TDWG) e tags do OpenStreetMap (OSM) sobre a espécie Sotalia guianensis, conhecida como Boto Cinza. Dentro deste escopo, este trabalho se justifica pelo cenário de ameaça de extinção do Boto Cinza, pela necessidade no desenvolvimento de metodologias para a disponibilização de dados de ocorrência de Boto Cinza em bancos de dados de biodiversidade e pela necessidade de se desenvolver metodologia que permita a interoperabilidade entre bancos de dados de biodiversidade e outros Sistemas de Informação Geográfica (SIG). Este estudo propõe uma metodologia de baixo custo, com a utilização de plataformas livres, para que dados espaciais de Biodiversidade sejam modelados de maneira a evitar problemas taxonômicos, além de serem disponibilizados para conhecimento geral da população. O trabalho se mostra inovador por integrar dados do Global Diversity Information Facility (GBIF) com as Tags do OSM, possibilitando o cadastro padronizado e gratuito em uma plataforma livre e de alcance mundial através da criação de uma etiqueta interoperável de equivalência entre o padrão TDWG e as etiquetas do OSM. O resultado deste trabalho é a metodologia para a modelagem e publicação de dados de Boto Cinza no GBIF e OSM de forma interoperável, que foi implementada, testada e cujos resultados são positivos / The absence of data standardization may result in loss of information of major importance through several areas of knowledge, hindering data integration among different information systems or databases, that is, the data may not be interoperable. The solution for data integration may be called interoperability, which is comprised of conventions, data format standards (file extensions) and ontologies (standards), empowering the communication among information systems. A biodiversity database is a very important tool for biodiversity conservation initiatives, being useful for knowledge transfer, historical data storage among other activities. This work developed a methodology for interoperate data between the Taxonomic Data Working Group (TWDG) standard and OpenStreetMap (OSM) tags on Sotalia guianensis species, as known as Guiana dolphin. This work has its motivation scenario on the fact that the Guiana dolphin is under threat of extinction. This scenario demands the development of methodologies for the publication of the locations where the Guiana dolphin is being spotted over the biodiversity databases and the development of a methodology for interoperability among biodiversity databases as well as Geographic Information Systems (SIG). This study proposes a low cost methodology, which uses open-source platforms and focuses on two main goals: avoidance of taxonomical problems on biodiversity spatial data modelling and to provide the biodiversity spatial data to the population in general. This work proves itself innovative by integrating Global Diversity Information Facility (GBIF) data with OSM tags, allowing a free and standardized registry of data in an open-source global-scale platform by using an interoperable tag of equivalence data between the TDWG standard and OSM tags. The result of this study is the methodology for data modelling and publication of the Guiana dolphin on GBIF and OSM in an interoperable manner, which has been implemented, tested and gave positive results
40

Sistema de controle de qualidade dos processos fotogramétricos digitais para produção de dados espaciais / Quality control system of the digital photogrammetric process for producing spatial data

Simone Sayuri Sato 28 August 2003 (has links)
Este trabalho propõe um Sistema de Controle de Qualidade (CQP) dos processos fotogramétricos digitais para a produção de dados espaciais baseados nos conceitos de gestão de qualidade ISO 9000 e nas diretrizes normativas suíças e norte-americanas. Procurou-se obter parâmetros de qualidade em cada um dos processos fotogramétricos digitais, de forma a garantir a qualidade final dos produtos e satisfazer às necessidades de precisão e exatidão dos dados espaciais e as suas aplicações. As principais fontes de erros são identificadas e comentadas e algumas das soluções propostas foram testadas com sucesso. / This work is aimed to the development of a Quality Control Process to be applied in the digital photogrametric processes that are part of the spatial data production. It is based on quality managements standards of ISO 9000 and in the Swiss and North American standards guidelines. Each step of the process was investigated to obtain individual parameters of quality that, collectively, were able to assure the quality of the end product, mostly in those aspects regarding the requirements for precision and accuracy. The main sources of errors are identified and discussed and some of the proposed solutions were tested successfully.

Page generated in 0.0724 seconds