Superando os riscos da segurança baseada em perímetro - Uma abordagem com identificação federada através de certificados digitais A3/ICP-Brasil e SAML

The traditional perimeter-based approach for computer network security (the castle and the moat model) hinders the progress of enterprise systems and promotes, both in administrators and users, the delusion that systems are protected. To deal with the new range of threats, a new data-safety oriented paradigm, called de-perimeterisation , began to be studied in the last decade. One of the requirements for the implementation of the de-perimeterised model of security is the definition of a safe and effective mechanism for federated identity. This work seeks to fill this gap by presenting the specification, modelling and implementation of a mechanism for federated identity, based on the combination of SAML and X.509 digital certificates stored in smart-cards, following the A3 standard of ICP-Brasil (Brazilian official certificate authority and PKI)

Desenvolvimento formal de aplicações para smartcards

Smart card applications represent a growing market. Usually this kind of application manipulate and store critical information that requires some level of security, such as financial or confidential information. The quality and trustworthiness of smart card software can be improved through a rigorous development process that embraces formal techniques of software engineering. In this work we propose the BSmart method, a specialization of the B formal method dedicated to the development of smart card Java Card applications. The method describes how a Java Card application can be generated from a B refinement process of its formal abstract specification. The development is supported by a set of tools, which automates the generation of some required refinements and the translation to Java Card client (host) and server (applet) applications. With respect to verification, the method development process was formalized and verified in the B method, using the Atelier B tool [Cle12a]. We emphasize that the Java Card application is translated from the last stage of refinement, named implementation. This translation process was specified in ASF+SDF [BKV08], describing the grammar of both languages (SDF) and the code transformations through rewrite rules (ASF). This specification was an important support during the translator development and contributes to the tool documentation. We also emphasize the KitSmart library [Dut06, San12], an essential component of BSmart, containing models of all 93 classes/interfaces of Java Card API 2:2:2, of Java/Java Card data types and machines that can be useful for the specifier, but are not part of the standard Java Card library. In other to validate the method, its tool support and the KitSmart, we developed an electronic passport application following the BSmart method. We believe that the results reached in this work contribute to Java Card development, allowing the generation of complete (client and server components), and less subject to errors, Java Card applications.

Estudo e implementação de algoritmos inteligentes para detecção e classificação de falhas na medição de gás natural

This master dissertation presents the study and implementation of inteligent algorithms to monitor the measurement of sensors involved in natural gas custody transfer processes. To create these algoritmhs Artificial Neural Networks are investigated because they have some particular properties, such as: learning, adaptation, prediction. A neural predictor is developed to reproduce the sensor output dynamic behavior, in such a way that its output is compared to the real sensor output. A recurrent neural network is used for this purpose, because of its ability to deal with dynamic information. The real sensor output and the estimated predictor output work as the basis for the creation of possible sensor fault detection and diagnosis strategies. Two competitive neural network architectures are investigated and their capabilities are used to classify different kinds of faults. The prediction algorithm and the fault detection classification strategies, as well as the obtained results, are presented

Uma arquitetura baseada em agentes para configuração dinâmica de aplicações inteligentes em ambiente foundation fieldbus

The industrial automation is directly linked to the development of information tecnology. Better hardware solutions, as well as improvements in software development methodologies make possible the rapid growth of the productive process control. In this thesis, we propose an architecture that will allow the joining of two technologies in hardware (industrial network) and software field (multiagent systems). The objective of this proposal is to join those technologies in a multiagent architecture to allow control strategies implementations in to field devices. With this, we intend develop an agents architecture to detect and solve problems which may occur in the industrial network environment. Our work ally machine learning with industrial context, become proposed multiagent architecture adaptable to unfamiliar or unexpected production environment. We used neural networks and presented an allocation strategies of these networks in industrial network field devices. With this we intend to improve decision support at plant level and allow operations human intervention independent

Algoritmos inteligentes para auto-correção, auto-verificação e auto-validação de medidas em sensores

