Gestão documental da informação jurídica

Este artigo apresenta uma nova performance da gestão documental, voltada para o desenvolvimento das coleções no âmbito da informação jurídica, estabelecendo critérios de qualidade para os processos de seleção, aquisição e avaliação das informações. Para esse propósito, é feita uma avaliação das várias dimensões que permeiam a gestão documental da informação jurídica como um todo. A rapidez com que a informação jurídica se inova torna a literatura (ainda que recente) ultrapassada e obsoleta, ocasionando, assim, uma maior dificuldade das bibliotecas permanecerem com suas publicações sempre atualizadas. Por isso, é preciso que sejam elaborados mecanismos de controle e que seja efetuado um bom desenvolvimento dos serviços prestados pelas mesmas. Esses mecanismos são criados por meio da política de desenvolvimento de coleções, pois, quando bem fundamentada, assegura o bibliotecário na tomada de decisões, tanto em relação ao processo de seleção, aquisição e descarte do acervo,como na sustentação da qualidade na atualização da coleção. O processo de desenvolvimento da coleção é visto sob o viés da abordagem sistêmica das organizações.

O direito de não produzir prova contra si mesmo

blablabalbalablabala

Política de formação continuada de professores :cenários, diretrizes e práticas

Politics of Continued Formation of Tachers: settings, directives and pratices is constituted in a study from politics of continued formation of teachers materialized for the actual government. It has for purpose to analyse aspects of experience of continued formation in techers service that work at initial levels of fundamental education desenvolved in Natal through Program Management of School Learning (GESTAR) at the period from 2002 to 2005. The empiric field of study privileged the experience of formation in service developed by GESTAR in a school located at the procedures that materialized the search, we can point out: bibliographic review of literature that analyses the new demands for education in view of occurred transformations at the word setting and studies about the thematic continued formation of teachers; documentary search about the politics of continue formation of teachers and the GESTAR program from municipal net of study of Natal, four teachers and pedagogic coordinater of searched school. The study established a positive evaluation by the teachers that took part at the program in Natal and they pointed out that politics strategy of continued formation in service made possible the study of contents of Portuguese Language and Mathernatics associated to a new form for working them in the classroom, understanding of certain contents that they had difficulties before, understanding that activitus realized should have meaning for the student, favouring the understanding of subject studied. Among some limits noticed, we can point out: absence of reading of the material by the teachers, difficulty of the teachers in reconcile the diary activities wiht the individual studies at distance, no realization of a systematic following of the pedagogic practical of teachers use the exam how the only instrument of evaluation used by the teachers and difficulties of them in going on with the pedagogic proposal of GESTAR after the end of this program

Controle preditivo não linear baseado no modelo de Hammerstein com prova de estabilidade

The Predictive Controller has been receiving plenty attention in the last decades, because the need to understand, to analyze, to predict and to control real systems has been quickly growing with the technological and industrial progress. The objective of this thesis is to present a contribution for the development and implementation of Nonlinear Predictive Controllers based on Hammerstein model, as well as to its make properties evaluation. In this case, in the Nonlinear Predictive Controller development the time-step linearization method is used and a compensation term is introduced in order to improve the controller performance. The main motivation of this thesis is the study and stability guarantee for the Nonlinear Predictive Controller based on Hammerstein model. In this case, was used the concepts of sections and Popov Theorem. Simulation results with literature models shows that the proposed approaches are able to control with good performance and to guarantee the systems stability

A construção de posicionamento valorativo no cronotopo do PSV- 2008 da UFRN

