Os efeitos da modalidade pregão na execução dos contratos continuados: um estudo de caso

O presente trabalho investiga os impactos das licitações do tipo menor preço, realizadas por meio de Pregão eletrônico, no desempenho das execuções dos contratos contínuos, efetivados pela Superintendência de Administração da AGU em Pernambuco - SAD/PE -, no período de 2006 a 2010. Teve como proposição a premissa de que a contratação do tipo menor preço pode, em função de suas próprias características, estimular uma redução excessiva nos preços ofertados pelos licitantes e originar contratações com valores muito baixos que interferem de forma negativa no desempenho da prestação dos serviços, gerando infrações contratuais e diminuindo a vida útil dos contratos contínuos. A aparente economia, consequência da acirrada competição nos leilões invertidos, que caracterizam a modalidade licitatória Pregão, em médio e longo prazo, pode ser questionada. Os resultados confirmaram a proposição, evidenciando um percentual de 55% dos contratos, oriundos de Pregão eletrônico, com infrações e 31%, rescindidos unilateralmente por descumprimento de cláusulas contratuais. Foi identificada uma relação, de força moderada, inversamente proporcional entre a economia inicial gerada na licitação e o tempo de execução dos contratos, sugerindo uma tendência no sentido de que - quanto maior a diferença entre o valor referencia e o contratado na licitação, menor o tempo de execução do contrato, pois, parte das contratações muito abaixo do preço de mercado, geraram contratos com pequena vida útil e com muitas infrações. As análises dos dados apontam para a necessidade de se relativizar a adoção da modalidade licitatória Pregão, repensando-se a sua indicação para serviços continuados

PEWS-RT, um sistema de tempo de execução para a linguagem PEWS

Web services are loosely coupled applications that use XML documents as a way of integrating distinct systems on the internet. Such documents are used by in standards such as SOAP, WSDL and UDDI which establish, respectively, integrated patterns for the representation of messages, description, and publication of services, thus facilitating the interoperability between heterogeneous systems. Often one single service does not meet the users needs, therefore new systems can be designed from the composition of two or more services. This which is the design goal behind the of the Service Oriented Architecture. Parallel to this scenario, we have the PEWS (Predicate Path-Expressions for Web Services) language, which speci es behavioural speci cations of composite web service interfaces.. The development of the PEWS language is divided into two parts: front-end and back-end. From a PEWS program, the front-end performs the lexical analysis, syntactic and semantic compositions and nally generate XML code. The function of the back-end is to execute the composition PEWS. This master's dissertation work aims to: (i) reformulate the proposed architecture for the runtime system of the language, (ii) Implement the back-end for PEWS by using .NET Framework tools to execute PEWS programs using the Windows Work ow Foundation

Treino prévio reduz o tempo de execução de tarefas visuo-espaciais em ambiente virtual

Objective. To evaluate the influence of previous adaptation to different computational environments in visuo-spacial tasks performance of healthy individuals. Method. Healthy volunteers (n = 30), 15 male, mean age 25.3 ± 3.3 years, were divided in three groups: the first group, considered control, was not adapted to the proposed environments; the second group was adapted to a closed environment (stable and expected), and the third group was adapted to an open environment A (unexpected). The proposed task was to go through two open environments B and C (maze). The dependent variables Time and Error were considered for the analysis. Results. It was observed that during the adaptation phase, in the Time variable, the groups presented a progressive improvement in the performance to each task (p = 0.0036). The group adapted in the A open environment, showed a tendency to be faster in the execution of B and C open environments tasks, than the group adapted in the closed environment (p = 0.068). Conclusion. The study suggests that subjects adapted to visuo-spacial tasks execution involving unknown and no guided situations, present a tendency to a better time performance in these tasks when compared to subjects adapted in fixed and guided situations.

Modelagem do “tempo de execução” de obras civis: estudo de caso na Universidade Federal do Pará (UFPA)

O objetivo desta pesquisa é propor um modelo numérico prognóstico que trate a variável “tempo” de forma eficiente e eficaz, com a finalidade de atender às reais necessidades dos clientes-usuários e à sociedade em geral. Todavia, realizou-se um levantamento bibliográfico sobre gestão pública, no tocante a obras públicas, estatística e pesquisa operacional para sistema organizacional, visando à modelagem numérica. A pesquisa foi baseada em metodologias quantitativas, com ênfase na pesquisa operacional para o estudo das obras públicas executadas sob a gerência da Prefeitura (PCU) da Universidade Federal do Pará (UFPA). Para a elaboração da base de dados, foram coletados informações de obras, reformas e ampliações, executadas durante o período de 2006 a 2009, junto à Comissão Permanente de Licitação (CPL) e à Fundação de Amparo ao Desenvolvimento da Pesquisa (FADESP). Mediante as regressões lineares e, após as transformadas das funções, foram obtidos para o modelo prognóstico os parâmetros estatísticos: coeficiente de correlação (R), de 0,899; coeficiente de determinação (R²), de 0,808; coeficiente de determinação ajustado (R² ajustado), de 0,796; e erro padrão (Se), de 0,41. Esses parâmetros demonstram forte correlação linearizada entre as variáveis, indicando que 79,60% da variabilidade do tempo para executar uma obra pública é causada ou produzida pela variação, em conjunto, da área; do valor orçado; da capacidade técnica operacional da IFES; da capacidade operacional da empresa; da tipologia de serviço; e da estação do ano. Com os resultados obtidos, conclui-se que é possível aplicar e implementar o modelo prognóstico para execução de obras públicas, pois se obteve uma ferramenta potente em sua aplicação para as melhorias dos procedimentos administrativos, tanto na estrutura como no seu desempenho, cujo principal resultado é a previsão do tempo para execução do empreendimento público.

Modelagem do tempo de execução de obras civis: estudo de caso na Universidade Federal do Pará

Este artigo propõe a adoção de um modelo numérico prognóstico para estimar a variável "tempo de execução" para empreendimentos públicos de forma objetiva. O trabalho de campo consistiu na aplicação de métodos estatísticos para analisar dados de obras licitadas e executadas durante o período de 2006 a 2009 na Universidade Federal do Pará (UFPA). A análise de dados envolveu cálculos de regressões lineares e transformadas das funções. Após estratificação e tratamento inicial dos dados, os elementos adotados para construção do modelo final se restringiram a 102 obras de um total de 225 originariamente pesquisadas, resultando nos seguintes parâmetros estatísticos: coeficiente de correlação (R) de 0,899; coeficiente de determinação (R²) de 0,808; coeficiente de determinação ajustado (R² ajustado) de 0,796 e erro padrão (Se) de 0,41. Estes parâmetros indicam forte correlação linear entre as variáveis, indicando que 79,60% da variação do tempo para executar uma obra pública podem ser causadas pela variação, em conjunto, das variáveis área construída, custo orçado, capacidade técnica operacional do contratante, capacidade operacional da empresa, tipologia de serviço e estação do ano.

Automatização do processo de seleção de transformações para otimização do tempo de execução por meio de aprendizado de máquina no arcabouço da LLVM.

A rápida evolução do hardware demanda uma evolução contínua dos compiladores. Um processo de ajuste deve ser realizado pelos projetistas de compiladores para garantir que o código gerado pelo compilador mantenha uma determinada qualidade, seja em termos de tempo de processamento ou outra característica pré-definida. Este trabalho visou automatizar o processo de ajuste de compiladores por meio de técnicas de aprendizado de máquina. Como resultado os planos de compilação obtidos usando aprendizado de máquina com as características propostas produziram código para programas cujos valores para os tempos de execução se aproximaram daqueles seguindo o plano padrão utilizado pela LLVM.

Tolerância a falhas em sistemas de tempo-real distribuídos e embebidos

