Submitted by Maria Aparecida (cidazen@gmail.com) on 2017-08-21T13:05:14Z No. of bitstreams: 1 Adriana Leite.pdf: 5184172 bytes, checksum: 6e560c465acfbbc76b4bfc1dd01bd86b (MD5) / Made available in DSpace on 2017-08-21T13:05:14Z (GMT). No. of bitstreams: 1 Adriana Leite.pdf: 5184172 bytes, checksum: 6e560c465acfbbc76b4bfc1dd01bd86b (MD5) Previous issue date: 2009-02-17 / The interest in the agent-oriented paradigm development has increased in recent years. This is due mainly to the increasing complexity of current software that requires new characteristics as autonomy behavior. In the agent-oriented paradigm, the software has no longer a strictly predictable behavior, has from the control over their own behavior and can make decisions based on observations the environment and inferences upon its knowledge base. A set of meth and process have been already proposed for agent-oriented software engineering. Domain Engineering is a process for the development of a reusable application family in a particular domain problem, and Application Engineering, the one for the construction of a specific application in a family based on the reuse of software artifacts in the application family previously produced in the Domain Engineering process. MADAE-Pro is an ontology-driven process for multi-agent domain and application engineering which promotes the construction and reuse of agent-oriented applications families. The process is specified in a formal representation language, thus avoiding ambiguous interpretations. Another differential of MADAE-Pro is the reuse of software support in all levels of abstraction, from the requirements to the deployment. / O interesse pelo paradigma de desenvolvimento orientado a agentes tem aumentado nos últimos anos. Isso se deve principalmente ao crescente aumento da complexidade dos produtos de software atuais que requerem novas características como comportamento autônomo. No paradigma orientado a agentes, o software deixa de ter comportamento estritamente previsível e passa a ter controle sobre seu próprio comportamento, podendo tomar decisões a partir de observações do ambiente e de inferências realizada em sua base de conhecimento. Para guiar o desenvolvimento orientado a agentes tem sido proposto um conjunto de metodologias e processos pela comunidade da Engenharia de Software. Nesse trabalho, apresenta-se MADAE-Pro, um processo para o desenvolvimento de sistemas multiagente com alguns diferenciais em relação aos já propostos pela comunidade. A Engenharia de Domínio é um processo para criação de abstrações de software reusáveis no desenvolvimento de uma família de aplicações em um domínio particular de problema. A Engenharia de Aplicações é um processo para construção de aplicações baseadas no reúso de artefatos de software previamente produzidos no processo da Engenharia de Domínio. O MADAE-Pro é um processo dirigido por ontologias para a Engenharia de Domínio e de Aplicações Multiagente, o qual promove a construção e o reúso de famílias de aplicações. O processo é especificado em uma linguagem de representação de processos formal, evitando assim interpretações ambíguas. Outro diferencial do MADAE-Pro é o suporte ao reúso de software em todos os níveis de abstração, desde os requisitos até a implementação.

