Verificação formal automatizada para sistemas de raciocínio procedural (PRS) utilizando redes de petri coloridas (RPC)

Este trabalho apresenta uma técnica de verificação formal de Sistemas de Raciocínio Procedural, PRS (Procedural Reasoning System), uma linguagem de programação que utiliza a abordagem do raciocínio procedural. Esta técnica baseia-se na utilização de regras de conversão entre programas PRS e Redes de Petri Coloridas (RPC). Para isso, são apresentadas regras de conversão de um sub-conjunto bem expressivo da maioria da sintaxe utilizada na linguagem PRS para RPC. A fim de proceder fia verificação formal do programa PRS especificado, uma vez que se disponha da rede de Petri equivalente ao programa PRS, utilizamos o formalismo das RPCs (verificação das propriedades estruturais e comportamentais) para analisarmos formalmente o programa PRS equivalente. Utilizamos uma ferramenta computacional disponível para desenhar, simular e analisar as redes de Petri coloridas geradas. Uma vez que disponhamos das regras de conversão PRS-RPC, podemos ser levados a querer fazer esta conversão de maneira estritamente manual. No entanto, a probabilidade de introdução de erros na conversão é grande, fazendo com que o esforço necessário para garantirmos a corretude da conversão manual seja da mesma ordem de grandeza que a eliminação de eventuais erros diretamente no programa PRS original. Assim, a conversão automatizada é de suma importância para evitar que a conversão manual nos leve a erros indesejáveis, podendo invalidar todo o processo de conversão. A principal contribuição deste trabalho de pesquisa diz respeito ao desenvolvimento de uma técnica de verificação formal automatizada que consiste basicamente em duas etapas distintas, embora inter-relacionadas. A primeira fase diz respeito fias regras de conversão de PRS para RPC. A segunda fase é concernente ao desenvolvimento de um conversor para fazer a transformação de maneira automatizada dos programas PRS para as RPCs. A conversão automática é possível, porque todas as regras de conversão apresentadas seguem leis de formação genéricas, passíveis de serem incluídas em algoritmos

Geoprocessamento e computação inteligente: possibilidades, vantagens e necessidades

Pós-graduação em Geografia - IGCE

Adolescente infrator: as práticas restaurativas (mediação) e a nova Lei do Sistema Nacional de Atendimento Socioeducativo (SINASE) na cidade do Rio de Janeiro

Este estudo, intitulado Adolescente infrator: A mediação prevista na nova Lei do Sistema Nacional de Atendimento Socioeducativo (SINASE) na cidade do Rio de Janeiro trata da mediação na vertente transformativa, com o objetivo de permitir nova ótica sobre a conduta infratora e as consequências dos atos no mundo social. Esta forma de atuação, dentre outros benefícios, pode evitar o desgaste jurisdicional, na medida em que os casos selecionados a partir de suas características passam a ser operados por especialistas em composição pacífica de conflitos, com a perspectiva de seres humanos que necessitam da inter-relação no convívio social. Os mediadores trabalham com os adolescentes em conflito com a lei, seus pais e as vítimas. Destarte, verificando as circunstâncias favoráveis à mediação, passa-se ao diálogo para alcançar um acordo, mantendo-se o centro da intervenção no conflito e na relação dos conflitantes, incentivando a capacitação para a negociação a partir do reconhecimento do direito do outro, produzindo a transformação interna dos litigantes que causará, como efeito desejado, a dissolução do conflito. A princípio os mediadores devem atuar apenas em fatos de menor potencial ofensivo, como agressões leves e outros conflitos entre adolescentes. Com o passar do tempo e o aperfeiçoamento da prática, é possível abarcar outras classes de prática infracional, a exemplo de pequenos furtos. Para tanto, na fase de pesquisa, tentando-se explicar a mediação transformadora a partir das referências teóricas publicadas em livros ou obras congêneres, utilizou-se a técnica bibliográfica; na fase da redação, ordenou-se o material coletado, segundo a lógica necessária à elaboração de um trabalho científico. O método a presidir este estudo foi o dedutivo, na medida em que parte da análise geral das crianças e dos adolescentes, em especial aqueles em conflito com a lei, para depois apresentar a teoria geral da mediação e em seguida, numa abordagem mais particular, enfrentar as questões envolvendo a mediação no Sistema Nacional de Atendimento Socioeducativo (SINASE) para, ao final, defender que é preciso desvendar o marco normativo que autoriza a prática da mediação como instrumento de resolução de questões relacionadas com o adolescente em conflito com a lei, para identificar a natureza jurídica desse modelo de mediação e, ao final, a título de sugestão, desenhar seu procedimento não estabelecido pela lei material que a prevê, qual seja, a Lei n 12.594, de 18 de janeiro de 2012. O grande desafio é establecer a metodologia adequada para que a autocomposição de conflito seja restaurativa ao adolescente infrator e aos integrantes desse conflito instaurado. O resgate do meio social abalado com a prática infracional é tão importante quanto a conscientização do adolescente. A pretensão é sugerir um marco normativo que posicione o procedimento da mediação como instrumento de ligação do indivíduo adolescente infrator, com o ambiente social onde está inserido, e com o formalismo processual que vem afastando o Poder Judiciário de sua função social de dizer o direito e fazer justiça.

