Linguagem de especificação leve Hoare-separação para java

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Análise da obra "Mão Morta - Müller no Hotel Hessischer Hof (1998/2006)"

No âmbito da prova para título de especialista em Áudiovisuais e Produção dos Media, à qual me proponho, pretende-se fazer uma reflexão sobre o vídeo musical, desde a sua realização à pós-produção, dentro de um contexto nacional e em como a sua importância pode influenciar o ensino do audiovisual. Um vídeo musical é também uma curta metragem com características peculiares onde o papel da música ganha o primeiro plano. Por esta razão, pretende-se também estabelecer uma relação com a produção cinematográfica. O texto divide-se em cinco partes. Na primeira, contextualiza-se o vídeo musical numa tentativa de definição e enquadramento histórico internacional e nacional. Na segunda e terceiras partes, seguindo uma lógica de separação estrutural definida na obra de Rabiger (2004), dividiu-se as questões relacionadas com a estética das de identidade na autoria da criação de vídeos musicais. Esta separação fundamenta-se na associação da autoria de decisão autónoma, e da influência direta de terceiros no ato de criação. A quarta parte faz uma revisão das metodologias de trabalho para um vídeo musical com breves reflexões à sua relação com as da produção cinematográfica. Na quinta parte, faz-se uma reflexão mais detalhada do filme “Müller no Hotel Hessischer Hof”, a obra que se propõe para estudo e discussão, e que se entende apresentar como exemplo resultante de toda a experiência anterior do seu autor, e que se considera pertinente para abrir a discussão dos aspetos técnicos, das opções de realização e da pós-produção (dando especial importância à montagem). “Müller no Hotel Hessischer Hof” foi uma obra de importância vital para a afirmação do seu autor, uma vez que é a primeira que tem distribuição nacional em edição vídeo comercial. Para além disso, foi o primeiro trabalho de longa duração que realizou, um ano depois de ter recebido um dos prémios mais importantes na área do vídeo musical: o Prémios Blitz. Tratando-se de um filme feito na década de 90, ainda com equipamento de vídeo analógico, pode parecer desatualizado perante os avanços tecnológicos ocorridos nos últimos anos. No entanto deve ser visto como uma obra que resulta de um processo experimental e como tal obedeceu a uma lógica de construção que é herança de experiências adquiridas. Como em qualquer processo de aprendisagem, a experientação deve ser uma prática dominante. Este filme foi a oportunidade de pôr em prática processos e ideias que foram sendo testados em ambiente profissional. Porque se trata de um laboratório vivo, a produção de vídeos musicais permite e promove as ideias. Esse potencial deve ser considerado no universo pedagógico mantendo -o sempre numa relação estreita com o mundo profissional. Defendendo a ideia que a criatividade deve ser estimulada pela imaginação, apresenta-se numa obra que, graças às sua singularidade, foi produzida com recurso a uma grande necessidade laboratorial e que recorreu a soluções que resultaram tanto do exercício como da imaginação, uma alternativa ao modelo convencional. “Müller no Hotel Hessischer Hof” não pretende ser um exemplo perfeito mas pela suas condições de produção deve ser vista como uma obra de liberdade criativa, um bom exemplo para estudo e de entendimento para a relação entre a realização e a pós-produção.

Polímeros biomiméticos em química analítica. Parte 1: preparo e aplicações de MIP (Molecularly Imprinted Polymers) em técnicas de extração e separação

MIPs are synthetic polymers that are used as biomimetic materials simulating the mechanism verified in natural entities such as antibodies and enzymes. Although MIPs have been successfully used as an outstanding tool for enhancing the selectivity or different analytical approaches, such as separation science and electrochemical and optical sensors, several parameters must be optimized during their synthesis. Therefore, the state-of-the-art of MIP production as well as the different polymerization methods are discussed. The potential selectivity of MIPs in the extraction and separation techniques focusing mainly on environmental, clinical and pharmaceutical samples as applications for analytical purposes is presented.

Estudo por espectroscopia micro-Raman dos mecanismos de separação de fase em vidros fosfatos de metais de transição

Glass-ceramics are prepared by controlled separation of crystal phases in glasses, leading to uniform and dense grain structures. On the other hand, chemical leaching of soluble crystal phases yields porous glass-ceramics with important applications. Here, glass/ceramic interfaces of niobo-, vanado- and titano-phosphate glasses were studied by micro-Raman spectroscopy, whose spatial resolution revealed the multiphase structures. Phase-separation mechanisms were also determined by this technique, revealing that interface composition remained unchanged as the crystallization front advanced for niobo- and vanadophosphate glasses (interface-controlled crystallization). For titanophosphate glasses, phase composition changed continuously with time up to the equilibrium composition, indicating a spinodal-type phase separation.

Sorte? Lógica? Modelos de significação e a noção de acaso de adultos alunos do Proeja

Esta tese se propôs investigar a lógica inferencial das ações e suas significações em situações que mobilizam as noções de composição probabilística e acaso, bem como o papel dos modelos de significação no funcionamento cognitivo de adultos. Participaram 12 estudantes adultos jovens da classe popular, voluntários, de ambos os sexos, de um curso técnico integrado ao Ensino Médio da Educação de Jovens e Adultos. Foram realizados três encontros, individualmente, com registro em áudio e planilha eletrônica, utilizando-se dois jogos, o Likid Gaz e o Lucky Cassino, do software Missão Cognição (Haddad-Zubel, Pinkas & Pécaut, 2006), e o jogo Soma dos Dados (Silva, Rossetti & Cristo, 2012). Os procedimentos da tarefa foram adaptados de Silva e Frezza (2011): 1) apresentação do jogo; 2) execução do jogo; 3) entrevista semiestruturada; 4) aplicação de três situações-problema com intervenção segundo o Método Clínico; 5) nova partida do jogo; e 6) realização de outras duas situações-problema sem intervenção do Método Clínico. Elaboraram-se níveis de análise heurística, compreensão dos jogos e modelos de significação a partir da identificação de particularidades de procedimentos e significações nos jogos. O primeiro estudo examinou as implicações dos modelos de significação e representações prévias no pensamento do adulto, considerando que o sujeito organiza suas representações ou esquemas prévios relativos a um objeto na forma de modelos de significação em função do grau de complexidade e novidade da tarefa e de sua estrutura lógico matemática, que evoluem por meio do processo de equilibração; para o que precisa da demanda a significar esse aspecto da 13 realidade. O segundo estudo investigou a noção de combinação deduzível evidenciada no jogo Likid Gaz, identificando o papel dos modelos de significação na escolha dos procedimentos, implicando na rejeição de condutas de sistematização ou enumeração. Houve predominância dos níveis iniciais de análise heurística do jogo. O terceiro estudo examinou a noção de probabilidade observada no jogo Lucky Cassino, no qual a maioria dos participantes teve um nível de compreensão do jogo intermediário, com maior diversidade de modelos de significação em relação aos outros jogos, embora com predominância dos mais elementares. A síntese das noções de combinação, probabilidade e acaso foi explorada no quarto estudo pelo jogo Soma dos Dados (Silva, Rossetti & Cristo, 2012), identificando-se que uma limitação para adequada compreensão das ligações imbricadas nessas noções é a implicação significante – se aleatório A, então indeterminado D (notação A  D), com construção de pseudonecessidades e pseudo-obrigações ou mesmo necessidades locais, generalizadas inapropriadamente. A resistência ou obstáculos do objeto deveria provocar perturbações, mas a estrutura cognitiva, o ambiente social e os modelos culturais, e a afetividade podem interferir nesse processo.

Utilização da lógica fuzzy na geração de zonas de manejo