Made available in DSpace on 2016-04-28T18:22:26Z (GMT). No. of bitstreams: 1 ADELMA DAS NEVES NUNES BARROS MENDES.pdf: 2096522 bytes, checksum: cb94003028344fb5711252841b2eed75 (MD5) Previous issue date: 2005-10-18 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This thesis is based on the socio-historical-discursive perspective proposed by Bakhtin as well as on theories developed in language teaching methodology, in education and in language studies in general. The analysis of the data points to the attention given to oral language in the teaching and learning of the mother tongue (PCN, 1998) and (PNLD/2002, 2005) that contributed to a change in focus of Portuguese language textbooks used in schools The research based on the examination of the classroom textbooks showed that the emphasis on oral language increased from an original proposal of 122 to 587 proposals. In this study, the presence of oral language is apparent in formal and public spoken discourses as scholastic activities (Dolz, Shneuwly & Haller, 1998). Oral production is treated from two different standpoints: as a means of exploration of diverse objects and as an object in which the focus is on the presentation of oral genres used in public communication. Oral language is thus treated as a means to explore essentially reading, comprehension and production of written texts as well as linguistic knowledge. Following (Rojo, 2005) spoken discourse is treated as a teaching objective from three different perspectives: immersion, transmission and reflection. Only the perspective of reflection deals with knowledge and language abilities (Dolz & Schneuwly, 1998) which are necessary for the comprehension, production and management of genres employed in the public sphere, promoting the teaching and learning of those genres as an autonomous objective of instruction (PCN, 1998), (Dolz & Schneuwly, 1998), preparing the groundwork for civic education. The findings of this study show that the authors of Portuguese-language textbooks do not present a monologic discourse (Bakhtin, 1953/1979, 1929) but engage the new teaching paradigms and successive textbook evaluations presented respectively in both the (PCN) and (PNLD) in dialogue / Este trabalho baseia-se na perspectiva sócio-histórico-discursiva bakhtiniana e em teorias advindas da didática das línguas, da história da educação e dos estudos sobre a linguagem de modo geral. A análise dos dados aqui exposta busca demonstrar que o novo lugar dado à linguagem oral no ensino-aprendizagem de língua materna (PCN, 1998) e (PNLD, 2002, 2005) suscitou mudanças e que os livros didáticos de Língua Portuguesa (LDP) estão tratando cada vez mais desse objeto em suas propostas de trabalho. Nos livros aqui pesquisados, observou-se que entre um programa de avaliação oficial e outro, PNLD/2002 e PNLD2005, a linguagem oral ultrapassou o total de 122 para 587 propostas. A linguagem oral nos LDP se apresenta concretizada tanto nos Gêneros orais formais e públicos como nas atividades de linguagem (Dolz, Schneuwly e Haller, 1998) e é tratada sob dois grandes modos: como meio ou passarela de exploração de objetos diversos e como objeto em que se visa o ensino dos gêneros orais da esfera pública de comunicação. O modo que trata a linguagem oral como meio explora essencialmente leitura, compreensão e produção de textos escritos e conhecimentos lingüísticos. O modo que a trata como objeto com vistas ao ensino, mostra-se sob três perspectivas: da imersão, da transmissão e da reflexão (Rojo, 2005), mas somente essa última perspectiva trabalha com saberes e capacidades de linguagem (Dolz e Schneuwly, 1998), necessários para compreensão, produção e gestão dos gêneros de circulação pública, isto é, promove o ensino-aprendizagem desses gêneros como objeto autônomo de ensino (PCN, 1998) e (Dolz e Schneuwly, 1998), abrindo possibilidades para uma formação cidadã. Nesse trabalho desenvolvido, verifica-se que os livros didáticos de língua Portuguesa não apresentam um discurso monológico (Bakhtin, 1953/4/1979; 1929) de seus autores, mas estão dialogando com os novos paradigmas de ensino da Língua Portuguesa, com os documentos oficiais (PCN) e com as orientações das sucessivas avaliações (PNLD)

Vários métodos de especificação procuram realizar a modelagem de sistemas sob três visões: uma visão funcional, que procura apresentar as informações que trafegam entre os diversos componentes do sistema, uma visão de dados, que apresenta as relações entre as estruturas de dados estáticas do sistema e a visão dinâmica, que mostra as transformações que o sistema pode sofrer ao longo do tempo. Alguns modelos procuram integrar mais de uma visão, mas, em geral, os modelos possuem sérias deficiências ao tentarem representar mais de um aspecto do sistema ao mesmo tempo, sendo necessário o apoio de outros métodos. Este trabalho apresenta um método de especificação de sistemas que procura integrar a modelagem de dados com a modelagem funcional e dinâmica utilizando-se, para isso, das Gramáticas de Grafos como método formal de especificação. Sendo um grafo formado por vértices, arestas e rótulos, pode-se facilmente criar uma camada de abstração em que o usuário (em geral responsável pela análise de sistemas) manipule um método de especificação com o qual já convive, agora com uma semântica formal definida. Espera-se, com a aplicação do método, gerar modelos passíveis de prova, não ambíguos e que promovam um incremento de qualidade no sistema gerado. / Several specification methods try to realize system modeling following three visions: the functional vision, which is based on representing the information exchange among the several components of the system; the data vision, which represents the relations among the static data structures of the system; and the dynamic vision, which presents the transformations the system may endure over the time. Some models exist that try to integrate more than one of these visions, but, in general, they suffer from deficiencies when trying to represent more than one aspect of the system at the same time, in which case the use of other methods is necessary. This work presents a novel method of systems specification that attempts to integrate data modeling with functional and dynamic modelings using, for this, Graph Grammars as its formal specification method. A graph, being made of nodes, edges and labels, is appropriate for creating, easily, an abstraction layer in which the user (usually responsible for the system analysis) manipulates a specification method which is known to him, but now with a well defined formal semantics. We hope, by applying this method, to generate provable, unambiguous models which promote an increase in the quality of the generated system.