A dimensão processual do raciocínio clínico das enfermeiras numa unidade de cuidados intermédios

As enfermeiras no decorrer do processo de cuidados tomam múltiplas decisões, com diferentes objectivos, em curto período de tempo porque previnem, minimizam e corrigem situações clínicas instáveis. A problematização da clínica sugere que os modelos tradicionais baseados numa avaliação probabilística de determinado resultado ou da capacidade de processar a informação face a uma enunciada situação não têm poder explicativo do pensamento das enfermeiras. Problema que remete para a necessidade de estudar e compreender a estrutura e o modo com que se desenvolve este processo. Foi desenvolvido um estudo sob o referencial da Grounded Theory. Num primeiro tempo recolhemos e analisámos narrativas escritas das enfermeiras, num segundo optámos por recolher informação em contexto naturalista, e com recurso às técnicas de observação não participante e entrevistas explicativas da ação. Os resultados mostram que o raciocínio clínico que suporta as acções acontece numa estrutura dinâmica. É impulsionada por um processo sincrónico de avaliação diagnóstica e intervenção clínica num movimento em espiral. Este processo ocorre de forma sistemática e contínua durante o processo de cuidados. É alimentado por diferentes formatos tanto de conhecimento quanto de estratégias. O dinamismo da estrutura está sustentado em quatro pilares: o conhecimento do doente, a natureza das situações clínicas, o tempo de decisão e os conhecimentos, atitudes e habilidades da enfermeira. Concluímos que o processo nos remete para um sistema de grande complexidade pelo número de dados em uso e em interacção, tanto na estrutura quanto no modo como ela é sustentada.

Disfuncionalidades do sistema jurídico criminal do Brasil em face do direito fundamental à segurança

Tese de doutoramento, Direito (Ciências Jurídico-Políticas), Universidade de Lisboa, Faculdade de Direito, 2014

Estudo da Viabilidade Técnico-Económica de umm Sistema de Cogeração para um Complexo de Piscinas Interiores

