Analysis-aware design of embedded systems software

In the past many different methodologies have been devised to support software development and different sets of methodologies have been developed to support the analysis of software artefacts. We have identified this mismatch as one of the causes of the poor reliability of embedded systems software. The issue with software development styles is that they are ``analysis-agnostic.'' They do not try to structure the code in a way that lends itself to analysis. The analysis is usually applied post-mortem after the software was developed and it requires a large amount of effort. The issue with software analysis methodologies is that they do not exploit available information about the system being analyzed.

In this thesis we address the above issues by developing a new methodology, called "analysis-aware" design, that links software development styles with the capabilities of analysis tools. This methodology forms the basis of a framework for interactive software development. The framework consists of an executable specification language and a set of analysis tools based on static analysis, testing, and model checking. The language enforces an analysis-friendly code structure and offers primitives that allow users to implement their own testers and model checkers directly in the language. We introduce a new approach to static analysis that takes advantage of the capabilities of a rule-based engine. We have applied the analysis-aware methodology to the development of a smart home application.

Utilização de indicadores de resultados para a avaliação da qualidade em hospitais de Agudos : mortalidade hospitalar após cirurgia de revascularização do miocárdio em hospitais brasileiros

Não tem sido frequentes no Brasil estudos de avaliação da qualidade dos serviços de saúde. Tem sido adotado entendimento de qualidade como o grau em que processo de assistência aumenta a probabilidade de resultados favoráveis e diminui a probabilidade de resultados desfavoráveis, dado o estado do conhecimento médico. Indicadores de resultados de efeitos adversos do processo de assistência costumam ser empregados e, entre eles, para aquelas condições e procedimentos onde óbitos ocorrem com frequência, estão as taxas de mortalidade hospitalar. Entre esses procedimentos inclui-se a cirurgia de revascularizaçäo do miocárdio. Apesar de frequentes na literatura, particularmente norte-americana, não há estudos de escala realizados no Brasil. Para estudos deste tipo bases de dados administrativas tem sido empregadas. No Brasil recentemente tem sido exploradas as potencialidades dos bancos de dados do Sistema de Informações Hospitalares do Sistema Único de Saúde do Ministério da Saúde (SIH-SUS) em diversos estudos. Como há registro de óbitos hospitalares no sistema é possível utilizá-lo para a obtenção de dados sobre mortalidade hospitalar. Os bancos de dados do SIH-SUS de 1996 a 1998 foram integrados e as variáveis disponíveis no banco obtido examinadas quanto a possibilidade de inclusão do estudo descritivo de características da cirurgia coronária no país. Foram identificadas aquelas variáveis que poderiam ser utilizadas para proceder algum grau de ajuste de risco para os casos atendidos pelos diferentes hospitais. Para que se obtivesse uma comparação do comportamento do ajuste obtido com essas variáveis com modelos mais completos que incorporassern mais variáveis, inclusive variáveis clínicas, foram estudadas para o mesmo período, as internações realizadas no Hospital Universitário Pedro Ernesto da Universidade do Estado do Rio de Janeiro, utilizando dados de banco específico do Serviço de Cirurgia Cardíaca. Além do estudo descritivo foram desenvolvidos para os casos deste hospital modelos de regressão logística incorporando variáveis pré-operatórias e com as variáveis disponíveis no SIH-SUS para avaliar as diferentes capacidades de ajuste de risco. Após a escolha de um modelo de risco com maior capacidade de ajuste, foram calculadas as taxas de mortalidade hospitalar e obtidos os valores de taxas esperadas após o ajuste de risco. Os hospitais forma ordenados de acordo com as razões entre as taxas observadas e esperadas e identificados aqueles hospitais que apresentavam razões estatisticamente significativas superiores e inferiores a média nacional. Estudou-se também o efeito do volume de casos sobre a mortalidade hospitalar. Foram obtidas informações de 41.989 cirurgias codificadas como cirurgia coronária com circulação extracorpórea realizadas em 131 hospitais brasileiros, em 22 unidades da federaçâo. A taxa anual por 100000 habitantes foi de 8,7 para o Brasil, com São Paulo apresentando taxa de 16,6. Para efeitos de comparação a taxa em anos em torno de 1997 foi de 144,5 nos EUA, 54,4 no Canadá, 90,0 na Austrália e 31,5 em Portugal. A taxa de mortalidade no período foi de 7,2 % (EUA, 2,8%; Canadá, 2,5%: França, 3,2%). A maioria de pacientes operados foi do sexo masculino (67,5%) e a idade média foi de 59,9 anos.