Submitted by Cleide Dantas (cleidedantas@ufpa.br) on 2014-05-08T16:22:26Z No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_EfeitosRegrasApresentadas.pdf: 484852 bytes, checksum: c4c359cec07917b8ec3c1f40eb45ada7 (MD5) / Approved for entry into archive by Ana Rosa Silva (arosa@ufpa.br) on 2014-09-03T14:04:10Z (GMT) No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_EfeitosRegrasApresentadas.pdf: 484852 bytes, checksum: c4c359cec07917b8ec3c1f40eb45ada7 (MD5) / Made available in DSpace on 2014-09-03T14:04:10Z (GMT). No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_EfeitosRegrasApresentadas.pdf: 484852 bytes, checksum: c4c359cec07917b8ec3c1f40eb45ada7 (MD5) Previous issue date: 2010 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / 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. / The present study investigated the effects of rules presented in the form of order, suggestion and agreement on non-verbal behavior of adults. Twenty four undergraduate were exposed to a matching-to-sample procedure; the task consisted in pointing to each on of the comparison stimuli in a given sequence. In Phase 1 of Experiments I and II, rules were presented in the form of order, suggestion and agreement. In Experiment I, the order, suggestion or agreement described only one of the two response sequences which produced points (exchangeble for money). In Experiment II, these rules described both response sequences which produced points, one of them being the ordered, suggested or agreed sequence, and the other, the alternative sequence. In Phase 2 ou both experiments, there was unsignalized changes in the contingencies of reinforcement. The results showed that the order, suggestion or agreement produced novel behavior. Additionally, showed that behavior established by order or agreement are more probable of being maitained after changes in the contingencies, when compared to behavior established by suggestion. It is discussed that the maitanance of rule-following is due, in part, to the formal properties of the rules.

Submitted by Silvana Teresinha Dornelles Studzinski (sstudzinski) on 2017-04-19T15:33:22Z No. of bitstreams: 1 Rodrigo Vargas Laureano_.pdf: 869128 bytes, checksum: a3d5bbe7b2f89ed30a118d117b4b0356 (MD5) / Made available in DSpace on 2017-04-19T15:33:22Z (GMT). No. of bitstreams: 1 Rodrigo Vargas Laureano_.pdf: 869128 bytes, checksum: a3d5bbe7b2f89ed30a118d117b4b0356 (MD5) Previous issue date: 2017-01-13 / Nenhuma / As Organizações Superiores de Auditoria, tais como os Tribunais de Contas, possuem uma relevante função no que tange à Governança Pública. Neste contexto, o presente estudo teve como objetivo identificar os fatores explicativos em relação aos Pareceres Prévios emitidos pelo TCE-RS nos processos de prestação de contas dos Prefeitos Municipais. A análise das evidências foi realizada à luz da Nova Teoria Institucional, na perspectiva de Douglass North. Essa que pressupõe que o objetivo das instituições é estabelecer uma estrutura de interação humana capaz de reduzir a incerteza nas relações em uma dada sociedade. Em outras palavras, as Instituições configuram-se como regras formais e informais, que estruturam as ações organizacionais. Nesta pesquisa, as regras formais referem-se aos aspectos regimentais relacionados aos processos de prestação de contas. De outra parte, as regras informais correspondem aos procedimentos não normatizados que, eventualmente, podem representar constrangimentos ao TCE-RS para a emissão de Parecer Prévio Desfavorável. Com base na revisão da literatura teórica e empírica foram formuladas 2 hipóteses principais, complementadas por um conjunto de 12 subhipóteses. As hipóteses foram testadas a partir de variáveis relacionadas às regras formais e de variáveis relacionadas às regras informais, sendo estimados modelos de regressão logística, cuja variável dependente binária é o Parecer Prévio emitido: Favorável ou Desfavorável. Foram examinados 3.968 processos relativos aos exercícios de 2005 a 2012 dos 496 municípios gaúchos. Os resultados indicam que as decisões do TCE-RS, em relação ao Parecer Prévio, são influenciadas por regras formais e por regras informais. Os aspectos formais referem-se à LRF e às inconformidades apontadas pelos Auditores. Enquanto que os aspectos informais dizem respeito à forma de provimento do Relator do Processo, à condição socioeconômica do Município e ao tempo de existência do mesmo. Aspectos relacionados ao tamanho e à localização do Município, bem como ao Partido do Prefeito, também foram testados, porém não apresentaram significância estatística. Este estudo permite que a sociedade conheça o TCE-RS, bem como os elementos que influenciam no seu processo decisório. Além disto, fornece subsídios para a discussão relativa à dicotomia existente entre a prevalência dos aspectos técnicos ou não técnicos nas decisões do órgão. / The Supreme Audit Institutions, such as Audit Courts, have a relevant role regarding Public Governance. In this context, this research has the aim to identify the factors with probability of explanation in relation to Pareceres Prévios (Previous Feedback) issued by TCE-RS in the processes concerning the provided accounts by Municipal mayors. The analysis of the evidence was carried by the light of New Institutional Theory, on Douglass North’s perspective, which presupposes that the aim of the institutions is to establish a structure of human interaction capable of reducing uncertainty in relationships in a given society. In other words, the Institutions are framed as formal and informal rules, which give foundation to the organizational actions. In this research, the formal rules refer to the regimental aspects related to provided accounts processes. The informal rules refer to non-standard procedures that may eventually represent constraints to TCE-RS for the issurance of an unfavorable Parecer Prévio. Based on the review of the theoretical and empirical literature, two main hypotheses were formulated, complemented by a set of twelve sub-hypotheses. The hypotheses were tested from variables related to formal rules and variables related to informal rules, and a logistic regression model is estimated, whose binary dependent variable is the Parecer Prévio issued: Favorable or Unfavorable. Were examined the processes related to the years 2005 to 2012 of 496 municipalities of the State of Rio Grande do Sul, 3,968 cases in total. The results of the estimated final model indicate that the decisions of the TCE-RS, in relation to the Parecer Prévio, are influenced by formal rules and by informal rules. The formal aspects refer to the Fiscal Responsability Law and to the nonconformities pointed out by the Audit Teams. While the informal aspects concern the form of provision of the Magistrate rapporteur of the process and the age, the socioeconomic condition of the Municipalities and the time of existence of the Municipalities. Aspects related to size and localization of the Municipality, as well as to the Mayor's Political Party, were also tested, but were not statistically significant. This research allows the society to know the TCE-RS, as well as the elements that influence its decision-making process. In addition, it provides an important contribution to the discussion of the dichotomy between the prevalence of technical or non-technical aspects in the decisions of TCE-RS.

