Newly Automated System For Integrated Assessment Of The Conditions Of Underwater Gas Pipelines

An underwater gas pipeline is the portion of the pipeline that crosses a river beneath its bottom. Underwater gas pipelines are subject to increasing dangers as time goes by. An accident at an underwater gas pipeline can lead to technological and environmental disaster on the scale of an entire region. Therefore, timely troubleshooting of all underwater gas pipelines in order to prevent any potential accidents will remain a pressing task for the industry. The most important aspect of resolving this challenge is the quality of the automated system in question. Now the industry doesn't have any automated system that fully meets the needs of the experts working in the field maintaining underwater gas pipelines. Principle Aim of this Research: This work aims to develop a new system of automated monitoring which would simplify the process of evaluating the technical condition and decision making on planning and preventive maintenance and repair work on the underwater gas pipeline. Objectives: Creation a shared model for a new, automated system via IDEF3; Development of a new database system which would store all information about underwater gas pipelines; Development a new application that works with database servers, and provides an explanation of the results obtained from the server; Calculation of the values MTBF for specified pipelines based on quantitative data obtained from tests of this system. Conclusion: The new, automated system PodvodGazExpert has been developed for timely and qualitative determination of the physical conditions of underwater gas pipeline; The basis of the mathematical analysis of this new, automated system uses principal component analysis method; The process of determining the physical condition of an underwater gas pipeline with this new, automated system increases the MTBF by a factor of 8.18 above the existing system used today in the industry.

Volunteered Geographic Information For Water Management: A Prototype Architecture

Driven by Web 2.0 technology and the almost ubiquitous presence of mobile devices, Volunteered Geographic Information (VGI) is knowing an unprecedented growth. These notable technological advancements have opened fruitful perspectives also in the field of water management and protection, raising the demand for a reconsideration of policies which also takes into account the emerging trend of VGI. This research investigates the opportunity of leveraging such technology to involve citizens equipped with common mobile devices (e.g. tablets and smartphones) in a campaign of report of water-related phenomena. The work is carried out in collaboration with ADBPO - Autorità di bacino del fiume Po (Po river basin Authority), i.e. the entity responsible for the environmental planning and protection of the basin of river Po. This is the longest Italian river, spreading over eight among the twenty Italian Regions and characterized by complex environmental issues. To enrich ADBPO official database with user-generated contents, a FOSS (Free and Open Source Software) architecture was designed which allows not only user field-data collection, but also data Web publication through standard protocols. Open Data Kit suite allows users to collect georeferenced multimedia information using mobile devices equipped with location sensors (e.g. the GPS). Users can report a number of environmental emergencies, problems or simple points of interest related to the Po river basin, taking pictures of them and providing other contextual information. Field-registered data is sent to a server and stored into a PostgreSQL database with PostGIS spatial extension. GeoServer provides then data dissemination on the Web, while specific OpenLayers-based viewers were built to optimize data access on both desktop computers and mobile devices. Besides proving the suitability of FOSS in the frame of VGI, the system represents a successful prototype for the exploitation of user local, real-time information aimed at managing and protecting water resources.

Construção de um ambiente de desenvolvimento de software baseado em um sistema de gerência de workflow e outros produtos comerciais

