A logic-based agent that plans for extended reachability goals

Planning to reach a goal is an essential capability for rational agents. In general, a goal specifies a condition to be achieved at the end of the plan execution. In this article, we introduce nondeterministic planning for extended reachability goals (i.e., goals that also specify a condition to be preserved during the plan execution). We show that, when this kind of goal is considered, the temporal logic CTL turns out to be inadequate to formalize plan synthesis and plan validation algorithms. This is mainly due to the fact that the CTL`s semantics cannot discern among the various actions that produce state transitions. To overcome this limitation, we propose a new temporal logic called alpha-CTL. Then, based on this new logic, we implement a planner capable of synthesizing reliable plans for extended reachability goals, as a side effect of model checking.

Heteroscedastic controlled calibration model applied to analytical chemistry

In chemical analyses performed by laboratories, one faces the problem of determining the concentration of a chemical element in a sample. In practice, one deals with the problem using the so-called linear calibration model, which considers that the errors associated with the independent variables are negligible compared with the former variable. In this work, a new linear calibration model is proposed assuming that the independent variables are subject to heteroscedastic measurement errors. A simulation study is carried out in order to verify some properties of the estimators derived for the new model and it is also considered the usual calibration model to compare it with the new approach. Three applications are considered to verify the performance of the new approach. Copyright (C) 2010 John Wiley & Sons, Ltd.

The log-bimodal-skew-normal model. A geochemical application

The main objective of this paper is to study a logarithm extension of the bimodal skew normal model introduced by Elal-Olivero et al. [1]. The model can then be seen as an alternative to the log-normal model typically used for fitting positive data. We study some basic properties such as the distribution function and moments, and discuss maximum likelihood for parameter estimation. We report results of an application to a real data set related to nickel concentration in soil samples. Model fitting comparison with several alternative models indicates that the model proposed presents the best fit and so it can be quite useful in real applications for chemical data on substance concentration. Copyright (C) 2011 John Wiley & Sons, Ltd.

Thermal energy storage in Swedish single family houses : a case study

In a Nordic climate, space heating (SH) and domestic hot water (DHW) used in buildings constitute a considerable part of the total energy use in the country. For 2010, energy used for SH and DHW amounted to almost 90 TWh in Sweden which corresponds to 60 % of the energy used in the residential and service sector, or almost 24 % of the total final energy use for the country. Storing heat and cold with the use of thermal energy storage (TES) can be one way of increasing the energy efficiency of a building by opening up possibilities for alternative sources of heat or cold through a reduced mismatch between supply and demand. Thermal energy storage without the use of specific control systems are said to be passive and different applications using passive TES have been shown to increase energy efficiency and/or reduce power peaks of systems supplying the heating and cooling needs of buildings, as well as having an effect on the indoor climate. Results are however not consistent between studies and focus tend to be on the reduction of cooling energy or cooling power peaks. In this paper, passive TES introduced through an increased thermal mass in the building envelope to two single family houses with different insulation standard is investigated with building energy simulations. A Nordic climate is used and the focus of this study is both on the reduction of space heating demand and space heating power, as well as on reduction of excess temperatures in residential single family houses without active cooling systems. Care is taken to keep the building envelope characteristics other than the thermal mass equal for all cases so that any observations made can be derived to the change in thermal mass. Results show that increasing the sensible thermal mass in a single family house can reduce the heating demand only slightly (1-4 %) and reduce excess temperatures (temperatures above 24 degrees C) by up to 20 %. Adding a layer of PCM (phase change materials) to the light building construction can give similar reduction in heating demand and excess temperatures, however the phase change temperature is important for the results.

Hydrodynamic Simulations Of Vacuum-Driven Storage Tanks

As a result of urbanization, stormwater runoff flow rates and volumes are significantly increased due to increasing impervious land cover and the decreased availability of depression storage. Storage tanks are the basic devices to efficiently control the flow rate in drainage systems during wet weather. Presented in the paper conception of vacuum-driven detention tanks allows to increase the storage capacity by usage of space above the free surface water elevation at the inlet channel. Partial vacuum storage makes possible to gain cost savings by reduction of both the horizontal area of the detention tank and necessary depth of foundations. Simulation model of vacuum-driven storage tank has been developed to estimate potential profits of its application in urban drainage system. Although SWMM5 has no direct options for vacuum tanks an existing functions (i.e. control rules) have been used to reflect its operation phases. Rainfall data used in simulations were recorded at raingage in Czestochowa during years 2010÷2012 with time interval of 10minutes. Simulation results gives overview to practical operation and maintenance cost (energy demand) of vacuum driven storage tanks depending of the ratio: vacuum-driven volume to total storage capacity. The following conclusion can be drawn from this investigations: vacuum-driven storage tanks are characterized by uncomplicated construction and control systems, thus can be applied in newly developed as well as in the existing urban drainage systems. the application of vacuum in underground detention facilities makes possible to increase of the storage capacity of existing reservoirs by usage the space above the maximum depth. Possible increase of storage capacity can achieve even a few dozen percent at relatively low investment costs. vacuum driven storage tanks can be included in existing simulation software (i.e. SWMM) using options intended for pumping stations (including control and action rules ).

As perdas de materiais na construção de edificações : sua incidência e seu controle

O presente trabalho consiste em uma análise das perdas de materiais na construção de edificações. Inicialmente, são classificados os diferentes tipos de perdas de materiais e apresentados os resultados de pesquisas já realizadas sobre o assunto. São discutidos, também, alguns princípios do gerenciamento das materiais e apresentados conceitos relativos a sistemas de controle. É apresentada a metodologia e os resultados de um estudo realizado em cinco canteiros de obras, situados na cidade de Porto Alegre, no qual foram levantados índices e causas de incidências de perdas de materiais. A pesquisa realizada demonstrou que há consideráveis variações em relação à incidência de perdas para diferentes insumos e de um mesmo insumo para diferentes canteiros. Estes índices são bastante elevados em comparação com os valores apontados pela bibliografia. Este estudo demonstrou, também, que existem oportunidades de redução das perdas de materiais através de melhorias no manuseio e estacagem de materiais e, principalmente, através de aplicação de métodos que possibilitem a identificação e o controle das perdas durante o processo construtivo. Por fim,é apresentado um conjunto de diretrizes para a implementação de um sistema de controle de perdas de materiais para a construcão de edificações

Controles internos e gestão de riscos em instituições financeiras

O Comitê de Supervisão Bancária da Basiléia, um dos organismos mais respeitados no mundo em normatização da indústria bancária, emitiu, em setembro de 1998, o documento: Framework for Internal Control Systems in Banking Organizations, que trata da necessidade da manutenção de controles internos adequados para a natureza e para a escala dos negócios das instituições financeiras. O documento originou-se a partir de pressões internacionais por controles internos mais eficientes e eficazes. De acordo com o documento, os instrumentos de controle devem incluir disposições claras para a delegação de competência e responsabilidade; a separação de funções que envolvam a assunção de compromissos pelos bancos, a utilização de seus recursos financeiros e a responsabilidade por seus ativos e passivos; a reconciliação de tais processos; a proteção de seus ativos; e as funções apropriadas de auditoria e de conformidades independentes, internas ou externas, para verificar a adesão a tais controles, assim como às leis e regulamentos aplicáveis. O Comitê de Supervisão Bancária da Basiléia verificou que diversos problemas ocorridos em grandes organizações bancárias poderiam ser evitados com um sistema eficiente de controles internos. Vários casos estudados demonstraram que controles internos inadequados resultaram em perdas significativas para os bancos. Assim, esta dissertação apresenta, com base no documento acima citado, os tipos de perdas e a análise dos princípios de controles internos recomendados pelo Comitê de Supervisão Bancária da Basiléia e adotados no Brasil a partir da publicação pelo Conselho Monetário Nacional da Resolução 2.554, de 24 de setembro de 1998.

O orçamento como instrumento de planejamento, execução e controle: estudo de caso do plano diretor da Marinha do Brasil

O objetivo deste estudo é verificar o Plano Diretor, instrumento de planejamento, execução e controle das ações desenvolvidas pela Marinha do Brasil, está adequado à ambiência vislumbrada para o século XXI. De forma sistêmica, é construído o referencial teórico sobre assuntos pertinentes ao problema a ser investigado, tais como Teoria da decisão, Teoria orçamentária, gestão estratégica e modelos teóricos de sistemas de planejamento e controle. O resultado da análise das características do sistema e do processo do Plano Diretor indica haver pontos passíveis de serem aperfeiçoados. Ao final, é oferecido um resumo de sugestões de medidas para tornar o Plano Diretor um instrumento up-to-date de gestão orçamentária.

Museus federais : a aplicação de modernas técnicas de gestão para lidar com as ameaças ao seu desempenho

Os museus federais, de um modo geral, nas duas últimas décadas, têm apresentado resultados satisfatórios no desempenho de sua missão básica - preservação e difusão do acervo que detêm - sem, necessariamente, contar para isso com apoio e recursos governamentais expressivos. Ao contrário, integrantes de uma área de governo sabidamente desfavorecida de recursos orçamentários, bem como de interesse político, desprovida, ainda, de quadros altamente qualificados, desenvolveram soluções próprias e um estilo peculiar de gestão para lidar com essas dificuldades crônicas. Tais soluções gerenciais (Associações de Amigos, criatividade, abnegação, flexibilidade, intensa participação etc.), alinhadas com um modo orgânico de funcionamento e adequadas até então, acobertam, de uma maneira sutil e arriscada, um quase absoluto despreparo profissional para a implementação de sistemas de controle gerencial orientados para resultados - gestão estratégica, programação e orçamentação, controle de qualidade, capacitação técnica e gerencial, indicadores de resultados e avaliação de programas etc. A crescente concorrência de outros meios de entretenimento e lazer, o aperto no controle do déficit público e a conseqüente pressão no sentido da publicização dessas atividades (fortes candidatas a virarem organizações sociais), somados ao esperado crescimento da cobrança social pela accountabilíty de seus dirigentes formam um cenário nada promissor para essas instituições, até então, imunes aos escândalos ou, pelo menos, a uma avaliação menos favorável pela população e demais stakeholders. O julgamento ainda vigente em grande parte de sua elite técnica de que não existe inteligência no mundo da administração, um mal necessário e de convívio difícil com as artes, reforça o belo desafio a ser enfrentado nos próximos anos pelos dirigentes dessas instituições.

Gestão da informação e sistema de informações policiais em uma delegacia da polícia civil do Estado do Rio de Janeiro: uma abordagem organizacional

A dissertação apresenta o processo de trabalho do inquérito policial como sendo o processo-chave do sistema de informações policiais de uma delegacia de Polícia Civil do Estado do Rio de Janeiro. Faz considerações quanto à gestão e à análise de sistemas, comparando alguns especialistas, para compreensão da organização. Apresenta, também, uma visão da Polícia Civil no presente e a sua história. Disserta sobre a importância da linguagem em sua cultura organizacional e na sua lógica do trabalho apoiada em discursos, e propõe algumas possibilidades de mudanças organizacionais. A metodologia adotada foi a de pesquisa-ação, participante e etnográfica, com tratamento dos dados apoiado nas teorias da informação, da análise de conteúdo do discurso e de sistemas.

Sistemas de controle de vendas no setor têxtil: um estudo exploratório

Esta dissertação estuda os sistemas de controle de vendas praticados pela indústria têxtil brasileira diante das mudanças ambientais ocorridas nas últimas duas décadas. O pressuposto básico para a utilização de sistemas de controle para a equipe de vendas é que através deles é possível dirigir e influenciar as atitudes e os comportamentos dos empregados para conseguir atingir seus objetivos, havendo uma estreita relação entre a forma como a gerência comercial monitora, dirige, avalia e recompensa as atividades dos seus vendedores e a efetividade da área comercial, sendo diferenciais decisivos para atender a pressão por competitividade e as exigências do mercado quanto ao posicionamento da equipe comercial frente ao novo cenário de negócios. Da revisão teórica foram levantados os oito principais modelos de sistemas de controle e aspectos importantes que devem ser considerados para a composição do sistema de cada empresa. A pesquisa foi conduzida entre os responsáveis por equipes de vendas no segmento têxtil nos elos onde vendas industriais são realizadas. Empregaram-se técnicas empíricas para o levantamento das freqüências de incidência dos aspectos estudados e foi possível constatar que os elos de fibras e filamentos, fiação, tecelagem, malharia e beneficiamento do segmento têxtil possuem sistemas de controle pertinentes com as características de venda industrial. Os controles formais estão ligados a resultados e os controles informais estão relacionados com o acompanhamento das atividades e capacidades do vendedor. Adicionalmente buscou-se captar a percepção dos responsáveis por equipes comerciais sobre sua efetividade nos aspectos de volume de vendas, lucratividade, participação de mercado e também satisfação do cliente.

O processo de modernização dos Tribunais de Contas no contexto da reforma do estado no Brasil

Os tribunais de contas, embora sejam órgãos tradicionais na administração pública com raízes remotas ligadas à própria criação do Estado Moderno, passam hoje por intensas modificações em sua estrutura operacional e formas de atuação. O presente trabalho tem o objetivo de analisar o processo de modernização dos tribunais de contas estaduais e municipais do país no contexto da reforma do Estado brasileiro. A primeira parte dessa dissertação apresenta uma radiografia da situação atual dos TC¿s, apontando as principais características diferenciadoras desses órgãos em relação à sua capacidade operacional e ao desempenho de suas funções constitucionais. A segunda parte apresenta um balanço das principais iniciativas de aperfeiçoamento organizacional que podem ser verificadas nas estruturas dos TC¿s mais recentemente, dando destaque para as inovações de ouvidoria, sistemas informatizados de controle e escolas de contas.

Controle em tempo real de robôs através de redes IP

Com o intuito de utilizar uma rede com protocolo IP para a implementação de malhas fechadas de controle, este trabalho propõe-se a realizar um estudo da operação de um sistema de controle dinâmico distribuído, comparando-o com a operação de um sistema de controle local convencional. Em geral, a decisão de projetar uma arquitetura de controle distribuído é feita baseada na simplicidade, na redução dos custos e confiabilidade; portanto, um diferencial bastante importante é a utilização da rede IP. O objetivo de uma rede de controle não é transmitir dados digitais, mas dados analógicos amostrados. Assim, métricas usuais em redes de computadores, como quantidade de dados e taxa de transferências, tornam-se secundárias em uma rede de controle. São propostas técnicas para tratar os pacotes que sofrem atrasos e recuperar o desempenho do sistema de controle através da rede IP. A chave para este método é realizar a estimação do conteúdo dos pacotes que sofrem atrasos com base no modelo dinâmico do sistema, mantendo o sistema com um nível adequado de desempenho. O sistema considerado é o controle de um manipulador antropomórfico com dois braços e uma cabeça de visão estéreo totalizando 18 juntas. Os resultados obtidos mostram que se pode recuperar boa parte do desempenho do sistema.

Um estudo exploratório sobre sistemas de controle gerencial em empresas hoteleiras do Brasil

Nesta pesquisa, o que se pretendeu foi conhecer o atual estágio dos sistemas de controle gerencial utilizados em cinco hotéis localizados no Estado do Espírito Santo, levando-se em conta as peculiaridades do ramo e suas características com relação à adaptação, se necessário, dos diversos conceitos já aplicados em outros tipos de atividades, notadamente no ramo de serviços. Para tanto, procedeu-se a uma revisão de literatura e dos fundamentos teóricos sobre controle gerencial, principalmente aqueles voltados para a ciência comportamental, que serviram de suporte para estabelecer o plano de referência utilizado nesta pesquisa. Por tratar-se de trabalho descritivo, com riqueza de detalhes, foi adotada a metodologia do estudo de caso por ser a mais aconselhável neste tipo de trabalho. Entrevistas, utilizando questionários que continham em sua maior parte perguntas abertas, possibilitaram descrever o processo de controle gerencial existente nos hotéis pesquisados. Os resultados obtidos permitiram análises sobre a natureza deles e o estudo dos sistemas de controle gerencial dos hotéis estudados. Finalmente, uma comparaçao entre os resultados obtidos no trabalho de campo e os fundamentos teóricos levantados na revisão da literatura possibilitaram se chegasse a algumas conclusões importantes, além de permitirem formular algumas recomendações e sugestões para futuras pesquisas.

Um estudo exploratório sobre o controle gerencial em um banco estatal

Esta pesquisa tentou estabelecer, através de um estudo exploratório, as comparações relevantes entre o sistema de controle gerencial implantado em um banco estatal brasileiro e a literatura sobre Controle Gerencial . Para isso, foi feita uma revisão da literatura e dos fundamentos teóricos existentes na teoria de Controle Gerencial, principalmente aqueles abordados na Ciência Comportamental . Como resultado dessa revisão foi estabelecido um plano de referência que foi utilizado nesta pesquisa. O estudo de caso foi a metodologia adotada no trabalho e as razões de seu uso sao apresentadas, bem como são discutidos os procedimentos empregados na pesquisa de campo,além das limitações desse tipo de estudo. Entrevistas, utilizando questionários com a maioria de questões abertas, permitiram descrever o processo de controle gerencial em uso pelo banco pesquisado. Os resultados obtidos possibilitaram análises sobre a natureza deles e o estado do sistema de controle , gerencial da empresa estudada. Finalmente, uma comparação entre os resultados da pesquisa de campo e a literatura revista possibilitou chegar a algumas conclusões importantes relativas a suas relações bem como permitiu que se levántassem questões para o Governo Federal e para o banco pesquisado. Também foram feitas algumas Sugestões para novos estudos.