Dissertação apresentada para obtenção parcial do grau de Doutor em Engenharia Electrotécnica e de Computadores, na Faculdade de Engenharia da Universidade do Porto, sob a orientação dos Profs. Doutores Zita Maria Almeida do Vale, Carlos Fernando da Silva Ramos e António Carlos Sepúlveda Machado e Moura

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-08-29T23:08:38Z No. of bitstreams: 1 MarianaFreireRodrigues_DISSERT.pdf: 3779157 bytes, checksum: f345ec94d135b9c7cf8e8c0217761059 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-09-06T23:09:30Z (GMT) No. of bitstreams: 1 MarianaFreireRodrigues_DISSERT.pdf: 3779157 bytes, checksum: f345ec94d135b9c7cf8e8c0217761059 (MD5) / Made available in DSpace on 2016-09-06T23:09:30Z (GMT). No. of bitstreams: 1 MarianaFreireRodrigues_DISSERT.pdf: 3779157 bytes, checksum: f345ec94d135b9c7cf8e8c0217761059 (MD5) Previous issue date: 2015-08-24 / Este trabalho teve como objetivo analisar produ??es (re)escritas de alunos de uma escola p?blica da rede estadual do Rio Grande do Norte, resultantes de uma interven??o pedag?gica, isto ?, um conjunto de atividades organizadas e aplicadas em sala de aula. Desenvolvemos, ent?o, uma Sequ?ncia Did?tica que possibilitou a??es de linguagem, estimulando nos alunos uma reflex?o dos elementos constitutivos do coment?rio cr?tico, ressaltando a relev?ncia do uso adequado de operadores lingu?sticos da argumenta??o com vistas ao estabelecimento da coer?ncia textual em suas produ??es escritas. Assim, de modo espec?fico, pretendeu-se investigar o uso dos operadores argumentativos na produ??o de argumentos em coment?rios cr?ticos, escritos por alunos do 9? ano do Ensino Fundamental II, e considerar o impacto dessa a??o metodol?gica no exerc?cio da compet?ncia argumentativa nas produ??es textuais. O trabalho de campo consistiu de seis encontros, de duas horas cada, abrangendo apresenta??o da proposta aos alunos, produ??o inicial, oficinas e produ??o final, desenvolvidas na Escola Estadual Dr. Graciliano Lord?o, junto a uma classe de 9? ano, do turno Matutino. O estudo da bibliografia ancora-se na teoria de Bronckart, Dolz, Schneuwly, Noverraz e Bakhtin, te?ricos que defendem uma perspectiva s?cio-discursiva e interacionista do ensino de l?ngua e que fundamentam interven??es pedag?gicas apropriadas e qualificadas adotadas como eficientes ferramentas de aprendizagem. Quanto aos conceitos da Teoria da Argumenta??o, baseamo-nos em (DUCROT, 1988), (KOCH 2004), entre outros autores. Esperava-se, para este estudo que, mediante a participa??o efetiva na interven??o desenvolvida pela professora, os estudantes conseguissem produzir textos nos quais apresentassem que refor?assem o seu ponto de vista, utilizando os operadores argumentativos de forma adequada, o que foi comprovado com a avalia??o dos resultados. Ao finalizar o trabalho, pudemos concluir que os alunos conseguem construir argumentos para a defesa de um ponto de vista, sem interfer?ncias de ensino sobre argumenta??o, entretanto, isso por si s? n?o assegura produ??es ditas ?bem elaboradas?, que a escola exige desses estudantes. Dessa forma, entendemos que uma interven??o pedag?gica voltada para o desenvolvimento de uma postura cr?tica e reflexiva frente ao texto pode alcan?ar resultados significativos quando leva em considera??o a realidade dos alunos, respeitando e considerando os movimentos deles em todas as fases desse processo de apropria??o do conhecimento. / This study aimed to analyze (re)written productions of students from a public school of Rio Grande do Norte State, resulting from a pedagogical intervention, ie, a set of activities organized and applied in the classroom. We developed a didactic sequence that enabled language actions, stimulating in students a reflection of the constituent elements of critical commentary, emphasizing the importance of proper use of linguistic operators of argumentation towards the establishment of textual coherence in their written productions. Specifically, the aim was to investigate the use of argumentative operators in critical commentary productions written by students of the 9th grade of elementary school II, and consider the impact of this methodological action in the exercise of argumentative competence in textual creations. Fieldwork consisted of six meetings, two hours each, covering transmission of the proposal to the students, initial production, workshops and final production, developed at Dr. Graciliano Lord?o State School, applied on a 9th grade class. The study of bibliography is anchored in Bronckart-theory, Dolz, Schneuwly, Noverraz, theorists who advocate a socio-discursive and interactionalist perspective of language teaching that underlie appropriate and qualified pedagogical interventions adopted as effective learning tools. As for the concepts of the Theory of Argumentation, we have relied on (DUCROT, 1988), (KOCH 2004), among other authors. It was expected that through an effective participation of the teacher in the intervention, students were able to produce texts in which presented the reinforcement of their point of view using the argumentative operators properly. Therefore, the assessment effect was positive based on tests results. At the end of the work, we concluded that students can construct arguments to defend a point of view without teaching interferences of argumentation, however, this alone does not ensure enough polished and elaborated productions that school requires from these students .Thus, we understand that an educational intervention aimed at the development of a critical and reflective attitude towards the text can achieve significant results when it takes into account the reality of the students, respecting and considering their movements at all stages of this knowledge appropriation process.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-09T17:18:23Z No. of bitstreams: 1 MICHEL BARROS SILVA - DISSERTAÇÃO PPGMAT 2014..pdf: 335576 bytes, checksum: f2ee6b6d68cdefa6c32e300154d28756 (MD5) / Made available in DSpace on 2018-08-09T17:18:23Z (GMT). No. of bitstreams: 1 MICHEL BARROS SILVA - DISSERTAÇÃO PPGMAT 2014..pdf: 335576 bytes, checksum: f2ee6b6d68cdefa6c32e300154d28756 (MD5) Previous issue date: 2014-02 / Capes / Para ler o reumo deste trabalho recomendamos o download do arquivo, pois o mesmo possui fórmulas e caracteres matemáticos que não foram possíveis transcreve-los. / To read the progress of this work we recommend downloading the file, as it has formulas and mathematical characters that could not be transcribed.

