Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2016 / Made available in DSpace on 2016-09-20T04:04:46Z (GMT). No. of bitstreams: 1 339907.pdf: 4176816 bytes, checksum: fb258b4beb123055d5c12a32945229f1 (MD5) Previous issue date: 2016 / Nesta tese são desenvolvidos resultados de síntese de controladores fuzzy para a estabilização local de sistemas não lineares discretos no tempo com atraso variante nos estados. Para a utilização desses resultados é necessário em um primeiro momento obter-se a representação por modelos fuzzy dos sistemas não lineares. Essa modelagem fuzzy proporciona a obtenção de modelos fuzzy T-S que representam os sistemas não lineares de forma exata no interior de uma região no espaço de estados, chamada de região de validade. As informações dessa região de validade são levadas em consideração na etapa de projeto e, assim, têm-se condições de estabilização locais. Em consequência disso, é proposta uma metodologia original para estimar regiões de estabilidade assintótica tais que as trajetórias dos sistemas não lineares em malha fechada iniciadas a partir de condições iniciais pertencentes a essas regiões de estabilidade sejam assintoticamente estáveis. Vale destacar que na metodologia proposta é feito o desacoplamento do vetor de condições iniciais e, dessa forma, trabalha-se na estimativa de duas regiões: uma para tratar as condições iniciais em k=0 e a outra para lidar com as sequências de condições iniciais atrasadas. Para o desenvolvimento das condições de síntese, utilizam-se candidatas à função de Lyapunov-Krasovskii (L-K) que são dependentes das funções de pertinência dos modelos fuzzy e são compostas de matrizes de Lyapunov inversas. Além disso, essas condições são propostas como desigualdades matriciais lineares. Ressalta-se que são propostas três leis de controle: i) para a primeira realimentam-se o vetor de estados atual e o vetor de estados afetado pelo atraso variante no tempo; ii) para a segunda têm-se a realimentação do vetor de estados atual e do vetor de estados afetado pelo atraso máximo; e iii) para a última calculam-se ganhos de realimentação de todos os vetores de estados. Comparações entre os resultados originais desenvolvidos e condições encontradas na literatura são realizadas por meio de exemplos numéricos. Vale destacar também que uma extensão do resultado referente à primeira lei de controle é apresentada, na qual sintetizam-se controladores fuzzy T-S para estabilização local no sentido l2 de sistemas não lineares discretos no tempo com atraso nos estados afetados por um sinal de perturbação l2.<br> / Abstract: This thesis proposes design conditions for Takagi-Sugeno (T-S) fuzzy controllers guaranteeing local stabilization of nonlinear discrete time systems with time-varying delay in the states. To use this results, in a first moment it is necessary to obtain a representation fuzzy models of the nonlinear systems. This modeling provides T-S fuzzy models that represent the nonlinear systems of exact form inside of a region in the states space, called region of validity. The informations about this region of validity are taken into account in the conditions of local stabilization. In consequence, we propose an original methodology to estimate regions of asymptotic stability such that the trajectories of the the closed-loop nonlinear systems initialized from initial conditions belonging to this region of stability are asymptotically stable. We highlight that the proposed methodology is done by the decoupling of vector initial conditions, therefore, we work on the estimation of two regions: one to treat the initial conditions in k=0 and other to deal with sequences of delayed initial conditions. For the synthesis conditions development, we use Lyapunov-Krasovskii (L-K) fuzzy candidates that are membership functions dependents and are composed of Lyapunov matrices inverse. Furthermore, these conditions are proposed as linear matrix inequalities. We highlight that the proposed control laws have differences, which: i) for one these control laws feedback the current states vector and the affected states vector by the time-varying delay; ii) for the other control law, we have feedback of current states vector and affected states vector by the maximum delay; and iii) the last control law we compute feedback gains of all the states vectors. The comparisons among the original results development and conditions found in the literature are realized from numerical examples. We also highlight that an extension about the result referent to the control law that feedbacks current the states vector and affected the states vector by the time-varying delay is shown, which we design T-S fuzzy controllers for local stabilization in l2 sense of nonlinear discrete time systems with time-varying delay in the states affected by perturbation signals l2.

