INF - Instituto de Informática
URI Permanente desta comunidade
O INF - Instituto de Informática, da Universidade Federal de Goiás, oferece os cursos de Graduação em: Ciências da Computação; Engenharia de Software; e, Sistemas de Informação. E os cursos de Especialização (Lato Sensu) em: Banco de Dados; Desenvolvimento de Aplicações Web com Interfaces Ricas; Informática Aplicada à Educação; Redes de Computadores e Segurança de Sistemas; e, Validação e Verificação de Software.
Navegar
Navegando INF - Instituto de Informática por Data de Publicação
Agora exibindo 1 - 20 de 80
Resultados por página
Opções de Ordenação
Item A characterisation of cubic parity graphs(2003) Barbosa, Rommel Melgaço; Ellingham, Mark NormanA graph is Zm-well-covered if all maximal independent sets have the same cardinality modulo m. Zm-well-covered graphs generalise well-covered graphs, those in which all independent sets have the same cardinality. Z2- well-covered graphs are also called parity graphs. A characterisation of cubic well-covered graphs was given by Campbell, Ellingham and Royle. Here we extend this to a characterisation of cubic Zm-well-covered graphs for all integers m ≥ 2; the most interesting case is m = 2, cubic parity graphs. Our main technique involves minimal non-well-covered graphs, and allows us to build our characterisation as an extension of the existing characterisation of cubic well-covered graphs.Item Software patterns: fundamentos, tipos e descrição(2003-12) Carvalho, Sérgio Teixeira deSpecialists, in each project of software, acquire experience and knowledge that eventually are used in new projects. In the cases where good solutions are found, tested and applied, there are great possibilities for these methodologies are employed successfully in similar contexts. A software pattern describes in a standardized way a recurrent problem and presents a outline for its solution, making possible the reuse of the experience acquired in the solution of the problem. This article deals with the foundation of software patterns presenting its types and description.Item Project Framework Model - PMF: um framework para o desenvolvimento de sistemas de informação orientados a objetos(2003-12) Branquinho, Leandro Doutor; Carvalho, Sérgio Teixeira deThe object-oriented paradigm, when applied to development of information systems, offers resources that allow the construction of software for parts, analogous to the hardware. Each part corresponds to an object that is the responsible and the specialist in a service in the context of the information system. The oriented-object paradigm allows the development of systems more well organized with more quality. This article presents the PFM - Project Framework Model, a framework created to assist in the object-oriented information systems development, showing its classes, functioning, use and benefits, as well as its importance in the institution where it was developed and is being used. The article still presents a overview about object-oriented paradigm and frameworks.Item Structuring reflective middleware using meta-information management: the Meta-ORB approach and prototypes(2004) Costa, Fábio Moreira; Santos, Bruno da SilvaReflection is now an established technique for achieving dynamic adaptability of middleware platforms. It provides a clean and comprehensive way to access the internals of a platform implementation, allowing its customisation in order to achieve the best performance and adequacy under given operation environments and user requirements. In addition, the use of a runtime component model for the design of the internal platform structure facilitates the identification of the elements to be adapted, as all platform aspects are built in terms of components. The major limitation of this approach, however, is related to the multitude of aspects that make up a middleware platform, together with the requirement of keeping platform consistency after adaptations take place. This paper presents the results of ongoing research contributing to reduce this limitation. The approach is based on the use of a common meta-model, together with meta-information techniques to provide a uniform way to specify and manipulate platform configurations. Both platform configuration and runtime adaptation are always specified using a small number of building blocks defined in the meta-model. The paper also describes the overall architecture of the Meta-ORB platform, which demonstrates this approach, and presents its two implementations: a proof-of-concept prototype written in Python, and a Java-based implementation aimed at supporting mobile devices. The results are also evaluated from a quantitative perspective, according to the requirements of multimedia applications, one of the major areas of application of reflective middleware.Item Strongly simply connected schurian algebras and multiplicative bases(2005-01) Assem, Ibrahim; Castonguay, Diane; Marcos, Eduardo do Nascimento; Trepode, Sonia ElisabetIn this paper, we define concepts of crowns and quasi-crowns, valid in an arbitrary schurian algebra, and which generalise the corresponding concepts in an incidence algebra. We show first that a triangular schurian algebra is strongly simply connected if and only if it is simply connected and contains no quasi-crown. We then prove that the absence of quasi-crowns in a triangular schurian algebra implies the existence of a multiplicative basis.Item A note on fundamental group of a one point-extension(2005-05) Assem, Ibrahim; Bustamante, Juan Carlos; Castonguay, Diane; Novoa, CristianIn this note, we consider an algebra A which is a one-point extension of another algebra B and we study the morphism of fundamental groups induced by the inclusion of (the bound quiver of ) B into (that of ) A. Our main result says that the cokernel of this morphism is a free group and we prove some consequences from this fact.Item Derived-tame blowing-up of tree algebras(2005-07) Castonguay, DianeLet k be an algebraically closed field and A be a tree algebra. We consider here a class obtained by the blowing-up of a tree algebra A at a set of vertices D of A, such an algebra is denoted by . The objective of this paper is to prove the equivalence between the derived-tameness and the non-negativity of the Euler form for algebras of this form. We also show that, in this case, if D is a non-empty set then must be derived equivalent to a special incidence algebra, called semichain algebra.Item Construção grupal do conhecimento por uma abordagem dialética na Web(2007-06) Ferreira, Deller JamesThe present essay discusses collaborative knowledge construction on the Web, providing an analysis related to how divergent contributions from individuals become a convergent shared knowledge. A proficient collaboration can unlash the creation of something innovating that can not be conferred to a specific student. During the collaborative production a knowledge that could not be constructed individually can emerge. An approach based on dialectic logic to describe one of the possible ways that such a process concerning collaborative knowledge construction can occur by means of a social representation synthesis will be used.Item Avaliação do nível de colesterol total por meio de processamento de imagens digitais(2007-12) Oliveira, Paula Lorenzoni Paste de; Oliveira, Leandro Luis Galdino de; Rassi, Cláudia Maria; Albuquerque, Eduardo Simões deHigh cholesterol is one of the illnesses that affects millions of people, causing about 12 million deaths in many developed countries, and it is the main cause of deaths in developped countries. Currently, dosage is obtained by spectrophotometer, based on the analysis of the color concentration. The aim of our work was to develop a technique using Digital Image Processing to dose the cholesterol level in a sample. The results were compared with the results obtained using spectrophotometer. The correlation found was -0,94 (IC 95% = -0,9668 the -0,9036, P < 0,0001). The method proposed is an alternative way to assist in the dosage of the total cholesterol and can be used to develop low cost equipments.Item Uso da programação orientada a aspectos em persistência de dados utilizando AspectJ(2007-12) Almeida, Leonardo Franco de; Duarte Júnior, Osvaldo Pereira; Carvalho, Sérgio Teixeira deThis article has the objective to present a model of how aspect oriented programming can assist in solutions for data persistence using the language AspectJ. A general vision of aspect orientation is presented, the contexts in which aspect oriented programming languages are inserted and the use of aspects in the management of transactions involving data persistence.Item Faults and failures in SQL-based data manipulation programming(2007-12) Leitão Júnior, Plínio de Sá; Vilela, Plínio Roberto Souza; Jino, MarioDatabase applications, including SQL-based applications, have received little attention directed towards improving the knowledge of their possible faults. This paper deals with issues related to software faults and failures aiming at understanding what types of faults occur in SQL manipulation commands, and how they are propagated to the output of command execution. SQL manipulation commands are studied and their structure is organized into structural items, a step towards understanding and grouping fault types. A list of manipulation fault types is determined and presented with SQL command examples. Failure dimensions are discussed along with query and state changing operations. An experiment to abstract the types of manipulation faults for SQL was carried out and the results are presented. The experiment built databases and faulty commands to promote failure in command execution. A database was built and a set of faulty SQL commands used to map fault types and failure dimensions. The analysis of data mapping indicates: i) there is a many-to-many mapping between faults and failures; ii) failure dimensions are dependent on fault type, faulty command, and the database itself; and iii) manipulation fault knowledge is crucial for SQL programming and testing of database applications. This work represents an initial step for testing SQL programmingItem Liberação automática de exames laboratoriais clínicos(2007-12) Souza Júnior, Ary Henrique de; Albuquerque, Eduardo Simões deThis work proposes a system for a clinical laboratory to control the post analytical phase of exams. The system can automatically liberate the results of clinical exams. To assess the system we developed a prototype able to liberate FSH and Estradiol hormones based on rules that confront FSH and Estradiol results. The prototype was able to autonomously liberate 67,10% of the FSH results and 98,38% of the Estradiol results when analyzed independently and 82,74% of the results when applying the confrontations rules.Item Algoritmo auxiliar paralelo para melhorar a performance dos algoritmos genéticos com codificação binária(2008) Camilo Júnior, Celso Gonçalves; Yamanaka, KeijiSome techniques are applied in the optimization problems, however, just a few achieve satisfactory performance when the problem is complex, for example, multimodal or multiobjective. The metaheuristics, although not guaranteeing a global optimum, have good results and, hence, are quite used to these scenarios. Among the metaheuristics, the evolutionary algorithms, especially the Genetic Algorithms (GA), have great results and, hence, one of the most popular. However, the process of improving the solution of an AG may be slow, especially in cases of great complexity. Hence, some papers are developed to improve the performance of the AG. However, when it speeds up the process of evolution in evolutionary algorithms, normally increases the risk of premature convergence, which can negatively influence the population to maximum and minimum locations. Therefore, this work suggests the Assistant Parallel Algorithm (AAP), an algorithm to assist the evolution process of binary encoding GAs. The proposed algorithm is a module attached to the AGs that feeds the population of good individuals. Four operators were created for the AAP: AR, EAR-T, EAR-P and EAR-N, all functionally independent. Experiments were done to measure the efficiency of the AAP and its operators. The results show that the AAP reach the objective of assist the good evolution without using specifics knowledges about the problem.Item Inteligência artificial distribuída: conhecendo para aplicar(2008-04) Camilo Júnior, Celso Gonçalves; Nogueira, Reinaldo Gonçalves; Vinhal, Cássio Dener NoronhaArtificial Intelligence is an area that receive attentions due the daring to implement intelligence in non-organic beings. However, throughout history was created myths, caused by exaggerations about their features and applications, which consequently generated distrust.Therefore, this article was conceived to study about the Artificial Intelligence science and Distributed Artificial Intelligence discipline. Some features like: History, the discipline Distributed Artificial Intelligence and its division, the infrastructure that involves applications in this area and the “state of the art” will be presented.Item Estudo descritivo dos óbitos por acidentes de trânsito ocorridos em Goiânia, 1996 - 2002(2008-12) Carvalho, Gélcio Sisteroli de; Albuquerque, Eduardo Simões deThis work describes the distribution of mortality caused by traffic accidents in the urban space of Goiânia, from 1996 to 2002. The sample was 3.091 fatal victims. The growth in the traffic accidents in the period was 36,18%. The rate of mortality by external causes went up from 35,5% (1999) to 40,4% (2000). The majority of victims are young males.Item Mediação do professor na aquisição e produção colaborativa do conhecimento na Web(2008-12) Ferreira, Deller James; Santos, Gilberto Lacerda dosThe objective of this work is an investigation of explanations, reflections, conflict resolutions, as well other cognitive and interactive aspects that emerge during the joint knowledge acquisition and production in the collaborative learning via Web. This effort is directed to assist the teacher in his docent mediation of the interaction processes among students. The contribution of this work is the delimitation of three distinct types of educational situations, which possesses particularities that directly influentiates the teacher mediation processes. The student is seen as an intentional actor, having a preference set, searching acceptable ways to accomplish his goal, more or less conscious about the available degree of the control of the situational elements where he is, conscious of the estructural demanding that limitates his possibilities of action, acting in function of a limited information, and immerse in a situation of uncertainty.Item Avaliação do preenchimento das declarações de óbito por acidentes de trânsito, Goiânia, 2002(2008-12) Carvalho, Gélcio Sisteroli de; Albuquerque, Eduardo Simões deDeaths in traffic accidents are becoming very high compared to general mortality. Despite this epidemiological reality, death certificates, are not filled in correctly by doctors. This work analyses the quality of the death certificates of traffic accidents in Goiânia.Item Avaliação das interações na aprendizagem colaborativa criativa via Web(2008-12) Ferreira, Deller James; Santos, Gilberto Lacerda dosThe interactivity in collaborative learning in Web is a vast object of study in recent research in education. Many authors have inspected transcriptions of online discussions with the aim to investigate the collaborative knowledge construction via Web. However, there are few researches that address the collaborative knowledge building in solving problem that evokes the innovation and that is directed to the search of a creative solution. In this work is proposed a method to the analysis of interactive processes in function of innovation, creativity, and knowledge production, contemplating the speech acts theory.Item Scaffolding online discourse in collaborative Ill - structured problem-solving for innovation(2009) Ferreira, Daller James; Santos, Gilberto Lacerda dosItem WebSat - a web software for microsatellite marker development(2009) Martins, Wellington Santos; Lucas, Divino César Soares; Neves, Kelligton Fabricio de Souza; Bertioli, David JohnSimple sequence repeats (SSR), also known as microsatellites, have been extensively used as molecular markers due to their abundance and high degree of polymorphism. We have developed a simple to use web software, called WebSat, for microsatellite molecular marker prediction and development. WebSat is accessible through the Internet, requiring no program installation. Although a web solution, it makes use of Ajax techniques, providing a rich, responsive user interface. WebSat allows the submission of sequences, visualization of microsatellites and the design of primers suitable for their amplification. The program allows full control of parameters and the easy export of the resulting data, thus facilitating the development of microsatellite markers.