Test automation scheme for LTE core network element

Modern sophisticated telecommunication devices require even more and more comprehensive testing to ensure quality. The test case amount to ensure well enough coverage of testing has increased rapidly and this increased demand cannot be fulfilled anymore only by using manual testing. Also new agile development models require execution of all test cases with every iteration. This has lead manufactures to use test automation more than ever to achieve adequate testing coverage and quality. This thesis is separated into three parts. Evolution of cellular networks is presented at the beginning of the first part. Also software testing, test automation and the influence of development model for testing are examined in the first part. The second part describes a process which was used to implement test automation scheme for functional testing of LTE core network MME element. In implementation of the test automation scheme agile development models and Robot Framework test automation tool were used. In the third part two alternative models are presented for integrating this test automation scheme as part of a continuous integration process. As a result, the test automation scheme for functional testing was implemented. Almost all new functional level testing test cases can now be automated with this scheme. In addition, two models for integrating this scheme to be part of a wider continuous integration pipe were introduced. Also shift from usage of a traditional waterfall model to a new agile development based model in testing stated to be successful.

Soberania e exceção no pensamento de Carl Schmitt

O artigo procura demonstrar que ocorre, no pensamento de Carl Schmitt, a fusão entre a figura do legislador tal como tratada na Antigüidade e aquela do soberano moderno. Resulta disso que o conceito de exceção passa a ocupar o núcleo da vida política.

Ensino extracurricular em Oftalmologia: grupos de estudos / ligas de alunos de graduação

O objetivo deste estudo é identificar a existência e avaliar o funcionamento de associações de docentes e alunos de graduação (núcleos, ligas, grupos de estudo e ações) dedicadas à complementação extracurricular do ensino de Oftalmologia e à prestação de ser viços comunitários. Realizou-se estudo transversal descritivo e compôs-se amostra de conveniência formada por estudantes de graduação de Medicina e residentes em Oftalmologia das 107 faculdades de Medicina do Brasil. Os dados foram coletados por entrevista, mediante aplicação de questionário, em fevereiro e março de 2002. Encontraram-se 12 ligas de Oftalmologia. O critério de seleção para ingresso inclui, na maior parte, presença em curso introdutório e/ou realização de prova. O número de membros varia de 9 a 30. Metade das ligas aceita alunos a partir do terceiro ano de graduação. Todas as associações apresentam participação de docentes, e 75%, de residentes. As atividades mais comuns incluem participação em aulas teóricas e em projetos comunitários, atendimento em ambulatório e/ou pronto-socorro e realização de pesquisa científica. A maioria das ligas de Oftalmologia preenche os requisitos para suplementar o ensino de Oftalmologia na graduação médica, porém o número de ligas ainda é pequeno.

Remarks on abstract Galois theory

This paper is a historical companion to a previous one, in which it was studied the so-called abstract Galois theory as formulated by the Portuguese mathematician José Sebastião e Silva (see da Costa, Rodrigues (2007)). Our purpose is to present some applications of abstract Galois theory to higher-order model theory, to discuss Silva's notion of expressibility and to outline a classical Galois theory that can be obtained inside the two versions of the abstract theory, those of Mark Krasner and of Silva. Some comments are made on the universal theory of (set-theoretic) structures.

Jordens figur, upfunnen af herrar de Maupertuis, Clairaut, Camus, Le Monnier, ledamöter af Kongl. Vetenskaps Academien i Paris, och herr abbotn Outhier, correspondent af samma Academia, samt af h. Celsius, Kongl. astron. professor i Upsala, igenom de, på konungens i Frankrike befalning, vid norra pol-cirkelen, giorda observationer : utgifvit af herr de Maupertuis. Öfversat af fransyskan [af Anders Hellant].

Digital reproduction, The National Library of Finland, Centre for Preservation and Digitisation, Mikkeli

La figure de la terre, determinée par les observations de Messieurs de Maupertuis, Clairaut, Camus, Le Monnier, de lʼAcadémie Royale des Sciences, & de M. lʼAbbé Outhier, Correspondant de la même Académie, Accompagnés de M. Celsius, Professeur dʼAstronomie à Upsal, faites par ordre du roy au cercle polaire : par M. de Maupertuis.

Digital reproduction, The National Library of Finland, Centre for Preservation and Digitisation, Mikkeli

The figure of the earth, determined from observations made by order of the French King, at the polar circle: by Messrs de Maupertuis, Camus, Clairaut, Le Monnier, members of the Royal Academy of Sciences, the abbé Outhier, correspondent of the Academy, and Mr. Celsius, professor of astronomy at Upsal : translated from the French of M. de Maupertuis.