Orientador: Sergio Tadeu Martins Marba / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Ciencias Medicas / Made available in DSpace on 2018-08-08T00:24:59Z (GMT). No. of bitstreams: 1 Moura_MonicaBarthelsonCarvalhode_M.pdf: 1974404 bytes, checksum: f66d3899041444039f1356215d0843ac (MD5) Previous issue date: 2006 / Resumo: O objetivo deste estudo foi verificar a tendência secular de permanência hospitalar de recém-nascidos sadios e = 2.500 gramas em uma maternidade de grande porte em Campinas (Hospital Maternidade de Campinas) e sua modificação com algumas variáveis maternas e do recém-nascido. Foi um estudo descritivo, analítico, retrospectivo, realizado através de dados dos prontuários de pacientes nascidos vivos entre os anos de 1951 a 2000, com uma amostra de 5001 recém-nascidos, selecionada através de sorteio, dentre a população total incluindo todos os anos do período de estudo. A variável dependente foi o tempo de permanência hospitalar e as independentes foram peso de nascimento, idade materna, tipo de parto e categorias de internação. Para analisar a tendência secular do tempo de permanência hospitalar em função do ano de nascimento, bem como sua associação com as variáveis independentes, foi utilizado análise de regressão linear com estimação pelo método dos quadrados mínimos. O nível de significância adotados para os testes estatísticos foi de 5%. A média de tempo de permanência hospitalar do binômio mãe-filho na maternidade em 1951 foi de 123 horas e em 1970, já havia diminuído para 55, 8 horas. O tempo de permanência Hospitalar não variou com o peso de nascimento, a idade materna e a categoria de internação, variando apenas com o tipo de parto. Concluiu-se que houve um decréscimo vertiginoso no tempo de permanência hospitalar no período de 1951 a 1970 independente do peso de nascimento, da idade materna e das categorias de internação, variando apenas com o tipo de parto, as cesáreas apresentaram queda mais significativa do tempo de internação, destes recém- nascido / Abstract: The objective of this research was to become known the secular tendency of lenght of perinatal hospital stay in healthy newborns, with birth weight more than 2.500g in a big hospital of Campinas (Hospital Maternidade de Campinas). It was a descriptive, analitic and retrospective study, analyzing prontuary datas of pacients that have been borned from 1951 to 2000. They have been choosen by picking them up from the total population during all years. The dependent variable has been the lenght of stay and the independents have been birth weight, maternal age, kind of delivery and economic categories. To analyse the secular tendency of length of stay for each year and associate it with the independent variables, it has been used linear regression analysis. The significance level was 5%. The middle time of length of stay for mother and newborn, in 1951, was 123 hours and in 1970, was 55,8 hours.The variables: birth weight, maternal age and economic categories haven't change hospitalar permanency, only kind of delivery has interwied in this process. Conclusion: the length of stay has decreased significantly between 1951 to 2000. Birth weight, maternal age and economic categories haven't interviewed in this process. Only the kind of delivery, the cesareans have been decreased significantly during 1951 to 2000 / Mestrado / Pediatria / Mestre em Saude da Criança e do Adolescente