Este trabalho apresenta uma arquitetura para Ambientes de Desenvolvimento de Software (ADS). Esta arquitetura é baseada em produtos comerciais de prateleira (COTS), principalmente em um Sistema de Gerência de Workflow – SGW (Microsoft Exchange 2000 Server – E2K) - e tem como plataforma de funcionamento a Internet, integrando também algumas ferramentas que fazem parte do grande conjunto de aplicativos que é utilizado no processo de desenvolvimento de software. O desenvolvimento de um protótipo (WOSDIE – WOrkflow-based Software Development Integrated Environment) baseado na arquitetura apresentada é descrito em detalhes, mostrando as etapas de construção, funções implementadas e dispositivos necessários para a integração de um SGW, ferramentas de desenvolvimento, banco de dados (WSS – Web Storage System) e outros, para a construção de um ADS. O processo de software aplicado no WOSDIE foi extraído do RUP (Rational Unified Process – Processo Unificado Rational). Este processo foi modelado na ferramenta Workflow Designer, que permite a modelagem dos processos de workflow dentro do E2K. A ativação de ferramentas a partir de um navegador Web e o armazenamento dos artefatos produzidos em um projeto de software também são abordados. O E2K faz o monitoramento dos eventos que ocorrem dentro do ambiente WOSDIE, definindo, a partir das condições modeladas no Workflow Designer, quais atividades devem ser iniciadas após o término de alguma atividade anterior e quem é o responsável pela execução destas novas atividades (assinalamento de atividades). A arquitetura proposta e o protótipo WOSDIE são avaliados segundo alguns critérios retirados de vários trabalhos. Estas avaliações mostram em mais detalhes as características da arquitetura proposta e proporcionam uma descrição das vantagens e problemas associados ao WOSDIE.

Um novo desafio para o judiciário: o juiz líder

A pesquisa versa sobre a importância da liderança para uma eficiente prestação jurisdicional, a qual resulta de um concatenado trabalho de equipe entre o juiz e os servidores de uma determinada unidade judicial. A necessidade de o magistrado contribuir para a formação de uma equipe de alto desempenho para o enfrentamento da intempestividade da prestação jurisdicional, principal problema do Poder Judiciário, buscando as almejadas celeridade e efetividade da justiça. A qualidade da prestação jurisdicional dependerá da gestão imprimida pelo juiz na sua unidade. A pesquisa aponta para a necessidade de o juiz exercer sua atividade meio como um líder, dominando técnicas modernas de gestão e também influenciando sua equipe em busca da excelência. Será analisado o tipo de liderança que melhor se amolda à judicatura, que é a servidora. Nela o magistrado identifica as necessidades de seus funcionários e trata de supri-las, recebendo em troca a máxima dedicação e motivação possíveis. O juiz líder administra sua unidade e forja uma equipe qualificada e motivada. Em face da impossibilidade de conceituar o juiz líder, são apontados os seus traços característicos, que o tornam o novo modelo do juiz brasileiro: o juiz líder servidor. Identificação dessas características na dimensão organizacional, na dimensão interpessoal, bem como as habilidades pessoais que o definem. Por fim, é abordada a necessidade de o Judiciário refletir sobre o atual sistema de recrutamento seletivo dos magistrados, priorizando a escolha sobre pessoas vocacionadas e, após a seleção, investir na constante formação de líderes nos seus quadros que, alinhados, proporcionarão uma justiça célere, humana, justa e efetiva.

A autonomia do servidor público no Brasil

A autonomia pessoal do servidor público, em seu agir na Administração Pública, é um dos pressupostos para a eficaz implementação de ações de gestão do conhecimento. Ela também é um anseio do trabalhador, sempre defendido em manifestações das mais diversas associações de classe. Contudo, ela esbarra em restrições políticas, legais, administrativas e culturais. Este trabalho, debruçado sobre fontes secundárias e teóricas, identificou a natureza da autonomia pessoal, suas modalidades, suas fontes, suas restrições, bem como sua possibilidade de desenvolvimento. O trabalho, de natureza teórica, foi desenvolvido por meio de interpretação transdisciplinar das fontes, em sua maior parte oriundas da literatura sociológica, administrativa, do direito e da filosofia. O conceito de autonomia é trabalhado inicialmente, seguido por sua primeira subdivisão em duas dimensões. Em seguida, a disciplina que a doutrina de Direito Administrativo brasileiro impõe à autonomia do servidor público é explorada e problematizada. Em seguida, é abordada a questão sob a visão sociológica, a partir do modelo burocrático ideal de Max Weber e das constatações de Michel Crozier. A relação entre a autonomia e as burocracias profissionais também é passada em revista. Por fim, a personalidade humana é apresentada como a fonte da autonomia, bem como sua justificação diante de doutrinas que a negam e atacam. Foram identificadas três dimensões da autonomia: substantiva, técnica e objetiva; bem como propostos caminhos para que, nas organizações públicas, essas dimensões possam florescer, dentro dos legítimos limitantes políticos, legais e administrativos identificados.

