Definição inicial de um sistema de provas rotulado para lógicas do conhecimento

Lógicas modais têm sido amplamente utilizadas em Ciência da Computação e inteligência artificial. Além disso, aplicações de lógicas modais na representação do conhecimento em sistemas distribuídos e, mais recentemente, em sistemas multiagentes, têm apresentado resultados promissores. No entanto, outros sistemas de prova para estas lógicas que não os sistemas axiomáticos à la Hilbert são raros na literatura. Este trabalho tem como objetivo principal preencher esta lacuna existente na literatura, ao propor um sistema de prova por dedução natural rotulada para lógicas do conhecimento.

Diversificação do espaço jurídico e lutas pela definição do direito no Rio Grande do Sul

O presente trabalho se propõe a realizar uma sociologia do campo jurídico brasileiro da década de 90. Neste sentido, investigou-se a relação entre a diversificação do espaço jurídico e a legitimação de definições do direito no Brasil ao longo da década de 90. Foi analisada a estreita correspondência entre a diferenciação do ensino do direito como lugar de produção de definições de problemas jurídicos e a mobilização de determinados usos da advocacia e das carreiras de Estado, neste período. O universo empírico analisado foi o espaço dos juristas do Rio Grande do Sul. O trabalho é dividido em cinco partes. Numa primeira, é realizada a definição da problemática em relação a estudos existentes sobre o tema de pesquisa. Numa segunda, analisa-se a configuração da tradição jurídica herdeira do padrão do bacharelismo imperial no interior do espaço em pauta e sua relação com o catolicismo e a inserção social, profissional e política dos principais agentes vinculados a esta tradição. Numa terceira parte, analisou-se a diferenciação de um espaço de produção de definições do direito relacionado à ascensão de determinados grupos de juristas “marginalizados” que se constituem contra esta tradição. Destacam-se como recursos destes, o investimento em títulos escolares de mestrado e doutorado, a profissionalização na atividade docente e na definição de critérios institucionais do ensino jurídico. Numa quarta parte, analisou-se as mobilizações de novos usos do direito no mundo das carreiras jurídicas através do movimento do “direito alternativo” e da análise de casos representativos da advocacia engajada em causas coletivas. Finalmente, numa quinta parte, foi abordada a emergência das associações de juristas, particularmente as de magistrados e promotores públicos, e a mobilização em torno de definições institucionais e da legitimação destas carreiras frente ao mundo da política. Este conjunto de dimensões permitiu apreender condicionantes referentes às lutas internas do universo analisado, bem como, o reposicionamento dos juristas no espaço de poder do Brasil na década de 90.

Para uma análise critica da orientação educacional: subsídios para compreensão e definição de sua pratica no Brasil

O principal objetivo desse estudo foi o de verificar as situações que, na prática da orientação educacional no Brasil. Possam ser responsabilizadas pelas dificuldades que a atividade vem encontrando para se desenvolver e se efetivar nas escolas brasileiras. Foi organizado em cinco capítulos, onde estão analisadas informações, resultantes basicamente de consulta bibliográfica a livros, artigos em periódicos, documentos e pesquisas relacionadas ao assunto. No primeiro capítulo encontram-se resumidos alguns preceitos teóricos que têm fundamentado a atividade de orientação educacional. No segundo capítulo apresentamos uma síntese da orientação, tal como ela se desenvolve nos EEUU, porque tomamos sua forma de atuação no sistema escolar norte-americano como referência para as interpretações de sua aplicabilidade nas escolas brasileiras. No terceiro capítulo caracterizamos a prática da atividade no sistema de ensino brasileiro, assinalando fatos que evidenciam a defasagem entre os objetivos e princípios postulados pela orientação educacional no Brasil, suas condições de efetivação e o quadro de inconsistência pelo qual ê conhecida e criticada. No quarto capítulo, analisamos e interpretamos as causas que determinam, a nosso ver, as dificuldades para a orientação se firmar nas escolas do país. Nossos questionamentos foram discutidos em torno de três hipóteses básicas que poderiam explicar o quadro de insatisfação e incerteza de sua prática e dos profissionais que são responsabilizados por sua efetivação: influência da DE das escolas norte-americanas, posição da OE na política Educacional Brasileira e aspectos da formação dos Orientadores Educacionais. Finalmente, sob influência do quadro de incoerências denunciando, organizamos, em forma de sugestões, no capítulo cinco, algumas propostas de estudo que poderiam ser desenvolvidas para ajudar a definir a orientação educacional no sistema de ensino brasileiro e I transformá-la numa prática realmente útil ao processo educacional.