Située dans le domaine de la Linguistique Appliquée (CELANI, 1998; MOITA LOPES, 2004, 2006, 2009), cette recherche documentaire fait partie d‟une approche qualitative-interprétative qui privilégie une perspective socio-historique (FREITAS, 2002, 2007; ROJO, 2006). Le but principal de ce travail est d‟analyser comment l‟interlocution a lieu dans les lettres argumentatives produites par 10 sujets-énonciateurs ayant participé au processus de sélection du «vestibular» d‟UFRN, appelé ici le chronotope du PSV-2008. Pour cela, les objectifs spécifiques qui guident cette recherche consistent à analyser les modes d‟assimilation du discours de l‟autre par le candidat, à identifier les positions axiologiques résultant des formes du processus interlocutif, et à construire une vision du sujet-énonciateur sur la base des choix de valeurs de l‟énonciateur et des relations espace-temps qui constituent l‟énonciateur et l‟interlocuteur. Quant à la théorie, la recherche est fondée principalement sur la notion de chronotope de Bakhtin une catégorie qui découle de la théorie du roman et problématisée par Amorim (2004) en articulation avec les réflexions théoriques de Geraldi (1997, 1999, 2006), Britto (2006) et Antunes (2005, 2006) sur le processus d‟écriture les relations dialogiques, la responsivité et les voix sociales (BAKHTIN, 1990, 2003, 2008; BAKHTIN/VOLOCHINOV, 2006) qui sont traversées par la conception dialogique du langage. L‟analyse nous a permis d‟identifier, principalement, deux débats dialogiques, dont le premier confronte le candidat à la dissertation et le second, à des interlocuteurs mentionnés dans la proposition. Les sujets ont formulé leurs énoncés sur un ton d‟indignation, en critiquant ce que l‟interlocuteur avait exprimé. Les candidats ont fait appel à la formation d‟un scénario d‟espoir, de crédulité, de respect et d‟éthique, conforme à la dignité de l‟être humain. Ces résultats mettent en évidence la façon dont des sujets multiples et hétérogènes, insérés dans la dimension de la vie, prennent position à l‟intérieur des pratiques discursives, face aux coordonnées d‟espace et de temps

Tradução, adaptação cultural e avaliação psicométrica da prova cognitiva de leganés em uma população idosa brasileira com baixo nível de escolaridade

Introdução: The scales of cognitive screening are important tools for early detection of dementia, creating the possibility of developing measures to slow this process and assist in the management of the disease. Objective: To validate the Leganés Cognitive Test (Prueba Cognitive de Leganés) (PCL) for cognitive screening in low educated elderly Brazilians. Methods: The study sample was composed of 59 elderly residents from the city of Santa Cruz, Brazil with low schooling levels. Reliability was analyzed with a 2-day interval between assessments, and concurrent validity was assessed using the Mini Mental State Examination (MMSE). Results: According to the PCL, the prevalence of dementia was 11.8%. The scale items showed a moderate to strong correlation between domains (p <0.01), and inter-rater reliability exhibited ICC = 0.81, 95% CI (0.72-0.88). Factor analysis resulted in two factors: memory and orientation. Interscale agreement was considered poor (k = - 0.02), supporting the hypothesis of an educational impact on final MMSE scores. Conclusion: The results suggest that PCL has acceptable levels of reliability for use in low educated elderly Brazilians

Masculinidade a prova: um estudo de inspiração fenomenologico - hermeneutico sobre a infertilidade masculina