Made available in DSpace on 2014-12-17T15:48:01Z (GMT). No. of bitstreams: 1 IvanSMJ_DISSERT.pdf: 2894212 bytes, checksum: 3acb921ac87239ee36be60cb2e15b0e6 (MD5) Previous issue date: 2012-04-27 / A remo??o de inconsist?ncias em um projeto ? menos custosa quando realizadas nas etapas iniciais da sua concep??o. A utiliza??o de M?todos Formais melhora a compreens?o dos sistemas al?m de possuir diversas t?cnicas, como a especifica??o e verifica??o formal, para identificar essas inconsist?ncias nas etapas iniciais de um projeto. Por?m, a transforma??o de uma especifica??o formal para uma linguagem de programa??o ? uma tarefa n?o trivial. Quando feita manualmente, ? uma tarefa pass?vel da inser??o de erros. O uso de ferramentas que auxiliem esta etapa pode proporcionar grandes benef?cios ao produto final a ser desenvolvido. Este trabalho prop?e a extens?o de uma ferramenta cujo foco ? a tradu??o autom?tica de especifica??es em CSPm para Handel-C. CSP ? uma linguagem de descri??o formal adequada para trabalhar com sistemas concorrentes. Handel-C ? uma linguagem de programa??o cujo resultado pode ser compilado diretamente para FPGA's. A extens?o consiste no aumento no n?mero de operadores CSPm aceitos pela ferramenta, permitindo ao usu?rio definir processos locais, renomear canais e utilizar guarda booleana em escolhas externas. Al?m disto, propomos tamb?m a implementa??o de um protocolo de comunica??o que elimina algumas restri??es da composi??o paralela de processos na tradu??o para Handel-C, permitindo que a comunica??o entre m?ltiplos processos possa ser mapeada de maneira consistente e que a mesma somente ocorra quando for autorizada.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-10-11T20:48:07Z No. of bitstreams: 1 ErnestoCidBrasilDeMatos_TESE.pdf: 4062332 bytes, checksum: 09e4f284f102ad1088f37213e8e53d6f (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-10-14T00:17:49Z (GMT) No. of bitstreams: 1 ErnestoCidBrasilDeMatos_TESE.pdf: 4062332 bytes, checksum: 09e4f284f102ad1088f37213e8e53d6f (MD5) / Made available in DSpace on 2016-10-14T00:17:49Z (GMT). No. of bitstreams: 1 ErnestoCidBrasilDeMatos_TESE.pdf: 4062332 bytes, checksum: 09e4f284f102ad1088f37213e8e53d6f (MD5) Previous issue date: 2016-04-14 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior (CAPES) / Sistemas de software esta?o presentes em grande parte das nossas vidas atualmente e, mais do que nunca, eles requerem um alto ni?vel de confiabilidade. Existem va?rias te?cnicas de Ver- ificac?a?o e Validac?a?o (V&V) de software que se preocupam com controle de qualidade, segu- ranc?a, robustez e confiabilidade; as mais conhecidas sa?o Testes de Software e Me?todos For- mais. Me?todos formais e testes sa?o te?cnicas que podem se complementar. Enquanto me?to- dos formais prove?em mecanismos confia?veis para raciocinar sobre o sistema em um ni?vel mais abstrato, te?cnicas de teste ainda sa?o necessa?rias para uma validac?a?o mais profunda e sa?o frenquentemente requeridas por orga?os de certificac?a?o. Levando isto em considerac?a?o, BETA prove? uma abordagem de testes baseada em modelos para o Me?todo B, suportada por uma ferramenta, que e? capaz de gerar testes de unidade a partir de ma?quinas abstratas B. Nesta tese de doutorado apresentamos melhorias realizadas em BETA e novos estudos de caso realizados para avalia?-la. Dentre as melhorias, integramos crite?rios de cobertura lo?gicos a? abordagem, revisamos os crite?rios de cobertura baseados em espac?o de entrada que ja? eram suportados e aperfeic?oamos as u?ltimas etapas do processo de gerac?a?o de testes. A abordagem agora suporta a gerac?a?o automa?tica de dados para os ora?culos e prea?mbulos para os casos de teste; ela tambe?m possui uma funcionalidade para concretizac?a?o dos da- dos de teste e um mo?dulo para gerar scripts de teste executa?veis automaticamente. Outro objetivo desta tese foi realizar estudos de caso mais complexos utilizando BETA e avaliar a qualidade dos casos de teste que a abordagem produz. Estes estudos de caso foram os primeiros a avaliar o processo de gerac?a?o de testes por completo, desde a especificac?a?o dos casos de teste ate? a sua implementac?a?o e execuc?a?o. Em nossos u?ltimos experimentos, analisamos a qualidade dos casos de teste gerados por BETA, considerando cada crite?rio de cobertura suportado, utilizando me?tricas de cobertuda de co?digo como cobertura de in- struc?o?es e ramificac?o?es. Tambe?m utilizamos testes de mutac?a?o para avaliar a capacidade dos casos de teste de detectar faltas na implementac?a?o dos modelos. O resultados obtidos foram promissores mostrando que BETA e? capaz de detectar faltas introduzidas por progra- madores ou geradores de co?digo e que a abordagem pode obter bons resultados de cobertura para a implementac?a?o de um sistema baseado em modelos B. / Software systems are a big part of our lives and, more than ever, they require a high level of reliability. There are many software Verification and Validation (V&V) techniques that are concerned with quality control, security, robustness, and reliability; the most widely known are Software Testing and Formal Methods. Formal methods and testing are techniques that can complement each other. While formal methods provide sound mechanisms to reason about the system at a more abstract level, testing techniques are still necessary for a more in-depth validation of the system and are often required by certification standards. Taking this into consideration, BETA provides a tool-supported, model-based testing approach for the B Method that is capable of generating unit tests from abstract B machines. In this thesis, we present improvements made in the BETA approach and tool, and new cases studies used to evaluate them. Among these improvements, we integrated logical coverage criteria into the approach, reviewed the input space criteria that was already supported, and enhanced the final steps of the test generation process. The approach now has support for automatic generation of oracle data and test case preambles, it has a feature for test data concretization, and a module that automatically generates executable test scripts. Another objective of this thesis was to perform more complex case studies using BETA and assess the quality of the test cases it produces. These case studies were the first to evaluate the test generation process as a whole, from test case design to implementation and execution. In our last experiments, we assessed the quality of the test cases generated by BETA, considering each coverage criteria it supports, using code coverage metrics such as statement and branch coverage. We also used mutation testing to evaluate the ability of the generated test cases to identify faults in the model?s implementation. The results obtained were promising, showing that BETA is capable of detecting faults introduced by a programmer or code generation tool and that it can achieve good coverage results for a system?s implementation based on a B model.