Orientador: Linda Gentry El-Dash / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Estudos da Linguagem / Made available in DSpace on 2018-08-18T13:29:17Z (GMT). No. of bitstreams: 1 Sousa_DenilsonAmade_D.pdf: 59937903 bytes, checksum: 962fee9a430238e73752cd20bad8caae (MD5) Previous issue date: 2011 / Resumo: Esta tese tem como objetivo apresentar e discutir alguns referenciais teóricos e metodológicos na área de Ensino/Aprendizagem de inglês como língua estrangeira (L2). O trabalho consiste em verificar a eficácia de um modelo indutivo de ensino gramatical chamado PACE - Presentation, Attention, Co-Construction, Extension (Donato e Adair- Hauck, 1994), comparando-o a um ensino gramatical mais tradicional, que chamamos de Dedutivo. A estrutura ensinada é o Present Perfect. Há tempo atesta-se a grande dificuldade que aprendizes e professores brasileiros de inglês encontram na aquisição e utilização do Present Perfect, pois, em sua língua materna, não precisam fazer, gramaticalmente, a distinção entre estado, ação e estado limitado, que, em inglês, é essencial para se fazer uso do aspecto perfect. El-Dash (2001, 2005) afirma que quando se limita explicitamente (através de advérbios ou locuções adverbiais) o estado atual resultante de uma ação no passado, o tempo verbal obrigatório em inglês é o Present Perfect. Quando esse limite não é de alguma forma explicitado, depende do falante querer ou não focar no estado atual; se esse for o foco, ele utilizará o Present Perfect; caso o foco seja somente a ação em si no passado, o falante utilizará o Simple Past. O modelo PACE é uma abordagem de ensino de gramática que tem como objetivo promover o desenvolvimento lingüístico na L2 através da co-construção de conhecimento entre professor e aluno e entre os alunos. Os proponentes desse modelo tentam fazer com que o ensino de gramática se dê num ambiente de sala de aula cuja ênfase é a comunicação. A principal proposta do modelo é expor os aprendizes, de modo contextualizado, a estruturas e seus significados, utilizando, para tal, estórias/narrativas, lendas, poemas, músicas, textos orais, tirinhas, receitas, entre outros. Essa exposição deve sempre, primeiramente, concentrar-se no significado, para então chamar a atenção dos aprendizes à(s) forma(s) que deseja ensinar. Os gêneros textuais utilizados e as atividades propostas pelo PACE enfatizam a autenticidade linguística e encorajam os aprendizes a compreender amostras mais longas e significativas desde as primeiras aulas; mostrando aos alunos, dentre outras coisas, a relevância funcional da estrutura gramatical antes de convidálos a prestar atenção à forma. Assim, depois de utilizar vários recursos para levar os aprendizes a compreender o texto, o professor deve chamar a atenção dos mesmos a vários elementos lingüísticos do texto e, juntamente com os alunos, construir explicações para aquela forma em questão. Em relação à metodologia utilizada nesta pesquisa, optou-se por coletar dados através de tarefas de julgamento de gramaticalidade e de descrição de figuras; além de gravações de aulas em áudio para servirem como evidência confirmatória de nossa hipótese. Três turmas de inglês de nível intermediário participaram da pesquisa e formaram os três grupos que receberam intervenção pedagógica baseada em PACE, intervenção pedagógica dedutiva e nenhum tratamento (Controle). O desenho dos testes se caracteriza por um pré-teste antes das intervenções; um pós-teste realizado imediatamente após o tratamento e outro depois de passadas 4 semanas. Os resultados apontam para a superioridade do modelo PACE, no sentido de ter refinado tanto o julgamento intuitivo dos aprendizes quanto a capacidade de produção linguística dos mesmos. O grupo Dedutivo também se beneficiou da intervenção, mas não tão profundamente quanto o grupo PACE. O desempenho do grupo Controle se manteve o mesmo / Abstract: This dissertation aims at presenting and discussing some theoretical and methodological frameworks within the field of Second Language Acquisition (SLA). It consists in ascertaining the efficiency of a guided-induction approach to grammar instruction called PACE - Presentation, Attention, Co-Construction, Extension (Donato e Adair-Hauck, 1994). We do so by comparing this model to a more traditional approach to teaching grammar, which we call Deductive. The structure taught is the Present Perfect. This verb tense has long been a known difficulty for both Brazilian learners and teachers. This is due to the fact that Brazilian Portuguese does not grammatically distinguish states from actions from limited states, which are crucial distinctions when using the perfect tenses in English. El-Dash (2001, 2005) states that when the speaker explicitly imposes a limit to the current resulting state of a past action (through an adverbial phrase), the mandatory verbal form is the Present Perfect. When this limit is not explicitly expressed, it is the speaker who will decide whether or not to focus on the current state; if this is the case, he will use the Present Perfect; if he decides to focus on the past action itself, he will employ the Simple Past. The PACE model is an approach to grammar instruction which aims at promoting linguistic development in the L2 through the coconstruction of knowledge between teacher and learners, and among learners. The proponents of this model seek to make grammar teaching take place within a classroom in which the emphasis is communication. The main proposal of the model is to expose learners, in a contextualized way, to structures and their meanings via stories and narratives, legends, poems, lyrics, oral texts, comic strips, recipes, among other genres. This exposure should always initially focus on meaning, and only then should it draw learners' attention to the structure(s) that will be taught. The text genres and activities proposed by PACE emphasize linguistic authenticity and encourage learners to understand longer and significant linguistic samples from the first classes on. It seeks to show learners, among other things, the functional relevance of the structure before inviting them to pay attention to its form. Thus, after making use of several resources to aiding learners to grasp the meaning of the text, the instructor must call their attention to various of its linguistic elements and, along with the learners, construct explanations to that structure. In regard to the methodology used in this research, we chose to collect data through grammaticality judgment and picture description tests. We also recorded a few interactions in order to use them as confirmatory evidence. Three intermediate level groups participated in the research and formed the three groups that received pedagogical intervention based on PACE, a traditional intervention and no treatment (Control). The design of the tests involved a Pre-test before the intervention, an immediate Post-test and a delayed Post-test after four weeks. The results show a superiority of PACE Model in terms of having refined both learners' judgment and production ability. The group treated with the traditional approach also benefited from instruction, but to a lesser extent. The performance of the Control group remained the same / Doutorado / Linguistica Aplicada / Doutor em Linguística Aplicada

