Structural refinement of systems specified in object-z and CSP

This paper is concerned with methods for refinement of specifications written using a combination of Object-Z and CSP. Such a combination has proved to be a suitable vehicle for specifying complex systems which involve state and behaviour, and several proposals exist for integrating these two languages. The basis of the integration in this paper is a semantics of Object-Z classes identical to CSP processes. This allows classes specified in Object-Z to be combined using CSP operators. It has been shown that this semantic model allows state-based refinement relations to be used on the Object-Z components in an integrated Object-Z/CSP specification. However, the current refinement methodology does not allow the structure of a specification to be changed in a refinement, whereas a full methodology would, for example, allow concurrency to be introduced during the development life-cycle. In this paper, we tackle these concerns and discuss refinements of specifications written using Object-Z and CSP where we change the structure of the specification when performing the refinement. In particular, we develop a set of structural simulation rules which allow single components to be refined to more complex specifications involving CSP operators. The soundness of these rules is verified against the common semantic model and they are illustrated via a number of examples.

A protective effect of early pregnancy factor on experimental autoimmune encephalomyelitis induced in Lewis rats by inoculation with myelin basic protein

Experimental antoimmune encephalomyelitis (EAE) is an organ-specific autoimmune disease characterised by inflammation and demyelination of the central nervous system and is the best available animal model of multiple sclerosis (MS). Since previous studies have shown that EAE is less severe or is delayed in onset during pregnancy and that administration of the pregnancy hormone early pregnancy factor (EPF) down-regulates EAE, experiments in the present study were designed to explore further the role of EPF in EAE. By using the rosette inhibition test, the standard bioassay for EPF and, by semi-quantitative RT-PCR techniques, we have now shown that inflammatory cells from the spinal cord of rats with EAE can produce and secrete EPF, with production being greatest during recovery from disease. Administration of EPF to rats with EAE resulted in a significant increase in the expression of IL-4 and IL-10 mRNA and a significant decrease in IFN-gamma mRNA expression in spinal cord inflammatory cells. Encephalitogenic MBP-specific T cell lines were prepared from popliteal lymph nodes of rats with EAE. Proliferation assays using these cells demonstrated the ability of exogenous EPF to down-regulate the responses of T lymphocytes to MBP. (C) 2003 Elsevier B.V. All rights reserved.

Optical experiments beyond the quantum limit: Squeezing entanglement and teleportation

Results of experiments recently performed are reported, in which two optical parametric amplifiers were set up to generate two independently quadrature squeezed continuous wave laser beams. The transformation of quadrature squeezed states into polarization squeezed states and into states with spatial quantum correlations is demonstrated. By utilizing two squeezed laser beams, a polarization squeezed state exhibiting three simultaneously squeezed Stokes operator variances was generated. Continuous variable polarization entanglement was generated and the Einstein-Podolsky-Rosen paradox was observed. A pair of Stokes operators satisfied both the inseparability criterion and the conditional variance criterion. Values of 0.49 and 0.77, respectively, were observed, with entanglement requiring values below unity. The inseparability measure of the observed quadrature entanglement was 0.44. This value is sufficient for a demonstration of quantum teleportation, which is the next experimental goal of the authors.

Continuous variable polarization entanglement, experiment and analysis

We generate and characterize continuous variable polarization entanglement between two optical beams. We first produce quadrature entanglement, and by performing local operations we transform it into a polarization basis. We extend two entanglement criteria, the inseparability criteria proposed by Duan et al (2000 Phys. Rev. Lett. 84 2722) and the Einstein–Podolsky–Rosen (EPR) paradox criteria proposed by Reid and Drummond (1988 Phys. Rev. Lett. 60 2731), to Stokes operators; and use them to characterize the entanglement. Our results for the EPR paradox criteria are visualized in terms of uncertainty balls on the Poincaré sphere. We demonstrate theoretically that using two quadrature entangled pairs it is possible to entangle three orthogonal Stokes operators between a pair of beams, although with a bound √3 times more stringent than for the quadrature entanglement.

Sistema de avalia????o e premia????o por resultados da Embrapa

O presente trabalho apresenta conceitos e aspectos operacionais do Sistema de Avalia????o e Premia????o por Resultados da Embrapa/SAPRE, implantado em 1996, cujo objetivo ?? o de elevar o desempenho das unidades de pesquisa, equipes e empregados da Empresa, recompensando os mais produtivos. O Sistema ?? constitu??do por 6 componentes: a) avalia????o de unidades; b) premia????o de unidades; c) avalia????o de equipes e empregados; d) premia????o de equipes e empregados; e) premia????o nacional de projetos e f) premia????o por excel??ncia. As unidades s??o avaliadas em conformidade a: a) cumprimento de metas; b) efici??ncia relativa; c) avalia????o de qualidade t??cnica; d) impacto s??cio-econ??mico; e) avalia????o de imagem. A conjuga????o desses fatores constitui o ??ndice de Desempenho Institucional de uma unidade, base para o c??lculo financeiro de sua premia????o. A avalia????o de equipes e empregados de cada unidade compreende o respectivo desempenho em: a) cumprimento de metas individuais; b) capta????o de recursos; c) criatividade em pesquisa e desenvolvimento (P&D); d) qualidade t??cnica dos projetos de pesquisa. Os empregados com melhor desempenho, individualmente e por equipes de trabalho, s??o premiados com um b??nus financeiro. Al??m disso, o SAPRE inclui a premia????o de projetos, que, no ??mbito nacional, se destacam em termos de criatividade, parceria, capta????o de recursos, qualidade t??cnica e melhoria de processos. Tamb??m s??o premiados com trof??us e diplomas os dois melhores empregados (um pesquisador e um de suporte ?? pesquisa) de cada unidade descentralizada e da sede como um todo.

Aprendizagem por imitação através de mapeamento Visuomotor baseado em imagens omnidirecionais

Este trabalho propõe uma metodologia de aprendizagem que permite a um robô aprender uma tarefa adaptando-a e representando-a de acordo com a sua capacidade motora e sensorial. Primeiramente, um mapeamento sensoriomotor é criado e converte informação sensorial em informação motora. Depois, através de imitação, o robô aprende um conjunto de ações elementares formando um vocabulário motor. A imitação é baseada nas representações motoras obtidas com o mapeamento sensoriomotor. O vocabulário motor criado é então utilizado para aprender e realizar tarefas mais sofisticadas, compostas por seqüências ou combinações de ações elementares. Esta metodologia é ilustrada através de uma aplicação de mapeamento e navegação topológica com um robô móvel. O automovimento é utilizado como mapeamento visuomotor, convertendo o fluxo óptico em imagens omnidirecionais em informação motora (translação e rotação), a qual é usada para a criação de um vocabulário motor. A seguir, o vocabulário é utilizado para mapeamento e navegação topológica. Os resultados obtidos são interessantes e a abordagem proposta pode ser estendida a diferentes robôs e aplicações.

Estratégias de cálculo mental de alunos da 5ª série/6º ano do ensino fundamental

Esta pesquisa de mestrado teve como principal objetivo investigar estratégias de cálculo mental, utilizadas por alunos de uma 5ª série/6º ano do ensino fundamental ao resolver cálculos de adição e subtração. Para atingir este objetivo procuramos responder aos questionamentos: Quais estratégias de cálculo mental, alunos da 5ª série/6º ano empregam na resolução de cálculos de adição e subtração? Que relações existem entre o tipo de cálculo envolvido e a estratégia adotada para resolvê-lo? Para respondermos a essas questões, seguimos uma metodologia de natureza qualitativa, configurada como estudo de caso do tipo etnográfico. O trabalho de campo foi desenvolvido em uma turma de 5ª série/6º ano do ensino fundamental de uma escola pública da rede estadual de ensino do município de Serra. A pesquisa aconteceu de maio a dezembro de 2013. Oito alunos resolveram uma atividade diagnóstica composta de quatro sequências de cálculos mentais, a saber, fatos fundamentais do número 5, do número 10, do número 20 e do número 100, dentre adições e subtrações próximas a esses resultados. Todos alunos participaram da etapa de entrevistas. Dos oito alunos, foram escolhidos dados de três que participaram de outras etapas da pesquisa. Os registros realizados pelos alunos na etapa de observação da turma, na etapa diagnóstica e na etapa de intervenção didática, as anotações no caderno de campo e algumas gravações em áudio serviram como fontes de coleta de dados. Utilizamos as estratégias identificadas por Beishuizen (1997), Klein e Beishuizen (1998), Thompson (1999, 2000) e Lucangeli et al. (2003), como categorias de análise. Através da análise de dados, constatamos que as escolhas das estratégias de cálculo mental pelos alunos variaram de acordo com o tipo de sequência de cálculos, a operação aritmética (adição ou subtração) e o estado emocional deles durante a atividade. Foi possível identificar o uso de duas estratégias combinadas, o algoritmo mental e estratégias de contagens nos dedos para grande parte dos cálculos. O uso do algoritmo mental mostrou-se um procedimento de grande sobrecarga mental e, em alguns cálculos de adição sem reserva, serviu apenas como apoio à visualização numérica, sendo executado pelo aluno da esquerda para a direita, semelhantemente à estratégia de decomposição numérica. Os dados deste estudo apontam para: (i) a necessidade de se trabalhar fatos numéricos fundamentais de adição e subtração via cálculo mental de maneira sistemática em sala de aula; (ii) a necessidade de se ensinar estratégias autênticas de cálculo mental para que os alunos não se tornem dependentes de estratégias como contagens e algoritmo mental, que são mais difíceis de serem executadas com êxito; (iii) a importância de entrevistar, individualmente, os alunos a fim de compreender e avaliar o desenvolvimento destes em tarefas de cálculo mental.