Transferências condicionais de renda e nutrição: uma avaliação do Programa Bolsa Família nas áreas rurais e urbanas do Brasil

A pobreza no Brasil é um problema histórico e tem sido alvo de diversas intervenções governamentais, a iniciativa que melhor retrata esse fato é o Programa Bolsa Família-PBF. Este trabalho investiga o efeito desse programa sobre o estado nutricional das crianças e adolescentes beneficiadas. Para tanto, foram utilizados os dados da Pes-quisa de Orçamentos Familiares (2008/2009), conjuntamente com o método Propensity Score Matching-PSM. A caracterização nutricional foi realizada com base em recentes recomendações da Organização Mundial da Saúde-OMS. A amostra estudada inclui crianças e adolescentes menores de 19 anos de idade, permitindo-se efeitos heterogê-neos do programa entre as áreas urbanas e rurais do país. Os resultados indicam que o PBF melhorou os indicadores nutricionais daqueles que pertenciam ao grupo de tra-tamento. Além da transferência de renda, acredita-se que as condicionalidades nas áreas da saúde e educação possam explicar parte desse resultado.

Grau de evidenciação da contabilidade de hedge nos maiores bancos brasileiros e europeus

Ao se reportar resultados voláteis e, sem a devida evidenciação contábil (disclosure), pode-se transmitir uma imagem negativa aos investidores e levantar dúvidas em relação aos resultados futuros, a transparência e a capacidade de gerenciamento do risco por parte dos gestores das instituições financeiras. Nas últimas décadas, a utilização da contabilidade de hedge para a gestão do risco e resultado tem estado em evidência nos grandes bancos do Brasil e do exterior. Isto ocorre pois é onde se dá a convergência das demonstrações financeiras tanto em 2005 na Europa quanto em 2010 no Brasil para o novo padrão contábil internacional (IFRS) aplicado pelo IASB. Este padrão tem exigido dos bancos grandes esforços para estar em conformidade com as novas regras estabelecidas. Nesta mesma lógica, enquanto a contabilidade de hedge nos bancos assume um papel de destaque na gestão dos riscos e resultados; a divulgação precisa e concisa das demonstrações financeiras fornece aos acionistas, investidores e demais usuários importantes informações sobre o desempenho e a condução do negócio. Isto proporciona ao mercado uma melhor condição de avaliar os riscos envolvidos e de estimar os resultados futuros para a tomada de decisão de investimento. Dentro deste contexto, foi avaliado a qualidade e o grau de evidenciação das demonstrações contábeis dos principais bancos brasileiros e europeus aos requisitos do IFRS 7, IFRS 9 e outros mais de elaboração do próprio autor. Todos esses requisitos referem-se à divulgação de informações qualitativas e quantitativas pertinentes a contabilidade de hedge. Portanto, estão associados a estratégias de gestão de risco e resultado. A avaliação do grau de evidenciação das demonstrações financeiras ao IFRS 7 e IFRS 9 foi feita através de um estudo exploratório onde se analisou as notas explicativas em IFRS dos dez maiores bancos no Brasil e na Europa pelo critério “tamanho dos ativos”. Os resultados obtidos neste estudo indicam que 59,6% das instituições analisadas cumprem as exigências do IFRS7. Outra descoberta é que o índice de cumprimento dos bancos brasileiros é maior que os bancos europeus; 68,3% vs. 50,8%. Em relação ao IFRS 9 o percentual é de apenas 23% o que é explicado pelo fato da norma ainda não estar em vigor em ambas as regiões onde poucas instituições tem se antecipado de forma voluntária para atendê-la. A avaliação da qualidade das notas explicativas referente ao hedge contábil foi feita de maneira discricionária através da observação das informações prestadas para atender aos requisitos do IFRS 7 e 9 e dos demais requisitos adicionados pelo autor. Os resultados obtidos indicam que as notas carecem de maior detalhamento dos instrumentos de hedge utilizados, bem como os objetivos de cada hedge, para dar maior transparência ao usuário da informação sobre os riscos protegidos nos respectivos balanços. O crescimento do volume de informações prestadas nas notas explicativas dos grandes bancos brasileiros e europeus após a adoção do IFRS não configurou um aumento proporcional do conteúdo informacional, prevalecendo, ainda, a forma sobre a essência. Este movimento abre espaço para discussões futuras com os agentes de mercado sobre o tamanho e o conteúdo informacional adequado nas notas explicativas, com o intuito de buscar um equilíbrio entre o custo e o benefício da divulgação da informação sob a ótica da relevância e da materialidade.