Desarrollo de software para la realización de ensayos dinámicos de mecanismos de cinemática paralela

[ES]El presente Trabajo de Fin de Grado tiene como objetivo contribuir al desarrollo de un proyecto de investigación mediante la programación y control del movimiento de mecanismos de cinemática paralela para la realización de ensayos dinámicos. Dicho proyecto está enmarcado dentro de una línea de investigación del grupo de investigación CompMech de la UPV-­‐EHU que gira en torno al desarrollo y estudio de este tipo de mecanismos. Esto es; este trabajo, más allá de la utilidad que pudiera tener por sí mismo, está pensado para formar parte de un proyecto de mayor envergadura, para cuyo éxito será imprescindible la colaboración con otros investigadores y la integración de este trabajo con los realizados por ellos. Consiste en la creación de un software para el control y movimiento de mecanismos, generando vibraciones para la realización de ensayos dinámicos. Para ello, se programarán sobre la plataforma LabVIEW la interfaz de usuario y el motor de cálculo. Una vez se compruebe que el programa funciona correctamente, se integrará dentro de un programa principal, un control articular que será el encargado de comunicarse con la máquina. Posteriormente, se procederá a la realización de ensayos experimentales sobre los propios robots, en taller. Se tomarán medidas mediante acelerómetros y otros dispositivos, determinando las medidas más adecuadas para su correcta validación. Finalmente, se generalizará el trabajo realizado para posibilitar su empleo futuro en diferentes mecanismos

Avaliação da qualidade da assistência perinatal : um exercício

A relação da qualidade da prática médica assistencial com os indicadores de saúde tem sido objeto de controvérsia. A possibilidade de avaliar o estado de saúde do recém-nascido em função do cuidado recebido, facilita o estudo desta relação, principalmente na área perinatal onde a expectativa é o nascimento de um bebê saudável ao final de uma gestação sem fatores de riscos acompanhados segundo as normas obstétricas vigentes. Neste estudo, examina-se a adequação do acompanhamento do trabalho de parto em uma maternidade pública do Estado do Rio de Janeiro, sob a ótica de avaliação de qualidade pela abordagem de processos e resultados através de critérios explícitos supondo que os fatores selecionados como componentes do processo de assistência ao trabalho de parto determinariam o resultado. Observa-se tais relações através da metodologia epidemiológica optando por um estudo caso-referente ou um estudo caso-controle, com definição primária da base. Selecionou-se como determinantes da qualidade da prática obstétrica intraparto a duração do trabalho de parto, percepção de alterações durante o trabalho de parto, prontidão para intervenção, número de exames realizados e intervalo entre o último exame e hora do parto. O resultado neonatal adverso caracterizou-se por óbito intra-útero, óbito neonatal e presença de um conjunto de sinais clínicos anormais no período neonatal imediato, com alto valor preditivo para o futuro dano neurológico. O risco de um resultado adverso foi estimado pela razão dos produtos cruzados aodds ratio (OR) numa população de 34 casos e 124 controles. A duração do trabalho de parto maior que doze horas esteve associada a um OR igual a 3,48 (1,28-9,43), idade da gestante, dilatação cervical do colo uterino à admissão e peso ao nascer modificaram o efeito desta associação, que também foi confundida pela paridade e pelo uso da ocitocina contrariando hipótese inicial. A percepção de alterações resultou num OR= 14,73 (4.24-54,27) e, à medida que o tempo de intervenção se prolongava os riscos aumentavam obedecendo a uma tendência linear. Discutem-se as dificuldades de aplicação metodologia epidemiológica ao campo da avaliação da qualidade, essencialmente no que se refere as exigências quantitativas, para garantir precisão e confiabilidade. A observação da interação e o controle do confundimento apontam o cuidado necessário nos trabalhos desta natureza para alcançar consistência e validade.

Avaliação prospectiva longitudinal da qualidade de vida de adolescentes submetidos a tratamento ortodôntico

