Using adaptive automata in a multi-paradigm programming environment

In this paper the architecture of an experimental multiparadigmatic programming environment is sketched, showing how its parts combine together with application modules in order to perform the integration of program modules written in different programming languages and paradigms. Adaptive automata are special self-modifying formal state machines used as a design and implementation tool in the representation of complex systems. Adaptive automata have been proven to have the same formal power as Turing Machines. Therefore, at least in theory, arbitrarily complex systems may be modeled with adaptive automata. The present work briefly introduces such formal tool and presents case studies showing how to use them in two very different situations: the first one, in the name management module of a multi-paradigmatic and multi-language programming environment, and the second one, in an application program implementing an adaptive automaton that accepts a context-sensitive language.

Recomendações para o desenvolvimento de uma ferramenta de suporte às primeiras decisões projetuais visando ao desempenho energético de edificações de escritório em clima quente

PEDRINI, Aldomar; SZOKOLAY, Steven. Recomendações para o desenvolvimento de uma ferramenta de suporte às primeiras decisões projetuais visando ao desempenho energético de edificações de escritório em clima quente. Ambiente Construído, Porto Alegre, v. 5, n. 1, p.39-54, jan./mar. 2005. Trimestral. Disponível em: . Acesso em: 04 out. 2010.

Sistemas certificáveis de gestão ambiental e da qualidade: práticas para integração em empresas do setor moveleiro

O principal objetivo deste artigo é propor, a partir do referencial teórico e de um estudo de caso em uma empresa moveleira, práticas para integração de sistemas certificáveis de gestão ambiental e da qualidade. A coleta de dados do estudo de caso se deu por meio de entrevistas semiestruturadas com o responsável direto pelos dois sistemas e com alguns colaboradores-chave do nível operacional, além de análise documental e de visitas in loco. Ao final deste artigo, são propostas práticas para integração desses sistemas, relacionadas aos seguintes elementos: alta administração; apoio administrativo, financeiro e pessoal; serviço de consultoria; coordenação do programa de integração; interface entre os sistemas; capacitação técnico-gerencial; sistema de liderança, prospecção, avaliação e desenvolvimento de fornecedores; sistema de informação; indicadores; comunicação com o cliente, e integração contínua.

Saúde materno-infantil: visão crítica dos determinantes e dos programas assistenciais

Discute-se a determinação social da saúde materno-infantil nas Américas, a partir de inúmeras publicações e recomendações oficiais. Observou-se que nem todos os estudos valorizam apropriadamente as variáveis sociais e que muitos deles as consideram no mesmo nível de importância das variáveis biológicas. Como conseqüência, a compreensão final dos achados fica prejudicada e as conclusões e recomendações extraídas ficam longe de tocar a raiz dos problemas. Diferentes variáveis sociais (como escolaridade materna ou assistência médica) encontram-se freqüentemente associadas com variáveis biológicas (como peso ao nascer ou estado nutricional). Esta associação, no entanto, pode não representar uma relação causai, mas tão somente a ocorrência simultânea de características pertencentes a uma única classe social. Reitera-se a necessidade de estudos que reconheçam as classes sociais e analisem os resultados sobre saúde materno-infantil em relação às mesmas. Estes estudos provavelmente evidenciarão a importância social da saúde materno-infantil e evitarão as habituais diretrizes e recomendações restritas ao plano puramente técnico.

O padrão de atuação das empresas de segurança privada: o caso de Angola

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Convergência digital de objetos de aprendizagem Scorm

Pós-graduação em Ciência da Computação - IBILCE

Um software de reconhecimento de voz para português brasileiro