A presente dissertação centrou-se no estudo técnico-económico de dois cenários futuros para a continuação de fornecimento de energia térmica a um complexo de piscinas existente na região do vale do Tâmega. Neste momento a central de cogeração existente excedeu a sua licença de utilização e necessita de ser substituída. Os dois cenários em estudo são a compra de uma nova caldeira, a gás natural, para suprir as necessidades térmicas da caldeira existente a fuelóleo, ou o uso de um sistema de cogeração compacto que poderá estar disponível numa empresa do grupo. No primeiro cenário o investimento envolvido é cerca de 456 640 € sem proveitos de outra ordem para além dos requisitos térmicos, mas no segundo cenário os resultados são bem diferentes, mesmo que tenha de ser realizado o investimento de 1 000 000 € na instalação. Para este cenário foi efetuado um levantamento da legislação nacional no que toca à cogeração, recolheram-se dados do edifício como: horas de funcionamento, número de utentes, consumos de energia elétrica, térmica, água, temperatura da água das piscinas, temperatura do ar da nave, assim como as principais características da instalação de cogeração compacta. Com esta informação realizou-se o balanço de massa e energia e criou-se um modelo da nova instalação em software de modelação processual (Aspen Plus® da AspenTech). Os rendimentos térmico e elétrico obtidos da nova central de cogeração compacta foram, respetivamente, de 38,1% e 39,8%, com uma percentagem de perdas de 12,5% o que determinou um rendimento global de 78%. A avaliação da poupança de energia primária para esta instalação de cogeração compacta foi de 19,6 % o que permitiu concluir que é de elevada eficiência. O modelo criado permitiu compreender as necessidades energéticas, determinar alguns custos associados ao processo e simular o funcionamento da unidade com diferentes temperaturas de ar ambiente (cenários de verão e inverno com temperaturas médias de 20ºC e 5ºC). Os resultados revelaram uma diminuição de 1,14 €/h no custo da electricidade e um aumento do consumo de gás natural de 62,47 €/h durante o período mais frio no inverno devido ao aumento das perdas provocadas pela diminuição da temperatura exterior. Com esta nova unidade de cogeração compacta a poupança total anual pode ser, em média, de 267 780 € admitindo um valor para a manutenção de 97 698 €/ano. Se assim for, o projeto apresenta um retorno do investimento ao fim de 5 anos, com um VAL de 1 030 430 € e uma taxa interna de rentabilidade (TIR) de 14% (positiva, se se considerar a taxa de atualização do investimento de 3% para 15 anos de vida). Apesar do custo inicial ser elevado, os parâmetros económicos mostram que o projeto tem viabilidade económica e dará lucro durante cerca de 9 anos.

Reformulação de um Sistema de Gestão de Consumos de Energia

Atualmente a energia é considerada um vetor estratégico nas diversas organizações. Assim sendo, a gestão e a utilização racional da energia são consideradas instrumentos fundamentais para a redução dos consumos associados aos processos de produção do sector industrial. As ações de gestão energética não deverão ficar pela fase do projeto das instalações e dos meios de produção, mas sim acompanhar a atividade da Empresa. A gestão da energia deve ser sustentada com base na realização regular de diagnósticos energéticos às instalações consumidoras e concretizada através de planos de atuação e de investimento que apresentem como principal objetivo a promoção da eficiência energética, conduzindo assim à redução dos respetivos consumos e, consequentemente, à redução da fatura energética. Neste contexto, a utilização de ferramentas de apoio à gestão de energia promovem um consumo energético mais racional, ou seja, promovem a eficiência energética e é neste sentido que se insere este trabalho. O presente trabalho foi desenvolvido na Empresa RAR Açúcar e apresentou como principais objetivos: a reformulação do Sistema de Gestão de Consumos de Energia da Empresa, a criação de um modelo quantitativo que permitisse ao Gestor de Energia prever os consumos anuais de água, fuelóleo e eletricidade da Refinaria e a elaboração de um plano de consumos para o ano de 2014 a partir do modelo criado. A reformulação do respetivo Sistema de Gestão de Consumos resultou de um conjunto de etapas. Numa primeira fase foi necessário efetuar uma caraterização e uma análise do atual Sistema de Gestão de Consumos da Empresa, sistema composto por um conjunto de sete ficheiros de cálculo do programa Microsoft Excel©. Terminada a análise, selecionada a informação pertinente e propostas todas as melhorias a introduzir nos ficheiros, procedeu-se à reformulação do respetivo SGE, reduzindo-se o conjunto de ficheiros de cálculo para apenas dois ficheiros, um onde serão efetuados e visualizados todos os registos e outro onde serão realizados os cálculos necessários para o controlo energético da Empresa. O novo Sistema de Gestão de Consumos de Energia será implementado no início do ano de 2015. Relativamente às alterações propostas para as folhas de registos manuais, estas já foram implementadas pela Empresa. Esta aplicação prática mostrou-se bastante eficiente uma vez que permitiu grandes melhorias processuais nomeadamente, menores tempos de preenchimento das mesmas e um encurtamento das rotas efetuadas diariamente pelos operadores. Através do levantamento efetuado aos diversos contadores foi possível identificar todas as áreas onde será necessário a sua instalação e a substituição de todos os contadores avariados, permitindo deste modo uma contabilização mais precisa de todos os consumos da Empresa. Com esta reestruturação o Sistema de Gestão de Consumos tornou-se mais dinâmico, mais claro e, principalmente, mais eficiente. Para a criação do modelo de previsão de consumos da Empresa foi necessário efetuar-se um levantamento dos consumos históricos de água, eletricidade, fuelóleo e produção de açúcar de dois anos. Após este levantamento determinaram-se os consumos específicos de água, fuelóleo e eletricidade diários (para cada semana dos dois anos) e procedeu-se à caracterização destes consumos por tipo de dia. Efetuada a caracterização definiu-se para cada tipo de dia um consumo específico médio com base nos dois anos. O modelo de previsão de consumos foi criado com base nos consumos específicos médios dos dois anos correspondentes a cada tipo de dia. Procedeu-se por fim à verificação do modelo, comparando-se os consumos obtidos através do modelo (consumos previstos) com os consumos reais de cada ano. Para o ano de 2012 o modelo apresenta um desvio de 6% na previsão da água, 12% na previsão da eletricidade e de 6% na previsão do fuelóleo. Em relação ao ano de 2013, o modelo apresenta um erro de 1% para a previsão dos consumos de água, 8% para o fuelóleo e de 1% para a eletricidade. Este modelo permitirá efetuar contratos de aquisição de energia elétrica com maior rigor o que conduzirá a vantagens na sua negociação e consequentemente numa redução dos custos resultantes da aquisição da mesma. Permitirá também uma adequação dos fluxos de tesouraria à necessidade reais da Empresa, resultante de um modelo de previsão mais rigoroso e que se traduz numa mais-valia financeira para a mesma. Foi também proposto a elaboração de um plano de consumos para o ano de 2014 a partir do modelo criado em função da produção prevista para esse mesmo ano. O modelo apresenta um desvio de 24% na previsão da água, 0% na previsão da eletricidade e de 28% na previsão do fuelóleo.

