Geração automática de hardware apartir de especificações formais: estendendo uma abordagem de tradução

A remoção de inconsistências em um projeto é menos custosa quando realizadas nas etapas iniciais da sua concepção. A utilização de Métodos Formais melhora a compreensão dos sistemas além de possuir diversas técnicas, como a especificação e verificação formal, para identificar essas inconsistências nas etapas iniciais de um projeto. Porém, a transformação de uma especificação formal para uma linguagem de programação é uma tarefa não trivial. Quando feita manualmente, é uma tarefa passível da inserção de erros. O uso de ferramentas que auxiliem esta etapa pode proporcionar grandes benefícios ao produto final a ser desenvolvido. Este trabalho propõe a extensão de uma ferramenta cujo foco é a tradução automática de especificações em CSPm para Handel-C. CSP é uma linguagem de descrição formal adequada para trabalhar com sistemas concorrentes. Handel-C é uma linguagem de programação cujo resultado pode ser compilado diretamente para FPGA's. A extensão consiste no aumento no número de operadores CSPm aceitos pela ferramenta, permitindo ao usuário definir processos locais, renomear canais e utilizar guarda booleana em escolhas externas. Além disto, propomos também a implementação de um protocolo de comunicação que elimina algumas restrições da composição paralela de processos na tradução para Handel-C, permitindo que a comunicação entre múltiplos processos possa ser mapeada de maneira consistente e que a mesma somente ocorra quando for autorizada.

Análise institucional de práticas formais de estratégia

O presente ensaio teórico endereça a questão do processo de institucionalização das práticas formais de estratégia empresarial. Para tanto, adotamos a perspectiva institucional de análise para verificar como os mecanismos normativos são utilizados por agentes sociais significativos para a disseminação e a institucionalização de práticas formais de estratégia em organizações. Por práticas formais de gestão estratégica definimos todas as ferramentas gerenciais e conceitos formalmente instituídos de prática gerencial como pertencentes ao processo de elaboração e viabilização da estratégia empresarial. Nesse sentido, destacamos o processo de planejamento estratégico, disseminado especialmente a partir da década de 70 do século passado como o modelo mais representativo da difusão e institucionalização desse tipo de prática organizacional. Concluímos nosso ensaio levantando questões relevantes para a pesquisa e para a prática no campo da estratégia em organizações a partir da relação entre teoria e prática, com base na perspectiva institucional de análise.

Modelos formais de comunicação

O objectivo deste artigo é apresentar um conjunto de modelos formais que, num sentido geral, podem orientar o estudo das estruturas de comunicação. O nosso quadro de referência será constituído pela teoria dos grafos, uma teoria que pode ser utilizada para definir implicitamente o conceito de «comunicação». Começaremos com as árvores hierárquicas enquanto um tipo de grafos que representa a estrutura formal dos processos centralizados. Um ponto importante no artigo será a dialéctica entre o local e global em teoria dos grafos. Nesse contexto, passaremos em revista o já célebre modelo de Watts-Strogatz e o modelo sem escala característica proposto por A. Barabási e colaboradores. A propósito de cada um dos modelos discutimos alguns exemplos empíricos que mostram como a teoria dos grafos se pode tornar um estrutura a priori para o estudo da comunicação. Na secção final mostramos de que modo pudemos ver a moderna ideologia da comunicação à luz dos modelos formais.

Possibilidades e limitações da amamentação entre mulheres trabalhadoras formais

INTRODUÇÃO: Pesquisas sobre a amamentação e a questão do trabalho da mulher são de difícil comparabilidade. A prática de amamentar entre mulheres com um emprego formal no Brasil tem sido pouco estudada, em que pesem as mudanças havidas como a extensão da licença maternidade para 120 dias. Decidiu-se realizar estudo com o objetivo de descrever o padrão de amamentação de mulheres empregadas em empresas, as limitações que elas enfrentam e que fatores contribuem para que elas possam conciliar trabalho e amamentação. MATERIAL E MÉTODO: Estudo exploratório realizado em 13 indústrias de São Paulo em 1994, onde todas as mulheres no terceiro trimestre da gestação (76) foram entrevistadas e reentrevistadas (69) na volta ao trabalho (em torno de 5,4 meses pós-parto). RESULTADOS: Iniciaram a amamentação 97% das mulheres, apresentando uma duração mediana de 150 dias; quanto ao Aleitamento Materno Exclusivo, a duração mediana foi de 10 dias, e à Amamentação Predominante, a mediana foi de 70 dias. As mulheres de melhor nível socioeconômico e as que tinham creche no local de trabalho ou sala de coleta e estocagem de leite materno, foram as que amamentaram por mais tempo. A possibilidade de flexibilizar seu horário e não trabalhar na linha de produção também mostraram ser fatores significantes que levam as mulheres dessas indústrias a amamentar mais. CONCLUSÕES: A licença-maternidade tem sido útil e usada pela maioria das trabalhadoras para amamentar, mas há outros fatores que são fundamentais para que a manutenção da lactação seja facilitada, tais como aqueles que permitem a proximidade mãe-criança e/ou a retirada periódica de leite materno durante a jornada de trabalho.