Orientador: Mauro William Barbosa de Almeida / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-24T00:20:28Z (GMT). No. of bitstreams: 1 Martini_Andrea_M.pdf: 30800170 bytes, checksum: 8d739c2ea320ea8a69447df9c0442a40 (MD5) Previous issue date: 1998 / Resumo: Não informado. / Abstract: Not informed. / Mestrado / Mestre em Antropologia Social

Orientador: Alberto Martins Jorge / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-20T19:46:22Z (GMT). No. of bitstreams: 1 Ito_Ricardo_M.pdf: 4384461 bytes, checksum: a02a22644dc6f83d21f50c2a598092ae (MD5) Previous issue date: 1995 / Resumo: Não informado / Abstract: Not informed. / Mestrado / Mestre em Engenharia Elétrica

Orientador: Mauricio F. Magalhães / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-13T21:56:53Z (GMT). No. of bitstreams: 1 Guimaraes_ElianeGomes_M.pdf: 10248156 bytes, checksum: f866147dab4814591415f2553968fe66 (MD5) Previous issue date: 1990 / Resumo: Este trabalho apresenta a implementação de um ambiente para programação distribuída de tempo real baseado na troca de mensagens - STER. O ambiente destina-se, fundamentalmente, a aplicações na área de sistemas distribuídos em automação industrial. OSTER proporciona uma abordagem baseada em linguagem para a programação de aplicações distribuídas, diferente de alguns sistemas existentes que proporcionam somente a conexão de sistemas autônomos. A abordagem utilizada reduz a complexidade na construção de aplicações distribuídas proporcionando modularidade, concorrência, comunicação e sincronização, integradas na estrutura de uma única linguagem. As suas principais características traduzem-se em: programação modular; independência dos módulos da aplicação relativamente ao fato da arquitetura alvo ser centralizada ou distribuída; possibilidades de reconfiguração dinâmica e de tolerância a falhas. O STER proporciona um conjunto de ferramentas para a compilação, configuração, depuração e execução de programas em um ambiente distribuído. O desenvolvimento de um programa de aplicação divide-se em duas etapas: a programação dos módulos que implementam as funções do sistema e a configuração da aplicação a partir dos módulos disponíveis. O ambiente consiste basicamente de uma metodologia; de um Núcleo Operacional Distribuído Tempo Real (NOD); e de duas linguagens: a Linguagem de Programação de Módulos (LPM) e a Linguagem de Configuração de Módulos (LCM). A LCM é utilizada para especificar a configuração de componentes de software em estações lógicas, o que proporciona uma descrição de configuração concisa e facilita o reuso dos módulos componentes em configurações diferentes. As aplicações são construídas a partir de uma ou mais estações lógicas interconectadas.A versão implementada permite a execução de aplicações distribuídas em equipamentos compatíveis com o IDM-PC, interligados por rede local. Atualmente, o ambiente suporta apenas configuração estática das aplicações. Uma evolução do trabalho é a extensão do ambiente de forma a suportar a reconfiguração dinâmica e o transporte do STER para estações de trabalho executando sistemas UNIX / Abstract: This work presents the implementation of the environment to distributed real time programming based on message passing - STER. The main application area of the environment is Distributed Systems in Industrial Automation. The STER provides a language-based approach to build dístributed applications, unlike of existing systems which merely provi de interconnection of autonomous systems. The approach used reduce the complexity of constructing distributed applications by providing modularity, concurrency, synchronisation and communication facilities integrated into a single language. The characteristics of this environment are: modular programming, applications modules independent of the target hardware architecture (centralized or distributed); possibilities of dynamic reconfiguration and fault-tolerance. The STER provides a set of tools for program compilation, configuration, debugging and execution in a distributed environment. The development of an application program consists of two phases: the programming of modules that implement system functions and the configuration of the application using available modules. This environment integrares a design methodology; a Real Time Distributed Kemel (NOD) and the two languages: the Modules Programming Language (LPM) and the Modules Configuration Language (LCM). The LCM is employed to specify the configuration of software components into logical stations. This provides a concise configuration and facilitates the re-use of modules components in different configurations. Aplications are constructed as sets of one or more interconnected logical stations. The version implemented allows distributed applications running on ffiM-PC compatible equipaments, interconnected via local networks. Currently, the environment suppons only static configuration of the applications. Future steps related to the continuity of this work should include the suppon of dynamic reconfiguration and the transpon of STER' s tools to UNIX operating systems based workstations / Mestrado / Mestre em Engenharia Elétrica