Este documento descreve um modelo de tolerância a falhas para sistemas de tempo-real distribuídos. A sugestão deste modelo tem como propósito a apresentação de uma solu-ção fiável, flexível e adaptável às necessidades dos sistemas de tempo-real distribuídos. A tolerância a falhas é um aspeto extremamente importante na construção de sistemas de tempo-real e a sua aplicação traz inúmeros benefícios. Um design orientado para a to-lerância a falhas contribui para um melhor desempenho do sistema através do melhora-mento de aspetos chave como a segurança, a confiabilidade e a disponibilidade dos sis-temas. O trabalho desenvolvido centra-se na prevenção, deteção e tolerância a falhas de tipo ló-gicas (software) e físicas (hardware) e assenta numa arquitetura maioritariamente basea-da no tempo, conjugada com técnicas de redundância. O modelo preocupa-se com a efi-ciência e os custos de execução. Para isso utilizam-se também técnicas tradicionais de to-lerância a falhas, como a redundância e a migração, no sentido de não prejudicar o tempo de execução do serviço, ou seja, diminuindo o tempo de recuperação das réplicas, em ca-so de ocorrência de falhas. Neste trabalho são propostas heurísticas de baixa complexida-de para tempo-de-execução, a fim de se determinar para onde replicar os componentes que constituem o software de tempo-real e de negociá-los num mecanismo de coordena-ção por licitações. Este trabalho adapta e estende alguns algoritmos que fornecem solu-ções ainda que interrompidos. Estes algoritmos são referidos em trabalhos de investiga-ção relacionados, e são utilizados para formação de coligações entre nós coadjuvantes. O modelo proposto colmata as falhas através de técnicas de replicação ativa, tanto virtual como física, com blocos de execução concorrentes. Tenta-se melhorar ou manter a sua qualidade produzida, praticamente sem introduzir overhead de informação significativo no sistema. O modelo certifica-se que as máquinas escolhidas, para as quais os agentes migrarão, melhoram iterativamente os níveis de qualidade de serviço fornecida aos com-ponentes, em função das disponibilidades das respetivas máquinas. Caso a nova configu-ração de qualidade seja rentável para a qualidade geral do serviço, é feito um esforço no sentido de receber novos componentes em detrimento da qualidade dos já hospedados localmente. Os nós que cooperam na coligação maximizam o número de execuções para-lelas entre componentes paralelos que compõem o serviço, com o intuito de reduzir atra-sos de execução. O desenvolvimento desta tese conduziu ao modelo proposto e aos resultados apresenta-dos e foi genuinamente suportado por levantamentos bibliográficos de trabalhos de in-vestigação e desenvolvimento, literaturas e preliminares matemáticos. O trabalho tem também como base uma lista de referências bibliográficas.

Definição e execução de computações dinâmicas numa linguagem de programação orientada-a-serviços

Os serviços inicialmente idealizados para o mundo dos negócios, têm actualmente um espectro de utilização muito mais lato, facilitando assim a incorporação de software do exterior, sob a representação de serviço, por parte das aplicações. Os principais contribuidores para a emergente utilização de serviços são a proliferação dos dispositivos móveis, a crescente popularidade da computação da nuvem e a ubiquidade da Internet. Apesar deste estado da arte, a abstracção dos serviços continua, maioritariamente, a ser relegada para a camada do middleware. Consequentemente, este confinamento obstem o programador de ter privilégios para interagir com os serviços ao nível da linguagem. A inexistência deste nível de abstracção dificulta o deployment de aplicações dinâmicas. Como medida para tal, o objectivo do nosso trabalho é garantir suporte ao dinamismo e deployment de arquitecturas orientadas a serviços. Com esse propósito, vamos endereçar os problemas de incorporação dos serviços acessíveis pela Web e permitir operações de reconfiguração dos mesmos, nomeadamente, a ligação dinâmica, substituição do fornecedor de serviços e a gestão dinâmica de conjuntos de fornecedores de serviços.

A efetividade da atuação do Tribunal de Contas do Estado do Rio de Janeiro na sustação de ato e/ou contrato: a perspectiva dos stakeholders

O objeto desta dissertação é identificar a percepção dos stakeholders acerca da ação organizacional empreendida pelo Tribunal de Contas do Estado do Rio de Janeiro - TCERJ, no exercício de uma de suas competências institucionais, sustação da execução de ato e/ou de contrato, complementadas por um estudo de caso. Identificando, a partir das contribuições dos stakeholders, eventuais deficiências e potenciais correções na atuação do órgão estatal no exercício da competência em destaque.

JCML - Java Card Modeling Language: Definição e Implementação

Formal methods should be used to specify and verify on-card software in Java Card applications. Furthermore, Java Card programming style requires runtime verification of all input conditions for all on-card methods, where the main goal is to preserve the data in the card. Design by contract, and in particular, the JML language, are an option for this kind of development and verification, as runtime verification is part of the Design by contract method implemented by JML. However, JML and its currently available tools for runtime verification were not designed with Java Card limitations in mind and are not Java Card compliant. In this thesis, we analyze how much of this situation is really intrinsic of Java Card limitations and how much is just a matter of a complete re-design of JML and its tools. We propose the requirements for a new language which is Java Card compliant and indicate the lines on which a compiler for this language should be built. JCML strips from JML non-Java Card aspects such as concurrency and unsupported types. This would not be enough, however, without a great effort in optimization of the verification code generated by its compiler, as this verification code must run on the card. The JCML compiler, although being much more restricted than the one for JML, is able to generate Java Card compliant verification code for some lightweight specifications. As conclusion, we present a Java Card compliant variant of JML, JCML (Java Card Modeling Language), with a preliminary version of its compiler