Modelo matemático para planejamento da circulação de trens em uma ferrovia de linha singela

Diversos fatores têm contribuído para o aumento da demanda por transporte ferroviário no Brasil. Dentre eles, citam-se: o aumento das exportações brasileiras nos últimos anos e a aprovação do novo marco regulatório para o setor ferroviário brasileiro que permitiu o uso da capacidade ociosa das ferrovias e o compartilhamento da malha por diversos operadores. Investimentos para construção de novas ferrovias e melhorias nas já existentes são muito elevados, o que dificulta a implantação de novos projetos. Assim, faz-se necessário melhorar o planejamento da circulação de trens visando o aumento de capacidade sem a necessidade de novos investimentos, otimizando o uso da estrutura já existente. Esta dissertação tem como objetivo propor um modelo matemático para realizar o planejamento da circulação de trens em uma ferrovia de linha singela, que minimize o transit time, isto é, o tempo total de viagem de todos os trens e consequentemente reduza o tempo parado em pátios de cruzamento. O modelo proposto permite que os trens sejam atrasados ou adiantados na partida visando reduzir o tempo parado em pátios de cruzamento. O modelo é resolvido de forma ótima usando o solver CPLEX 12.6. Foram realizados testes com dados reais da Ferrovia Centro Atlântica (FCA) e os resultados alcançados pelo CPLEX foram comparados com os resultados do planejamento manual da FCA. O modelo obteve redução do tempo de viagem dos trens em todos os cenários testados.

O paradoxo da cidade monitorada : vigilância limitada e espaços públicos fragilizados a partir do estudo do sistema das câmeras do município de Vila Velha - ES

A dissertação aborda a fragilização dos espaços públicos num contexto de utilização de câmeras de vigilância, temática que será problematizada a partir da vigilância exercida pelas câmeras do município de Vila Velha – ES. Partimos da hipótese de que vivemos cercados por objetos técnicos que continuamente produzem informações sobre os sujeitos sociais e os seus espaços como forma de controle. As câmeras representam o exemplo mais conhecido desses objetos, embora sejam apresentadas pelos discursos das administrações públicas como ferramentas de auxílio à segurança. Utilizando como metodologia a observação participante para acompanhamento do trabalho realizado “por trás” das câmeras, concluímos que uma série de fatores desmistificam esses discursos: as câmeras que não são monitoradas, a ausência de manutenção dos equipamentos do sistema, os baixos salários e as condições trabalhistas daqueles que operam as câmeras, a ausência de articulação com os demais setores da prefeitura, a falta de credibilidade das câmeras com a polícia, etc. Por outro lado, ao fazermos um trabalho “na frente” das câmeras, observando o cotidiano de três áreas vigiadas nos bairros Praia da Costa, Glória e Riviera da Barra, bem como entrevistando transeuntes, moradores e comerciantes, concluímos que a maneira surpreendentemente indiferente com que as pessoas lidam com a vigilância é alimentada quando descobrimos que elas não oferecem a segurança pretendida. Se as câmeras não auxiliam a segurança pública, a sua utilização tem um efeito perverso na fragilização dos espaços públicos de Vila Velha, considerando que a vigilância representa ameaças potenciais e reais às condições que o pressupõem: a pluralidade e a liberdade, pois as câmeras atualizam um estado de vigilância permanente alimentando o estigma sobre determinados grupos sociais, que, por sua vez, são os alvos favoritos da vigilância, o que permite às câmeras, ainda, a potencial função de controle socioespacial direto (função admitida inclusive pelos cidadãos entrevistados) sobre os espaços vigiados; e a individualidade dos cidadãos, que é acintosamente violada. As câmeras, portanto, ao pretenderem garantir qualidade de vida à população (oferecendo segurança), produzem o efeito exatamente inverso

Formação docente no Espírito Santo : diálogos com a pesquisa “Trabalho docente na educação básica no Brasil”

Esta dissertação objetiva analisar as compreensões dos profissionais da educação dos anos finais do Ensino Fundamental e do Ensino Médio da rede estadual dos municípios Guarapari, Nova Venécia, Viana e Vitória, sobre os seus processos de formação inicial e continuada na interface com as dimensões constitutivas da identidade e das condições de trabalho docente, a partir do banco de dados do Espírito Santo relativos à pesquisa “Trabalho Docente na Educação Básica no Brasil”, realizada em 2009, em sete Estados, incluído este, sob a coordenação geral do Grupo de Estudos sobre Políticas Educacionais e Trabalho Docente da Universidade Federal de Minas Gerais. A hipótese em discussão é que as políticas públicas educacionais implantadas no Espírito Santo nas últimas décadas têm promovido mudanças nas dimensões constitutivas da identidade e das condições de trabalho docente e também na formação dos profissionais da educação, implicando a baixa participação desses sujeitos em atividades e programas de formação continuada. Trata-se de um estudo quali-quantitativo no qual a metodologia consiste no intercruzamento dos dados coletados pelo survey da referida pesquisa, indicadores da identidade, perfil e condição de trabalho docente com os indicadores de formação. Os dados produzidos dialogaram com a produção teórica dos interlocutores Dubar, Nóvoa, Oliveira, Tardif e, Tardif, Lessard, além do aporte proveniente dos autores contemplados na revisão de literatura. Os resultados deste estudo indicam que a participação dos sujeitos da amostra em processos de formação continuada foi ainda menos expressiva do que a constatada no Espírito Santo e no Brasil, e que a centralidade adquirida pelo professor e seus processos de formação inicial e continuada não significou valorização profissional e condições adequadas de trabalho tidas como dimensões indissociáveis e igualmente importantes para alçar melhoria na qualidade da Educação Básica, a exemplo da predominância de baixos salários, apesar de a maioria dos participantes ser pós-graduada, do trabalho em mais de duas unidades educacional e da falta de apoio/orientação para o trabalho com alunos com necessidades especiais. Esses resultados vão de encontro às compreensões dos professores visto que, embora eles tenham reconhecido o seu papel como fundamental, não consideraram “receber mais” “capacitação para a atividade que exerce” entre as três medidas mais importantes para melhorar a qualidade do trabalho.

Currículo e educação especial : as ações da escola a partir dos diálogos cotidianos

O estudo teve como objetivo investigar as ações constituídas por uma escola pública de Ensino Fundamental para o envolvimento de alunos com deficiência e com transtornos globais do desenvolvimento no currículo escolar. Contou com as contribuições teóricas de Boaventura de Sousa Santos, Michel de Certeau e Philippe Meirieu para uma discussão sociológica, filosófica e pedagógica das situações desencadeadas pela pesquisa. No campo do currículo, aproximou-se das teorizações de Silva, Moreira, Apple e Sacristán, dentre outros, por serem teóricos que analisam o trabalho com o conhecimento no contexto escolar. Já no campo da Educação Especial, dialogou com as produções de pesquisadores que postulam pela ideia de que o processo de inclusão escolar pressupõe acesso à escola, bem como permanência e a garantia do direito de apropriação dos conhecimentos socialmente produzidos. Como aporte teórico-metodológico, apoiou-se nos pressupostos da pesquisa-ação colaborativo-crítica que advoga pela possibilidade de, por meio da pesquisa científica, produzir conhecimento sobre a realidade social, promover mudanças nas situações desafiadoras e envolver os sujeitos pesquisados em processos de formação continuada em contexto. O trabalho de pesquisa foi realizado em uma escola de Ensino Fundamental, pertencente à Rede Pública Municipal de Ensino de Vila Velha/ES, envolvendo professores, pedagogos, dirigente escolar, responsáveis pelos discentes e alunos matriculados do 1º ao 6º ano do Ensino Fundamental. O processo de produção de dados se efetivou no período de julho de 2010 a julho de 2011. O pesquisador esteve três vezes por semana no campo de pesquisa, participando das intervenções em sala de aula, dos espaços para planejamento e formação continuada e também de momentos informais na entrada, recreio e saída dos alunos. Para o desenvolvimento do estudo, trabalhou-se com três frentes correlacionadas: a observação participante e a escuta dos discursos produzidos por alunos, professores, equipe técnico-pedagógica e responsáveis pelos discentes sobre o envolvimento dos estudantes com indicativos à Educação Especial no currículo escolar; a constituição de espaços de formação continuada, tomando os dados produzidos na primeira etapa do estudo como elementos de sustentação da dinâmica formativa; o acompanhamento das ações praticadas pela escola para envolvimento das necessidades educacionais dos alunos com indicativos à Educação Especial no currículo escolar, a partir das reflexões desencadeadas nos espaços de formação continuada. Como resultados, a pesquisa aponta a necessidade de advogar pela constituição de currículos escolares mais abertos para contemplar as necessidades de aprendizagem de alunos com comprometimentos físicos, psíquicos, intelectuais ou sensoriais. Esta pesquisa se distancia de lógicas que defendem a flexibilização curricular como um esvaziamento do currículo em nome das condições existenciais dos alunos. Entende que, entre o currículo escolar e a produção de conhecimentos pelos alunos com indicativos à Educação Especial, há uma pluralidade de situações que precisam ser problematizadas pela escola: a leitura produzida sobre a aprendizagem dos alunos; a falta de conhecimento sobre a sexualidade humana; os desafios presentes na relação família e escola; e os pressupostos da normalidade/anormalidade. Esses fatores podem se configurar como elementos que impedem que os alunos obtenham sucesso em sua jornada educativa, porém, em contrapartida, podem ser utilizados como questões a subsidiar espaços de formação continuada. O estudo aponta que, por meio de atitudes colaborativas e críticas entre os profissionais da escola, é possível articular ações que garantam o direito de aprender do estudante com deficiência e com transtornos globais do desenvolvimento na escola de ensino comum.

The G-77, BASIC, and global climate governance: a new era in multilateral environmental negotiations

The G-77 has historically organized the participation of developing countries in multilateral environmental negotiations. This article analyses the impact of a new coalition of emerging powers - Brazil, China, India, and South Africa as BASIC - on the G-77's role in climate governance. While there are important benefits for both sides in their relationship, I argue that the G-77 is also disadvantaged in several concrete ways by the BASIC countries.

Production of basic potato seed minitubers in substrate and different nitrogen rates

The optimal dose of nitrogen (N) in potato crop depends on the production system. The objective of this study was to determine the optimal dose of N for the production of basic potato seed minitubers and evaluate the effect of N rates on physiological and nitrogen indices in the youngest fully developed leaf (fourth leaf) and in the oldest leaf of the plants at 60 days after planting. The experiment was conducted in a greenhouse at the Departamento de Fitotecnia da Universidade Federal de Viçosa. The treatments consisted of five N rates (0, 45, 90, 180 and 360 mg dm-3), with 10% of each dose applied at planting and the remainder through irrigation water, daily, for 30 days. The nitrogen rates positively influenced the physiological indices (length, width, leaf area, number of leaves, fresh mass and dry mass) and nitrogen (level and content of N and N-NO³ in the dry mass and SPAD) both in the fourth leaf and in the oldest leaf. Likewise, the N rates positively influenced the number and mass of harvested tubers. The largest number (5.44 tubers/plant) and the maximum mass of tubers (243.5 g/plant) were obtained with 360.0 and 332.9 mg N dm-3, respectively. Therefore, the mass and number of tubers were not optimized by the same N rate. The critical SPAD index was 38.8 in the fourth leaf, which was more sensitive to the effect of N rates than the oldest leaf.

Error bounds for low-rank approximations of the first exponential integral kernel

A hierarchical matrix is an efficient data-sparse representation of a matrix, especially useful for large dimensional problems. It consists of low-rank subblocks leading to low memory requirements as well as inexpensive computational costs. In this work, we discuss the use of the hierarchical matrix technique in the numerical solution of a large scale eigenvalue problem arising from a finite rank discretization of an integral operator. The operator is of convolution type, it is defined through the first exponential-integral function and, hence, it is weakly singular. We develop analytical expressions for the approximate degenerate kernels and deduce error upper bounds for these approximations. Some computational results illustrating the efficiency and robustness of the approach are presented.