Prosoft é um grupo de pesquisa do Instituto de Informática da UFRGS, desenvolvido pelo grupo de pesquisa homônimo e coordenado pelo Professor Daltro José Nunes. O objetivo do projeto é desenvolver um ambiente de desenvolvimento de software completo, o Ambiente Prosoft, que é baseado nos conceitos de Modelos, Cálculo Lambda, Tipos Abstratos de Dados e Orientação a Objetos. Um dos componentes do Ambiente Prosoft é sua linguagem de especificação algébrica: o Prosoft Algébrico. Apesar de ser base e tema de diversos trabalhos no grupo de pesquisa Prosoft, o Prosoft Algébrico não tem sua semântica devidamente definida. Os trabalhos desenvolvidos até agora foram baseados em noções operacionais, e apresentam diferentes interpretações do Prosoft Algébrico. Esta dissertação apresenta uma especificação de semântica denotacional para o Prosoft Algébrico, compreendendo, entre outras características, sua primitiva de comunicação entre tipos de dados, chamada ICS, e sua notação gráfica para representação de instanciação de tipos abstratos de dados. Essa dissertação apresenta também um estudo sobre prototipação semântica usando a linguagem de programação Haskell. O conceito de Literate Programming e a proximidade entre Cálculo Lambda e Haskell foram cruciais no rápido desenvolvimento de uma implementação protótipo do Prosoft Algébrico, baseada na sua semântica especificada. As principais contribuições dessa dissertação incluem: uma interpretação precisa e sem ambiguidades do Prosoft Algébrico, através da especificação da sua semântica; a definição de semântica para a ICS, um conceito único (até o limite do nosso conhecimento) que fornece um mecanismo de passagem de mensagens entre tipos de dados algébricos; uma implementação protótipo do Prosoft Algébrico, que pode realmente ser utilizada para experimentar e testar a definição da linguagem e a especificação da semântica do Prosoft Algébrico; resultados sobre prototipação semântica de especificações tanto de semântica denotacional quanto de semântica operacional usando a linguagem de programação Haskell para desenvolvimento rápido de protótipos de linguagens baseados na sua semântica. Como grande parte do desenvolvimento do Ambiente Prosoft é realizado através de projetos de cooperação internacional e essa dissertação irá influenciar fortemente o seu desenvolvimento futuro, o texto foi escrito em inglês para facilitar a troca de informação entre o grupo Prosoft e seus parceiros estrangeiros. / Prosoft is a research project at Instituto de Informática da UFRGS, developed by the research group with the same name and coordinated by Professor Daltro José Nunes. The project’s goal is to develop a full software development environment, the Prosoft Environment, based on the concepts of Models, Lambda Calculus, Abstract Data Types and Object orientation. One of the components of the Prosoft Environment is its algebraic specification language: Algebraic Prosoft. Although being the basis and theme of several works in the Prosoft research group, Algebraic Prosoft doesn’t have its semantics properly defined. Works done up to now were based on operational notions and presented different interpretations of Algebraic Prosoft. This thesis presents a denotational semantics specification for Algebraic Prosoft, comprising, among other features, its “inter-data type” communication primitive, called ICS, and its graphical notation for representing instantiations of abstract data types. This thesis also presents a study of semantic prototyping using the Haskell programming language. The concept of Literate Programing and the proximity between lambda calculus and Haskell were crucial to the rapid development of a prototype implementation of Algebraic Prosoft, based on its specified semantics. This thesis’ main contributions include: a precise and unambiguous interpretation of Algebraic Prosoft, through a semantics specification; the definition of semantics to the ICS, a unique (to the best of our knowledge) concept that provides a messagepassing mechanism between algebraic data types; a prototype implementation of Algebraic Prosoft, which can actually be used to experiment and test the Algebraic Prosoft language definition and semantics specification; results regarding semantics prototyping of both denotational and operational semantics specifications using the Haskell programming language for rapid development of semantics-based prototypes of languages. Since a large portion of Prosoft Environment’s development is done through international cooperation projects and this thesis will strongly influence its future development, the text was written in English in order to facilitate the information exchange between the Prosoft research group and its foreign partners.

