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

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

A Fast Algorithm For Sparse Multichannel Blind Deconvolution

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)We have addressed blind deconvolution in a multichannel framework. Recently, a robust solution to this problem based on a Bayesian approach called sparse multichannel blind deconvolution (SMBD) was proposed in the literature with interesting results. However, its computational complexity can be high. We have proposed a fast algorithm based on the minimum entropy deconvolution, which is considerably less expensive. We designed the deconvolution filter to minimize a normalized version of the hybrid l(1)/l(2)-norm loss function. This is in contrast to the SMBD, in which the hybrid l(1)/l(2)-norm function is used as a regularization term to directly determine the deconvolved signal. Results with synthetic data determined that the performance of the obtained deconvolution filter was similar to the one obtained in a supervised framework. Similar results were also obtained in a real marine data set for both techniques.811V7V16CAPESCNPqPetrobrasCoordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq