944 resultados para Logic, Symbolic and mathematical
Resumo:
Three kinds of integrable Kondo impurity additions to one-dimensional q-deformed extended Hubbard models are studied by means of the boundary Z(2)-graded quantum inverse scattering method. The boundary K matrices depending on the local magnetic moments of the impurities are presented as nontrivial realisations of the reflection equation algebras in an impurity Hilbert space. The models are solved by using the algebraic Bethe ansatz method, and the Bethe ansatz equations are obtained.
Resumo:
A pesquisa desta tese investiga as mediações das categorias de raça e de classe social no processo de implementação do modelo de cotas sociais da Ufes para ingresso nos cursos de graduação, entre 2006 a 2012, como parte das ações afirmativas dessa universidade. Tal modelo, para incluir a população afro-brasileira no ensino superior do Espírito Santo, respeitou estritamente os critérios de renda e de origem escolar pública, não adotando o critério étnico-racial que contemplaria especificamente os negros e os indígenas. Diante disso, o autor busca sustentar a tese de que, considerando o padrão das relações raciais brasileiras produtor de assimetrias entre grupos com marcas raciais distintas, no caso de negros e brancos, as desigualdades raciais têm na operacionalização do racismo seu mote ofensivo e poderoso, ao mesmo tempo em que a classe social isolada é insuficiente na compreensão e superação do problema racial do Brasil. Portanto, na adoção de políticas de combate às desigualdades raciais no ensino superior, caberia também a utilização de medidas etnicamente referenciadas. Autores como Hall (2008) e Fraser (2006), ao trazerem a dimensão articulada e bifocal das injustiças simbólicas e das injustiças econômicas, permitem entender a complementaridade e as dinâmicas entre ambas, deslocando-se de determinismos classistas que invisibilizam o racismo como instrumento opressor nas relações sociais. Como objetivos específicos, considera: compreender o processo de construção do modelo de cotas da Ufes, para ingresso nos cursos de graduação implementado em 2008, sob a perspectiva do debate da relação entre raça e classe; examinar as políticas de ações afirmativas como respostas às demandas históricas dos afro-brasileiros no contexto da sociedade brasileira; avaliar a posição de professores e alunos de cursos de graduação da Ufes diante do ingresso de alunos cotistas, sobretudo afro-brasileiros e pobres; e investigar a relação das políticas classistas, no caso específico das cotas sociais, na superação das assimetrias raciais. Adota como procedimentos metodológicos a metodologia dialética de pesquisa considerando todas as contradições entre raça e classe no processo de implementação de ações afirmativas na Ufes. Como instrumentos de pesquisa, utiliza entrevistas de professores e alunos cotistas e não cotistas de cursos variados da universidade, assim como documentos referentes à temática. Os resultados apontam para uma “oxigenação” da universidade depois de uma entrada maior de negros e pobres, principalmente nos cursos mais elitizados, pois as cotas operam uma dimensão pedagógica de ampliar a diversidade social na academia, trazendo outras demandas, outras 10 afetividades, outras lógicas de mundo e concepções de sociedade para a única universidade pública do Espírito Santo. Indica que os mecanismos discriminatórios e estigmatizantes interpessoais e institucionais, vividos no contexto das cotas sociais e explícitos na pesquisa, não inviabilizam a importância das ações afirmativas, pois apontam para a universidade repensar e ressignificar seus currículos e ações pedagógicas homogeneizantes no sentido de ampliar a ideia de inclusão e de democratização de seus espaços. Reitera que a raça, em seu viés político e cultural, é operante de forma relacional e independente com a classe social no contexto da produção das assimetrias raciais brasileiras, de maneira que a ação de uma não nega a ação da outra, mesmo na relação entre ambas. Enfatiza a importância do entendimento e da materialidade das ações afirmativas como políticas de reconhecimento que combateriam as desigualdades simbólicas na Ufes. Aponta a relevância das políticas de assistência estudantil, conjugadas às cotas, como políticas de redistribuição econômica, que lidariam com as dificuldades ou ausências materiais dos discentes, principalmente dos cotistas. Conclui que as cotas étnico-raciais nas universidades brasileiras são instrumentos legítimos de luta pela educação, um direito social de oportunidade dos grupos historicamente apartados de princípios constituidores da emancipação, da cidadania, dos direitos humanos, da justiça social, da igualdade e da diferença.
Resumo:
Guimarães, in the northwest of Portugal, is a city of strong symbolic and cultural significance and its nomination by UNESCO as world heritage, in 2001, enlarged its tourism potential. In this paper we present a few results of a survey that envisaged capturing the Guimarães residents’ perceptions of tourism impacts and their attitudes towards tourists. Specifically, one analyzes the type of relationship that exists between some socio-demographic groups and the perceived tourism impacts, as well as their socio-characteristics and the existing level of interaction between residents and tourists. The survey was implemented between January and March 2010 to a convenience sample of 540 inhabitants of the municipality of Guimarães resulting in 400 questionnaires with complete data. For this, we made use of various statistical techniques. Using a factorial analysis, we can conclude that the three factors used explain 52.3% of the variance contained in the original variables obtained from the survey. By another side, using a logit model in the analysis and taking as the dependent variable the frequent or very frequent contact with tourists, we found that only the variables referred to perceived positive impacts of tourism, education and the place of residence in urban areas have shown to be statistically significant. We are aware of the multiple ways the issue of residents’ perceptions and attitudes towards tourism can be approached and of the difficulties to get useful policy-oriented insights. This paper is a step in that trail.
Resumo:
The city of Guimarães in Portugal is a place of strong symbolic and cultural significance, and the nomination of its historical center as a World Heritage Site in 2001 enhanced its tourism potential. This study presents the results of a survey conducted in 2010 and 2011 to capture the profile and motivations of tourists visiting Guimarães as a cultural tourism destination. The study addressed two main issues: whether males and females have similar or different preferences in choosing the city as their destination, and whether there are gender differences in the perception of the attributes of Guimarães. A better understanding of the gendered nature of the destination is a valuable cue for shaping products and services according to visitors’ preferences. The results suggest that both men and women are aware of the main elements responsible for the city’s World Heritage status. That the destination is a Heritage Site that also offers the opportunity to tour the region has a significant positive effect on male tourists’ choice of Guimarães. Regarding the perceived attributes of the city, results indicate minor gender differences with one exception: Women expressed more apprehension than men regarding the perceived security of the destination.
Resumo:
Background: Regulating mechanisms of branching morphogenesis of fetal lung rat explants have been an essential tool for molecular research. This work presents a new methodology to accurately quantify the epithelial, outer contour and peripheral airway buds of lung explants during cellular development from microscopic images. Methods: The outer contour was defined using an adaptive and multi-scale threshold algorithm whose level was automatically calculated based on an entropy maximization criterion. The inner lung epithelial was defined by a clustering procedure that groups small image regions according to the minimum description length principle and local statistical properties. Finally, the number of peripheral buds were counted as the skeleton branched ends from a skeletonized image of the lung inner epithelial. Results: The time for lung branching morphometric analysis was reduced in 98% in contrast to the manual method. Best results were obtained in the first two days of cellular development, with lesser standard deviations. Non-significant differences were found between the automatic and manual results in all culture days. Conclusions: The proposed method introduces a series of advantages related to its intuitive use and accuracy, making the technique suitable to images with different lightning characteristics and allowing a reliable comparison between different researchers.
Resumo:
Regulating mechanisms of branchingmorphogenesis of fetal lung rat explants have been an essential tool formolecular research.This work presents a new methodology to accurately quantify the epithelial, outer contour, and peripheral airway buds of lung explants during cellular development frommicroscopic images. Methods.Theouter contour was defined using an adaptive and multiscale threshold algorithm whose level was automatically calculated based on an entropy maximization criterion. The inner lung epithelium was defined by a clustering procedure that groups small image regions according to the minimum description length principle and local statistical properties. Finally, the number of peripheral buds was counted as the skeleton branched ends from a skeletonized image of the lung inner epithelia. Results. The time for lung branching morphometric analysis was reduced in 98% in contrast to themanualmethod. Best results were obtained in the first two days of cellular development, with lesser standard deviations. Nonsignificant differences were found between the automatic and manual results in all culture days. Conclusions. The proposed method introduces a series of advantages related to its intuitive use and accuracy, making the technique suitable to images with different lighting characteristics and allowing a reliable comparison between different researchers.
Resumo:
To date few studies have been undertaken in Portugal dealing with the attitudes, motivations, and profile of tourists who visit World Heritage Sites. Also, few studies have dealt with destination image (e.g., Agapito, Mendes & Valle, 2010; Lopes, 2011). As far as it is known, none have approached the issue of gender differences in the choice of a Portuguese heritage destination. Since cultural tourism destinations need to differentiate themselves from each other, appropriate market segmentation must be based on a deep understanding of the customers’ motivations and preferences. Keeping in mind results from empirical literature (e.g., Silberberg, 1995; Beerli & Martin, 2004; Richards, 2004; Pérez, 2009; Sheng, Shen, & Chen, 2008), gender seems to be a possible approach to market segmentation, whether for Guimarães or for other cultural tourism destinations around the world. Located in the north-western region of Portugal, Guimarães is a city of strong symbolic and cultural significance, and the nomination of its historical centre as a World Heritage Site in 2001 enhanced its tourism potential. This study analyses the possible relation between gender and attitudes and motivations towards a World Heritage Site, such as Guimarães. Additionally, the empirical approach used in the study tries to capture differences in the perceived attributes of the city. Commonalities and distinctions within and between groups of tourists, by focusing on the specific characteristic of gender, were analysed. The study addressed two main questions: first, whether males and females have similar or different preferences in choosing the city as their destination; and, second, whether there are gender differences in the perception of the attributes of Guimarães. A better understanding of the gendered nature of the destination is a valuable cue for shaping products and services according to visitors’ preferences.
Resumo:
The city of Guimar˜aes in Portugal is a place of strong symbolic and cultural significance, and the nomination of its historical center as a World Heritage Site in 2001 enhanced its tourism potential. This study presents the results of a survey conducted in 2010 and 2011 to capture the profile and motivations of tourists visiting Guimar˜aes as a cultural tourism destination. The study addressed two main issues: whether males and females have similar or different preferences in choosing the city as their destination, and whether there are gender differences in the perception of the attributes of Guimar˜aes. A better understanding of the gendered nature of the destination is a valuable cue for shaping products and services according to visitors’ preferences. The results suggest that both men and women are aware of the main elements responsible for the city’s World Heritage status. That the destination is a Heritage Site that also offers the opportunity to tour the region has a significant positive effect on male tourists’ choice of Guimar˜aes. Regarding the perceived attributes of the city, results indicate minor gender differences with one exception: Women expressed more apprehension than men regarding the perceived security of the destination.
Resumo:
Mathematical Program with Complementarity Constraints (MPCC) finds many applications in fields such as engineering design, economic equilibrium and mathematical programming theory itself. A queueing system model resulting from a single signalized intersection regulated by pre-timed control in traffic network is considered. The model is formulated as an MPCC problem. A MATLAB implementation based on an hyperbolic penalty function is used to solve this practical problem, computing the total average waiting time of the vehicles in all queues and the green split allocation. The problem was codified in AMPL.
Resumo:
In this work we solve Mathematical Programs with Complementarity Constraints using the hyperbolic smoothing strategy. Under this approach, the complementarity condition is relaxed through the use of the hyperbolic smoothing function, involving a positive parameter that can be decreased to zero. An iterative algorithm is implemented in MATLAB language and a set of AMPL problems from MacMPEC database were tested.
Resumo:
Este artigo discute o papel da valorização das interações sociais entre os alunos e o professor no desenvolvimento de modos de comunicação e de padrões de interação centrados nos conhecimentos matemáticos individuais dos alunos. Os dados foram recolhidos por mim, em contexto de trabalho colaborativo, com três professoras do 1.º ciclo do ensino básico, assumindo uma perspetiva interpretativa da ação e significação das professoras das conceções e práticas de comunicação matemática na sala de aula. O desenvolvimento das interações entre os próprios alunos e entre estes e as professoras, juntamente com o reconhecimento da singularidade dos conhecimentos matemáticos dos alunos, favoreceram a existência dos modos de comunicação reflexiva e instrutiva e dos padrões de extração e de discussão na comunicação matemática na sala de aula, gerando um sentido de responsabilidade coletiva sobre a aprendizagem da matemática e no reconhecimento do conhecimento do outro (aluno e professor).
Resumo:
Mestrado em Contabilidade e Gestão das Instituições Financeiras
Resumo:
A crescente complexidade dos sistemas electrónicos associada a um desenvolvimento nas tecnologias de encapsulamento levou à miniaturização dos circuitos integrados, provocando dificuldades e limitações no diagnóstico e detecção de falhas, diminuindo drasticamente a aplicabilidade dos equipamentos ICT. Como forma de lidar com este problema surgiu a infra-estrutura Boundary Scan descrita na norma IEEE1149.1 “Test Access Port and Boundary-Scan Architecture”, aprovada em 1990. Sendo esta solução tecnicamente viável e interessante economicamente para o diagnóstico de defeitos, efectua também outras aplicações. O SVF surgiu do desejo de incutir e fazer com que os fornecedores independentes incluíssem a norma IEEE 1149.1, é desenvolvido num formato ASCII, com o objectivo de enviar sinais, aguardar pela sua resposta, segundo a máscara de dados baseada na norma IEEE1149.1. Actualmente a incorporação do Boundary Scan nos circuitos integrados está em grande expansão e consequentemente usufrui de uma forte implementação no mercado. Neste contexto o objectivo da dissertação é o desenvolvimento de um controlador boundary scan que implemente uma interface com o PC e possibilite o controlo e monitorização da aplicação de teste ao PCB. A arquitectura do controlador desenvolvido contém um módulo de Memória de entrada, um Controlador TAP e uma Memória de saída. A implementação do controlador foi feita através da utilização de uma FPGA, é um dispositivo lógico reconfiguráveis constituído por blocos lógicos e por uma rede de interligações, ambos configuráveis, que permitem ao utilizador implementar as mais variadas funções digitais. A utilização de uma FPGA tem a vantagem de permitir a versatilidade do controlador, facilidade na alteração do seu código e possibilidade de inserir mais controladores dentro da FPGA. Foi desenvolvido o protocolo de comunicação e sincronização entre os vários módulos, permitindo o controlo e monitorização dos estímulos enviados e recebidos ao PCB, executados automaticamente através do software do Controlador TAP e de acordo com a norma IEEE 1149.1. A solução proposta foi validada por simulação utilizando o simulador da Xilinx. Foram analisados todos os sinais que constituem o controlador e verificado o correcto funcionamento de todos os seus módulos. Esta solução executa todas as sequências pretendidas e necessárias (envio de estímulos) à realização dos testes ao PCB. Recebe e armazena os dados obtidos, enviando-os posteriormente para a memória de saída. A execução do trabalho permitiu concluir que os projectos de componentes electrónicos tenderão a ser descritos num nível de abstracção mais elevado, recorrendo cada vez mais ao uso de linguagens de hardware, no qual o VHDL é uma excelente ferramenta de programação. O controlador desenvolvido será uma ferramenta bastante útil e versátil para o teste de PCBs e outras funcionalidades disponibilizadas pelas infra-estruturas BS.
Resumo:
Actualmente verifica-se que a complexidade dos sistemas informáticos tem vindo a aumentar, fazendo parte das nossas ferramentas diárias de trabalho a utilização de sistemas informáticos e a utilização de serviços online. Neste âmbito, a internet obtém um papel de destaque junto das universidades, ao permitir que alunos e professores possam interagir mais facilmente. A internet e a educação baseada na Web vêm oferecer acesso remoto a qualquer informação independentemente da localização ou da hora. Como consequência, qualquer pessoa com uma ligação à internet, ao poder adquirir informações sobre um determinado tema junto dos maiores peritos, obtém vantagens significativas. Os laboratórios remotos são uma solução muito valorizada no que toca a interligar tecnologia e recursos humanos em ambientes que podem estar afastados no tempo ou no espaço. A criação deste tipo de laboratórios e a sua utilidade real só é possível porque as tecnologias de comunicação emergentes têm contribuído de uma forma muito relevante para melhorar a sua disponibilização à distância. A necessidade de criação de laboratórios remotos torna-se imprescindível para pesquisas relacionadas com engenharia que envolvam a utilização de recursos escassos ou de grandes dimensões. Apoiado neste conceito, desenvolveu-se um laboratório remoto para os alunos de engenharia que precisam de testar circuitos digitais numa carta de desenvolvimento de hardware configurável, permitindo a utilização deste recurso de uma forma mais eficiente. O trabalho consistiu na criação de um laboratório remoto de baixo custo, com base em linguagens de programação open source, sendo utilizado como unidade de processamento um router da ASUS com o firmware OpenWrt. Este firmware é uma distribuição Linux para sistemas embutidos. Este laboratório remoto permite o teste dos circuitos digitais numa carta de desenvolvimento de hardware configurável em tempo real, utilizando a interface JTAG. O laboratório desenvolvido tem a particularidade de ter como unidade de processamento um router. A utilização do router como servidor é uma solução muito pouco usual na implementação de laboratórios remotos. Este router, quando comparado com um computador normal, apresenta uma capacidade de processamento e memória muito inferior, embora os testes efectuados provassem que apresenta um desempenho muito adequado às expectativas.
As remisturas satíricas no YouTube: criatividade e subversão nas lutas de poder simbólico e cultural
Resumo:
O YouTube é descrito como uma “comunidade” em que os seus membros fazem vídeos em conjunto, vêem as criações vídeo uns dos outros, são inspirados por esses vídeos, comentam-nos e partilham-nos. Este artigo foca-se nas práticas vídeo de remistura desenvolvidas no campo da política, no seu sentido mais estrito, envolvendo actores e temáticas tradicionalmente consideradas desta esfera, mas também no sentido mais lato, enquanto respeitante às lutas de poder que marcam a vida social, especialmente no que se refere às lutas de poder simbólico e cultural. A remistura com fins de crítica política proporciona a exposição tanto das estratégias dos actores políticos, como do funcionamento interno dos media e das relações entre ambos. Estas práticas vídeo contributivas implicam dois processos distintos: primeiro, a partilha de um vasto quadro referencial, ligando a construção de sentido a um carácter intertextual no ambiente online; e segundo, procedente da digitalização, a transformação de imagens, palavras e sons em elementos prontos a utilizar de uma linguagem multimédia que conduz a formas avançadas de pastiche e paródia.