Este trabalho teve como objetivo utilizar a lógica fuzzy para geração de zonas de manejo, na área agrária e ambiental. Uma das aplicações consistiu da utilização do método fuzzy C-means, para geração de zonas de manejo para a cultura do mamoeiro, em um plantio comercial localizado em São Mateus-ES, com base em determinações realizadas através de amostragens e análises químicas do solo, considerando os atributos: P, K, Ca, Mg, e Saturação por bases (V%). Aplicou-se também a lógica fuzzy para desenvolver e executar um procedimento para dar suporte ao processo de tomada de decisões, envolvendo análise multicritério, gerando mapas de adequabilidade ao uso público e a conservação no Parque Estadual da Cachoeira da Fumaça, no município de Alegre-ES, considerando como fatores a localização da cachoeira, o uso do solo, os recursos hídricos, as trilhas, os locais de acessos, a infraestrutura, a declividade da área, e utilizando a abordagem de Sistema de Informações Geográficas para análise e combinação da base de dados. A partir das zonas de manejo geradas, foi possível explicar a variabilidade espacial dos atributos do solo na área de estudo da cultura do mamoeiro, e observa-se que as similaridades entre as zonas geradas, a partir de diferentes atributos, mostrou variação, mas observa-se uma influência nos dados, principalmente pelos atributos P e V. A partir do zoneamento da Unidade de Conservação foi possível selecionar áreas mais aptas ao ecoturismo, sendo encontradas próximas da cachoeira, trilhas em zonas de reflorestamento e de Mata Atlântica. Quanto às áreas propensas a medidas de conservação localizam-se próximas à cachoeira e às estruturas do parque, devido à maior pressão antrópica exercida nesses locais. Outras áreas que se destacaram, foram as áreas de pastagem, por estarem em estágio de regeneração natural. Os resultados indicam áreas de mesmo potencial de produção do mamoeiro, ou quando aplicado à área ambiental, áreas que devem receber maior cuidado para utilização por ecoturismo e para preservação e servem de base para a tomada de decisões, visando melhor aproveitamento da área.

Dinâmica subnacional e lógica centro-periferia: os impactos do Mercosul na economia política dos estados de Pernambuco, Bahia, São Paulo e Rio Grande do Sul

Neste artigo procura-se associar os estudos teóricos relacionados à temática centro-periferia, multi-level governance, federalismo cooperativo e positive and negative integration à realidade empírica das unidades subnacionais no seio do Mercosul. São ainda efetuadas pesquisas de campo junto a atores políticos e representações de agentes econômicos a fim de privilegiar fontes primárias de informação e desta forma analisar comparativamente os impactos do Mercado Comum do Sul na economia política dos estados de Pernambuco, Bahia, São Paulo e Rio Grande do Sul, assim como em suas respectivas capitais.

A mudança de orientação da lógica de solução das controvérsias econômicas internacionais

O grau de juridicidade do direito internacional econômico tem crescido nos últimos anos, ocasionando alterações na lógica de solução das controvérsias econômicas internacionais. Este adensamento da juridicidade do sistema confere maior legitimidade e importância aos mecanismos de solução de controvérsias, em especial o presente na Organização Mundial do Comércio (OMC), principal instituição reguladora do comércio internacional. De acordo com a nova lógica, os países mais fortes economicamente passaram a aceitar perdas relativas a setores específicos, buscando ganhos com o estabelecimento do sistema como um todo. A nova sistemática guiada por normas pré-definidas e especificamente traçadas para a solução de conflitos internacionais (rule-oriented) veio substituir a solução destes conflitos pelo uso da força, via sanções unilaterais ou pressões sobre setores sensíveis (power-oriented). Além disso, a análise desta mudança de orientação evidencia que a OMC e seu Órgão de Solução de Controvérsias vêm ganhando maior credibilidade e respeito por parte de seus usuários, visto que casos concretos envolvendo setores como o agrícola e países desenvolvidos e em desenvolvimento demonstram a real possibilidade de utilização de mecanismos de retaliação mesmo quando se trata de países mais fracos contra países muito mais fortes.

A lógica da construção de confiança: relações Brasil-Suriname entre 1975 e 1985

Entre 1975 e 1985, observa-se a atuação do Brasil para assegurar relações confiáveis com o Suriname, bem como as primeiras manifestações da identidade internacional surinamesa. Destaca-se a missão diplomática brasileira enviada ao Suriname após o golpe de Estado de 1982, o qual indicava a possível "cubanização" desse país.

