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.

Skew-normal linear calibration: a Bayesian perspective

In this paper, we present a Bayesian approach for estimation in the skew-normal calibration model, as well as the conditional posterior distributions which are useful for implementing the Gibbs sampler. Data transformation is thus avoided by using the methodology proposed. Model fitting is implemented by proposing the asymmetric deviance information criterion, ADIC, a modification of the ordinary DIC. We also report an application of the model studied by using a real data set, related to the relationship between the resistance and the elasticity of a sample of concrete beams. Copyright (C) 2008 John Wiley & Sons, Ltd.

Elementary Petri net inside RFID distributed database (PNRD)

Usually, a Petri net is applied as an RFID model tool. This paper, otherwise, presents another approach to the Petri net concerning RFID systems. This approach, called elementary Petri net inside an RFID distributed database, or PNRD, is the first step to improve RFID and control systems integration, based on a formal data structure to identify and update the product state in real-time process execution, allowing automatic discovery of unexpected events during tag data capture. There are two main features in this approach: to use RFID tags as the object process expected database and last product state identification; and to apply Petri net analysis to automatically update the last product state registry during reader data capture. RFID reader data capture can be viewed, in Petri nets, as a direct analysis of locality for a specific transition that holds in a specific workflow. Following this direction, RFID readers storage Petri net control vector list related to each tag id is expected to be perceived. This paper presents PNRD cornerstones and a PNRD implementation example in software called DEMIS Distributed Environment in Manufacturing Information Systems.

Informationssäkerhet inom grafiska företag

The study shows the current need for security solutions concerning work with information in different areas.Investigations will show important solutions for printers’ needs to meet the increasingly harder demands forfast and safe digital communications. Important factors to be analyzed in the investigations are: access todifferent types of information, workers authority of information, access to the data base register internallyand externally, production solutions for an effective fault detection and data base solutions fororders and distribution.Planned and unplanned stops result in a standard of value in interruptions. Internal data bases areprotected by so-called “Fire Walls”, “Watch Dogs” and Virtual Private Networks. Offset plates are locked infor a definitive range of time. Subsequent destruction and remaining sheets are shredded and recycled. Alldocumentation is digital, in business control systems, which guarantees that no important documents arelying around in working places. Fault detection work is facilitated by the ability to fully track the order numberson incoming orders.

TCA Evaluation : Lab Measurements, Modelling and System Simulations

The study reported here is part of a large project for evaluation of the Thermo-Chemical Accumulator (TCA), a technology under development by the Swedish company ClimateWell AB. The studies concentrate on the use of the technology for comfort cooling. This report concentrates on measurements in the laboratory, modelling and system simulation. The TCA is a three-phase absorption heat pump that stores energy in the form of crystallised salt, in this case Lithium Chloride (LiCl) with water being the other substance. The process requires vacuum conditions as with standard absorption chillers using LiBr/water. Measurements were carried out in the laboratories at the Solar Energy Research Center SERC, at Högskolan Dalarna as well as at ClimateWell AB. The measurements at SERC were performed on a prototype version 7:1 and showed that this prototype had several problems resulting in poor and unreliable performance. The main results were that: there was significant corrosion leading to non-condensable gases that in turn caused very poor performance; unwanted crystallisation caused blockages as well as inconsistent behaviour; poor wetting of the heat exchangers resulted in relatively high temperature drops there. A measured thermal COP for cooling of 0.46 was found, which is significantly lower than the theoretical value. These findings resulted in a thorough redesign for the new prototype, called ClimateWell 10 (CW10), which was tested briefly by the authors at ClimateWell. The data collected here was not large, but enough to show that the machine worked consistently with no noticeable vacuum problems. It was also sufficient for identifying the main parameters in a simulation model developed for the TRNSYS simulation environment, but not enough to verify the model properly. This model was shown to be able to simulate the dynamic as well as static performance of the CW10, and was then used in a series of system simulations. A single system model was developed as the basis of the system simulations, consisting of a CW10 machine, 30 m2 flat plate solar collectors with backup boiler and an office with a design cooling load in Stockholm of 50 W/m2, resulting in a 7.5 kW design load for the 150 m2 floor area. Two base cases were defined based on this: one for Stockholm using a dry cooler with design cooling rate of 30 kW; one for Madrid with a cooling tower with design cooling rate of 34 kW. A number of parametric studies were performed based on these two base cases. These showed that the temperature lift is a limiting factor for cooling for higher ambient temperatures and for charging with fixed temperature source such as district heating. The simulated evacuated tube collector performs only marginally better than a good flat plate collector if considering the gross area, the margin being greater for larger solar fractions. For 30 m2 collector a solar faction of 49% and 67% were achieved for the Stockholm and Madrid base cases respectively. The average annual efficiency of the collector in Stockholm (12%) was much lower than that in Madrid (19%). The thermal COP was simulated to be approximately 0.70, but has not been possible to verify with measured data. The annual electrical COP was shown to be very dependent on the cooling load as a large proportion of electrical use is for components that are permanently on. For the cooling loads studied, the annual electrical COP ranged from 2.2 for a 2000 kWh cooling load to 18.0 for a 21000 kWh cooling load. There is however a potential to reduce the electricity consumption in the machine, which would improve these figures significantly. It was shown that a cooling tower is necessary for the Madrid climate, whereas a dry cooler is sufficient for Stockholm although a cooling tower does improve performance. The simulation study was very shallow and has shown a number of areas that are important to study in more depth. One such area is advanced control strategy, which is necessary to mitigate the weakness of the technology (low temperature lift for cooling) and to optimally use its strength (storage).

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 ).