Motivação e o programa de desempenho por resultados do município de Santos

O programa de desempenho por resultados do município de Santos apresentado como programa de qualidade do servidor parece não atingir justamente a parte mais importante para o seu sucesso: o próprio servidor. O envolvimento aquém do esperado e a perspectiva de dificuldades quanto ao não atingimento das metas estabelecidas estão identificados com a ausência de um elemento: a motivação. Heroica em batalhas quando se apresenta em momentos cruciais, torna-se vilã quando se ausenta. Conhece-la um pouco mais e identificar possibilidades de faze-la presente pode ser uma alternativa para vitaminar o PDR de Santos.

JML- Based formal development of a Java card application for managing medical appointments

Although formal methods can dramatically increase the quality of software systems, they have not widely been adopted in software industry. Many software companies have the perception that formal methods are not cost-effective cause they are plenty of mathematical symbols that are difficult for non-experts to assimilate. The Java Modelling Language (short for JML) Section 3.3 is an academic initiative towards the development of a common formal specification language for Java programs, and the implementation of tools to check program correctness. This master thesis work shows how JML based formal methods can be used to formally develop a privacy sensitive Java application. This is a smart card application for managing medical appointments. The application is named HealthCard. We follow the software development strategy introduced by João Pestana, presented in Section 3.4. Our work influenced the development of this strategy by providing hands-on insight on challenges related to development of a privacy sensitive application in Java. Pestana’s strategy is based on a three-step evolution strategy of software specifications, from informal ones, through semiformal ones, to JML formal specifications. We further prove that this strategy can be automated by implementing a tool that generates JML formal specifications from a welldefined subset of informal software specifications. Hence, our work proves that JML-based formal methods techniques are cost-effective, and that they can be made popular in software industry. Although formal methods are not popular in many software development companies, we endeavour to integrate formal methods to general software practices. We hope our work can contribute to a better acceptance of mathematical based formalisms and tools used by software engineers. The structure of this document is as follows. In Section 2, we describe the preliminaries of this thesis work. We make an introduction to the application for managing medical applications we have implemented. We also describe the technologies used in the development of the application. This section further illustrates the Java Card Remote Method Invocation communication model used in the medical application for the client and server applications. Section 3 introduces software correctness, including the design by contract and the concept of contract in JML. Section 4 presents the design structure of the application. Section 5 shows the implementation of the HealthCard. Section 6 describes how the HealthCard is verified and validated using JML formal methods tools. Section 7 includes some metrics of the HealthCard implementation and specification. Section 8 presents a short example of how a client-side of a smart card application can be implemented while respecting formal specifications. Section 9 describes a prototype tools to generate JML formal specifications from informal specifications automatically. Section 10 describes some challenges and main ideas came acrorss during the development of the HealthCard. The full formal specification and implementation of the HealthCard smart card application presented in this document can be reached at https://sourceforge.net/projects/healthcard/.

Argumentative systems in robots

Nowadays, the development of intelligent agents intends to be more refined, using improved architectures and reasoning mechanisms. Revise the beliefs of an agent is also an important subject, due to the consistency that agents should have about their knowledge. In this work we propose deliberative and argumentative agents using Lego Mindstorms robots, Argumentative NXT BDI-like Agents. These agents are built using the notions of the BDI model and they are capable to reason using the DeLP formalism. They update their knowledge base with their perceptions and revise it when necessary. Two variations are presented: the Single Argumentative NXT BDI-like Agent and the MAS Argumentative NXT BDI-like Agent.

