A framework for efficient model transformations

The reported productivity gains while using models and model transformations to develop entire systems, after almost a decade of experience applying model-driven approaches for system development, are already undeniable benefits of this approach. However, the slowness of higher-level, rule based model transformation languages hinders the applicability of this approach to industrial scales. Lower-level, and efficient, languages can be used but productivity and easy maintenance seize to exist. The abstraction penalty problem is not new, it also exists for high-level, object oriented languages but everyone is using them now. Why is not everyone using rule based model transformation languages then? In this thesis, we propose a framework, comprised of a language and its respective environment, designed to tackle the most performance critical operation of high-level model transformation languages: the pattern matching. This framework shows that it is possible to mitigate the performance penalty while still using high-level model transformation languages

ESTAR - NDO AS A GENERIC / Estar - NDO como um genérico

Neste artigo, defendo que as perífrases formadas por estar - ndo do PB são semánticamente habituais (generalizações sobre situações) e também que o valor progressivo que lhe foi atribuído é de natureza pragmática. À primeira vista, isso parece ser o contrário do que dizem as abordagens que seguiram Dowty (1979). Nessas abordagens, o valor progressivo é um fenômeno semântico do qual o habitual é um subproduto pragmático. No entanto, mostro que pode haver harmonia entre essas duas posições, mas que a hipótese da habitualidade como valor semântico lida tanto com os fenômenos do be - ing do inglês, que motivaram Dowty (1979), quanto problemas de estar-ndo que a referida linha de análise não consegue capturar

Processing of thermo-structural carbon-fiber reinforced carbon composites

The present work describes the processes used to obtain thermostructural Carbon/Carbon composites. The processing of these materials begins with the definition of the architecture of the carbon fiber reinforcement, in the form of stacked plies or in the form of fabrics or multidirectional reinforcement. Incorporating fiber reinforcement into the carbon matrix, by filling the voids and interstices, leads to the densification of the material and a continuous increase in density. There are two principal processing routes for obtaining these materials: liquid phase processing and gas phase processing. In both cases, thermal processes lead to the formation of a carbon matrix with specific properties related to their precursor. These processes also differ in terms of yield. With liquid phase impregnation the yield is around 45 per cent, while gas phase processing yields around 15 per cent

Hydrodynamic limit for a particle system with degenerate rates

We study the hydrodynamic limit for some conservative particle systems with degenerate rates, namely with nearest neighbor exchange rates which vanish for certain configurations. These models belong to the class of kinetically constrained lattice gases (KCLG) which have been introduced and intensively studied in physical literature as simple models for the liquid/glass transition. Due to the degeneracy of rates there exist blocked configurations which do not evolve under the dynamics and in general the hyperplanes of configurations with a fixed number of particles can be decomposed into different irreducible sets. As a consequence, both the Entropy and Relative Entropy method cannot be straightforwardly applied to prove the hydrodynamic limit of KCLG. In particular, some care should be put when proving the One and Two-block Lemmas which guarantee local convergence to equilibrium. We show that, for initial profiles smooth enough and bounded away from zero and one, the macroscopic density profile for our KCLG evolves under the diffusive time scaling according to the porous medium equation. Then we prove the same result for more general profiles for a slightly perturbed dynamics obtained by adding jumps of the Symmetric Simple Exclusion. The role of the latter is to remove the degeneracy of rates and at the same time they are properly slowed down in order not to change the macroscopic behavior. The equilibrium fluctuations and the magnitude of the spectral gap for this perturbed model are also obtained

Tratamento de efluentes por processos naturais

O presente trabalho tem por objectivo abordar de uma forma sumária os sistemas de tratamento de águas residuais com base em processos naturais. É referida ainda a importância destas tecnologias na garantia da qualidade das descargas de águas residuais em pequenos aglomerados populacionais