A evolução dos sistemas de manufatura e a necessidade de mudança nos sistemas de controle e custeio

O ambiente concorrencial atual está impondo novos fatores de competição às empresas. Com a globalização e a abertura do mercado, as empresas brasileiras estão implantando programas de qualidade e produtividade tendo como referencial principal (benchmarking) as empresas japonesas. As conseqüentes mudanças no ambiente empresarial não estão, entretanto, sendo consistentemente acompanhadas por evoluções nas sistemáticas de controle e custeio. As informações relativas ao controle de uma empresa devem ser acuradas o suficiente para subsidiar o processo de tomada de decisões no atual ambiente competitivo. Porém, as tradicionais práticas de controle e custeio, além de obsoletas, podem constituir uma restrição para a continuidade dos programas de melhoria das empresas. Este trabalho mostra a evolução dos sistemas de manufatura, com ênfase particular no Modelo Japonês / Sistema Toyota de Produção. Uma atenção especial é dada à necessidade de mudanças nos sistemas de controle das empresas, principalmente na parte de custeio. Mostra-se ainda algumas características das sistemáticas de controle e custeio nas empresas japonesas em comparação com a lógica predominante nas empresas ocidentais. Apóia-se o trabalho em um caso real de uma empresa que já passou por um processo de racionalização, sob forte influência dos conceitos japoneses de qualidade e produtividade, e que, agora, sente a necessidade de uma maior transparência e melhor entendimento do comportamento dos custos em seu ambiente, para poder dar continuidade a este processo de melhorias.

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.

Adaptações do sistema de informações gerenciais para atender necessidades de empresas envolvidas com a implantação do pensamento enxuto: um estudo de caso

The management system based on lean thinking has led to significant changes in the companies that have decided to adopt it. Frequently, those changes do not create a sustainable position coherent with the good results that are obtained. Many are the causes being discussed and analyzed, not only in academia, but also by lean manufacturing institutes and companies. The existing practices related to the managerial information system and the implementation, development, and maintenance of the lean journey may be some of such causes. This dissertation emphasizes whether the changes generated by this type of management are being followed by the managerial information system. The development of such system was in many cases based on mass production, whose principles go against lean manufacturing concepts. Thus, the objective of this dissertation is to verify whether the traditional managerial information system can meet the needs of the companies that adopt lean manufacturing principles. Through a case study based on qualitative and exploratory research in an electronic equipment assembling company, the stage of the implementation of lean thinking concepts at the time of the field research was analyzed, as well as whether the metrics, financial and non financial indicators were suitable for lean principles. The aim of such study was to empirically verify if the criticism found in the existing literature was pertinent or not. The data collected through the analysis of the documentation, the interviews with managers and in loco observation was treated through the content analysis method. The main conclusion of the research is that, although the company in question is investing in training and applying lean principles in its production line and in some administrative activities, the current managerial information system does not demonstrate the specific results obtained with lean principles. However, how changes to the managerial information system will be implemented is yet to be determined. Currently, metrics and indicators aligned with lean management are being added to the managerial reports. As more lean tools are employed, mainly with the consolidation of more value streams, the company has already diagnosed the need for new indicators. The main office has started a diagnosis of measurement and control systems in a product line in one of its affiliates with the goal of studying the possibility of applying the so called lean accounting in the future.