A literatura científica ainda não é consistente em relação aos benefícios psicossociais proporcionados pelo tratamento ortodôntico. Os objetivos deste estudo foram conhecer as alterações na qualidade de vida relacionada com a saúde bucal (OHRQoL) e com a autopercepção estética de adolescentes brasileiros de 12 a 15 anos de idade tratados ortodonticamente, durante dois anos de avaliação prospectiva longitudinal. A amostra foi constituída de 318 jovens: 92 que iniciaram tratamento ortodôntico em uma instituição de ensino (grupo orto), e 226 indivíduos não tratados: 124 que procuraram avaliação ortodôntica na mesma instituição e não receberam tratamento durante os dois anos em que foram acompanhados na pesquisa, pois estavam aguardando uma vaga na lista de espera para iniciar o tratamento (grupo de espera), e 102 que nunca buscaram tratamento ortodôntico e que estudam em uma escola vizinha à instituição (grupo escola). A qualidade de vida foi mensurada utilizando o OHIP-14. A necessidade normativa e estética de tratamento ortodôntico foi avaliada com o índice IOTN, o nível social com o Critério de Classificação Econômica Brasil e a saúde dental com o índice CPO-D. As avaliações foram repetidas em três momentos: no exame inicial (T1); um ano depois do início do tratamento ortodôntico, para o grupo orto, e um ano após o exame inicial, para os grupos de espera e escola (T2); e dois anos depois do início do tratamento para o grupo orto, e dois anos depois do exame inicial para os grupos de espera e escola (T3). O tratamento ortodôntico reduziu significativamente os escores de OHRQoL: as médias do escores tiveram uma redução de 10,4 para 9,2 e para 1,6 entre a primeira, segunda e terceira avaliações (p<0,001). A autopercepção estética se comportou de maneira similar, com uma redução progressiva e significativa (p<0,001) nos pacientes tratados, que também tiveram melhora significativa na gravidade da má oclusão (p<0,001). Porém, os indivíduos que removeram o aparelho tiveram OHRQoL e autopercepção estética significativamente melhores em relação aos pacientes que não finalizaram o tratamento no período de dois anos. Os adolescentes do grupo de espera tiveram significativa piora na OHRQoL, que sofreu um aumento de 10,8 para 12,0 da primeira para a terceira avaliações (p<0,001), o que também ocorreu na autoavaliação estética, que sofreu um aumento significativo (p<0,001). Por outro lado, os adolescentes do grupo escola não tiveram nenhuma alteração desses índices nos períodos de avaliação, apresentando uma tendência estacionária para OHRQoL (p=0,34) e para a autopercepção estética (p=0,09). A gravidade da má oclusão não foi alterada nos grupos não tratados durante os dois anos de avaliação e o CPO-D não teve alteração significativa para nenhum dos três grupos. Foi possível concluir que o tratamento ortodôntico melhorou significativamente a qualidade de vida relacionada com a saúde bucal e a autopercepção estética dos adolescentes brasileiros submetidos a tratamento.

“Steer-by-wire” software garapena

[EU]Proiektu honek automobilen antzinako direkzio sistemak ordezkatuko dituen steer-by-wire-ren inplementazioa deskribatuko du, software-aren garapena, hain zuzen. Lan hau garatzeko, ezinbestekoa izango da orain arte egindako lanen bilketa eta azterketa egitea, baita nolako zailtasunak, arriskuak egongo diren eta posiblea izango litzatekeen etorkizun batean teknologia hau instalatzea. Programazio, mekanika eta automatika ezagutzaren bidez teknologia berri hau ordenagailu batean simulatuko da eta orain arte erabili izan diren teknologiekin alderatuko dira, ateratako emaitzekin ondorio nabarmenak ezarriz. Programazio eta simulaziorako “Labview” eta “Matlab-Simulink” software-ak erabiliko dira, beharrezkoak diren tresnen ezagutzak aurretik lortuz.

SCARA errobota: mugimendu gaitasunen eta ibilbide sorkuntzaren inplementazioa software grafikoan

