91 resultados para Linguagem de programação funcional adaptativa
Resumo:
Sistemas produtivos industriais podem combinar, em células de manufatura, diferentes características de automação de processos permitindo interfaceamento e possibilitando a flexibilização e otimização da manufatura. Nos processos de fabricação, as dificuldades para a execução de processos de usinagem convencional ou mesmo através de comando numérico, quando se dispõe de máquinas adequadas para a fabricação de peças de geometrias complexas, podem limitar a criatividade, bem como dificultar o desenvolvimento do processo produtivo de forma otimizada. As dificuldades encontradas vão desde fixação das peças, necessidades de dispositivos especiais, restrições nos volumes de trabalho de máquinas CNC e mesmo a geração de trajetórias complexas para máquinas com limitações de eixos. Este trabalho propõe uma metodologia alternativa para usinagem, especialmente fresamento, com desenvolvimento de um algoritmo capaz de, através da utilização de recursos de sistemas CAD/CAM, traduzir arquivos gráficos para uma linguagem de programação utilizada em robôs. Na aplicação utilizam-se recursos dos sistemas CAD/CAM para gerar, numa primeira etapa, o código de programação para máquinas-ferramenta de comando numérico e posterior adaptação, para aplicação em sistemas robóticos. Informações de caminhos de ferramenta para usinagem em máquinas CNC são convertidos, através de uma interface computacional, em trajetórias a serem seguidas por uma ferramenta guiada por um manipulador de robô industrial. Os parâmetros de processo são também adequados as restrições dos sistemas robotizados. A viabilidade do sistema proposto é confirmada através de testes realizados em modelos de superfícies complexas, onde o objetivo do referido trabalho foi alcançado.
Resumo:
A linguagem síncrona RS é destinada ao desenvolvimento de sistemas reativos. O presente trabalho tem como objetivo criar meios que facilitem o uso da linguagem RS no projeto e implementação desses sistemas, permitindo que, à partir da especificação de um sistema reativo, seja realizada a sua implementação de forma automática. Deste modo, a linguagem RS é utilizada para a descrição do comportamento de um sistema em um alto nível de abstração, antes de serfeitas a decomposição do sistema em componentes de software ou hardware. A implmentação do protótipo do sistema computacional dedicado é obtida através de uma síntese automática desse modelo de alto nível. Foram implementados geradores de código que utilizam o código objeto fornecido pelo compilador da linguagem RS. Os geradores fazem a tradução para a linguagem C, para a linguagem JAVA, ou para a linguagem de descrição de hardware VHDL. A partir da síntese desses códigos poderá ser obtida a implementação do sistema em um micrcoomputador comercial, em um microcomputador Java de dedicado (ASIP Java), ou em um hardware de aplicação específica (ASIC). Foram realizados estudos de caso representativos dos sistemas reativos embaraçados e de tempo rel. Estes estudos de caso serviram para validar os geradores de código bem como para analisar o uso da linguagem RS no projeto e implementação desses sistemas.
Resumo:
Este trabalho realiza um estudo sobre a criação de sistemas tempo-real usando orientação a objetos, com enfoque no mapeamento de especificações para linguagens de programação. O paradigma de orientação a objetos tem sido usado nas diferentes fases relacionadas com o desenvolvimento de sistemas tempo-real, variando desde a modelagem até o ambiente de programação e execução, mas atualmente estas iniciativas ainda focam etapas isoladas do ciclo de desenvolvimento. O objetivo deste trabalho é o de preencher esta lacuna, propondo um mapeamento entre uma metodologia ou ferramenta de análise e projeto de sistemas tempo-real orientados a objetos e uma linguagem ou ambiente de desenvolvimento baseado no paradigma de orientação a objetos que possua suporte para atender às restrições temporais especificadas. O mapeamento proposto foi desenvolvido utilizando estudos de caso clássicos em aplicações tempo-real que foram baseados em dois recentes padrões. O primeiro é o emergente padrão Real-Time UML, que visa realizar a especificação de requisitos temporais utilizando diagramas UML com extensões que os representem. O outro padrão é o Real-Time Specification for Java, que consiste de uma interface de programação (API) para desenvolvimento de aplicações tempo-real com a linguagem Java. O relacionamento entre stereotypes e tags usados para representar restrições temporais em diagramas UML e o código Java correspondente é explicado e um sumário da estratégia de mapeamento é discutido.
Resumo:
O volume de informações armazenadas e representadas em XML cresce rapidamente, abrangendo desde a Web até bancos de dados corporativos. Nesse contexto, surge a necessidade de mecanismos de recuperação de dados nesse formato que sejam, ao mesmo tempo, mais eficientes e mais eficazes. Várias propostas de linguagens de consulta têm sido feitas, dentre as quais podem ser citadas XQL, XML-QL e Quilt. Essas linguagens, todas textuais, são mais indicadas para manipulação programática ou para usuários experientes. Visando atingir também os usuários menos experientes, foram propostas linguagens visuais, tais como XML-GL e Xing. Todas essas linguagens, entretanto, apresentam duas características comuns: a) o usuário precisa conhecer, pelo menos em um certo nível, a estrutura interna dos documentos; b) a mesma informação, se armazenada de formas diferentes, exige instruções de consulta diferentes. A solução para esses problemas apresentada neste trabalho envolve a utilização de um modelo conceitual para representar os conceitos e as relações entre conceitos que ocorrem em documentos XML pertencentes a um determinado domínio de problema. O modelo conceitual é representado por uma ontologia do domínio do problema. Essa associação permite que consultas possam ser elaboradas tendo como base os conceitos da ontologia. Para permitir a associação da ontologia a conjuntos de documentos XML, apresentam-se regras de mapeamento que permitem definir se um documento XML é compatível com uma determinada ontologia. A partir dessa definição, propõe-se uma linguagem visual para consultas a documentos XML com base em ontologias, e apresenta-se uma proposta de interface visual para essa linguagem.
Resumo:
Modelos de bancos de dados têm sido progressivamente estendidos a fim de melhor capturar necessidades específicas de aplicações. Bancos de dados versionados, por exemplo, provêm suporte a versões alternativas de objetos. Bancos de dados temporais, por sua vez, permitem armazenar todos os estados de uma aplicação, registrando sua evolução com o passar do tempo. Tais extensões sobre os modelos de dados se refletem nas respectivas linguagens de consulta, normalmente sob a forma de extensões a linguagens conhecidas, tais como SQL ou OQL. O modelo de banco de dados TVM (Temporal Versions Model ), definido sobre o modelo de banco de dados orientado a objetos, suporta simultaneamente versões alternativas e o registro de alterações de objetos ao longo do tempo. A linguagem de consulta TVQL (Temporal Versioned Query Language), definida a partir da linguagem de consulta SQL, permite recuperar informações do modelo de dados TVM. As construções introduzidas em TVQL têm como objetivo tornar simples a consulta do banco de dados em diversos pontos da linha temporal. Apesar das vantagens da utilização da linguagem TVQL para resgatar dados temporais do modelo TVM, existem algumas limitações importantes para seu aprimoramento. Uma delas é a alta complexidade do modelo TVM, proveniente da integração de conceitos variados como estados alternativos e rótulos temporais. Outro ponto é que, até o presente momento, não existe um interpretador para TVQL, impedindo uma experiência prática de programação de consultas. O objetivo principal deste trabalho é o desenvolvimento de uma especificação formal para a linguagem TVQL, tornando possível um estudo consistente de suas construções. Adicionalmente, uma especificação formal serve como documentação para futuras implementações de interpretadores. Neste trabalho foi desenvolvido um protótipo de avaliador de consultas e verificador de tipos para um núcleo funcional da linguagem TVQL, possibilitando também uma experimentação prática sobre os modelos propostos.
Resumo:
Este trabalho apresenta uma técnica de programação e controle da construção repetitiva denominada Linha de Balanço. E uma técnica, surgida na indústria fabril, onde a produção em série e em grande escala exige a organização dos métodos de produção e a racionalização do trabalho. O estudo, inicialmente, modela o trabalho de construção de unidades repetitivas, salientando os problemas de organização e administração destes empreendimentos. Num segundo momento, são apresentados os princípios teóricos da técnica com aplicações práticas da programação. Por fim, é analisada a metodologia usual de construção de conjuntos habitacionais através de um estudo de caso e, observadas as condições de aplicação da técnica da Linha de Balanço, não exigindo mudificações muito profundas na atual ação gerencial neste tipo de obra. As conclusões esboçadas confirmam as vantagens da técnica da Linha de Balanço para estes empreendimentos e propõem a sua utilização na organização do trabalho nos canteiros repetitivos.
Resumo:
Uma linguagem orientada ao problema de projeto estrutural de edifícios e a correspondente estrutura de armazenamento de dados são apresentados, como núcleo principal do sistema PROADE. Objetiva-se assim permitir ao engenheiro estrutural descrever o problema em termos correntes de Engenharia, organizandose os dados recebidos para posterior análise e dimensionamento da estrutura. São discutidos o problema PROADE e os dados correspondentes, seguidos pela descrição das estruturas de armazenamento de dados do sistema. A seguir, define-se a linguagem PROADE e finalmente apresenta-se a organização do sistema PROADE.
Resumo:
Realizou-se um estudo transversal de aplicação de três escalas americanas diagnósticas do funcionamento familiar (FACES III, Beavers-Timberlawn e GARF) em trinta e uma famílias, examinadas na clínica, visando sua validação, em nosso meio, em relação ao padrão-ouro da avaliação clínica, feita através de entrevista familiar semi-estruturada. Também estudou-se o comportamento da escala auto-respondida FACES III em cento e duas famílias da comunidade. Os resultados em relaçõa ao FACES III mostraram uma correlação linear positiva, mas baixa, entre a coesão familiar e risco para doença mental. Não apareceu correlação estatisticamente significativa em relação à adaptabilidade. Os achados confirmam os resultados publicados recentemente na literatura de que o FACES III é um instrumento que não traduz o modelo circumplexo de funcionamento familiar de Olson. As escalas Beavers-Timberlawn e GARF tiveram como resultado correlação positiva e alta com a avaliação clínica, demonstrando grande utilidade na formulação e classificação do diagnóstico do funcionamento familiar.
Resumo:
Por que não aprendem certas crianças? Este é um estudo exploratório, no qual buscam-se respostas a esta interrogação. O problema de aprendizagem é baseado no domínio da Psicologia do Desenvolvimento. Para abordá-lo, demonstra-se o interesse na utilização do referencial piagetiano, o ambiente informático e a linguagem LOGO de programação. Desse referencial "cognitivo", surge outra dimensão, a da "afetividade". Do histórico da interrelação entre ambos na teoria piagetiana, surge a psicanálise como disciplina que poderia contribuir. Fundamenta-se a utilização desta útlima em pesquisa, relacionando, ainda, hipóteses que a psicanálise possui sobre o desenvolvimento e seus distúrbios. Escolhemos o estudo de caso como delineamento metodológico desta investigação. Nos resultados, destacam-se situações em que interfiriam elementos "afetivos" a ele vinculados. Verificou-se que o computador oferece possibilidades e recursos específicos para essa expressão, que, combinados com a necessidade do raciocínio para sua utilização, permitiram aos sujeitos a superação das situações que intreferiam no seu desenvolvimento. Conclui-se pelo interesse no prosseguimento da investigação, no ambiente informatizado, desta zona de fronteira entre a "cognição" e o "afeto".
Resumo:
O objetivo do presente estudo foi comparar as relações torque-ângulo (T-A) e torque-velocidade (T-V) de bailarinas clássicas (n=14) e atletas de voleibol (n=22). O torque máximo (Tmax) da musculatura flexora plantar (FP) do tornozelo foi avaliada durante contrações isométricas voluntárias máximas nos ângulos de -10°, 0°, 10°, 20°, 30°, 40° e 50° de FP, e durante contrações isocinéticas voluntárias máximas nas velocidades angulares de 60°/s, 120°/s, 180°/s, 240°/s, 300°/s, 360°/s e 420°/s. Além do Tmax, o torque produzido nos ângulos articulares de -10° (T-10°), 10° (T10°) e 30° (T30°) também foi avaliado nas mesmas velocidades angulares. A ativação elétrica dos músculos gastrocnêmio medial (GM) e sóleo (SOL) direitos de cada indivíduo foi monitorada com eletrodos de eletromiografia (EMG) de superfície em configuração bipolar. Uma relação linear foi observada entre o Tmax e o aumento dos ângulos de FP nas atletas de voleibol Um deslocamento dessa relação em direção a maiores ângulos de FP (menores comprimentos musculares) ocorreu no grupo das bailarinas, com o aparecimento de um platô em menores ângulos de FP (maiores comprimentos musculares). Durante as contrações isocinéticas, uma relação hiperbólica foi observada entre o Tmax, T-10° e T10° com o aumento da velocidade angular nos dois grupos. Entretanto, em T30° as atletas de voleibol produziram valores superiores de torque nas velocidades angulares mais elevadas. Os valores root mean square (RMS) dos músculos GM e SOL foram mais elevados nas bailarinas que nas atletas de voleibol, tanto nas contrações isométricas quanto nas isocinéticas. Uma diminuição na ativação do GM e do SOL ocorreu com a diminuição da FP nas atletas de voleibol, enquanto os valores RMS se mantiveram estáveis para as bailarinas ao longo de todos os ângulos testados. Os resultados apresentados nesse estudo suportam a hipótese de que a atividade física sistemática provoca alteração nas propriedades intrínsecas musculares e ativação muscular, modificando assim, as relações T-A e T-V.
Resumo:
Resumo não disponível.
Resumo:
O alelo mutante termo-condicionalmente letal pso4-1 do gene PRP19, que codifica uma proteína associada ao spliceossoma, permitiu investigar a influência deste gene no processamento de pré-mRNA, reparação do DNA e esporulação. Fenótipos relacionados a genes portadores de introns foram correlacionados à temperatura. Sistemas repórteres para processamento de pré-mRNA e RT-PCR mostraram que eficiência de processamento de mRNA no mutante pso4-1 é inversamente correlacionada com a temperatura de crescimento. Uma mutação pontual, substituindo uma leucina por uma serina foi identificada dentro da região codificadora N-terminal do alelo Pso4-1 e afeta as propriedades bioquímicas de Pso4-1p. Entre 24 clones isolados utilizando o sistema doishíbridos, 7 foram identificados como partes dos genes RAD2, RLF2 e DBR1. RAD2 codifica uma endonuclease indispensável para a via reparação por excisão de nucleotídeos (NER), RLF2 codifica a subunidade maior do fator de montagem da cromatina I, cuja deleção resulta em sinsibilidade à radiação UVC, enquanto que DBR1 codifica uma enzima que atua sobre substratos de RNA na forma lariat, degradando estruturas lariat em introns durante o processamento de mRNA. A caracterização dos fenótipos após tratamentos com mutágenos em linhagens mutantes simples e duplos de rad2∆, rlf2∆ e pso4-1 mostraram sensibilidade aumentada para para mutantes rad2∆/pso4-1 e rlf2∆/pso4-1, sugerindo uma interferência funcional destas proteínas no processo dereparação do DNA em Saccharomyces cerevisiae. O mecanismo exato de reparação de pontes inter-cadeia (ICL) em S. cerevisiae não é ainda totalmente conhecido. Identificando novos fenótipos e isolando proteínas potencialmente capazes de interagir com Pso2p através da técnica do sistema dois-híbridos, foi possível extender a caracterização deste gene específica para reparação de pontes intercadeia. Tratamentos com acetaldeído (ACA), um metabólito natural da via glicolítica, foi mais tóxico a linhagem mutante pso2 em comparação com a linhagem selvagem e também capaz de induzir a expressão da fusão contendo o promotor de PSO2 à lacZ (PSO2-lacZ) por um fator comparável à tratamentos com outros agentes indutores de ICLs, indicando que o metabólito natural ACA pode causar danos do tipo ICL em S. cerevisiae. A utilização do sistema dois-híbridos permitiu isolar partes de proteínas codificadas por nove diferentes genes, entre eles a proteína quinase Pak1p, um supressor de mutações termosensíveis da DNA Polimerase alfa. Pak1p interage com a extremidade C-terminal conservada de Pso2p, uma região da proteína recentemente nomeada β-CASP entre v ortólogos conhecidos do gene PSO2. A integridade do domínio β-CASP é essencial para a reparaçãode DNA proficiente como demonstrado em ensaios de complementação com mutantes pso2 ∆. Comparação da sobrevivência após tratamento com agentes mutagênicos de simples mutantes pso2 ∆ e pak1 ∆ assim com o dulpo mutante pso2 ∆/pak1 ∆ revelaram que o gene PAK1 é necessário para reparação do DNA proficiente como na linhagem selvagem. A interação epistática dos dois alelos mutantes na linhagem duplo mutante sugere que Pak1p atua na mesma via de reparação a qual PSO2 pertence e que PAK1 constitui um novo locus envolvido na reparação do DNA em S. cerevisiae.
Resumo:
O processo de regeneração neural do modelo experimental em nervo mediano foi estudado em 34 ratos da raça Wistar, os quais foram submetidos à micro-neurorrafia término-terminal, sendo analisada a força de preensão do membro anterior e realizada a biópsia para análise morfométrica dos pós-operatórios 10° (8 ratos), 20° (5), 30° (5), 45° (8) e grupo controle não operado (8). Foi aferida a força negativa de preensão com o membro anterior e morfometricamente analisadas a contagem do número de fibras mielinizadas, seu diâmetro, períme-tro e área bem como espessura da bainha de mielina. O teste paramétrico de análise de variância foi utilizado para avaliação do número de fibras, diâmetro, perímetro e área bem como para as comparações de força e espessura da bainha de mielina entre os diferentes grupos. Uma média de 16,62 g (10°); 45,80 g (20°); 91,20 g (30°) e 106,75 g (45°) demonstrou haver um aumento progres-sivo da força de preensão em cada grupo paralelamente à evolução no tempo (p < 0,05), exceto entre o 45° e grupo controle com média de 116,25 g, o que denota regeneração com resultados similares à normalidade no final do período considerado. Não foram detectadas fibras regeneradas no coto distal do 10o dia pós-operatório e a totalidade das fibras mielinizadas presentes foi desconsiderada por apresentar sinais degenerativos. Embora sem significância, o número de fibras aumentou progressivamente até o 30° dia, reduzindo-se no 45°. Quanto à espessura, diâmetro, perímetro e área, verificou-se diminuição sig-nificativa no 20o dia e progressivo aumento nos grupos posteriores. Embora a força e o número de fibras tenham apresentado correlação fortemente negativa pelo coeficiente de Spearman (r = − 0,87) no grupo controle, não foi possível obter correlação entre os dados morfométricos e teste funcional nos demais gru-pos. Conclui-se que o modelo experimental do nervo mediano é válido para o estudo evolutivo da regeneração neural, no período considerado de 45 dias pós-operatórios, porém os dados morfométricos apenas refletem a evolução morfológica e cronológica do processo de regeneração do modelo experimental, não apresentando correlação direta com a função.