991 resultados para Semi-Regular Operators
Resumo:
Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
Resumo:
A atividade física vem sendo praticada pelo ser humano desde tempos primitivos, evoluindo até os dias atuais, que de maneira sistematizada pode ser interpretada com exercício físico. Muitos são os benefícios dessa prática, principalmente para a obtenção de resultado e qualidade de vida, segundo também de acordo com os objetivos individuais de cada um. Entretanto esses benefícios são claros para indivíduos que querem obter um condicionamento físico e para pessoas com algum grau de obesidade, contudo os fatores psicológicos se mostram presente, para que assim permaneçam na prática a ponto de perceberem os resultados e alcancem seus objetivos. O presente trabalho tem como objetivo analisar as contribuições da motivação na prática de atividade física regular. Para a realização do mesmo foram utilizados com quatro homens e oito mulheres com faixa etária entre 20 e 30 anos, que realizam algum tipo de exercício físico a mais que 6 meses. O procedimento baseouse em uma entrevista semi-estrutura onde cada entrevistado tinha um encontro particular. As falas foram registradas e posteriormente analisadas com minúcia. Os dados obtidos pela entrevista foram cruzados com a literatura a fim de encontrar onde a motivação teria a sua influência. Conclui-se que a motivação tem papel importante para a aderência dos indivíduos e manutenção da mesma por períodos longo de tempo, favorecendo a efetividade na obtenção de resultados
Resumo:
Pós-graduação em Ciências da Motricidade - IBRC
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
The present thesis is concerned with certain aspects of differential and pseudodifferential operators on infinite dimensional spaces. We aim to generalize classical operator theoretical concepts of pseudodifferential operators on finite dimensional spaces to the infinite dimensional case. At first we summarize some facts about the canonical Gaussian measures on infinite dimensional Hilbert space riggings. Considering the naturally unitary group actions in $L^2(H_-,gamma)$ given by weighted shifts and multiplication with $e^{iSkp{t}{cdot}_0}$ we obtain an unitary equivalence $F$ between them. In this sense $F$ can be considered as an abstract Fourier transform. We show that $F$ coincides with the Fourier-Wiener transform. Using the Fourier-Wiener transform we define pseudodifferential operators in Weyl- and Kohn-Nirenberg form on our Hilbert space rigging. In the case of this Gaussian measure $gamma$ we discuss several possible Laplacians, at first the Ornstein-Uhlenbeck operator and then pseudo-differential operators with negative definite symbol. In the second case, these operators are generators of $L^2_gamma$-sub-Markovian semi-groups and $L^2_gamma$-Dirichlet-forms. In 1992 Gramsch, Ueberberg and Wagner described a construction of generalized Hörmander classes by commutator methods. Following this concept and the classical finite dimensional description of $Psi_{ro,delta}^0$ ($0leqdeltaleqroleq 1$, $delta< 1$) in the $C^*$-algebra $L(L^2)$ by Beals and Cordes we construct in both cases generalized Hörmander classes, which are $Psi^*$-algebras. These classes act on a scale of Sobolev spaces, generated by our Laplacian. In the case of the Ornstein-Uhlenbeck operator, we prove that a large class of continuous pseudodifferential operators considered by Albeverio and Dalecky in 1998 is contained in our generalized Hörmander class. Furthermore, in the case of a Laplacian with negative definite symbol, we develop a symbolic calculus for our operators. We show some Fredholm-criteria for them and prove that these Fredholm-operators are hypoelliptic. Moreover, in the finite dimensional case, using the Gaussian-measure instead of the Lebesgue-measure the index of these Fredholm operators is still given by Fedosov's formula. Considering an infinite dimensional Heisenberg group rigging we discuss the connection of some representations of the Heisenberg group to pseudo-differential operators on infinite dimensional spaces. We use this connections to calculate the spectrum of pseudodifferential operators and to construct generalized Hörmander classes given by smooth elements which are spectrally invariant in $L^2(H_-,gamma)$. Finally, given a topological space $X$ with Borel measure $mu$, a locally compact group $G$ and a representation $B$ of $G$ in the group of all homeomorphisms of $X$, we construct a Borel measure $mu_s$ on $X$ which is invariant under $B(G)$.
Resumo:
Semi-weak n-hyponormality is defined and studied using the notion of positive determinant partition. Several examples related to semi-weakly n-hyponormal weighted shifts are discussed. In particular, it is proved that there exists a semi-weakly three-hyponormal weighted shift W (alpha) with alpha (0) = alpha (1) < alpha (2) which is not two-hyponormal, which illustrates the gaps between various weak subnormalities.
Resumo:
In a recent work the authors have established a relation between the limits of the elements of the diagonals of the Hessenberg matrix D associated with a regular measure, whenever those limits exist, and the coe?cients of the Laurent series expansion of the Riemann mapping ?(z) of the support supp(?), when this is a Jordan arc or a connected nite union of Jordan arcs in the complex plane C. We extend here this result using asymptotic Toeplitz operator properties of the Hessenberg matriz.
Resumo:
Automatic segmentation and tracking of the coronary artery tree from Cardiac Multislice-CT images is an important goal to improve the diagnosis and treatment of coronary artery disease. This paper presents a semi-automatic algorithm (one input point per vessel) based on morphological grayscale local reconstructions in 3D images devoted to the extraction of the coronary artery tree. The algorithm has been evaluated in the framework of the Coronary Artery Tracking Challenge 2008 [1], obtaining consistent results in overlapping measurements (a mean of 70% of the vessel well tracked). Poor results in accuracy measurements suggest that future work should refine the centerline extraction. The algorithm can be efficiently implemented and its general strategy can be easily extrapolated to a completely automated centerline extraction or to a user interactive vessel extraction
Research on vehicle-based driver status/performance monitoring: seventh semi-annual research report.
Resumo:
National Highway Traffic Safety Administration, Washington, D.C.
Resumo:
Derivational morphology proposes meaningful connections between words and is largely unrepresented in lexical databases. This thesis presents a project to enrich a lexical database with morphological links and to evaluate their contribution to disambiguation. A lexical database with sense distinctions was required. WordNet was chosen because of its free availability and widespread use. Its suitability was assessed through critical evaluation with respect to specifications and criticisms, using a transparent, extensible model. The identification of serious shortcomings suggested a portable enrichment methodology, applicable to alternative resources. Although 40% of the most frequent words are prepositions, they have been largely ignored by computational linguists, so addition of prepositions was also required. The preferred approach to morphological enrichment was to infer relations from phenomena discovered algorithmically. Both existing databases and existing algorithms can capture regular morphological relations, but cannot capture exceptions correctly; neither of them provide any semantic information. Some morphological analysis algorithms are subject to the fallacy that morphological analysis can be performed simply by segmentation. Morphological rules, grounded in observation and etymology, govern associations between and attachment of suffixes and contribute to defining the meaning of morphological relationships. Specifying character substitutions circumvents the segmentation fallacy. Morphological rules are prone to undergeneration, minimised through a variable lexical validity requirement, and overgeneration, minimised by rule reformulation and restricting monosyllabic output. Rules take into account the morphology of ancestor languages through co-occurrences of morphological patterns. Multiple rules applicable to an input suffix need their precedence established. The resistance of prefixations to segmentation has been addressed by identifying linking vowel exceptions and irregular prefixes. The automatic affix discovery algorithm applies heuristics to identify meaningful affixes and is combined with morphological rules into a hybrid model, fed only with empirical data, collected without supervision. Further algorithms apply the rules optimally to automatically pre-identified suffixes and break words into their component morphemes. To handle exceptions, stoplists were created in response to initial errors and fed back into the model through iterative development, leading to 100% precision, contestable only on lexicographic criteria. Stoplist length is minimised by special treatment of monosyllables and reformulation of rules. 96% of words and phrases are analysed. 218,802 directed derivational links have been encoded in the lexicon rather than the wordnet component of the model because the lexicon provides the optimal clustering of word senses. Both links and analyser are portable to an alternative lexicon. The evaluation uses the extended gloss overlaps disambiguation algorithm. The enriched model outperformed WordNet in terms of recall without loss of precision. Failure of all experiments to outperform disambiguation by frequency reflects on WordNet sense distinctions.
Resumo:
The general ordinary quasi-differential expression M of n-th order with complex coefficients and its formal adjoint M + are considered over a regoin (a, b) on the real line, −∞ ≤ a < b ≤ ∞, on which the operator may have a finite number of singular points. By considering M over various subintervals on which singularities occur only at the ends, restrictions of the maximal operator generated by M in L2|w (a, b) which are regularly solvable with respect to the minimal operators T0 (M ) and T0 (M + ). In addition to direct sums of regularly solvable operators defined on the separate subintervals, there are other regularly solvable restrications of the maximal operator which involve linking the various intervals together in interface like style.
Resumo:
∗ The final version of this paper was sent to the editor when the author was supported by an ARC Small Grant of Dr. E. Tarafdar.
Resumo:
* Partially supported by Grant MM-428/94 of MESC.
Resumo:
Pour rester compétitives, les entreprises forestières cherchent à contrôler leurs coûts d’approvisionnement. Les abatteuses-façonneuses sont pourvues d’ordinateurs embarqués qui permettent le contrôle et l’automatisation de certaines fonctions. Or, ces technologies ne sont pas couramment utilisées et sont dans le meilleur des cas sous-utilisées. Tandis que l’industrie manifeste un intérêt grandissant pour l’utilisation de ces ordinateurs, peu de travaux de recherche ont porté sur l’apport en productivité et en conformité aux spécifications de façonnage découlant de l’usage de ces systèmes. L’objectif de l’étude était de mesurer les impacts des trois degrés d’automatisation (manuel, semi-automatique et automatique) sur la productivité (m3/hmp) et le taux de conformité des longueurs et des diamètre d’écimage des billes façonnées (%). La collecte de données s’est déroulée dans les secteurs de récolte de Produits forestiers résolu au nord du Lac St-Jean entre les mois de janvier et d’août 2015. Un dispositif en blocs complets a été mis en place pour chacun des cinq opérateurs ayant participé à l’étude. Un seuil de 5 % a été employé pour la réalisation de l’analyse des variances, après la réalisation de contrastes. Un seul cas a présenté un écart significatif de productivité attribuable au changement du degré d’automatisation employé, tandis qu’aucune différence significative n’a été détectée pour la conformité des diamètres d’écimage; des tendances ont toutefois été constatées. Les conformités de longueur obtenues par deux opérateurs ont présenté des écarts significatifs. Ceux-ci opérant sur deux équipements distincts, cela laisse entrevoir l’impact que peut aussi avoir l’opérateur sur le taux de conformité des longueurs.
Resumo:
Este trabalho, desenvolvido por uma professora de educação especial no contexto onde exerce funções, resultou da vontade de aprofundar o conhecimento sobre as dinâmicas de trabalho entre os professores do Ensino Regular e entre estes e o professor de Educação Especial. Desta forma elaborámos um projeto de investigação com o propósito de aprofundar o conhecimento sobre estas dinâmicas, no âmbito de uma oficina de formação, dinamizada pela investigadora, realizada no contexto de trabalho dos participantes. Neste âmbito, foi proporcionado um conjunto de experiências vivenciadas em conjunto, procurando contribuir para novas perspetivas teóricas sobre o conhecimento, bem como o envolvimento dos participantes em situações empíricas que lhes permitissem aplicar esses conhecimentos na resolução de problemas concretos emergentes no seu contexto de trabalho. A estratégia formativa baseou-se na colaboração como factor de desenvolvimento e de aprendizagem, surgindo como relevante e necessário o envolvimento dos formandos em processos de investigação da própria prática. A formação, na modalidade de Oficina, foi promovida através do Centro de Formação da Instituição onde a escola, um estabelecimento de ensino particular e cooperativo, se integra. Neste âmbito foi acreditada pelo Conselho Científico-Pedagógico da Formação Contínua e envolveu dezasseis professores do 1.º, 2.º e 3.º ciclos do ensino básico. A formação desenvolveuse em duas fases - a primeira fase, constituída por 4 sessões, teve lugar entre maio e julho de 2011, e a segunda fase, igualmente constituída por 4 sessões, teve lugar de setembro a novembro de 2011, num total de 25 horas presenciais e 25 horas não presenciais. Trata-se de um estudo com uma dupla intencionalidade – formativa e investigativa – no qual se procura compreender (i) a relação entre as estratégias de formação e supervisão promovidas pela professora de educação especial e o desenvolvimento de dinâmicas de trabalho colaborativo entre os participantes (ii) e o impacto dessas dinâmicas no desenvolvimento profissional e nas suas práticas, tendo em vista a promoção de uma educação inclusiva. Configura-se como estudo de caso, na variante de multicaso apresentando, ainda, algumas características de investigação-ação. No âmbito deste estudo, utilizámos um conjunto diverso e complementar de procedimentos investigativos, nomeadamente, o inquérito por questionário aplicado a todos os participantes no início e no fim da oficina de formação; o inquérito por questionário de avaliação das sessões, tendo por base os objetivos do estudo; a entrevista semi-estruturada, realizada a quatro docentes do 1º CEB que constituem os subcasos e o portfolio reflexivo individual dos mesmos, os quais se constituem como estratégia de formação e de investigação. Recorreu-se, ainda, como fontes de informação secundária, ao Teaching portfolio do investigador, às videogravações das sessões de formação, aos registos em vídeo de alguns episódios relativos à intervenção dos formandos em sala de aula e aos projetos de investigação-ação, bem como aos dados recolhidos na entrevista dirigida ao Diretor do estabelecimento de educação e ensino, depois de concluído o programa de formação. Os resultados da análise parecem evidenciar a existência de dinâmicas colaborativas e um clima de inter-ajuda que caraterizou a interação ocorrida na formação, em torno de casos concretos, os quais tiveram um impacto significativo sobre o pensamento e a prática dos participantes. Todo o processo desenvolvido parece ter dado lugar à partilha de saberes e à procura conjunta de soluções para os problemas, tendo contribuído para que os professores passassem a ser mais interventivos, evidenciando novas aprendizagens e uma maior consciencialização do conceito de educação para todos e do que esta implica. Os resultados parecem ainda revelar o desenvolvimento de uma parceria estratégica entre os professores do ensino regular e a professora de educação especial, a qual passou a ser aceite como uma pessoa que pode ajudar a encontrar soluções para os problemas que surgem na sala de aula, de forma a garantir a inclusão de todos os alunos e não apenas dos que têm necessidades educativas especiais.