Orientador: Mauricio F. Magalhães / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-13T22:54:12Z (GMT). No. of bitstreams: 1 Hsieh_YiZung_M.pdf: 7322412 bytes, checksum: a256acb27a523ba0592d2046e46481a3 (MD5) Previous issue date: 1991 / Resumo: As restrições de temporização dos processos num sistema de tempo real crítico (Hard Real Time System - HRTS) é um fator da máxima importância; os problemas de escalonamento geralmente envolvem a garantia da exequibilidade dentro das limitações impostas pelas aplicações e, conforme a relação interprocessos dentro de um sistema, aumenta-se o grau de complexidade do escalonador. Neste trabalho, será realizada uma série de análises sobre os problemas verificados diferentes. Nos escalonadores de HRTS exercitados em seis ambientes representantes de Os duas estudos estão concentrados sobre dois escalonadores categorias diferentes o escalonador estático "Taxa Monotônica" e o escalonador dinâmico "Earliest Deadline"; seus desempenhos são discutidos e questionados de diversas maneiras durante as respectivas apresentações; algumas propostas também serão levantadas visando a melhoria dos algoritmos de escalonamento / Mestrado / Mestre em Engenharia Elétrica

Submitted by Fernanda Rodrigues de Lima (fernanda.rlima@ufpe.br) on 2018-09-21T19:37:04Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Rafael de Oliveira Simões.pdf: 7750038 bytes, checksum: 9eab48d89dc4e4a384169606681067a6 (MD5) / Approved for entry into archive by Alice Araujo (alice.caraujo@ufpe.br) on 2018-09-27T17:21:50Z (GMT) No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Rafael de Oliveira Simões.pdf: 7750038 bytes, checksum: 9eab48d89dc4e4a384169606681067a6 (MD5) / Made available in DSpace on 2018-09-27T17:21:50Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Rafael de Oliveira Simões.pdf: 7750038 bytes, checksum: 9eab48d89dc4e4a384169606681067a6 (MD5) Previous issue date: 2017-05-24 / Esta pesquisa tem como principal objetivo geral verificar a forma que o Programa Segundo Tempo promove e educa, inserindo-o no processo histórico recente construído onde foi criado pelo Ministério do Esporte no ano de 2003. Nessa dissertação estudamos o Programa Segundo Tempo sediado em universidades, o fazemos em particular a partir de algumas experiências em universidades federais brasileiras, para tanto elegemos a Universidade Federal de São Paulo, a Universidade Federal do Rio Grande do Sul e a Universidade Federal de Viçosa, todas com participação diferenciada na aplicação do Programa. Fazemos o debate sobre as possíveis mudanças ocorridas nos assistidos pelo mesmo, bem como na relação destes com a sociedade através da educação que lhes foi ofertada no Programa. Para tanto, utilizamos os conceitos de psicogênese e sociogênese de Norbert Elias. Isso se deu em nossa pesquisa a partir da análise da memória do Programa Segundo Tempo que aqui discutimos os dados. Entendemos o Programa Segundo Tempo como uma política pública de esporte com dimensão e abrangência, isso se reflete na quantidade de assistidos, núcleos, professores, alcance do programa em escala nacional e capilaridade adaptável e sensível as peculiaridades locais. Sendo assim, também são grandiosas as possibilidades educativas presentes em seus desdobramentos, com impacto social expressivo comprovado a partir dos dados do governo brasileiro no período dos governos Lula e Dilma (2003- 2013) por nós aqui debatidos, em particular na análise a partir das práticas de interação e atividades cooperativas e pelas memórias das experiências que analisamos. Concluímos analisando a experiência, discutindo seus possíveis acerto e limitações e situando o potencial que a mesa pode ter como parte de alteração de perspectiva dos seus assistidos. / Esta investigación tiene como objetivo analizar las concepciones y sus interfaces educativas derivadas de la experiencia del Programa Segundo Tiempo, creado por el Ministerio de Deportes en 2003. Esta tesis estudia el Programa Segundo Tiempo basada en las universidades, lo hacen en privado a partir de algunas experiencias en las universidades federales brasileñas, hemos elegidos la Universidad Federal de São Paulo, la Universidad Federal de Rio Grande do Sul y la Universidad Federal de Viçosa, todo ello con la participación diferenciada en la aplicación del programa. Debatimos sobre posibles cambios en la asistencia de la misma, así como en su relación con la sociedad a través de la educación que se les ha ofrecido en el programa. Por lo tanto, utilizamos los conceptos de la psicogénesis y sociogénesis de Norbert Elias. La metodología aplicada ha sido analizar la memoria Programa Segundo Tiempo y sus datos. Entendemos el Programa Segundo Tempo como una política pública deportiva con dimensión y abrangencia, esto se refleja en el número de beneficiarios, centros, profesores, alcance del programa a escala nacional y las peculiaridades locales adaptables y sensibles. De esta manera las oportunidades educativas presentes son grandiosas para el desarrollo, con un impacto social significativo demostrado a partir de los datos del gobierno brasileño en el período de Lula y Dilma (2003-2013), principalmente en el análisis de prácticas de interacción, actividades de cooperación y en los recuerdos de las experiencias analizadas por nosotros. Concluímos que a través de las experiencias analisadas, donde hemos debatido sus posibles aciertos, limitaciones y situado el potencial que la misma puede alcanzar como parte de cambios de perspectiva de sus asistidos.