A internet e o sistema de justiça

The subject of study of this Thesis aims to highlight and recognize as an object of reflection the undoubted relationship between the Internet and the Justice System, based on the issue of digital evidence. The simultaneously crossing of the juridical-legal implications and the more technical computer issues is the actual trigger for the discussion of the issues established. The Convention on Cybercrime of the Council of Europe of 23rd November 2001 and the Council Framework Decision n.° 2005/222/JHA of 24th February 2005 were avant-garde in terms of the international work about the crimes in the digital environment. In addition they enabled the harmonization of national legislations on the matter and, consequently, a greater flexibility in international judicial cooperation. Portugal, in compliance with these international studies, ratified, implemented and approved Law n. º 109/2009 of 15th September concerning the Cybercrime Act, establishing a more specific investigation and collection of evidence in electronic support when it comes to combating this type of crime, as it reinforced the Substantive Criminal Law and Procedural Nature. Nevertheless, the constant debates about the New Technologies of Information and Communication have not neglected the positive role of these tools for the user. However, they express a particular concern for their counterproductive effects; a special caution prevails on the part of the judge in assessing the digital evidence, especially circumstantial evidence, due to the its fragility. Indisputably, the practice of crimes through the computer universe, given its inexorable technical complexity, entails many difficulties for the forensic investigation, since the proofs hold temporary, changeable, volatile, and dispersed features. In this pillar, after the consummation of iter criminis, the Fundamental Rights of the suspects may be debated in the course of the investigation and the construction of iter probatorium. The intent of this Thesis is to contribute in a reflective way on the issues presented in order to achieve a bigger technical and legal awareness regarding the collection of digital proof, looking for a much lighter approach to its suitability in terms of evidentiary value.

As Perceções de Justiça Organizacional no Sistema de Recompensas e a sua Influência na Satisfação no Trabalho : Estudo de Caso INATEL

