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.

O papel da cidade de Viçosa-MG na rede urbana : a especialização funcional de uma cidade média mineira

Rede é o nome dado para se referenciar qualquer forma que seja composta por linhas interligadas por pontos, sendo assim essa denominação é utilizada para participar de nomes e conceitos em diversas área do conhecimento. Na geografia isso não ocorre de forma diferente. As redes geográficas são a denominação dada as ligações feitas no espaço articuladas por pontos, notadamente são usadas para se fazer referência a redes materiais, mas podem ser mais imateriais ou abstratas a depender do objeto de pesquisa e do adjetivo adotado. A noção de redes urbanas nasceu vinculada aos objetos materiais, entretanto com a evolução da técnica passou a abranger objetos cada vez mais virtuais. As redes urbanas são compostas pelo conjunto de cidades, cada qual com sua centralidade representadas por pontos ou nós na rede, e pelas ligações entre elas, rodovias, hidrovias, infovias etc. As cidades que compõem a rede, por mais semelhanças que possam ter entre si, tem diferentes tipos e graus de centralidade, de poder de atração de pessoas, de recursos; sendo uma região de influência singular, que muda de tempos em tempos, face a evolução do território onde se insere. Tanto as centralidades quanto as redes de urbanas estão em constante mudança, necessitando sempre de atualização tornando o estudo das redes e das centralidades uma questão sempre nova; em especial quando considerado um território tão vasto e complexo como o brasileiro. Neste trabalho relatamos os resultados do estudo das especificidades da centralidade da cidade de Viçosa, que está localizada no interior do estado de Minas Gerais, Brasil. Este estudo fez uso de dados numéricos, fotográficos e cartográficos coletados em diversos momentos da evolução do município e da região onde este se insere, que revelaram as mudanças de qualidade e de intensidade na centralidade dessa cidade, hoje tipificada como média ou intermediária, inserida na rede urbana mineira. No período compreendido entre os anos de 1850 e 1930, Viçosa passou de uma inexpressiva localidade rural, a importante centro de produção de café, galgando ganhos políticos nesse período. Seguiu-se um período de menor pujança, por cerca de setenta anos, para depois, na virada do século XX para XXI, ressurgi como uma localidade especializada em oferecer serviços, notadamente vinculados ao ensino superior e à produção de ciência e tecnologia. Essa nova centralidade, ao contrário do que muitas vezes ocorre, não foi fruto nem de um recurso natural inerente ao território e nem, tão pouco, pela atuação de grandes grupos capitalistas. Foi galgado principalmente pela atuação do Estado que construiu ali as bases de uma especialização funcional, através da implantação de uma universidade pública.

Avaliação assistida informatizada : indicadores do potencial cognitivo de crianças com deficiência

A identificação e a avaliação de crianças com desenvolvimento atípico configuram um processo muito importante para subsidiar as estratégias de ensino voltadas para a promoção do potencial de aprendizagem. O interesse em relação ao prognóstico de crianças com deficiência tem impulsionado o desenvolvimento de novas tecnologias e pesquisas relacionadas à avaliação, prevenção e intervenção. Nesse contexto, torna-se relevante verificar com instrumentos adequados indicadores linguísticos, cognitivos e comportamentais, para assim traçar metas a partir daquilo que as crianças podem aprender. Dessa forma, esta pesquisa teve por objetivo verificar se a avaliação assistida informatizada se apresenta como uma modalidade de diagnóstico mais prescritivo do desenvolvimento cognitivo, quando comparada à avaliação psicométrica, na aplicação em crianças com deficiência. Na modalidade assistida há ajuda do examinador para conduzir a criança a um melhor nível de desempenho cognitivo. Participaram 11 crianças que frequentam uma instituição de atendimento clínico, em saúde, para crianças com deficiência, na Grande Vitória. Na avaliação psicométrica foram utilizados a Escala de Maturidade Mental Colúmbia computadorizada – Colúmbiacomp e o Teste de Vocabulário por Imagens Peabody - TVIPcomp. Na avaliação assistida informatizada foram aplicadas três provas voltadas para as habilidades de classificação e raciocínio analógico: Exclusão de Objetos, Exclusão de Figuras Geométricas e Jogo de Analogia de Figuras, no ambiente informatizado SINDAPSI. Protocolos de registro de fatores afetivo-motivacionais e de operações cognitivas foram utilizados durante as tarefas assistidas. Na avaliação do comportamento, o Child Behavior Checklist – CBCL foi respondido pelas mães. Dados documentais e dos instrumentos foram submetidos à análise estatística descritiva para verificar o desempenho das crianças nas duas formas de avaliação informatizada (psicométrica e assistida). Nos testes psicométricos, 64% das crianças alcançaram índice “abaixo da média” no TVIPcomp, e 55% “médio-inferior” no Colúmbiacomp. Em relação ao perfil de desempenho cognitivo, na Prova de Exclusão de Objetos computadorizada 55% das crianças foram avaliadas como “não-mantenedoras”. Na Prova de Exclusão de Figuras Geométricas computadorizada 55% da amostra foi classificada no perfil “alto-escore”, e no Jogo de Analogias de Figuras computadorizado 45% apresentou o perfil “ganhador”. A amostra demonstrou níveis de dificuldade na realização dos testes,tanto na modalidade psicométrica quanto assistida. Contudo, o desempenho nos testes assistidos foi relativamente melhor, evidenciando que o grupo se beneficiou da mediação,implementada na fase de assistência, para melhorar as habilidades cognitivas. Além disso, a apresentação informatizada dos testes apresentou-se como fator motivador para a realização e persistência nas tarefas.