Orientador: Luiz César Martini / Dissertação (mestrado) Universidade Estadual de Campinas, Faculdade de Egenharia Elétrica e de Computação / Made available in DSpace on 2018-08-16T11:03:53Z (GMT). No. of bitstreams: 1 PradaSanmiguel_JulianMauricio_M.pdf: 2046023 bytes, checksum: 428745119cf4df222965e308409fc621 (MD5) Previous issue date: 2010 / Resumo: A falta de recursos computacionais com aplicativos matemáticos voltados para deficientes visuais e outros tem impedido que os deficientes estudem e desenvolvam trabalhos nas áreas das ciências exatas. Este tema de tese visa basicamente ao desenvolvimento de uma calculadora científica programável que é ativada no próprio editor de textos de um programa gratuito conhecido por DOSVOX, disponível especificamente para uso dos portadores de necessidades especiais. A calculadora foi desenvolvida de tal forma que permite ao usuário criar algoritmos e cálculos matemáticos desde o editor de textos (EDIVOX), o qual permite aproveitar os recursos de sínteses de fala com os que este conta, o que a sua vez facilita enormemente o processo de criação, manipulação e execução destes / Abstract: The lack of computational resources with mathematical applications designed for the visually impaired and others has prevented them to study and develop work in the fields of exact sciences. This thesis topic points essentially to the development of a scientific programmable calculator which is activated from the text editor of a free program known as DOSVOX available specifically for use by persons with special needs. The calculator was developed in a way that allows users to create algorithms and mathematical calculations from a text editor (EDIVOX), which allows the calculator using speech synthesis resources it possesses, which in turn greatly facilitates the process creation, manipulation and implementation of these / Mestrado / Telematica / Mestre em Engenharia Elétrica