Organização e trabalho em transição: da lógica "sistêmico-controladora" à lógica "processual-relacional"

Para pesquisadores e gestores, é útil identificar duas formas alternativas de caracterizar discursivamente as atividades organizacionais e gerenciais: uma forma sistêmico-controladora e outra processual-relacional. A primeira é proveniente de aspirações modernistas e universalistas acerca da maximização do controle nas questões humanas, operacionalizando-se por meio da idéia de que as organizações são grandes sistemas controláveis, mecânicos e orientados para resultados. Em vez disso, é mais útil caracterizar a realidade organizacional pelo foco em processos emergentes dos padrões das relações entre as pessoas, as organizações e o ambiente social que as cerca. Se os gestores compreenderem o modo como seu trabalho contribui para a formação de tais processos, podem promover a evolução do aprendizado e de competências gerenciais por meio da construção de significados, negociações e barganhas, e do exercício do poder.

Responsabilidade social: ideologia, poder e discurso na lógica empresarial

O objetivo do artigo é identificar como uma empresa multinacional de papel e celulose desenvolve programas sociais em uma região compreendida por 47 municípios no estado de Minas Gerais. A escolha da empresa X foi definida pela sua importância na indústria mineira, bem como pelo destaque dado aos programas sociais da empresa no meio empresarial, que vivencia iniciativas centralizadas de incentivo ao voluntariado. Foi realizada uma pesquisa bibliográfica sobre a concepção da responsabilidade social empresarial e uma pesquisa de campo qualitativa com agentes sociais na região de atuação da empresa. A metodologia empregada na pesquisa foi construída por meio de um conjunto de entrevistas semiestruturadas, utilizando a análise do discurso como técnica para pontuação das conclusões do trabalho. Os resultados demonstram que a prática da responsabilidade social se situa num contexto mais significativo que o mero discurso empresarial.

Estrutura lógica como metodologia para avaliação de políticas públicas: uma análise do Pronaf

O Programa Nacional de Fortalecimento da Agricultura Familiar (Pronaf) incluiu agricultores familiares no quadro das políticas públicas, ao seguir as tendências das políticas da década de 1990 de democratizar acesso a recursos financeiros. A sustentabilidade foi inserida no programa. Neste estudo, o propósito geral foi analisar os objetivos do Pronaf, no contexto do desenvolvimento econômico. Considerou-se que o Pronaf não permitiria avaliar a relação entre atividades desenvolvidas e resultados obtidos pelo programa. Assim, seria inconsistente. Além de analisar documentos oficiais, outros objetivos específicos foram analisar a consistência do Pronaf e, em caso de inconsistência, propor uma matriz de estrutura lógica. Nenhum projeto foi encontrado, apenas a legislação. A análise desta não permitiu o preenchimento da matriz e isso indica inconsistência. Propôs-se uma matriz completa.

Abordagem construtivista do erro na resolução de problemas de aritmética de estrutura aditiva

O Objectivo deste estudo é analisar o tipo de erro, estrutural ou funcional, observado em crianças dos 5 aos 8 anos, durante a resolução de três tipos de problemas aritméticos de estrutura aditiva . combinação, separação e comparação . em situações diferenciadas (manipulativa, figurativa, numérica). A amostra do estudo é constituída por 45 crianças (15 do último ano do pré-escolar, 15 do 1º ano de escolaridade e 15 do 2º ano) de uma escola pública de Lisboa, de meio sócio-económico médio. A metodologia seguida foi a de tipo clínico ( análise critica). Cada criança participou em quatro sessões experimentais (uma por semana), sendo a primeira para determinar o nível psicogenético e as seguintes para resolver os três problemas de aritmética. Os resultados mostram a relação entre o tipo de erro e a estrutura e a categoria do problema; entre os níveis psicogenético e escolar e o tipo de erro observado, independentemente da situação experimental (manipulativa, figurativa, numérica); entre os níveis psicogenético e escolares e o tipo de grafismo e as representações. Mostrou ainda a lógica do erro seguida por cada criança, a qual se mantém em qualquer das situações experimentais.