Digital reproduction, The National Library of Finland, Centre for Preservation and Digitisation, Mikkeli

La figure de la terre, determinée par les observations de Messieurs de Maupertuis, Clairaut, Camus, Le Monnier, de lʼAcadémie Royale des Sciences, & de M. lʼAbbé Outhier, Correspondant de la même Académie, Accompagnés de M. Celsius, Professeur dʼAstronomie à Upsal: faites par ordre du roi au cercle polaire : par M. de Maupertuis.

Digital reproduction, The National Library of Finland, Centre for Preservation and Digitisation, Mikkeli

PROLEGÓMENOS PARA UNA TEORÍA FORMAL DE ESTRUCTURAS (DESPUÉS DE N.DA COSTA)

Resumen El articulo tiene por objetivo la reconstrucción alternativa del concepto de estructura, motivado por los articulos (1) y (3), como una generalización abstracta de lo que es un objeto matemático. Primero, mostramos su construcción, que tiene que ver con la teoría de tipos y orden en lógica, dando a lugar a propiedades y varios ejemplos interesantes. Luego avanzamos hacia una semántica concreta, para su análisis, y para permitirnos operar sobre ellas, sabiendo de este modo, lo que es "lo verdadero en ella". Obtenido ello, mostraremos los resultados de reducción de orden y de individuos, pero vistos en este contexto, así formalizando completamente en nuestra teoría de tipos la discusión de (1) (Ver también (2) y (3)) sobre estos temas.

Ajuste do modelo de Schumacher e Hall e aplicação de redes neurais artificiais para estimar volume de árvores de eucalipto

Objetivou-se, neste trabalho, avaliar o ajuste do modelo volumétrico de Schumacher e Hall por diferentes algoritmos, bem como a aplicação de redes neurais artificiais para estimação do volume de madeira de eucalipto em função do diâmetro a 1,30 m do solo (DAP), da altura total (Ht) e do clone. Foram utilizadas 21 cubagens de povoamentos de clones de eucalipto com DAP variando de 4,5 a 28,3 cm e altura total de 6,6 a 33,8 m, num total de 862 árvores. O modelo volumétrico de Schumacher e Hall foi ajustado nas formas linear e não linear, com os seguintes algoritmos: Gauss-Newton, Quasi-Newton, Levenberg-Marquardt, Simplex, Hooke-Jeeves Pattern, Rosenbrock Pattern, Simplex, Hooke-Jeeves e Rosenbrock, utilizado simultaneamente com o método Quasi-Newton e com o princípio da Máxima Verossimilhança. Diferentes arquiteturas e modelos (Multilayer Perceptron MLP e Radial Basis Function RBF) de redes neurais artificiais foram testados, sendo selecionadas as redes que melhor representaram os dados. As estimativas dos volumes foram avaliadas por gráficos de volume estimado em função do volume observado e pelo teste estatístico L&O. Assim, conclui-se que o ajuste do modelo de Schumacher e Hall pode ser usado na sua forma linear, com boa representatividade e sem apresentar tendenciosidade; os algoritmos Gauss-Newton, Quasi-Newton e Levenberg-Marquardt mostraram-se eficientes para o ajuste do modelo volumétrico de Schumacher e Hall, e as redes neurais artificiais apresentaram boa adequação ao problema, sendo elas altamente recomendadas para realizar prognose da produção de florestas plantadas.

Rotina computacional para a determinação da velocidade de sedimentação das partículas do solo em suspensão no escoamento superficial

O presente trabalho teve como objetivo desenvolver uma rotina computacional para a determinação da velocidade de deposição de partículas em suspensão no escoamento superficial, verificar sua aplicação por intermédio de modelo de transporte de sedimentos e comparar os resultados obtidos com dados experimentais. Empregou-se na rotina o processo iterativo de Newton-Rapshon para a solução das equações empregadas na determinação da velocidade de deposição de partículas em suspensão no escoamento superficial, e na solução da equação do transporte de sedimentos empregou-se a técnica das diferenças finitas. Essas rotinas foram empregadas na implementação do modelo MTSES (Modelo para Transporte de Solutos no Solo e no Escoamento Superficial). As velocidades de queda das partículas obtidas pela rotina desenvolvida, em média, foram superestimadas, com erro relativo médio de 0,63%, o que possibilitou a utilização da rotina desenvolvida no MTSES. O modelo MTSES superestimou o total de sedimentos transportados pelo escoamento superficial para todas as intensidades de precipitação empregadas neste estudo, com variações porcentuais de 15,6 a 58,3%.

Taxa de emissão de CO2 de um latossolo fertirrigado com ácido fosfórico por gotejamento