Demarcações conceituais dos princípios científicos da Arquivologia e da Ciência da Informação : contribuições para a configuração científica das disciplinas no campo da informação

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Ciência da Informação, Programa de Pós-Graduação em Ciência da Informação, 2016.

Estudo da qualidade organizacional da unidade de rastreio da retinopatia diabética do Alentejo central: projecto de intervenção comunitária em saúde

Mestrado em Intervenção Sócio-Organizacional na Saúde - Área de especialização: Políticas de Gestão e Administração dos Serviços de Saúde.

Materiais estruturados: qual o seu papel na aprendizágem dos primeiros números?

Dissertação apresentada para obtenção do grau de Mestre em Educação Matemática na Educação Pré-Escolar e no 1.º e 2.º Ciclos do Ensino Básico

Os desafios da inclusão de alunos com síndrome de down

Dissertação apresentada à Escola Superior de Educação de Lisboa para a obtenção do Grau de Mestre em Ciências da Educação - Especialidade Educação especial

Intervenção pedagógica do futuro educador/professor e avaliação interativa nas práticas de estagiários e no discurso de docentes

Mestrado (PES II), Educação Pré-Escolar e Ensino do 1º Ciclo do Ensino Básico, 3 de Julho de 2014, Universidade dos Açores.

Contributo para a valorização e proteção dos produtos tradicionais açorianos

Dissertação de Mestrado em Tecnologia e Segurança Alimentar.

Towards a Unified Theory of Health-Disease: I. Health as a complex model-object

Theory building is one of the most crucial challenges faced by basic, clinical and population research, which form the scientific foundations of health practices in contemporary societies. The objective of the study is to propose a Unified Theory of Health-Disease as a conceptual tool for modeling health-disease-care in the light of complexity approaches. With this aim, the epistemological basis of theoretical work in the health field and concepts related to complexity theory as concerned to health problems are discussed. Secondly, the concepts of model-object, multi-planes of occurrence, modes of health and disease-illness-sickness complex are introduced and integrated into a unified theoretical framework. Finally, in the light of recent epistemological developments, the concept of Health-Disease-Care Integrals is updated as a complex reference object fit for modeling health-related processes and phenomena.

Boas práticas de igualdade de género e sua relação nos domínios da satisfação laboral e clima organizacional

A Igualdade entre Homens e Mulheres e a não discriminação constituem princípios fundamentais da Constituição da Republica Portuguesa e do Tratado que institui a União Europeia – Tratado de Lisboa. A desigualdade entre Homens e Mulheres constitui uma violação dos direitos fundamentais, e impõe um pesado custo à economia na medida em que se desaproveitam talentos em função do género. A promoção de uma efetiva igualdade entre Homens e Mulheres constitui um dever fundamental do Estado. A promoção da participação ativa de Homens e Mulheres na vida política, ao nível da administração central, regional e local, é também um forte indicador da qualidade da democracia de um estado. Tomando por base a temática da Igualdade de Género, o Roteiro para a Igualdade entre Homens e Mulheres (2006-2010), o pacto Europeu para a Igualdade entre os Sexos (2006), a Estratégia para a Igualdade entre Homens e Mulheres 2010-2015 que elencam ações consideradas prioritárias – igualdade na independência económica; igualdade na remuneração por trabalho igual e por trabalho de igual valor; igualdade na tomada de decisões; promoção da dignidade e a integridade, pôr fim à violência de género; e questões horizontais – papéis desempenhados por Homens e Mulheres, legislação, governação e instrumentos no domínio da igualdade entre Homens e Mulheres, o objeto deste estudo centra-se na atividade do Estado Português, mais concretamente ao nível local. Procurou-se enquadrar esta temática na Gestão dos Recursos Humanos, na busca de um conhecimento mais aprofundado sobre a implementação de Boas Práticas de Igualdade de Género e a sua relação nos domínios da Satisfação Laboral assim como no Clima Organizacional. O presente estudo expõe uma abordagem quantitativa, de carácter descritivo, exploratório, correlacional e preditivo. O tratamento estatístico realizou-se com recurso ao programa IBM SPSS Statistics, versão 21. Os resultados encontrados apontam para uma associação positiva entre a existência de boas práticas de igualdade de género e a satisfação laboral dos trabalhadores, assim como do clima organizacional. São apresentadas pistas para a intervenção no domínio da função da gestão e desenvolvimento dos recursos humanos.