This work presents a set of intelligent algorithms with the purpose of correcting calibration errors in sensors and reducting the periodicity of their calibrations. Such algorithms were designed using Artificial Neural Networks due to its great capacity of learning, adaptation and function approximation. Two approaches willbe shown, the firstone uses Multilayer Perceptron Networks to approximate the many shapes of the calibration curve of a sensor which discalibrates in different time points. This approach requires the knowledge of the sensor s functioning time, but this information is not always available. To overcome this need, another approach using Recurrent Neural Networks was proposed. The Recurrent Neural Networks have a great capacity of learning the dynamics of a system to which it was trained, so they can learn the dynamics of a sensor s discalibration. Knowingthe sensor s functioning time or its discalibration dynamics, it is possible to determine how much a sensor is discalibrated and correct its measured value, providing then, a more exact measurement. The algorithms proposed in this work can be implemented in a Foundation Fieldbus industrial network environment, which has a good capacity of device programming through its function blocks, making it possible to have them applied to the measurement process

Análise comparativa do desempenho de um Controlador Fuzzy acoplado a um PID Neural sintonizado por um Algoritmo Genético com Controladores Inteligentes Convencionais

On this paper, it is made a comparative analysis among a controller fuzzy coupled to a PID neural adjusted by an AGwith several traditional control techniques, all of them applied in a system of tanks (I model of 2nd order non lineal). With the objective of making possible the techniques involved in the comparative analysis and to validate the control to be compared, simulations were accomplished of some control techniques (conventional PID adjusted by GA, Neural PID (PIDN) adjusted by GA, Fuzzy PI, two Fuzzy attached to a PID Neural adjusted by GA and Fuzzy MISO (3 inputs) attached to a PIDN adjusted by GA) to have some comparative effects with the considered controller. After doing, all the tests, some control structures were elected from all the tested techniques on the simulating stage (conventional PID adjusted by GA, Fuzzy PI, two Fuzzy attached to a PIDN adjusted by GA and Fuzzy MISO (3 inputs) attached to a PIDN adjusted by GA), to be implemented at the real system of tanks. These two kinds of operation, both the simulated and the real, were very important to achieve a solid basement in order to establish the comparisons and the possible validations show by the results

Agentes Inteligentes com Foco de Atenção Afetivo em Simulações Baseadas em Agentes

Simulations based on cognitively rich agents can become a very intensive computing task, especially when the simulated environment represents a complex system. This situation becomes worse when time constraints are present. This kind of simulations would benefit from a mechanism that improves the way agents perceive and react to changes in these types of environments. In other worlds, an approach to improve the efficiency (performance and accuracy) in the decision process of autonomous agents in a simulation would be useful. In complex environments, and full of variables, it is possible that not every information available to the agent is necessary for its decision-making process, depending indeed, on the task being performed. Then, the agent would need to filter the coming perceptions in the same as we do with our attentions focus. By using a focus of attention, only the information that really matters to the agent running context are perceived (cognitively processed), which can improve the decision making process. The architecture proposed herein presents a structure for cognitive agents divided into two parts: 1) the main part contains the reasoning / planning process, knowledge and affective state of the agent, and 2) a set of behaviors that are triggered by planning in order to achieve the agent s goals. Each of these behaviors has a runtime dynamically adjustable focus of attention, adjusted according to the variation of the agent s affective state. The focus of each behavior is divided into a qualitative focus, which is responsible for the quality of the perceived data, and a quantitative focus, which is responsible for the quantity of the perceived data. Thus, the behavior will be able to filter the information sent by the agent sensors, and build a list of perceived elements containing only the information necessary to the agent, according to the context of the behavior that is currently running. Based on the human attention focus, the agent is also dotted of a affective state. The agent s affective state is based on theories of human emotion, mood and personality. This model serves as a basis for the mechanism of continuous adjustment of the agent s attention focus, both the qualitative and the quantative focus. With this mechanism, the agent can adjust its focus of attention during the execution of the behavior, in order to become more efficient in the face of environmental changes. The proposed architecture can be used in a very flexibly way. The focus of attention can work in a fixed way (neither the qualitative focus nor the quantitaive focus one changes), as well as using different combinations for the qualitative and quantitative foci variation. The architecture was built on a platform for BDI agents, but its design allows it to be used in any other type of agents, since the implementation is made only in the perception level layer of the agent. In order to evaluate the contribution proposed in this work, an extensive series of experiments were conducted on an agent-based simulation over a fire-growing scenario. In the simulations, the agents using the architecture proposed in this work are compared with similar agents (with the same reasoning model), but able to process all the information sent by the environment. Intuitively, it is expected that the omniscient agent would be more efficient, since they can handle all the possible option before taking a decision. However, the experiments showed that attention-focus based agents can be as efficient as the omniscient ones, with the advantage of being able to solve the same problems in a significantly reduced time. Thus, the experiments indicate the efficiency of the proposed architecture