Orientador: Ivanil Sebastião Bonatti / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-05T17:46:41Z (GMT). No. of bitstreams: 1 Paula_RogerSouzade_M.pdf: 2003604 bytes, checksum: 7ccd5b2689086b74bf7073670abe3138 (MD5) Previous issue date: 2006 / Resumo: Uma rede ad hoc é uma coleção de estações móveis sem ?o formando dinamicamente uma rede temporária sem necessidade de qualquer infra-estrutura de rede pré-existente ou administração centralizada. Protocolos de roteamento utilizados em redes ad hoc sem ?o devem ser capazes de se ajustarem automaticamente a ambientes extremos, como os de alta mobilidade e baixa largura de banda. Assim, avanços recentes em pesquisas sobre redes sem ?o concentram-se cada vez mais na adaptação de tais protocolos, diante da inter-relação entre as várias medidas de desempenho, como aquelas relacionadas às alterações na topologia (quebra de enlaces, mobilidade dos nós etc.) e aos parâmetros de qualidade de serviço (vazão, atraso etc.). Esta tese trata da modelagem e simulação de redes ad hoc sem ?o, contribuindo de forma signi?cativa nas áreas de modelo matemático, avaliação de desempenho e especi?cação de protocolos. Na primeira, é proposta uma nova estratégia que seleciona a rota de menor colisão dentre os mínimos caminhos existentes entre duas estações da rede. Na segunda área, sendo a de maior contribuição, uma análise de desempenho detalhada é realizada entre o protocolo de roteamento proposto nesta tese, Minimal Congestion On-Demand Routing (MCOR), e o Dynamic Source Routing (DSR), um protocolo de referência da literatura. Por ?m, é apresentado um modelo de validação do protocolo proposto através da ferramenta de especi?cação e validação, Speci?cation and Description Language (SDL) / Abstract: An ad hoc network is a collection of wireless mobile nodes forming dynamically a temporary network without the use of any preexisting network infrastructure or centralized administration. Routing protocols used in wireless ad hoc networks must be capable to adjust automatically to extreme environments, as high mobility and low bandwidth. Hence, recent avances in wireless research focus more and more on the adaptation of such protocols, due to the interrelationship among various performance measures, like as those related to topological changes (link breakages, node mobility etc.) and quality of service parameters (throughput, delay etc.). This thesis argues the modelling and simulation of wireless ad hoc networks, contributing signi?cantly on areas of mathematical model, performance evaluation and protocols speci?cation. First, is proposed a new strategy that selects the route of minimal collision, among all minimum hop paths between two stations. Second, being the area of major contribution, a detailed performance analysis is executed between the routing protocol proposed in this thesis, Minimal Congestion On-Demand Routing (MCOR), and the Dynamic Source Routing (DSR), a reference protocol in the literature. Lastly, is presented a validation model of the proposed protocol through validation and speci?cation tool, Speci?cation and Description Language (SDL / Mestrado / Telecomunicações e Telemática / Mestre em Engenharia Elétrica

Made available in DSpace on 2016-03-15T19:38:16Z (GMT). No. of bitstreams: 1 Guilherme Barbosa Ratola.pdf: 3591408 bytes, checksum: b662d7a7502b7acdc8da651cb636cb76 (MD5) Previous issue date: 2010-03-09 / Fundo Mackenzie de Pesquisa / The learning of computer programming is fundamental in the formation of a computing professional. However, its learning is difficult and longlife, considering that every day new languages and environments appear in the labor market. In the Computer Science courses, many students have difficulties programming, the activity requires the learning of complex concepts. The development of computational environments to support the learning of programming is of great value in this scenario, which involves students, teachers and professionals. Many researches and studies have been developed and they provide important contributions in the construction of learning computing environments. This dissertation proposes the development of a tool to support the process of teaching and learning of programming to students, prioritizing interdisciplinary, with an approach based on the Method of Learning by Competence. It presents also a mechanism of Concept Pyramid as an alternative to the planning of learning for a student. To support teaching of computer programming, the tool, presented in this work, uses the Java programming language, motivated by the high demand for use in undergraduate courses. The students are classified by their prior knowledge of each concept and it is expected that from this information and the measure of the student s Conceptual Gap regarding Conceptual Pyramid of a concept is possible to develop a learning plan for each student. It is expected that the use of this tool, helping the process of teaching and learning in the classroom, contribute to make the representation of concepts, exercises and skills related to each discipline from an appropriate course. / O aprendizado de programação de computadores é fundamental na formação de um profissional de computação. No entanto, esta atividade é de aprendizagem difícil, contínua e permanente, uma vez que a cada dia novas linguagens e ambientes surgem no mercado de trabalho. Nos cursos da área de computação, muitos estudantes apresentam dificuldades para aprender a programar, pois a atividade requer alto nível de competência e o aprendizado e domínio de conceitos complexos. O desenvolvimento de ambientes computacionais que apóiem a aprendizagem de programação é de grande valia nesse cenário, que envolve estudantes, professores e profissionais. Muitas pesquisas e trabalhos têm sido desenvolvidos nessa área, na medida em que fornecem contribuições importantes na construção de ambientes computacionais. Este trabalho apresenta uma ferramenta de suporte ao processo de ensinoaprendizagem de programação a alunos de graduação, priorizando a interdisciplinaridade, com uma abordagem baseada no método de aprendizagem por competências. Apresenta-se aqui também o mecanismo de Pirâmide Conceitual como uma alternativa ao planejamento de aprendizagem para o aluno. Como suporte ao ensino de programação, este trabalho utiliza a linguagem de programação Java, motivado pela alta demanda de utilização nos cursos superiores. Os estudantes são classificados por seus conhecimentos prévios em cada um dos conceitos e é esperado que a partir dessas informações e com a medida do Conceptual Gap com relação a Pirâmide Conceitual de determinado conceito seja possível desenvolver um plano de aprendizagem para esse aluno. Espera-se que a utilização desta ferramenta, auxiliando o processo de aprendizagem, contribua no sentido de tornar a representação de conceitos, exercícios e competências relacionados às disciplinas de um curso de Computação adequada.

Submitted by Simone Maisonave (simonemaisonave@hotmail.com) on 2016-08-25T15:24:29Z No. of bitstreams: 3 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Samantha Pinto da Silva_Dissertacao.pdf: 56289419 bytes, checksum: 62706bcba58770b81d3112a1917cb344 (MD5) Samantha Pinto da Silva_Produto da Dissertacao.pdf: 907566 bytes, checksum: 4b0014bf6eae7280cbadb421cf678398 (MD5) / Approved for entry into archive by Aline Batista (alinehb.ufpel@gmail.com) on 2016-08-25T16:55:46Z (GMT) No. of bitstreams: 3 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Samantha Pinto da Silva_Dissertacao.pdf: 56289419 bytes, checksum: 62706bcba58770b81d3112a1917cb344 (MD5) Samantha Pinto da Silva_Produto da Dissertacao.pdf: 907566 bytes, checksum: 4b0014bf6eae7280cbadb421cf678398 (MD5) / Made available in DSpace on 2016-08-25T16:55:46Z (GMT). No. of bitstreams: 3 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Samantha Pinto da Silva_Dissertacao.pdf: 56289419 bytes, checksum: 62706bcba58770b81d3112a1917cb344 (MD5) Samantha Pinto da Silva_Produto da Dissertacao.pdf: 907566 bytes, checksum: 4b0014bf6eae7280cbadb421cf678398 (MD5) Previous issue date: 2016-04-15 / Sem bolsa / Esta pesquisa tem como foco investigar como o uso da lógica de programação, mediada pela linguagem de programação Scratch, potencializa o ensino de Matemática quanto à resolução de problemas. Baseada em uma perspectiva sócioconstrutivista de mediação e colaboração, e na concepção de que o estudante de hoje é nativo no mundo digital, ambientado e interessado pelo uso desse tipo de tecnologia, realizou-se um estudo de caso com alunos do terceiro ano do Ensino Médio de uma escola pública estadual situada no município de Pelotas/RS. A coleta de dados aconteceu por meio de questionários mistos, teste de conhecimento e experimentações com o Scratch. Observou-se que a lógica de programação para a resolução de problemas e as atividades em grupo na criação de algoritmos, proporcionaram aulas mais dinâmicas e motivadoras à aprendizagem, nas quais os alunos demonstraram-se satisfeitos em aprender Matemática via Scratch. Além disso, percebeu-se que essa abordagem pode contribuir para o desenvolvimento de competências e habilidades necessárias à formação do estudante desta etapa escolar, desde que sua consolidação se dê em etapas anteriores. / This research investigate show the use of programming logic, through the programming language Scratch, optimizes the mathematics teaching process in terms of problems solving. Based on a socio-constructivist perspective of mediation and collaboration, it was conducted a case study with students of the last year of a state high school localized in the city of Pelotas/RS. This study takes into account the assumption that nowadays students are native in the digital world, accustomed and interested for this kind of technology. Data collection was made through mixed questionnaires, knowledge tests, and experiments with the Scratch. It was observed that the logic programming for the problems solving in addition to the group activity in the algorithms development allowed more dynamic and motivating classes. As result, students demonstrated being satisfied to learn mathematic through Scratch. Moreover, it was noted that this approach may contributes for the development of required skills in the training student process, if its consolidation be given in previous series.

Over the last three decades, computer architects have been able to achieve an increase in performance for single processors by, e.g., increasing clock speed, introducing cache memories and using instruction level parallelism. However, because of power consumption and heat dissipation constraints, this trend is going to cease. In recent times, hardware engineers have instead moved to new chip architectures with multiple processor cores on a single chip. With multi-core processors, applications can complete more total work than with one core alone. To take advantage of multi-core processors, we have to develop parallel applications that assign tasks to different cores. On each core, pipeline, data and task parallelization can be used to achieve higher performance. Dataflow programming languages are attractive for achieving parallelism because of their high-level, machine-independent, implicitly parallel notation and because of their fine-grain parallelism. These features are essential for obtaining effective, scalable utilization of multi-core processors. In this thesis work we have parallelized an existing audio codec - Adaptive Multi-Rate Wide Band (AMR-WB) - written in the C language for single core processor. The target platform is a multi-core AMR11 MP developer board. The final result of the efforts is a working AMR-WB encoder implemented in CAL and running in the OpenDF simulator. The C specification of the AMR-WB encoder was analysed with respect to dataflow and parallelism. The final implementation was developed in the CAL Actor Language, with the goal of exposing available parallelism - different dataflows - as well as removing unwanted data dependencies. Our thesis work discusses mapping techniques and guidelines that we followed and which can be used in any future work regarding mapping C based applications to CAL. We also propose solutions for some specific dependencies that were revealed in the AMR-WB encoder analysis and suggest further investigation of possible modifications to the encoder to enable more efficient implementation on a multi-core target system.

The thesis focuses on advanced programming constructs and techniques of the Swift programming language. At the beginning programming paradigms that are supported by the Swift design (object-oriented and functional) are introduced. Concepts of each paradigm are described and Swift is then evaluated by the level of support for these paradigms. Following programming constructs are described in-depth: working with variables, optional types, enumerated types, functions and closures. Creating of custom operators and subscripts. Operations with protocols, generic types and parallel program execution. Error handling with throwing functions. Detailed explanation of value types and their differences from reference type is given too. Thesis also explains nested types and all higher-order functions in Swift. At the end are described extensions; specifically extension of computed property, initialization function, function, subscript, nested type and protocol and generic types extensions. In the last section of the thesis these advanced programming techniques are described; function chaining and composition, structure saving, performance optimization of value types, reflection in the Swift programming language and how modules and namespaces work. At the end protocol-oriented programming is introduced.

This diploma thesis is focused on the automatization of digitization workflow in the National Library of Technology, Prague, Czech Republic. This thesis examines possibilities of digitization processes automatization by means of scripts written in Perl programming language and Apache Ant build tool. The advantages and disadvantages of both solutions are analyzed as well as their suitability for automatization of digitization workflow. Based on the comparison of both solutions, the scripts in Perl programming language are selected as the most suitable solution for automatization of digitization workflow. The question whether Ant build tool could be used for the purpose of automatization of digitization workflow is also answered in this thesis. The Ant build tool could be used for the above-mentioned purpose. However, once the activities in the given process divert from the general scope of tasks provided by the Ant build tool, the complexity of the whole solution increases rapidly. This complexity is given by the necessity to use predefined tasks -- sets of functions which have to be combined to create a functional automatization script. Even though Ant is an extendable tool, it is necessary to understand the Java programming language in order to create a new Ant task successfully. On the other hand, the Perl programming language allows easier customization of the script for the purposes of automatization of digitization workflow. Also, the modularity of the Perl programming language makes it easier to create those scripts and modify, correct or develop them even further.

This thesis deals with solutions of nonlinear regression problems using R programming language. The introductory theoretical part is devoted to familiarization with the principles of solving nonlinear regression models and of their applications in the program R. In both, theoretical and practical part, the most famous and used differentiator algorithms are presented, particularly the Gauss-Newton's and of the steepest descent method, for estimating the parameters of nonlinear regression. Further, in the practical part, there are some demo solutions of particular tasks using nonlinear regression methods. Overall, a large number of graphs processed by the author is used in this thesis for better comprehension.

The concept of translating source code into other target programming languages is extensively used in a wide area of applications. Danfoss Power Solutions AB, a company located in Älmhult, strives to streamline their way of software development for microcontrollers by implementing this idea. Their proprietary software tool PLUS+1 GUIDE is based on the CAN bus communication network, which allows electronic control units to share data represented in the XML format. Due to compatibility problems, the application in the electronic control units requires this data to be translated into the source code in the low-level C programming language. This thesis project proposes an approach for facilitating this task by implementing a source-to-source compiler that performs the translation with a reduced level of manual user involvement. A literature review was conducted in order to find the existing solutions relevant to our project task. An analysis of the provided XML input files was thereafter performed to clarify a software design suitable for the problem. By using a general XML parser, a solution was then constructed. The implementation resulted in a fully functional source-to-source compiler, producing the generated C code within a time range of 73–85 milliseconds for the input test files of typical size. The feedback received from the domain experts at Danfoss confirms the usability of the proposed solution.