SMT-Based Bounded Model Checking of Fixed-Point Digital Controllers

Digital controllers have several advantages with respect to their flexibility and design's simplicity. However, they are subject to problems that are not faced by analog controllers. In particular, these problems are related to the finite word-length implementation that might lead to overflows, limit cycles, and time constraints in fixed-point processors. This paper proposes a new method to detect design's errors in digital controllers using a state-of-the art bounded model checker based on satisfiability modulo theories. The experiments with digital controllers for a ball and beam plant demonstrate that the proposed method can be very effective in finding errors in digital controllers than other existing approaches based on traditional simulations tools

The use of ultrasonic echo pulse velocity as an NDT method to predict the concrete strength and uniformity

The ultrasonic approach is one of the non-destructive testing methods that most technologically progressed in past few years. This study aims to validate the accuracy and capabilities of this method in the mechanical characterization of concrete elements, by using an ultrasonic tomography equipment based in echo pulse velocity (S-waves). The elastic modulus and compressive strength of concrete are estimated from the echo pulse velocity. Furthermore, the uniformity of concrete elements is evaluated. The concrete compression strength prediction was performed on cubic specimens and the reached accuracy was over 91% using the analytical approach proposed on this study. The correlation coefficient between the pulse echo velocity and the uniaxial compression strength found in this study was over 97%. Thus, the use of the ultrasonic NDT to evaluate the uniformity of concrete elements proved to be efficient.info:eu-repo/semantics/publishedVersio

Symmetry breaking, Josephson oscillation and self-trapping in a self-bound three-dimensional quantum ball

We study spontaneous symmetry breaking (SSB), Josephson oscillation, and self-trapping in a stable, mobile, three-dimensional matter-wave spherical quantum ball self-bound by attractive two-body and repulsive three-body interactions. The SSB is realized by a parity-symmetric (a) one-dimensional (1D) double-well potential and (b) a 1D Gaussian potential, both along the $z$ axis and no potential along the $x$ and $y$ axes. In the presence of each of these potentials, the symmetric ground state dynamically evolves into a doubly-degenerate SSB ground state. If the SSB ground state in the double well, predominantly located in the first well ($z>0$), is given a small displacement, the quantum ball oscillates with a self-trapping in the first well. For a medium displacement one encounters an asymmetric Josephson oscillation. The asymmetric oscillation is a consequence of SSB. The study is performed by a variational and numerical solution of a non-linear mean-field model with 1D parity-symmetric perturbations

Administração pública municipal e conselhos sociais: facilidades e ameaças à missão dos Conselhos Municipais dos Direitos da Criança e do Adolescente em Santa Catarina /

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Sócio-Econômico.Identificação e análise dos fatores institucionais influenciadores da missão dos Conselhos Municipais dos Direitos da Criança e do Adolescente - CMDCA, órgãos formuladores de políticas e controladores e articuladores de ações. Estuda aspectos relativos a mudança na Administração Pública Brasileira e o reordenamento institucional determinado pelo Estatuto da Criança e do Adolescente (Lei Federal nº 8.069/90). Propõe algumas medidas para melhorar o nível de aceitação dos Conselhos Municipais dos Direitos da Criança e do Adolescente pela Administração Pública Municipal. Conclui que o processo de implementação do Estatuto da Criança e do Adolescente e dos Conselhos Municipais encontra-se em fase de aceitação pela Administração Pública Municipal

Parentesco e identidade social

A literatura sobre família no Brasil tem se caracterizado por uma perspectiva substanciálista que não se preocupa com uma investigação da família enquanto instituição contida num sistema de relações, num sistema de parentesco. Desde Gilberto Freire (1977, 1977a) a família patriarcal tornou- se referência obrigatória seja enquanto realidade, seja enquanto modelo a criticar-se. Conjuntamente com o modelo da família patriarcal firmou-se uma tendência de estudos sobre a família brasileira ou sobre os diferentes tipos de famílias brasileiras que não coloca como questão relevante a definição de um sistema de parentesco. Deste modo, a família, ou as famílias, é definida substantivamente, isto é, por qualidades como a propriedade territorial, a propriedade industrial, a pequena propriedade. Em outro plano: pela característica patriarcal, isto é, pelo poder de páter-famílias percebido como substância definidora da família ou pela ausência da característica patriarcal. Outras características como o tamanho da família, o número médio dos filhos, o tamanho da unidade residencial etc. .. são tomadas como dados relevantes para a caracterização da família. Esta tendência é marcante tanto nos autores defensores da validade do modelo da família patriarcal como nos críticos deste modelo. (Cf. Ramos, 1978;Cándido, 1951, Willems, 1954; Freire, 1977a, 1977b)