Descreve a implementação de um software de reconhecimento de voz para o Português Brasileiro. Dentre os objetivos do trabalho tem-se a construção de um sistema de voz contínua para grandes vocabulários, apto a ser usado em aplicações em tempo-real. São apresentados os principais conceitos e características de tais sistemas, além de todos os passos necessários para construção. Como parte desse trabalho foram produzidos e disponibilizados vários recursos: modelos acústicos e de linguagem, novos corpora de voz e texto. O corpus de texto vem sendo construído através da extração e formatação automática de textos de jornais na Internet. Além disso, foram produzidos dois corpora de voz, um baseado em audiobooks e outro produzido especificamente para simular testes em tempo-real. O trabalho também propõe a utilização de técnicas de adaptação de locutor para resolução de problemas de descasamento acústico entre corpora de voz. Por último, é apresentada uma interface de programação de aplicativos que busca facilitar a utilização do decodificador Julius. Testes de desempenho são apresentados, comparando os sistemas desenvolvidos e um software comercial.

Ferramentas e recursos livres para reconhecimento e síntese de voz em português brasileiro

Sistemas de reconhecimento e síntese de voz são constituídos por módulos que dependem da língua e, enquanto existem muitos recursos públicos para alguns idiomas (p.e. Inglês e Japonês), os recursos para Português Brasileiro (PB) ainda são escassos. Outro aspecto é que, para um grande número de tarefas, a taxa de erro dos sistemas de reconhecimento de voz atuais ainda é elevada, quando comparada à obtida por seres humanos. Assim, apesar do sucesso das cadeias escondidas de Markov (HMM), é necessária a pesquisa por novos métodos. Este trabalho tem como motivação esses dois fatos e se divide em duas partes. A primeira descreve o desenvolvimento de recursos e ferramentas livres para reconhecimento e síntese de voz em PB, consistindo de bases de dados de áudio e texto, um dicionário fonético, um conversor grafema-fone, um separador silábico e modelos acústico e de linguagem. Todos os recursos construídos encontram-se publicamente disponíveis e, junto com uma interface de programação proposta, têm sido usados para o desenvolvimento de várias novas aplicações em tempo-real, incluindo um módulo de reconhecimento de voz para a suíte de aplicativos para escritório OpenOffice.org. São apresentados testes de desempenho dos sistemas desenvolvidos. Os recursos aqui produzidos e disponibilizados facilitam a adoção da tecnologia de voz para PB por outros grupos de pesquisa, desenvolvedores e pela indústria. A segunda parte do trabalho apresenta um novo método para reavaliar (rescoring) o resultado do reconhecimento baseado em HMMs, o qual é organizado em uma estrutura de dados do tipo lattice. Mais especificamente, o sistema utiliza classificadores discriminativos que buscam diminuir a confusão entre pares de fones. Para cada um desses problemas binários, são usadas técnicas de seleção automática de parâmetros para escolher a representaçãao paramétrica mais adequada para o problema em questão.

Ferramenta computacional para dimensionamento e avaliação de desempenho de sistemas fotovoltaicos conectados à rede elétrica

Esta dissertação apresenta a utilização alguns modelos matemáticos disponíveis na literatura para representar as etapas de processamento da energia em um Sistema Fotovoltaico Conectado à Rede Elétrica (SFCR). Além disso, propõem-se dois modelos representativos do comportamento da potência elétrica em situações de limitação de potência do inversor e das perdas elétricas em função do carregamento. Todas as modelagens estão implementadas computacionalmente no ambiente GUIDE do MATLAB, o que permite a análise, auxilia no dimensionamento e viabiliza a simulação da operacionalidade e consequente contribuição energética de SFCRs com diferentes tamanhos relativos. No trabalho ainda é mostrada a interface da ferramenta computacional desenvolvida e a validação dos dados gerados pelo programa com dados medidos experimentalmente de SFCRs, a qual evidencia a eficácia dos modelos utilizados e a melhora na precisão. Ao final são mostradas estimativas energéticas para cinco cidades brasileiras, além de exemplos de análise dos dados gerados pela ferramenta computacional.

Avaliações farmacoeconômicas em vigilância de medicamentos