p. 1 - 170 / Submitted by Santiago Fabio (fabio.ssantiago@hotmail.com) on 2013-01-22T20:00:48Z No. of bitstreams: 1 888888.pdf: 2113368 bytes, checksum: 6c523afd5406567e53a65d2e10297c14 (MD5) / Made available in DSpace on 2013-01-22T20:00:48Z (GMT). No. of bitstreams: 1 888888.pdf: 2113368 bytes, checksum: 6c523afd5406567e53a65d2e10297c14 (MD5) Previous issue date: 2008 / A padronização de processo através da Gestão da Qualidade Total foi e tem sido uma ferramenta poderosa na busca da excelência operacional através da preparação e auxílio aos executantes na realização das suas tarefas. O processo de padronização que contribui para um desempenho de excelência do operador inclui a elaboração dos padrões, desenvolvimento das competências dos operadores e a verificação destes dois últimos à realidade da planta, é à base de sustentação da operação segura, minimizando os riscos inerentes à atividade industrial, e rentável, através da maximização da produtividade. Esta pesquisa desenvolveu um modelo de avaliação deste processo utilizando as melhores práticas adotas pelas indústrias de processamento contínuo, visando verificar a aplicação destes conceitos em uma planta de destilação de petróleo, no período de 2005 a 2007. A pesquisa apontou pontos de melhoria no grau de abrangência dos padrões existentes quando comparados com as tarefas desenvolvidas pelos operadores, na decodificação da tarefa, na estruturação dos documentos de ajuda aos operadores, na estratégia do desenvolvimento de competência e por fim na verificação da aderência da padronização a realidade da planta. A metodologia desenvolvida nesta pesquisa vai deste a análise das tarefas desempenhada pelos operadores até a definição dos documentos de avaliação da performance dos executantes e da adequação dos padrões, passando pelas técnicas de elaboração dos padrões e determinação do programa de capacitação contínua dos operadores. O modelo desenvolvido nesta pesquisa pode ser aplicado em qualquer do unidade sistema Petrobras, ou outras ramos da indústria que utilizem plantas de processamento contínuo. / Salvador