O que é a pesquisa acadêmica em administração em saúde?: tentativa de uma definição consensual

Comparada à área de formação em administração em saúde, a área acadêmica de pesquisa de gestão em saúde não goza do mesmo nível de reconhecimento. Além disso, ela tem superposições com diversas outras áreas científicas adjacentes. Evidências mostram também que não há uma definição clara e consensual sobre o escopo e características distintivas desta área. O objetivo da presente tese foi averiguar se existe uma concepção implícita compartilhada, sobre a pesquisa na área, entre estudiosos de organizações de saúde e elaborar uma definição consensual fundamental de estudos em administração em saúde. Com base no referencial teórico sobre campos científicos e utilizando identificação de vocábulos distintivos/construção consensual – técnica já aplicada em outros campos –, realizou-se um levantamento entre estudiosos de organizações de saúde a fim de captar elementos conceituais característicos dos estudos da área, as suas principais diferenciações, principalmente em relação à área de administração, e derivar um consenso implícito. Em paralelo, foi realizada também análise temática a fim de aumentar a validade dos achados. Em um segundo levantamento, com autores-chave, autoridades científicas e editores de periódicos de campos adjacentes, buscou-se extrair suas opiniões sobre uma definição explícita da área, suas características distintivas e demarcações com estas respectivas áreas. A partir da análise dos dados dos levantamentos foi possível constatar a existência de um consenso latente, foi possível elaborar uma definição tentativa sobre estudos em administração em saúde e foi possível constatar que vários dos elementos presentes nesta definição também estavam presentes nas respostas de estudiosos de áreas selecionadas. O estudo pode contribuir para o desenvolvimento e fortalecimento da administração em saúde como área de pesquisa e ensino.

MoCHA : arquitetura dedicada para a compensação de movimento em decodificadores de vídeo de alta definição, seguindo o padrão H.264

O padrão H.264 foi desenvolvido pelo JVT, que foi formado a partir de uma união entre os especialistas do VCEG da ITU-T e do MPEG da ISO/IEC. O padrão H.264 atingiu seu objetivo de alcançar as mais elevadas taxas de processamento dentre todos os padrões existentes, mas à custa de um grande aumento na complexidade computacional. Este aumento de complexidade impede, pelo menos na tecnologia atual, a utilização de codecs H.264 implementados em software, quando se deseja a decodi cação de vídeos de alta de nição em tempo real. Essa dissertação propõe uma solução arquitetural de hardware, denominada MoCHA, para compensação de movimento do decodi cador de vídeo de alta de nição, segundo o padrão H.264/AVC. A MoCHA está dividida em três blocos principais, a predição dos vetores de movimento, o acesso à memória e o processamento de amostras. A utilização de uma cache para explorar a redundância dos dados nos acessos à mem ória, em conjunto com melhorias propostas, alcançou economia de acessos à memória superior a 60%, para os casos testados. Quando uma penalidade de um ciclo por troca de linha de memória é imposta, a economia de ciclos de acesso supera os 75%. No processamento de amostras, a arquitetura realiza o processamento dos dois blocos, que dão origem ao bloco bi-preditivo, de forma serial. Dessa forma, são economizados recursos de hardware, uma vez que a duplicação da estrutura de processamento não é requerida. A arquitetura foi validada a partir de simulações, utilizando entradas extraídas de seqüências codi cadas. Os dados extraídos, salvos em arquivos, serviam de entrada para a simulação. Os resultados da simulação foram salvos em arquivos e comparados com os resultados extraídos. O processador de amostras do compensador de movimento foi prototipado na placa XUP Virtex-II Pro. A placa possui um FPGA VP30 da família Virtex-II PRO da Xilinx. O processador PowerPC 405, presente no dispositivo, foi usado para implementar um test bench para validar a operação do processador de amostras mapeado para o FPGA. O compensador de movimento para o decodi cador de vídeo H.264 foi descrito em VHDL, num total de 30 arquivos e cerca de 13.500 linhas de código. A descrição foi sintetizada pelo sintetizador Syplify Pro da Symplicity para o dispositivo XC2VP30-7 da Xilinx, consumindo 8.465 slices, 5.671 registradores, 10.835 LUTs, 21 blocos de memó- ria interna e 12 multiplicadores. A latência mínima para processar um macrobloco é de 233 ciclos, enquanto a máxima é de 590, sem considerar misses na cache. A freqüência máxima de operação foi de 100,5 MHz. A arquitetura projetada é capaz de processar, no pior caso, 36,7 quadros HDTV de 1080 por 1920, inteiramente bi-preditivos, por segundo. Para quadros do tipo P, que não utilizam a bi-predição, a capacidade de processamento sobe para 64,3 quadros por segundo. A arquitetura apresentada para o processamento de quadros bi-preditivos e a hierarquia de memória são, até o momento, inéditas na literatura. Os trabalhos relativos a decodi cadores completos não apresentam a solução para esse processamento. Os resultados apresentados tornam a MoCHA uma solução arquitetural capaz de fazer parte de um decodi cador para vídeos de alta definição.