Influência do assento da cadeira adaptada na execução de uma tarefa de manuseio

Este estudo teve como objetivo verificar a influência da flexibilidade da superfície de assento da cadeira na velocidade e no tempo despendido por alunos com paralisia cerebral espástica durante a execução de uma tarefa de manuseio de um objeto na posição sentada. Participaram do estudo 11 alunos, de ambos os gêneros, com diagnóstico de paralisia cerebral espástica, que tinham algum controle de tronco e membros superiores. A quantificação da análise cinemática foi realizada em duas situações experimentais: 1) execução de uma tarefa acadêmica de encaixe, com o indivíduo posicionado em um mobiliário adaptado com assento de lona; 2) execução de uma tarefa acadêmica de encaixe, com o participante posicionado em um mobiliário adaptado com assento de madeira. Os dados obtidos foram submetidos à análise estatística descritiva e não-paramétrica por meio do teste de Wilcoxon. Os resultados indicaram que: 1) a velocidade média de execução das tarefas não foi influenciada pelo tipo de assento utilizado 2) o tempo de execução da tarefa foi influenciada pelo tipo de assento utilizado. A utilização do assento de lona aumentou o tempo de realização da tarefa. Conclui-se que o assento de um mobiliário escolar para um aluno com paralisia cerebral espástica não deve ser confeccionado com um material muito flexível. Este tipo de assento fornecerá uma base instável que dificultará o desempenho do aluno durante atividades realizadas com os membros superiores.

Influência da hipermobilidade articular na performance e incidência de lesões no atleta de natação = : Influence of articular hypermobility in the performance and incidence of injuries in the athlete swimming

Universidade Estadual de Campinas . Faculdade de Educação Física

Comparação entre o método clássico de Gibson e Cooke e o teste da condutividade no suor em pacientes com e sem fibrose cística

OBJETIVO: Comparar os valores de cloro no suor obtidos pelo teste quantitativo da iontoforese pela pilocarpina (teste clássico) com os valores de condutividade no suor obtidos pelo sistema de coleta por Macroduct® em pacientes com e sem fibrose cística (FC). O custo e tempo despendidos na execução de cada teste foram também analisados. MÉTODOS: O teste do suor pelas duas técnicas foi realizado simultaneamente, em pacientes com e sem FC. Os pontos de corte para a condutividade para excluir ou diagnosticar FC foram < 75 e > 90 mmol/L, respectivamente, e, para o teste clássico, cloro < 60 e > 60 mmol/L. RESULTADOS: Cinquenta e dois pacientes com FC (29 do sexo masculino e 23 do sexo feminino; de 1,5 a 18,2 anos) realizaram o teste do suor pelas duas técnicas, apresentando valores medianos de cloro e condutividade no suor de 114 e 122 mmol/L, respectivamente. Em todos eles, a condutividade foi > 95 mmol/L, o que conferiu ao teste 100% de sensibilidade (IC95% 93,1-100). Cinquenta pacientes sem FC (24 do sexo masculino e 26 do sexo feminino; de 0,5 a 12,5 anos) apresentaram valores medianos de cloro e condutividade no suor de 15,5 e 30 mmol/L, respectivamente. Em todos os casos, a condutividade foi < 70 mmol/L, o que conferiu ao teste 100% de especificidade (IC95% 92,9-100). O tempo despendido na execução dos testes foi significativamente menor com o teste da condutividade, e o seu custo também foi inferior. CONCLUSÕES: O teste da condutividade apresentou alta sensibilidade e especificidade, e houve boa correspondência entre os testes. O tempo de execução foi mais rápido e o custo inferior na aplicação do teste da condutividade em relação ao teste clássico.

Roteamento sensível ao contexto em redes de sensores sem fio : uma abordagem baseada em regras de aplicação para o Protocolo RPL

Este trabalho apresenta um serviço de reconfiguração dinâmica para Redes de Sensores sem Fio. O trabalho inclui o projeto e a definição de uma arquitetura conceitual que suporta a coleta de uma variedade de informações contextuais e provê uma abstração alto nível para especificação de roteamento sensível ao contexto através de reconfiguração de métricas de roteamento e parâmetros de comunicação. O objetivo da infraestrutura proposta é possibilitar a criação de regras que adaptem o comportamento da rede em tempo de execução, em função dessas informações contextuais. Uma implementação da arquitetura para o protocolo RPL e o sistema operacional Contiki foi realizada, mostrando a viabilidade da abordagem proposta.