Em face das transformações impostas pela globalização da economia as organizações necessitam de se adaptar às novas exigências para se tornarem mais competitivas e consequentemente devem procurar um melhor relacionamento com os seus colaboradores, de forma a aumentar os seus níveis de satisfação no trabalho. Neste sentido, o presente estudo tem como objetivo determinar quais as dimensões de justiça organizacional que, num contexto do sistema de recompensas, são identificadas pelos trabalhadores e qual a sua influência na satisfação no trabalho. Para o efeito foi efetuada uma revisão de literatura sobre as temáticas em estudo, que permitiu a elaboração dos instrumentos de medida das diferentes dimensões de justiça organizacional, bem como da satisfação do trabalho. Para esta última temática foi utilizado um instrumento de medida sobejamente testado: o Job Satisfaction Survey de Spector (1985). Deste modo, nesta investigação foi aplicada uma metodologia descritiva quantitativa através de um questionário que integra as duas temáticas anteriormente referidas (justiça organizacional e satisfação no trabalho), que foi aplicado a cento e trinta e nove colaboradores na Sede da Fundação INATEL. Da análise dos coeficientes de regressão múltipla obtidos para as três dimensões de justiça organizacional (distributiva, procedimental e interaccional) verifica-se que a justiça distributiva revelou ser o preditor significativo da satisfação no trabalho. Já no que se refere às dimensões de justiça procedimental e justiça interaccional os resultados obtidos permitem concluir que estas dimensões não têm influência sobre a satisfação no trabalho.

Raciocínio baseado em caso : uma aplicação em manutenção de máquinas e equipamentos

o ambiente econômico atual tem imposto desafios em atividades como atendimento de pedidos de produção, com lotes e prazos de entrega cada vez menores e garantia de inexistência de erros de qualidade e entrega. Portanto, se faz imperativo um tratamento diferenciado da manutenção dos equipamentos, exigindo o uso de tecnologias que permitam, através da minimização dos tempos envolvidos em reparos, avanços contínuos na direção de "zero-quebra" e "zero-defeito". Embora a busca sempre deva ser de eliminar paradas por quebra, atacando suas causas na raiz, através de ações de melhoramento contínuo das condições das máquinas e instalações, estas ainda persistem. Seja por falta de recursos para a implantação das ações técnicas necessárias ou pela inviabilidade econômica desta implantação, as intervenções corretivas, que em quase sua totalidade estão estruturadas com base na experiência individual dos profissionais da área, continuam sendo requeridas. A empresa fica então na dependência da correta avaliação de profissionais especialistas, os quais são também suscetíveis a erros de diagnóstico, o que coloca em risco a continuidade das operações fabris. Este trabalho revisa o conceito de TPM (Total Productive Management ou Gestão Produtiva Total) aplicado a organizações, processos produtivos e resultados potenciais tangíveis e intangíveis de sua aplicação. A manutenção planejada, um dos pilares do TPM onde são focalizadas as intervenções por quebra-máquina, descreve as divisões de atividades em uma intervenção de conserto. Neste ponto são localizadas as etapas onde o CBR (Case-Based Reasoning) ou Raciocínio Baseado em Casos, pode ser utilizado a fim de minimizar o tempo total da intervenção. Um protótipo de CBR é criado para auxiliar especialistas de manutenção durante o processo de diagnóstico de causas de quebras de máquinas. Este protótipo utiliza CBR como método para armazenamento de casos pregressos de quebras de máquina. A base de casos do CBR fornece ferramentas para recuperação e reutilização destas experiências quando da recorrência da quebra de máquina, auxiliando profissionais da manutenção a executar seu trabalho O pacote de ferramentas CBR Content Navigator, Versão 3.2 desenvolvido pela Inference CorporationTM foi utilizado como: (i) repositório para modelagem e armazenamento do banco de casos, (ii) mecanismo de recuperação (ou busca) de casos na base do sistema e, (iii) ferramentas para apresentar a solução dos problemas de quebra de máquina.

Um sistema de valores de troca para suporte às interações em sociedades artificiais