Proposta modelar de custos ABC na definição do custo-alvo : um estudo na cadeia agronegocial láctea gaúcha

Este trabalho propõe um modelo para definir o custo-alvo com base no sistema de custeamento por atividades, no âmbito da cadeia de agronegócios de leite. Constatado a falta de conhecimento prévio na literatura disponível, foi questionado a contribuição do modelo na gestão de custos interorganizacionais. A fronteira de estudo ateve-se ao setor lácteo. A pesquisa é classificada como um estudo de caso do tipo embedded. E ainda considerando o caráter central da investigação todas as ações apontam nas direções de uma pesquisa-ação. No entanto, considerando os settings de pesquisa e a própria característica dos atores o estudo recorre ao recurso metodológico da etnografia. Entende-se que o enfoque etnográfico empreendido na investigação se emparelha ao recurso da pesquisa-ação. Investido na categoria de participante completo, o pesquisador procedeu adoção da observação conforme suas variantes: descritivas, focais, seletivas e esgotadas. Paralelamente a seqüência observacional, a entrevista com especialistas e a entrevista etnográfica se mostraram promissoras. Apesar dos recursos tecnológicos de registro de informações adotou o diário de campo como principal meio A interpretação e a atribuição de significados foram exercidas durante um processo qualitativo, não requerendo o uso de métodos e técnicas estatísticas. Como o ambiente natural é a fonte direta na captação dos dados e o pesquisador é o instrumento-chave, o procedimento analítico dos dados foi indutivo. O estudo revela-se um avanço no conhecimento, preenchendo uma lacuna existente na literatura sobre agronegócios. A modelagem se delineia favorável em seus resultados, mas requerendo replicações de forma a catalisar a robustez.

Estudo de caso para definição de diretrizes para política pública de produção e acesso à informação

Esse artigo busca contribuir com a política pública de disseminação e acesso a informação fazendo uma reflexão sobre a dimensão da construção de indicadores como etapa fundamental no processo de disseminação da informação e a publicação dos dados em formato aberto como meio de melhorar e facilitar o acesso à informação. A reflexão surge no contexto da formação da nova Secretaria de Direitos Humanos e Cidadania da Prefeitura Municipal de São Paulo, em junho 2013. O objetivo do trabalho é propor diretrizes básicas para uma política pública de acesso à informação e construção colaborativa de indicadores de monitoramento das políticas públicas de direitos humanos para a Secretaria. Para tanto, buscou-se analisar os casos do Observatório Cidadão da Rede Nossa São Paulo e das Pesquisas CETIC, do Comitê Gestor na Internet no Brasil, organizações que produzem indicadores sobre políticas sociais e disponibilizam as informações para acesso público. Com base na metodologia de estudos de caso de Robert Yin (2001) que propõe a construção da explanação do caso a partir da análise dos dados que permite organizar o conjunto de informações coletadas nas entrevistas e correlacioná-los selecionou-se as variáveis de análise gestão estratégica, variável interinstitucional, variável gestão da informação e variável monitoramento e avaliação. A análise mostrou que ambos os casos estudados tiveram como diretrizes norteadoras de seus trabalhos com indicadores de políticas públicas a colaboração, a participação e transparência. Esses achados no estudo serviram como referência para a elaboração da proposta de diretrizes para a SMDHC para a construção de seus indicadores de direitos humanos e cidadania.