991 resultados para Propriedades formais das regras
Resumo:
Com o objetivo de investigar os efeitos de variáveis sobre o seguimento de regras, 24 estudantes universitários foram expostos a um procedimento de escolha de acordo com o modelo. A tarefa era apontar para os estímulos de comparação em sequência. Na Fase 1, a sequência correta era estabelecida por reforço diferencial em esquema de reforço contínuo. Nas Fases 2 e 3, as contingências de reforço eram mantidas inalteradas, enquanto as regras discrepantes de tais contingências (sugestão e ordem) eram manipuladas. Nas Condições 1 e 2, nas Fases 2 e 3, eram apresentadas a sugestão e a ordem, respectivamente. Nas Condições 3 e 4, era o inverso. Apenas na Fase 1 das Condições 1 e 3 eram feitas perguntas acerca do comportamento que produz reforço. 100% dos participantes não seguiram a sugestão e 60% não seguiram a ordem. Os resultados sugerem que a história do comportamento alternativo ao especificado pela regra, justificativas e perguntas são variáveis que podem interferir no comportamento de seguir regras discrepantes das contingências de reforço. Os resultados têm implicações para o esclarecimento das funções das contingências de reforço e de regras na explicação do comportamento.
Resumo:
Objetivando avaliar os efeitos de estímulos antecedentes verbais sobre o comportamento, 24 estudantes universitários foram expostos a um procedimento de escolha segundo o modelo; a tarefa consistia em apontar para cada um dos três estímulos de comparação. O comportamento correto era reforçado em razão fixa 6. Na Condição 1, a ordem de apresentação dos estímulos nas Fases 2, 3, 4 e 5 era: instrução correspondente, instrução mínima, pergunta correspondente, pergunta mínima, respectivamente. As oito condições diferiam quanto à ordem de apresentação das instruções e perguntas. A instrução e a pergunta correspondente estabeleceram o comportamento correto em 95% e 33% dos casos, respectivamente. A instrução e a pergunta mínima não estabeleceram o comportamento correto. Os resultados têm implicações para as definições de regras.
Resumo:
O presente estudo investigou os efeitos de regras apresentadas na forma de ordem, de sugestão e de acordo sobre o comportamento não-verbal de adultos. Vinte e quatro universitários foram expostos a um procedimento de escolha de acordo com o modelo; a tarefa consistia em apontar para cada um dos três estímulos de comparação, em sequência. Na Fase 1 dos Experimentos I e II eram apresentadas regras na forma de ordem, de sugestão ou de acordo. No Experimento I, a ordem, a sugestão e o acordo descreviam apenas uma das duas sequências de respostas que produziam pontos (trocáveis por dinheiro). No Experimento II, estas regras descreviam as duas sequências de respostas que produziam pontos, sendo uma, a sequência ordenada, sugerida ou acordada e a outra, a sequência alternativa. Na Fase II, dos dois experimentos, havia mudança não sinalizada nas contingências de reforçamento. Os resultados mostraram que a ordem, a sugestão e o acordo estabeleceram comportamentos novos. Adicionalmente, mostraram que os comportamentos estabelecidos pela ordem e pelo acordo são mais prováveis de serem mantidos após a mudança nas contingências, quando comparados com os comportamentos estabelecidos pela sugestão. Discute-se que a manutenção do seguir regras depende, em parte, das propriedades formais das regras.
Resumo:
Alguns autores têm sugerido que regras podem gerar insensibilidade do comportamento às contingências de reforçamento programadas. Outros, no entanto, têm sugerido que essa insensibilidade tende a ocorrer, não devido a propriedades inerentes às regras, mas sim devido ao tipo de esquema de reforçamento usado nos estudos. Um problema, contudo, é que há evidências experimentais mostrando que o comportamento de seguir regras discrepantes das contingências programadas pode tanto ser mantido quanto interrompido, independentemente de o esquema de reforçamento ser intermitente ou contínuo. É possível que tais diferenças de resultados ocorram devido a diferenças nos métodos dos estudos que têm produzido tais resultados, mas isso ainda não está suficientemente esclarecido na literatura. O presente trabalho teve como objetivo reunir e comparar os principais estudos que investigaram o controle por regras em diferentes esquemas de reforçamento, com o fim de investigar se características específicas dos métodos usados em tais estudos podem ter contribuído, ou não, para a ocorrência de diferenças nos resultados. Para isso, foi adotado o seguinte procedimento: 1) seleção dos principais trabalhos experimentais da área que têm investigado o papel de diferentes tipos de esquemas de reforçamento na sensibilidade do seguimento de regras às contingências; 2) divisão dos textos em grupos de acordo com o método usado por cada grupo de pesquisa; 3) análise dos métodos e resultados dos estudos de um mesmo grupo e em comparação com os estudos de outros grupos; 4) discussão dos resultados com base nas explicações que os autores dão para seus resultados e em relação aos resultados de outros estudos não considerados pelos autores. Os principais resultados foram os seguintes: em todos os 5 grupos ocorreram desempenhos sensíveis e insensíveis entre os participantes, não dependendo pelo menos exclusivamente do tipo de esquema que estava sendo usado; em 3 dos 5 grupos houve uma persistência de resultados insensíveis entre os participantes, enquanto em 2 dos 5 grupos houve uma persistência de resultados sensíveis; as diferenças nos resultados de sensibilidade e insensibilidade em cada grupo parecem ter dependido de algumas variações nos métodos que foram usados e não apenas do tipo de esquema de reforçamento. Algumas dessas variações nos métodos não têm sido suficientemente estudadas na área e podem estar interferindo nos resultados. Alguns exemplos que foram discutidos seriam: o controle do conteúdo das instruções, a forma de distribuição de reforçadores, as características da seleção dos participantes e o nível de dificuldade das tarefas usadas. Estudos que tivessem como objetivo específico manipular essas variáveis com o fim de controlar melhor seus efeitos poderiam garantir uma melhor efetividade dos métodos usados para estudar o controle por regras. Essas novas investigações poderiam auxiliar no desenvolvimento de parâmetros mínimos de controle para a realização de novos estudos.
Resumo:
Esta pesquisa parte da observação de uma prática ocorrida em jogos eletrônicos, identificada como exploração de ambientes. Seu objeto são as ações, processos e os contextos que abrigam esta prática posta em movimento pelos jogadores, em associação com os demais agentes que fazem o jogo funcionar. Objetiva-se uma conceituação do comportamento exploratório nos videogames, bem como dos ambientes nos quais ele se concretiza, e do qual é inseparável. Para tanto, fez-se uma divisão em três partes, a procura de redefinir esta prática a partir de perspectivas teóricas distintas. A primeira se refere às particularidades da exploração em ambientes digitais. Demonstra-se como o jogo representa as habilidades que compõem este processo (movimento, navegação, reconhecimento e manipulação), e quais as propriedades comunicativas da exploração no videogame. A segunda expande a mesma reflexão à uma esfera lúdica, em busca da relação entre ludicidade e exploração nos jogos de mundo aberto, além das suas propriedades formais e ficcionais. A última liga a exploração a um processo criativo de invenção e experimentação com as possibilidades do jogo
Resumo:
In this study, two circadian related centres, the suprachiasmatic nucleus (SCN) and the intergeniculate leaflet (IGL) were evaluated in respect to their cytoarchitecture, retinal afferents and chemical content of major cells and axon terminals with a tract tracer and immunohistochemical techniques in the rock cavy (Kerodon rupestris), a Brazilian caviidae rodent species. The rock cavy SCN is innervated in its ventral portion by terminals from the predominantly contralateral retina. It also contains neurophisin and vasoactive intestinal polypeptide immunoreactive cell bodies and neuropeptide Y and enkephalin immunopositive fibres and terminals and is marked by intense GFAP immunoreactivity. The IGL receives a predominantly contralateral retinal projection, contains neuropeptide Y and nitric oxide synthase producing neurons and enkephalin immunopositive terminals and is characterized by dense GFAP immunoreactivity. This is the first report examining the neural circadian system in a crepuscular rodent species for which circadian properties have been described. The results are discussed comparing with what has been described for other species and in the context of the functional significance of these centres
Resumo:
In this paper, we analyze corporate slogans, understanding them as a discursive construction that is, as a pairing of form and function able to unite the notions of textual type and discursive genre. In this way, we developed a qualitative and quantitative analysis, aimed specifically to analyze the formal properties (phonetic, morphological and syntactic) and functional (semantic, pragmatic and discursive) of slogans. Furthermore, we attempted at verifying and quantifying recurring aspects involved in their construction, in order to capture configurational patterns underlying their formation. The data come from slogans collected in products and / or service stores in the metropolitan area of Natal city, Rio Grande do Norte. This research is based on the Cognitive-Functional Linguistics, that conjugates the North American functionalist tradition, represented by researchers as Talmy Givón, Paul Hopper, Joan Bybee, Elizabeth Closs-Traugott, with Cognitive Linguistics, in particular, the chain linked to Construction Grammar, as postulated by Adele Goldberg, William Croft e Jan-Olla Östman, among others. The results ratified the importance of the interface between the formal and functional aspects in the analysis of linguistic uses. These results point to the idea of the slogan as the pairing of form and function on textual / discursive level, in other words, as a discursive construction, constituting as cognitive storage of a scheme / model of textual formation with a specific discursive-pragmatic function.
Resumo:
Instituições políticas são formadas por regras formais e informais, sendo que estas últimas, apesar do seu papel importante no processo decisório, geralmente são de difícil acesso aos pesquisadores. Com o objetivo de identificar algumas dessas regras informais e compreender seu papel no processo político decisório, o estudo apresenta a análise de quatro casos de regras informais existentes na Câmara dos Deputados, fundamentada na tipologia de regras informais de Helmke e Levitsky (2004). A análise aponta para a opção dos atores por regras informais com resultados sejam diferentes daqueles previstos nas regras formais.
Resumo:
O conhecimento de propriedades de transporte de misturas a diferentes pressões e temperaturas é importante em projetos, operação, controle e otimização de processos industriais. Nestes processos, frequentemente, o fluido é uma mistura binária ou multicomponente de hidrocarbonetos, como fluidos de petróleo. Propriedades experimentais de misturas, especialmente, a viscosidade absoluta como função de temperatura e pressão, podem fornecer importantes informações sobre o comportamento do fluido em diferentes composições e são usadas no desenvolvimento de modelos e correlações e na caracterização de misturas complexas. Diversas regras de mistura têm sido propostas na literatura para cálculo de viscosidade de misturas. Estas regras de mistura preveem o comportamento da mistura à pressão atmosférica usando propriedades dos componentes puros. Porém, em diversas aplicações é necessário estimar a viscosidade de misturas a altas pressões. Neste estudo, foram avaliadas regras de mistura comumente usadas como Refutas, Fator de Mistura, Índice de Mistura, Grunberg e Nissan, Kendall-Monroe e Eyring bem como Aditividade Molar, usando dados de viscosidade experimental de misturas em altas pressões. Inicialmente, foram realizadas medidas de viscosidade absoluta para a mistura altamente assimétrica de ciclohexano e n-hexadecano na faixa de temperatura entre (318,15 a 413,15) K e pressões até 62,053 MPa e, para este sistema, um modelo foi proposto para cálculo dos componentes puros para dada temperatura e pressão. Além disso, dados experimentais de viscosidade de trinta misturas cujos componentes diferem em forma, tamanho ou flexibilidade foram selecionados na literatura e modelados empregando-se regras de mistura. As viscosidades das misturas foram estimadas a partir de dados de viscosidade experimental dos componentes puros medidos nas mesmas temperaturas e pressões. A altas pressões, Refutas, Fator de Mistura e Índice de Mistura apresentaram os melhores resultados para todos os sistemas estudados. Mesmo para moléculas bastante assimétricas, Refutas, Fator de Mistura e Índice de Mistura podem ser usados.
Resumo:
Nesta dissertação, assumimos os pressupostos formais do modelo não-linear da Fonologia Lexical (FL). Adotamos, como hipótese de trabalho - nos termos de Labov (1981), Labov (1994) e Kiparsky (1988)- a resolução da controvérsia neogramática a partir deste modelo. Para tanto, apresentamos a análise de dois fenômenos do Português Brasileiro (PB), com base em dados empíricos extraídos da cidade de Porto Alegre, os quais confrontamos com as predições que emanam do modelo teórico. Num primeiro momento, discutimos o status lexical e pós-lexical das regras de vocalização de /l/ e monotongação de /ow/. Num segundo momento, apresentamos a caracterização desses dois tipos de mudança. Essas discussões fundamentam-se em resultados estatísticos, obtidos a partir da utilização do pacote VARBRUL. Partindo dessas discussões, propomos o ordenamento dessas regras nos componentes do modelo da Fonologia Lexical (FL), rastreando esses processos nos módulos do léxico e do pós-léxico. A escolha destes dois fenômenos não é aleatória: da análise destas regras nos termos da FL emergem questões não devidamente tratadas no PB, como a opacidade e a presença de regras variáveis no léxico. Também destacamos a controvérsia sobre a representação dos segmentos envolvidos nestes processos: dedicamos um capítulo para a discussão sobre a representação da lateral e do processo de vocalização; e outro para a discussão sobre a representação subjacente do ditongo /ow/. Conforme a análise dos resultados, concluímos que a regra de monotongação de /ow/ comporta-se como regra lexical e implementa um tipo de mudança que se difunde lexicalmente. Já a regra de vocalização de /l/ caracteriza-se como regra pós-lexical e encaixa-se no molde de mudança neogramática.
Resumo:
Recentes estudos referentes ao sistema político brasileiro têm apontado a necessidade de se analisar também as instituições internas aos legislativos. Neste estudo de caso, são presentadas e sistematizadas as regras formais que defrnem por quem e como são controlados os recursos parlamentares de uma Casa Legislativa estadual, a Assembléia paulista, em diferentes contextos constitucionais desde 1835 até março de 2000. O trabalho busca identificar os alicerces sobre os quais foram construídas as estruturas presentes, especialmente no que se refere a: prerrogativas e deveres dos deputados, atribuições do Poder Legislativo, atribuições da Mesa diretora, estrutura e funcionamento das comissões e das sessões. Constata-se que a estrutura do processo decisório altamente centralizado configurada pelo regimento em vigor, é decorrente de uma reforma ocorrida em 1956, tendo sobrevivido às inúmeras alterações nas legislações partidárias e eleitorais e, ainda, constitucionais sofridas desde então. Argumenta-se que mudanças nas regras eleitorais e partidárias sem uma correspondente alteração do Regimento Interno, de forma a descentralizar o sistema decisório da Assembléia, pouco influiriam no comportamento dos deputados paulistas e na capacidade de atuação do Legislativo no sistema de governo estadual.
Resumo:
This document approaches the formal and material limits of the constitucionalidade control for the Supreme Federal Court, iniating with the study of the Constitution, detaching its evolution, nature and meanings, passing for its historical evolution, offering still a unconstitutionality concept. Is work the principles as material Constitution, making the distinction entere principles and rules, detaching the characteristics of the principles constitutional, and the basic principle of the Constituition. It analyzes metodologics the historical parameters and of the brazilian system of constitutionality control and detaches the paper of the Supreme Federal Court as positive legislator. It observes the beddings of the constitutionality control and the legitimacy of the Supreme Federal Court. Is examines the performance of the Supreme Federal Court in face of the principle of the legal security. Is offers a vision on the experience of the control of constitutionality in other constries. It still approaches the control of constitutionality in Brazil, detaching the critical points of its formal and material limits. Is verifies the application of the principles constitutional for the Supreme Federal Court in the diffuse control and the intent control of constitutionality, as well as the performance of the Supreme Federal Court ahead of the unconstitutional omissions. It brings to the debate the new perspectives how much to the formal and material limits of the control of constitutionality for the Supreme Federal Court. Objective to elaborate considerations concerning the limits of the constitutional jurisdiction from the model of Constituition, the character politican of the difficulties with respect to the definition of its formal and material limits from the performance of the Supreme Federal Court
Resumo:
In this thesis, we address two issues of broad conceptual and practical relevance in the study of complex networks. The first is associated with the topological characterization of networks while the second relates to dynamical processes that occur on top of them. Regarding the first line of study, we initially designed a model for networks growth where preferential attachment includes: (i) connectivity and (ii) homophily (links between sites with similar characteristics are more likely). From this, we observe that the competition between these two aspects leads to a heterogeneous pattern of connections with the topological properties of the network showing quite interesting results. In particular, we emphasize that there is a region where the characteristics of sites play an important role not only for the rate at which they get links, but also for the number of connections which occur between sites with similar and dissimilar characteristics. Finally, we investigate the spread of epidemics on the network topology developed, whereas its dissemination follows the rules of the contact process. Using Monte Carlo simulations, we show that the competition between states (infected/healthy) sites, induces a transition between an active phase (presence of sick) and an inactive (no sick). In this context, we estimate the critical point of the transition phase through the cumulant Binder and ratio between moments of the order parameter. Then, using finite size scaling analysis, we determine the critical exponents associated with this transition
Resumo:
Using formal methods, the developer can increase software s trustiness and correctness. Furthermore, the developer can concentrate in the functional requirements of the software. However, there are many resistance in adopting this software development approach. The main reason is the scarcity of adequate, easy to use, and useful tools. Developers typically write code and test it. These tests usually consist of executing the program and checking its output against its requirements. This, however, is not always an exhaustive discipline. On the other side, using formal methods one might be able to investigate the system s properties further. Unfortunately, specification languages do not always have tools like animators or simulators, and sometimes there are no friendly Graphical User Interfaces. On the other hand, specification languages usually have a compiler which normally generates a Labeled Transition System (LTS). This work proposes an application that provides graphical animation for formal specifications using the LTS as input. The application initially supports the languages B, CSP, and Z. However, using a LTS in a specified XML format, it is possible to animate further languages. Additionally, the tool provides traces visualization, the choices the user did, in a graphical tree. The intention is to improve the comprehension of a specification by providing information about errors and animating it, as the developers do for programming languages, such as Java and C++.
Resumo:
Neste trabalho, investigamos o aprendizado de regras matemáticas no contexto da sala de aula, com ênfase, principalmente, nas discussões sobre a linguagem. Nosso objetivo principal foi pesquisar as dificuldades de ordem lingüística, enfrentadas pelos alunos no decurso do aprendizado das regras matemáticas, em especial, o conceito/algoritmo da divisão. Para tanto, discutimos, entre outras coisas, o tema “seguir regras”, proposto pelo filósofo austríaco Ludwig Wittgenstein em sua obra Investigações Filosóficas. Nosso trabalho e nossas análises foram fundamentadas, principalmente, na filosofia deste autor, que discute, entre outros temas, a linguagem e sua significação e os fundamentos da matemática, bem como nas reflexões do filósofo Gilles-Gaston Granger que analisa as linguagens formais. Realizamos uma pesquisa de campo que foi desenvolvida na Escola de Aplicação da Universidade Federal do Pará, em uma turma da quarta série do ensino fundamental. As aulas ministradas pela professora da turma foram observadas e, posteriormente, foi solicitado aos alunos que resolvessem problemas de divisão verbais e não-verbais, seguido de uma breve entrevista, na qual indagamos, entre outras questões, como os alunos resolveram os problemas envolvendo a divisão. Em nossas análises destacamos algumas dificuldades dos alunos, percebidas nas observações e em seus registros escritos ou orais: alguns alunos, em suas estratégias de resolução, inventam novas “regras matemáticas”. Há ainda aqueles que “confundem” os contextos na resolução de problemas matemáticos verbais, bem como a dificuldade de compreensão de problemas que trazem informações implícitas.