A aplicação de fertilizantes fosfatados por meio de fertirrigação com sistemas de irrigação localizada pode causar obstrução de emissores. Para evitar esse problema, pode ser utilizado o ácido fosfórico como fonte de fósforo às plantas. Porém, têm sido pouco investigados os efeitos da irrigação relacionados às perdas de CO2 do solo para a atmosfera, em conseqüência da decomposição do carbono orgânico e da infiltração de água no solo. Neste trabalho, investigou-se, no período de um mês, o efeito da fertirrigação com ácido fosfórico nas taxas de emissão de CO2 de um latossolo desprovido de vegetação, na Área Experimental de Irrigação da UNESP, Câmpus de Jaboticabal - SP. Utilizou-se de um sistema de irrigação por gotejamento, com delineamento experimental em blocos casualizados, constando de cinco repetições e cinco tratamentos (0; 30; 60; 90 e 120 kg ha-1de P2O5), aplicados via fertirrigação com ácido fosfórico. Verificou-se que as taxas de emissão de CO2 aumentaram significativamente após as fertirrigações, porém não houve efeito da dose do ácido fosfórico sobre as taxas. A umidade do solo mostrou-se um fator importante na relação entre as variações das taxas de emissão e a temperatura do solo ao longo do período estudado.

Modelo dinâmico de simulação e otimização da força normal de reação do solo para um mecanismo de corte basal

O modelo físico foi baseado no método de Newton-Euler, sendo o mesmo desenvolvido utilizando o programa computacional científico Mathematica®. Realizaram-se várias simulações, nas quais se procurou obter a força normal de reação do solo variando velocidades de avanço (0,69; 1,12; 1,48; 1,82 e 2,12 m s-1); perfis de solo (senoidal, rampa ascendente e descendente) e altura do camalhão (0,025 e 0,05 m). Após as simulações iniciais, o mecanismo foi otimizado utilizando o programa computacional científico Matlab®, tendo como critério (função-objetivo) a minimização da força normal de reação do perfil (F N) e como variáveis de projeto os comprimentos das barras (L1y, L2, l3 e L4), altura da operação (L7), o comprimento inicial da mola (Lmo) e a constante elástica da mola (k t). A falta de robustez do mecanismo em relação à variável altura de operação foi contornada por meio do uso de mola com baixa rigidez e grande comprimento. Os resultados demonstraram que o mecanismo otimizado obteve desempenho de flutuação muito bom, em relação ao mecanismo inicial.

Projeto de um cortador de base para colhedora de cana-de-açúcar utilizando otimização matemática

Um cortador de base representado por um mecanismo de quatro barras foi desenvolvido utilizando-se do programa Autocad. Suas partes constituintes foram pré-dimensionadas em função das características operacionais de uma colhedora de cana-de-açúcar em sistema de cana crua e inteira, colhendo uma linha de cana por passada. A força normal de reação do perfil no ponto de contato foi determinada por meio da análise dinâmica, sendo as equações de equilíbrio dinâmico baseadas nas leis de Newton-Euler. O processo de otimização teve como objetivo minimizar a força normal de reação do solo, submetida a restrições de posição, trajetória, comprimento das barras, constante da mola e da força normal. Implementou-se o Algoritmo de Programação Quadrática Seqüencial - SQP do módulo de otimização do programa computacional Matlab. Os resultados mostraram melhora significativa no desempenho de flutuação do mecanismo, representada pela força normal de reação do perfil, a qual foi reduzida de 4.250,33 para 237,13 N. Posteriormente, outras variáveis foram incorporadas ao mecanismo otimizado e um segundo processo de otimização foi implementado.

Aplicação de métodos numéricos para estimativa de variáveis psicrométricas

O ar atmosférico é formado por uma composição de ar seco e vapor d'água, cujos valores da quantidade de vapor, em termos quantitativos, são variáveis em função dos elementos climáticos, tais como: temperatura e pressão. Portanto, para estimar os valores de umidade relativa do ar, são necessárias informações completas de séries de dados de temperatura do ar (Tar), pressão atual de vapor (e a) e temperatura de bulbo úmido (Tu). O trabalho apresenta como objetivo a elaboração de rotina computacional para encontrar valores da temperatura do termômetro de bulbo úmido (Tu) em função de outras variáveis, para uma série de dados obtidos, mediante a aplicação de métodos numéricos (Método de Newton-Raphson e Método da Secante), para fins de complementação de uma série de dados diários para Piracicaba - SP. Verificou-se que os métodos numéricos de Newton-Raphson e da Secante apresentaram bom desempenho na simulação dos resultados, porém o método da Secante apresentou-se como o melhor para encontrar os valores de Tu, mediante a resolução numérica da equação psicrométrica.