The study aimed to identify pharmacoeconomic studies in pharmacovigilance and to observe the economic outcomes in post-marketing surveillance. Therefore, a bibliographic survey was performed in databases Lilacs, PubMed/ Bireme. The search strategy was done by using scientific health descriptors [ "adverse drug reaction reporting systems " OR " medication errors " OR "product surveillance, postmarketing" OR " sentinel surveillance" ] AND [ " cost-benefit analysis" OR "cost efficiency analysis " OR " costs and cost analysis " OR " hospital costs " OR " cost-effectiveness " OR " cost-effectiveness evaluation " OR " drug costs " ]. Manuscripts published in the last 10 years were selected. We chose 13 articles, of which 12 corresponded to cost-benefit analysis and only one to cost-effectiveness assessment. In only one study there was no economy, all the other ones generated savings, ranging from 13.7 to 30% in spending valued service. Surveillance actions were: continuing education; active search through tracking devices and / or implementation of round; teamwork and multidisciplinary deployment; computerized security services management, enabling traceability of information and alerts. The results of the proposed actions have led to the prevention of adverse drug reactions, to decline of risks to the patient, to the reduction of inappropriate prescriptions, as well as the length of hospital stay spending valued service. Surveillance actions were: continuing education; active search through tracking devices and / or implementation of round; teamwork and multidisciplinary deployment; computerized security services management, enabling traceability of information and alerts. The results of the proposed actions have led to the prevention of adverse drug reactions, to decline of risks to the patient, to the reduction of inappropriate prescriptions, as well as the length of hospital stay

Desenvolvimento de uma planilha eletrônica em VBA para o dimensionamento didático de instalações de recalque de água

This study aims to develop a computer program based on VBA programming language, using Microsoft Excel, for designing pumping systems of water. The program allows the user to determine the economical diameter, using the equation of Bresse, for a given installation, since the geometric elevation, the material of the tube, the accessories along the line and the volumetric flow are known. In addition, the program estimates the total annual cost of the installation for three different diameters, in order to compare which diameter is more advantageous from an economical perspective. The program interface is designed to be simple and intuitive with the intention of being didactic and offering to engineering students an advantageous tool to analyze this type of project. Microsoft Excel was chosen for this work because is present in virtually all personal computer, and is an indispensable tool for educational purposes

Desenvolvimento de uma planilha eletrônica em VBA para o dimensionamento didático de instalações de recalque de água

This study aims to develop a computer program based on VBA programming language, using Microsoft Excel, for designing pumping systems of water. The program allows the user to determine the economical diameter, using the equation of Bresse, for a given installation, since the geometric elevation, the material of the tube, the accessories along the line and the volumetric flow are known. In addition, the program estimates the total annual cost of the installation for three different diameters, in order to compare which diameter is more advantageous from an economical perspective. The program interface is designed to be simple and intuitive with the intention of being didactic and offering to engineering students an advantageous tool to analyze this type of project. Microsoft Excel was chosen for this work because is present in virtually all personal computer, and is an indispensable tool for educational purposes

France, Germany and the United Kingdom Cooperation in Times of Turbulence

This thesis deals with cooperation between France, Germany and the United Kingdom within the area of foreign and security policy. Two case studies are presented, one of them concerning cooperation between the three states within and outside institutions in 1980 following the Soviet invasion of Afghanistan, and the other dealing with cooperation concerning the crisis in Macedonia in 2001. In accordance with the approach of neoliberal institutionalism the primary hypothesis is that cooperation is primarily determined by the interests of states but it is also limited by norms and affected by the institutions of which the three states are members. The study describes the large variety of forms of cooperation that exist between France, Germany and the United Kingdom, in which the United States also plays an important part, and which also includes their cooperation within a number of international institutions. The study also points to the new forms of interaction between states and institutions that have come about since the Cold War ended, and which give a stronger role to institutions and the cooperation between them. Still, however, states retain a decisive role in cooperation within the field of foreign and security policy.

Secure gossiping techniques and components

