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

Balanced Scorecard em Instituições Públicas do Ensino Superior: Benefícios, Limitações e Desafios.

Entre as alternativas de modelos de gestão estratégica existentes, o Balanced Scorecard (BSC) tem conquistado um espaço importante nas discussões acadêmicas, onde tem recebido a atenção de pesquisadores, e, como não poderia deixar de ser, também tem avançado no mundo das organizações de mercado, com um saldo cada vez maior de experiências bemsucedidas. Apesar de ser um modelo que prevê uma construção e implementação totalmente ajustáveis às características de cada unidade de negócios onde é adotado, e de prescrever um feedback que resulta em revisões de indicadores e também em aprendizado estratégico, o BSC não garante sucesso no enfrentamento das responsabilidades dos gestores e na satisfação das expectativas dos stakeholders. Existem alguns pré-requisitos para sua utilização que restringem o escopo das organizações que podem beneficiar-se do BSC. Este trabalho pretende apresentar algumas considerações sobre a aplicabilidade desta ferramenta em organizações sem fins lucrativos, em especial nas Instituições do Ensino Superior públicas, e também resgatar algumas propostas para sua adoção. Trata-se de uma revisão bibliográfica com foco na realidade das instituições de ensino brasileiras, particularmente nas de natureza pública, propiciando algumas conclusões a respeito das vantagens e desafios inerentes à adoção do BSC

UM FRAMEWORK PARA A PROMOÇÃO DA PERMANÊNCIA DISCENTE NO ENSINO DE GRADUAÇÃO E UM MODELO DE SISTEMA DE GESTÃO DO CONHECIMENTO PARA IES BRASILEIRAS

Gestores de Instituições do Ensino Superior (IES) buscam o sucesso acadêmico sintetizado numa trajetória na qual os discentes ingressam num determinado curso, recebem uma formação de qualidade e são diplomados. Nas IES públicas o desafio é aplicar bem os recursos públicos, maximizando seu retorno social, enquanto as instituições privadas precisam manter sua clientela. Nos dois casos busca-se reduzir a evasão discente e promover a permanência. Neste artigo apresenta-se um framework desenvolvido para apoiar a gestão institucional pró-ativa visando à permanência de estudantes de graduação. Levantaram-se causas para a evasão discente no contexto nacional e, com base em modelos e teorias sobre abandono e permanência discente, foi construído um modelo de permanência compatível com o alcance das intervenções das IES. Com base nas variáveis deste modelo estabeleceram-se indicadores e sensores que constituem o framework. Para potencializar os resultados deste framework foi construído um modelo de Sistema de Gestão do Conhecimento (SGC), cuja aplicabilidade foi analisada em um estudo de caso realizado na UFSC. Entre as conclusões destaca-se a de que o suporte político e as lideranças institucionais são os elementos-chave mais relevantes e, simultaneamente, obstáculos para o sucesso da GC em IES brasileiras

Identificação e normatização do processo de análise de relatórios de inteligência financeira no âmbito da Polícia Federal

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Ciências da Educação, Programa de Pós-Graduação em Ciência da Informação, Florianópolis, 2023.Um dos trabalhos desempenhados pela Polícia Federal é a verificação e o cruzamento de dados contidos em Relatórios de Inteligência Financeira (RIFs) produzidos e encaminhados pelo Conselho de Controle de Atividades Financeiras (COAF) ? atividade essa em que se identifica, entre os policiais envolvidos, a ausência de uma sistemática padrão de execução, causando problemas como falta de padronização, dificuldades de disseminação e grande tempo despendido em atividades de cruzamentos de dados. O presente trabalho tem por objetivo apresentar um estudo sobre a forma atualmente em uso no âmbito da Delegacia de Polícia Federal quanto à análise de RIFs oriundos do COAF, para isso apontando-se o fluxo de trabalho atualmente utilizado (exibindo-o em forma gráfica) bem como verificando-se as origens de dados consultadas durante o processo, apresentando-se então uma sugestão de metodologia, visando a agilizar o processo. Neste sentido, foram realizados levantamentos a fim de identificar os principais repositórios de dados consultados no trabalho de análise de RIFs (públicos e restritos), identificada e sugerida uma metodologia a ser utilizada no processo (exibida em forma de fluxograma), bem como desenvolvido um software protótipo (utilizando-se para isso a linguagem de programação Python) visando automatizar parte do procedimento realizado durante o cruzamento de dados executados pelos analistas policiais. Com a finalidade de validar a metodologia proposta, foi aplicado ainda um Estudo de Caso, utilizando-se para isso os dados de RIFs presentes na Delegacia de Polícia Federal em Santo Ângelo/RS, cujos resultados são apresentados no corpo do trabalho.Abstract: One of the tasks carried out by the Brazilian Federal Police is the verification and cross-referencing of data contained in Financial Intelligence Reports (RIFs) produced and forwarded by the Financial Activities Control Council (COAF) ? an activity in which one identifies, among the police officers involved, the absence of a systematic standard of execution, causing problems such as lack of standardization, dissemination difficulties and great time spent in data crossing activities. The purpose of this work is to present a study on the form currently in use within the scope of the Federal Police Station regarding the analysis of RIFs from COAF, for this purpose pointing out the workflow currently used (displaying it in graphic form) as well as verifying the sources of data consulted during the process, presenting then a methodology suggestion, aiming to speed up the process. In this sense, surveys were carried out to identify the main data repositories consulted in the work of analyzing RIFs (public and restricted), identifying and suggesting a methodology to be used in the process (displayed in the form of a flowchart), as well as developing a Prototype software (using the Python programming language for this purpose) to automate part of the procedure performed during data crossing performed by police analysts. To validate the proposed methodology, a Case Study was also applied, using data from RIFs present at the Federal Police Station in Santo Ângelo/RS, whose results are presented in the body of the work

A participação popular como instrumento de legitimação da administração pública

A legitimação da Administração Pública realizada unicamente pela observância do princípio da legalidade não é adequada ao Estado Democrático de Direito. O Direito Administrativo está em crise. Enquanto o Direito Público adequou-se as mudanças do Estado moderno, o Direito Administrativo permaneceu vinculado a concepções liberais do século XIX. A mudança na relação entre indivíduo e Administração Pública atenta para o fato de que o cidadão deve ter direito a concorrer na determinação da ação administrativa. Dessa forma, deve ser garantido aos cidadãos o direito de participação na Administração Pública. A partir da teoria habermasiana do agir comunicativo, é possível conceber a participação como forma de legitimação da Administração Pública. Sob essa perspectiva, a participação implica um comprometimento com uma racionalidade de tipo dialógica, concretizando o Estado Democrático de Direito. Na doutrina do Direito Administrativo, esse entendimento é desenvolvido pela teoria da Administração Pública Consensual. O tema da participação popular envolve diversas críticas, as quais podem ser superadas por meio da institucionalização dos canais participativos. Portanto, esta monografia volta-se ao estudo da possibilidade de legitimação da ação administrativa por meio da institucionalização de canais participativos dentro das estruturas da Administração Pública tendo como referente a teoria da ação comunicativa elaborada por Jürgen Haberma

Ensino a distância: a experiência do Centro de Educação Aberta, Continuada e a Distância da Universidade Federal de Brasília

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia de Produção

Complicaçoes cirúrgicas nos transplantes renais

Orientador: Joao Átila RochaDissertaçao (mestrado) -Universidade Federal do Paran