H-NAMe: specifying, implementing and testing a hidden-node avoidance mechanism for wireless sensor networks

The hidden-node problem has been shown to be a major source of Quality-of-Service (QoS) degradation in Wireless Sensor Networks (WSNs) due to factors such as the limited communication range of sensor nodes, link asymmetry and the characteristics of the physical environment. In wireless contention-based Medium Access Control protocols, if two nodes that are not visible to each other transmit to a third node that is visible to the formers, there will be a collision – usually called hidden-node or blind collision. This problem greatly affects network throughput, energy-efficiency and message transfer delays, which might be particularly dramatic in large-scale WSNs. This technical report tackles the hidden-node problem in WSNs and proposes HNAMe, a simple yet efficient distributed mechanism to overcome it. H-NAMe relies on a grouping strategy that splits each cluster of a WSN into disjoint groups of non-hidden nodes and then scales to multiple clusters via a cluster grouping strategy that guarantees no transmission interference between overlapping clusters. We also show that the H-NAMe mechanism can be easily applied to the IEEE 802.15.4/ZigBee protocols with only minor add-ons and ensuring backward compatibility with the standard specifications. We demonstrate the feasibility of H-NAMe via an experimental test-bed, showing that it increases network throughput and transmission success probability up to twice the values obtained without H-NAMe. We believe that the results in this technical report will be quite useful in efficiently enabling IEEE 802.15.4/ZigBee as a WSN protocol.

H-NAMe: a hidden-node avoidance mechanism for wireless sensor networks

The hidden-node problem has been shown to be a major source of Quality-of-Service (QoS) degradation in Wireless Sensor Networks (WSNs) due to factors such as the limited communication range of sensor nodes, link asymmetry and the characteristics of the physical environment. In wireless contention-based Medium Access Control protocols, if two nodes that are not visible to each other transmit to a third node that is visible to the formers, there will be a collision – usually called hidden-node or blind collision. This problem greatly affects network throughput, energy-efficiency and message transfer delays, which might be particularly dramatic in large-scale WSNs. This paper tackles the hiddennode problem in WSNs and proposes H-NAMe, a simple yet efficient distributed mechanism to overcome it. H-NAMe relies on a grouping strategy that splits each cluster of a WSN into disjoint groups of non-hidden nodes and then scales to multiple clusters via a cluster grouping strategy that guarantees no transmission interference between overlapping clusters. We also show that the H-NAMe mechanism can be easily applied to the IEEE 802.15.4/ZigBee protocols with only minor add-ons and ensuring backward compatibility with the standard specifications. We demonstrate the feasibility of H-NAMe via an experimental test-bed, showing that it increases network throughput and transmission success probability up to twice the values obtained without H-NAMe. We believe that the results in this paper will be quite useful in efficiently enabling IEEE 802.15.4/ZigBee as a WSN protocol

Coordinated transportation of a large object by a team of three robots

Dynamical systems theory in this work is used as a theoretical language and tool to design a distributed control architecture for a team of three robots that must transport a large object and simultaneously avoid collisions with either static or dynamic obstacles. The robots have no prior knowledge of the environment. The dynamics of behavior is defined over a state space of behavior variables, heading direction and path velocity. Task constraints are modeled as attractors (i.e. asymptotic stable states) of the behavioral dynamics. For each robot, these attractors are combined into a vector field that governs the behavior. By design the parameters are tuned so that the behavioral variables are always very close to the corresponding attractors. Thus the behavior of each robot is controlled by a time series of asymptotical stable states. Computer simulations support the validity of the dynamical model architecture.

Coordinated transportation of a large object by a team of two robots

In this paper dynamical systems theory is used as a theoretical language and tool to design a distributed control architecture for a team of two robots that must transport a large object and simultaneously avoid collisions with obstacles (either static or dynamic). This work extends the previous work with two robots (see [1] and [5]). However here we demonstrate that it’s possible to simplify the architecture presented in [1] and [5] and reach an equally stable global behavior. The robots have no prior knowledge of the environment. The dynamics of behavior is defined over a state space of behavior variables, heading direction and path velocity. Task constrains are modeled as attractors (i.e. asymptotic stable states) of a behavioral dynamics. For each robot, these attractors are combined into a vector field that governs the behavior. By design the parameters are tuned so that the behavioral variables are always very close to the corresponding attractors. Thus the behavior of each robot is controlled by a time series of asymptotic stable states. Computer simulations support the validity of the dynamical model architecture.