Gossip protocols have proved to be a viable solution to set-up and manage largescale P2P services or applications in a fully decentralised scenario. The gossip or epidemic communication scheme is heavily based on stochastic behaviors and it is the fundamental idea behind many large-scale P2P protocols. It provides many remarkable features, such as scalability, robustness to failures, emergent load balancing capabilities, fast spreading, and redundancy of information. In some sense, these services or protocols mimic natural system behaviors in order to achieve their goals. The key idea of this work is that the remarkable properties of gossip hold when all the participants follow the rules dictated by the actual protocols. If one or more malicious nodes join the network and start cheating according to some strategy, the result can be catastrophic. In order to study how serious the threat posed by malicious nodes can be and what can be done to prevent attackers from cheating, we focused on a general attack model aimed to defeat a key service in gossip overlay networks (the Peer Sampling Service [JGKvS04]). We also focused on the problem of protecting against forged information exchanged in gossip services. We propose a solution technique for each problem; both techniques are general enough to be applied to distinct service implementations. As gossip protocols, our solutions are based on stochastic behavior and are fully decentralized. In addition, each technique’s behaviour is abstracted by a general primitive function extending the basic gossip scheme; this approach allows the adoptions of our solutions with minimal changes in different scenarios. We provide an extensive experimental evaluation to support the effectiveness of our techniques. Basically, these techniques aim to be building blocks or P2P architecture guidelines in building more resilient and more secure P2P services.

Algorithms for UAS insertion in civil air space

One of the most interesting challenge of the next years will be the Air Space Systems automation. This process will involve different aspects as the Air Traffic Management, the Aircrafts and Airport Operations and the Guidance and Navigation Systems. The use of UAS (Uninhabited Aerial System) for civil mission will be one of the most important steps in this automation process. In civil air space, Air Traffic Controllers (ATC) manage the air traffic ensuring that a minimum separation between the controlled aircrafts is always provided. For this purpose ATCs use several operative avoidance techniques like holding patterns or rerouting. The use of UAS in these context will require the definition of strategies for a common management of piloted and piloted air traffic that allow the UAS to self separate. As a first employment in civil air space we consider a UAS surveillance mission that consists in departing from a ground base, taking pictures over a set of mission targets and coming back to the same ground base. During all mission a set of piloted aircrafts fly in the same airspace and thus the UAS has to self separate using the ATC avoidance as anticipated. We consider two objective, the first consists in the minimization of the air traffic impact over the mission, the second consists in the minimization of the impact of the mission over the air traffic. A particular version of the well known Travelling Salesman Problem (TSP) called Time-Dependant-TSP has been studied to deal with traffic problems in big urban areas. Its basic idea consists in a cost of the route between two clients depending on the period of the day in which it is crossed. Our thesis supports that such idea can be applied to the air traffic too using a convenient time horizon compatible with aircrafts operations. The cost of a UAS sub-route will depend on the air traffic that it will meet starting such route in a specific moment and consequently on the avoidance maneuver that it will use to avoid that conflict. The conflict avoidance is a topic that has been hardly developed in past years using different approaches. In this thesis we purpose a new approach based on the use of ATC operative techniques that makes it possible both to model the UAS problem using a TDTSP framework both to use an Air Traffic Management perspective. Starting from this kind of mission, the problem of the UAS insertion in civil air space is formalized as the UAS Routing Problem (URP). For this reason we introduce a new structure called Conflict Graph that makes it possible to model the avoidance maneuvers and to define the arc cost function of the departing time. Two Integer Linear Programming formulations of the problem are proposed. The first is based on a TDTSP formulation that, unfortunately, is weaker then the TSP formulation. Thus a new formulation based on a TSP variation that uses specific penalty to model the holdings is proposed. Different algorithms are presented: exact algorithms, simple heuristics used as Upper Bounds on the number of time steps used, and metaheuristic algorithms as Genetic Algorithm and Simulated Annealing. Finally an air traffic scenario has been simulated using real air traffic data in order to test our algorithms. Graphic Tools have been used to represent the Milano Linate air space and its air traffic during different days. Such data have been provided by ENAV S.p.A (Italian Agency for Air Navigation Services).