Este trabalho propõe a definição de um Sistema de Valores de Troca para modelar as trocas sociais entre agentes em sociedade artificiais. Esse sistema é baseado na Teoria das Trocas de Valores de Jean Piaget e é composto por uma algebrá de valores de troca, que indica como esses valores devem ser representados e manipulados, por um mecanismo de raciocínio social baseado em vaores de troca e por estruturas capazes de armazenar e manipular tais valores. Nesse sistema, os valores de troca são vistos tanto como elementos motivadores das interações quanto como elementos reguladores responsáveis pelo equilíbrio e continuidade das trocas sociais. Acredita-se que o istema proposto é capaz de melhorar a modelagem das interações. É mostrado, também, como o sistema de valores proposto pode ser integrado com modelos de interação existentes na literatura de sistemas multiagente; Para isso, foram escolhidos dosi modelos práticos de organização dinâmica - o Redes de Contrato e o Modelo de Coalizões Baseadas em Dependências. Para demonstrar comomo o sistema de valores pode ser aplicado na modelagem e na simuulação de situações reais, é descrito um cenário para experimentação, no qual o sistema proposto é utilizado para modelar, de forma simplificada, o processo de lobby atrtavés de contribuições para campanhas políticas. Com este cenário pretende-se observar, além da dinâmica dos valores de troca, a capacidade do sistema em modelar caraterísticas mais subjetivas das interações (normalmente observadas nas relações humanas), e, ao tempo tempo, prover elementos reguladores, instrurmentos para a continuidade das interações e trocas sociais.

Educação ambiental em escolas públicas: fundamentos para o raciocínio ecológico

A organizaçao logica do pensamento ocidental caracteriza-se pela predominancia de valores estáticos, fragmentados e abstratos. A abstração do pensamento favoreceu o desenvolvimento de uma ciencia e tecnologia alheias a relação de interdependncia entre o homem e seu ecossistema. A soberania da ciencia fragmentada, apoiada por conceitos ideológicos, políticos e economicos capitalistas, tem permitido interferencias humanas desestabilizadoras em seu ambiente. Gerou ainda uma concepç~o de desenvolvimento que combina progresso, viol~ncia e destruiç~o. Estas concepcses refletem-se nos valores e formas de organizac.o , , da sociedade ocidental, perpetuando-se através de seus sistemas educativos, entre estes, a educaç~o em escolas publicas. A urgente necesidade da ativaç~o do equilibrio ecológico, através da integraç~o do homem aos ecossistemas naturais, principalmente em paises do terceiro mundo, requer uma revis~o de valores sociais, politicos e econ8micos e uma reo~ganizaç~o do pensamento ocidental voltando-o para bases holisticas e dinamicas. A escola pública no Brasil, pode vir a ser uma peça fundamental neste processo, aproveitando-se deste movimento para reestrutur.r as bases de seu sistema educativo.

A autonomia da Perícia Criminal Oficial no âmbito da Polícia Federal: percepções e reflexões dos profissionais do Sistema de Justiça Criminal

Trata-se de uma pesquisa de natureza marcadamente descritiva, com etapas exploratórias, que visa a descrever as percepções e reflexões desveladas pelos sujeitos da pesquisa nas análises temáticas realizadas sobre diversas questões que envolvem o tema da autonomia da Perícia Criminal Oficial, no âmbito da Polícia Federal. Para esse fim, utilizou-se da metodologia da análise de conteúdo, segundo Bardin (1977). Os sujeitos da pesquisa foram escolhidos segundo o critério de acessibilidade e da natureza dos cargos, quais sejam: Delegado da Polícia Federal, Juiz Federal, Perito Criminal Federal e Procurador da República. Face à predominância do cunho qualitativo neste estudo, não há expectativas de generalizações dos resultados obtidos no campo, assim como a seleção desses sujeitos não priorizou pela representatividade quantitativa de cada cargo. O referencial teórico foi construído com o propósito de contextualizar e favorecer a compreensão do leitor sobre como é constituída a realidade em que se insere o objeto de estudo, buscando descrever os termos e conceitos necessários a essa compreensão, tais como: (i) o que é o Sistema de Justiça Criminal e como se deu seu processo de formação no Estado moderno; (ii) como é a estrutura e o fluxo processual básico do modelo brasileiro, com destaque para a posição que ocupam os órgãos ou Instituto de Criminalística; (iii) qual o nível de efetividade desse sistema, no Brasil, e quais os principais problemas que afetam a funcionalidade da Perícia Oficial em sua estrutura; (iv) quais os reflexos do uso dos paradigmas repressivo e preventivo, pelo Estado, no controle da violência, da criminalidade e da impunidade dos criminosos, visando a garantir a manutenção da ordem pública como bem coletivo; (v) que relevância tem o papel da Perícia Oficial para a efetividade do Sistema de Justiça Criminal, segundo o paradigma preventivo; (vi) o que é Criminalística e qual a natureza de sua atividade; e (vii) como se apresenta a atual estrutura administrativa e a rede de clientes da Perícia Oficial. Ao se aproximar do objeto de estudo, o pesquisador buscou descrever como se deu a origem do processo de autonomia da Criminalística, no Brasil, e como esse processo vem sendo desenhado como uma política de segurança pública, destacando as principais medidas administrativas e normativas adotadas no país que favoreceram a sua consolidação, tais como: a aprovação do PNSP (2002), do PNDH I (1996), do PNDH II (2002) e do PNDH III (2009), além da promulgação da Lei nº 12.030/2009, que assegura, de forma específica, a autonomia técnico-científica e funcional da função pericial criminal. Tratamento especial foi dado ao significado e ao alcance que têm as dimensões conceituais do termo “autonomia” para a função pericial. Em que pesem os resultados obtidos, as conclusões revelam que a complexidade do tema, teoria e prática, aguarda continuidade em pesquisas futuras.