[EU]Lan honen gaia SCARA errobot motaren mugimendu gaitasunen analisia egitea da, eta ibilbideen sorkuntzarako metodoekin batera software grafiko batean inplementatzea mugimenduaren simulazioa egin ahal izateko. Errobot serieen zinematikaren oinarrizko ezagutzatik hasita, mota konkretu batetara aplikatu egiten da eta honek aurkezten dituen berezitasunak garatu egiten dira, bi helburutara bideratuta: SCARA errobotaren mugimendu gaitasunak ezagutzea. Ibilbideen sorkuntzarako metodo baten inplementazioa. Hasteko, gaiaren egoera aztertu da, aplikazio nagusien eta ibilbide moten informazioa batzeko. Halaber ibilbideen sorkuntzarako metodoak arakatu dira, erabilera honetarako aproposena aurkitzeko. Jarraian, errobotaren analisia burutu da, ohizko erreminta matematikoak erabiliz, funtsezkoak diren lan eremua eta kokapen singularrak lortzeko. Ostean, software grafikoa garatu da mugimendu gaitasun hauek simulatzeko. Ohiko aplikazioetan oinarritutako ibilbideak sortzeko aukerak gehitu dira. Amaitzeko, oztopoak saihesten dituen ibilbideen sorkuntzarako metodoa inplementatu da, “pick and place” ibilbide motaren barruan.

Herramienta software para el análisis de rendimiento de redes 4G

[ES]El objetivo de este proyecto ha sido desarrollar una herramienta software que permita medir el rendimiento de redes con tecnología móvil 4G, también conocida como LTE. Para ello se ha creado un sistema software que está compuesto por una aplicación móvil y un servidor de aplicaciones. El sistema en conjunto realiza la función de recoger indicadores de calidad de la red móvil de diversa índole, que posteriormente son procesados utilizando herramientas software matemáticas, para así obtener gráficas y mapas que permiten analizar la situación y el rendimiento de una red 4G concreta. El desarrollo del software ha llegado a nivel de prototipo y se han realizado pruebas reales con él obteniendo resultados positivos de funcionamiento.

Análise da aplicação do regulamento técnico da qualidade do nível de eficiência energética no prédio do IBAM

A racionalização do uso da energia elétrica nas edificações é um assunto atual e de grande importância face ao grande impacto ambiental produzido. O consumo de energia elétrica no Brasil nas edificações residenciais, comerciais, de serviços e públicas é bastante significativo. Calcula-se que quase 50% da energia elétrica produzida no país seja consumida não só na operação e manutenção das edificações como também nos sistemas artificiais, que proporcionam conforto ambiental para seus usuários como iluminação, climatização e aquecimento de água. O Regulamento Técnico de Qualidade do Nível de Eficiência Energética de Edifícios Comerciais e Serviços e Públicos, RQT-C do INMETRO surge como uma contribuição à etiquetagem do nível de eficiência energética das edificações de uso coletivo. Para a determinação da eficiência são considerados três requisitos: envoltória da edificação, sistema de iluminação e sistema de condicionamento de ar. Todos os requisitos têm cinco níveis de eficiência que variam de A (mais eficiente) até E (menos eficiente), que associados com algumas bonificações (uso da energia solar, ventilação natural, etc.) tornam possível a atribuição de uma classificação geral para o edifício em seu todo. Neste trabalho objetivou-se avaliar esse desempenho energético para o prédio do Instituto Brasileiro de Adminstração Municipal -IBAM, situado na cidade do Rio de Janeiro, de concepção modernista. Foi mostrado como as decisões arquitetônicas tomadas e o uso da ventilação natural podem influenciar na avaliação de sua eficiência energética.

Ausência de correlação entre a penetração do cimento AH Plus nos túbulos dentinários e a qualidade do selamento