Identificação de nematóides através de técnicas de processamento inteligentes de imagens

abstract

Técnicas inteligentes hídridas para o controle de sistemas não lineares

A neuro-fuzzy system consists of two or more control techniques in only one structure. The main characteristic of this structure is joining one or more good aspects from each technique to make a hybrid controller. This controller can be based in Fuzzy systems, artificial Neural Networks, Genetics Algorithms or rein forced learning techniques. Neuro-fuzzy systems have been shown as a promising technique in industrial applications. Two models of neuro-fuzzy systems were developed, an ANFIS model and a NEFCON model. Both models were applied to control a ball and beam system and they had their results and needed changes commented. Choose of inputs to controllers and the algorithms used to learning, among other information about the hybrid systems, were commented. The results show the changes in structure after learning and the conditions to use each one controller based on theirs characteristics

Partículas inteligentes de poli (nisopropilacrilamida), quitosana e poli (ácido acrílico): efeito da temperatura e do pH sobre suas propriedades em suspensões aquosas

The present study describes the stability and rheological behavior of suspensions of poly (N-isopropylacrylamide) (PNIPAM), poly (N-isopropylacrylamide)-chitosan (PNIPAMCS), and poly (N-isopropylacrylamide)-chitosan-poly (acrylic acid) (PNIPAM-CS-PAA) crosslinked particles sensitive to pH and temperature. These dual-sensitive materials were simply obtained by one-pot method, via free-radical precipitation copolymerization with potassium persulfate, using N,N -methylenebisacrylamide (MBA) as a crosslinking agent. Incorporation of the precursor materials into the chemical networks was confirmed by elementary analysis and infrared spectroscopy. The influence of external stimuli such as pH and temperature, or both, on particle behavior was investigated through rheological measurements, visual stability tests and analytical centrifugation. The PNIPAM-CS particles showed higher stability in acid and neutral media, whereas PNIPAM-CS-PAA particles were more stable in neutral and alkaline media, both below and above the LCST of poly (Nisopropylacrylamide) (stability data). This is due to different interparticle interactions, as well as those between the particles and the medium (also evidenced by rheological data), which were also influenced by the pH and temperature of the medium. Based on the results obtained, we found that the introduction of pH-sensitive polymers to crosslinked poly (Nisopropylacrylamide) particles not only produced dual-sensitive materials, but allowed particle stability to be adjusted, making phase separation faster or slower, depending on the desired application. Thus, it is possible to adapt the material to different media

Cartões de saudações em língua inglesa: uma prática de letramento em análise

This research aims at studying the use of greeting cards, here understood as a literacy practice widely used in American society of the United States. In American culture, these cards become sources of information and memory about people‟s cycles of life, their experiences and their bonds of sociability enabled by means of the senses that the image and the word comprise. The main purpose of this work is to describe how this literacy practice occurs in American society. Theoretically, this research is based on studies of literacy (BARTON, HAMILTON, 1998; BAYHAM, 1995; HAMILTON, 2000; STREET, 1981, 1984, 1985, 1993, 2003), the contributions of social semiotics, associated with systemic-functional grammar (HALLIDAY; HASAN 1978, 1985, HALLIDAY, 1994, HALLIDAY; MATTHIESSEN, 2004), and the grammar of visual design (KRESS; LEITE-GARCIA, VAN LEEUWEN, 1997, 2004, 2006; KRESS; MATTHIESSEN, 2004). Methodologically, it is a study that falls within the qualitative paradigm of interpretative character, which adopts ethnographic tools in data generation. From this perspective, it makes use of “looking and asking” techniques (ERICKSON, 1986, p. 119), complemented by the technique of "registering", proposed by Paz (2008). The corpus comprises 104 printed cards, provided by users of this cultural artifact, from which we selected 24, and 11 e-cards, extracted from the internet, as well as verbalizations obtained by applying a questionnaire prepared with open questions asked in order to gather information about the perceptions and actions of these cards users with respect to this literacy practice. Data analysis reveals cultural, economic and social aspects of this practice and the belief that literacy practice of using printed greeting cards, despite the existence of virtual alternatives, is still very fruitful in American society. The study also allows users to comprehend that the cardholders position themselves and construct identities that are expressed in verbal and visual interaction in order to achieve the desired effect. As a result, it is understood that greeting cards are not unintentional, but loaded with ideology and power relations, among other aspects that are constitutive of them.