Culturally, childbearing is understood as a situation that subjects will experience at some point in their lives, especially people who are married or have a similar affectionate relationship. Thus, to realize the inability to meet such a fate seems to be a natural cultural trigger of suffering, frustration and feelings of inadequacy and helplessness. Specifically for men, infertility is closely related to loss of masculinity, virility. He fails in his role as a male. This study sought to understand the impact that infertility have on the existence of a man who receives such a diagnosis, both in self-image as in their marital, sexual and professional roles. This study sets up as a hermeneutic phenomenological research based on the ideas of the philosopher Martin Heidegger. Participants were seven heterosexual, married and infertile men. Two interviews were conducted. The analysis of the material included both the material of the narratives, as the affectation of the researcher when interacting with the participants and their narratives, through phenomenological-hermeneutic interpretation. The results corroborate the literature that states the difficulty of the men, immersed in a context that defines them as virile, powerful and invulnerable to worry about issues related to health and disease. The possibility of any condition that impairs the reproductive capacity exceeds the acceptable limits of daily life for these men, not being recognized as a model of masculinity present in the condition in which they recognize. This leads to questions about their masculinity, role in the marital relationship and their existence. Thus, to recognize themselves as infertile surpass a medical diagnosis and is associated with the construction of meaning for their existence from the approximation with the infertility condition, which helps in redirecting their choices, restoring the project to be self and allowing further recognition as men. In the marital relationship, doing what they can to ensure, theirs happiness. Through these actions, they remain playing the role of family provider, showing that they are able to protect their wives and taking in assisted reproduction or adoption of children viable alternatives to fulfill the desire to leave a legacy and give a child to their wives and to society. Another result observed, refers to the ontological condition of care that characterizes the human being. The ways in which men are treated socially demonstrates a type of care that focuses on the development of characteristics such as strength, virility and determination but does not allow them to cope with the suffering of emotionally difficult situations, such as the diagnosis of infertility. At the end, the study gives rise to reflections on the need to provide a 12 space for men and their expressions of suffering, as well as to recognize their ability to overcome the painful and difficult situations

Prova automática de satisfatibilidade módulo teoria aplicada ao método B

Este trabalho apresenta uma extensão do provador haRVey destinada à verificação de obrigações de prova originadas de acordo com o método B. O método B de desenvolvimento de software abrange as fases de especificação, projeto e implementação do ciclo de vida do software. No contexto da verificação, destacam-se as ferramentas de prova Prioni, Z/EVES e Atelier-B/Click n Prove. Elas descrevem formalismos com suporte à checagem satisfatibilidade de fórmulas da teoria axiomática dos conjuntos, ou seja, podem ser aplicadas ao método B. A checagem de SMT consiste na checagem de satisfatibilidade de fórmulas da lógica de primeira-ordem livre de quantificadores dada uma teoria decidível. A abordagem de checagem de SMT implementada pelo provador automático de teoremas haRVey é apresentada, adotando-se a teoria dos vetores que não permite expressar todas as construções necessárias às especificações baseadas em conjuntos. Assim, para estender a checagem de SMT para teorias dos conjuntos destacam-se as teorias dos conjuntos de Zermelo-Frankel (ZFC) e de von Neumann-Bernays-Gödel (NBG). Tendo em vista que a abordagem de checagem de SMT implementada no haRVey requer uma teoria finita e pode ser estendida para as teorias nãodecidíveis, a teoria NBG apresenta-se como uma opção adequada para a expansão da capacidade dedutiva do haRVey à teoria dos conjuntos. Assim, através do mapeamento dos operadores de conjunto fornecidos pela linguagem B a classes da teoria NBG, obtem-se uma abordagem alternativa para a checagem de SMT aplicada ao método B

Arquitetura hardware/software de um núcleo NCAP segundo o padrão IEEE 1451.1: uma prova de conceito

Os sensores inteligentes são dispositivos que se diferenciam dos sensores comuns por apresentar capacidade de processamento sobre os dados monitorados. Eles tipicamente são compostos por uma fonte de alimentação, transdutores (sensores e atuadores), memória, processador e transceptor. De acordo com o padrão IEEE 1451 um sensor inteligente pode ser dividido em módulos TIM e NCAP que devem se comunicar através de uma interface padronizada chamada TII. O módulo NCAP é a parte do sensor inteligente que comporta o processador. Portanto, ele é o responsável por atribuir a característica de inteligência ao sensor. Existem várias abordagens que podem ser utilizadas para o desenvolvimento desse módulo, dentre elas se destacam aquelas que utilizam microcontroladores de baixo custo e/ou FPGA. Este trabalho aborda o desenvolvimento de uma arquitetura hardware/software para um módulo NCAP segundo o padrão IEEE 1451.1. A infra-estrutura de hardware é composta por um driver de interface RS-232, uma memória RAM de 512kB, uma interface TII, o processador embarcado NIOS II e um simulador do módulo TIM. Para integração dos componentes de hardware é utilizada ferramenta de integração automática SOPC Builder. A infra-estrutura de software é composta pelo padrão IEEE 1451.1 e pela aplicação especí ca do NCAP que simula o monitoramento de pressão e temperatura em poços de petróleo com o objetivo de detectar vazamento. O módulo proposto é embarcado em uma FPGA e para a sua prototipação é usada a placa DE2 da Altera que contém a FPGA Cyclone II EP2C35F672C6. O processador embarcado NIOS II é utilizado para dar suporte à infra-estrutura de software do NCAP que é desenvolvido na linguagem C e se baseia no padrão IEEE 1451.1. A descrição do comportamento da infra-estrutura de hardware é feita utilizando a linguagem VHDL