O presente estudo objetivou testar experimentalmente a existência da possível correlação entre a penetração de cimento nos túbulos dentinários e a qualidade do selamento. Foram utilizados 60 incisivos centrais superiores humanos que formaram um único grupo experimental. Após a eliminação das porções coronárias, as raízes foram padronizadas em 13 mm de comprimento. A instrumentação dos canais foi realizada no sentido coroa-ápice, e o comprimento de trabalho estabelecido a 1 mm aquém do forame apical. Como solução irrigadora foi empregado o NaOCl a 5,25% e ao final, EDTA a 17%. Em seguida, todos os canais foram obturados com guta-percha e cimento AH Plus marcado com um corante fluorescente. Para determinar a qualidade do selamento das obturações endodônticas, as amostras foram submetidas ao modelo de infiltração de glicose sob pressão. As raízes foram montadas em um dispositivo de dupla-câmara selada para permitir a infiltração da glicose. Como controle negativo foram utilizados 4 dentes hígidos, e como controle positivo, 2 dentes instrumentados porém, não obturados. Foram utilizados 0,75 mL de solução de glicose a 1 mol/L na câmara superior e 0,75 mL de água deionizada na câmara inferior. Os dispositivos foram conectados a um sistema de distribuição de pressão desenvolvido com o objetivo de permitir a infiltração de 32 amostras em uma mesma etapa. A solução de glicose foi forçada apicalmente sob uma pressão de 15 psi durante 1 hora. Uma alíquota de 50 L foi coletada da câmara inferior para quantificar a glicose infiltrada. A concentração de glicose foi determinada através de um método enzimático com o auxílio do Kit Glucose HK e de um espectrofotômetro em um comprimento de onda de 340 nm. Na sequência, as amostras foram desacopladas dos corpos de prova, embutidas em resina epóxi e cortadas em 3 secções transversais. Uma sequência de preparação metalográfica padrão foi realizada para permitir a observação da penetração de cimento nos túbulos dentinários por meio de microscopia confocal e óptica. Os dados obtidos nos 2 experimentos foram cruzados pelo teste de correlação de Spearman, o qual revelou a inexistência de qualquer possibilidade de correlação (r = 0,12). Com base nesses resultados, o presente trabalho concluiu que, dentro das condições experimentais usadas, a quantidade de cimento presente dentro dos túbulos dentinários não teve relação com a qualidade do selamento produzido.

Necessidades de orientação de enfermagem para o autocuidado visando a qualidade de vida de clientes em terapia de hemodiálise

Pressupondo que o conhecimento sobre a doença renal crônica (DRC) e seu tratamento, possibilita ao cliente entendimento e aceitação para conviver com esse agravo, favorecendo comportamentos de autocuidado, delimitou-se os problemas: Qual é a qualidade de vida de clientes com DRC submetidos à hemodiálise? Quais são as necessidades de orientação de enfermagem para o autocuidado desses clientes visando à promoção de sua qualidade de vida? Objetivos específicos: Identificar as características sóciodemográficas e nosológicas de clientes com DRC, em hemodiálise, associando às suas necessidades de orientação de enfermagem para o autocuidado; Identificar a qualidade de vida desses clientes, aplicando o questionário de Kidney Disease Quality of Life Short Form (KDQOL-SF); Relacionar as necessidades de orientação de enfermagem para o autocuidado com a qualidade de vida dos clientes com DRC em terapia de hemodiálise. Descreve-se como marco referencial a Teoria do Autocuidado de Orem, concepções de autocuidado e de qualidade de vida. Pesquisa descritiva, quantitativa, através da entrevista individual realizada na Unidade de Diálise da Enfermaria de Nefrologia do Hospital Universitário Pedro Ernesto da Universidade do Estado do Rio de Janeiro, no período de agosto de 2008 a maio de 2009. Foram sujeitos de pesquisa 43 clientes. Foram utilizados: formulário para caracterização da clientela e levantamento das necessidades de autocuidado e o questionário KDQOL-SF para mensurar a qualidade de vida dos sujeitos. Resultados: Os clientes com doença renal crônica em terapia de hemodiálise são, em sua maioria, do sexo masculino (55%) e mantém união estável (81%); situando-se 39,53%, na faixa etária de 45 a 65 anos e 79,07% na categoria de aposentados. 37,54% têm ensino fundamental. Quanto às características nosológicas, 74,42% possuem hipertensão arterial, encontrando-se 83,72% em hemodiálise, há menos de um ano. A qualidade de vida desses clientes, avaliada pelo KDQOL-SF, obteve os menores escores nas dimensões: limitações causadas por problemas da saúde física; condição de trabalho; limitações causadas por problemas da saúde emocional; capacidade funcional e sobrecarga imposta pela doença renal. Relacionando esse resultado com o obtido no questionário para avaliação das necessidades de orientação de enfermagem para o autocuidado tem-se: problemas da saúde física relacionado com terapia nutricional, ingestão de líquidos, complicações da hemodiálise, anticoagulação e prática de atividade física; relacionadas a problemas de saúde emocional tem-se a associação a grupos e a atividades de lazer; e relacionada à capacidade funcional e sobrecarga da doença renal tem-se a prática de atividade física. Conclui-se que a enfermagem, além de administrar a realização das sessões de hemodiálise, tem papel fundamental na educação à saúde dos clientes, familiares e/ou acompanhantes. O apoio do enfermeiro ao cliente no processo de enfrentamento e tratamento da DRC, contribui para que este adquira habilidade nas ações de autocuidado e consequentemente favoreça sua qualidade de vida.