Centelhas de uma cidade turística nos cartões-postais de Jaeci Galvão (1940-1980)

The postcard is a medium that has gained popularity at the time that the picture was linked to its support. It circulated favoring mainly the views of the cities and composed a triad between landscape, photography and tourism. The visuality that loads is among signs of representations, relationships, forms of collective consciousness and ways of seeing the world. In Natal, the photographer Jaeci Emereciano Galvão registered urban and social transformations focusing on interventions that emphasized urban centres as social space and progress and nature as a space for contemplation and enjoyment. They are images with social and cultural issues very clear, since the picture is from a process of creation that is all about choices and decisions about what deserves to be photographed. Therefore, the aim of this research by investigating the role of photographs evidenced in Jaeci’s postcards, with a view to inclusion of tourism in the spaces of Natal and the visuality assumed in the context of their own identity. The theoretical framework that makes up the discussions about the landscape, the city's tourism and photographic representation in postcards emerged from the literature of Schama (1996), Corbin (1989), Cosgrove (1998), Benjamin (1987), Kossoy (2003; 2006; 2009) and Souza Martins (2009), which gave grants to interpret and understand the symbolic construction presented in the postcards. Methodologically the work was done through research in archives, newspapers, postcards of the survey, interviews, iconographic and iconological analyses proposed by Kossoy. At the end, it was concluded the Jaeci Galvão’s postcards established themselves as essential elements for symbolic landscapes of tourism in Natal.

Controle ativo de vibração em estruturas inteligentes utilizando um controlador por modos deslizantes com compensação difusa

Smart structures and systems have the main purpose to mimic living organisms, which are essentially characterized by an autoregulatory behavior. Therefore, this kind of structure has adaptive characteristics with stimulus-response mechanisms. The term adaptive structure has been used to identify structural systems that are capable of changing their geometry or physical properties with the purpose of performing a specific task. In this work, a sliding mode controller with fuzzy inference is applied for active vibration control in an SMA two-bar truss. In order to obtain a simpler controller, a polynomial model is used in the control law, while a more sophisticated version, which presents close agreement with experimental data, is applied to describe the SMA behavior of the structural elements. This system has a rich dynamic response and can easily reach a chaotic behavior even at moderate loads and frequencies. Therefore, this approach has the advantage of not only obtaining a simpler control law, but also allows its robustness be evidenced. Numerical simulations are carried out in order to demonstrate the control system performance.

Controle ativo de vibração em estruturas inteligentes utilizando um controlador por modos deslizantes com compensação difusa

Smart structures and systems have the main purpose to mimic living organisms, which are essentially characterized by an autoregulatory behavior. Therefore, this kind of structure has adaptive characteristics with stimulus-response mechanisms. The term adaptive structure has been used to identify structural systems that are capable of changing their geometry or physical properties with the purpose of performing a specific task. In this work, a sliding mode controller with fuzzy inference is applied for active vibration control in an SMA two-bar truss. In order to obtain a simpler controller, a polynomial model is used in the control law, while a more sophisticated version, which presents close agreement with experimental data, is applied to describe the SMA behavior of the structural elements. This system has a rich dynamic response and can easily reach a chaotic behavior even at moderate loads and frequencies. Therefore, this approach has the advantage of not only obtaining a simpler control law, but also allows its robustness be evidenced. Numerical simulations are carried out in order to demonstrate the control system performance.

Estudo e implementação de algoritmos inteligentes para detecção e classificação de falhas na medição de gás natural

This master dissertation presents the study and implementation of inteligent algorithms to monitor the measurement of sensors involved in natural gas custody transfer processes. To create these algoritmhs Artificial Neural Networks are investigated because they have some particular properties, such as: learning, adaptation, prediction. A neural predictor is developed to reproduce the sensor output dynamic behavior, in such a way that its output is compared to the real sensor output. A recurrent neural network is used for this purpose, because of its ability to deal with dynamic information. The real sensor output and the estimated predictor output work as the basis for the creation of possible sensor fault detection and diagnosis strategies. Two competitive neural network architectures are investigated and their capabilities are used to classify different kinds of faults. The prediction algorithm and the fault detection classification strategies, as well as the obtained results, are presented