Rapid prototyping of ubiquitous computing environments

Ubiquitous computing raises new usability challenges that cut across design and development. We are particularly interested in environments enhanced with sensors, public displays and personal devices. How can prototypes be used to explore the users' mobility and interaction, both explicitly and implicitly, to access services within these environments? Because of the potential cost of development and design failure, these systems must be explored using early assessment techniques and versions of the systems that could disrupt if deployed in the target environment. These techniques are required to evaluate alternative solutions before making the decision to deploy the system on location. This is crucial for a successful development, that anticipates potential user problems, and reduces the cost of redesign. This thesis reports on the development of a framework for the rapid prototyping and analysis of ubiquitous computing environments that facilitates the evaluation of design alternatives. It describes APEX, a framework that brings together an existing 3D Application Server with a modelling tool. APEX-based prototypes enable users to navigate a virtual world simulation of the envisaged ubiquitous environment. By this means users can experience many of the features of the proposed design. Prototypes and their simulations are generated in the framework to help the developer understand how the user might experience the system. These are supported through three different layers: a simulation layer (using a 3D Application Server); a modelling layer (using a modelling tool) and a physical layer (using external devices and real users). APEX allows the developer to move between these layers to evaluate different features. It supports exploration of user experience through observation of how users might behave with the system as well as enabling exhaustive analysis based on models. The models support checking of properties based on patterns. These patterns are based on ones that have been used successfully in interactive system analysis in other contexts. They help the analyst to generate and verify relevant properties. Where these properties fail then scenarios suggested by the failure provide an important aid to redesign.

Qualidade de vida do servidor da Universidade Federal do Rio Grande do Norte em condição crônica de saúde

The study aimed to analyze the influence of chronic health conditions (CHC) on quality of life (QOL) of UFRN servers assaulted by CHC. It is a descriptive and cross-sectional study with prospective data and quantitative approach, accomplished in the ambulatory clinic of the Department of Server Assistance (DSA) of the Pro-Rectory of Human Resources, during three months. The sample was composed by accessibility, totaling 215 people, being 153 active and 62 inactive servers, in chronic health condition. The data were collected through the application of the sociodemographic characterization, health, environmental and laboral form, the Medical Outcome Study 36-Item Short Form (SF-36). The study was evaluated by the HUOL Ethics Committee (CAAE no. 0046.0.294.000.10), obtaining assent. The results were analyzed in the SPSS 15.0 program through the descriptive and inferential statistics. It was identified servants predominantly male (59,1%), under 60 years old, married or in stable union, Catholics, brown color, living in the capital and residents in own home. Regarding labor issues, there was a predominance of active servers technical-administrative with intermediate and medium level positions and small proportion of docents. Among the CHC, the non-communicable diseases - NCDs (95.8%) had a higher frequency, followed by persistent mental disorders - PMDs (18.6%) and, finally, the continuous and structural physical deficiency - CSPD (16.9 %). The QOL of servers was considered good, with a mean score of 72.5 points in the total score, with the most affected domains: physical (59.1), general health (66.2), bodily pain (66.3) and functional aspects (72.0). The mental health dimension (76.5) had a better average than the physical dimension (68.0 points). It was found that the decrease in QOL scores is significant statistically related to higher number of CHC (ρ <0.001), with no statistical significance regarding the functional situation (p = 0.259). The administrative technicians of elementary, primary, secondary levels and docents had the worst QOL scores. After the correlation analysis of CHC with the domains and dimensions of the SF-36, there was statistically significant, negative and weak correlation of the domains: functional aspect (ρ = 0.002, r = -0.207), physical aspects (ρ = 0.007; r = -0.183), vitality (ρ = 0.002, r = -0.213), social function (ρ = 0.000, r = -0.313), emotional aspects (ρ = 0.000, r = -0.293), mental health (ρ = 0.000 , r = -0.238), physical health dimension (ρ = 0.002, r = -0.210) and mental health dimension (ρ = 0.000, r = -0.298). The presence of PMD isolated or together, contributed to a lower SF-36 scores, being the domains variation of mean significant, except for bodily pain, general health and physical aspects. By correlating the categories of CHC and QOL, there was a weak correlation (r ≤ -0.376) and significant (ρ ≤ 0.011), mainly related to the NCD, PMDs and NCD + PMD, affecting the mental health, social function, emotional aspects, vitality and functional aspect domains. Front of the results, it was concludes that the servers quality of life is influenced by the CHC. Thus, it was inferred that the presence of CHC causes a negative effect on quality of life, leading the active and inactive servers to exposure their overall life activities and work over the years, due to the morbidity affected, mainly related to NCDs and PMDs. Descriptors: Quality of life. Chronic disease. Occupational Health. Nursing

