Uma fundamentação para sinais e sistemas intervalares

In this work we use Interval Mathematics to establish interval counterparts for the main tools used in digital signal processing. More specifically, the approach developed here is oriented to signals, systems, sampling, quantization, coding and Fourier transforms. A detailed study for some interval arithmetics which handle with complex numbers is provided; they are: complex interval arithmetic (or rectangular), circular complex arithmetic, and interval arithmetic for polar sectors. This lead us to investigate some properties that are relevant for the development of a theory of interval digital signal processing. It is shown that the sets IR and R(C) endowed with any correct arithmetic is not an algebraic field, meaning that those sets do not behave like real and complex numbers. An alternative to the notion of interval complex width is also provided and the Kulisch- Miranker order is used in order to write complex numbers in the interval form enabling operations on endpoints. The use of interval signals and systems is possible thanks to the representation of complex values into floating point systems. That is, if a number x 2 R is not representable in a floating point system F then it is mapped to an interval [x;x], such that x is the largest number in F which is smaller than x and x is the smallest one in F which is greater than x. This interval representation is the starting point for definitions like interval signals and systems which take real or complex values. It provides the extension for notions like: causality, stability, time invariance, homogeneity, additivity and linearity to interval systems. The process of quantization is extended to its interval counterpart. Thereafter the interval versions for: quantization levels, quantization error and encoded signal are provided. It is shown that the interval levels of quantization represent complex quantization levels and the classical quantization error ranges over the interval quantization error. An estimation for the interval quantization error and an interval version for Z-transform (and hence Fourier transform) is provided. Finally, the results of an Matlab implementation is given

Um ambiente computacional para modelagem simbólica de sistemas físicos lineares

Este trabalho propõe um ambiente computacional aplicado ao ensino de sistemas de controle, denominado de ModSym. O software implementa uma interface gráfica para a modelagem de sistemas físicos lineares e mostra, passo a passo, o processamento necessário à obtenção de modelos matemáticos para esses sistemas. Um sistema físico pode ser representado, no software, de três formas diferentes. O sistema pode ser representado por um diagrama gráfico a partir de elementos dos domínios elétrico, mecânico translacional, mecânico rotacional e hidráulico. Pode também ser representado a partir de grafos de ligação ou de diagramas de fluxo de sinal. Uma vez representado o sistema, o ModSym possibilita o cálculo de funções de transferência do sistema na forma simbólica, utilizando a regra de Mason. O software calcula também funções de transferência na forma numérica e funções de sensibilidade paramétrica. O trabalho propõe ainda um algoritmo para obter o diagrama de fluxo de sinal de um sistema físico baseado no seu grafo de ligação. Este algoritmo e a metodologia de análise de sistemas conhecida por Network Method permitiram a utilização da regra de Mason no cálculo de funções de transferência dos sistemas modelados no software

ISE-SPL: Uma abordagem baseada em linha de produtos de software aplicada à geração automática de sistemas para educação médica na plataforma E-learning

E-learning, which refers to the use of Internet-related technologies to improve knowledge and learning, has emerged as a complementary form of education, bringing advantages such as increased accessibility to information, personalized learning, democratization of education and ease of update, distribution and standardization of the content. In this sense, this paper aims to develop a tool, named ISE-SPL, whose purpose is the automatic generation of E-learning systems for medical education, making use of concepts of Software Product Lines. It consists of an innovative methodology for medical education that aims to assist professors of healthcare in their teaching through the use of educational technologies, all based on computing applied to healthcare (Informatics in Health). The tests performed to validate the ISE-SPL were divided into two stages: the first was made by using a software analysis tool similar to ISE-SPL, called SPLOT and the second was performed through usability questionnaires to healthcare professors who used ISESPL. Both tests showed positive results, proving it to be an efficient tool for generation of E-learning software and useful for professors in healthcare

Caracterização dos sistemas de produção de leite bovino na microrregião Seridó do estado do Rio Grande do Norte

The objective was to contribute to a reading of the characteristics and diversity of production systems from bovine milk in the microregion Seridó of Rio Grande do Norte, discuss the social, economic, environmental and husbandry-related primary activity of milk production. We randomly selected 28 agricultural establishments that performed the activity of dairy bovine culture with subsequent applicat ion of a structured questionnaire during September and October 2011. Data were analyzed with application of measures of descriptive analysis and determination of the index rural development (IRD). The results showed that 53.57% of the interviewees were owners of the land, the median area of the properties amounted to 135 hectares, the median number of animals in the herd was 51 head, with minimum 11 and maximum of 350 heads establishments in the sample, 85.72% of establishments had maximum 23 cows in lactation, 100% performed manual milking with suckling calves, average productivity of 3.91 liters / cow / day, 92.86% of the interviewees did not produce silage and / or hay, 64.29% had no access to technical assistance, the average age of interviewees was 51 ± 10.85 years, 78.57% had only elementary education. The average of the IRD computed in the test sample amounted to 0.43 ± 0.11 on a scale 0-1. The sites were grouped into 04 classes, based on your IRD. The average IRD in each dimension was 0.43, 0.55 and 0.34, respectively for economic / husbandry, social and environmental. The determination of the rate of rural development - IDR found for the sample could add establishments hierarchically. It is necessary that the inclusion of best practices in herd management, bookkeeping zootechnical, technical assistance and reorganization practices in land and environmental preservation

Usando a história da resolução de alguns problemas para introduzir conceitos: sistemas lineares, determinantes e matrizes.

In this work we studied the method to solving linear equations system, presented in the book titled "The nine chapters on the mathematical art", which was written in the first century of this era. This work has the intent of showing how the mathematics history can be used to motivate the introduction of some topics in high school. Through observations of patterns which repeats itself in the presented method, we were able to introduce, in a very natural way, the concept of linear equations, linear equations system, solution of linear equations, determinants and matrices, besides the Laplacian development for determinants calculations of square matrices of order bigger than 3, then considering some of their general applications

Teoria algébrica de processos da medida em sistemas quânticos

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Formalismo de Hamilton-Jacobi à la Carathéodory. Parte 2: sistemas singulares

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Desenvolvimento de um objeto de aprendizagem para análise de sistemas de energia elétrica

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Usabilidade de software: estudo de recomendações básicas para verificação do nível de conhecimento dos alunos dos cursos de Design Gráfico e Sistemas de Informação da UNESP/Bauru

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Música por meio de sistemas de comunicação alternativa: inserção do aluno com deficiência na atividade pedagógica

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Convergência digital de sistemas de aprendizado colaborativo, considerando ambientes da web e da TV digital no Brasil

Pós-graduação em Ciência da Computação - IBILCE

Aplicação de luz na faixa do vermelho-extremo em mudas e diferentes sistemas de condução do tomateiro cultivado em ambiente protegido

Pós-graduação em Agronomia - FEIS

Propriedades físicas e químicas de um latossolo vermelho, cultivado com feijão e algodão, sob diferentes sistemas de preparo, adubações e plantas de cobertura

Pós-graduação em Agronomia - FEIS

Análise de novos modelos matemáticos para o problema de planejamento da expansão de sistemas de transmissão

Pós-graduação em Engenharia Elétrica - FEIS

Capacitacitação de professores no contexto de sistemas de comunicação suplementar e alternativa

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)