Orientador : Mauricio Ferreira Magalhães / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-18T14:21:10Z (GMT). No. of bitstreams: 1 AdanCoello_JuanManuel_D.pdf: 7801665 bytes, checksum: 75491186891931ccf8c0145598347736 (MD5) Previous issue date: 1993 / Resumo: Um sistema de tempo-real deve atender às restrições temporais das aplicações a que está associado, e ser facilmente reconfigurável para adaptar-se às mudanças que deverão ocorrer ao longo da sua vida útil. Isto é, um sistema de tempo-real deve ser previsível e flexível. Esta tese procura contribuir para a concepção de ambientes de desenvolvimento de sistemas distribuídos de tempo-real, mostrando que a produção de sistemas flexíveis e previsíveis é viável. Para isso, é proposto um modelo de programação suportado por duas linguages de programação (a LPM-RC e a LCM-RC) integradas a uma estratégia de escalonamento. No modelo de programação proposto, aplicações são construídas combinando módulos de "software" reusáveis, o que lhes confere um alto grau de reconfigurabilidade. As restrições temporais de um módulo (periodicidade e prazo de término) não são parte do módulo propriamente dito, e sim do contexto onde é usado (das aplicações). Módulos podem compartilhar recursos usando os serviços oferecidos por servidores. Estes últimos, diferenciam-se dos demais módulos (clientes) por não terem restrições temporais próprias; eles herdam as restrições temporais dos clientes que estão atendendo. Uma interação cliente-servidor pode incluir tanto a execução de um único serviço como a execução de uma seqüência de serviços em exclusão mútua (relativamente aos demais clientes do servidor). Para mostrar a viabilidade do modelo e das linguagens propostas, do ponto de vista do cumprimento das restrições temporais de aplicações, é proposta uma estratégia de escalonamento, integrada às linguagens, em três níveis: 1) escalonamento "off-line" para os módulos periódicos, 2) escalonamento dinâmico dirigido por tempo para os módulos aperiódicos e 3) escalonamento dinâmico de módulos sem restrições de tempo, usando os períodos em que não há módulos com restrições de tempo para executar. Como parte da validação da estratégia de escalonamento, mostra-se como extrair de um programa as informações relevantes para fins de escalonamento e propõe-se um algoritmo para o escalonamento de módulos com restrições temporais críticas (periódicos). Este algoritmo, baseado em outro disponível na literatura, além de buscar um escalonamento que atenda às restrições de tempo, recursos e localização dos módulos periódicos, procura facilitar o escalonamento dinâmico de módulos aperiódicos. Isto é feito balanceando a carga do sistema e determinando "janelas de escalonamento" para os módulos periódicos, em lugar de instantes rígidos de início. O algoritmo "off-line" foi avaliado através de simulações. Procurou-se, nas simulações, determinar a eficácia do algoritmo em encontrar escalonamentos factíveis usando diversas heurísticas. Em cada caso, foram medidas as taxas de sucesso do algoritmo e o custo computacional associado. Experimentos específicos foram conduzidos para avaliar a eficácia e o custo das estratégias de balanceamento de carga, assim como o seu impacto nas taxas de sucesso do algoritmo / Abstract: A real-time system should meet the timing requirements imposed by the application it implements, i.e., it should be predictable. A real-time system should also be easy to reconfigure in order to adapt to the changes that are likely to occur during its life time, i .e, it should be flexible. The main objective of this thesis is to contribute to the design of distributed real-time systems development environments. Particularly, it is intended to show that the production of flexible and yet predictable systems is feasible. To reach this objective it is proposed a programming model, supported by two programming languages (LPM-RC and LCM-RC) integrated to a scheduling strategy. In the proposed model, applications are constructed combining reusable modules of software, leading to highly reconfigurable systems. Modules' temporal restrictions (periodicity and deadline) are not attributes of the modules themselves, but instead depend on the context in which they are used (the applications). Modules can share resources with the aid of servers. Servers do not have their own timing requirements, but inherit their clients' timing constraints. A client-server interaction may involve the execution of a single service or the execution of a sequence of services in mutual exclusion from other clients. The objective of the scheduling strategy integrated to the languages is to try to meet applications' timing constraints. The scheduling strategy is structured into three levels: 1) off-line scheduling of periodic modules, 2) time driven dynamic scheduling of aperiodic modules, and 3) dynamic scheduling of modules without timing constraints, when there are no periodic or aperiodic modules running. As part of the validation of the scheduling strategy, it is shown how to extract from a program the information needed for its scheduling, and proposed an algorithm to schedule periodic modules. This algorithm is based on an off-line heuristic algorithm available in the literature, extended to support the peculiarities of the proposed mode!. The extended algorithm, searchs for a schedule that meets the timing, resource and placement constraints of periodic modules. Besides that, the algorithm also tries to balance the system load, in the time and space domains, in order to improve its fault tolerance and, particularly, the schedulability of aperiodic modules. The off-line scheduling algorithm was evaluated applying to it sets of periodic modules with a wide range of time related characteristics. The conducted experiments aimed at determine the success rates and computational costs of the algorithm, using different heuristics. Specific experiments were also conducted to investigate the effectiveness and cost of the load balance strategies, as well as its influence on the success rate of the algorithm in finding feasible schedules / Doutorado / Doutor em Engenharia Elétrica

Several interpretations in performances, recordings, and publications of Giuseppe Verdi's Messa da Requiem raise issues concerning the relationship between these readings and the composer's intention. Understanding Verdi's tempo and phrasing in the Requiem is of crucial importance in rediscovering his intention. Knowing that Verdi's metronome markings were not merely performance suggestions but that they actually reflected his final decision is equally important. Unlike his operas, fast tempos are not introduced suddenly in the Requiem; rather, where tempo changes occur gradually from one section to the next, thereby maintaining the music's overall character. Verdi's phrasing is very subtle, and unconventional, because one sign may have multiple meanings. Compounding this complication are the many editorial errors in the published editions. David Rosen, in his critical edition, corrected many of these errors, and made additional editorial suggestions, but there are still numerous places where determining correct phrasing, as well as tempo fluctuations, knowledge of Verdi's use of signs and symbols is difficult.