IQAFAL - Índice Fuzzy de Qualidade de Água para Ambiente Lótico.

A divulgação de informação sobre qualidade das águas para um público não especialista é fundamental para subsidiar ações políticas e institucionais de gestão dos ambientes aquáticos. Para tanto, índices de qualidade de água têm sido propostos por serem capazes de sintetizar em um único valor ou categoria a informação normalmente descrita a partir de um conjunto extenso de variáveis químicas, físicas e biológicas de qualidade de água. A maioria das metodologias propostas para o desenvolvimento de índices de qualidade de água é baseada no conhecimento de especialistas quanto à escolha das variáveis a serem utilizadas, a ponderação da importância relativa de cada variável e métodos utilizados para agregar os dados das variáveis em um único valor. Este trabalho propõe um novo índice de qualidade de água, baseado em lógica nebulosa e direcionado para o ambiente lótico. Esse índice, o IQAFAL, foi desenvolvido com a colaboração de especialistas com ampla e comprovada experiência na área de qualidade de água. A essência do desenvolvimento de um índice, usando-se lógica nebulosa, está na capacidade dessa metodologia representar, de forma mais eficiente e clara, os limites dos intervalos de variação dos parâmetros de qualidade de água para um conjunto de categorias subjetivas, quando esses limites não são bem definidos ou são imprecisos. O índice proposto neste trabalho foi desenvolvido com base no conhecimento dos especialistas em qualidade de água do Instituto Estadual do Ambiente - INEA e aplicado aos dados de qualidade de água do Rio Paraíba do Sul, obtidos pelo INEA, nos anos de 2002 a 2009. Os resultados do IQAFAL mostraram que esse índice foi capaz de sintetizar a qualidade da água deste trecho do Rio Paraíba do Sul correspondendo satisfatoriamente às avaliações de qualidade de água descritas nos relatórios disponíveis. Verificou-se também que com essa metodologia foi possível evitar que a influência de uma variável em condições críticas fosse atenuada pela influência das outras variáveis em condições favoráveis produzindo um resultado indesejável no índice final.

Disseminação de dados estatísticos georeferenciados através de WEB services e software livre.

Diferentes organizações públicas e privadas coletam e disponibilizam uma massa de dados sobre a realidade sócio-econômica das diferentes nações. Há hoje, da parte do governo brasileiro, um interesse manifesto de divulgar uma gama diferenciada de informações para os mais diversos perfis de usuários. Persiste, contudo, uma série de limitações para uma divulgação mais massiva e democrática, entre elas, a heterogeneidade das fontes de dados, sua dispersão e formato de apresentação pouco amigável. Devido à complexidade inerente à informação geográfica envolvida, que produz incompatibilidade em vários níveis, o intercâmbio de dados em sistemas de informação geográfica não é problema trivial. Para aplicações desenvolvidas para a Web, uma solução são os Web Services que permitem que novas aplicações possam interagir com aquelas que já existem e que sistemas desenvolvidos em plataformas diferentes sejam compatíveis. Neste sentido, o objetivo do trabalho é mostrar as possibilidades de construção de portais usando software livre, a tecnologia dos Web Services e os padrões do Open Geospatial Consortium (OGC) para a disseminação de dados espaciais. Visando avaliar e testar as tecnologias selecionadas e comprovar sua efetividade foi desenvolvido um exemplo de portal de dados sócio-econômicos, compreendendo informações de um servidor local e de servidores remotos. As contribuições do trabalho são a disponibilização de mapas dinâmicos, a geração de mapas através da composição de mapas disponibilizados em servidores remotos e local e o uso do padrão OGC WMC. Analisando o protótipo de portal construído, verifica-se, contudo, que a localização e requisição de Web Services não são tarefas fáceis para um usuário típico da Internet. Nesta direção, os trabalhos futuros no domínio dos portais de informação geográfica poderiam adotar a tecnologia Representational State Transfer (REST).

Sistema de classificação da gestão ambiental pública municipal baseado em lógica nebulosa

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.