Dissertação (mestrado)—Universidade de Brasília, Decanato de Pesquisa e Pós-Graduação, Instituto de Física, Instituto de Química, 2008. / Submitted by Fernanda Weschenfelder (nandaweschenfelder@gmail.com) on 2009-09-21T20:36:44Z No. of bitstreams: 1 2008_FrancodeSallesPorto.pdf: 4901832 bytes, checksum: 492b2377dfa6c314697c92f21118bb41 (MD5) / Approved for entry into archive by Gomes Neide(nagomes2005@gmail.com) on 2010-01-07T19:35:06Z (GMT) No. of bitstreams: 1 2008_FrancodeSallesPorto.pdf: 4901832 bytes, checksum: 492b2377dfa6c314697c92f21118bb41 (MD5) / Made available in DSpace on 2010-01-07T19:35:06Z (GMT). No. of bitstreams: 1 2008_FrancodeSallesPorto.pdf: 4901832 bytes, checksum: 492b2377dfa6c314697c92f21118bb41 (MD5) Previous issue date: 2008-12 / O objetivo deste trabalho foi estudar a possibilidade de se complementar a educação científica escolar no ensino das ciências, através da parceria museuescola. Assim sendo, a partir dessa parceria, levou-se uma exposição museológica sobre Óptica para uma escola pública da Região Administrativa de Taguatinga – DF, a fim de observar o comportamento de uma turma de Ensino Médio ao visitar a exposição. A exposição, baseada nos trabalhos de Queiroz, Barbosa-Lima e Santiago (2006), objetivava motivar os estudantes-visitantes a aprender Óptica mostrando o modo como ela foi utilizada por grandes mestres da pintura na criação de suas telas. Fazia parte da exposição uma imensa câmara escura com um pequeno orifício em um dos seus lados, para a passagem da luz vinda de um objeto de fora da câmara, a ser projetado em uma tela localizada em seu interior. Assim, tinha-se pronto o produto exigido para o mestrado profissionalizante. No entanto, resolveu-se fazer também uma pesquisa empírica, pois desejava-se descobrir se a exposição motivava a aprendizagem dos visitantes. Para tanto, planejou-se uma pesquisa qualitativa, com a coleta de dados em três momentos. Nos dois primeiros momentos, observou-se a interação dos alunos antes e durante a visita à exposição. O terceiro ocorreu em sala de aula com a professora-colaboradora. Os resultados do estudo mostram a possibilidade de que atividades desse tipo agucem a curiosidade em relação às ciências, contribuindo para melhorar o processo de ensinoaprendizagem de ciências. Portanto, acredita-se que a parceria museu-escola pode ter influência positiva no processo educacional. _______________________________________________________________________________________ ABSTRACT / The objective of that work was to study the possibility to complement the school science education through a partnership museum-school. So, starting from this partnership, an exhibition about optics was build and taken to a public school of Taguatinga - DF, to observe the behavior of a group of students visiting the exhibition. Part of the exhibition was a camera obscura with a small hole in one on their sides, for the passage of the light coming from of an object outside which was projected in a screen inside the camera. The whole exhibition was based on the work of Queiroz, Barbosa-Lima and Santiago (2006). The exhibition was the teaching product demanded for the professional master's degree. However, it was also decided to do an empiric research to understand whether the exhibition could motivate visitors' learning of science. To do so it was planned a qualitative research that had three moments of data collection. In the first two moments, the interaction with the group of students was observed and video-taped. The third moment of observation happened back in the classroom with the teacher-collaborator. The results of this study show the possibility that such activities can sharpen visitor’s scientific curiosity, thus contributing to improve the process of science learning. Therefore, it is believed that the partnership museum-school, with school exhibitions can have positive influences upon the science learning processes.