Formação de professores para educação superior nas engenharias : potencialidades inovadoras

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Educação, Programa de Pós-Graduação em Educação Modalidade Profissional, 2020.Esta pesquisa descreve um olhar no cenário de inovação no ensino superior: percepções didático- pedagógicas no ensino de engenharias nas universidades públicas brasileiras. Partindo do seguinte problema: quais práticas pedagógicas utilizadas pelos docentes podem ser consideradas inovadoras no contexto de cursos de engenharias no ensino superior público brasileiro? Para responder a esta questão, utilizamos o método de pesquisa exploratória com enfoque qualitativo, tendo como apoio as análises obtidas por meio de uma revisão bibliográfica e o levantamento de dados resultado de visitas técnicas em que utilizamos métodos variados para a coleta de dados, sempre pautados por análises críticas e reflexivas do objeto de estudo. O objetivo geral foi identificar a existência ou a ausência de processos de inovação pedagógica em cursos de engenharia no ensino superior público no Brasil com destaque para a formação do professor de engenharia na educação superior e sua prática docente em universidades públicas brasileiras. Como suporte técnico para coleta de dados utilizamos o questionário que foi aplicado, no formato on-line, aos professores de curso de variadas engenharias das cinco instituições participantes. Na primeira etapa, da amostra de conveniência das universidades de diferentes regiões brasileiras, levantamos dados iniciais sobre as suas práticas no cotidiano da docência. Em uma segunda etapa, aplicamos a técnica de entrevista formatada no modelo de roteiro semiestruturado que possibilitou identificar com detalhes a percepção dos professores selecionados, também em uma amostra de conveniência, frente à temática das potencialidades inovadoras que são utilizadas pelos professores em sua atuação em cursos de engenharia. Para a análise crítica e reflexiva dos dados, dialogamos com alguns teóricos que versam a respeito do tema dando destaque aos principais: Carbonell (2016), Imbernón (2016), Kenski (2012), Masetto (2012), Pacheco (2019) e outros. Em uma terceira etapa, identificamos os desafios e os percursos sobre a inovação vivenciados pelos professores de engenharias nas universidades públicas brasileiras por meio dos relatos das experiências nos variados cursos de bacharelado em engenharia contemplados pela coleta de dados no ensino superior público no Brasil. Como resultado da análise de dados e o posicionamento crítico no trabalho, desenvolvemos como produto a criação de um núcleo de inovação pedagógica na estrutura do atual ecossistema de inovação da UnB. E ainda, como desfecho dos resultados, um recorte do cenário de potencialidades inovadoras no ensino e aprendizagem nas engenharias, identificamos os desafios enfrentado pelos professores quanto ao uso de tecnologia e à falta de um investimento maior para que fossem disponibilizados recursos para amenizar tal situação, evidenciamos a necessidade de aprimoramento do programa de formação continuada para os professores. Constatamos a necessidade de melhoramento da infraestrutura das salas de aula, bem como um maior investimento nas pesquisas que precisam de insumos e pessoal para serem realizadas. Descobrimos que os professores aprendem melhor com os outros professores e que a prática do compartilhamento de experiências é o melhor instrumento de ação no cenário da educação superior nas engenharias e em geral, haja vista que as universidades precisam assumir um compromisso rumo às inovações pedagógicas.This research describes a perspective at the scenario of innovation in higher education: didactic- pedagogical perceptions in engineering teaching in Brazilian public universities. Which pedagogical practices held by the professors can be considered innovative in the context of engineering courses in Brazilian public higher education? To answer this question, we used the exploratory research method with a qualitative focus, supporting in the analyses a bibliographic review and data collection through technical visits with the use of several methods for data collection, always guided by critical and reflective analyses of the object of study. The general objective is to identify the existence or absence of pedagogical innovation processes in engineering courses in public higher education in Brazil. The focus is on the training of the engineering professor in higher education and his or her teaching practice in Brazilian public universities. Based on the use of the data collection technique questionnaire that was applied in the online format to the professors of different engineering courses of the five institutions participating in the convenience sample of universities located in different Brazilian regions, initial data were collected about their practices in the daily teaching. In a second stage, the interview technique formatted in the semi-structured script model was applied, which made it possible to identify in detail the perception of the selected professor also in a convenience sample regarding the theme of innovative potentialities adopted by the professors in their performance in engineering courses. For critical and reflexive analysis of the data, we dialogued with some theorists who deal with the theme, highlighting Carbonell (2016), Imbernón (2016), Kenski (2012), Masetto (2012), Pacheco (2019) and others. We identified the challenges and paths on innovation experienced by engineering professors in Brazilian public universities through the reports of experiences in different bachelor's degrees in engineering courses considered by data collection in public higher education in Brazil. Summing up the data analysis and critical positioning of this research, the creation of a pedagogical innovation centre in the structure of the current innovation ecosystem of the University of Brasilia is developed as a product. And also, as an outcome of the results, a clipping of the scenario of innovative potentialities in teaching and learning in engineering, we identified challenges faced by the professors concerning the use of technology and the lack of a greater investment to make resources available, we highlight the need to improve the continuing education program for professors. It was verified the need to improve the infrastructure of the classrooms, as well as a greater investment in research that needs inputs and personnel to be carried out. We assumed that professors learn better from other professors and it means the practice of sharing experiences is the best instrument of action in the scenario of higher education in engineering and in general, as universities need to make a commitment towards pedagogical innovations

O simples nacional e os princípios constitucionais: um estudo acerca da validade e da conveniência da LC n. 123/2006

Esta dissertação objetiva analisar o Simples Nacional e os princípios constitucionais abalados com sua implantação, apoiando-se em estudo descritivo e experimental. Para tanto, baseia-se em pesquisas bibliográfica, documental e experimental. O microssistema tributário do Super Simples, corporificado normativamente na Lei Complementar Federal n. 123/2006 e consolidado mediante política pública de minoração e simplificação tributária, trabalhista, previdenciária, creditícia e processual, destinada à Microempresa e à Empresa de Pequeno Porte, tem sede e substrato constitucional, posto fundar-se no art. 146, III, “d”, e parágrafo único, bem assim nos arts. 170, IX e 179, todos do Magno Texto. No primeiro capítulo introdutório, fez-se análise de como se processa o conhecimento jurídico para demarcar o referencial teórico-metodológico e fincar as âncoras conclusivas. No segundo capítulo, o estudo circunscreveu-se em demonstrar a origem constitucional das políticas públicas de fomento às microempresas e empresas de pequeno porte, evidenciando a sua decorrência dos direitos de segunda dimensão, os quais exigem uma postura positiva, prestacional do poder estatal em face da sociedade, bem como traçar as principais características do programa do Simples Nacional. No terceiro capítulo, fez-se um estudo descritivo das ações interpostas no Supremo Tribunal Federal, tanto em sede de controle difuso como no concentrado de constitucionalidade, registrando as inquietações jurídicas suscitadas. No quarto capítulo, discutiramse os princípios constitucionais questionados nas ações interpeladas na Suprema Corte por haverem sido vulnerados em sua densidade axiológica normativa com a implantação do Supersimples. Por fim, o quinto capítulo, ocupou-se em analisar o desempenho socioeconômico da sistemática de tributação do Super Simples, através do levantamento da arrecadação dos tributos abarcados por esse regime, do quantitativo de contribuintes optantes desse sistema simplificado e de minoração tributária, antes e depois de sua implantação

O Novo Código Civil Brasileiro

Artigo de opinião