A escrita dos professores de língua portuguesa: desvelando dizeres e saberes

This documental research in a qualitative and interpretative nature is inserted in the field of Applied Linguistics and its object of study is teachers‟ writing in a literacy event (public exam) held for teachers of Portuguese Language by municipality in Natal city - RN in 2008. Overall, we have aimed to investigate the textual production of these teachers, considering their knowledge about writing, their sayings in relation to themselves and their views on new technologies and teaching. Specifically, we have chosen the following objectives: a) identifying what knowledge about writing have emerged from teachers' written text; b) analyzing the written text production of teachers, considering the knowledge they have revealed about themselves; c) mapping the sayings of the teachers about the teaching profession and new technologies. Our discussion is grounded theoretically by Bakhtin studies of language (BAKHTIN [1934], 1990; [1952-1953], 2000; BAKHTIN; VOLOSHINOV [1929], 1999); in studies of critical literacy as formulated by STREET (1984, 1995, 2006, 2010, 2014); KLEIMAN (1995, 2005, 2006, 2008); (BARTON, HAMILTON, 1998; BARTON; Ivanic, 1991); studies on teacher training in critical educational perspective (GIROUX, 1986; 1987; 1997; 1999) FREIRE, 1999; 2001). The corpus of this study is consisted of written texts by participants of this examination about the Writing Test, in which they were asked to produce an opinion paper. The research has allowed us to realize that, in relation to the writing, despite the recurring negative discourse on literacy teachers, especially the Portuguese ones, these, in the fabric of their texts, both have revealed to have dominion over the formal structure, particularly in respect to prototypical schema of argumentative sequence, as proposed by Adam (1992, 2008) and the mechanisms of textualization postulated by Bronckart (2007), and on those enunciation-discursive strategies relating to opinion genre. The relevance of this research is justified by seeking to understand the teacher‟s writing beyond the language system, i.e, writing as speech, assuming it as a contrapalavra (BAKHTIN, [1934], 1990) to those voices that insist on underestimating literacy teachers and they do so much harm to society, to the extent that foster a sense of disbelief in the qualification of teachers' work and distrust of the social role of these professionals in the preparation of future generations

Gestão documental da informação jurídica

Este artigo apresenta uma nova performance da gestão documental, voltada para o desenvolvimento das coleções no âmbito da informação jurídica, estabelecendo critérios de qualidade para os processos de seleção, aquisição e avaliação das informações. Para esse propósito, é feita uma avaliação das várias dimensões que permeiam a gestão documental da informação jurídica como um todo. A rapidez com que a informação jurídica se inova torna a literatura (ainda que recente) ultrapassada e obsoleta, ocasionando, assim, uma maior dificuldade das bibliotecas permanecerem com suas publicações sempre atualizadas. Por isso, é preciso que sejam elaborados mecanismos de controle e que seja efetuado um bom desenvolvimento dos serviços prestados pelas mesmas. Esses mecanismos são criados por meio da política de desenvolvimento de coleções, pois, quando bem fundamentada, assegura o bibliotecário na tomada de decisões, tanto em relação ao processo de seleção, aquisição e descarte do acervo,como na sustentação da qualidade na atualização da coleção. O processo de desenvolvimento da coleção é visto sob o viés da abordagem sistêmica das organizações.