Impacto de um programa de relaxamento na percepção de stress nos cuidadores formais de um lar do concelho de Águeda

O papel de cuidador formal é, habitualmente, exercido por profissionais devidamente qualificados, designadamente, médicos, enfermeiros psicólogos, assistentes sociais, terapeutas ocupacionais, fisioterapeutas e auxiliares. A sua formação académica, profissional é específica para o desempenho deste papel, integrada no contexto de uma actividade profissional onde são exercidas competências, no âmbito da saúde. Nos lares, hospitais, instituições comunitárias, entre outros, existem indivíduos que se enquadram no perfil traçado, a actividade é desgastante, quer física, quer psicologicamente, o que muitas vezes facilita o aparecimento da ansiedade e a percepção do stress. O relaxamento enquanto técnica terapêutica poderá atenuar o seu surgimento. Este trabalho teve como objectivo avaliar o impacto de um programa de relaxamento, na percepção de stress, nos cuidadores formais do lar da Liga de Amigos de Aguada de Cima. Para este fim, consideramos adequado um estudo do tipo experimental. Assim aplicámos á nossa amostra, dezasseis funcionárias, antes e depois da aplicação do programa de relaxamento progressivo de Jacobson, questionários de auto-preenchimento, adaptados à população portuguesa. Para além disso, nas dezasseis sessões que efectuámos, medimos a tensão arterial e a frequência cardíaca com um esfigmomanómetro digital de pulso, no período antes e depois da implementação do programa. Pela análise dos resultados que obtivemos, constatámos que não houve diferenças significativas do ponto de vista estatístico, entre a ansiedade e a percepção do stress, após o programa de relaxamento Jacobson. Confirmámos porém, que existiram diferenças em alguns itens dos questionários após a implementação do programa de relaxamento, assim como uma diminuição da pressão arterial diastólica e da correlação positiva entre a ansiedade e a percepção de stress. Desta forma, parece existir uma indicação de que o programa de relaxamento progressivo de Jacobson talvez tenha contribuído para minimizar o nível de stress das funcionárias do lar da Liga de Amigos de Aguada de Cima

Os espaços formais e informais de leitura no Pré-escolar e 1.º Ciclo : as áreas de leitura e as bibliotecas na promoção de competências leitoras em contexto de estágio integrado

Mestrado, Educação Pré-Escolar e Ensino do 1.º Ciclo do Ensino Básico, 29 de Junho de 2015, Universidade dos Açores.

Contextos formais de educação e desenvolvimento da criança: contributos para a educação pré-escolar

Dissertação de mestrado em Ciências da Educação: área de Educação e Desenvolvimento

Práticas organizacionais formais utilizadas para a aprendizagem com acidentes de trabalho

O SHO 2010, Colóquio Internacional de Segurança e Higiene Ocupaciona

Design de Comunicação Para Sistemas Educativos não Formais

Relatório de Actividade Profissional apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Ciências da Comunicação – vertente de Novos Média e Práticas Web

Monitoramento ambiental e fontes de informação para a tomada de decisão estratégica: o caso dos varejos formais instalados nas imediações do shopping popular Oiapoque em Belo Horizonte

Apresenta os resultados de uma pesquisa exploratória realizada no primeiro semestre de 2008 com micro e pequenos empresários instalados nas imediações do Shopping Popular Oiapoque, em Belo Horizonte. Para a consecução do objetivo central, que partiu da necessidade de descrever o comportamento informacional de tais empresários na tomada de decisão estratégica, optou-se pela aplicação de um questionário estruturado, com perguntas fechadas, a oito empresários da região, os quais foram escolhidos intencionalmente. Os resultados revelaram que os decisores estratégicos têm alta dependência com relação às fontes de informação "consumidores que compram no Oiapoque, fornecedores e funcionários da própria empresa e os concorrentes que atuam dentro do Shopping Popular" na tomada de decisão. Por outro lado, as fontes escritas como o jornal do bairro, relatórios setoriais publicados por entidades do comércio e os comércios não-concorrentes e seus respectivos funcionários e fornecedores não apresentaram resultados significativos em termos de dependência para a tomada de decisão estratégica.

Indiscernibilidade e identidade em química: aspectos filosóficos e formais

Neste artigo tratamos, de um ponto de vista formal e filosófico, com alguns conceitos que fazem parte da química usual. As teorias da química, e seus conceitos, normalmente são apresentadas de um ponto de vista informal (não axiomatizada), e isso pode trazer dificuldades filosóficas (embora a química propriamente - bem como também as outras disciplinas da ciência aplicada - pareçam não sofrer qualquer restrição quanto a isso). Aqui estaremos ocupados em um aspecto parti-cu-lar, que diz respeito à indiscernibilidade de alguns objetos básicos da química, tais como átomos, moléculas, bem como de seus componentes. Começamos com uma visão geral da identidade destes compostos e seus componentes a partir de uma perspectiva filosófica e, em seguida, mostramos em que sentido o conceito de identidade dos compostos químicos é problemático em relação ao conceito correspondente de identidade na lógica e matemática clássicas (que, como em geral é suposto, estão 'alicerçando' as teorias químicas). Argumentamos que, por um lado, a química parece supor que esses objetos básicos precisam ser 'idênticos' (indistinguíveis) uns aos outros (como enfatizado há muito tempo por John Dalton, como veremos.) Por outro lado, do ponto de vista formal, se a lógica subjacente à teoria atômica for a lógica clássica (que também é pano de fundo da matemática padrão), coisas idênticas devem ser a mesma coisa e logo 'colapsar' em apenas uma (e este não é o caso em química, uma vez que temos uma enorme quantidade de átomos e moléculas semelhantes, mas não apenas um). Esta aparente contradição pode ser tratada de várias perspectivas e, aqui, propomos o uso de uma teoria de conjuntos não-clássica (a saber, a teoria de quase-conjuntos) para alicerçar uma formulação axiomática de certas teoria químicas, mostrando como essa diferente base matemática pode nos levar a uma visão que está mais perto da química em si. Como esta teoria não é conhecida em geral, uma breve revisão se faz necessária. Por último, mostramos como podemos construir modelos matemáticos para átomos e moléculas utilizando esta teoria de conjuntos alternativa evitando, assim, o problema lógico acima mencionado, e discutimos um pouco da abordagem mereológica dos compostos químicos a partir dessa perspectiva quase-conjuntista.

Estratégias para técnicos da extensao rural : cultura alimentária para o progresso da educaçao destinado aos adultos de 22 associaçoes formais do municipio de LuziÈnia-Go Brasil. 'Estrategias para técnicos de extensión rural : cultura alimentaria para el progreso de la educación destinada a los adultos de 22 asociaciones formales del municipio de LuziÈnia-Go Brasil'.

El trabajo pretende potenciar la difusión de conocimientos básicos sobre alimentación y nutrición en una capa de la población que está íntimamente ligada a los alimentos, como es la de los productores rurales. El instrumento para dicha difusión lo constituirán los técnicos de extensión rural de EMATER (Empresa de Asistencia Técnica y Extensión Rural). Se exponen datos generales sobre el municipio de Atuaçao, un diagnóstico de la región, el trabajo de la empresa en este campo y su organigrama, el funcionamiento del área B.E.S (Bienestar Social), la metodología de la Extensión Rural y el proceso de introducción y aceptación de nuevas ideas entre los agricultores. Se trata la educación de adultos en relación con las teorías del aprendizaje, y el trabajo en grupos. Se describe las características de la alimentación en general, sus influencias y la alimentación alternativa, susceptible de una mayor difusión por su alto valor nutritivo y su bajo costo que la hacen recomendable para las capas menos favorecidas y de bajo poder adquisitivo. Finalmente presenta una serie de modelos prácticos, como resultado de las experiencias del orfanato de LuziÈnia, programas de radio, gráficos, prensa y trabajos de divulgación.