Educação e Crescimento: O que a Evidência Empírica e Teórica Mostra?

O presente trabalho resenha a literatura sobre o efeito da educação na economia nas suas diversas dimensões. A segunda seção aborda as diferentes motivações que estimularam o estudo da economia da educação e apresenta o debate com dados microeconômicos sobre o retorno da educação. Nossa leitura da literatura é que a maior parte do retorno privado da educação está associada à melhora da produtividade do trabalhador e não a sinalização. A seção termina com apresentação dos retornos sociais da educação não mediados pelo mercado de trabalho, como, por exemplo, impactos sobre a criminalidade. A terceira seção discute o efeito da educação sobre o crescimento econômico. Divide-se em três subseções. Na primeira reportam-se os diversos modelos desenvolvidos para explicar o crescimento econômico. A segunda subseção resenha a literatura que testa como a educação é incorporada aos modelos de crescimento e o seu impacto sobre o crescimento. A literatura recente que estuda o impacto sobre o crescimento da qualidade da educação finaliza a terceira seção. Segue a quarta seção que apresenta a literatura que investiga o impacto da qualidade da política pública sobre a qualidade da educação e a quinta seção conclui o trabalho com algumas implicações de política que podem ser extraídas da literatura investigada.

A formação de tradutores na extensão universitária: a prática da tradução literária

The extramural project “Translator education: literary translation practice” (FORTRALIT) started in 2017 at the State University of Rio de Janeiro (UERJ). It aims at promoting the practice of literary translation through two main actions: the translation of reports written by professional (literary) translators whose subject matter should be their own professional practice, and the (re)translation of literary texts. The article intends to describe the FORTRALIT Project and to briefly expose some of the activities developed in the scope of the Project. In addition, it intends to detail a task carried out in the scope of the Portuguese/English language pair by students of the Language/Literature course, and to report the views of one of the trainees. The pedagogical basis of the FORTRALIT project encompasses discussions about the training of translators as well as researchers’ views on retranslation and its use for teaching literary translation. FORTRALIT favours the teaching of translation as advocated by Hurtado Albir (2005, 2020), in other words, based on the development of (sub)translation skills and on the focus on tasks. In the context of FORTRALIT, the task of (re)translation (a “reading exercise”, “stealth retranslation” or “retranslation proper”) was chosen in these first years of activity. The task seems useful as one offering both a reflection on the “incompleteness” inherent in the translation process - by comparing various translations, for example - and a practical translation exercise followed by reflection and discussion based on a comparison with models that would be “canonical”. O projeto de extensão “Formação de Tradutores: Prática da Tradução Literária” (FORTRALIT) teve início em 2017 na Universidade do Estado do Rio de Janeiro (UERJ), buscando contemplar a experiência da tradução literária via duas ações principais: a tradução e/ou versão de relatos escritos por tradutores (literários) profissionais cujo tema deve ser a própria prática, e a retradução de textos literários. O artigo pretende apresentar o projeto FORTRALIT, expor brevemente algumas das atividades desenvolvidas no âmbito do projeto em geral, detalhar uma tarefa conduzida no âmbito do par linguístico português/inglês, por estagiários alunos do curso de Letras, habilitação Inglês/Literaturas e apresentar a visão de uma das estagiárias desta habilitação. A base pedagógica do projeto FORTRALIT engloba discussões acerca da formação de tradutores e tradutoras bem como a visão do projeto sobre a retradução e sobre seu uso para o ensino da tradução literária. O projeto foi concebido para seguir a didática da tradução tal como preconizada por Hurtado Albir (2005, 2020), isto é, partindo do desenvolvimento de (sub)competências tradutórias dos aprendizes, tendo por base o enfoque por tarefas. No âmbito do FORTRALIT foi escolhida, nesses primeiros anos de atividade, a tarefa da retradução (exercício de leitura, velada ou propriamente dita) como o instrumento capaz de oferecer ao mesmo tempo uma reflexão sobre a “incompletude” inerente ao processo tradutório - ao se comparar várias traduções, por exemplo – e um exercício prático de tradução seguido de reflexão e discussão a partir da comparação com modelos que seriam “canônicos”. Os resultados apontam para a visão de uma retradução relevante, possível entre as tantas outras possíveis.