Avaliação da capacidade para o trabalho do servidor público: um estudo de caso em uma instituição federal de ensino superior

The ability to work, considered as resulting from a dynamic process between the individual resources in relation to their work, influenced from various factors such as sociodemographic, lifestyle, aging process and requirements of work. Aiming analyze the ability to work in a population of public servants, the study analyzed 132 public servants volunteers of the infrastructure sector, in a Federal Institution of Higher Education of the state of Rio Grande do Norte, Northeast, Brazil. Data were collected through a questionnaire called the Index of Capacity for Work - ICT. The variable analysis was done by using descriptive statistics of means, standard deviations, median minimum and maximum values of the scores of quantitative variables. The joint analysis of the variables was performed by multiple linear regression. The server had low capacity to work 11 (8.33%), moderate 31 (23.48%), good 54 (40.91), and Great 28 (21.21). Multiple regression analysis, adjusted for age, sex, education, age started to work, length of service, current capacity and full of disease, showed that best explained the variation of the CTI were age, current capacity and full of disease. The survey showed that 75% of the servers showed ICT below 43, so capacity low, moderate or good and only 25% of respondents had the CTI servers over 43 points, so great capacity for work. According to the recommendations of FIOH - Finnish Institute of Occupational Health, for servers that have these scores be implemented whose objective is to restore the ability to work which is low, improving the capacity for moderate work, support the capacity for the good work and maintain the ability to work great. Therefore, we recommend that the ICT is implemented in other units of the IFES survey in the perspective of achieving a real situation of all its servers, enabling the implementation of these measures as necessary to promote recovery and health of its employees.

H-N2N : uma arquitetura hierárquica escalável para ambientes de realidade mista de grande porte

In this work, we propose a solution to solve the scalability problem found in collaborative, virtual and mixed reality environments of large scale, that use the hierarchical client-server model. Basically, we use a hierarchy of servers. When the capacity of a server is reached, a new server is created as a sun of the first one, and the system load is distributed between them (father and sun). We propose efficient tools and techniques for solving problems inherent to client-server model, as the definition of clusters of users, distribution and redistribution of users through the servers, and some mixing and filtering operations, that are necessary to reduce flow between servers. The new model was tested, in simulation, emulation and in interactive applications that were implemented. The results of these experimentations show enhancements in the traditional, previous models indicating the usability of the proposed in problems of all-to-all communications. This is the case of interactive games and other applications devoted to Internet (including multi-user environments) and interactive applications of the Brazilian Digital Television System, to be developed by the research group. Keywords: large scale virtual environments, interactive digital tv, distributed

Uma ferramenta de manipulação de pacotes para análise de protocolos de redes industriais baseados em TCP/IP

This work presents a packet manipulation tool developed to realize tests in industrial devices that implements TCP/IP-based communication protocols. The tool was developed in Python programming language, as a Scapy extension. This tool, named IndPM- Industrial Packet Manipulator, can realize vulnerability tests in devices of industrial networks, industrial protocol compliance tests, receive server replies and utilize the Python interpreter to build tests. The Modbus/TCP protocol was implemented as proof-of-concept. The DNP3 over TCP protocol was also implemented but tests could not be realized because of the lack of resources. The IndPM results with Modbus/TCP protocol show some implementation faults in a Programmable Logic Controller communication module frequently utilized in automation companies