Submitted by Automação e Estatística (sst@bczm.ufrn.br) on 2018-07-30T13:28:52Z No. of bitstreams: 1 ValdigleisDaSilvaCosta_DISSERT.pdf: 14438862 bytes, checksum: 0296c1fddc9f8c42cbaf0336bdad7e55 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2018-07-30T22:29:06Z (GMT) No. of bitstreams: 1 ValdigleisDaSilvaCosta_DISSERT.pdf: 14438862 bytes, checksum: 0296c1fddc9f8c42cbaf0336bdad7e55 (MD5) / Made available in DSpace on 2018-07-30T22:29:06Z (GMT). No. of bitstreams: 1 ValdigleisDaSilvaCosta_DISSERT.pdf: 14438862 bytes, checksum: 0296c1fddc9f8c42cbaf0336bdad7e55 (MD5) Previous issue date: 2016-08-05 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / As linguagens formais definidas no final da década de 50, tem uma grande importância dentro da ciência da computação, em especial para aplicações em análise léxica e sintática dentro da construção dos compiladores e também em técnicas de inferência gramatical. A hierarquia estendida de Chomsky além de “organizar” as linguagens formais, nos possibilita traçar uma relação entre as classes de linguagens e os formalismos em termos de máquinas de estados (ou autômatos). Entre as classes de linguagens na hierarquia estão as linguagens lineares, para as linguagens desta classe existem no mínimo quatro tipos de “dispositivos”, que computam sobre elas. Entre eles estão os λ-autômatos lineares não-determinísticos propostos por Bedregal. Ao final da década de 60, Lee e Zadeh propuseram as linguagens fuzzy, numa tentativa de diminuir a distância entre as linguagens formais e as linguagens naturais. Por sua vez, Wee e Fu para capturar a noção de incerteza, durante o processo de reconhecimento de cadeias de uma linguagem, introduzem o conceito de autômatos fuzzy. Assim como na teoria clássica, podemos traçar uma relação entre as classes das linguagens fuzzy e os autômatos fuzzy. No entanto, diferente da teoria clássica, até o presente momento não existe nenhum autômato fuzzy concebido diretamente para computar sobre a classe das linguagens lineares fuzzy, isto é, que se relacione com as linguagens lineares fuzzy de forma direta. Portanto, este trabalho se propõe a realizar um estudo sobre a construção de autômatos fuzzy desenvolvidos para reconhecer as linguagens lineares fuzzy. Além disso, dado que dentro do estudo de linguagens formais, a investigação dos operadores de fecho sobre as classes de linguagens é um importante ponto, neste trabalho, iremos também investigar quais dos operadores (união, intersecção, etc) são fechados sobre as classes das linguagens lineares fuzzy. / Formal languages defined in the late 50’s play an important role in computer science, especially for applications in lexical and syntactic analysis in the construction of compilers and also in grammatical inference techniques. The extended Chomsky hierarchy in addition to “organize” formal languages, enables us to draw a relationship between the classes of languages and formalisms in terms of state machines (or automata). Among the languages classes in the hierarchy, one can find the linear languages. For such languages of this class, there are at least four types of “devices” performing computations on them. One can highlight the Nondeterministic Linear Automata, as proposed by Bedregal. In the end of the 60s, Lee and Zadeh proposed fuzzy languages in an attempt to decrease the distance between formal languages and natural languages. In turn, Wee and Fu capture the concept of uncertainty as they introduced the concept of fuzzy automata during the process of recognizing a language, similarly to the classical theory. Therefore, one can trace a relationship between the classes of fuzzy language and fuzzy automata. However, differently from the classical theory, up to now there is no designed fuzzy automata directly to compute on the class of fuzzy linear languages, i.e., relating to fuzzy linear languages directly. Therefore, this work aims to carry out a study on the construction of fuzzy automata developed to recognize the fuzzy linear languages. Furthermore, based on the study of formal languages, the investigation of the closure operators on languages classes is an important point; this work will also investigate which of the operators (union, intersection, etc.) are closed on the classes of fuzzy linear languages.