O direito à informação jornalística: garantias constitucionais ao direito de ser informado no sistema brasileiro.

The freedom of social communication referred to those freedoms exercised under of the media. The journalism is professional activity responsible for factual information, real, pluralistic and of the public interest, directed diffusely to social orientation. The right of the information, characterized as diffuse right or of fruition by uncertain and numerous holders, is subdivided in the right of the inform, inform yourself and right to be informed. The journalists, as occupants of a enlarged spectrum concerning of right of the inform, have responsibility for the information they disseminate, devoir that puts on the basis of the constitutional right to be informed. This duty is divided with journalistic companies, when them realized. In the research, examined the existence of constitutional guarantees the right to be informed. To answer the question, realized research to support bibliographical and documentary. The guaranty is a empirical preoccupation coated with legality, since lends itself effect concretize a right. Traced so a panel of guarantees of institutional imprint, substantive and procedural. Treating of the institutional guarantees the right to information, it would refer to true institutions (as the free press) and may begin subjective rights. In the case of substantial guarantees, we would have access to information, the confidentiality of the fonts and the incensurable feature of journalistic information. A guarantee peculiar would be constitution of bodies responsible for monitoring the quality of the vehicles of communication. Trace it also a panel strict of procedural safeguards, such as public civil action, the security s warrant, and the rights of petition and answer.

Sistema especialista fuzzy para dimensionamento de bombeio mecânico

Despite the emergence of other forms of artificial lift, sucker rod pumping systems remains hegemonic because of its flexibility of operation and lower investment cost compared to other lifting techniques developed. A successful rod pumping sizing necessarily passes through the supply of estimated flow and the controlled wear of pumping equipment used in the mounted configuration. However, the mediation of these elements is particularly challenging, especially for most designers dealing with this work, which still lack the experience needed to get good projects pumping in time. Even with the existence of various computer applications on the market in order to facilitate this task, they must face a grueling process of trial and error until you get the most appropriate combination of equipment for installation in the well. This thesis proposes the creation of an expert system in the design of sucker rod pumping systems. Its mission is to guide a petroleum engineer in the task of selecting a range of equipment appropriate to the context provided by the characteristics of the oil that will be raised to the surface. Features such as the level of gas separation, presence of corrosive elements, possibility of production of sand and waxing are taken into account in selecting the pumping unit, sucker-rod strings and subsurface pump and their operation mode. It is able to approximate the inferente process in the way of human reasoning, which leads to results closer to those obtained by a specialist. For this, their production rules were based on the theory of fuzzy sets, able to model vague concepts typically present in human reasoning. The calculations of operating parameters of the pumping system are made by the API RP 11L method. Based on information input, the system is able to return to the user a set of pumping configurations that meet a given design flow, but without subjecting the selected equipment to an effort beyond that which can bear