FREIRE, Cibele Matos. Complexidade descritiva das lógicas de ordem superior com menor ponto fixo e análise de expressividade de algumas lógicas modais. 2010. 54 f. Dissertação (Mestrado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2010. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-07-11T12:35:52Z No. of bitstreams: 1 2010_dis_cmfreire.pdf: 426798 bytes, checksum: 4ad13c09839833ee22b0396a445e8a26 (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-07-15T12:43:24Z (GMT) No. of bitstreams: 1 2010_dis_cmfreire.pdf: 426798 bytes, checksum: 4ad13c09839833ee22b0396a445e8a26 (MD5) / Made available in DSpace on 2016-07-15T12:43:24Z (GMT). No. of bitstreams: 1 2010_dis_cmfreire.pdf: 426798 bytes, checksum: 4ad13c09839833ee22b0396a445e8a26 (MD5) Previous issue date: 2010 / In Descriptive Complexity, we investigate the use of logics to characterize computational classes os problems through complexity. Since 1974, when Fagin proved that the class NP is captured by existential second-order logic, considered the rst result in this area, other relations between logics and complexity classes have been established. Wellknown results usually involve rst-order logic and its extensions, and complexity classes in polynomial time or space. Some examples are that the rst-order logic extended by the least xed-point operator captures the class P and the second-order logic extended by the transitive closure operator captures the class PSPACE. In this dissertation, we will initially analyze the expressive power of some modal logics with respect to the decision problem REACH and see that is possible to express it with temporal logics CTL and CTL . We will also analyze the combined use of higher-order logics extended by the least xed-point operator and obtain as result that each level of this hierarchy captures each level of the deterministic exponential time hierarchy. As a corollary, we will prove that the hierarchy of HOi(LFP), for i 2, does not collapse, that is, HOi(LFP) HOi+1(LFP). / Em Complexidade Descritiva investigamos o uso de l ogicas para caracterizar classes problemas pelo vi es da complexidade. Desde 1974, quando Fagin provou que NP e capturado pela l ogica existencial de segunda-ordem, considerado o primeiro resultado da area, outras rela c~oes entre l ogicas e classes de complexidade foram estabelecidas. Os resultados mais conhecidos normalmemte envolvem l ogica de primeira-ordem e suas extens~oes, e classes de complexidade polinomiais em tempo ou espa co. Alguns exemplos são que a l ogica de primeira-ordem estendida com o operador de menor ponto xo captura a clsse P e que a l ogica de segunda-ordem estendida com o operador de fecho transitivo captura a classe PSPACE. Nesta dissertação, analisaremos inicialmente a expressividade de algumas l ogicas modais com rela cão ao problema de decisão REACH e veremos que e poss vel express a-lo com as l ogicas temporais CTL e CTL . Analisaremos tamb em o uso combinado de l ogicas de ordem superior com o operador de menor ponto xo e obteremos como resultado que cada n vel dessa hierarquia captura cada n vel da hierarquia determin stica em tempo exponencial. Como corol ario, provamos que a hierarquia de HOi(LFP) não colapsa, ou seja, HOi(LFP) HOi+1(LFP).

Submitted by MARCELO ADRIANO DOS SANTOS BONGARTI null (bongartimarcelo@yahoo.com.br) on 2016-03-28T13:33:27Z No. of bitstreams: 1 Dissertação Final Final_Marcelo Bongarti.pdf: 945971 bytes, checksum: da9a2828878f6d2c197507ad078d999d (MD5) / Approved for entry into archive by Ana Paula Grisoto (grisotoana@reitoria.unesp.br) on 2016-03-29T13:51:32Z (GMT) No. of bitstreams: 1 bongarti_mas_me_sjrp.pdf: 945971 bytes, checksum: da9a2828878f6d2c197507ad078d999d (MD5) / Made available in DSpace on 2016-03-29T13:51:32Z (GMT). No. of bitstreams: 1 bongarti_mas_me_sjrp.pdf: 945971 bytes, checksum: da9a2828878f6d2c197507ad078d999d (MD5) Previous issue date: 2016-02-22 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Sejam X um espaço de Banach,\alpha um número complexo tal que Re\alpha > 0 e A um operador linear fechado, não negativo, com domínio e imagem em X. O objetivo deste trabalho é definir o objeto A^\alpha de modo que as propriedades de potência de números complexos sejam preservadas, ou seja, (i) A ^\alpha A^\beta = A^(\alpha+\beta) ; (aditividade) (ii) A^1 = A; (iii) (A^\alpha )^\beta = A (quando o primeiro membro faz sentido). Como aplicação da teoria, caracterizamos o dom ínio da potência fracionária de um operador de nido matricialmente a partir da seguinte Equação Diferencial Parcial abstrata em espaço de Hilbert, prototipo utilizado para modelar sistemas elásticos com forte (ou estrutural) amortecimento: x '' + A^\alpha x' + Ax = 0; 0 < \alpha <= 1; com A sendo um operador positivo e autoadjunto. / Let X be a Banach space, \alpha a complex number such that Re \alpha > 0 and A a non-negative closed linear operator with domain and range in X. The purpose of this work is to de fine the object A^\alpha in a way that the properties of powers of complex numbers be preserved, i.e, (i) A ^\alpha A^\beta = A^(\alpha+\beta) ; (additivity) (ii) A^1 = A; (iii) (A^\alpha )^\beta = A (when the fi rst member makes sense). As an application of theory, we characterized the domain of fractional power of a matrix-valued operator from the abstract Partial Di erential Equation in Hilbert space, prototype used to model elastic systems with strong/structural damping: x'' + A^\alpha x' + Ax = 0; 0<\alpha <= 1; with A being a positive self-adjoint operator.

Made available in DSpace on 2016-06-02T20:27:41Z (GMT). No. of bitstreams: 1 TeseRASK.pdf: 366175 bytes, checksum: d421b5524687e22f7a827ce04321a3b3 (MD5) Previous issue date: 2005-05-20 / Universidade Federal de Minas Gerais / Obs.:Devido a restrições dos caracteres especias, verifcar abstract em texto completo para download. / Obs.:Devido a restrições dos caracteres especias, verifcar resumo em texto completo para download.

Made available in DSpace on 2016-06-02T20:28:21Z (GMT). No. of bitstreams: 1 DissEB.pdf: 648176 bytes, checksum: 8f2e2eaf5e283dcc58ded3a60362a47a (MD5) Previous issue date: 2007-02-02 / In this dissertation the author proves two results of extensions for IRn of distribution solutions in IRn{0} of the operator L&#955;,a = n &#8721; i=1 &#955;ixi@xi &#8722; a, with &#955; = (&#955;1, . . . , &#955;n) E Rn + and a E C. / Nesta dissertação a autora demonstra dois resultados de extensões para Rn de soluções distribucionais em Rn\{0} do operador L&#955;,a = n &#8721; i=1 &#955;ixi@xi &#8722; a, com &#955; = (&#955;1, . . . , &#955;n) E Rn + e a E C.

Made available in DSpace on 2016-06-02T20:28:29Z (GMT). No. of bitstreams: 1 DissCPCG.pdf: 492387 bytes, checksum: 300db32f6d42bf09cbf8e4a590c0956f (MD5) Previous issue date: 2005-03-04 / Financiadora de Estudos e Projetos / Visualizar o resumo em texto completo para download!

Neste trabalho estudaremos a existência de soluções fracas, pseudo quase periódicas e periódicas, para uma classe de sistemas não autônomo do tipo neutro com retardamento não limitado modelados na forma \' d SUP. dt\' (u(t) + F(t, ut)) = A(t)u(t) + G(t, \'u IND.t\' ), t \'PERTENCE A\' (0, a), \'u IND. 0\' = \'varphi\' \'PERTENCE A\' B, onde {A(t)} ´e uma família de operadores lineares fechados, com um dom´?nio comum D =D(A(t)), a história ut : (-\'INFINITO\'1, 0] \'SETA\' X, \'u IND. t\'(THETA) = u(t+\'THETA\'), pertence a um espaço de fase abstrato B definido axiomaticamente e F,G : [0, a] × B \'SETA\' X são funções apropriadas. Para obter alguns de nossos resultados, precisaremos usar as propriedades da família de operadores de evolução (U(t, s))\'t > OU=\'s, para o sistema u? (t) - A(t)u(t) = 0, t \'Pertencer A\' (0, a), \'u IND.0\' = \'phi\', onde U(t, s) ´e uma fam´?lia de operadores lineares limitados em X / In this work we study the existence of mild, pseudo almost-periodic and periodic solution, concepts introduced be later for a class of abstract neutral functional systems with unbounded delay in the form \'d SUP dt\' (u(t) + F(t, \'u IND.t\')) = A(t)u(t) + G(t, \'u IND. t\'), t IT BELONGS\' (0, a), \'u IND.0\' = \'varphi\' \'IT BELONGS\' , where is a family of closed linear operator in a Banach space X, with a common domain D = D(A(t)), t \'IT BELONGS\' R, densely defined in X; the history \'u IND. t\' : (-\'THE infinite\', 0] \' ARROW\' X, ut(\'THETA\') = x(t+\'THETA\'), belongs to some abstract phase space B defined axiomatically and F,G : I ×B \'ARROW\' X are appropriate functions and I is a bounded or unbounded interval in R. To establish some of our results, we will use the properties of a systems of evolution (U(t, s))\' t IND. > OR =\'s, for a system in the form u? (t) - A(t)u(t) = 0, t \'IT BELONGS\' (0, a), \'u IND.0\' = \'PHI\', where (U(t, s))\'t IND. > 0R =\'s is a family of bounded linear operators on X