Vários métodos de especificação procuram realizar a modelagem de sistemas sob três visões: uma visão funcional, que procura apresentar as informações que trafegam entre os diversos componentes do sistema, uma visão de dados, que apresenta as relações entre as estruturas de dados estáticas do sistema e a visão dinâmica, que mostra as transformações que o sistema pode sofrer ao longo do tempo. Alguns modelos procuram integrar mais de uma visão, mas, em geral, os modelos possuem sérias deficiências ao tentarem representar mais de um aspecto do sistema ao mesmo tempo, sendo necessário o apoio de outros métodos. Este trabalho apresenta um método de especificação de sistemas que procura integrar a modelagem de dados com a modelagem funcional e dinâmica utilizando-se, para isso, das Gramáticas de Grafos como método formal de especificação. Sendo um grafo formado por vértices, arestas e rótulos, pode-se facilmente criar uma camada de abstração em que o usuário (em geral responsável pela análise de sistemas) manipule um método de especificação com o qual já convive, agora com uma semântica formal definida. Espera-se, com a aplicação do método, gerar modelos passíveis de prova, não ambíguos e que promovam um incremento de qualidade no sistema gerado. / Several specification methods try to realize system modeling following three visions: the functional vision, which is based on representing the information exchange among the several components of the system; the data vision, which represents the relations among the static data structures of the system; and the dynamic vision, which presents the transformations the system may endure over the time. Some models exist that try to integrate more than one of these visions, but, in general, they suffer from deficiencies when trying to represent more than one aspect of the system at the same time, in which case the use of other methods is necessary. This work presents a novel method of systems specification that attempts to integrate data modeling with functional and dynamic modelings using, for this, Graph Grammars as its formal specification method. A graph, being made of nodes, edges and labels, is appropriate for creating, easily, an abstraction layer in which the user (usually responsible for the system analysis) manipulates a specification method which is known to him, but now with a well defined formal semantics. We hope, by applying this method, to generate provable, unambiguous models which promote an increase in the quality of the generated system.